Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2022-input.r270-tall-165303554200399.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2021
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 r270-tall-165303554200399
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 356M
-rw-r--r-- 1 mcc users 1.5M Apr 30 00:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 6.8M Apr 30 00:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 46M Apr 29 21:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 157M Apr 29 21:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 1.2M May 9 09:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 4.2M May 9 09:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 29M May 9 09:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 79M May 9 09:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 180K May 9 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 457K May 9 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 32M May 10 09:34 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME Liveness

=== Now, execution of the tool begins

BK_START 1653122126733

Running Version 0
[2022-05-21 08:35:28] [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]
[2022-05-21 08:35:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-21 08:35:29] [INFO ] Load time of PNML (sax parser for PT used): 1275 ms
[2022-05-21 08:35:29] [INFO ] Transformed 1681 places.
[2022-05-21 08:35:29] [INFO ] Transformed 65641 transitions.
[2022-05-21 08:35:29] [INFO ] Parsed PT model containing 1681 places and 65641 transitions in 1548 ms.
Built sparse matrix representations for Structural reductions in 70 ms.351537KB memory used
Starting structural reductions, iteration 0 : 1681/1681 places, 65641/65641 transitions.
Applied a total of 0 rules in 582 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 419 ms. Remains 1681 /1681 variables (removed 0) and now considering 65641/65641 (removed 0) transitions.
// Phase 1: matrix 65641 rows 1681 cols
[2022-05-21 08:35:32] [INFO ] Computed 41 place invariants in 271 ms
[2022-05-21 08:35:33] [INFO ] Implicit Places using invariants in 680 ms returned []
Implicit Place search using SMT only with invariants took 720 ms to find 0 implicit places.
// Phase 1: matrix 65641 rows 1681 cols
[2022-05-21 08:35:33] [INFO ] Computed 41 place invariants in 218 ms
[2022-05-21 08:35:57] [INFO ] Dead Transitions using invariants and state equation in 24028 ms returned []
Finished structural reductions, in 1 iterations. Remains : 1681/1681 places, 65641/65641 transitions.
Interrupted Random walk after 925975 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=30 )
// Phase 1: matrix 65641 rows 1681 cols
[2022-05-21 08:36:27] [INFO ] Computed 41 place invariants in 170 ms
[2022-05-21 08:36:41] [INFO ] [Real]Absence check using 41 positive place invariants in 403 ms returned unsat
Starting structural reductions, iteration 0 : 1681/1681 places, 65641/65641 transitions.
Applied a total of 0 rules in 4772 ms. Remains 1681 /1681 variables (removed 0) and now considering 65641/65641 (removed 0) transitions.
// Phase 1: matrix 65641 rows 1681 cols
[2022-05-21 08:36:46] [INFO ] Computed 41 place invariants in 154 ms
[2022-05-21 08:36:51] [INFO ] Implicit Places using invariants in 4265 ms returned []
Implicit Place search using SMT only with invariants took 4271 ms to find 0 implicit places.
// Phase 1: matrix 65641 rows 1681 cols
[2022-05-21 08:36:51] [INFO ] Computed 41 place invariants in 155 ms
[2022-05-21 08:37:12] [INFO ] Dead Transitions using invariants and state equation in 21626 ms returned []
Finished structural reductions, in 1 iterations. Remains : 1681/1681 places, 65641/65641 transitions.
[2022-05-21 08:37:12] [INFO ] Initial state test concluded for 40 properties.
Interrupted random walk after 1783 steps, including 0 resets, run timeout after 30012 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, 265=1, 282=1, 288=1, 314=1, 373=1, 374=1, 376=1, 394=1, 396=1, 536=1, 566=1, 579=1, 595=1, 644=1, 691=1, 700=1, 722=1, 732=1, 752=1, 786=1, 836=1, 846=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, 1310=1, 1316=1, 1375=1, 1392=1, 1416=1, 1447=1, 1534=1, 1640=1, 1660=1, 1693=1, 1694=1, 1702=1, 1704=1, 1707=1, 1757=1, 1784=1, 1837=1, 1946=1, 1965=1, 1992=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, 2676=1, 2686=1, 2702=1, 2710=1, 2716=1, 2727=1, 2766=1, 2779=1, 2781=1, 2946=1, 3081=1, 3135=1, 3145=1, 3197=1, 3215=1, 3333=1, 3334=1, 3372=1, 3390=1, 3410=1, 3450=1, 3452=1, 3478=1, 3481=1, 3492=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, 4093=1, 4121=1, 4123=1, 4134=1, 4152=1, 4185=1, 4241=1, 4278=1, 4314=1, 4319=1, 4380=1, 4414=1, 4415=1, 4420=1, 4461=1, 4527=1, 4595=1, 4612=1, 4615=1, 4630=1, 4663=1, 4701=1, 4719=1, 4721=1, 4776=1, 4820=1, 4835=1, 4844=1, 4860=1, 4918=1, 4977=1, 5022=1, 5109=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, 5542=1, 5559=1, 5571=1, 5580=1, 5585=1, 5666=1, 5692=1, 5742=1, 5743=1, 5788=1, 5936=1, 5994=1, 6099=1, 6112=1, 6165=1, 6252=1, 6256=1, 6359=1, 6430=1, 6446=1, 6459=1, 6487=1, 6543=1, 6593=1, 6633=1, 6648=1, 6752=1, 6791=1, 6881=1, 6893=1, 6894=1, 6897=1, 6902=1, 6967=1, 6977=1, 6990=1, 7009=1, 7011=1, 7017=1, 7058=1, 7068=1, 7081=1, 7089=1, 7090=1, 7099=1, 7137=1, 7172=1, 7248=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, 7691=1, 7765=1, 7771=1, 7860=1, 7884=1, 7887=1, 8150=1, 8154=1, 8314=1, 8356=1, 8368=1, 8533=1, 8638=1, 8646=1, 8669=1, 8718=1, 8753=1, 8821=1, 8824=1, 8878=1, 9000=1, 9021=1, 9022=1, 9065=1, 9143=1, 9196=1, 9218=1, 9250=1, 9277=1, 9281=1, 9333=1, 9356=1, 9359=1, 9392=1, 9423=1, 9435=1, 9457=1, 9483=1, 9509=1, 9642=1, 9657=1, 9673=1, 9677=1, 9679=1, 9690=1, 9765=1, 9810=1, 9820=1, 9847=1, 9852=1, 9888=1, 9909=1, 10001=1, 10010=1, 10051=1, 10094=1, 10101=1, 10177=1, 10190=1, 10192=1, 10226=1, 10411=1, 10482=1, 10490=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, 11066=1, 11106=1, 11110=1, 11149=1, 11174=1, 11213=1, 11228=1, 11255=1, 11277=1, 11280=1, 11340=1, 11364=1, 11365=1, 11393=1, 11409=1, 11465=1, 11604=1, 11618=1, 11619=1, 11652=1, 11686=1, 11722=1, 11723=1, 11734=1, 11754=1, 11773=1, 11842=1, 11972=1, 11974=1, 12003=1, 12065=1, 12144=1, 12176=1, 12204=1, 12215=1, 12236=1, 12246=1, 12263=1, 12264=1, 12268=1, 12272=1, 12315=1, 12373=1, 12381=1, 12432=1, 12437=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, 13263=1, 13356=1, 13398=1, 13441=1, 13520=1, 13541=1, 13579=1, 13642=1, 13644=1, 13706=1, 13772=1, 13777=1, 13778=1, 13784=1, 13801=1, 13833=1, 13868=1, 13887=1, 14035=1, 14091=1, 14189=1, 14210=1, 14272=1, 14282=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, 14836=1, 14854=1, 14855=1, 14879=1, 14952=1, 15029=1, 15045=1, 15065=1, 15072=1, 15107=1, 15147=1, 15215=1, 15217=1, 15314=1, 15428=1, 15512=1, 15541=1, 15582=1, 15585=1, 15667=1, 15671=1, 15689=1, 15761=1, 15769=1, 15801=1, 16087=1, 16112=1, 16116=1, 16134=1, 16167=1, 16175=1, 16190=1, 16305=1, 16333=1, 16417=1, 16419=1, 16451=1, 16471=1, 16472=1, 16489=1, 16514=1, 16525=1, 16578=1, 16597=1, 16610=1, 16611=1, 16671=1, 16681=1, 16696=1, 16752=1, 16753=1, 16770=1, 16784=1, 16795=1, 16866=1, 16911=1, 16916=1, 16930=1, 17062=1, 17106=1, 17174=1, 17213=1, 17214=1, 17259=1, 17282=1, 17341=1, 17412=1, 17414=1, 17445=1, 17568=1, 17583=1, 17638=1, 17672=1, 17691=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, 18211=1, 18225=1, 18226=1, 18291=1, 18311=1, 18325=1, 18338=1, 18353=1, 18631=1, 18658=1, 18682=1, 18688=1, 18724=1, 18741=1, 18782=1, 18877=1, 18929=1, 18935=1, 18936=1, 18970=1, 18975=1, 19014=1, 19058=1, 19068=1, 19081=1, 19104=1, 19348=1, 19359=1, 19364=1, 19386=1, 19453=1, 19477=1, 19479=1, 19546=1, 19559=1, 19642=1, 19677=1, 19706=1, 19715=1, 19793=1, 19839=1, 19840=1, 19849=1, 19885=1, 19899=1, 19947=1, 19955=1, 19972=1, 19982=1, 20021=1, 20027=1, 20080=1, 20117=1, 20136=1, 20157=1, 20182=1, 20219=1, 20270=1, 20280=1, 20341=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, 20942=1, 20993=1, 21156=1, 21158=1, 21186=1, 21214=1, 21244=1, 21245=1, 21278=1, 21290=1, 21330=1, 21355=1, 21364=1, 21408=1, 21454=1, 21458=1, 21502=1, 21503=1, 21525=1, 21584=1, 21607=1, 21644=1, 21670=1, 21675=1, 21756=1, 21757=1, 21763=1, 21767=1, 21883=1, 21901=1, 21974=1, 22012=1, 22020=1, 22042=1, 22089=1, 22098=1, 22128=1, 22211=1, 22240=1, 22264=1, 22269=1, 22305=1, 22311=1, 22313=1, 22361=1, 22372=1, 22373=1, 22413=1, 22426=1, 22578=1, 22607=1, 22621=1, 22652=1, 22653=1, 22661=1, 22745=1, 22751=1, 22776=1, 22778=1, 22835=1, 22847=1, 22867=1, 22903=1, 22905=1, 22938=1, 22948=1, 22976=1, 22997=1, 23057=1, 23107=1, 23114=1, 23146=1, 23162=1, 23239=1, 23251=1, 23345=1, 23397=1, 23436=1, 23499=1, 23501=1, 23505=1, 23649=1, 23732=1, 23770=1, 23787=1, 23817=1, 23842=1, 23985=1, 24002=1, 24014=1, 24147=1, 24204=1, 24212=1, 24242=1, 24296=1, 24332=1, 24336=1, 24359=1, 24364=1, 24372=1, 24404=1, 24406=1, 24427=1, 24429=1, 24434=1, 24458=1, 24573=1, 24579=1, 24661=1, 24732=1, 24771=1, 24803=1, 24850=1, 24880=1, 24933=1, 24937=1, 24957=1, 25032=1, 25081=1, 25114=1, 25115=1, 25165=1, 25168=1, 25197=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, 26217=1, 26293=1, 26342=1, 26363=1, 26417=1, 26431=1, 26441=1, 26446=1, 26492=1, 26516=1, 26609=1, 26629=1, 26694=1, 26739=1, 26757=1, 26780=1, 26818=1, 26822=1, 26907=1, 26918=1, 26924=1, 26925=1, 26953=1, 26981=1, 27106=1, 27108=1, 27137=1, 27258=1, 27313=1, 27352=1, 27357=1, 27394=1, 27430=1, 27478=1, 27534=1, 27557=1, 27590=1, 27662=1, 27674=1, 27686=1, 27717=1, 27741=1, 27771=1, 27811=1, 27814=1, 27931=1, 28033=1, 28131=1, 28159=1, 28166=1, 28203=1, 28237=1, 28363=1, 28369=1, 28392=1, 28424=1, 28427=1, 28438=1, 28454=1, 28480=1, 28501=1, 28504=1, 28546=1, 28556=1, 28579=1, 28586=1, 28598=1, 28601=1, 28665=1, 28669=1, 28677=1, 28733=1, 28735=1, 28768=1, 28861=1, 28872=1, 28994=1, 29000=1, 29042=1, 29066=1, 29085=1, 29100=1, 29108=1, 29166=1, 29210=1, 29239=1, 29300=1, 29303=1, 29334=1, 29338=1, 29341=1, 29356=1, 29401=1, 29424=1, 29438=1, 29456=1, 29488=1, 29494=1, 29505=1, 29598=1, 29607=1, 29615=1, 29620=1, 29662=1, 29735=1, 29769=1, 29783=1, 29792=1, 29806=1, 29867=1, 30000=1, 30008=1, 30021=1, 30067=1, 30127=1, 30227=1, 30246=1, 30376=1, 30393=1, 30404=1, 30469=1, 30473=1, 30571=1, 30642=1, 30683=1, 30732=1, 30760=1, 30769=1, 30792=1, 30815=1, 30825=1, 30859=1, 30870=1, 30871=1, 30944=1, 31016=1, 31141=1, 31247=1, 31313=1, 31425=1, 31464=1, 31496=1, 31523=1, 31539=1, 31593=1, 31668=1, 31686=1, 31756=1, 31759=1, 31777=1, 31778=1, 31793=1, 31800=1, 31815=1, 31839=1, 31870=1, 31891=1, 31910=1, 31947=1, 31958=1, 31981=1, 31996=1, 32020=1, 32095=1, 32113=1, 32116=1, 32174=1, 32292=1, 32334=1, 32352=1, 32383=1, 32420=1, 32430=1, 32581=1, 32604=1, 32644=1, 32665=1, 32686=1, 32731=1, 32820=1, 32823=1, 32834=1, 32838=1, 32872=1, 32878=1, 32881=1, 32906=1, 32915=1, 32920=1, 32921=1, 32985=1, 33124=1, 33202=1, 33224=1, 33256=1, 33271=1, 33318=1, 33320=1, 33378=1, 33384=1, 33404=1, 33417=1, 33443=1, 33485=1, 33525=1, 33539=1, 33656=1, 33675=1, 33692=1, 33794=1, 33800=1, 33805=1, 33806=1, 33835=1, 33909=1, 33922=1, 34027=1, 34033=1, 34035=1, 34081=1, 34082=1, 34105=1, 34131=1, 34138=1, 34164=1, 34166=1, 34252=1, 34261=1, 34316=1, 34332=1, 34334=1, 34382=1, 34450=1, 34472=1, 34499=1, 34511=1, 34570=1, 34650=1, 34679=1, 34690=1, 34695=1, 34708=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, 35650=1, 35779=1, 35799=1, 35819=1, 35861=1, 35941=1, 36002=1, 36064=1, 36091=1, 36095=1, 36135=1, 36142=1, 36218=1, 36220=1, 36222=1, 36266=1, 36350=1, 36362=1, 36365=1, 36382=1, 36590=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, 36944=1, 36960=1, 36976=1, 37018=1, 37032=1, 37042=1, 37043=1, 37074=1, 37082=1, 37112=1, 37416=1, 37421=1, 37440=1, 37566=1, 37610=1, 37626=1, 37637=1, 37701=1, 37735=1, 37744=1, 37781=1, 37794=1, 37874=1, 37875=1, 37930=1, 37934=1, 37986=1, 38026=1, 38056=1, 38084=1, 38119=1, 38176=1, 38180=1, 38220=1, 38231=1, 38266=1, 38271=1, 38301=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, 38568=1, 38602=1, 38672=1, 38677=1, 38678=1, 38680=1, 38750=1, 38908=1, 38948=1, 38957=1, 39029=1, 39080=1, 39095=1, 39100=1, 39154=1, 39184=1, 39197=1, 39198=1, 39201=1, 39207=1, 39223=1, 39310=1, 39346=1, 39427=1, 39541=1, 39546=1, 39560=1, 39637=1, 39644=1, 39657=1, 39660=1, 39683=1, 39708=1, 39718=1, 39721=1, 39735=1, 39742=1, 39763=1, 39834=1, 39902=1, 39905=1, 39912=1, 39936=1, 39945=1, 40019=1, 40055=1, 40120=1, 40146=1, 40147=1, 40151=1, 40157=1, 40164=1, 40184=1, 40234=1, 40237=1, 40332=1, 40382=1, 40419=1, 40444=1, 40481=1, 40618=1, 40626=1, 40656=1, 40679=1, 40702=1, 40733=1, 40740=1, 40804=1, 40805=1, 40818=1, 40886=1, 40900=1, 40916=1, 40924=1, 40926=1, 40959=1, 40988=1, 41056=1, 41086=1, 41214=1, 41253=1, 41274=1, 41342=1, 41571=1, 41642=1, 41663=1, 41753=1, 41932=1, 41948=1, 41969=1, 41975=1, 41996=1, 41999=1, 42011=1, 42019=1, 42106=1, 42108=1, 42132=1, 42156=1, 42184=1, 42231=1, 42232=1, 42237=1, 42238=1, 42315=1, 42363=1, 42395=1, 42406=1, 42423=1, 42466=1, 42518=1, 42554=1, 42568=1, 42579=1, 42625=1, 42765=1, 42780=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, 43471=1, 43473=1, 43485=1, 43495=1, 43542=1, 43547=1, 43696=1, 43741=1, 43758=1, 43764=1, 43860=1, 43878=1, 43907=1, 44071=1, 44145=1, 44220=1, 44238=1, 44259=1, 44260=1, 44301=1, 44320=1, 44351=1, 44390=1, 44424=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, 45421=1, 45467=1, 45542=1, 45570=1, 45633=1, 45676=1, 45677=1, 45687=1, 45772=1, 45778=1, 45816=1, 45870=1, 45905=1, 45914=1, 45941=1, 46000=1, 46005=1, 46024=1, 46047=1, 46101=1, 46167=1, 46214=1, 46215=1, 46221=1, 46338=1, 46352=1, 46358=1, 46374=1, 46417=1, 46438=1, 46440=1, 46441=1, 46501=1, 46506=1, 46551=1, 46645=1, 46701=1, 46716=1, 46718=1, 46720=1, 46776=1, 46799=1, 46806=1, 46831=1, 46835=1, 46851=1, 46878=1, 46898=1, 46939=1, 46983=1, 47038=1, 47046=1, 47253=1, 47254=1, 47265=1, 47293=1, 47324=1, 47326=1, 47327=1, 47337=1, 47343=1, 47391=1, 47399=1, 47404=1, 47448=1, 47542=1, 47554=1, 47593=1, 47602=1, 47603=1, 47641=1, 47648=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, 48765=1, 48779=1, 48780=1, 48791=1, 48801=1, 48860=1, 48876=1, 48881=1, 48888=1, 48941=1, 49033=1, 49067=1, 49092=1, 49096=1, 49114=1, 49118=1, 49122=1, 49127=1, 49151=1, 49197=1, 49203=1, 49209=1, 49222=1, 49223=1, 49264=1, 49282=1, 49494=1, 49500=1, 49551=1, 49555=1, 49562=1, 49570=1, 49571=1, 49632=1, 49728=1, 49744=1, 49762=1, 49928=1, 49931=1, 49960=1, 50029=1, 50050=1, 50069=1, 50118=1, 50167=1, 50199=1, 50204=1, 50232=1, 50236=1, 50300=1, 50305=1, 50316=1, 50337=1, 50373=1, 50433=1, 50436=1, 50539=1, 50550=1, 50581=1, 50639=1, 50663=1, 50670=1, 50696=1, 50723=1, 50734=1, 50769=1, 50834=1, 50903=1, 50952=1, 50964=1, 50969=1, 50995=1, 51056=1, 51079=1, 51103=1, 51156=1, 51206=1, 51228=1, 51275=1, 51312=1, 51313=1, 51344=1, 51363=1, 51364=1, 51458=1, 51475=1, 51489=1, 51502=1, 51518=1, 51610=1, 51687=1, 51705=1, 51797=1, 51869=1, 51901=1, 51948=1, 51962=1, 51978=1, 51985=1, 52037=1, 52086=1, 52150=1, 52204=1, 52227=1, 52243=1, 52280=1, 52281=1, 52330=1, 52357=1, 52377=1, 52380=1, 52438=1, 52578=1, 52647=1, 52653=1, 52670=1, 52682=1, 52763=1, 52771=1, 52783=1, 52856=1, 52901=1, 52912=1, 52987=1, 53175=1, 53189=1, 53212=1, 53228=1, 53272=1, 53329=1, 53330=1, 53353=1, 53571=1, 53585=1, 53586=1, 53684=1, 53732=1, 53769=1, 53792=1, 53807=1, 53839=1, 53948=1, 53976=1, 54026=1, 54029=1, 54072=1, 54107=1, 54137=1, 54166=1, 54205=1, 54266=1, 54275=1, 54293=1, 54336=1, 54350=1, 54420=1, 54482=1, 54492=1, 54662=1, 54769=1, 54795=1, 54860=1, 54900=1, 54917=1, 54951=1, 55007=1, 55032=1, 55037=1, 55050=1, 55113=1, 55116=1, 55165=1, 55228=1, 55234=1, 55252=1, 55289=1, 55297=1, 55348=1, 55367=1, 55386=1, 55387=1, 55400=1, 55406=1, 55408=1, 55409=1, 55434=1, 55485=1, 55557=1, 55560=1, 55602=1, 55684=1, 55702=1, 55706=1, 55743=1, 55793=1, 55820=1, 55842=1, 55865=1, 55934=1, 55964=1, 56047=1, 56063=1, 56073=1, 56088=1, 56130=1, 56188=1, 56191=1, 56192=1, 56271=1, 56382=1, 56400=1, 56417=1, 56466=1, 56537=1, 56545=1, 56586=1, 56591=1, 56593=1, 56595=1, 56608=1, 56708=1, 56738=1, 56792=1, 56828=1, 56944=1, 56955=1, 56980=1, 57012=1, 57083=1, 57132=1, 57217=1, 57218=1, 57226=1, 57235=1, 57240=1, 57348=1, 57359=1, 57405=1, 57469=1, 57564=1, 57571=1, 57678=1, 57812=1, 57820=1, 57847=1, 57893=1, 57962=1, 57980=1, 58038=1, 58053=1, 58131=1, 58227=1, 58266=1, 58281=1, 58297=1, 58307=1, 58359=1, 58413=1, 58419=1, 58421=1, 58487=1, 58509=1, 58535=1, 58587=1, 58645=1, 58668=1, 58743=1, 58803=1, 58834=1, 58855=1, 58883=1, 58932=1, 58934=1, 59098=1, 59185=1, 59258=1, 59296=1, 59315=1, 59333=1, 59335=1, 59448=1, 59458=1, 59470=1, 59551=1, 59616=1, 59654=1, 59662=1, 59744=1, 59822=1, 59854=1, 59861=1, 59892=1, 59951=1, 60006=1, 60037=1, 60129=1, 60151=1, 60163=1, 60185=1, 60218=1, 60243=1, 60260=1, 60265=1, 60291=1, 60295=1, 60336=1, 60341=1, 60352=1, 60377=1, 60388=1, 60400=1, 60435=1, 60439=1, 60454=1, 60473=1, 60544=1, 60576=1, 60592=1, 60604=1, 60614=1, 60646=1, 60675=1, 60683=1, 60732=1, 60824=1, 60875=1, 60990=1, 61023=1, 61040=1, 61123=1, 61258=1, 61271=1, 61322=1, 61324=1, 61341=1, 61380=1, 61381=1, 61468=1, 61502=1, 61607=1, 61672=1, 61714=1, 61719=1, 61748=1, 61755=1, 61766=1, 61788=1, 61799=1, 61867=1, 61902=1, 61970=1, 61971=1, 61978=1, 61986=1, 61998=1, 62019=1, 62033=1, 62056=1, 62069=1, 62133=1, 62135=1, 62137=1, 62147=1, 62237=1, 62272=1, 62335=1, 62376=1, 62432=1, 62457=1, 62474=1, 62528=1, 62551=1, 62596=1, 62619=1, 62691=1, 62749=1, 62796=1, 62804=1, 62807=1, 62817=1, 62885=1, 62892=1, 62923=1, 62954=1, 62958=1, 63010=1, 63028=1, 63096=1, 63141=1, 63244=1, 63300=1, 63301=1, 63337=1, 63422=1, 63458=1, 63526=1, 63537=1, 63585=1, 63600=1, 63612=1, 63699=1, 63709=1, 63754=1, 63792=1, 63846=1, 63928=1, 63948=1, 64056=1, 64058=1, 64067=1, 64092=1, 64191=1, 64204=1, 64208=1, 64215=1, 64292=1, 64354=1, 64384=1, 64389=1, 64439=1, 64446=1, 64512=1, 64518=1, 64594=1, 64613=1, 64623=1, 64694=1, 64711=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, 65432=1, 65449=1, 65537=1, 65555=1, 65580=1, 65584=1}
Interrupted probabilistic random walk after 2905 steps, run timeout after 30007 ms. (steps per millisecond=0 ) properties seen :{31=1, 1072=1, 1938=1, 2223=1, 2594=1, 2828=1, 3382=1, 3397=1, 3793=1, 4626=1, 4760=1, 4996=1, 5234=1, 5338=1, 6201=1, 6653=1, 6764=1, 7154=1, 7682=1, 8150=1, 8527=1, 8636=1, 8702=1, 9040=1, 9215=1, 9849=1, 9854=1, 10027=1, 10238=1, 10331=1, 10503=1, 10756=1, 10799=1, 11514=1, 11656=1, 11733=1, 13828=1, 14513=1, 14615=1, 14635=1, 15479=1, 15551=1, 15667=1, 16524=1, 16578=1, 16631=1, 16845=1, 17182=1, 18166=1, 18174=1, 19139=1, 19239=1, 19272=1, 19383=1, 19830=1, 19922=1, 20004=1, 20396=1, 20887=1, 21389=1, 21515=1, 22021=1, 22025=1, 22467=1, 22920=1, 23232=1, 23271=1, 23409=1, 24244=1, 24392=1, 24492=1, 25494=1, 25696=1, 26094=1, 27232=1, 27246=1, 27423=1, 27451=1, 27494=1, 27535=1, 27888=1, 28001=1, 28997=1, 30533=1, 30714=1, 31682=1, 31683=1, 32866=1, 33179=1, 33208=1, 33711=1, 34916=1, 34917=1, 35234=1, 35591=1, 36089=1, 38679=1, 39168=1, 39388=1, 39847=1, 40208=1, 40388=1, 40832=1, 41016=1, 41080=1, 41467=1, 41770=1, 42623=1, 44388=1, 44400=1, 44790=1, 44940=1, 45603=1, 46072=1, 46391=1, 46664=1, 46792=1, 46900=1, 47068=1, 47220=1, 47420=1, 47658=1, 48939=1, 48998=1, 49207=1, 49327=1, 49778=1, 50539=1, 50574=1, 50895=1, 51244=1, 51579=1, 52029=1, 52405=1, 52525=1, 53815=1, 53877=1, 54200=1, 54233=1, 54959=1, 56012=1, 56477=1, 57679=1, 57909=1, 58758=1, 58993=1, 59088=1, 59129=1, 59435=1, 60635=1, 60785=1, 61215=1, 62276=1, 62702=1, 62792=1, 62935=1, 62940=1, 62999=1, 63580=1}
Probabilistic random walk after 2905 steps, saw 2157 distinct states, run finished after 30008 ms. (steps per millisecond=0 ) properties seen :{31=1, 1072=1, 1938=1, 2223=1, 2594=1, 2828=1, 3382=1, 3397=1, 3793=1, 4626=1, 4760=1, 4996=1, 5234=1, 5338=1, 6201=1, 6653=1, 6764=1, 7154=1, 7682=1, 8150=1, 8527=1, 8636=1, 8702=1, 9040=1, 9215=1, 9849=1, 9854=1, 10027=1, 10238=1, 10331=1, 10503=1, 10756=1, 10799=1, 11514=1, 11656=1, 11733=1, 13828=1, 14513=1, 14615=1, 14635=1, 15479=1, 15551=1, 15667=1, 16524=1, 16578=1, 16631=1, 16845=1, 17182=1, 18166=1, 18174=1, 19139=1, 19239=1, 19272=1, 19383=1, 19830=1, 19922=1, 20004=1, 20396=1, 20887=1, 21389=1, 21515=1, 22021=1, 22025=1, 22467=1, 22920=1, 23232=1, 23271=1, 23409=1, 24244=1, 24392=1, 24492=1, 25494=1, 25696=1, 26094=1, 27232=1, 27246=1, 27423=1, 27451=1, 27494=1, 27535=1, 27888=1, 28001=1, 28997=1, 30533=1, 30714=1, 31682=1, 31683=1, 32866=1, 33179=1, 33208=1, 33711=1, 34916=1, 34917=1, 35234=1, 35591=1, 36089=1, 38679=1, 39168=1, 39388=1, 39847=1, 40208=1, 40388=1, 40832=1, 41016=1, 41080=1, 41467=1, 41770=1, 42623=1, 44388=1, 44400=1, 44790=1, 44940=1, 45603=1, 46072=1, 46391=1, 46664=1, 46792=1, 46900=1, 47068=1, 47220=1, 47420=1, 47658=1, 48939=1, 48998=1, 49207=1, 49327=1, 49778=1, 50539=1, 50574=1, 50895=1, 51244=1, 51579=1, 52029=1, 52405=1, 52525=1, 53815=1, 53877=1, 54200=1, 54233=1, 54959=1, 56012=1, 56477=1, 57679=1, 57909=1, 58758=1, 58993=1, 59088=1, 59129=1, 59435=1, 60635=1, 60785=1, 61215=1, 62276=1, 62702=1, 62792=1, 62935=1, 62940=1, 62999=1, 63580=1}
Running SMT prover for 63666 properties.
// Phase 1: matrix 65641 rows 1681 cols
[2022-05-21 08:38:14] [INFO ] Computed 41 place invariants in 201 ms
[2022-05-21 08:38:39] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 63666 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 355 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.
[2022-05-21 08:38:43] [INFO ] Flatten gal took : 2332 ms
[2022-05-21 08:38:45] [INFO ] Flatten gal took : 1713 ms
[2022-05-21 08:38:45] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality15753132191647641268.gal : 251 ms
[2022-05-21 08:38:45] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11816369189321731624.prop : 150 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/ReachabilityCardinality15753132191647641268.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality11816369189321731624.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/ReachabilityCardinality15753132191647641268.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality11816369189321731624.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality11816369189321731624.prop.
Detected timeout of ITS tools.
[2022-05-21 08:39:03] [INFO ] Flatten gal took : 1678 ms
[2022-05-21 08:39:03] [INFO ] Applying decomposition
[2022-05-21 08:39:04] [INFO ] Flatten gal took : 1713 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/graph9176264141250931995.txt, -o, /tmp/graph9176264141250931995.bin, -w, /tmp/graph9176264141250931995.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/graph9176264141250931995.bin, -l, -1, -v, -w, /tmp/graph9176264141250931995.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-21 08:39:09] [INFO ] Decomposing Gal with order
[2022-05-21 08:39:09] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 08:39:15] [INFO ] Removed a total of 154713 redundant transitions.
[2022-05-21 08:39:16] [INFO ] Flatten gal took : 3545 ms
[2022-05-21 08:41:03] [INFO ] Fuse similar labels procedure discarded/fused a total of 1559 labels/synchronizations in 1932 ms.
[2022-05-21 08:41:03] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17419197960629115037.gal : 221 ms
[2022-05-21 08:41:03] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12742125171760754355.prop : 190 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/ReachabilityCardinality17419197960629115037.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality12742125171760754355.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/ReachabilityCardinality17419197960629115037.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality12742125171760754355.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin865005923218821325
[2022-05-21 08:41:19] [INFO ] Built C files in 897ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin865005923218821325
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/ltsmin865005923218821325]
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/ltsmin865005923218821325] 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/ltsmin865005923218821325] 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 3715 steps, including 0 resets, run timeout after 30004 ms. (steps per millisecond=0 ) properties seen :{216=1, 300=1, 603=1, 1428=1, 1781=1, 2032=1, 2049=1, 2404=1, 2412=1, 2888=1, 2906=1, 2914=1, 3083=1, 3085=1, 3432=1, 3787=1, 4022=1, 4251=1, 4261=1, 4278=1, 4508=1, 5076=1, 5744=1, 5838=1, 5935=1, 6159=1, 6603=1, 6726=1, 7685=1, 7905=1, 7946=1, 8100=1, 8630=1, 9165=1, 9536=1, 9586=1, 9650=1, 9729=1, 9959=1, 10225=1, 10417=1, 11223=1, 11283=1, 11530=1, 11531=1, 11983=1, 12100=1, 12110=1, 12371=1, 12537=1, 12833=1, 12860=1, 12909=1, 13019=1, 13616=1, 13730=1, 13913=1, 14449=1, 14477=1, 14674=1, 14695=1, 15188=1, 15694=1, 15853=1, 16684=1, 17582=1, 17792=1, 17847=1, 17911=1, 17931=1, 18503=1, 18665=1, 18759=1, 18830=1, 19110=1, 19362=1, 19580=1, 19753=1, 19775=1, 19975=1, 20387=1, 20658=1, 20896=1, 21019=1, 21207=1, 21386=1, 21402=1, 21681=1, 21764=1, 22073=1, 22086=1, 22179=1, 22385=1, 22436=1, 22507=1, 22616=1, 22704=1, 22716=1, 22907=1, 22945=1, 23467=1, 23846=1, 25427=1, 26034=1, 26175=1, 26567=1, 26732=1, 26741=1, 26850=1, 27017=1, 27123=1, 27353=1, 27483=1, 27757=1, 28416=1, 28432=1, 28748=1, 28869=1, 28934=1, 28985=1, 29074=1, 29217=1, 29247=1, 29307=1, 29478=1, 29969=1, 30031=1, 30225=1, 30262=1, 30878=1, 30895=1, 31242=1, 31419=1, 31424=1, 31569=1, 31737=1, 31880=1, 31939=1, 32104=1, 33109=1, 33173=1, 33384=1, 33464=1, 33669=1, 33759=1, 34531=1, 34883=1, 34897=1, 34973=1, 34983=1, 35097=1, 35208=1, 35307=1, 35665=1, 35905=1, 36024=1, 36044=1, 36111=1, 36759=1, 36793=1, 36968=1, 36991=1, 37146=1, 37178=1, 37366=1, 37628=1, 37917=1, 38153=1, 39382=1, 39563=1, 39596=1, 39907=1, 40117=1, 40548=1, 40639=1, 40756=1, 40817=1, 40825=1, 40890=1, 40946=1, 41015=1, 41069=1, 41143=1, 41179=1, 41501=1, 41691=1, 42373=1, 42596=1, 42679=1, 43901=1, 43974=1, 44032=1, 44231=1, 44672=1, 45163=1, 45229=1, 45335=1, 45447=1, 46621=1, 46816=1, 47253=1, 47392=1, 47608=1, 47648=1, 47791=1, 47994=1, 48031=1, 48109=1, 48191=1, 48335=1, 48368=1, 48677=1, 48678=1, 48974=1, 49265=1, 49369=1, 49730=1, 49851=1, 50780=1, 51223=1, 51299=1, 51346=1, 51427=1, 51482=1, 52029=1, 52182=1, 52855=1, 53206=1, 53628=1, 53906=1, 54065=1, 54405=1, 54561=1, 54605=1, 55028=1, 55387=1, 55484=1, 55621=1, 55664=1, 55734=1, 56053=1, 56068=1, 56085=1, 56212=1, 56663=1, 56664=1, 56806=1, 56885=1, 56898=1, 57331=1, 57807=1, 58069=1, 58167=1, 58306=1, 58725=1, 58865=1, 58898=1, 58910=1, 58974=1, 59960=1, 60145=1, 60378=1, 60382=1, 60582=1, 61566=1, 62078=1, 62191=1, 62593=1, 62673=1, 62788=1, 62895=1, 63191=1, 63338=1, 63425=1, 63455=1, 63467=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 245 ms. (steps per millisecond=4 ) properties (out of 63390) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 244 ms. (steps per millisecond=4 ) properties (out of 63388) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 244 ms. (steps per millisecond=4 ) properties (out of 63387) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 246 ms. (steps per millisecond=4 ) properties (out of 63386) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 242 ms. (steps per millisecond=4 ) properties (out of 63384) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 243 ms. (steps per millisecond=4 ) properties (out of 63381) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 242 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 243 ms. (steps per millisecond=4 ) properties (out of 63377) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 242 ms. (steps per millisecond=4 ) properties (out of 63374) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 243 ms. (steps per millisecond=4 ) properties (out of 63372) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 243 ms. (steps per millisecond=4 ) properties (out of 63371) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 243 ms. (steps per millisecond=4 ) properties (out of 63370) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 245 ms. (steps per millisecond=4 ) properties (out of 63368) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 244 ms. (steps per millisecond=4 ) properties (out of 63367) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 243 ms. (steps per millisecond=4 ) properties (out of 63365) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 241 ms. (steps per millisecond=4 ) properties (out of 63365) 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 63365) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 242 ms. (steps per millisecond=4 ) properties (out of 63363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 243 ms. (steps per millisecond=4 ) properties (out of 63363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 243 ms. (steps per millisecond=4 ) properties (out of 63363) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 242 ms. (steps per millisecond=4 ) properties (out of 63362) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 234 ms. (steps per millisecond=4 ) properties (out of 63362) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 234 ms. (steps per millisecond=4 ) properties (out of 63362) 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 63362) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 234 ms. (steps per millisecond=4 ) properties (out of 63362) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 234 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 235 ms. (steps per millisecond=4 ) properties (out of 63361) 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 63361) 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 63361) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 234 ms. (steps per millisecond=4 ) properties (out of 63360) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 232 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 234 ms. (steps per millisecond=4 ) properties (out of 63358) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 232 ms. (steps per millisecond=4 ) properties (out of 63358) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 232 ms. (steps per millisecond=4 ) properties (out of 63357) 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 63357) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 234 ms. (steps per millisecond=4 ) properties (out of 63357) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 235 ms. (steps per millisecond=4 ) properties (out of 63356) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 234 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 233 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 235 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 234 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 236 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 237 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 239 ms. (steps per millisecond=4 ) properties (out of 63353) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 237 ms. (steps per millisecond=4 ) properties (out of 63352) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 233 ms. (steps per millisecond=4 ) properties (out of 63351) 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 63351) 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 63351) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 226 ms. (steps per millisecond=4 ) properties (out of 63350) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 226 ms. (steps per millisecond=4 ) properties (out of 63350) 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 63350) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 63350) 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 63350) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 222 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 222 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 223 ms. (steps per millisecond=4 ) properties (out of 63346) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 236 ms. (steps per millisecond=4 ) properties (out of 63346) 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 63346) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 237 ms. (steps per millisecond=4 ) properties (out of 63346) 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 63346) 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 63346) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 240 ms. (steps per millisecond=4 ) properties (out of 63345) 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 63345) 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 63345) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 240 ms. (steps per millisecond=4 ) properties (out of 63344) 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 63344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 241 ms. (steps per millisecond=4 ) properties (out of 63344) 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 63344) 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 63344) 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 63344) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 232 ms. (steps per millisecond=4 ) properties (out of 63343) 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 63343) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 236 ms. (steps per millisecond=4 ) properties (out of 63343) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 237 ms. (steps per millisecond=4 ) properties (out of 63343) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 235 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 236 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 234 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 236 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 236 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 238 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 239 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 239 ms. (steps per millisecond=4 ) properties (out of 63341) 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 63341) 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 63341) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 241 ms. (steps per millisecond=4 ) properties (out of 63341) 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 63341) 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 63341) 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 63341) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 63340) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 221 ms. (steps per millisecond=4 ) properties (out of 63339) 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 63339) 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 63339) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 218 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 220 ms. (steps per millisecond=4 ) properties (out of 63338) 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 63338) 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 63338) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 228 ms. (steps per millisecond=4 ) properties (out of 63336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 63336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 234 ms. (steps per millisecond=4 ) properties (out of 63336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 226 ms. (steps per millisecond=4 ) properties (out of 63336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 228 ms. (steps per millisecond=4 ) properties (out of 63336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 234 ms. (steps per millisecond=4 ) properties (out of 63336) 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 63336) 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 63336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 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 228 ms. (steps per millisecond=4 ) properties (out of 63335) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 63334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63334) 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 63334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 63334) 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 63334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63334) 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 63334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63334) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 222 ms. (steps per millisecond=4 ) properties (out of 63333) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63333) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 222 ms. (steps per millisecond=4 ) properties (out of 63332) 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 63332) 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 63332) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 63332) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63332) 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 63332) 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 63332) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63332) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63332) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63332) 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 63332) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63332) 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 63332) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 63332) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 63332) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 226 ms. (steps per millisecond=4 ) properties (out of 63332) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 227 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 224 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 224 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 224 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 223 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 225 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 225 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 225 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 225 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 222 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 226 ms. (steps per millisecond=4 ) properties (out of 63328) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 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 225 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 223 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 223 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 222 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 221 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 222 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 223 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 222 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 236 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 226 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 225 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 225 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 226 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 228 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 224 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 222 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 223 ms. (steps per millisecond=4 ) properties (out of 63324) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 63323) 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 63323) 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 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 228 ms. (steps per millisecond=4 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 228 ms. (steps per millisecond=4 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 226 ms. (steps per millisecond=4 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 226 ms. (steps per millisecond=4 ) properties (out of 63323) 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 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 228 ms. (steps per millisecond=4 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 226 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 226 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 225 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 229 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 225 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 224 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 225 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 226 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 226 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 225 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 224 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 229 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 226 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 224 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 224 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 225 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 227 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 226 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 227 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 224 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 226 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 224 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 224 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 225 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 226 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 227 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 224 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 224 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 223 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 227 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 226 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 225 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 225 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 230 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 227 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 224 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 225 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 225 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 228 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 227 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 224 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 223 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 226 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 230 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 227 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 226 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 227 ms. (steps per millisecond=4 ) properties (out of 63321) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 233 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 220 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 222 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 220 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 222 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 221 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 222 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 225 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 225 ms. (steps per millisecond=4 ) properties (out of 63319) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 63318) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 233 ms. (steps per millisecond=4 ) properties (out of 63317) 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 63317) 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 63317) 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 63317) 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 63317) 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 63317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 218 ms. (steps per millisecond=4 ) properties (out of 63317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 63317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 63317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 229 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 225 ms. (steps per millisecond=4 ) properties (out of 63316) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63316) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 63316) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 63316) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 226 ms. (steps per millisecond=4 ) properties (out of 63316) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63316) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63316) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 63316) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 228 ms. (steps per millisecond=4 ) properties (out of 63316) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 63316) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 63316) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63316) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 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 227 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 224 ms. (steps per millisecond=4 ) properties (out of 63314) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 63312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 226 ms. (steps per millisecond=4 ) properties (out of 63312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 236 ms. (steps per millisecond=4 ) properties (out of 63312) 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 63312) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 220 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 224 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 225 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 224 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 223 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 224 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 222 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 224 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 223 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 224 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 223 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 225 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 383 ms. (steps per millisecond=2 ) properties (out of 63310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 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 225 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 225 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 224 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 222 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 225 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 226 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 224 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 227 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 225 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 224 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 224 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 223 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 223 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 226 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 226 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 225 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 225 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 223 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 223 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 224 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 224 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 224 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 224 ms. (steps per millisecond=4 ) properties (out of 63309) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63307) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 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 226 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 225 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 227 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 227 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 224 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 224 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 226 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 225 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 223 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 229 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 225 ms. (steps per millisecond=4 ) properties (out of 63305) 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 63304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63304) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63303) 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 63303) 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 63303) 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 63303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63303) 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 63302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 226 ms. (steps per millisecond=4 ) properties (out of 63302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63302) 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 63302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63302) 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 63302) 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 63302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63302) 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 63302) 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 63302) 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 63302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63302) 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 63302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63302) 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 63302) 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 63302) 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 63302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 226 ms. (steps per millisecond=4 ) properties (out of 63302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63302) 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 63302) 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 63302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63302) 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 63302) 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 63302) 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 63302) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 220 ms. (steps per millisecond=4 ) properties (out of 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63301) 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 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63301) 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 63301) 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 63301) 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 63301) 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 63301) 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 63301) 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 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 226 ms. (steps per millisecond=4 ) properties (out of 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 226 ms. (steps per millisecond=4 ) properties (out of 63301) 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 63301) 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 63301) 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 63301) 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 63301) 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 63301) 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 63301) 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 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63301) 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 63301) 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 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 218 ms. (steps per millisecond=4 ) properties (out of 63301) 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 63301) 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 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63301) 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 63301) 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 63301) 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 63301) 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 63301) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 221 ms. (steps per millisecond=4 ) properties (out of 63300) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 220 ms. (steps per millisecond=4 ) properties (out of 63299) 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 63299) 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 63299) 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 63299) 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 63299) 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 63299) 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 63299) 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 63299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 226 ms. (steps per millisecond=4 ) properties (out of 63299) 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 63299) 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 63299) 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 63299) 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 63299) 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 63299) 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 63299) 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 63299) 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 63299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63299) 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 63299) 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 63299) 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 63299) 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 63299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63299) 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 63299) 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 63299) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 216 ms. (steps per millisecond=4 ) properties (out of 63298) 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 63298) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 218 ms. (steps per millisecond=4 ) properties (out of 63298) 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 63298) 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 63298) 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 63298) 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 63298) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63298) 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 63298) 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 63298) 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 63298) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 63298) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 218 ms. (steps per millisecond=4 ) properties (out of 63298) 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 63298) 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 63298) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 228 ms. (steps per millisecond=4 ) properties (out of 63298) 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 63298) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 63298) 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 63298) 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 63298) 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 63298) 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 63298) 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 63298) 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 63297) 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 63297) 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 63297) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 218 ms. (steps per millisecond=4 ) properties (out of 63297) 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 63297) 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 63297) 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 63297) 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 63297) 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 63297) 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 63297) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 63296) 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 63296) 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 63296) 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 63296) 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 63295) 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 63295) 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 63295) 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 63295) 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 63295) 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 63295) 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 63295) 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 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 218 ms. (steps per millisecond=4 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 218 ms. (steps per millisecond=4 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 218 ms. (steps per millisecond=4 ) properties (out of 63295) 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 63295) 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 63295) 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 63295) 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 63295) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 216 ms. (steps per millisecond=4 ) properties (out of 63294) 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 63294) 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 63294) 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 63294) 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 63294) 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 63294) 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 63294) 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 63294) 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 63294) 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 63294) 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 63294) 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 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 218 ms. (steps per millisecond=4 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 218 ms. (steps per millisecond=4 ) properties (out of 63294) 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 63294) 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 63294) 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 63294) 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 63294) 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 63294) 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 63294) 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 63294) 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 63294) 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 63294) 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 63294) 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 63294) 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 63294) 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 63294) 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 63294) 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 63293) 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 63293) 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 63293) 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 63293) 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 63293) 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 63293) 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 63293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 218 ms. (steps per millisecond=4 ) properties (out of 63293) 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 63293) 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 63293) 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 63293) 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 63293) 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 63293) 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 63292) 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 63292) 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 63292) 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 63292) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 218 ms. (steps per millisecond=4 ) properties (out of 63292) 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 63292) 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 63292) 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 63292) 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 63292) 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 63292) 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 63292) 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 63292) 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 63292) 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 63292) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 218 ms. (steps per millisecond=4 ) properties (out of 63292) 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 63292) 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 63292) 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 63292) 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 63292) 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 63292) 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 63292) 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 63292) 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 63292) 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 63292) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 218 ms. (steps per millisecond=4 ) properties (out of 63292) 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 63292) 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 63292) 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 63292) 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 63292) 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 63292) 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 63292) 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 63292) 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 63292) 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 63292) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 218 ms. (steps per millisecond=4 ) properties (out of 63292) 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 63292) 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 63292) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 218 ms. (steps per millisecond=4 ) properties (out of 63292) 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 63292) 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 63292) 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 63292) 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 63292) 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 63292) 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 63292) 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 63292) 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 63292) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 218 ms. (steps per millisecond=4 ) properties (out of 63292) 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 63292) 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 63292) seen :0
Interrupted probabilistic random walk after 4671 steps, run timeout after 30011 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 4671 steps, saw 3040 distinct states, run finished after 30015 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 63292 properties.
// Phase 1: matrix 65641 rows 1681 cols
[2022-05-21 08:44:31] [INFO ] Computed 41 place invariants in 173 ms
1.0Real
^^^^^^^
(error "Invalid token: 1.0Real")
[2022-05-21 08:48:16] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 63292 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 315 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.
[2022-05-21 08:48:19] [INFO ] Flatten gal took : 1606 ms
[2022-05-21 08:48:21] [INFO ] Flatten gal took : 1668 ms
[2022-05-21 08:48:21] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7710599253547118994.gal : 193 ms
[2022-05-21 08:48:21] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15119633696180776863.prop : 86 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/ReachabilityCardinality7710599253547118994.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality15119633696180776863.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/ReachabilityCardinality7710599253547118994.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality15119633696180776863.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality15119633696180776863.prop.
Detected timeout of ITS tools.
[2022-05-21 08:48:38] [INFO ] Flatten gal took : 1657 ms
[2022-05-21 08:48:38] [INFO ] Applying decomposition
[2022-05-21 08:48:40] [INFO ] Flatten gal took : 1697 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/graph15915853874128217596.txt, -o, /tmp/graph15915853874128217596.bin, -w, /tmp/graph15915853874128217596.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/graph15915853874128217596.bin, -l, -1, -v, -w, /tmp/graph15915853874128217596.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-21 08:48:44] [INFO ] Decomposing Gal with order
[2022-05-21 08:48:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 08:48:49] [INFO ] Removed a total of 155337 redundant transitions.
[2022-05-21 08:48:50] [INFO ] Flatten gal took : 2827 ms
[2022-05-21 08:50:34] [INFO ] Fuse similar labels procedure discarded/fused a total of 1553 labels/synchronizations in 1406 ms.
[2022-05-21 08:50:35] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14358884406352342507.gal : 146 ms
[2022-05-21 08:50:35] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5390420374894849610.prop : 165 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/ReachabilityCardinality14358884406352342507.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality5390420374894849610.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/ReachabilityCardinality14358884406352342507.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality5390420374894849610.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin11200621638199270887
[2022-05-21 08:50:51] [INFO ] Built C files in 608ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11200621638199270887
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/ltsmin11200621638199270887]
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/ltsmin11200621638199270887] 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/ltsmin11200621638199270887] 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 4388 steps, including 0 resets, run timeout after 30007 ms. (steps per millisecond=0 ) properties seen :{447=1, 627=1, 644=1, 1185=1, 1513=1, 1655=1, 2855=1, 2881=1, 3076=1, 4083=1, 4442=1, 5253=1, 5552=1, 5708=1, 6054=1, 6878=1, 7005=1, 7006=1, 7120=1, 7206=1, 7708=1, 8249=1, 8521=1, 9152=1, 9185=1, 9187=1, 10575=1, 10681=1, 11271=1, 11280=1, 11803=1, 11830=1, 12889=1, 14783=1, 14882=1, 15096=1, 15910=1, 16637=1, 16791=1, 16946=1, 17408=1, 18017=1, 18817=1, 18862=1, 18885=1, 19555=1, 19731=1, 19746=1, 19756=1, 23357=1, 24092=1, 24291=1, 24942=1, 25008=1, 25107=1, 25216=1, 25311=1, 26416=1, 26511=1, 26652=1, 26939=1, 27474=1, 27679=1, 28691=1, 29832=1, 30189=1, 30703=1, 30809=1, 31044=1, 31308=1, 31758=1, 33041=1, 33794=1, 35323=1, 35440=1, 35780=1, 35974=1, 36370=1, 36778=1, 38217=1, 38623=1, 38687=1, 38722=1, 38994=1, 39709=1, 40077=1, 40135=1, 40494=1, 40889=1, 41085=1, 42104=1, 42741=1, 42989=1, 43713=1, 46157=1, 46400=1, 46490=1, 46544=1, 47064=1, 47799=1, 49139=1, 49320=1, 49476=1, 49701=1, 49846=1, 50246=1, 50305=1, 50774=1, 51036=1, 52095=1, 52177=1, 53145=1, 53521=1, 53650=1, 53717=1, 55404=1, 55500=1, 55686=1, 55906=1, 56203=1, 57164=1, 57712=1, 58453=1, 58660=1, 59187=1, 60290=1, 60453=1, 60783=1, 61149=1, 61670=1, 61675=1, 62089=1, 62521=1, 62773=1, 62941=1, 62986=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=3 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 246 ms. (steps per millisecond=4 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 244 ms. (steps per millisecond=4 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 263 ms. (steps per millisecond=3 ) properties (out of 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) 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 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 260 ms. (steps per millisecond=3 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 254 ms. (steps per millisecond=3 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 254 ms. (steps per millisecond=3 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 258 ms. (steps per millisecond=3 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 256 ms. (steps per millisecond=3 ) properties (out of 63156) seen :0
Interrupted probabilistic random walk after 5955 steps, run timeout after 30009 ms. (steps per millisecond=0 ) properties seen :{6103=1, 8375=1, 9362=1, 14866=1, 15330=1, 16683=1, 27825=1, 28963=1, 36231=1, 37198=1, 47427=1, 50145=1, 50552=1, 50909=1, 55390=1, 55619=1, 59153=1}
Probabilistic random walk after 5955 steps, saw 3483 distinct states, run finished after 30010 ms. (steps per millisecond=0 ) properties seen :{6103=1, 8375=1, 9362=1, 14866=1, 15330=1, 16683=1, 27825=1, 28963=1, 36231=1, 37198=1, 47427=1, 50145=1, 50552=1, 50909=1, 55390=1, 55619=1, 59153=1}
Running SMT prover for 63139 properties.
// Phase 1: matrix 65641 rows 1681 cols
[2022-05-21 08:52:02] [INFO ] Computed 41 place invariants in 174 ms
[2022-05-21 08:55:47] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 63139 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 606 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.
[2022-05-21 08:55:50] [INFO ] Flatten gal took : 1652 ms
[2022-05-21 08:55:52] [INFO ] Flatten gal took : 1779 ms
[2022-05-21 08:55:54] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality41172271161421293.gal : 1571 ms
[2022-05-21 08:55:54] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14360773256456331123.prop : 86 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/ReachabilityCardinality41172271161421293.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality14360773256456331123.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/ReachabilityCardinality41172271161421293.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality14360773256456331123.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2022-05-21 08:56:17] [INFO ] Flatten gal took : 3078 ms
[2022-05-21 08:56:17] [INFO ] Applying decomposition
[2022-05-21 08:56:18] [INFO ] Flatten gal took : 1754 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/graph5419670021141053101.txt, -o, /tmp/graph5419670021141053101.bin, -w, /tmp/graph5419670021141053101.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/graph5419670021141053101.bin, -l, -1, -v, -w, /tmp/graph5419670021141053101.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-21 08:56:23] [INFO ] Decomposing Gal with order
[2022-05-21 08:56:23] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 08:56:28] [INFO ] Removed a total of 155298 redundant transitions.
[2022-05-21 08:56:29] [INFO ] Flatten gal took : 2920 ms
[2022-05-21 08:58:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 1571 labels/synchronizations in 2048 ms.
[2022-05-21 08:58:37] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4580148037687145836.gal : 347 ms
[2022-05-21 08:58:38] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality10150941697713271496.prop : 265 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/ReachabilityCardinality4580148037687145836.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality10150941697713271496.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/ReachabilityCardinality4580148037687145836.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality10150941697713271496.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin8751490177196752835
[2022-05-21 08:58:55] [INFO ] Built C files in 1186ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin8751490177196752835
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/ltsmin8751490177196752835]
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/ltsmin8751490177196752835] 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/ltsmin8751490177196752835] 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 3861 steps, including 0 resets, run timeout after 30004 ms. (steps per millisecond=0 ) properties seen :{126=1, 146=1, 198=1, 643=1, 1010=1, 1019=1, 2498=1, 2591=1, 3721=1, 4304=1, 4801=1, 5101=1, 5174=1, 5828=1, 6164=1, 7156=1, 7190=1, 8171=1, 8711=1, 8724=1, 8992=1, 9383=1, 9678=1, 10054=1, 11547=1, 11976=1, 12021=1, 12342=1, 12897=1, 13396=1, 13668=1, 14490=1, 15729=1, 16220=1, 16570=1, 16735=1, 17492=1, 17958=1, 18039=1, 18238=1, 18305=1, 18402=1, 18824=1, 20638=1, 20938=1, 21067=1, 21149=1, 21771=1, 22036=1, 23014=1, 23134=1, 23151=1, 23999=1, 25274=1, 25472=1, 25633=1, 26570=1, 27967=1, 27981=1, 28112=1, 28485=1, 28740=1, 29002=1, 29120=1, 29504=1, 31011=1, 31092=1, 31578=1, 31719=1, 32172=1, 33018=1, 33032=1, 33198=1, 33217=1, 34273=1, 34352=1, 35571=1, 35835=1, 37135=1, 37189=1, 37404=1, 37470=1, 38343=1, 38871=1, 39926=1, 40958=1, 41515=1, 41963=1, 42716=1, 42919=1, 44057=1, 45557=1, 45702=1, 46545=1, 46770=1, 47702=1, 47936=1, 48292=1, 48794=1, 48963=1, 49106=1, 49284=1, 49927=1, 50051=1, 50322=1, 50565=1, 51397=1, 52167=1, 52623=1, 52704=1, 54497=1, 54738=1, 55120=1, 55686=1, 56381=1, 57160=1, 57372=1, 57513=1, 57587=1, 58417=1, 58508=1, 58580=1, 60249=1, 61428=1, 62604=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 249 ms. (steps per millisecond=4 ) properties (out of 63014) 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 63014) 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 63014) 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 63014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 232 ms. (steps per millisecond=4 ) properties (out of 63014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 229 ms. (steps per millisecond=4 ) properties (out of 63014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 236 ms. (steps per millisecond=4 ) properties (out of 63014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 241 ms. (steps per millisecond=4 ) properties (out of 63014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 237 ms. (steps per millisecond=4 ) properties (out of 63014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 63014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 963 ms. (steps per millisecond=1 ) properties (out of 63014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 259 ms. (steps per millisecond=3 ) properties (out of 63014) 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 63013) 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 63013) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 309 ms. (steps per millisecond=3 ) properties (out of 63013) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=3 ) properties (out of 63013) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 282 ms. (steps per millisecond=3 ) properties (out of 63013) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 236 ms. (steps per millisecond=4 ) properties (out of 63013) 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 63013) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3269 ms. (steps per millisecond=0 ) properties (out of 63013) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 63013) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1894 ms. (steps per millisecond=0 ) properties (out of 63013) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3366 ms. (steps per millisecond=0 ) properties (out of 63013) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 259 ms. (steps per millisecond=3 ) properties (out of 63013) seen :0

BK_STOP 1653123584077

--------------------
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="gold2021"
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 gold2021"
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 r270-tall-165303554200399"
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 ;