MCC'2022- Execution of r270-tall-165303554200404

About the Execution of 2021-gold for TokenRing-PT-050

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
16246.699	1746716.00	3107396.00	35902.70	[undef]	Cannot compute

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-165303554200404.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-050, examination is Liveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r270-tall-165303554200404
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 613M
-rw-r--r-- 1 mcc users 2.6M Apr 30 16:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 13M Apr 30 16:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 72M Apr 30 13:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 252M Apr 30 12:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 1.1M May 9 09:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 3.5M May 9 09:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 57M May 9 09:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 153M May 9 09:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 279K May 9 09:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 707K May 9 09:16 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 61M 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 1653122434800

Running Version 0
[2022-05-21 08:40:36] [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:40:36] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-21 08:40:38] [INFO ] Load time of PNML (sax parser for PT used): 2170 ms
[2022-05-21 08:40:38] [INFO ] Transformed 2601 places.
[2022-05-21 08:40:39] [INFO ] Transformed 127551 transitions.
[2022-05-21 08:40:39] [INFO ] Parsed PT model containing 2601 places and 127551 transitions in 2658 ms.
Built sparse matrix representations for Structural reductions in 117 ms.376359KB memory used
Starting structural reductions, iteration 0 : 2601/2601 places, 127551/127551 transitions.
Applied a total of 0 rules in 1491 ms. Remains 2601 /2601 variables (removed 0) and now considering 127551/127551 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 2601/2601 places, 127551/127551 transitions.
Starting structural reductions, iteration 0 : 2601/2601 places, 127551/127551 transitions.
Applied a total of 0 rules in 1726 ms. Remains 2601 /2601 variables (removed 0) and now considering 127551/127551 (removed 0) transitions.
// Phase 1: matrix 127551 rows 2601 cols
[2022-05-21 08:40:46] [INFO ] Computed 51 place invariants in 534 ms
[2022-05-21 08:40:46] [INFO ] Implicit Places using invariants in 1092 ms returned []
Implicit Place search using SMT only with invariants took 1117 ms to find 0 implicit places.
// Phase 1: matrix 127551 rows 2601 cols
[2022-05-21 08:40:47] [INFO ] Computed 51 place invariants in 499 ms
[2022-05-21 08:41:17] [INFO ] Performed 71016/127551 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-05-21 08:41:42] [INFO ] Dead Transitions using invariants and state equation in 55970 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2601/2601 places, 127551/127551 transitions.
Interrupted Random walk after 456411 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=15 )
// Phase 1: matrix 127551 rows 2601 cols
[2022-05-21 08:42:13] [INFO ] Computed 51 place invariants in 470 ms
[2022-05-21 08:42:59] [INFO ] [Real]Absence check using 51 positive place invariants in 240 ms returned unsat
Starting structural reductions, iteration 0 : 2601/2601 places, 127551/127551 transitions.
Applied a total of 0 rules in 26233 ms. Remains 2601 /2601 variables (removed 0) and now considering 127551/127551 (removed 0) transitions.
// Phase 1: matrix 127551 rows 2601 cols
[2022-05-21 08:43:26] [INFO ] Computed 51 place invariants in 519 ms
[2022-05-21 08:43:34] [INFO ] Implicit Places using invariants in 8910 ms returned []
Implicit Place search using SMT only with invariants took 8914 ms to find 0 implicit places.
// Phase 1: matrix 127551 rows 2601 cols
[2022-05-21 08:43:34] [INFO ] Computed 51 place invariants in 396 ms
[2022-05-21 08:44:05] [INFO ] Performed 77805/127551 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-05-21 08:44:24] [INFO ] Dead Transitions using invariants and state equation in 49773 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2601/2601 places, 127551/127551 transitions.
[2022-05-21 08:44:25] [INFO ] Initial state test concluded for 50 properties.
Interrupted random walk after 1562 steps, including 0 resets, run timeout after 30007 ms. (steps per millisecond=0 ) properties seen :{221=1, 342=1, 356=1, 389=1, 413=1, 536=1, 538=1, 575=1, 608=1, 673=1, 726=1, 780=1, 804=1, 865=1, 913=1, 1162=1, 1599=1, 1629=1, 1866=1, 1873=1, 1883=1, 1928=1, 1935=1, 1940=1, 2101=1, 2239=1, 2297=1, 2432=1, 2510=1, 2556=1, 2620=1, 2642=1, 2779=1, 2858=1, 2884=1, 3008=1, 3013=1, 3022=1, 3027=1, 3185=1, 3262=1, 3293=1, 3320=1, 3489=1, 3529=1, 3669=1, 3710=1, 3746=1, 3910=1, 4196=1, 4242=1, 4333=1, 4443=1, 4953=1, 4964=1, 4996=1, 5003=1, 5027=1, 5276=1, 5315=1, 5377=1, 5422=1, 5441=1, 5579=1, 5642=1, 5868=1, 5928=1, 5950=1, 5956=1, 5977=1, 5978=1, 6006=1, 6025=1, 6043=1, 6148=1, 6169=1, 6246=1, 6256=1, 6292=1, 6326=1, 6336=1, 6445=1, 6563=1, 6629=1, 6702=1, 6723=1, 6785=1, 6875=1, 6885=1, 6889=1, 7256=1, 7363=1, 7370=1, 7515=1, 7572=1, 7631=1, 7708=1, 7752=1, 7854=1, 7860=1, 7927=1, 7948=1, 8037=1, 8041=1, 8336=1, 8368=1, 8415=1, 8495=1, 8562=1, 8569=1, 8852=1, 8887=1, 9018=1, 9050=1, 9102=1, 9139=1, 9187=1, 9646=1, 9733=1, 9965=1, 10016=1, 10050=1, 10055=1, 10111=1, 10305=1, 10344=1, 10397=1, 10814=1, 10881=1, 11025=1, 11046=1, 11090=1, 11345=1, 11352=1, 11556=1, 11719=1, 11736=1, 11755=1, 11787=1, 11802=1, 11850=1, 11895=1, 11905=1, 11927=1, 12199=1, 12207=1, 12319=1, 12329=1, 12477=1, 12552=1, 12660=1, 13044=1, 13166=1, 13210=1, 13302=1, 13381=1, 13542=1, 13579=1, 13582=1, 13615=1, 13694=1, 13714=1, 13763=1, 13782=1, 13796=1, 13802=1, 13864=1, 13899=1, 13905=1, 13943=1, 13998=1, 14094=1, 14119=1, 14154=1, 14180=1, 14207=1, 14221=1, 14335=1, 14398=1, 14449=1, 14478=1, 14608=1, 14634=1, 14636=1, 14697=1, 14731=1, 14744=1, 14754=1, 14814=1, 14815=1, 15110=1, 15116=1, 15117=1, 15148=1, 15149=1, 15169=1, 15239=1, 15289=1, 15300=1, 15491=1, 15767=1, 15788=1, 15900=1, 15984=1, 16172=1, 16236=1, 16316=1, 16385=1, 16425=1, 16442=1, 16570=1, 16603=1, 16656=1, 16688=1, 16716=1, 16855=1, 16956=1, 17056=1, 17305=1, 17450=1, 17632=1, 17650=1, 17681=1, 17697=1, 17766=1, 17796=1, 17849=1, 17884=1, 18077=1, 18117=1, 18169=1, 18209=1, 18283=1, 18467=1, 18551=1, 18559=1, 18624=1, 18641=1, 18672=1, 18936=1, 19217=1, 19255=1, 19274=1, 19283=1, 19379=1, 19596=1, 19630=1, 19634=1, 19648=1, 19671=1, 19710=1, 19714=1, 19766=1, 19787=1, 19969=1, 20034=1, 20073=1, 20209=1, 20241=1, 20338=1, 20372=1, 20435=1, 20565=1, 20650=1, 20798=1, 20909=1, 21179=1, 21306=1, 21559=1, 21631=1, 21661=1, 21745=1, 21749=1, 21804=1, 22067=1, 22184=1, 22199=1, 22389=1, 22538=1, 22989=1, 23053=1, 23067=1, 23169=1, 23389=1, 23432=1, 23569=1, 23597=1, 23676=1, 23705=1, 23884=1, 23981=1, 24045=1, 24051=1, 24129=1, 24287=1, 24310=1, 24345=1, 24420=1, 24473=1, 24629=1, 24731=1, 24756=1, 24767=1, 24858=1, 24865=1, 25123=1, 25132=1, 25147=1, 25251=1, 25364=1, 25434=1, 25494=1, 25536=1, 25567=1, 25594=1, 25739=1, 25743=1, 25811=1, 25823=1, 25857=1, 25915=1, 26057=1, 26110=1, 26119=1, 26178=1, 26256=1, 26271=1, 26346=1, 26354=1, 26372=1, 26377=1, 26408=1, 26586=1, 26590=1, 26783=1, 26785=1, 27038=1, 27046=1, 27057=1, 27170=1, 27276=1, 27297=1, 27380=1, 27488=1, 27529=1, 27701=1, 27716=1, 27767=1, 27783=1, 27788=1, 27821=1, 27845=1, 28043=1, 28195=1, 28247=1, 28281=1, 28398=1, 28450=1, 28533=1, 28646=1, 28719=1, 28837=1, 28842=1, 28919=1, 28960=1, 28974=1, 29001=1, 29155=1, 29354=1, 29441=1, 29542=1, 30078=1, 30123=1, 30259=1, 30284=1, 30360=1, 30363=1, 30399=1, 30482=1, 30649=1, 30743=1, 30802=1, 30807=1, 30862=1, 30993=1, 31073=1, 31087=1, 31176=1, 31179=1, 31238=1, 31271=1, 31551=1, 31598=1, 31648=1, 31684=1, 31746=1, 31808=1, 31822=1, 31840=1, 31867=1, 31937=1, 32170=1, 32269=1, 32501=1, 32557=1, 32800=1, 32803=1, 32847=1, 32862=1, 32934=1, 32960=1, 33020=1, 33105=1, 33129=1, 33161=1, 33209=1, 33655=1, 33808=1, 34011=1, 34084=1, 34239=1, 34242=1, 34313=1, 34452=1, 34455=1, 34467=1, 34528=1, 34574=1, 34587=1, 34695=1, 34704=1, 34754=1, 34767=1, 34793=1, 34828=1, 34855=1, 34860=1, 35051=1, 35065=1, 35171=1, 35254=1, 35298=1, 35494=1, 35622=1, 35628=1, 35839=1, 36038=1, 36160=1, 36404=1, 36512=1, 36515=1, 36535=1, 36558=1, 36632=1, 36783=1, 36797=1, 36890=1, 37178=1, 37245=1, 37278=1, 37340=1, 37357=1, 37394=1, 37628=1, 37784=1, 37800=1, 37857=1, 37911=1, 37976=1, 37983=1, 38019=1, 38025=1, 38052=1, 38280=1, 38321=1, 38422=1, 38423=1, 38448=1, 38465=1, 38531=1, 38586=1, 38702=1, 38741=1, 38814=1, 39120=1, 39123=1, 39245=1, 39306=1, 39355=1, 39457=1, 39468=1, 39479=1, 39782=1, 39859=1, 39905=1, 39969=1, 39994=1, 40080=1, 40210=1, 40347=1, 40425=1, 40487=1, 40589=1, 40630=1, 40639=1, 40752=1, 40766=1, 40773=1, 40824=1, 40845=1, 41042=1, 41176=1, 41282=1, 41355=1, 41385=1, 41400=1, 41549=1, 41686=1, 41697=1, 41846=1, 41885=1, 42087=1, 42088=1, 42258=1, 42283=1, 42521=1, 42523=1, 42674=1, 42743=1, 42871=1, 42948=1, 43201=1, 43422=1, 43520=1, 43568=1, 43574=1, 44084=1, 44174=1, 44233=1, 44326=1, 44345=1, 44365=1, 44386=1, 44405=1, 44413=1, 44415=1, 44465=1, 44662=1, 44678=1, 44704=1, 44838=1, 44851=1, 44989=1, 45018=1, 45055=1, 45061=1, 45143=1, 45161=1, 45371=1, 45383=1, 45517=1, 45646=1, 45659=1, 45772=1, 45852=1, 45891=1, 45985=1, 46012=1, 46101=1, 46265=1, 46452=1, 46492=1, 46497=1, 46658=1, 46825=1, 46833=1, 46875=1, 46958=1, 47028=1, 47116=1, 47246=1, 47247=1, 47261=1, 47276=1, 47419=1, 47679=1, 47760=1, 47856=1, 47896=1, 48114=1, 48152=1, 48186=1, 48364=1, 48445=1, 48479=1, 48519=1, 48532=1, 48556=1, 48614=1, 48691=1, 48692=1, 48788=1, 48853=1, 48879=1, 48948=1, 49056=1, 49080=1, 49484=1, 49489=1, 49869=1, 49890=1, 50024=1, 50099=1, 50106=1, 50159=1, 50190=1, 50231=1, 50238=1, 50514=1, 50652=1, 50845=1, 50895=1, 50921=1, 51010=1, 51109=1, 51136=1, 51168=1, 51231=1, 51256=1, 51361=1, 51402=1, 51524=1, 51528=1, 51582=1, 51598=1, 51614=1, 51704=1, 51812=1, 51828=1, 51879=1, 51915=1, 51938=1, 52117=1, 52142=1, 52343=1, 52441=1, 52467=1, 52471=1, 52530=1, 52582=1, 52596=1, 52676=1, 52803=1, 52910=1, 53157=1, 53272=1, 53286=1, 53389=1, 53449=1, 53480=1, 53559=1, 53650=1, 53662=1, 53847=1, 53995=1, 54136=1, 54185=1, 54417=1, 54575=1, 54625=1, 54684=1, 54827=1, 54946=1, 55114=1, 55163=1, 55181=1, 55328=1, 55341=1, 55368=1, 55545=1, 55679=1, 55704=1, 55807=1, 55834=1, 55945=1, 55991=1, 56037=1, 56242=1, 56275=1, 56277=1, 56331=1, 56349=1, 56433=1, 56481=1, 56614=1, 56833=1, 57043=1, 57208=1, 57275=1, 57493=1, 57593=1, 57606=1, 57638=1, 57723=1, 57780=1, 57954=1, 57981=1, 58095=1, 58159=1, 58166=1, 58177=1, 58354=1, 58399=1, 58712=1, 59008=1, 59019=1, 59073=1, 59212=1, 59324=1, 59423=1, 59443=1, 59507=1, 59558=1, 59665=1, 59673=1, 59740=1, 59898=1, 59943=1, 59960=1, 59990=1, 60059=1, 60075=1, 60167=1, 60496=1, 60623=1, 60641=1, 60691=1, 60743=1, 60889=1, 61015=1, 61189=1, 61278=1, 61316=1, 61441=1, 61567=1, 61576=1, 61606=1, 61635=1, 61655=1, 61664=1, 61712=1, 61754=1, 62097=1, 62202=1, 62210=1, 62300=1, 62330=1, 62339=1, 62371=1, 62377=1, 62413=1, 62435=1, 62527=1, 62558=1, 62604=1, 62655=1, 62681=1, 62769=1, 62798=1, 62856=1, 62892=1, 63150=1, 63188=1, 63237=1, 63261=1, 63413=1, 63423=1, 63563=1, 63766=1, 63781=1, 63787=1, 63799=1, 63840=1, 63927=1, 64087=1, 64116=1, 64142=1, 64427=1, 64447=1, 64479=1, 64634=1, 64636=1, 64710=1, 64750=1, 64770=1, 64795=1, 64863=1, 65107=1, 65120=1, 65125=1, 65196=1, 65267=1, 65347=1, 65379=1, 65496=1, 65550=1, 65554=1, 65667=1, 65706=1, 65720=1, 65807=1, 65974=1, 66164=1, 66314=1, 66451=1, 66474=1, 66502=1, 66649=1, 66740=1, 66760=1, 66803=1, 66856=1, 66920=1, 67081=1, 67098=1, 67130=1, 67204=1, 67238=1, 67462=1, 67627=1, 67730=1, 67754=1, 67794=1, 67827=1, 67875=1, 67879=1, 67890=1, 67908=1, 68271=1, 68331=1, 68480=1, 68639=1, 68909=1, 68981=1, 68990=1, 69066=1, 69077=1, 69144=1, 69149=1, 69171=1, 69251=1, 69319=1, 69352=1, 69354=1, 69407=1, 69480=1, 69533=1, 69577=1, 69745=1, 69783=1, 69801=1, 69869=1, 69933=1, 69993=1, 70045=1, 70097=1, 70143=1, 70259=1, 70352=1, 70480=1, 70524=1, 70603=1, 70732=1, 70803=1, 70841=1, 70847=1, 70882=1, 70939=1, 71237=1, 71344=1, 71445=1, 71613=1, 71636=1, 71703=1, 71816=1, 71861=1, 71871=1, 71874=1, 71895=1, 71992=1, 72269=1, 72271=1, 72284=1, 72487=1, 72524=1, 72691=1, 72777=1, 72814=1, 72822=1, 72980=1, 73391=1, 73413=1, 73523=1, 73624=1, 73694=1, 73734=1, 73768=1, 73816=1, 73837=1, 74204=1, 74537=1, 74589=1, 74654=1, 74718=1, 74727=1, 74769=1, 74788=1, 74799=1, 75010=1, 75030=1, 75211=1, 75270=1, 75487=1, 75571=1, 75687=1, 75847=1, 75886=1, 75917=1, 76077=1, 76262=1, 76310=1, 76357=1, 76388=1, 76473=1, 76496=1, 76685=1, 76710=1, 76738=1, 76760=1, 76879=1, 76928=1, 76947=1, 77064=1, 77126=1, 77324=1, 77416=1, 77424=1, 77445=1, 77659=1, 77692=1, 77779=1, 77818=1, 77833=1, 77906=1, 77916=1, 77993=1, 78049=1, 78142=1, 78157=1, 78237=1, 78414=1, 78472=1, 78536=1, 78557=1, 78574=1, 78580=1, 78622=1, 78670=1, 78702=1, 78712=1, 78764=1, 78930=1, 78965=1, 79018=1, 79075=1, 79102=1, 79122=1, 79168=1, 79222=1, 79284=1, 79293=1, 79368=1, 79564=1, 79735=1, 79829=1, 79969=1, 80040=1, 80065=1, 80107=1, 80169=1, 80200=1, 80247=1, 80258=1, 80265=1, 80407=1, 80521=1, 80531=1, 80671=1, 80684=1, 80865=1, 80920=1, 80932=1, 80938=1, 80980=1, 81077=1, 81141=1, 81416=1, 81502=1, 81601=1, 81604=1, 81883=1, 81929=1, 81968=1, 82058=1, 82236=1, 82279=1, 82403=1, 82468=1, 82738=1, 82768=1, 82855=1, 82940=1, 83032=1, 83121=1, 83194=1, 83209=1, 83279=1, 83314=1, 83340=1, 83621=1, 83654=1, 83759=1, 83786=1, 83828=1, 83837=1, 84117=1, 84198=1, 84250=1, 84408=1, 84521=1, 84536=1, 84541=1, 84558=1, 84576=1, 84616=1, 84645=1, 84673=1, 84800=1, 84972=1, 85031=1, 85122=1, 85176=1, 85222=1, 85382=1, 85527=1, 85575=1, 85928=1, 86011=1, 86040=1, 86061=1, 86091=1, 86096=1, 86106=1, 86122=1, 86125=1, 86221=1, 86284=1, 86358=1, 86463=1, 86567=1, 86638=1, 86648=1, 86693=1, 86781=1, 86843=1, 86852=1, 86854=1, 86952=1, 87386=1, 87421=1, 87435=1, 87438=1, 87616=1, 87708=1, 87770=1, 87774=1, 87917=1, 88054=1, 88131=1, 88188=1, 88228=1, 88242=1, 88281=1, 88395=1, 88513=1, 88627=1, 88712=1, 88865=1, 88871=1, 88947=1, 88997=1, 89086=1, 89175=1, 89329=1, 89399=1, 89414=1, 89518=1, 89534=1, 89602=1, 89933=1, 90017=1, 90049=1, 90182=1, 90214=1, 90357=1, 90450=1, 90514=1, 90596=1, 91111=1, 91114=1, 91382=1, 91386=1, 91390=1, 91393=1, 91422=1, 91431=1, 91509=1, 91623=1, 91689=1, 91709=1, 91803=1, 91847=1, 91874=1, 91884=1, 92147=1, 92193=1, 92232=1, 92302=1, 92534=1, 92665=1, 92756=1, 92820=1, 92846=1, 92860=1, 92876=1, 93035=1, 93104=1, 93129=1, 93134=1, 93141=1, 93235=1, 93442=1, 93564=1, 93604=1, 93626=1, 93633=1, 93759=1, 93917=1, 93926=1, 94144=1, 94183=1, 94315=1, 94318=1, 94331=1, 94585=1, 94651=1, 94698=1, 94712=1, 94746=1, 94747=1, 94964=1, 95003=1, 95010=1, 95091=1, 95335=1, 95478=1, 95591=1, 95738=1, 95775=1, 96225=1, 96258=1, 96503=1, 96509=1, 96785=1, 96829=1, 96902=1, 96971=1, 97012=1, 97032=1, 97163=1, 97225=1, 97274=1, 97275=1, 97358=1, 97413=1, 97417=1, 97658=1, 97875=1, 97902=1, 97926=1, 98190=1, 98199=1, 98445=1, 98483=1, 98563=1, 98587=1, 98616=1, 98663=1, 98676=1, 98681=1, 99138=1, 99142=1, 99244=1, 99400=1, 99425=1, 99456=1, 99492=1, 99597=1, 99644=1, 99800=1, 99849=1, 100014=1, 100108=1, 100146=1, 100266=1, 100412=1, 100420=1, 100487=1, 100527=1, 100539=1, 100543=1, 100641=1, 100770=1, 100844=1, 100868=1, 100891=1, 100914=1, 101003=1, 101021=1, 101059=1, 101126=1, 101129=1, 101153=1, 101209=1, 101397=1, 101430=1, 101644=1, 101664=1, 101689=1, 101798=1, 101879=1, 102033=1, 102155=1, 102177=1, 102238=1, 102255=1, 102289=1, 102447=1, 102513=1, 102524=1, 102545=1, 102597=1, 102611=1, 102961=1, 103082=1, 103171=1, 103267=1, 103297=1, 103342=1, 103358=1, 103473=1, 103490=1, 103501=1, 103678=1, 103705=1, 103713=1, 103907=1, 103959=1, 104026=1, 104113=1, 104272=1, 104304=1, 104371=1, 104406=1, 104442=1, 104471=1, 104578=1, 104659=1, 104707=1, 104873=1, 105001=1, 105180=1, 105366=1, 105382=1, 105408=1, 105463=1, 105470=1, 105581=1, 105634=1, 105703=1, 105798=1, 105854=1, 105894=1, 106059=1, 106363=1, 106539=1, 106560=1, 106587=1, 106595=1, 106648=1, 106649=1, 106791=1, 107045=1, 107229=1, 107240=1, 107407=1, 107451=1, 107467=1, 107538=1, 107604=1, 107606=1, 107660=1, 107861=1, 107956=1, 107984=1, 108058=1, 108088=1, 108225=1, 108239=1, 108464=1, 108469=1, 108485=1, 108606=1, 108621=1, 108627=1, 108843=1, 109003=1, 109092=1, 109178=1, 109195=1, 109251=1, 109364=1, 109370=1, 109626=1, 109645=1, 109690=1, 109831=1, 109909=1, 109922=1, 110077=1, 110132=1, 110158=1, 110515=1, 110547=1, 110702=1, 110873=1, 110890=1, 111081=1, 111082=1, 111174=1, 111325=1, 111346=1, 111500=1, 111682=1, 111755=1, 111918=1, 111931=1, 112186=1, 112264=1, 112418=1, 112483=1, 112549=1, 112586=1, 112606=1, 112613=1, 112646=1, 112725=1, 112739=1, 112844=1, 112894=1, 112917=1, 112982=1, 112986=1, 113150=1, 113189=1, 113191=1, 113223=1, 113412=1, 113572=1, 113708=1, 113713=1, 113799=1, 113813=1, 113863=1, 114072=1, 114159=1, 114213=1, 114236=1, 114253=1, 114340=1, 114433=1, 114499=1, 114732=1, 114741=1, 114888=1, 114889=1, 115019=1, 115026=1, 115065=1, 115145=1, 115390=1, 115639=1, 115646=1, 115672=1, 115687=1, 115788=1, 115801=1, 115924=1, 115991=1, 116042=1, 116054=1, 116104=1, 116248=1, 116303=1, 116341=1, 116389=1, 116415=1, 116669=1, 116704=1, 116720=1, 116733=1, 116832=1, 116845=1, 116863=1, 116988=1, 117053=1, 117201=1, 117255=1, 117468=1, 117593=1, 117617=1, 117680=1, 117996=1, 118008=1, 118133=1, 118270=1, 118275=1, 118278=1, 118283=1, 118387=1, 118408=1, 118766=1, 118824=1, 118830=1, 119196=1, 119242=1, 119508=1, 119519=1, 119607=1, 119827=1, 119838=1, 119858=1, 119876=1, 119897=1, 119950=1, 120089=1, 120104=1, 120113=1, 120187=1, 120251=1, 120378=1, 120429=1, 120470=1, 120587=1, 120628=1, 120726=1, 120764=1, 120837=1, 120863=1, 121121=1, 121281=1, 121384=1, 121385=1, 121617=1, 121653=1, 121659=1, 121948=1, 121993=1, 122018=1, 122076=1, 122123=1, 122210=1, 122281=1, 122319=1, 122417=1, 122446=1, 122456=1, 122462=1, 122561=1, 122671=1, 122741=1, 122759=1, 122811=1, 122868=1, 122976=1, 123233=1, 123619=1, 123737=1, 123756=1, 123875=1, 123992=1, 124124=1, 124190=1, 124266=1, 124275=1, 124386=1, 124518=1, 124542=1, 124632=1, 124652=1, 124665=1, 124699=1, 124914=1, 124977=1, 125116=1, 125212=1, 125238=1, 125325=1, 125404=1, 125502=1, 125684=1, 125905=1, 126050=1, 126056=1, 126128=1, 126200=1, 126217=1, 126224=1, 126286=1, 126305=1, 126306=1, 126323=1, 126330=1, 126342=1, 126346=1, 126534=1, 126634=1, 126706=1, 126710=1, 126858=1, 126898=1, 126996=1, 127073=1, 127134=1, 127315=1, 127428=1}
Interrupted probabilistic random walk after 2659 steps, run timeout after 30011 ms. (steps per millisecond=0 ) properties seen :{47=1, 238=1, 630=1, 647=1, 702=1, 769=1, 2117=1, 3750=1, 4018=1, 5026=1, 5066=1, 5184=1, 5382=1, 6148=1, 7815=1, 7980=1, 8024=1, 8451=1, 9995=1, 10321=1, 10558=1, 11094=1, 11601=1, 13066=1, 14355=1, 14368=1, 14674=1, 15088=1, 15768=1, 17286=1, 18558=1, 18948=1, 19063=1, 20068=1, 20229=1, 20983=1, 21219=1, 21304=1, 21878=1, 24558=1, 24913=1, 25652=1, 26202=1, 26598=1, 27763=1, 27997=1, 28921=1, 29506=1, 30413=1, 30858=1, 32218=1, 32699=1, 33156=1, 33731=1, 34492=1, 34598=1, 35041=1, 35317=1, 38875=1, 39785=1, 40011=1, 40649=1, 41039=1, 41109=1, 44384=1, 44517=1, 48340=1, 48371=1, 51065=1, 51791=1, 51846=1, 52806=1, 54095=1, 55276=1, 55658=1, 56259=1, 57314=1, 57626=1, 57705=1, 58605=1, 59913=1, 60550=1, 62211=1, 65849=1, 66084=1, 66318=1, 67339=1, 67406=1, 67498=1, 68965=1, 69704=1, 69812=1, 70315=1, 71177=1, 71596=1, 71701=1, 72071=1, 72710=1, 73001=1, 75287=1, 75289=1, 75615=1, 75632=1, 75848=1, 77124=1, 78821=1, 79023=1, 79590=1, 80400=1, 80591=1, 80988=1, 81364=1, 83302=1, 84005=1, 85082=1, 85096=1, 85135=1, 85850=1, 85937=1, 86788=1, 87105=1, 88049=1, 92472=1, 93082=1, 93513=1, 95261=1, 95421=1, 95631=1, 95929=1, 97215=1, 99122=1, 99975=1, 100489=1, 100559=1, 100613=1, 101499=1, 101555=1, 101624=1, 102354=1, 103536=1, 104167=1, 104861=1, 105772=1, 105858=1, 106578=1, 106977=1, 107337=1, 107489=1, 108814=1, 108978=1, 109109=1, 109599=1, 109843=1, 110430=1, 113051=1, 113381=1, 115562=1, 116530=1, 117372=1, 117828=1, 118326=1, 118362=1, 119283=1, 120165=1, 121826=1, 122561=1, 123701=1, 124098=1, 124496=1, 124662=1, 125261=1}
Probabilistic random walk after 2659 steps, saw 2540 distinct states, run finished after 30014 ms. (steps per millisecond=0 ) properties seen :{47=1, 238=1, 630=1, 647=1, 702=1, 769=1, 2117=1, 3750=1, 4018=1, 5026=1, 5066=1, 5184=1, 5382=1, 6148=1, 7815=1, 7980=1, 8024=1, 8451=1, 9995=1, 10321=1, 10558=1, 11094=1, 11601=1, 13066=1, 14355=1, 14368=1, 14674=1, 15088=1, 15768=1, 17286=1, 18558=1, 18948=1, 19063=1, 20068=1, 20229=1, 20983=1, 21219=1, 21304=1, 21878=1, 24558=1, 24913=1, 25652=1, 26202=1, 26598=1, 27763=1, 27997=1, 28921=1, 29506=1, 30413=1, 30858=1, 32218=1, 32699=1, 33156=1, 33731=1, 34492=1, 34598=1, 35041=1, 35317=1, 38875=1, 39785=1, 40011=1, 40649=1, 41039=1, 41109=1, 44384=1, 44517=1, 48340=1, 48371=1, 51065=1, 51791=1, 51846=1, 52806=1, 54095=1, 55276=1, 55658=1, 56259=1, 57314=1, 57626=1, 57705=1, 58605=1, 59913=1, 60550=1, 62211=1, 65849=1, 66084=1, 66318=1, 67339=1, 67406=1, 67498=1, 68965=1, 69704=1, 69812=1, 70315=1, 71177=1, 71596=1, 71701=1, 72071=1, 72710=1, 73001=1, 75287=1, 75289=1, 75615=1, 75632=1, 75848=1, 77124=1, 78821=1, 79023=1, 79590=1, 80400=1, 80591=1, 80988=1, 81364=1, 83302=1, 84005=1, 85082=1, 85096=1, 85135=1, 85850=1, 85937=1, 86788=1, 87105=1, 88049=1, 92472=1, 93082=1, 93513=1, 95261=1, 95421=1, 95631=1, 95929=1, 97215=1, 99122=1, 99975=1, 100489=1, 100559=1, 100613=1, 101499=1, 101555=1, 101624=1, 102354=1, 103536=1, 104167=1, 104861=1, 105772=1, 105858=1, 106578=1, 106977=1, 107337=1, 107489=1, 108814=1, 108978=1, 109109=1, 109599=1, 109843=1, 110430=1, 113051=1, 113381=1, 115562=1, 116530=1, 117372=1, 117828=1, 118326=1, 118362=1, 119283=1, 120165=1, 121826=1, 122561=1, 123701=1, 124098=1, 124496=1, 124662=1, 125261=1}
Running SMT prover for 125774 properties.
// Phase 1: matrix 127551 rows 2601 cols
[2022-05-21 08:45:27] [INFO ] Computed 51 place invariants in 420 ms
[2022-05-21 08:45:53] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 125774 Parikh solutions to 1 different solutions.
Support contains 2601 out of 2601 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2601/2601 places, 127551/127551 transitions.
Applied a total of 0 rules in 744 ms. Remains 2601 /2601 variables (removed 0) and now considering 127551/127551 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 2601/2601 places, 127551/127551 transitions.
[2022-05-21 08:45:59] [INFO ] Flatten gal took : 4024 ms
[2022-05-21 08:46:03] [INFO ] Flatten gal took : 3329 ms
[2022-05-21 08:46:03] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17247703467341255659.gal : 342 ms
[2022-05-21 08:46:03] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16753203902381570208.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/ReachabilityCardinality17247703467341255659.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality16753203902381570208.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/ReachabilityCardinality17247703467341255659.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality16753203902381570208.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2022-05-21 08:46:23] [INFO ] Flatten gal took : 3357 ms
[2022-05-21 08:46:23] [INFO ] Applying decomposition
[2022-05-21 08:46:26] [INFO ] Flatten gal took : 3565 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/graph2564187129448679551.txt, -o, /tmp/graph2564187129448679551.bin, -w, /tmp/graph2564187129448679551.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/graph2564187129448679551.bin, -l, -1, -v, -w, /tmp/graph2564187129448679551.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-21 08:46:34] [INFO ] Decomposing Gal with order
[2022-05-21 08:46:34] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 08:46:48] [INFO ] Removed a total of 303506 redundant transitions.
[2022-05-21 08:46:50] [INFO ] Flatten gal took : 6849 ms
[2022-05-21 08:48:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 820 labels/synchronizations in 5931 ms.
[2022-05-21 08:48:12] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality18107866064316540739.gal : 483 ms
[2022-05-21 08:48:13] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality17847820932024625266.prop : 322 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/ReachabilityCardinality18107866064316540739.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality17847820932024625266.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/ReachabilityCardinality18107866064316540739.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality17847820932024625266.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin16281617246865773218
[2022-05-21 08:48:30] [INFO ] Built C files in 1630ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin16281617246865773218
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/ltsmin16281617246865773218]
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/ltsmin16281617246865773218] 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/ltsmin16281617246865773218] 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 2972 steps, including 0 resets, run timeout after 30006 ms. (steps per millisecond=0 ) properties seen :{6=1, 83=1, 269=1, 334=1, 409=1, 590=1, 681=1, 786=1, 824=1, 833=1, 902=1, 1072=1, 1085=1, 1103=1, 1299=1, 1333=1, 1489=1, 1562=1, 1693=1, 1694=1, 1705=1, 1810=1, 1870=1, 1878=1, 2145=1, 2169=1, 2309=1, 2354=1, 2370=1, 2402=1, 2500=1, 2581=1, 2588=1, 2598=1, 2606=1, 2627=1, 2636=1, 2710=1, 3033=1, 3057=1, 3172=1, 3480=1, 3523=1, 3542=1, 3598=1, 3691=1, 3722=1, 3725=1, 3782=1, 3787=1, 3794=1, 3801=1, 3917=1, 3930=1, 4087=1, 4142=1, 4279=1, 4283=1, 4309=1, 4342=1, 4544=1, 4746=1, 4943=1, 4963=1, 4971=1, 4987=1, 5015=1, 5125=1, 5129=1, 5163=1, 5164=1, 5169=1, 5216=1, 5237=1, 5242=1, 5324=1, 5397=1, 5422=1, 5452=1, 5496=1, 5783=1, 5812=1, 5940=1, 5968=1, 6118=1, 6235=1, 6322=1, 6399=1, 6419=1, 6463=1, 6524=1, 6570=1, 6594=1, 6633=1, 6693=1, 6750=1, 6770=1, 6906=1, 6941=1, 6978=1, 7008=1, 7028=1, 7057=1, 7286=1, 7289=1, 7307=1, 7445=1, 7452=1, 7502=1, 7679=1, 7729=1, 7777=1, 7835=1, 7990=1, 8049=1, 8068=1, 8276=1, 8287=1, 8351=1, 8357=1, 8368=1, 8404=1, 8781=1, 8796=1, 8949=1, 9047=1, 9220=1, 9340=1, 9356=1, 9534=1, 9586=1, 9591=1, 9612=1, 9752=1, 9777=1, 9825=1, 9853=1, 10010=1, 10082=1, 10225=1, 10644=1, 10680=1, 10688=1, 10744=1, 10771=1, 11000=1, 11005=1, 11191=1, 11233=1, 11402=1, 11568=1, 11574=1, 11620=1, 11638=1, 11712=1, 11914=1, 12056=1, 12150=1, 12246=1, 12507=1, 12514=1, 12621=1, 12797=1, 12871=1, 12930=1, 13064=1, 13069=1, 13112=1, 13117=1, 13167=1, 13210=1, 13266=1, 13268=1, 13405=1, 13567=1, 13569=1, 13595=1, 13659=1, 13677=1, 13827=1, 13891=1, 14080=1, 14165=1, 14179=1, 14277=1, 14279=1, 14406=1, 14641=1, 14763=1, 14844=1, 14852=1, 14912=1, 15060=1, 15078=1, 15436=1, 15491=1, 15528=1, 15644=1, 15897=1, 15898=1, 15921=1, 16070=1, 16349=1, 16375=1, 16412=1, 16417=1, 16439=1, 16535=1, 16586=1, 16670=1, 16989=1, 17163=1, 17179=1, 17196=1, 17257=1, 17262=1, 17529=1, 17538=1, 17641=1, 17746=1, 17799=1, 17832=1, 17881=1, 17922=1, 17947=1, 18012=1, 18074=1, 18075=1, 18098=1, 18115=1, 18127=1, 18180=1, 18206=1, 18274=1, 18439=1, 18479=1, 18531=1, 18599=1, 18646=1, 18650=1, 18808=1, 18846=1, 18861=1, 18914=1, 18989=1, 19096=1, 19235=1, 19271=1, 19343=1, 19417=1, 19445=1, 19475=1, 19758=1, 19821=1, 19823=1, 19837=1, 19889=1, 19894=1, 20021=1, 20024=1, 20090=1, 20100=1, 20125=1, 20224=1, 20240=1, 20322=1, 20349=1, 20407=1, 20489=1, 20569=1, 20701=1, 20719=1, 20725=1, 20766=1, 20910=1, 21257=1, 21516=1, 21538=1, 21739=1, 21779=1, 21794=1, 21797=1, 21823=1, 21987=1, 22029=1, 22098=1, 22122=1, 22206=1, 22221=1, 22366=1, 22388=1, 22402=1, 22438=1, 22441=1, 22466=1, 22494=1, 22501=1, 22537=1, 22571=1, 22588=1, 22635=1, 22673=1, 22710=1, 22834=1, 22955=1, 23220=1, 23276=1, 23315=1, 23359=1, 23383=1, 23627=1, 23635=1, 23690=1, 23721=1, 23784=1, 23840=1, 23866=1, 23897=1, 23911=1, 23962=1, 24070=1, 24109=1, 24238=1, 24313=1, 25011=1, 25025=1, 25067=1, 25197=1, 25284=1, 25379=1, 25396=1, 25543=1, 25591=1, 25745=1, 25792=1, 25801=1, 25887=1, 25917=1, 26230=1, 26240=1, 26369=1, 26397=1, 26473=1, 26475=1, 26539=1, 26551=1, 26767=1, 26880=1, 27211=1, 27373=1, 27378=1, 27440=1, 27443=1, 27518=1, 27702=1, 27764=1, 27890=1, 28145=1, 28148=1, 28237=1, 28243=1, 28330=1, 28420=1, 28425=1, 28433=1, 28468=1, 28563=1, 28596=1, 28685=1, 28732=1, 28758=1, 28824=1, 28865=1, 28869=1, 28883=1, 28886=1, 28893=1, 29013=1, 29060=1, 29247=1, 29369=1, 29372=1, 29470=1, 29565=1, 29633=1, 29639=1, 29654=1, 29683=1, 29788=1, 29842=1, 29952=1, 30046=1, 30194=1, 30232=1, 30380=1, 30419=1, 30654=1, 30749=1, 30867=1, 30908=1, 30940=1, 30991=1, 31021=1, 31239=1, 31256=1, 31261=1, 31424=1, 31448=1, 31476=1, 31638=1, 31807=1, 31823=1, 31860=1, 31984=1, 32072=1, 32113=1, 32218=1, 32296=1, 32364=1, 32403=1, 32451=1, 32619=1, 32645=1, 32706=1, 33124=1, 33227=1, 33298=1, 33358=1, 33376=1, 33440=1, 33473=1, 33491=1, 33519=1, 33564=1, 33607=1, 33687=1, 33721=1, 33738=1, 33749=1, 33753=1, 33765=1, 34042=1, 34147=1, 34236=1, 34367=1, 34385=1, 34474=1, 34581=1, 34672=1, 34698=1, 34806=1, 34856=1, 34961=1, 34972=1, 34985=1, 35016=1, 35167=1, 35182=1, 35225=1, 35304=1, 35314=1, 35328=1, 35401=1, 35422=1, 35426=1, 35524=1, 35638=1, 35644=1, 35737=1, 35774=1, 35860=1, 35894=1, 35896=1, 36343=1, 36363=1, 36539=1, 36773=1, 36831=1, 36873=1, 36874=1, 36920=1, 37023=1, 37129=1, 37419=1, 37524=1, 37526=1, 37535=1, 37559=1, 37622=1, 37654=1, 37703=1, 37777=1, 37982=1, 38011=1, 38029=1, 38174=1, 38214=1, 38388=1, 38415=1, 38437=1, 38566=1, 38765=1, 38826=1, 38938=1, 39192=1, 39257=1, 39355=1, 39460=1, 39556=1, 39740=1, 39798=1, 39803=1, 39809=1, 39850=1, 39894=1, 40030=1, 40081=1, 40086=1, 40093=1, 40226=1, 40266=1, 40290=1, 40487=1, 40637=1, 40755=1, 40804=1, 40850=1, 40897=1, 40916=1, 41007=1, 41032=1, 41236=1, 41282=1, 41331=1, 41527=1, 41531=1, 41538=1, 41708=1, 41724=1, 41880=1, 41958=1, 42075=1, 42143=1, 42165=1, 42262=1, 42283=1, 42323=1, 42391=1, 42597=1, 42656=1, 42806=1, 42834=1, 42844=1, 42873=1, 42910=1, 42925=1, 43206=1, 43364=1, 43484=1, 43498=1, 43686=1, 44013=1, 44054=1, 44055=1, 44079=1, 44396=1, 44530=1, 44579=1, 44597=1, 44641=1, 44652=1, 44669=1, 44674=1, 44826=1, 44869=1, 44880=1, 44889=1, 44955=1, 44987=1, 45003=1, 45026=1, 45139=1, 45178=1, 45199=1, 45244=1, 45303=1, 45340=1, 45640=1, 45681=1, 45874=1, 45968=1, 46018=1, 46080=1, 46154=1, 46169=1, 46227=1, 46281=1, 46476=1, 46743=1, 46814=1, 46909=1, 46921=1, 46956=1, 46973=1, 47003=1, 47232=1, 47367=1, 47409=1, 47572=1, 47721=1, 47789=1, 47877=1, 47959=1, 47968=1, 48047=1, 48085=1, 48097=1, 48388=1, 48491=1, 48704=1, 48707=1, 48734=1, 48862=1, 49018=1, 49041=1, 49056=1, 49222=1, 49269=1, 49282=1, 49476=1, 49696=1, 49716=1, 49734=1, 49824=1, 49932=1, 49958=1, 50017=1, 50106=1, 50157=1, 50222=1, 50278=1, 50316=1, 50339=1, 50380=1, 50395=1, 50463=1, 50650=1, 50663=1, 50752=1, 50797=1, 50960=1, 50999=1, 51072=1, 51076=1, 51095=1, 51107=1, 51135=1, 51193=1, 51260=1, 51349=1, 51351=1, 51406=1, 51429=1, 51524=1, 51657=1, 51818=1, 51935=1, 52019=1, 52106=1, 52166=1, 52246=1, 52365=1, 52509=1, 52531=1, 52580=1, 52592=1, 52747=1, 52810=1, 53026=1, 53136=1, 53248=1, 53342=1, 53431=1, 53501=1, 53507=1, 53550=1, 53639=1, 53739=1, 53806=1, 53875=1, 53906=1, 54112=1, 54129=1, 54307=1, 54744=1, 54764=1, 54855=1, 55057=1, 55067=1, 55088=1, 55421=1, 55602=1, 55684=1, 55693=1, 55696=1, 55871=1, 56059=1, 56077=1, 56089=1, 56115=1, 56149=1, 56203=1, 56277=1, 56293=1, 56299=1, 56391=1, 56430=1, 56460=1, 56518=1, 56607=1, 56755=1, 56798=1, 56952=1, 56980=1, 57019=1, 57081=1, 57161=1, 57182=1, 57185=1, 57213=1, 57253=1, 57311=1, 57389=1, 57650=1, 57714=1, 57787=1, 58050=1, 58149=1, 58254=1, 58333=1, 58342=1, 58394=1, 58599=1, 58613=1, 58636=1, 58798=1, 58859=1, 58882=1, 58937=1, 59099=1, 59132=1, 59174=1, 59181=1, 59361=1, 59413=1, 59424=1, 59519=1, 59710=1, 59854=1, 59934=1, 60016=1, 60081=1, 60145=1, 60192=1, 60261=1, 60578=1, 60588=1, 60599=1, 60612=1, 60620=1, 60669=1, 60806=1, 60846=1, 60886=1, 60960=1, 61033=1, 61259=1, 61548=1, 61586=1, 61603=1, 61712=1, 61762=1, 61796=1, 61849=1, 61870=1, 61892=1, 61956=1, 62037=1, 62061=1, 62066=1, 62117=1, 62557=1, 62711=1, 62754=1, 62766=1, 62812=1, 62917=1, 63651=1, 63741=1, 63879=1, 63924=1, 64001=1, 64084=1, 64258=1, 64332=1, 64351=1, 64417=1, 64570=1, 64638=1, 64643=1, 64700=1, 64742=1, 64787=1, 64806=1, 64891=1, 64945=1, 65250=1, 65254=1, 65301=1, 65403=1, 65663=1, 65666=1, 65900=1, 65924=1, 65945=1, 66009=1, 66075=1, 66163=1, 66219=1, 66239=1, 66255=1, 66364=1, 66371=1, 66461=1, 66523=1, 66622=1, 66705=1, 66755=1, 66953=1, 67079=1, 67231=1, 67318=1, 67356=1, 67365=1, 67974=1, 68101=1, 68102=1, 68167=1, 68170=1, 68304=1, 68374=1, 68535=1, 68545=1, 68582=1, 68705=1, 68778=1, 68838=1, 68866=1, 68869=1, 68886=1, 68940=1, 68997=1, 69158=1, 69247=1, 69373=1, 69577=1, 69582=1, 69795=1, 69986=1, 70001=1, 70019=1, 70355=1, 70465=1, 70479=1, 70624=1, 70668=1, 70671=1, 70891=1, 70977=1, 70985=1, 71479=1, 71526=1, 71539=1, 71590=1, 71700=1, 71855=1, 71909=1, 72000=1, 72128=1, 72169=1, 72187=1, 72192=1, 72377=1, 72443=1, 72541=1, 72581=1, 72621=1, 72856=1, 72860=1, 73027=1, 73052=1, 73147=1, 73154=1, 73247=1, 73400=1, 73468=1, 73498=1, 73620=1, 73641=1, 73664=1, 73704=1, 73836=1, 73978=1, 74031=1, 74068=1, 74123=1, 74402=1, 74456=1, 74655=1, 74864=1, 74888=1, 74914=1, 75315=1, 75366=1, 75371=1, 75398=1, 75571=1, 75614=1, 75894=1, 75947=1, 76019=1, 76027=1, 76032=1, 76114=1, 76132=1, 76193=1, 76290=1, 76345=1, 76450=1, 76461=1, 76533=1, 76590=1, 76607=1, 76650=1, 76651=1, 76681=1, 77000=1, 77056=1, 77098=1, 77203=1, 77252=1, 77416=1, 77427=1, 77556=1, 77566=1, 77603=1, 77609=1, 77639=1, 77670=1, 77745=1, 77766=1, 77870=1, 77875=1, 77896=1, 78026=1, 78093=1, 78138=1, 78225=1, 78228=1, 78388=1, 78528=1, 78595=1, 78639=1, 78651=1, 78697=1, 78762=1, 78816=1, 78924=1, 79009=1, 79149=1, 79189=1, 79310=1, 79337=1, 79362=1, 79365=1, 79456=1, 79523=1, 79663=1, 79841=1, 79936=1, 80013=1, 80166=1, 80180=1, 80272=1, 80297=1, 80372=1, 80397=1, 80541=1, 80594=1, 80909=1, 80917=1, 80920=1, 80921=1, 80940=1, 80970=1, 81008=1, 81055=1, 81114=1, 81137=1, 81167=1, 81212=1, 81239=1, 81362=1, 81422=1, 81634=1, 81797=1, 81853=1, 81908=1, 82159=1, 82206=1, 82207=1, 82239=1, 82296=1, 82555=1, 82637=1, 82692=1, 83021=1, 83055=1, 83106=1, 83145=1, 83320=1, 83322=1, 83467=1, 83557=1, 83718=1, 83822=1, 83898=1, 84001=1, 84087=1, 84113=1, 84233=1, 84273=1, 84408=1, 84412=1, 84510=1, 84588=1, 84776=1, 84796=1, 84866=1, 84891=1, 84926=1, 85024=1, 85076=1, 85275=1, 85290=1, 85556=1, 85584=1, 85657=1, 85854=1, 85882=1, 85922=1, 85986=1, 86015=1, 86041=1, 86111=1, 86266=1, 86269=1, 86334=1, 86390=1, 86500=1, 86523=1, 86536=1, 86559=1, 86864=1, 86866=1, 86896=1, 86974=1, 87053=1, 87122=1, 87175=1, 87327=1, 87358=1, 87435=1, 87452=1, 87564=1, 87686=1, 87700=1, 88176=1, 88210=1, 88215=1, 88252=1, 88334=1, 88405=1, 88543=1, 88630=1, 88816=1, 88992=1, 89080=1, 89158=1, 89239=1, 89346=1, 89404=1, 89496=1, 89519=1, 89596=1, 89693=1, 89732=1, 89880=1, 89906=1, 89992=1, 89999=1, 90113=1, 90279=1, 90292=1, 90296=1, 90353=1, 90361=1, 90366=1, 90464=1, 90538=1, 90844=1, 90889=1, 90895=1, 90940=1, 91014=1, 91263=1, 91318=1, 91374=1, 91462=1, 91513=1, 91708=1, 91748=1, 91902=1, 92114=1, 92265=1, 92279=1, 92354=1, 92391=1, 92398=1, 92411=1, 92454=1, 92566=1, 92580=1, 92639=1, 92691=1, 92733=1, 92909=1, 93018=1, 93089=1, 93175=1, 93184=1, 93202=1, 93248=1, 93287=1, 93442=1, 93681=1, 93691=1, 93785=1, 93796=1, 93807=1, 93846=1, 93889=1, 93926=1, 94044=1, 94305=1, 94360=1, 94437=1, 94548=1, 94656=1, 94694=1, 94886=1, 94945=1, 95116=1, 95336=1, 95449=1, 95567=1, 95593=1, 95630=1, 95652=1, 95814=1, 95855=1, 96158=1, 96175=1, 96277=1, 96543=1, 96588=1, 96621=1, 96692=1, 96743=1, 96870=1, 96874=1, 96976=1, 97005=1, 97191=1, 97213=1, 97317=1, 97560=1, 97563=1, 97635=1, 97757=1, 97900=1, 98115=1, 98134=1, 98161=1, 98186=1, 98324=1, 98527=1, 98811=1, 98901=1, 99188=1, 99304=1, 99354=1, 99378=1, 99462=1, 99628=1, 99648=1, 99754=1, 99763=1, 99838=1, 100053=1, 100064=1, 100398=1, 100434=1, 100477=1, 100487=1, 100699=1, 100773=1, 100819=1, 100903=1, 100944=1, 101109=1, 101132=1, 101202=1, 101227=1, 101394=1, 101395=1, 101699=1, 101720=1, 101771=1, 101990=1, 102105=1, 102132=1, 102324=1, 102397=1, 102557=1, 102663=1, 102736=1, 102809=1, 102866=1, 102938=1, 103073=1, 103105=1, 103218=1, 103287=1, 103429=1, 103525=1, 103572=1, 103608=1, 103784=1, 103817=1, 103821=1, 103838=1, 103942=1, 103966=1, 104013=1, 104108=1, 104139=1, 104226=1, 104397=1, 104463=1, 104601=1, 104703=1, 104954=1, 105006=1, 105022=1, 105209=1, 105491=1, 105700=1, 105816=1, 106293=1, 106294=1, 106361=1, 106736=1, 106837=1, 106918=1, 106992=1, 107099=1, 107189=1, 107221=1, 107225=1, 107322=1, 107547=1, 107599=1, 107647=1, 107685=1, 107795=1, 107895=1, 108016=1, 108122=1, 108148=1, 108342=1, 108380=1, 108468=1, 108611=1, 108678=1, 108679=1, 108702=1, 108770=1, 108805=1, 108814=1, 108883=1, 109015=1, 109084=1, 109123=1, 109168=1, 109286=1, 109312=1, 109319=1, 109413=1, 109501=1, 109573=1, 109684=1, 109742=1, 109745=1, 109746=1, 109822=1, 109878=1, 109912=1, 109936=1, 109975=1, 109978=1, 109983=1, 110048=1, 110174=1, 110267=1, 110278=1, 110371=1, 110515=1, 110611=1, 110709=1, 110718=1, 110876=1, 110939=1, 110941=1, 111013=1, 111082=1, 111116=1, 111177=1, 111285=1, 111305=1, 111329=1, 111334=1, 111421=1, 111472=1, 111592=1, 111599=1, 111605=1, 111664=1, 111694=1, 111762=1, 111767=1, 111889=1, 112168=1, 112193=1, 112279=1, 112485=1, 112571=1, 112621=1, 112702=1, 112708=1, 112719=1, 112739=1, 112819=1, 112888=1, 112894=1, 112904=1, 113079=1, 113088=1, 113097=1, 113211=1, 113289=1, 113317=1, 113368=1, 113370=1, 113499=1, 113515=1, 113631=1, 113647=1, 113653=1, 113693=1, 113795=1, 113826=1, 113960=1, 114165=1, 114300=1, 114586=1, 114638=1, 114664=1, 114690=1, 114692=1, 114739=1, 114761=1, 114814=1, 114923=1, 114998=1, 115049=1, 115127=1, 115156=1, 115351=1, 115373=1, 115437=1, 115466=1, 115477=1, 115518=1, 115645=1, 115660=1, 115707=1, 115939=1, 115961=1, 116066=1, 116168=1, 116230=1, 116308=1, 116389=1, 116459=1, 116579=1, 116605=1, 116666=1, 116801=1, 116889=1, 117076=1, 117134=1, 117136=1, 117174=1, 117210=1, 117542=1, 117586=1, 117629=1, 117708=1, 117718=1, 117768=1, 117782=1, 117893=1, 118106=1, 118226=1, 118325=1, 118409=1, 118507=1, 118510=1, 118553=1, 118586=1, 118818=1, 118936=1, 119024=1, 119156=1, 119389=1, 119487=1, 119625=1, 119629=1, 119734=1, 119815=1, 119819=1, 119998=1, 120166=1, 120247=1, 120358=1, 120503=1, 120554=1, 120653=1, 120785=1, 120797=1, 120988=1, 121164=1, 121167=1, 121173=1, 121304=1, 121333=1, 121404=1, 121488=1, 121775=1, 122189=1, 122228=1, 122274=1, 122324=1, 122329=1, 122372=1, 122416=1, 122452=1, 122460=1, 122586=1, 122621=1, 122737=1, 122807=1, 123145=1, 123214=1, 123259=1, 123571=1, 123587=1, 123655=1, 123797=1, 123960=1, 124037=1, 124295=1, 124360=1, 124686=1, 124743=1, 124915=1, 124917=1, 124920=1, 124939=1, 125043=1, 125096=1, 125172=1, 125220=1, 125233=1, 125354=1, 125416=1, 125506=1, 125550=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 234 ms. (steps per millisecond=4 ) properties (out of 124255) 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 124254) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 230 ms. (steps per millisecond=4 ) properties (out of 124253) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 230 ms. (steps per millisecond=4 ) properties (out of 124252) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 232 ms. (steps per millisecond=4 ) properties (out of 124250) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 236 ms. (steps per millisecond=4 ) properties (out of 124249) 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 124249) 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 124249) 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 124249) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 230 ms. (steps per millisecond=4 ) properties (out of 124248) 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 124247) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 230 ms. (steps per millisecond=4 ) properties (out of 124246) 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 124246) 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 124246) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 230 ms. (steps per millisecond=4 ) properties (out of 124242) 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 124241) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 231 ms. (steps per millisecond=4 ) properties (out of 124240) 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 124240) 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 124240) 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 124240) 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 124240) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 234 ms. (steps per millisecond=4 ) properties (out of 124237) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 231 ms. (steps per millisecond=4 ) properties (out of 124236) 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 124236) 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 124236) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 233 ms. (steps per millisecond=4 ) properties (out of 124234) 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 124234) 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 124234) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 229 ms. (steps per millisecond=4 ) properties (out of 124233) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 230 ms. (steps per millisecond=4 ) properties (out of 124231) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 229 ms. (steps per millisecond=4 ) properties (out of 124230) 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 124230) 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 124230) 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 124230) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 232 ms. (steps per millisecond=4 ) properties (out of 124228) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 231 ms. (steps per millisecond=4 ) properties (out of 124227) 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 124227) 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 124227) 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 124227) 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 124227) 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 124227) 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 124227) 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 124225) 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 124224) 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 124224) 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 124224) 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 124224) 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 124224) 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 124224) 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 124224) 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 124224) 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 124224) 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 124224) 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 124223) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 236 ms. (steps per millisecond=4 ) properties (out of 124222) 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 124222) 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 124221) 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 124220) 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 124220) 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 124218) 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 124217) 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 124217) 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 124217) 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 124217) 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 124217) 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 124217) 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 124216) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 233 ms. (steps per millisecond=4 ) properties (out of 124213) 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 124212) 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 124211) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 238 ms. (steps per millisecond=4 ) properties (out of 124210) 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 124210) 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 124210) 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 124210) 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 124210) 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 124210) 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 124210) 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 124210) 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 124210) 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 124210) 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 124210) 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 124210) 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 124210) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 236 ms. (steps per millisecond=4 ) properties (out of 124209) 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 124209) 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 124209) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 236 ms. (steps per millisecond=4 ) properties (out of 124208) 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 124208) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 290 ms. (steps per millisecond=3 ) properties (out of 124207) 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 124207) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 280 ms. (steps per millisecond=3 ) properties (out of 124206) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 279 ms. (steps per millisecond=3 ) properties (out of 124206) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 283 ms. (steps per millisecond=3 ) properties (out of 124206) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 264 ms. (steps per millisecond=3 ) properties (out of 124206) 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 124205) 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 124205) 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 124205) 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 124205) 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 124205) 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 124205) 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 124205) 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 124205) 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 124204) 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 124204) 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 124204) 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 124204) 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 124204) 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 124204) 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 124204) 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 124204) 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 124204) 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 124204) 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 124204) 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 124204) 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 124204) 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 124203) 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 124203) 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 124203) 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 124203) 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 124203) 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 124203) 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 124203) 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 124203) 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 124203) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 231 ms. (steps per millisecond=4 ) properties (out of 124201) 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 124200) 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 124200) 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 124199) 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 124198) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 230 ms. (steps per millisecond=4 ) properties (out of 124197) 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 124197) 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 124197) 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 124196) 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 124196) 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 124196) 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 124195) 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 124195) 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 124195) 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 124195) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 241 ms. (steps per millisecond=4 ) properties (out of 124194) 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 124194) 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 124194) 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 124194) 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 124194) 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 124194) 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 124194) 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 124194) 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 124194) 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 124194) 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 124194) 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 124194) 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 124193) 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 124193) 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 124193) 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 124193) 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 124193) 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 124193) 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 124193) 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 124193) 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 124193) 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 124193) 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 124193) 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 124193) 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 124193) 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 124192) 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 124192) 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 124192) 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 124192) 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 124192) 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 124191) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 285 ms. (steps per millisecond=3 ) properties (out of 124190) 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 124190) 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 124190) 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 124190) 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 124190) 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 124190) 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 124190) 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 124190) 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 124190) 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 124190) 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 124190) 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 124190) 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 124190) 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 124190) 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 124190) 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 124190) 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 124190) 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 124189) 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 124189) 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 124189) 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 124189) 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 124189) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 245 ms. (steps per millisecond=4 ) properties (out of 124188) 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 124188) 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 124188) 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 124188) 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 124188) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 257 ms. (steps per millisecond=3 ) properties (out of 124187) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 245 ms. (steps per millisecond=4 ) properties (out of 124187) 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 124186) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 251 ms. (steps per millisecond=3 ) properties (out of 124186) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 250 ms. (steps per millisecond=4 ) properties (out of 124186) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 250 ms. (steps per millisecond=4 ) properties (out of 124186) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 248 ms. (steps per millisecond=4 ) properties (out of 124186) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 247 ms. (steps per millisecond=4 ) properties (out of 124186) 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 124186) 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 124186) 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 124186) 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 124186) 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 124186) 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 124186) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 245 ms. (steps per millisecond=4 ) properties (out of 124186) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 245 ms. (steps per millisecond=4 ) properties (out of 124186) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 245 ms. (steps per millisecond=4 ) properties (out of 124186) 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 124186) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 245 ms. (steps per millisecond=4 ) properties (out of 124186) 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 124186) 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 124186) 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 124185) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 245 ms. (steps per millisecond=4 ) properties (out of 124185) 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 124185) 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 124185) 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 124185) 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 124185) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 245 ms. (steps per millisecond=4 ) properties (out of 124185) 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 124185) 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 124185) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 249 ms. (steps per millisecond=4 ) properties (out of 124185) 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 124185) 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 124185) 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 124185) 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 124185) 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 124185) 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 124185) 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 124185) 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 124185) 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 124185) 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 124185) 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 124185) 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 124185) 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 124185) 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 124185) 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 124185) 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 124185) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 255 ms. (steps per millisecond=3 ) properties (out of 124185) 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 124185) 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 124185) 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 124185) 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 124185) 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 124185) 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 124185) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 247 ms. (steps per millisecond=4 ) properties (out of 124185) 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 124185) 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 124185) 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 124185) 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 124185) 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 124185) 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 124185) 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 124185) 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 124185) 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 124185) 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 124185) 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 124185) 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 124185) 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 124185) 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 124185) 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 124185) seen :0
Interrupted probabilistic random walk after 3189 steps, run timeout after 30007 ms. (steps per millisecond=0 ) properties seen :{2084=1, 2287=1, 7735=1, 9824=1, 12201=1, 13037=1, 14419=1, 14527=1, 19620=1, 23637=1, 23948=1, 24223=1, 28370=1, 29788=1, 33174=1, 35438=1, 35446=1, 36141=1, 36157=1, 36245=1, 40367=1, 43211=1, 43508=1, 45325=1, 45502=1, 49706=1, 51302=1, 52020=1, 52153=1, 53983=1, 55491=1, 58819=1, 59597=1, 60578=1, 61686=1, 61786=1, 64264=1, 64498=1, 65567=1, 68835=1, 70451=1, 71196=1, 72369=1, 75070=1, 77157=1, 77498=1, 80618=1, 82484=1, 82647=1, 84707=1, 86000=1, 88450=1, 90292=1, 91091=1, 91359=1, 94912=1, 95153=1, 95461=1, 96282=1, 96591=1, 97325=1, 100771=1, 102174=1, 103460=1, 105473=1, 105897=1, 106155=1, 108920=1, 112980=1, 113678=1, 113992=1, 116488=1, 116643=1, 117280=1, 118725=1, 118817=1, 121851=1, 122602=1, 123374=1}
Probabilistic random walk after 3189 steps, saw 2830 distinct states, run finished after 30014 ms. (steps per millisecond=0 ) properties seen :{2084=1, 2287=1, 7735=1, 9824=1, 12201=1, 13037=1, 14419=1, 14527=1, 19620=1, 23637=1, 23948=1, 24223=1, 28370=1, 29788=1, 33174=1, 35438=1, 35446=1, 36141=1, 36157=1, 36245=1, 40367=1, 43211=1, 43508=1, 45325=1, 45502=1, 49706=1, 51302=1, 52020=1, 52153=1, 53983=1, 55491=1, 58819=1, 59597=1, 60578=1, 61686=1, 61786=1, 64264=1, 64498=1, 65567=1, 68835=1, 70451=1, 71196=1, 72369=1, 75070=1, 77157=1, 77498=1, 80618=1, 82484=1, 82647=1, 84707=1, 86000=1, 88450=1, 90292=1, 91091=1, 91359=1, 94912=1, 95153=1, 95461=1, 96282=1, 96591=1, 97325=1, 100771=1, 102174=1, 103460=1, 105473=1, 105897=1, 106155=1, 108920=1, 112980=1, 113678=1, 113992=1, 116488=1, 116643=1, 117280=1, 118725=1, 118817=1, 121851=1, 122602=1, 123374=1}
Running SMT prover for 124106 properties.
// Phase 1: matrix 127551 rows 2601 cols
[2022-05-21 08:50:35] [INFO ] Computed 51 place invariants in 476 ms
[2022-05-21 08:54:21] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 124106 Parikh solutions to 1 different solutions.
Support contains 2601 out of 2601 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2601/2601 places, 127551/127551 transitions.
Applied a total of 0 rules in 714 ms. Remains 2601 /2601 variables (removed 0) and now considering 127551/127551 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 2601/2601 places, 127551/127551 transitions.
[2022-05-21 08:54:26] [INFO ] Flatten gal took : 3310 ms
[2022-05-21 08:54:29] [INFO ] Flatten gal took : 3243 ms
[2022-05-21 08:54:30] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7399485878342456293.gal : 268 ms
[2022-05-21 08:54:30] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11050184238824129388.prop : 164 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/ReachabilityCardinality7399485878342456293.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality11050184238824129388.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/ReachabilityCardinality7399485878342456293.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality11050184238824129388.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2022-05-21 08:54:52] [INFO ] Flatten gal took : 4110 ms
[2022-05-21 08:54:52] [INFO ] Applying decomposition
[2022-05-21 08:54:55] [INFO ] Flatten gal took : 3316 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/graph139980101161840706.txt, -o, /tmp/graph139980101161840706.bin, -w, /tmp/graph139980101161840706.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/graph139980101161840706.bin, -l, -1, -v, -w, /tmp/graph139980101161840706.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-21 08:55:03] [INFO ] Decomposing Gal with order
[2022-05-21 08:55:03] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 08:55:16] [INFO ] Removed a total of 303849 redundant transitions.
[2022-05-21 08:55:18] [INFO ] Flatten gal took : 6399 ms
[2022-05-21 09:01:13] [INFO ] Fuse similar labels procedure discarded/fused a total of 1784 labels/synchronizations in 2996 ms.
[2022-05-21 09:01:14] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11451526500111788936.gal : 260 ms
[2022-05-21 09:01:14] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15612220111787842332.prop : 303 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/ReachabilityCardinality11451526500111788936.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality15612220111787842332.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/ReachabilityCardinality11451526500111788936.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality15612220111787842332.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin7955584698532022556
[2022-05-21 09:01:31] [INFO ] Built C files in 1680ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin7955584698532022556
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/ltsmin7955584698532022556]
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/ltsmin7955584698532022556] 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/ltsmin7955584698532022556] 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 2343 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=0 ) properties seen :{573=1, 916=1, 922=1, 1461=1, 2483=1, 3063=1, 3707=1, 4073=1, 6003=1, 6077=1, 6117=1, 6158=1, 6576=1, 7583=1, 7811=1, 7820=1, 8879=1, 9033=1, 11095=1, 14666=1, 17620=1, 17796=1, 17935=1, 18152=1, 18272=1, 18644=1, 19210=1, 19370=1, 19603=1, 19775=1, 20684=1, 20813=1, 21018=1, 21168=1, 21216=1, 21966=1, 22287=1, 22505=1, 22611=1, 23758=1, 24217=1, 24365=1, 24445=1, 25073=1, 25497=1, 25808=1, 26752=1, 30472=1, 32620=1, 33552=1, 34866=1, 35117=1, 35346=1, 35394=1, 35725=1, 37151=1, 38506=1, 38878=1, 39106=1, 40468=1, 41349=1, 41697=1, 42122=1, 42152=1, 43262=1, 43386=1, 43689=1, 44149=1, 45307=1, 45802=1, 45818=1, 46157=1, 48858=1, 50544=1, 51647=1, 51742=1, 54346=1, 54691=1, 54720=1, 54727=1, 54823=1, 55248=1, 55561=1, 55885=1, 56193=1, 57045=1, 57762=1, 58093=1, 59650=1, 60224=1, 62524=1, 63524=1, 63694=1, 64042=1, 64340=1, 64521=1, 65447=1, 65470=1, 66554=1, 66624=1, 66735=1, 71308=1, 71512=1, 71649=1, 73226=1, 74145=1, 74286=1, 74288=1, 74347=1, 75575=1, 75703=1, 76006=1, 78660=1, 79065=1, 79144=1, 80209=1, 80725=1, 81676=1, 82669=1, 82745=1, 83212=1, 84544=1, 85535=1, 85610=1, 85722=1, 87095=1, 87446=1, 88159=1, 88821=1, 89262=1, 90073=1, 90750=1, 90783=1, 91746=1, 92456=1, 92599=1, 93026=1, 93543=1, 94021=1, 95094=1, 97570=1, 98310=1, 98419=1, 98760=1, 99289=1, 100206=1, 100532=1, 100893=1, 101272=1, 101750=1, 102595=1, 102904=1, 103053=1, 105753=1, 106054=1, 106726=1, 108235=1, 109185=1, 110037=1, 110060=1, 110423=1, 110518=1, 111452=1, 113924=1, 117899=1, 118325=1, 119701=1, 120227=1, 120566=1, 120969=1, 121103=1, 121911=1, 122061=1, 122640=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 302 ms. (steps per millisecond=3 ) properties (out of 123932) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 299 ms. (steps per millisecond=3 ) properties (out of 123932) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 292 ms. (steps per millisecond=3 ) properties (out of 123932) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 287 ms. (steps per millisecond=3 ) properties (out of 123932) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 286 ms. (steps per millisecond=3 ) properties (out of 123932) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 277 ms. (steps per millisecond=3 ) properties (out of 123932) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 270 ms. (steps per millisecond=3 ) properties (out of 123932) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 273 ms. (steps per millisecond=3 ) properties (out of 123932) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 270 ms. (steps per millisecond=3 ) properties (out of 123931) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 276 ms. (steps per millisecond=3 ) properties (out of 123931) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 279 ms. (steps per millisecond=3 ) properties (out of 123931) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 295 ms. (steps per millisecond=3 ) properties (out of 123931) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 296 ms. (steps per millisecond=3 ) properties (out of 123931) 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 123931) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 695 ms. (steps per millisecond=1 ) properties (out of 123931) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4007 ms. (steps per millisecond=0 ) properties (out of 123931) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 675 ms. (steps per millisecond=1 ) properties (out of 123931) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 349 ms. (steps per millisecond=2 ) properties (out of 123931) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 822 ms. (steps per millisecond=1 ) properties (out of 123930) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 351 ms. (steps per millisecond=2 ) properties (out of 123930) 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 123930) 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 123930) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 261 ms. (steps per millisecond=3 ) properties (out of 123930) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 273 ms. (steps per millisecond=3 ) properties (out of 123930) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 268 ms. (steps per millisecond=3 ) properties (out of 123930) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 267 ms. (steps per millisecond=3 ) properties (out of 123930) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 278 ms. (steps per millisecond=3 ) properties (out of 123930) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 123930) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 287 ms. (steps per millisecond=3 ) properties (out of 123930) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 276 ms. (steps per millisecond=3 ) properties (out of 123930) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 334 ms. (steps per millisecond=2 ) properties (out of 123929) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 280 ms. (steps per millisecond=3 ) properties (out of 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 257 ms. (steps per millisecond=3 ) properties (out of 123929) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 357 ms. (steps per millisecond=2 ) properties (out of 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123929) 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 123928) 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 123928) 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 123928) 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 123928) 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 123928) 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 123928) 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 123928) 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 123928) 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 123928) 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 123928) 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 123928) 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 123928) 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 123928) 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 123928) 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 123928) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 277 ms. (steps per millisecond=3 ) properties (out of 123928) 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 123928) 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 123928) 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 123928) 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 123928) 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 123928) 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 123928) 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 123928) 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 123927) 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 123927) 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 123927) 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 123927) 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 123927) 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 123927) 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 123927) 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 123927) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 236 ms. (steps per millisecond=4 ) properties (out of 123926) 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 123926) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3323 ms. (steps per millisecond=0 ) properties (out of 123926) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 272 ms. (steps per millisecond=3 ) properties (out of 123926) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 270 ms. (steps per millisecond=3 ) properties (out of 123926) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 277 ms. (steps per millisecond=3 ) properties (out of 123926) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 280 ms. (steps per millisecond=3 ) properties (out of 123926) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 280 ms. (steps per millisecond=3 ) properties (out of 123926) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 249 ms. (steps per millisecond=4 ) properties (out of 123926) 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 123926) 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 123926) 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 123926) 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 123926) 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 123926) 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 123926) 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 123926) 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 123926) 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 123926) 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 123926) 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 123926) 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 123926) 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 123926) 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 123926) 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 123926) 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 123926) 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 123926) 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 123926) 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 123926) 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 123926) 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 123926) 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 123926) 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 123925) 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 123925) 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 123925) 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 123925) 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 123925) 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 123925) 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 123925) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 236 ms. (steps per millisecond=4 ) properties (out of 123924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 271 ms. (steps per millisecond=3 ) properties (out of 123924) 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 123924) 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 123924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 262 ms. (steps per millisecond=3 ) properties (out of 123924) 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 123924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 281 ms. (steps per millisecond=3 ) properties (out of 123924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 281 ms. (steps per millisecond=3 ) properties (out of 123924) 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 123924) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 283 ms. (steps per millisecond=3 ) properties (out of 123923) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 281 ms. (steps per millisecond=3 ) properties (out of 123923) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 281 ms. (steps per millisecond=3 ) properties (out of 123923) 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 123923) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 253 ms. (steps per millisecond=3 ) properties (out of 123923) 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 123923) 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 123923) 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 123923) 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 123923) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 250 ms. (steps per millisecond=4 ) properties (out of 123923) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 262 ms. (steps per millisecond=3 ) properties (out of 123923) 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 123923) 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 123923) 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 123923) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 952 ms. (steps per millisecond=1 ) properties (out of 123923) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 255 ms. (steps per millisecond=3 ) properties (out of 123923) 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 123923) 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 123923) 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 123923) 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 123923) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 257 ms. (steps per millisecond=3 ) properties (out of 123923) 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 123923) 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 123923) 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 123923) 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 123923) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 257 ms. (steps per millisecond=3 ) properties (out of 123923) 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 123923) 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 123923) 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 123923) 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 123923) 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 123923) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 257 ms. (steps per millisecond=3 ) properties (out of 123923) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 255 ms. (steps per millisecond=3 ) properties (out of 123923) 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 123923) 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 123923) 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 123923) 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 123923) 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 123923) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 257 ms. (steps per millisecond=3 ) properties (out of 123923) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 257 ms. (steps per millisecond=3 ) properties (out of 123923) 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 123923) 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 123923) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 257 ms. (steps per millisecond=3 ) properties (out of 123923) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 257 ms. (steps per millisecond=3 ) properties (out of 123923) 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 123923) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 257 ms. (steps per millisecond=3 ) properties (out of 123923) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 249 ms. (steps per millisecond=4 ) properties (out of 123923) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 251 ms. (steps per millisecond=3 ) properties (out of 123923) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 249 ms. (steps per millisecond=4 ) properties (out of 123923) seen :0
Interrupted probabilistic random walk after 2917 steps, run timeout after 30002 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 2917 steps, saw 2694 distinct states, run finished after 30030 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 123923 properties.
// Phase 1: matrix 127551 rows 2601 cols
[2022-05-21 09:03:31] [INFO ] Computed 51 place invariants in 418 ms
[2022-05-21 09:07:16] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 123923 Parikh solutions to 1 different solutions.
Support contains 2601 out of 2601 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2601/2601 places, 127551/127551 transitions.
Applied a total of 0 rules in 749 ms. Remains 2601 /2601 variables (removed 0) and now considering 127551/127551 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 2601/2601 places, 127551/127551 transitions.
[2022-05-21 09:07:22] [INFO ] Flatten gal took : 3605 ms
[2022-05-21 09:07:25] [INFO ] Flatten gal took : 3071 ms
[2022-05-21 09:07:25] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1380458901824923655.gal : 294 ms
[2022-05-21 09:07:25] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16429530761705486887.prop : 155 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/ReachabilityCardinality1380458901824923655.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality16429530761705486887.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/ReachabilityCardinality1380458901824923655.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality16429530761705486887.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2022-05-21 09:07:45] [INFO ] Flatten gal took : 3353 ms
[2022-05-21 09:07:45] [INFO ] Applying decomposition
[2022-05-21 09:07:48] [INFO ] Flatten gal took : 3043 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/graph16382609292823696637.txt, -o, /tmp/graph16382609292823696637.bin, -w, /tmp/graph16382609292823696637.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/graph16382609292823696637.bin, -l, -1, -v, -w, /tmp/graph16382609292823696637.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-21 09:08:00] [INFO ] Decomposing Gal with order
[2022-05-21 09:08:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 09:08:13] [INFO ] Removed a total of 303261 redundant transitions.
[2022-05-21 09:08:15] [INFO ] Flatten gal took : 7174 ms
[2022-05-21 09:09:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 339 labels/synchronizations in 2246 ms.
[2022-05-21 09:09:23] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11644585674616136864.gal : 264 ms
[2022-05-21 09:09:23] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality3398635476159293763.prop : 285 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/ReachabilityCardinality11644585674616136864.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality3398635476159293763.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/ReachabilityCardinality11644585674616136864.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality3398635476159293763.prop --nowitness
ITS-tools command line returned an error code 137
Built C files in :
/tmp/ltsmin12380781833629167039
[2022-05-21 09:09:35] [INFO ] Built C files in 9284ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin12380781833629167039
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/ltsmin12380781833629167039]
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/ltsmin12380781833629167039] 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/ltsmin12380781833629167039] 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)

BK_STOP 1653124181516

--------------------
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-050"
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-050, 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-165303554200404"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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