MCC'2021- Execution of r280-smll-162123888000084

About the Execution of ITS-Tools 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.628	1607181.00	2759364.00	19159.60	[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/mcc2021-input.r280-smll-162123888000084.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is TokenRing-PT-050, examination is Liveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r280-smll-162123888000084
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1G
-rw-r--r-- 1 mcc users 3.0M May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15M May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 140M May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 496M May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 1.3M Mar 28 16:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 4.3M Mar 28 16:46 LTLCardinality.xml
-rw-r--r-- 1 mcc users 30M Mar 28 16:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 80M Mar 28 16:46 LTLFireability.xml
-rw-r--r-- 1 mcc users 820K Mar 27 14:34 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 2.4M Mar 27 14:34 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 63M Mar 26 05:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 165M Mar 26 05:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 299K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 707K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 91M May 5 16:52 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME Liveness

=== Now, execution of the tool begins

BK_START 1621377952402

Running Version 0
[2021-05-18 22:45:55] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, Liveness, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2021-05-18 22:45:55] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-18 22:45:59] [INFO ] Load time of PNML (sax parser for PT used): 3753 ms
[2021-05-18 22:45:59] [INFO ] Transformed 2601 places.
[2021-05-18 22:46:00] [INFO ] Transformed 127551 transitions.
[2021-05-18 22:46:00] [INFO ] Found NUPN structural information;
[2021-05-18 22:46:00] [INFO ] Parsed PT model containing 2601 places and 127551 transitions in 4290 ms.
Built sparse matrix representations for Structural reductions in 114 ms.637886KB memory used
Starting structural reductions, iteration 0 : 2601/2601 places, 127551/127551 transitions.
Applied a total of 0 rules in 1795 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 1361 ms. Remains 2601 /2601 variables (removed 0) and now considering 127551/127551 (removed 0) transitions.
// Phase 1: matrix 127551 rows 2601 cols
[2021-05-18 22:46:09] [INFO ] Computed 51 place invariants in 909 ms
[2021-05-18 22:46:10] [INFO ] Implicit Places using invariants in 2177 ms returned []
Implicit Place search using SMT only with invariants took 2218 ms to find 0 implicit places.
// Phase 1: matrix 127551 rows 2601 cols
[2021-05-18 22:46:11] [INFO ] Computed 51 place invariants in 759 ms
[2021-05-18 22:46:41] [INFO ] Performed 32774/127551 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2021-05-18 22:47:11] [INFO ] Dead Transitions using invariants and state equation in 60864 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2601/2601 places, 127551/127551 transitions.
Interrupted Random walk after 369149 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=12 )
// Phase 1: matrix 127551 rows 2601 cols
[2021-05-18 22:47:42] [INFO ] Computed 51 place invariants in 626 ms
[2021-05-18 22:49:03] [INFO ] [Real]Absence check using 51 positive place invariants in 541 ms returned unsat
Starting structural reductions, iteration 0 : 2601/2601 places, 127551/127551 transitions.
Applied a total of 0 rules in 39481 ms. Remains 2601 /2601 variables (removed 0) and now considering 127551/127551 (removed 0) transitions.
// Phase 1: matrix 127551 rows 2601 cols
[2021-05-18 22:49:43] [INFO ] Computed 51 place invariants in 399 ms
[2021-05-18 22:50:00] [INFO ] Implicit Places using invariants in 17316 ms returned []
Implicit Place search using SMT only with invariants took 17319 ms to find 0 implicit places.
// Phase 1: matrix 127551 rows 2601 cols
[2021-05-18 22:50:00] [INFO ] Computed 51 place invariants in 703 ms
[2021-05-18 22:50:31] [INFO ] Performed 34150/127551 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2021-05-18 22:51:00] [INFO ] Dead Transitions using invariants and state equation in 60786 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2601/2601 places, 127551/127551 transitions.
[2021-05-18 22:51:01] [INFO ] Initial state test concluded for 50 properties.
Interrupted random walk after 1421 steps, including 0 resets, run timeout after 30004 ms. (steps per millisecond=0 ) properties seen :{221=1, 342=1, 389=1, 413=1, 536=1, 538=1, 575=1, 608=1, 673=1, 726=1, 780=1, 804=1, 832=1, 913=1, 1161=1, 1162=1, 1599=1, 1629=1, 1659=1, 1883=1, 1928=1, 1935=1, 2297=1, 2432=1, 2510=1, 2556=1, 2642=1, 2683=1, 2779=1, 2858=1, 2884=1, 3008=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, 4720=1, 4964=1, 4996=1, 5003=1, 5065=1, 5276=1, 5422=1, 5441=1, 5579=1, 5868=1, 5928=1, 5956=1, 5977=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, 6831=1, 6843=1, 6858=1, 6875=1, 6885=1, 6889=1, 6925=1, 7256=1, 7363=1, 7370=1, 7515=1, 7572=1, 7631=1, 7699=1, 7708=1, 7854=1, 7860=1, 8037=1, 8041=1, 8185=1, 8336=1, 8368=1, 8410=1, 8415=1, 8484=1, 8495=1, 8562=1, 8569=1, 8852=1, 8887=1, 9050=1, 9102=1, 9139=1, 9187=1, 9580=1, 9638=1, 9646=1, 9733=1, 10050=1, 10055=1, 10111=1, 10305=1, 10344=1, 10847=1, 10881=1, 11090=1, 11226=1, 11556=1, 11719=1, 11755=1, 11787=1, 11802=1, 11850=1, 11895=1, 11905=1, 11927=1, 12207=1, 12208=1, 12319=1, 12329=1, 12552=1, 12555=1, 13044=1, 13101=1, 13166=1, 13210=1, 13381=1, 13579=1, 13582=1, 13615=1, 13694=1, 13714=1, 13763=1, 13796=1, 13802=1, 13864=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, 14731=1, 14744=1, 14754=1, 14814=1, 14864=1, 15090=1, 15110=1, 15117=1, 15148=1, 15149=1, 15169=1, 15289=1, 15300=1, 15491=1, 15767=1, 15788=1, 15900=1, 16172=1, 16236=1, 16316=1, 16385=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, 17662=1, 17697=1, 17796=1, 17849=1, 17884=1, 18077=1, 18117=1, 18169=1, 18209=1, 18260=1, 18283=1, 18370=1, 18467=1, 18501=1, 18551=1, 18559=1, 18672=1, 18936=1, 19008=1, 19038=1, 19217=1, 19274=1, 19283=1, 19379=1, 19630=1, 19634=1, 19648=1, 19671=1, 19710=1, 19766=1, 19787=1, 19969=1, 20034=1, 20073=1, 20241=1, 20372=1, 20435=1, 20650=1, 20755=1, 20798=1, 20909=1, 21179=1, 21559=1, 21631=1, 21661=1, 21697=1, 21745=1, 21749=1, 21804=1, 21935=1, 22067=1, 22184=1, 22199=1, 22389=1, 22538=1, 22625=1, 22886=1, 22989=1, 23053=1, 23067=1, 23389=1, 23432=1, 23496=1, 23569=1, 23597=1, 23665=1, 23676=1, 23705=1, 23884=1, 23981=1, 24045=1, 24051=1, 24283=1, 24287=1, 24310=1, 24345=1, 24420=1, 24497=1, 24629=1, 24767=1, 24862=1, 24865=1, 25123=1, 25132=1, 25147=1, 25251=1, 25494=1, 25536=1, 25567=1, 25594=1, 25643=1, 25823=1, 25857=1, 25915=1, 26057=1, 26110=1, 26119=1, 26178=1, 26250=1, 26271=1, 26354=1, 26372=1, 26377=1, 26408=1, 26586=1, 26590=1, 26988=1, 27046=1, 27297=1, 27380=1, 27488=1, 27529=1, 27716=1, 27783=1, 27788=1, 27821=1, 27845=1, 27897=1, 28043=1, 28247=1, 28321=1, 28329=1, 28398=1, 28462=1, 28533=1, 28646=1, 28719=1, 28802=1, 28837=1, 28919=1, 28960=1, 28974=1, 29001=1, 29155=1, 29354=1, 29441=1, 29542=1, 29877=1, 30035=1, 30123=1, 30284=1, 30360=1, 30363=1, 30399=1, 30482=1, 30536=1, 30802=1, 30862=1, 30993=1, 31073=1, 31176=1, 31179=1, 31238=1, 31271=1, 31547=1, 31551=1, 31598=1, 31648=1, 31684=1, 31746=1, 31808=1, 31822=1, 31840=1, 31867=1, 31937=1, 32170=1, 32239=1, 32269=1, 32501=1, 32557=1, 32803=1, 32862=1, 32934=1, 32960=1, 33105=1, 33129=1, 33161=1, 33209=1, 33244=1, 33655=1, 33808=1, 34011=1, 34084=1, 34197=1, 34239=1, 34242=1, 34337=1, 34455=1, 34467=1, 34574=1, 34587=1, 34704=1, 34754=1, 34767=1, 34793=1, 34828=1, 34855=1, 35051=1, 35065=1, 35171=1, 35298=1, 35408=1, 35494=1, 35582=1, 35628=1, 36038=1, 36160=1, 36512=1, 36515=1, 36535=1, 36558=1, 36632=1, 36729=1, 36783=1, 36797=1, 36890=1, 36996=1, 37178=1, 37245=1, 37278=1, 37340=1, 37628=1, 37690=1, 37784=1, 37800=1, 37844=1, 37857=1, 37911=1, 37976=1, 37983=1, 38019=1, 38025=1, 38052=1, 38098=1, 38280=1, 38321=1, 38422=1, 38423=1, 38448=1, 38531=1, 38702=1, 38741=1, 38814=1, 38972=1, 38993=1, 39120=1, 39123=1, 39245=1, 39263=1, 39355=1, 39468=1, 39782=1, 39854=1, 39859=1, 39905=1, 39969=1, 39994=1, 40080=1, 40210=1, 40284=1, 40347=1, 40425=1, 40487=1, 40630=1, 40752=1, 40766=1, 40773=1, 40824=1, 40845=1, 41176=1, 41282=1, 41355=1, 41400=1, 41686=1, 41697=1, 41846=1, 41885=1, 41952=1, 42087=1, 42088=1, 42258=1, 42283=1, 42307=1, 42375=1, 42521=1, 42523=1, 42639=1, 42674=1, 42743=1, 42827=1, 42871=1, 43257=1, 43268=1, 43422=1, 43520=1, 43880=1, 44084=1, 44174=1, 44233=1, 44326=1, 44345=1, 44386=1, 44405=1, 44413=1, 44415=1, 44575=1, 44640=1, 44662=1, 44838=1, 44851=1, 44989=1, 45018=1, 45055=1, 45061=1, 45143=1, 45371=1, 45383=1, 45517=1, 45646=1, 45659=1, 45852=1, 46452=1, 46476=1, 46492=1, 46497=1, 46600=1, 46772=1, 46875=1, 47028=1, 47116=1, 47151=1, 47226=1, 47247=1, 47261=1, 47276=1, 47679=1, 47760=1, 47778=1, 47856=1, 47896=1, 48114=1, 48152=1, 48186=1, 48364=1, 48445=1, 48519=1, 48556=1, 48628=1, 48691=1, 48692=1, 48712=1, 48788=1, 48853=1, 48944=1, 48948=1, 49080=1, 49484=1, 49489=1, 49869=1, 50099=1, 50106=1, 50159=1, 50231=1, 50238=1, 50275=1, 50514=1, 50652=1, 50691=1, 50845=1, 50895=1, 50913=1, 50918=1, 51010=1, 51109=1, 51136=1, 51173=1, 51231=1, 51256=1, 51351=1, 51402=1, 51524=1, 51528=1, 51582=1, 51614=1, 51812=1, 51828=1, 51879=1, 51915=1, 51938=1, 52040=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, 53286=1, 53389=1, 53480=1, 53559=1, 53650=1, 53662=1, 53995=1, 54136=1, 54168=1, 54185=1, 54417=1, 54507=1, 54599=1, 54625=1, 54684=1, 54827=1, 54946=1, 54979=1, 55163=1, 55219=1, 55328=1, 55341=1, 55368=1, 55398=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, 56481=1, 56614=1, 57043=1, 57208=1, 57275=1, 57593=1, 57606=1, 57638=1, 57723=1, 57780=1, 57954=1, 57981=1, 58095=1, 58159=1, 58166=1, 58177=1, 58330=1, 58354=1, 58399=1, 58596=1, 58613=1, 58712=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, 60056=1, 60075=1, 60115=1, 60124=1, 60445=1, 60496=1, 60613=1, 60623=1, 60641=1, 60889=1, 61174=1, 61189=1, 61278=1, 61298=1, 61316=1, 61441=1, 61606=1, 61635=1, 61655=1, 61664=1, 61754=1, 61922=1, 62039=1, 62202=1, 62210=1, 62330=1, 62339=1, 62371=1, 62377=1, 62435=1, 62558=1, 62604=1, 62769=1, 62798=1, 62856=1, 62870=1, 62892=1, 62941=1, 62982=1, 63150=1, 63188=1, 63237=1, 63261=1, 63413=1, 63423=1, 63563=1, 63658=1, 63766=1, 63781=1, 63927=1, 64087=1, 64116=1, 64479=1, 64634=1, 64636=1, 64683=1, 64710=1, 64770=1, 64814=1, 64863=1, 64941=1, 65107=1, 65120=1, 65125=1, 65267=1, 65347=1, 65379=1, 65496=1, 65550=1, 65706=1, 65720=1, 66164=1, 66314=1, 66474=1, 66649=1, 66650=1, 66740=1, 66803=1, 66856=1, 67081=1, 67098=1, 67130=1, 67204=1, 67614=1, 67627=1, 67730=1, 67794=1, 67827=1, 67875=1, 67879=1, 67890=1, 67908=1, 68076=1, 68271=1, 68331=1, 68480=1, 68639=1, 68909=1, 68981=1, 69066=1, 69077=1, 69149=1, 69171=1, 69251=1, 69319=1, 69352=1, 69407=1, 69468=1, 69480=1, 69533=1, 69577=1, 69745=1, 69801=1, 69869=1, 69933=1, 69993=1, 70045=1, 70097=1, 70143=1, 70168=1, 70259=1, 70263=1, 70352=1, 70480=1, 70524=1, 70585=1, 70603=1, 70803=1, 70847=1, 70882=1, 70939=1, 71237=1, 71277=1, 71344=1, 71445=1, 71613=1, 71636=1, 71703=1, 71816=1, 71861=1, 71874=1, 71961=1, 72269=1, 72271=1, 72487=1, 72524=1, 72691=1, 72814=1, 72822=1, 72980=1, 73331=1, 73391=1, 73523=1, 73540=1, 73624=1, 73694=1, 73734=1, 73768=1, 73816=1, 73837=1, 74537=1, 74589=1, 74654=1, 74769=1, 74799=1, 74866=1, 74971=1, 75010=1, 75030=1, 75211=1, 75257=1, 75487=1, 75571=1, 75886=1, 75917=1, 76262=1, 76310=1, 76388=1, 76496=1, 76685=1, 76710=1, 76738=1, 76760=1, 76879=1, 76928=1, 77126=1, 77324=1, 77416=1, 77445=1, 77779=1, 77833=1, 77906=1, 77916=1, 77993=1, 78049=1, 78157=1, 78414=1, 78472=1, 78557=1, 78580=1, 78622=1, 78702=1, 78712=1, 78764=1, 78965=1, 79018=1, 79075=1, 79102=1, 79122=1, 79222=1, 79274=1, 79284=1, 79346=1, 79359=1, 79368=1, 79564=1, 79686=1, 79735=1, 80065=1, 80107=1, 80169=1, 80200=1, 80247=1, 80258=1, 80265=1, 80393=1, 80407=1, 80521=1, 80531=1, 80587=1, 80671=1, 80820=1, 80865=1, 80920=1, 80938=1, 81077=1, 81416=1, 81502=1, 81601=1, 81604=1, 81883=1, 81929=1, 81958=1, 81968=1, 82058=1, 82236=1, 82279=1, 82403=1, 82468=1, 82738=1, 82768=1, 82855=1, 82860=1, 82940=1, 83032=1, 83121=1, 83194=1, 83197=1, 83209=1, 83314=1, 83340=1, 83621=1, 83704=1, 83759=1, 83786=1, 83828=1, 84117=1, 84198=1, 84250=1, 84408=1, 84541=1, 84558=1, 84576=1, 84645=1, 84673=1, 84800=1, 84972=1, 85176=1, 85222=1, 85382=1, 85527=1, 85575=1, 85928=1, 86040=1, 86091=1, 86096=1, 86106=1, 86221=1, 86284=1, 86358=1, 86463=1, 86567=1, 86633=1, 86648=1, 86693=1, 86843=1, 86952=1, 87097=1, 87386=1, 87421=1, 87438=1, 87571=1, 87616=1, 87708=1, 87770=1, 87874=1, 87917=1, 88054=1, 88122=1, 88188=1, 88227=1, 88228=1, 88242=1, 88281=1, 88513=1, 88627=1, 88712=1, 88865=1, 88947=1, 88997=1, 89086=1, 89151=1, 89175=1, 89329=1, 89399=1, 89518=1, 89534=1, 89602=1, 89687=1, 89933=1, 90017=1, 90214=1, 90357=1, 90450=1, 90514=1, 90596=1, 90881=1, 91114=1, 91382=1, 91386=1, 91393=1, 91623=1, 91651=1, 91689=1, 91803=1, 91847=1, 91874=1, 91956=1, 92147=1, 92302=1, 92534=1, 92665=1, 92756=1, 92820=1, 92846=1, 93035=1, 93134=1, 93235=1, 93442=1, 93564=1, 93604=1, 93633=1, 93731=1, 93800=1, 93926=1, 94144=1, 94183=1, 94315=1, 94318=1, 94331=1, 94585=1, 94651=1, 94712=1, 95003=1, 95010=1, 95091=1, 95478=1, 95591=1, 95631=1, 95738=1, 95921=1, 95975=1, 96087=1, 96225=1, 96503=1, 96509=1, 96607=1, 96785=1, 96815=1, 96829=1, 96902=1, 97012=1, 97032=1, 97163=1, 97225=1, 97257=1, 97274=1, 97275=1, 97358=1, 97417=1, 97658=1, 97902=1, 97926=1, 98190=1, 98483=1, 98563=1, 98587=1, 98616=1, 98663=1, 98835=1, 98941=1, 98958=1, 99062=1, 99142=1, 99244=1, 99400=1, 99416=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, 100583=1, 100641=1, 100667=1, 100770=1, 100844=1, 100868=1, 101021=1, 101059=1, 101115=1, 101126=1, 101129=1, 101153=1, 101209=1, 101219=1, 101397=1, 101430=1, 101480=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, 102524=1, 102545=1, 102597=1, 102902=1, 102961=1, 103082=1, 103171=1, 103267=1, 103297=1, 103342=1, 103358=1, 103490=1, 103501=1, 103698=1, 103705=1, 103713=1, 103907=1, 103959=1, 104113=1, 104272=1, 104371=1, 104406=1, 104442=1, 104457=1, 104471=1, 104578=1, 104659=1, 104707=1, 104834=1, 104873=1, 105001=1, 105180=1, 105366=1, 105382=1, 105462=1, 105463=1, 105470=1, 105581=1, 105634=1, 105703=1, 105798=1, 105854=1, 105894=1, 106031=1, 106059=1, 106363=1, 106539=1, 106560=1, 106587=1, 106595=1, 106648=1, 106649=1, 106766=1, 107088=1, 107164=1, 107407=1, 107451=1, 107538=1, 107604=1, 107606=1, 107660=1, 107861=1, 107956=1, 107984=1, 108058=1, 108088=1, 108225=1, 108227=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, 109645=1, 109831=1, 109859=1, 109922=1, 110077=1, 110132=1, 110152=1, 110158=1, 110547=1, 110674=1, 110702=1, 110873=1, 110890=1, 110900=1, 111081=1, 111082=1, 111174=1, 111203=1, 111238=1, 111325=1, 111500=1, 111606=1, 111682=1, 111755=1, 111918=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, 113191=1, 113223=1, 113303=1, 113412=1, 113572=1, 113708=1, 113713=1, 113799=1, 113813=1, 113863=1, 114072=1, 114213=1, 114253=1, 114499=1, 114732=1, 114889=1, 115065=1, 115145=1, 115339=1, 115646=1, 115672=1, 115687=1, 115788=1, 115801=1, 116042=1, 116054=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, 116997=1, 117053=1, 117151=1, 117201=1, 117468=1, 117593=1, 117617=1, 117680=1, 117732=1, 117972=1, 117996=1, 118133=1, 118270=1, 118275=1, 118278=1, 118283=1, 118408=1, 118766=1, 118824=1, 119196=1, 119242=1, 119508=1, 119519=1, 119607=1, 119619=1, 119647=1, 119827=1, 119838=1, 119858=1, 119876=1, 119897=1, 119950=1, 120089=1, 120094=1, 120104=1, 120113=1, 120187=1, 120251=1, 120378=1, 120565=1, 120587=1, 120628=1, 120726=1, 120764=1, 120837=1, 120863=1, 120908=1, 121385=1, 121653=1, 121659=1, 121948=1, 121993=1, 122018=1, 122076=1, 122169=1, 122281=1, 122319=1, 122417=1, 122456=1, 122671=1, 122706=1, 122741=1, 122759=1, 122811=1, 122868=1, 122976=1, 123233=1, 123619=1, 123756=1, 123873=1, 123875=1, 123992=1, 124124=1, 124150=1, 124190=1, 124266=1, 124275=1, 124518=1, 124632=1, 124652=1, 124699=1, 124914=1, 124977=1, 125116=1, 125207=1, 125212=1, 125404=1, 125502=1, 125684=1, 125686=1, 125734=1, 125894=1, 125905=1, 126050=1, 126056=1, 126128=1, 126200=1, 126224=1, 126305=1, 126330=1, 126342=1, 126346=1, 126534=1, 126706=1, 126858=1, 126860=1, 126898=1, 126996=1, 127023=1, 127056=1, 127134=1, 127315=1, 127336=1}
Interrupted probabilistic random walk after 1954 steps, run timeout after 30164 ms. (steps per millisecond=0 ) properties seen :{238=1, 631=1, 648=1, 703=1, 770=1, 4023=1, 5033=1, 5073=1, 5191=1, 5391=1, 7823=1, 7990=1, 10003=1, 10330=1, 11614=1, 13400=1, 15108=1, 15788=1, 18580=1, 18968=1, 19084=1, 19975=1, 20092=1, 21330=1, 21902=1, 25679=1, 27797=1, 28031=1, 28955=1, 30737=1, 32253=1, 32476=1, 32737=1, 34304=1, 35081=1, 35357=1, 36936=1, 38914=1, 40050=1, 40691=1, 41083=1, 48421=1, 48501=1, 54148=1, 56314=1, 57370=1, 57760=1, 58660=1, 59965=1, 65916=1, 66008=1, 66152=1, 66387=1, 66704=1, 67409=1, 67476=1, 67568=1, 69038=1, 69882=1, 71670=1, 72146=1, 72784=1, 73075=1, 75366=1, 75368=1, 75696=1, 75713=1, 75929=1, 76953=1, 78912=1, 80495=1, 80686=1, 84103=1, 85199=1, 85670=1, 85956=1, 86460=1, 87210=1, 92591=1, 95543=1, 96050=1, 97338=1, 99244=1, 100609=1, 100679=1, 102476=1, 103659=1, 104982=1, 105894=1, 105978=1, 106701=1, 107459=1, 107611=1, 109101=1, 109232=1, 113176=1, 113463=1, 113507=1, 117505=1, 117962=1, 118458=1, 119415=1, 121964=1, 123840=1, 124634=1, 124800=1, 125230=1, 125405=1}
Probabilistic random walk after 1954 steps, saw 1894 distinct states, run finished after 30172 ms. (steps per millisecond=0 ) properties seen :{238=1, 631=1, 648=1, 703=1, 770=1, 4023=1, 5033=1, 5073=1, 5191=1, 5391=1, 7823=1, 7990=1, 10003=1, 10330=1, 11614=1, 13400=1, 15108=1, 15788=1, 18580=1, 18968=1, 19084=1, 19975=1, 20092=1, 21330=1, 21902=1, 25679=1, 27797=1, 28031=1, 28955=1, 30737=1, 32253=1, 32476=1, 32737=1, 34304=1, 35081=1, 35357=1, 36936=1, 38914=1, 40050=1, 40691=1, 41083=1, 48421=1, 48501=1, 54148=1, 56314=1, 57370=1, 57760=1, 58660=1, 59965=1, 65916=1, 66008=1, 66152=1, 66387=1, 66704=1, 67409=1, 67476=1, 67568=1, 69038=1, 69882=1, 71670=1, 72146=1, 72784=1, 73075=1, 75366=1, 75368=1, 75696=1, 75713=1, 75929=1, 76953=1, 78912=1, 80495=1, 80686=1, 84103=1, 85199=1, 85670=1, 85956=1, 86460=1, 87210=1, 92591=1, 95543=1, 96050=1, 97338=1, 99244=1, 100609=1, 100679=1, 102476=1, 103659=1, 104982=1, 105894=1, 105978=1, 106701=1, 107459=1, 107611=1, 109101=1, 109232=1, 113176=1, 113463=1, 113507=1, 117505=1, 117962=1, 118458=1, 119415=1, 121964=1, 123840=1, 124634=1, 124800=1, 125230=1, 125405=1}
Running SMT prover for 125979 properties.
// Phase 1: matrix 127551 rows 2601 cols
[2021-05-18 22:52:05] [INFO ] Computed 51 place invariants in 700 ms
0.00.0)
^^^^^^
(error "Invalid token: 0.00.0")
[2021-05-18 22:52:31] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 125979 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 1245 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.
[2021-05-18 22:52:40] [INFO ] Flatten gal took : 5220 ms
[2021-05-18 22:52:44] [INFO ] Flatten gal took : 3922 ms
[2021-05-18 22:52:45] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11262564970458528247.gal : 478 ms
[2021-05-18 22:52:45] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12525360822636386022.prop : 390 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/ReachabilityCardinality11262564970458528247.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality12525360822636386022.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/ReachabilityCardinality11262564970458528247.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality12525360822636386022.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2021-05-18 22:53:06] [INFO ] Flatten gal took : 4333 ms
[2021-05-18 22:53:06] [INFO ] Applying decomposition
[2021-05-18 22:53:10] [INFO ] Flatten gal took : 4179 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/graph5779165550916289420.txt, -o, /tmp/graph5779165550916289420.bin, -w, /tmp/graph5779165550916289420.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/graph5779165550916289420.bin, -l, -1, -v, -w, /tmp/graph5779165550916289420.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 22:53:20] [INFO ] Decomposing Gal with order
[2021-05-18 22:53:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 22:53:40] [INFO ] Removed a total of 303457 redundant transitions.
[2021-05-18 22:53:42] [INFO ] Flatten gal took : 8437 ms
[2021-05-18 22:55:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 275 labels/synchronizations in 4611 ms.
[2021-05-18 22:55:29] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10164645996196666899.gal : 593 ms
[2021-05-18 22:55:29] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality10425720274374095081.prop : 647 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/ReachabilityCardinality10164645996196666899.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality10425720274374095081.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/ReachabilityCardinality10164645996196666899.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality10425720274374095081.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin15168828714071328662
[2021-05-18 22:55:47] [INFO ] Built C files in 2488ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15168828714071328662
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/ltsmin15168828714071328662]
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/ltsmin15168828714071328662] 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/ltsmin15168828714071328662] 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 2049 steps, including 0 resets, run timeout after 30010 ms. (steps per millisecond=0 ) properties seen :{6=1, 353=1, 476=1, 788=1, 904=1, 929=1, 1214=1, 1334=1, 1490=1, 1849=1, 1872=1, 1913=1, 2315=1, 2360=1, 2523=1, 2587=1, 2589=1, 2605=1, 3040=1, 3064=1, 3179=1, 3487=1, 3925=1, 4095=1, 4288=1, 4391=1, 4755=1, 4953=1, 4982=1, 5252=1, 5316=1, 5464=1, 5508=1, 5577=1, 5825=1, 5883=1, 5983=1, 6221=1, 6435=1, 6586=1, 6610=1, 6709=1, 6764=1, 7040=1, 7457=1, 7464=1, 7741=1, 7824=1, 7845=1, 7849=1, 8082=1, 9061=1, 9320=1, 9546=1, 9598=1, 9866=1, 9891=1, 10697=1, 10705=1, 10787=1, 11210=1, 11216=1, 11253=1, 11422=1, 11641=1, 11935=1, 12077=1, 12637=1, 12643=1, 13086=1, 13091=1, 13134=1, 13139=1, 13146=1, 13190=1, 13233=1, 13314=1, 13562=1, 13618=1, 13619=1, 13732=1, 13916=1, 14190=1, 14302=1, 14304=1, 14433=1, 14515=1, 14538=1, 14542=1, 14882=1, 15018=1, 15109=1, 15128=1, 15278=1, 15522=1, 15559=1, 15783=1, 16102=1, 16432=1, 16445=1, 16450=1, 16472=1, 16619=1, 17229=1, 17296=1, 17546=1, 17676=1, 17867=1, 17916=1, 17982=1, 18148=1, 18440=1, 18513=1, 18558=1, 18565=1, 18680=1, 18722=1, 19014=1, 19304=1, 19381=1, 19451=1, 19858=1, 20006=1, 20080=1, 20126=1, 20161=1, 20305=1, 20360=1, 20526=1, 20906=1, 20947=1, 21576=1, 21629=1, 21777=1, 21832=1, 21861=1, 22136=1, 22259=1, 22403=1, 22503=1, 22538=1, 22565=1, 22581=1, 22709=1, 22870=1, 22884=1, 22954=1, 23725=1, 23756=1, 23819=1, 23876=1, 23933=1, 24105=1, 24171=1, 24480=1, 25053=1, 25107=1, 25325=1, 25427=1, 25495=1, 25586=1, 25634=1, 25844=1, 25931=1, 26020=1, 26060=1, 26275=1, 26414=1, 26451=1, 26593=1, 26598=1, 26723=1, 26942=1, 27425=1, 27428=1, 27493=1, 27496=1, 27570=1, 27754=1, 28289=1, 28382=1, 28471=1, 28484=1, 28485=1, 28784=1, 28810=1, 28876=1, 29065=1, 29112=1, 29264=1, 29299=1, 29421=1, 29424=1, 29683=1, 29705=1, 29735=1, 30099=1, 30246=1, 30274=1, 30285=1, 30368=1, 30512=1, 30805=1, 32039=1, 32127=1, 32168=1, 32273=1, 32351=1, 32614=1, 32676=1, 32763=1, 33415=1, 33497=1, 33530=1, 33795=1, 33810=1, 34106=1, 34295=1, 34426=1, 34445=1, 34535=1, 35034=1, 35183=1, 35275=1, 35376=1, 35390=1, 35485=1, 35489=1, 35677=1, 35701=1, 35959=1, 36120=1, 36263=1, 36294=1, 36406=1, 36726=1, 36789=1, 36835=1, 36893=1, 37192=1, 37343=1, 37763=1, 37837=1, 37989=1, 38043=1, 38072=1, 38090=1, 38109=1, 38402=1, 38498=1, 38820=1, 38969=1, 38990=1, 39000=1, 39521=1, 39592=1, 39617=1, 39911=1, 40074=1, 40092=1, 40144=1, 40156=1, 40289=1, 40329=1, 40353=1, 40873=1, 40981=1, 41073=1, 41349=1, 41398=1, 41944=1, 41957=1, 42206=1, 42324=1, 42345=1, 42669=1, 42868=1, 42935=1, 42972=1, 43032=1, 43363=1, 43749=1, 43919=1, 44077=1, 44462=1, 44605=1, 44665=1, 44948=1, 45071=1, 45268=1, 45313=1, 45410=1, 45450=1, 45703=1, 45947=1, 46091=1, 46153=1, 46257=1, 46265=1, 46301=1, 46345=1, 46551=1, 46889=1, 46996=1, 47120=1, 47306=1, 47483=1, 47590=1, 47646=1, 47863=1, 47893=1, 48026=1, 48285=1, 48345=1, 48464=1, 48567=1, 48780=1, 48810=1, 49132=1, 49359=1, 49422=1, 49554=1, 49585=1, 49794=1, 49902=1, 50306=1, 50392=1, 50471=1, 50583=1, 50739=1, 50873=1, 50974=1, 50989=1, 51151=1, 51155=1, 51214=1, 51339=1, 51404=1, 51427=1, 51602=1, 52186=1, 52246=1, 52493=1, 52626=1, 52830=1, 52842=1, 53109=1, 53332=1, 53514=1, 53722=1, 53822=1, 53917=1, 53988=1, 53999=1, 54194=1, 54388=1, 54497=1, 54515=1, 54825=1, 54845=1, 54874=1, 54890=1, 55139=1, 55170=1, 55504=1, 55781=1, 55956=1, 56163=1, 56175=1, 56289=1, 56417=1, 56477=1, 56842=1, 56885=1, 57248=1, 57801=1, 58234=1, 58300=1, 58341=1, 58481=1, 58723=1, 58821=1, 58946=1, 58969=1, 58986=1, 59261=1, 59499=1, 59510=1, 59605=1, 59813=1, 59938=1, 60102=1, 60167=1, 60231=1, 60674=1, 60685=1, 60755=1, 60827=1, 60836=1, 61049=1, 61122=1, 61346=1, 61438=1, 61551=1, 61676=1, 61773=1, 61899=1, 61985=1, 62153=1, 62648=1, 62857=1, 63181=1, 63383=1, 63599=1, 63652=1, 63671=1, 63969=1, 64097=1, 64179=1, 64353=1, 64408=1, 64428=1, 64442=1, 64447=1, 64650=1, 64734=1, 64739=1, 64839=1, 64932=1, 65044=1, 65081=1, 65140=1, 65503=1, 65704=1, 65765=1, 66177=1, 66427=1, 66465=1, 66467=1, 66528=1, 66725=1, 66727=1, 66857=1, 67056=1, 67333=1, 67458=1, 68159=1, 68204=1, 68205=1, 68240=1, 68242=1, 68273=1, 68516=1, 68649=1, 68754=1, 68809=1, 68939=1, 68943=1, 68974=1, 69045=1, 69148=1, 69174=1, 69263=1, 69685=1, 69847=1, 69871=1, 69958=1, 70304=1, 70570=1, 70729=1, 70776=1, 70845=1, 70997=1, 71084=1, 71091=1, 71699=1, 72020=1, 72111=1, 72172=1, 72303=1, 72487=1, 72525=1, 72691=1, 72731=1, 73257=1, 73306=1, 73358=1, 73815=1, 74235=1, 74568=1, 74936=1, 74978=1, 75028=1, 75403=1, 75440=1, 75514=1, 75555=1, 75779=1, 76233=1, 76251=1, 76464=1, 76493=1, 76570=1, 76653=1, 76773=1, 76803=1, 76906=1, 77179=1, 77297=1, 77541=1, 77631=1, 77737=1, 77982=1, 78004=1, 78056=1, 78223=1, 78268=1, 78319=1, 78337=1, 78435=1, 78516=1, 78723=1, 78766=1, 78778=1, 78866=1, 79006=1, 79053=1, 79054=1, 79140=1, 79320=1, 79440=1, 79627=1, 79794=1, 80000=1, 80073=1, 80145=1, 80160=1, 80335=1, 80405=1, 81054=1, 81247=1, 81345=1, 81986=1, 82326=1, 82339=1, 82429=1, 82999=1, 83455=1, 83695=1, 83856=1, 84141=1, 84552=1, 84650=1, 84684=1, 84916=1, 84936=1, 84980=1, 85029=1, 85033=1, 85087=1, 85413=1, 85421=1, 85736=1, 85803=1, 85806=1, 85808=1, 85841=1, 86003=1, 86163=1, 86189=1, 86259=1, 86669=1, 86670=1, 86706=1, 87014=1, 87070=1, 87328=1, 87506=1, 87600=1, 87800=1, 87835=1, 88325=1, 88360=1, 88365=1, 88430=1, 88676=1, 88965=1, 89098=1, 89143=1, 89242=1, 89390=1, 89392=1, 89555=1, 89747=1, 89843=1, 89882=1, 89963=1, 90031=1, 90139=1, 90150=1, 90264=1, 90328=1, 90508=1, 90516=1, 90521=1, 90612=1, 90999=1, 91044=1, 91130=1, 91171=1, 91303=1, 91420=1, 91670=1, 91867=1, 91995=1, 92276=1, 92441=1, 92574=1, 92728=1, 92742=1, 92799=1, 93253=1, 93312=1, 93339=1, 93366=1, 93553=1, 93608=1, 93837=1, 93965=1, 94214=1, 94475=1, 94488=1, 94529=1, 94641=1, 94718=1, 95120=1, 95798=1, 96258=1, 96392=1, 96446=1, 96862=1, 97032=1, 97041=1, 97045=1, 97147=1, 97158=1, 97363=1, 97385=1, 97654=1, 98071=1, 98331=1, 98494=1, 99062=1, 99071=1, 99358=1, 99522=1, 99546=1, 99693=1, 99819=1, 99933=1, 100008=1, 100567=1, 100578=1, 100603=1, 100646=1, 100869=1, 100953=1, 101279=1, 101290=1, 101373=1, 101385=1, 101568=1, 101894=1, 101945=1, 102164=1, 102326=1, 102499=1, 102572=1, 102784=1, 102839=1, 102912=1, 102985=1, 103249=1, 103292=1, 103896=1, 103996=1, 104013=1, 104117=1, 104315=1, 104398=1, 104573=1, 104813=1, 105181=1, 105766=1, 105992=1, 106264=1, 106289=1, 106471=1, 107724=1, 107862=1, 108193=1, 108299=1, 108326=1, 108375=1, 108647=1, 108741=1, 108790=1, 108984=1, 109062=1, 109348=1, 109539=1, 109752=1, 109863=1, 109923=1, 110010=1, 110057=1, 110154=1, 110157=1, 110227=1, 110445=1, 110457=1, 110550=1, 110791=1, 111357=1, 111485=1, 111509=1, 111554=1, 111652=1, 111779=1, 111845=1, 111947=1, 112032=1, 112069=1, 112459=1, 112665=1, 112802=1, 112901=1, 112921=1, 112969=1, 113088=1, 113263=1, 113553=1, 113649=1, 113702=1, 113818=1, 113840=1, 114010=1, 114013=1, 114259=1, 114829=1, 114881=1, 114930=1, 114952=1, 115240=1, 115542=1, 115564=1, 115710=1, 116359=1, 116421=1, 116499=1, 116771=1, 116853=1, 116858=1, 116994=1, 117269=1, 117327=1, 117411=1, 117780=1, 117962=1, 117976=1, 118298=1, 118602=1, 118702=1, 118778=1, 118988=1, 119011=1, 119029=1, 119217=1, 119686=1, 119818=1, 119822=1, 119899=1, 119928=1, 120194=1, 120365=1, 120666=1, 120752=1, 120845=1, 120942=1, 120985=1, 120996=1, 121000=1, 121367=1, 121504=1, 121578=1, 121604=1, 121609=1, 121716=1, 122087=1, 122460=1, 122474=1, 122653=1, 122661=1, 122821=1, 122835=1, 122905=1, 123181=1, 123292=1, 123348=1, 123417=1, 123462=1, 123677=1, 123747=1, 123790=1, 124230=1, 124562=1, 124713=1, 124817=1, 125126=1, 125145=1, 125250=1, 125303=1, 125378=1, 125457=1, 125559=1, 125755=1, 125906=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 125152) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=3 ) properties (out of 125152) 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 125151) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 341 ms. (steps per millisecond=2 ) properties (out of 125151) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 335 ms. (steps per millisecond=2 ) properties (out of 125150) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 125149) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 125147) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 534 ms. (steps per millisecond=1 ) properties (out of 125146) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 341 ms. (steps per millisecond=2 ) properties (out of 125146) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=3 ) properties (out of 125144) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 125143) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=3 ) properties (out of 125143) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=3 ) properties (out of 125143) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 322 ms. (steps per millisecond=3 ) properties (out of 125143) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 125143) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 125142) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 125141) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 322 ms. (steps per millisecond=3 ) properties (out of 125141) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 125141) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=3 ) properties (out of 125141) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 125140) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 125138) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 336 ms. (steps per millisecond=2 ) properties (out of 125136) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 125135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 125135) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=3 ) properties (out of 125134) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 125133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 322 ms. (steps per millisecond=3 ) properties (out of 125133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=3 ) properties (out of 125133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 332 ms. (steps per millisecond=3 ) properties (out of 125133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=3 ) properties (out of 125133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 372 ms. (steps per millisecond=2 ) properties (out of 125133) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 356 ms. (steps per millisecond=2 ) properties (out of 125131) 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 125131) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 355 ms. (steps per millisecond=2 ) properties (out of 125131) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=3 ) properties (out of 125131) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=3 ) properties (out of 125131) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 125130) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 125129) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 322 ms. (steps per millisecond=3 ) properties (out of 125128) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 125128) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 125128) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 321 ms. (steps per millisecond=3 ) properties (out of 125126) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 125126) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 125125) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=3 ) properties (out of 125125) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 332 ms. (steps per millisecond=3 ) properties (out of 125124) 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 125123) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=3 ) properties (out of 125122) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 335 ms. (steps per millisecond=2 ) properties (out of 125122) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=3 ) properties (out of 125121) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 321 ms. (steps per millisecond=3 ) properties (out of 125121) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 125120) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 125120) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 125119) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 336 ms. (steps per millisecond=2 ) properties (out of 125119) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 337 ms. (steps per millisecond=2 ) properties (out of 125119) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 125119) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 125117) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=3 ) properties (out of 125117) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 125115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=3 ) properties (out of 125115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 321 ms. (steps per millisecond=3 ) properties (out of 125115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=3 ) properties (out of 125115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=3 ) properties (out of 125115) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 322 ms. (steps per millisecond=3 ) properties (out of 125114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 125114) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=3 ) properties (out of 125113) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 125113) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=3 ) properties (out of 125113) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 355 ms. (steps per millisecond=2 ) properties (out of 125113) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 433 ms. (steps per millisecond=2 ) properties (out of 125113) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=3 ) properties (out of 125113) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 383 ms. (steps per millisecond=2 ) properties (out of 125113) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 404 ms. (steps per millisecond=2 ) properties (out of 125113) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 125112) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 125111) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 321 ms. (steps per millisecond=3 ) properties (out of 125109) 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 125109) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 321 ms. (steps per millisecond=3 ) properties (out of 125109) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 125109) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=3 ) properties (out of 125109) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=3 ) properties (out of 125109) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 125109) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 125109) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 321 ms. (steps per millisecond=3 ) properties (out of 125108) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 321 ms. (steps per millisecond=3 ) properties (out of 125108) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 125108) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=3 ) properties (out of 125108) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 125107) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 125107) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 125107) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 125106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 321 ms. (steps per millisecond=3 ) properties (out of 125106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=3 ) properties (out of 125106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 125106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 332 ms. (steps per millisecond=3 ) properties (out of 125106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=3 ) properties (out of 125106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 125106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=3 ) properties (out of 125106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 125106) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=3 ) properties (out of 125105) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=3 ) properties (out of 125104) 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 125103) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 337 ms. (steps per millisecond=2 ) properties (out of 125102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=3 ) properties (out of 125102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 335 ms. (steps per millisecond=2 ) properties (out of 125102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 345 ms. (steps per millisecond=2 ) properties (out of 125102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=3 ) properties (out of 125102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=3 ) properties (out of 125102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 339 ms. (steps per millisecond=2 ) properties (out of 125102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 334 ms. (steps per millisecond=2 ) properties (out of 125102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 342 ms. (steps per millisecond=2 ) properties (out of 125102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 338 ms. (steps per millisecond=2 ) properties (out of 125102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 125102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=3 ) properties (out of 125102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=3 ) properties (out of 125102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=3 ) properties (out of 125102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=3 ) properties (out of 125102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=3 ) properties (out of 125102) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=3 ) properties (out of 125101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=3 ) properties (out of 125101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 125101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 125101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 125101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=3 ) properties (out of 125101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 322 ms. (steps per millisecond=3 ) properties (out of 125101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 125101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 125101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=3 ) properties (out of 125101) 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 125101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=3 ) properties (out of 125101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 322 ms. (steps per millisecond=3 ) properties (out of 125101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=3 ) properties (out of 125101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 125101) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=3 ) properties (out of 125100) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 321 ms. (steps per millisecond=3 ) properties (out of 125100) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=3 ) properties (out of 125100) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=3 ) properties (out of 125099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 341 ms. (steps per millisecond=2 ) properties (out of 125099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=3 ) properties (out of 125099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=3 ) properties (out of 125099) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 338 ms. (steps per millisecond=2 ) properties (out of 125098) 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 125097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 336 ms. (steps per millisecond=2 ) properties (out of 125097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 333 ms. (steps per millisecond=3 ) properties (out of 125097) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=3 ) properties (out of 125096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=3 ) properties (out of 125096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 125096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=3 ) properties (out of 125096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 125096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=3 ) properties (out of 125096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 334 ms. (steps per millisecond=2 ) properties (out of 125096) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=3 ) properties (out of 125095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=3 ) properties (out of 125095) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 332 ms. (steps per millisecond=3 ) properties (out of 125094) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 363 ms. (steps per millisecond=2 ) properties (out of 125094) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 321 ms. (steps per millisecond=3 ) properties (out of 125094) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 374 ms. (steps per millisecond=2 ) properties (out of 125094) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 423 ms. (steps per millisecond=2 ) properties (out of 125094) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=3 ) properties (out of 125094) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 125094) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 125093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 125093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 125093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=3 ) properties (out of 125093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=3 ) properties (out of 125093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=3 ) properties (out of 125093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=3 ) properties (out of 125093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=3 ) properties (out of 125093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 334 ms. (steps per millisecond=2 ) properties (out of 125093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=3 ) properties (out of 125093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=3 ) properties (out of 125093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 332 ms. (steps per millisecond=3 ) properties (out of 125093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 335 ms. (steps per millisecond=2 ) properties (out of 125093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 369 ms. (steps per millisecond=2 ) properties (out of 125093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 362 ms. (steps per millisecond=2 ) properties (out of 125093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 364 ms. (steps per millisecond=2 ) properties (out of 125093) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 368 ms. (steps per millisecond=2 ) properties (out of 125092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 362 ms. (steps per millisecond=2 ) properties (out of 125092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 363 ms. (steps per millisecond=2 ) properties (out of 125092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 365 ms. (steps per millisecond=2 ) properties (out of 125092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 369 ms. (steps per millisecond=2 ) properties (out of 125092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 364 ms. (steps per millisecond=2 ) properties (out of 125092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 367 ms. (steps per millisecond=2 ) properties (out of 125092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 371 ms. (steps per millisecond=2 ) properties (out of 125092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 362 ms. (steps per millisecond=2 ) properties (out of 125092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=3 ) properties (out of 125092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=3 ) properties (out of 125092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=3 ) properties (out of 125092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=3 ) properties (out of 125092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=3 ) properties (out of 125092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=3 ) properties (out of 125092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=3 ) properties (out of 125092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 337 ms. (steps per millisecond=2 ) properties (out of 125092) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 335 ms. (steps per millisecond=2 ) properties (out of 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 343 ms. (steps per millisecond=2 ) properties (out of 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 321 ms. (steps per millisecond=3 ) properties (out of 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=3 ) properties (out of 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 125091) 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 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 125091) 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 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 322 ms. (steps per millisecond=3 ) properties (out of 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 125091) 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 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 125091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 125091) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 335 ms. (steps per millisecond=2 ) properties (out of 125089) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 125089) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 125089) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=3 ) properties (out of 125089) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 125088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 125088) 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 125088) 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 125088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 125088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 125088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 125088) 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 125088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 125088) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 125087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 125087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=3 ) properties (out of 125087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 125087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 367 ms. (steps per millisecond=2 ) properties (out of 125087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=3 ) properties (out of 125087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 125087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 125087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 125087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 125087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 125087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 125087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 125087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 125087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 125087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 125087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 125087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 125087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 125087) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=3 ) properties (out of 125086) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 125086) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 125085) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 322 ms. (steps per millisecond=3 ) properties (out of 125085) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=3 ) properties (out of 125085) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=3 ) properties (out of 125085) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=3 ) properties (out of 125085) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=3 ) properties (out of 125085) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=3 ) properties (out of 125085) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=3 ) properties (out of 125085) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 125085) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 125085) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 125085) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 321 ms. (steps per millisecond=3 ) properties (out of 125085) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=3 ) properties (out of 125085) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=3 ) properties (out of 125085) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 125085) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 125085) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 321 ms. (steps per millisecond=3 ) properties (out of 125085) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 125085) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 125084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 322 ms. (steps per millisecond=3 ) properties (out of 125084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=3 ) properties (out of 125084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=3 ) properties (out of 125084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=3 ) properties (out of 125084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=3 ) properties (out of 125084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=3 ) properties (out of 125084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 125084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 125084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 125084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=3 ) properties (out of 125084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 322 ms. (steps per millisecond=3 ) properties (out of 125084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 125084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 125084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=3 ) properties (out of 125084) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=3 ) properties (out of 125083) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 125083) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 125083) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 322 ms. (steps per millisecond=3 ) properties (out of 125083) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 125083) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 322 ms. (steps per millisecond=3 ) properties (out of 125082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 335 ms. (steps per millisecond=2 ) properties (out of 125082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 321 ms. (steps per millisecond=3 ) properties (out of 125082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 125082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 322 ms. (steps per millisecond=3 ) properties (out of 125082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 321 ms. (steps per millisecond=3 ) properties (out of 125082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=3 ) properties (out of 125082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 322 ms. (steps per millisecond=3 ) properties (out of 125082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 322 ms. (steps per millisecond=3 ) properties (out of 125082) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 322 ms. (steps per millisecond=3 ) properties (out of 125080) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 391 ms. (steps per millisecond=2 ) properties (out of 125080) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 403 ms. (steps per millisecond=2 ) properties (out of 125079) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=3 ) properties (out of 125079) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=3 ) properties (out of 125079) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=3 ) properties (out of 125079) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 125079) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=3 ) properties (out of 125079) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=3 ) properties (out of 125079) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=3 ) properties (out of 125079) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=3 ) properties (out of 125079) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 125078) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=3 ) properties (out of 125077) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=3 ) properties (out of 125077) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 321 ms. (steps per millisecond=3 ) properties (out of 125077) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 321 ms. (steps per millisecond=3 ) properties (out of 125077) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 125077) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 321 ms. (steps per millisecond=3 ) properties (out of 125077) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 125077) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=3 ) properties (out of 125077) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 125077) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 445 ms. (steps per millisecond=2 ) properties (out of 125077) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 339 ms. (steps per millisecond=2 ) properties (out of 125077) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 125077) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 125077) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=3 ) properties (out of 125076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=3 ) properties (out of 125076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=3 ) properties (out of 125076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=3 ) properties (out of 125076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=3 ) properties (out of 125076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=3 ) properties (out of 125076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 368 ms. (steps per millisecond=2 ) properties (out of 125076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 426 ms. (steps per millisecond=2 ) properties (out of 125076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 369 ms. (steps per millisecond=2 ) properties (out of 125076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 364 ms. (steps per millisecond=2 ) properties (out of 125076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 368 ms. (steps per millisecond=2 ) properties (out of 125076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 369 ms. (steps per millisecond=2 ) properties (out of 125076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 361 ms. (steps per millisecond=2 ) properties (out of 125076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 340 ms. (steps per millisecond=2 ) properties (out of 125076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 373 ms. (steps per millisecond=2 ) properties (out of 125076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 370 ms. (steps per millisecond=2 ) properties (out of 125076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 370 ms. (steps per millisecond=2 ) properties (out of 125076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 369 ms. (steps per millisecond=2 ) properties (out of 125076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 356 ms. (steps per millisecond=2 ) properties (out of 125076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 363 ms. (steps per millisecond=2 ) properties (out of 125076) 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 125076) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 354 ms. (steps per millisecond=2 ) properties (out of 125075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 355 ms. (steps per millisecond=2 ) properties (out of 125075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 358 ms. (steps per millisecond=2 ) properties (out of 125075) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 355 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 356 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 355 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 358 ms. (steps per millisecond=2 ) properties (out of 125074) 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 125074) 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 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 356 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 359 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 358 ms. (steps per millisecond=2 ) properties (out of 125074) 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 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 333 ms. (steps per millisecond=3 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=3 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 348 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 358 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 360 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 361 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 366 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 371 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 371 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 368 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 367 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 363 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 372 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 371 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 367 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 363 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 367 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 362 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 360 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 363 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 369 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 370 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 361 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 335 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 354 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=3 ) properties (out of 125074) 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 125074) 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 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 366 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 370 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 372 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 365 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 358 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 358 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 358 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 366 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 360 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 358 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 355 ms. (steps per millisecond=2 ) properties (out of 125074) seen :0
Interrupted probabilistic random walk after 2234 steps, run timeout after 30142 ms. (steps per millisecond=0 ) properties seen :{3727=1, 8392=1, 20845=1, 33502=1, 40822=1, 51433=1, 55274=1, 60131=1, 70675=1, 71197=1, 76592=1, 80427=1, 84505=1, 100857=1, 108067=1, 109663=1, 123245=1}
Probabilistic random walk after 2234 steps, saw 2157 distinct states, run finished after 30146 ms. (steps per millisecond=0 ) properties seen :{3727=1, 8392=1, 20845=1, 33502=1, 40822=1, 51433=1, 55274=1, 60131=1, 70675=1, 71197=1, 76592=1, 80427=1, 84505=1, 100857=1, 108067=1, 109663=1, 123245=1}
Running SMT prover for 125057 properties.
// Phase 1: matrix 127551 rows 2601 cols
[2021-05-18 22:59:05] [INFO ] Computed 51 place invariants in 676 ms
[2021-05-18 23:02:51] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 125057 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 1286 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.
[2021-05-18 23:02:59] [INFO ] Flatten gal took : 4627 ms
[2021-05-18 23:03:03] [INFO ] Flatten gal took : 4267 ms
[2021-05-18 23:03:04] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8994737652685120735.gal : 609 ms
[2021-05-18 23:03:04] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality886555841389027717.prop : 236 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/ReachabilityCardinality8994737652685120735.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality886555841389027717.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/ReachabilityCardinality8994737652685120735.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality886555841389027717.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2021-05-18 23:03:26] [INFO ] Flatten gal took : 5616 ms
[2021-05-18 23:03:26] [INFO ] Applying decomposition
[2021-05-18 23:03:30] [INFO ] Flatten gal took : 4039 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/graph2128288758663822464.txt, -o, /tmp/graph2128288758663822464.bin, -w, /tmp/graph2128288758663822464.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/graph2128288758663822464.bin, -l, -1, -v, -w, /tmp/graph2128288758663822464.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 23:03:51] [INFO ] Decomposing Gal with order
[2021-05-18 23:03:52] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 23:04:12] [INFO ] Removed a total of 303947 redundant transitions.
[2021-05-18 23:04:15] [INFO ] Flatten gal took : 8324 ms
[2021-05-18 23:11:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 2099 labels/synchronizations in 7180 ms.
[2021-05-18 23:11:58] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality12402675319866719046.gal : 333 ms
[2021-05-18 23:11:59] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15164387997289602962.prop : 999 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/ReachabilityCardinality12402675319866719046.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality15164387997289602962.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/ReachabilityCardinality12402675319866719046.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality15164387997289602962.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin6741481541751208576
[2021-05-18 23:12:18] [INFO ] Built C files in 3303ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin6741481541751208576
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/ltsmin6741481541751208576]
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/ltsmin6741481541751208576] 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/ltsmin6741481541751208576] 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 1621379559583

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is TokenRing-PT-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 r280-smll-162123888000084"
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 ;