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-162123888000074.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-030, examination is Liveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r280-smll-162123888000074
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 229M
-rw-r--r-- 1 mcc users 1.3M May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 6.3M May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 29M May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 100M 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 488K Mar 28 16:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 1.7M Mar 28 16:46 LTLCardinality.xml
-rw-r--r-- 1 mcc users 8.4M Mar 28 16:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 24M Mar 28 16:46 LTLFireability.xml
-rw-r--r-- 1 mcc users 529K Mar 27 14:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.7M Mar 27 14:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11M Mar 25 20:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 28M Mar 25 20:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 110K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 262K 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 20M 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 1621373979662

Running Version 0
[2021-05-18 21:39:42] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, Liveness, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2021-05-18 21:39:42] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-18 21:39:43] [INFO ] Load time of PNML (sax parser for PT used): 1150 ms
[2021-05-18 21:39:44] [INFO ] Transformed 961 places.
[2021-05-18 21:39:44] [INFO ] Transformed 27931 transitions.
[2021-05-18 21:39:44] [INFO ] Found NUPN structural information;
[2021-05-18 21:39:44] [INFO ] Parsed PT model containing 961 places and 27931 transitions in 1377 ms.
Built sparse matrix representations for Structural reductions in 42 ms.126407KB memory used
Starting structural reductions, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 317 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 961/961 places, 27931/27931 transitions.
Starting structural reductions, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 297 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
// Phase 1: matrix 27931 rows 961 cols
[2021-05-18 21:39:46] [INFO ] Computed 31 place invariants in 227 ms
[2021-05-18 21:39:47] [INFO ] Implicit Places using invariants in 953 ms returned []
Implicit Place search using SMT only with invariants took 1032 ms to find 0 implicit places.
// Phase 1: matrix 27931 rows 961 cols
[2021-05-18 21:39:47] [INFO ] Computed 31 place invariants in 144 ms
[2021-05-18 21:40:12] [INFO ] Dead Transitions using invariants and state equation in 24703 ms returned []
Finished structural reductions, in 1 iterations. Remains : 961/961 places, 27931/27931 transitions.
Random walk for 1250000 steps, including 0 resets, run took 25530 ms (no deadlock found). (steps per millisecond=48 )
// Phase 1: matrix 27931 rows 961 cols
[2021-05-18 21:40:37] [INFO ] Computed 31 place invariants in 57 ms
[2021-05-18 21:40:47] [INFO ] [Real]Absence check using 31 positive place invariants in 303 ms returned unsat
Starting structural reductions, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 1594 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
// Phase 1: matrix 27931 rows 961 cols
[2021-05-18 21:40:48] [INFO ] Computed 31 place invariants in 65 ms
[2021-05-18 21:40:53] [INFO ] Implicit Places using invariants in 4355 ms returned []
Implicit Place search using SMT only with invariants took 4366 ms to find 0 implicit places.
// Phase 1: matrix 27931 rows 961 cols
[2021-05-18 21:40:53] [INFO ] Computed 31 place invariants in 85 ms
[2021-05-18 21:41:10] [INFO ] Dead Transitions using invariants and state equation in 17772 ms returned []
Finished structural reductions, in 1 iterations. Remains : 961/961 places, 27931/27931 transitions.
[2021-05-18 21:41:11] [INFO ] Initial state test concluded for 30 properties.
Interrupted random walk after 6825 steps, including 2 resets, run timeout after 30002 ms. (steps per millisecond=0 ) properties seen :{18=1, 50=1, 60=1, 63=1, 71=1, 82=1, 116=1, 118=1, 204=1, 213=1, 225=1, 230=1, 243=1, 268=1, 287=1, 302=1, 323=1, 324=1, 356=1, 358=1, 365=1, 387=1, 394=1, 421=1, 439=1, 513=1, 527=1, 528=1, 535=1, 545=1, 570=1, 609=1, 614=1, 653=1, 665=1, 731=1, 736=1, 745=1, 766=1, 792=1, 804=1, 834=1, 874=1, 963=1, 972=1, 986=1, 1012=1, 1013=1, 1016=1, 1030=1, 1035=1, 1073=1, 1086=1, 1113=1, 1118=1, 1148=1, 1153=1, 1155=1, 1168=1, 1249=1, 1255=1, 1291=1, 1292=1, 1303=1, 1304=1, 1332=1, 1350=1, 1379=1, 1390=1, 1397=1, 1411=1, 1415=1, 1420=1, 1425=1, 1498=1, 1507=1, 1542=1, 1561=1, 1642=1, 1660=1, 1666=1, 1681=1, 1696=1, 1719=1, 1726=1, 1731=1, 1781=1, 1786=1, 1787=1, 1804=1, 1845=1, 1871=1, 1876=1, 1882=1, 1887=1, 1909=1, 1912=1, 1938=1, 1952=1, 1957=1, 1962=1, 1990=1, 2005=1, 2014=1, 2020=1, 2021=1, 2045=1, 2046=1, 2139=1, 2144=1, 2173=1, 2189=1, 2210=1, 2282=1, 2334=1, 2358=1, 2362=1, 2396=1, 2404=1, 2424=1, 2431=1, 2497=1, 2554=1, 2566=1, 2614=1, 2646=1, 2673=1, 2694=1, 2699=1, 2704=1, 2746=1, 2785=1, 2797=1, 2836=1, 2841=1, 2900=1, 2913=1, 2962=1, 2969=1, 3045=1, 3079=1, 3104=1, 3121=1, 3149=1, 3152=1, 3175=1, 3181=1, 3200=1, 3226=1, 3243=1, 3279=1, 3281=1, 3323=1, 3364=1, 3384=1, 3410=1, 3414=1, 3429=1, 3434=1, 3441=1, 3453=1, 3468=1, 3488=1, 3520=1, 3521=1, 3546=1, 3584=1, 3597=1, 3615=1, 3627=1, 3636=1, 3640=1, 3651=1, 3685=1, 3693=1, 3724=1, 3794=1, 3863=1, 3888=1, 3889=1, 3900=1, 3907=1, 3950=1, 4008=1, 4032=1, 4040=1, 4048=1, 4058=1, 4060=1, 4074=1, 4075=1, 4085=1, 4086=1, 4098=1, 4136=1, 4138=1, 4148=1, 4177=1, 4180=1, 4187=1, 4218=1, 4244=1, 4308=1, 4320=1, 4325=1, 4418=1, 4420=1, 4427=1, 4434=1, 4435=1, 4438=1, 4453=1, 4463=1, 4513=1, 4540=1, 4577=1, 4593=1, 4611=1, 4618=1, 4659=1, 4700=1, 4704=1, 4728=1, 4746=1, 4749=1, 4771=1, 4779=1, 4802=1, 4817=1, 4852=1, 4869=1, 4921=1, 4963=1, 4965=1, 4997=1, 5030=1, 5077=1, 5078=1, 5113=1, 5183=1, 5185=1, 5192=1, 5199=1, 5202=1, 5221=1, 5243=1, 5251=1, 5266=1, 5281=1, 5324=1, 5329=1, 5346=1, 5357=1, 5365=1, 5403=1, 5411=1, 5423=1, 5427=1, 5436=1, 5443=1, 5453=1, 5468=1, 5479=1, 5486=1, 5514=1, 5557=1, 5563=1, 5577=1, 5581=1, 5615=1, 5644=1, 5664=1, 5748=1, 5752=1, 5777=1, 5784=1, 5829=1, 5845=1, 5856=1, 5863=1, 5883=1, 5915=1, 5945=1, 5970=1, 6027=1, 6047=1, 6048=1, 6083=1, 6119=1, 6152=1, 6187=1, 6226=1, 6235=1, 6290=1, 6293=1, 6323=1, 6336=1, 6342=1, 6355=1, 6400=1, 6489=1, 6490=1, 6569=1, 6570=1, 6577=1, 6621=1, 6630=1, 6634=1, 6641=1, 6667=1, 6681=1, 6687=1, 6698=1, 6713=1, 6729=1, 6751=1, 6770=1, 6813=1, 6816=1, 6824=1, 6845=1, 6915=1, 6918=1, 6960=1, 6962=1, 7024=1, 7032=1, 7043=1, 7094=1, 7115=1, 7138=1, 7174=1, 7206=1, 7226=1, 7246=1, 7248=1, 7276=1, 7285=1, 7307=1, 7372=1, 7376=1, 7406=1, 7407=1, 7454=1, 7478=1, 7545=1, 7564=1, 7591=1, 7622=1, 7650=1, 7654=1, 7659=1, 7676=1, 7705=1, 7723=1, 7760=1, 7792=1, 7795=1, 7799=1, 7828=1, 7844=1, 7893=1, 7895=1, 7902=1, 7903=1, 7920=1, 7938=1, 7959=1, 7979=1, 7981=1, 7992=1, 7994=1, 8029=1, 8034=1, 8038=1, 8059=1, 8067=1, 8068=1, 8133=1, 8160=1, 8217=1, 8268=1, 8271=1, 8325=1, 8353=1, 8358=1, 8404=1, 8442=1, 8450=1, 8462=1, 8484=1, 8505=1, 8510=1, 8524=1, 8544=1, 8552=1, 8606=1, 8622=1, 8641=1, 8644=1, 8651=1, 8693=1, 8815=1, 8861=1, 8877=1, 8932=1, 8960=1, 8963=1, 8981=1, 9009=1, 9016=1, 9068=1, 9069=1, 9078=1, 9080=1, 9094=1, 9114=1, 9122=1, 9166=1, 9176=1, 9191=1, 9229=1, 9251=1, 9293=1, 9311=1, 9322=1, 9327=1, 9339=1, 9405=1, 9409=1, 9475=1, 9540=1, 9545=1, 9597=1, 9609=1, 9610=1, 9623=1, 9641=1, 9668=1, 9689=1, 9731=1, 9746=1, 9769=1, 9795=1, 9801=1, 9865=1, 9871=1, 9955=1, 9981=1, 10077=1, 10083=1, 10112=1, 10121=1, 10126=1, 10127=1, 10134=1, 10145=1, 10194=1, 10227=1, 10244=1, 10246=1, 10259=1, 10332=1, 10373=1, 10377=1, 10424=1, 10435=1, 10467=1, 10500=1, 10508=1, 10518=1, 10523=1, 10572=1, 10573=1, 10626=1, 10652=1, 10666=1, 10684=1, 10737=1, 10754=1, 10755=1, 10780=1, 10782=1, 10784=1, 10816=1, 10820=1, 10845=1, 10889=1, 10891=1, 10910=1, 10914=1, 10941=1, 10978=1, 10987=1, 10988=1, 10993=1, 11003=1, 11008=1, 11012=1, 11045=1, 11058=1, 11076=1, 11094=1, 11103=1, 11207=1, 11219=1, 11223=1, 11234=1, 11239=1, 11243=1, 11258=1, 11265=1, 11284=1, 11294=1, 11314=1, 11354=1, 11355=1, 11384=1, 11396=1, 11397=1, 11411=1, 11470=1, 11489=1, 11540=1, 11545=1, 11572=1, 11578=1, 11616=1, 11626=1, 11633=1, 11651=1, 11655=1, 11660=1, 11680=1, 11688=1, 11703=1, 11706=1, 11730=1, 11744=1, 11758=1, 11806=1, 11845=1, 11855=1, 11890=1, 11932=1, 11982=1, 11994=1, 12009=1, 12016=1, 12090=1, 12143=1, 12166=1, 12167=1, 12177=1, 12235=1, 12243=1, 12267=1, 12282=1, 12287=1, 12324=1, 12335=1, 12351=1, 12371=1, 12376=1, 12427=1, 12527=1, 12535=1, 12538=1, 12564=1, 12572=1, 12584=1, 12624=1, 12640=1, 12663=1, 12669=1, 12715=1, 12770=1, 12806=1, 12837=1, 12851=1, 12887=1, 12942=1, 12947=1, 12963=1, 12964=1, 12966=1, 13115=1, 13197=1, 13207=1, 13216=1, 13280=1, 13295=1, 13331=1, 13336=1, 13349=1, 13354=1, 13369=1, 13380=1, 13416=1, 13428=1, 13440=1, 13445=1, 13473=1, 13477=1, 13483=1, 13486=1, 13491=1, 13497=1, 13524=1, 13525=1, 13532=1, 13539=1, 13559=1, 13564=1, 13591=1, 13597=1, 13612=1, 13618=1, 13651=1, 13654=1, 13671=1, 13675=1, 13735=1, 13737=1, 13752=1, 13754=1, 13777=1, 13795=1, 13808=1, 13897=1, 13917=1, 13955=1, 13965=1, 13987=1, 14004=1, 14019=1, 14036=1, 14041=1, 14077=1, 14086=1, 14088=1, 14100=1, 14124=1, 14130=1, 14164=1, 14193=1, 14215=1, 14224=1, 14234=1, 14278=1, 14293=1, 14295=1, 14323=1, 14421=1, 14456=1, 14480=1, 14485=1, 14525=1, 14533=1, 14550=1, 14569=1, 14575=1, 14614=1, 14648=1, 14655=1, 14661=1, 14672=1, 14700=1, 14717=1, 14777=1, 14808=1, 14825=1, 14876=1, 14915=1, 14921=1, 14924=1, 14926=1, 14935=1, 14942=1, 14970=1, 14988=1, 14989=1, 15035=1, 15050=1, 15125=1, 15153=1, 15192=1, 15199=1, 15210=1, 15213=1, 15230=1, 15247=1, 15280=1, 15281=1, 15348=1, 15361=1, 15379=1, 15415=1, 15474=1, 15491=1, 15507=1, 15538=1, 15596=1, 15603=1, 15625=1, 15627=1, 15641=1, 15644=1, 15647=1, 15669=1, 15702=1, 15711=1, 15730=1, 15795=1, 15826=1, 15830=1, 15851=1, 15855=1, 15868=1, 15875=1, 15895=1, 15908=1, 15912=1, 15961=1, 16039=1, 16040=1, 16050=1, 16101=1, 16121=1, 16146=1, 16152=1, 16166=1, 16174=1, 16176=1, 16181=1, 16185=1, 16186=1, 16211=1, 16212=1, 16216=1, 16228=1, 16248=1, 16266=1, 16294=1, 16352=1, 16364=1, 16393=1, 16402=1, 16403=1, 16419=1, 16424=1, 16434=1, 16446=1, 16452=1, 16499=1, 16501=1, 16521=1, 16524=1, 16580=1, 16585=1, 16589=1, 16603=1, 16622=1, 16627=1, 16633=1, 16679=1, 16703=1, 16714=1, 16726=1, 16764=1, 16800=1, 16850=1, 16871=1, 16883=1, 16901=1, 16906=1, 16910=1, 16952=1, 16962=1, 16973=1, 16976=1, 16986=1, 17023=1, 17049=1, 17059=1, 17072=1, 17079=1, 17086=1, 17092=1, 17112=1, 17116=1, 17125=1, 17170=1, 17171=1, 17217=1, 17226=1, 17248=1, 17270=1, 17350=1, 17380=1, 17393=1, 17410=1, 17412=1, 17454=1, 17470=1, 17481=1, 17506=1, 17540=1, 17592=1, 17621=1, 17636=1, 17641=1, 17645=1, 17713=1, 17724=1, 17770=1, 17787=1, 17790=1, 17828=1, 17839=1, 17858=1, 17859=1, 17864=1, 17963=1, 17999=1, 18085=1, 18102=1, 18120=1, 18129=1, 18160=1, 18172=1, 18195=1, 18210=1, 18247=1, 18262=1, 18280=1, 18306=1, 18344=1, 18352=1, 18367=1, 18375=1, 18382=1, 18414=1, 18415=1, 18438=1, 18453=1, 18459=1, 18463=1, 18497=1, 18533=1, 18583=1, 18605=1, 18638=1, 18683=1, 18689=1, 18690=1, 18730=1, 18732=1, 18773=1, 18779=1, 18798=1, 18855=1, 18859=1, 18882=1, 18891=1, 18903=1, 18933=1, 18934=1, 18993=1, 19014=1, 19015=1, 19027=1, 19059=1, 19096=1, 19107=1, 19123=1, 19148=1, 19168=1, 19173=1, 19177=1, 19188=1, 19229=1, 19284=1, 19306=1, 19327=1, 19345=1, 19373=1, 19390=1, 19443=1, 19477=1, 19484=1, 19498=1, 19504=1, 19506=1, 19511=1, 19514=1, 19518=1, 19559=1, 19592=1, 19611=1, 19658=1, 19659=1, 19670=1, 19675=1, 19694=1, 19714=1, 19727=1, 19744=1, 19768=1, 19773=1, 19793=1, 19802=1, 19810=1, 19820=1, 19825=1, 19827=1, 19836=1, 19861=1, 19870=1, 19876=1, 19910=1, 19924=1, 19938=1, 19987=1, 20001=1, 20008=1, 20009=1, 20036=1, 20041=1, 20170=1, 20174=1, 20177=1, 20184=1, 20224=1, 20232=1, 20248=1, 20278=1, 20305=1, 20311=1, 20314=1, 20320=1, 20326=1, 20351=1, 20382=1, 20384=1, 20391=1, 20402=1, 20422=1, 20424=1, 20425=1, 20431=1, 20463=1, 20468=1, 20486=1, 20534=1, 20551=1, 20559=1, 20575=1, 20589=1, 20635=1, 20663=1, 20716=1, 20776=1, 20789=1, 20798=1, 20843=1, 20849=1, 20852=1, 20859=1, 20876=1, 20881=1, 20915=1, 20920=1, 20946=1, 20999=1, 21016=1, 21033=1, 21039=1, 21070=1, 21080=1, 21107=1, 21120=1, 21246=1, 21311=1, 21315=1, 21321=1, 21330=1, 21345=1, 21353=1, 21354=1, 21370=1, 21381=1, 21410=1, 21416=1, 21445=1, 21449=1, 21495=1, 21497=1, 21501=1, 21506=1, 21527=1, 21546=1, 21548=1, 21574=1, 21597=1, 21690=1, 21718=1, 21727=1, 21751=1, 21771=1, 21797=1, 21842=1, 21872=1, 21966=1, 21969=1, 21993=1, 22071=1, 22090=1, 22139=1, 22148=1, 22180=1, 22182=1, 22203=1, 22240=1, 22275=1, 22278=1, 22279=1, 22298=1, 22310=1, 22342=1, 22350=1, 22365=1, 22401=1, 22417=1, 22517=1, 22540=1, 22550=1, 22555=1, 22575=1, 22633=1, 22654=1, 22661=1, 22681=1, 22682=1, 22684=1, 22688=1, 22749=1, 22759=1, 22783=1, 22820=1, 22821=1, 22836=1, 22900=1, 22914=1, 22942=1, 22947=1, 22954=1, 22965=1, 22966=1, 22971=1, 22978=1, 22985=1, 22999=1, 23008=1, 23049=1, 23051=1, 23053=1, 23057=1, 23090=1, 23129=1, 23130=1, 23138=1, 23141=1, 23153=1, 23163=1, 23170=1, 23211=1, 23218=1, 23241=1, 23248=1, 23261=1, 23270=1, 23285=1, 23305=1, 23310=1, 23328=1, 23377=1, 23405=1, 23425=1, 23430=1, 23441=1, 23471=1, 23535=1, 23545=1, 23554=1, 23560=1, 23619=1, 23629=1, 23648=1, 23670=1, 23673=1, 23676=1, 23688=1, 23709=1, 23720=1, 23721=1, 23723=1, 23768=1, 23771=1, 23782=1, 23788=1, 23795=1, 23841=1, 23856=1, 23872=1, 23903=1, 23911=1, 23917=1, 23921=1, 23950=1, 23969=1, 23980=1, 23991=1, 24013=1, 24026=1, 24031=1, 24033=1, 24071=1, 24072=1, 24083=1, 24084=1, 24109=1, 24155=1, 24178=1, 24190=1, 24212=1, 24219=1, 24329=1, 24334=1, 24351=1, 24376=1, 24381=1, 24449=1, 24462=1, 24463=1, 24465=1, 24466=1, 24532=1, 24549=1, 24561=1, 24563=1, 24584=1, 24634=1, 24662=1, 24675=1, 24734=1, 24741=1, 24765=1, 24776=1, 24816=1, 24827=1, 24837=1, 24883=1, 24921=1, 24931=1, 24938=1, 24944=1, 24946=1, 24965=1, 24978=1, 24996=1, 25000=1, 25001=1, 25003=1, 25108=1, 25160=1, 25177=1, 25201=1, 25259=1, 25280=1, 25312=1, 25315=1, 25379=1, 25384=1, 25449=1, 25493=1, 25546=1, 25581=1, 25589=1, 25599=1, 25670=1, 25680=1, 25728=1, 25753=1, 25784=1, 25812=1, 25835=1, 25840=1, 25868=1, 25906=1, 25945=1, 25957=1, 25965=1, 25987=1, 25998=1, 25999=1, 26065=1, 26076=1, 26127=1, 26147=1, 26148=1, 26156=1, 26164=1, 26173=1, 26174=1, 26210=1, 26213=1, 26278=1, 26317=1, 26370=1, 26395=1, 26409=1, 26418=1, 26421=1, 26485=1, 26510=1, 26523=1, 26538=1, 26544=1, 26553=1, 26554=1, 26618=1, 26621=1, 26685=1, 26698=1, 26699=1, 26737=1, 26786=1, 26791=1, 26800=1, 26801=1, 26802=1, 26816=1, 26852=1, 26867=1, 26902=1, 26924=1, 26964=1, 26991=1, 27017=1, 27039=1, 27043=1, 27047=1, 27051=1, 27066=1, 27073=1, 27084=1, 27101=1, 27117=1, 27136=1, 27149=1, 27159=1, 27172=1, 27254=1, 27328=1, 27364=1, 27383=1, 27386=1, 27468=1, 27479=1, 27480=1, 27510=1, 27512=1, 27517=1, 27521=1, 27545=1, 27564=1, 27576=1, 27613=1, 27614=1, 27626=1, 27660=1, 27678=1, 27685=1, 27705=1, 27733=1, 27753=1, 27759=1, 27766=1, 27791=1, 27797=1, 27844=1, 27852=1, 27861=1}
Interrupted probabilistic random walk after 14602 steps, run timeout after 30006 ms. (steps per millisecond=0 ) properties seen :{8=1, 131=1, 224=1, 264=1, 298=1, 372=1, 445=1, 468=1, 762=1, 900=1, 1149=1, 1335=1, 1369=1, 2091=1, 2170=1, 2223=1, 2361=1, 2560=1, 2611=1, 2632=1, 2666=1, 3107=1, 3118=1, 3121=1, 3152=1, 3222=1, 3435=1, 3700=1, 3989=1, 4005=1, 4139=1, 4177=1, 4195=1, 4406=1, 4496=1, 4554=1, 4579=1, 4644=1, 4846=1, 5006=1, 5029=1, 5323=1, 5475=1, 5633=1, 5664=1, 5765=1, 5844=1, 5938=1, 5955=1, 6046=1, 6151=1, 6790=1, 6941=1, 6962=1, 7084=1, 7338=1, 7412=1, 7820=1, 7865=1, 8037=1, 8188=1, 8191=1, 8607=1, 8960=1, 9077=1, 9214=1, 9340=1, 9628=1, 9766=1, 9945=1, 9967=1, 10035=1, 10039=1, 10165=1, 10180=1, 10246=1, 10297=1, 10341=1, 10922=1, 11698=1, 11971=1, 11979=1, 12180=1, 12265=1, 12446=1, 12455=1, 12463=1, 12593=1, 12691=1, 12936=1, 12949=1, 13113=1, 13187=1, 14127=1, 14223=1, 14250=1, 14268=1, 14437=1, 14881=1, 14975=1, 14990=1, 15220=1, 15253=1, 15317=1, 15364=1, 15489=1, 15490=1, 15535=1, 15847=1, 15881=1, 16161=1, 16245=1, 16472=1, 16473=1, 16598=1, 16728=1, 16804=1, 16967=1, 17433=1, 17444=1, 18042=1, 18367=1, 18394=1, 18616=1, 18877=1, 18906=1, 19047=1, 19068=1, 19110=1, 19352=1, 19756=1, 19779=1, 19868=1, 20039=1, 20072=1, 20330=1, 20743=1, 20848=1, 20996=1, 21133=1, 21179=1, 21215=1, 21217=1, 21458=1, 21459=1, 21536=1, 21590=1, 21610=1, 21708=1, 21722=1, 21801=1, 21826=1, 21988=1, 22247=1, 22280=1, 22307=1, 22472=1, 22536=1, 22727=1, 23000=1, 23065=1, 23093=1, 23107=1, 23320=1, 23559=1, 23607=1, 23728=1, 23780=1, 23906=1, 24107=1, 24150=1, 24178=1, 24488=1, 24490=1, 24787=1, 24822=1, 24852=1, 24862=1, 25052=1, 25177=1, 25643=1, 25659=1, 25863=1, 26244=1, 26325=1}
Probabilistic random walk after 14602 steps, saw 5345 distinct states, run finished after 30008 ms. (steps per millisecond=0 ) properties seen :{8=1, 131=1, 224=1, 264=1, 298=1, 372=1, 445=1, 468=1, 762=1, 900=1, 1149=1, 1335=1, 1369=1, 2091=1, 2170=1, 2223=1, 2361=1, 2560=1, 2611=1, 2632=1, 2666=1, 3107=1, 3118=1, 3121=1, 3152=1, 3222=1, 3435=1, 3700=1, 3989=1, 4005=1, 4139=1, 4177=1, 4195=1, 4406=1, 4496=1, 4554=1, 4579=1, 4644=1, 4846=1, 5006=1, 5029=1, 5323=1, 5475=1, 5633=1, 5664=1, 5765=1, 5844=1, 5938=1, 5955=1, 6046=1, 6151=1, 6790=1, 6941=1, 6962=1, 7084=1, 7338=1, 7412=1, 7820=1, 7865=1, 8037=1, 8188=1, 8191=1, 8607=1, 8960=1, 9077=1, 9214=1, 9340=1, 9628=1, 9766=1, 9945=1, 9967=1, 10035=1, 10039=1, 10165=1, 10180=1, 10246=1, 10297=1, 10341=1, 10922=1, 11698=1, 11971=1, 11979=1, 12180=1, 12265=1, 12446=1, 12455=1, 12463=1, 12593=1, 12691=1, 12936=1, 12949=1, 13113=1, 13187=1, 14127=1, 14223=1, 14250=1, 14268=1, 14437=1, 14881=1, 14975=1, 14990=1, 15220=1, 15253=1, 15317=1, 15364=1, 15489=1, 15490=1, 15535=1, 15847=1, 15881=1, 16161=1, 16245=1, 16472=1, 16473=1, 16598=1, 16728=1, 16804=1, 16967=1, 17433=1, 17444=1, 18042=1, 18367=1, 18394=1, 18616=1, 18877=1, 18906=1, 19047=1, 19068=1, 19110=1, 19352=1, 19756=1, 19779=1, 19868=1, 20039=1, 20072=1, 20330=1, 20743=1, 20848=1, 20996=1, 21133=1, 21179=1, 21215=1, 21217=1, 21458=1, 21459=1, 21536=1, 21590=1, 21610=1, 21708=1, 21722=1, 21801=1, 21826=1, 21988=1, 22247=1, 22280=1, 22307=1, 22472=1, 22536=1, 22727=1, 23000=1, 23065=1, 23093=1, 23107=1, 23320=1, 23559=1, 23607=1, 23728=1, 23780=1, 23906=1, 24107=1, 24150=1, 24178=1, 24488=1, 24490=1, 24787=1, 24822=1, 24852=1, 24862=1, 25052=1, 25177=1, 25643=1, 25659=1, 25863=1, 26244=1, 26325=1}
Running SMT prover for 26422 properties.
// Phase 1: matrix 27931 rows 961 cols
[2021-05-18 21:42:11] [INFO ] Computed 31 place invariants in 58 ms
[2021-05-18 21:42:37] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 26422 Parikh solutions to 1 different solutions.
Support contains 961 out of 961 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 252 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 961/961 places, 27931/27931 transitions.
[2021-05-18 21:42:40] [INFO ] Flatten gal took : 1767 ms
[2021-05-18 21:42:41] [INFO ] Flatten gal took : 1152 ms
[2021-05-18 21:42:41] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1873371564399934355.gal : 236 ms
[2021-05-18 21:42:41] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7570435458183330119.prop : 224 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/ReachabilityCardinality1873371564399934355.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality7570435458183330119.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/ReachabilityCardinality1873371564399934355.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality7570435458183330119.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality7570435458183330119.prop.
Detected timeout of ITS tools.
[2021-05-18 21:42:58] [INFO ] Flatten gal took : 1009 ms
[2021-05-18 21:42:58] [INFO ] Applying decomposition
[2021-05-18 21:42:59] [INFO ] Flatten gal took : 903 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/graph12607666118257809775.txt, -o, /tmp/graph12607666118257809775.bin, -w, /tmp/graph12607666118257809775.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/graph12607666118257809775.bin, -l, -1, -v, -w, /tmp/graph12607666118257809775.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 21:43:02] [INFO ] Decomposing Gal with order
[2021-05-18 21:43:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 21:43:06] [INFO ] Removed a total of 65308 redundant transitions.
[2021-05-18 21:43:06] [INFO ] Flatten gal took : 2568 ms
[2021-05-18 21:43:34] [INFO ] Fuse similar labels procedure discarded/fused a total of 947 labels/synchronizations in 1283 ms.
[2021-05-18 21:43:34] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7249641709085935982.gal : 165 ms
[2021-05-18 21:43:34] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14439713927954693385.prop : 196 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/ReachabilityCardinality7249641709085935982.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality14439713927954693385.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/ReachabilityCardinality7249641709085935982.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality14439713927954693385.prop --nowitness
Loading property file /tmp/ReachabilityCardinality14439713927954693385.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin9976876576717715702
[2021-05-18 21:43:50] [INFO ] Built C files in 846ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin9976876576717715702
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/ltsmin9976876576717715702]
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/ltsmin9976876576717715702] 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/ltsmin9976876576717715702] 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 9070 steps, including 0 resets, run timeout after 30003 ms. (steps per millisecond=0 ) properties seen :{143=1, 335=1, 722=1, 1343=1, 1438=1, 1546=1, 1768=1, 2560=1, 2573=1, 2761=1, 3184=1, 3867=1, 3987=1, 4316=1, 4582=1, 4604=1, 4642=1, 5173=1, 5493=1, 5497=1, 5860=1, 5869=1, 6119=1, 6625=1, 6660=1, 6685=1, 6789=1, 7308=1, 7490=1, 7958=1, 8096=1, 8186=1, 8333=1, 8888=1, 9016=1, 9057=1, 9364=1, 9515=1, 10033=1, 10293=1, 10322=1, 10512=1, 10567=1, 10690=1, 10741=1, 10778=1, 10861=1, 10892=1, 11117=1, 11671=1, 11676=1, 11984=1, 12830=1, 14121=1, 14515=1, 14808=1, 15095=1, 15300=1, 15589=1, 15681=1, 15811=1, 16198=1, 16349=1, 16397=1, 16610=1, 16794=1, 17173=1, 17401=1, 17674=1, 17743=1, 17787=1, 18009=1, 18072=1, 18090=1, 18273=1, 18607=1, 18629=1, 18655=1, 19139=1, 19221=1, 19427=1, 20040=1, 20115=1, 20335=1, 20372=1, 20514=1, 20680=1, 20889=1, 20989=1, 21584=1, 21882=1, 22198=1, 22761=1, 23003=1, 23100=1, 23233=1, 23404=1, 23563=1, 23755=1, 23859=1, 23978=1, 24486=1, 24507=1, 25187=1, 25563=1, 26099=1, 26234=1, 26389=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 26314) seen :8
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 26306) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 26302) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 26296) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 26294) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26293) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26290) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26285) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26284) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26282) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26281) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26280) seen :5
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26275) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26275) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26275) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26273) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26272) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26272) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26272) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26269) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26267) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26267) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26266) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 26265) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26265) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26264) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26262) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26262) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26262) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26262) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26261) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26260) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26259) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26259) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26259) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26259) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26256) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 26254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 26254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 26254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 26254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26254) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26253) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26253) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26253) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26253) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26253) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26253) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26253) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26253) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26253) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 26252) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26252) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26252) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26252) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26252) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26252) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26252) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 26252) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 26251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26251) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26250) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26250) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26249) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26249) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26248) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26247) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26245) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26245) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26244) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26244) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26244) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26244) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26244) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26243) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26243) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 26243) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 26243) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26243) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26243) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26243) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26243) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26243) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 26243) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 26243) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26243) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26243) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26243) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26243) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26242) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26242) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26242) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26242) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26242) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26241) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26241) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26241) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26240) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26240) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26240) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26240) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26240) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26240) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26240) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26239) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26239) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26239) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26239) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26238) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26238) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26238) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26238) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26237) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26237) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26236) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26236) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26236) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26236) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26236) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26235) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 26235) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 26235) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 26235) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 26235) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 26235) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 26235) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26235) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26235) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26235) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26235) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26234) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 26234) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26234) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26234) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26234) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26234) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26234) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26234) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26233) seen :0
Interrupted probabilistic random walk after 19908 steps, run timeout after 30003 ms. (steps per millisecond=0 ) properties seen :{1047=1, 2204=1, 13148=1, 17458=1, 18654=1, 19607=1, 21784=1, 22033=1, 24327=1, 25679=1}
Probabilistic random walk after 19908 steps, saw 6567 distinct states, run finished after 30007 ms. (steps per millisecond=0 ) properties seen :{1047=1, 2204=1, 13148=1, 17458=1, 18654=1, 19607=1, 21784=1, 22033=1, 24327=1, 25679=1}
Running SMT prover for 26223 properties.
// Phase 1: matrix 27931 rows 961 cols
[2021-05-18 21:45:15] [INFO ] Computed 31 place invariants in 70 ms
[2021-05-18 21:49:00] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 26223 Parikh solutions to 1 different solutions.
Support contains 961 out of 961 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 223 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 961/961 places, 27931/27931 transitions.
[2021-05-18 21:49:02] [INFO ] Flatten gal took : 903 ms
[2021-05-18 21:49:03] [INFO ] Flatten gal took : 906 ms
[2021-05-18 21:49:03] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7122764093801926105.gal : 108 ms
[2021-05-18 21:49:03] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11399858844976145754.prop : 53 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/ReachabilityCardinality7122764093801926105.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality11399858844976145754.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/ReachabilityCardinality7122764093801926105.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality11399858844976145754.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality11399858844976145754.prop.
Detected timeout of ITS tools.
[2021-05-18 21:49:19] [INFO ] Flatten gal took : 969 ms
[2021-05-18 21:49:19] [INFO ] Applying decomposition
[2021-05-18 21:49:20] [INFO ] Flatten gal took : 983 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/graph16055316067072159575.txt, -o, /tmp/graph16055316067072159575.bin, -w, /tmp/graph16055316067072159575.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/graph16055316067072159575.bin, -l, -1, -v, -w, /tmp/graph16055316067072159575.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 21:49:22] [INFO ] Decomposing Gal with order
[2021-05-18 21:49:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 21:49:25] [INFO ] Removed a total of 65395 redundant transitions.
[2021-05-18 21:49:26] [INFO ] Flatten gal took : 1828 ms
[2021-05-18 21:49:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 825 labels/synchronizations in 713 ms.
[2021-05-18 21:49:49] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17071908574156734744.gal : 79 ms
[2021-05-18 21:49:49] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality18060664302277848484.prop : 78 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/ReachabilityCardinality17071908574156734744.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality18060664302277848484.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/ReachabilityCardinality17071908574156734744.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality18060664302277848484.prop --nowitness
Loading property file /tmp/ReachabilityCardinality18060664302277848484.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin14306675830655185270
[2021-05-18 21:50:05] [INFO ] Built C files in 413ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin14306675830655185270
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/ltsmin14306675830655185270]
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/ltsmin14306675830655185270] 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/ltsmin14306675830655185270] 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 8576 steps, including 0 resets, run timeout after 30003 ms. (steps per millisecond=0 ) properties seen :{1037=1, 1279=1, 1312=1, 1413=1, 1782=1, 2040=1, 2104=1, 2201=1, 2264=1, 2321=1, 2913=1, 3072=1, 3442=1, 3741=1, 3936=1, 4023=1, 4204=1, 4647=1, 4824=1, 5054=1, 5276=1, 6061=1, 6344=1, 6455=1, 7041=1, 7052=1, 7206=1, 7464=1, 7762=1, 8186=1, 8297=1, 8639=1, 8704=1, 9021=1, 9163=1, 9494=1, 9616=1, 10010=1, 10193=1, 10414=1, 10772=1, 10909=1, 11092=1, 11132=1, 11655=1, 11698=1, 11718=1, 11841=1, 12273=1, 12610=1, 13398=1, 13435=1, 13665=1, 13817=1, 13837=1, 14033=1, 14097=1, 14671=1, 14711=1, 14813=1, 15428=1, 16190=1, 16516=1, 16781=1, 17256=1, 17288=1, 17463=1, 17542=1, 17643=1, 17742=1, 17848=1, 17883=1, 18297=1, 18539=1, 19445=1, 19614=1, 19912=1, 19937=1, 20767=1, 21035=1, 21219=1, 21482=1, 21519=1, 21813=1, 21889=1, 22345=1, 22469=1, 22558=1, 23252=1, 23326=1, 23987=1, 24035=1, 24119=1, 24278=1, 24482=1, 24853=1, 25419=1, 25420=1, 25938=1, 26142=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 26123) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 26123) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 26122) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 26122) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 26122) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 26122) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26122) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 26122) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 26122) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 26122) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 26122) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 26122) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 26122) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 26122) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 26122) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26122) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 26122) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 26122) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26121) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 26120) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 26120) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26120) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26120) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26120) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26119) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26119) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26119) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26119) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26119) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 26119) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 26119) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26119) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 26119) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 26119) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 26119) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 26119) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 26119) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 26118) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 26118) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26118) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 26117) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26117) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26117) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26117) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 26117) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26117) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26117) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26117) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 26117) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26117) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26117) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 26117) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26117) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 26117) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 26117) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 26117) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 26117) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 26117) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 26116) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 26116) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26116) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26116) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26116) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 26116) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26116) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26116) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26115) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 26114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 26114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 26114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 26114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 26114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 26114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 26114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 26114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 26114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 26114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 26114) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 26113) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 26113) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 26113) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 26112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 26112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 26112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 26112) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 26111) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 26110) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 26110) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 26110) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 26110) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 26110) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 26110) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26110) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 26110) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26110) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 26110) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26110) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26110) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 26110) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26110) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26110) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26110) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26110) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 26110) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 26110) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26109) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26109) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 26109) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26108) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 26108) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26108) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 26106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 26106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 26106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 26106) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 26105) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 26105) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 26105) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 26105) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 26105) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 26105) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 26105) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 26105) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 26105) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26104) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 26103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 26103) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 26102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 26102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 26102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 26102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 26102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 26102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 26102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 26102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 26102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 26102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 26102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 26102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 26102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 26102) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 26101) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 26100) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26100) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26099) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26098) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 26097) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26096) seen :0
Interrupted probabilistic random walk after 19023 steps, run timeout after 30001 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 19023 steps, saw 6387 distinct states, run finished after 30004 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 26096 properties.
// Phase 1: matrix 27931 rows 961 cols
[2021-05-18 21:51:53] [INFO ] Computed 31 place invariants in 86 ms
[2021-05-18 21:55:38] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 26096 Parikh solutions to 1 different solutions.
Support contains 961 out of 961 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 170 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 961/961 places, 27931/27931 transitions.
[2021-05-18 21:55:39] [INFO ] Flatten gal took : 964 ms
[2021-05-18 21:55:40] [INFO ] Flatten gal took : 1001 ms
[2021-05-18 21:55:40] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17374834655645702995.gal : 104 ms
[2021-05-18 21:55:40] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality3814451555367022202.prop : 52 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/ReachabilityCardinality17374834655645702995.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality3814451555367022202.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/ReachabilityCardinality17374834655645702995.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality3814451555367022202.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality3814451555367022202.prop.
Detected timeout of ITS tools.
[2021-05-18 21:55:57] [INFO ] Flatten gal took : 955 ms
[2021-05-18 21:55:57] [INFO ] Applying decomposition
[2021-05-18 21:55:58] [INFO ] Flatten gal took : 978 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/graph12235298948308915868.txt, -o, /tmp/graph12235298948308915868.bin, -w, /tmp/graph12235298948308915868.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/graph12235298948308915868.bin, -l, -1, -v, -w, /tmp/graph12235298948308915868.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 21:56:00] [INFO ] Decomposing Gal with order
[2021-05-18 21:56:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 21:56:03] [INFO ] Removed a total of 65366 redundant transitions.
[2021-05-18 21:56:03] [INFO ] Flatten gal took : 1542 ms
[2021-05-18 21:56:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 817 labels/synchronizations in 773 ms.
[2021-05-18 21:56:28] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5760447405390924029.gal : 75 ms
[2021-05-18 21:56:28] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11688221372947328465.prop : 79 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/ReachabilityCardinality5760447405390924029.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality11688221372947328465.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/ReachabilityCardinality5760447405390924029.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality11688221372947328465.prop --nowitness
Loading property file /tmp/ReachabilityCardinality11688221372947328465.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin10031198862379837103
[2021-05-18 21:56:43] [INFO ] Built C files in 348ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin10031198862379837103
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/ltsmin10031198862379837103]
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/ltsmin10031198862379837103] 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/ltsmin10031198862379837103] 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 7697 steps, including 0 resets, run timeout after 30005 ms. (steps per millisecond=0 ) properties seen :{30=1, 543=1, 2485=1, 2559=1, 2857=1, 3059=1, 3680=1, 3692=1, 4834=1, 5545=1, 5817=1, 6446=1, 6525=1, 7764=1, 8238=1, 10809=1, 10833=1, 10875=1, 11041=1, 11846=1, 12491=1, 13178=1, 13498=1, 13964=1, 14180=1, 14667=1, 14817=1, 16075=1, 16304=1, 17404=1, 18060=1, 19054=1, 19221=1, 19865=1, 20050=1, 20946=1, 21147=1, 21150=1, 21213=1, 21631=1, 22075=1, 22384=1, 22417=1, 22495=1, 22583=1, 23779=1, 24101=1, 24504=1, 25203=1, 25278=1, 25692=1, 25951=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 26044) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 26044) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 26044) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 26044) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 26044) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 26043) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 26043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 26043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 26043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 26043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 26043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 26043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 26043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 26043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 26043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 26043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 26043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 26043) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 26042) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 26040) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 26040) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 26040) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 26040) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 26040) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 26040) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 26039) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 26039) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 26039) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 26039) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 26039) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 26039) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 26039) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 26039) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 26039) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 26039) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 26039) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 26039) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 26039) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 26039) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 26039) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 26039) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 26039) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 26039) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 26039) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 26039) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 26039) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 26039) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 26039) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 26038) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 26038) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 26038) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 26038) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 26038) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 26038) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 26038) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 26038) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 26038) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 26038) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 26038) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 26038) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 26038) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 26038) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 26037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 26037) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 26035) seen :0
Interrupted probabilistic random walk after 15812 steps, run timeout after 30006 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 15812 steps, saw 5675 distinct states, run finished after 30032 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 26035 properties.
// Phase 1: matrix 27931 rows 961 cols
[2021-05-18 21:58:10] [INFO ] Computed 31 place invariants in 145 ms
[2021-05-18 22:01:55] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 26035 Parikh solutions to 1 different solutions.
Support contains 961 out of 961 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 199 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 961/961 places, 27931/27931 transitions.
[2021-05-18 22:01:56] [INFO ] Flatten gal took : 930 ms
[2021-05-18 22:01:57] [INFO ] Flatten gal took : 920 ms
[2021-05-18 22:01:58] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7684590395515180815.gal : 89 ms
[2021-05-18 22:01:58] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality6047027813701616925.prop : 47 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/ReachabilityCardinality7684590395515180815.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality6047027813701616925.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/ReachabilityCardinality7684590395515180815.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality6047027813701616925.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality6047027813701616925.prop.
Detected timeout of ITS tools.
[2021-05-18 22:02:19] [INFO ] Flatten gal took : 982 ms
[2021-05-18 22:02:19] [INFO ] Applying decomposition
[2021-05-18 22:02:20] [INFO ] Flatten gal took : 1019 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/graph16851076916085388560.txt, -o, /tmp/graph16851076916085388560.bin, -w, /tmp/graph16851076916085388560.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/graph16851076916085388560.bin, -l, -1, -v, -w, /tmp/graph16851076916085388560.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 22:02:22] [INFO ] Decomposing Gal with order
[2021-05-18 22:02:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 22:02:25] [INFO ] Removed a total of 65134 redundant transitions.
[2021-05-18 22:02:25] [INFO ] Flatten gal took : 1675 ms
[2021-05-18 22:02:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 830 labels/synchronizations in 861 ms.
[2021-05-18 22:02:51] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17821259565288009536.gal : 83 ms
[2021-05-18 22:02:51] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12342118138917148368.prop : 88 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/ReachabilityCardinality17821259565288009536.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality12342118138917148368.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/ReachabilityCardinality17821259565288009536.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality12342118138917148368.prop --nowitness
Loading property file /tmp/ReachabilityCardinality12342118138917148368.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin7564094235116022962
[2021-05-18 22:03:12] [INFO ] Built C files in 451ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin7564094235116022962
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/ltsmin7564094235116022962]
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/ltsmin7564094235116022962] killed by timeout after 2 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/ltsmin7564094235116022962] killed by timeout after 2 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 5736 steps, including 0 resets, run timeout after 30003 ms. (steps per millisecond=0 ) properties seen :{130=1, 475=1, 787=1, 813=1, 1173=1, 1709=1, 1772=1, 1817=1, 2379=1, 2917=1, 3165=1, 5018=1, 5039=1, 5359=1, 5529=1, 5780=1, 6189=1, 6991=1, 8683=1, 9296=1, 9396=1, 10090=1, 11065=1, 11802=1, 12584=1, 13170=1, 14006=1, 14570=1, 14631=1, 14991=1, 15266=1, 15301=1, 15900=1, 16065=1, 16232=1, 16359=1, 16953=1, 17192=1, 17524=1, 17560=1, 18472=1, 18497=1, 18831=1, 19185=1, 19338=1, 19653=1, 20143=1, 21025=1, 21032=1, 21190=1, 21319=1, 21409=1, 22376=1, 23529=1, 24188=1, 25792=1, 25813=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 25978) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 25978) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 215 ms. (steps per millisecond=4 ) properties (out of 25978) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 25978) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 239 ms. (steps per millisecond=4 ) properties (out of 25978) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 25978) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 25978) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 25978) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 269 ms. (steps per millisecond=3 ) properties (out of 25978) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 298 ms. (steps per millisecond=3 ) properties (out of 25978) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 255 ms. (steps per millisecond=3 ) properties (out of 25978) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 25978) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 25978) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 291 ms. (steps per millisecond=3 ) properties (out of 25978) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 193 ms. (steps per millisecond=5 ) properties (out of 25978) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 235 ms. (steps per millisecond=4 ) properties (out of 25978) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 210 ms. (steps per millisecond=4 ) properties (out of 25978) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 25977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 238 ms. (steps per millisecond=4 ) properties (out of 25977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 240 ms. (steps per millisecond=4 ) properties (out of 25977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 216 ms. (steps per millisecond=4 ) properties (out of 25977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 25977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 293 ms. (steps per millisecond=3 ) properties (out of 25977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 221 ms. (steps per millisecond=4 ) properties (out of 25977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 292 ms. (steps per millisecond=3 ) properties (out of 25977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 25977) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 277 ms. (steps per millisecond=3 ) properties (out of 25976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 230 ms. (steps per millisecond=4 ) properties (out of 25976) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 25976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 212 ms. (steps per millisecond=4 ) properties (out of 25976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 25976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 25976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 263 ms. (steps per millisecond=3 ) properties (out of 25976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 194 ms. (steps per millisecond=5 ) properties (out of 25976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 25976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 298 ms. (steps per millisecond=3 ) properties (out of 25976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 414 ms. (steps per millisecond=2 ) properties (out of 25976) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 334 ms. (steps per millisecond=2 ) properties (out of 25976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 25976) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 265 ms. (steps per millisecond=3 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 253 ms. (steps per millisecond=3 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 257 ms. (steps per millisecond=3 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 247 ms. (steps per millisecond=4 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 280 ms. (steps per millisecond=3 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 233 ms. (steps per millisecond=4 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 237 ms. (steps per millisecond=4 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 263 ms. (steps per millisecond=3 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 245 ms. (steps per millisecond=4 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 287 ms. (steps per millisecond=3 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 261 ms. (steps per millisecond=3 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 217 ms. (steps per millisecond=4 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 240 ms. (steps per millisecond=4 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 291 ms. (steps per millisecond=3 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 278 ms. (steps per millisecond=3 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 221 ms. (steps per millisecond=4 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 215 ms. (steps per millisecond=4 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 25975) 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 25975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 25975) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 262 ms. (steps per millisecond=3 ) properties (out of 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 268 ms. (steps per millisecond=3 ) properties (out of 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 25974) 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 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 216 ms. (steps per millisecond=4 ) properties (out of 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 268 ms. (steps per millisecond=3 ) properties (out of 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 244 ms. (steps per millisecond=4 ) properties (out of 25974) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 262 ms. (steps per millisecond=3 ) properties (out of 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 282 ms. (steps per millisecond=3 ) properties (out of 25974) 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 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 25974) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 243 ms. (steps per millisecond=4 ) properties (out of 25974) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 275 ms. (steps per millisecond=3 ) properties (out of 25973) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 295 ms. (steps per millisecond=3 ) properties (out of 25973) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 226 ms. (steps per millisecond=4 ) properties (out of 25973) 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 25973) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 25973) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 25973) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 25973) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 255 ms. (steps per millisecond=3 ) properties (out of 25973) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 25973) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 25973) 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 25972) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 258 ms. (steps per millisecond=3 ) properties (out of 25972) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 25972) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 25972) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 293 ms. (steps per millisecond=3 ) properties (out of 25972) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 259 ms. (steps per millisecond=3 ) properties (out of 25972) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 191 ms. (steps per millisecond=5 ) properties (out of 25972) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 227 ms. (steps per millisecond=4 ) properties (out of 25972) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 309 ms. (steps per millisecond=3 ) properties (out of 25972) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 25972) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 296 ms. (steps per millisecond=3 ) properties (out of 25972) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 25972) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 25972) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 25972) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 25972) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 239 ms. (steps per millisecond=4 ) properties (out of 25972) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 191 ms. (steps per millisecond=5 ) properties (out of 25972) 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 25972) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 281 ms. (steps per millisecond=3 ) properties (out of 25972) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 25972) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 217 ms. (steps per millisecond=4 ) properties (out of 25972) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 236 ms. (steps per millisecond=4 ) properties (out of 25972) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 25972) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 266 ms. (steps per millisecond=3 ) properties (out of 25971) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 25971) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 209 ms. (steps per millisecond=4 ) properties (out of 25971) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 25971) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 25971) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 25971) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 292 ms. (steps per millisecond=3 ) properties (out of 25971) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 25971) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 25970) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 25970) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 25970) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 25970) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 288 ms. (steps per millisecond=3 ) properties (out of 25970) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 25970) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 194 ms. (steps per millisecond=5 ) properties (out of 25970) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 239 ms. (steps per millisecond=4 ) properties (out of 25970) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 25970) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 239 ms. (steps per millisecond=4 ) properties (out of 25970) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 25970) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 25970) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 232 ms. (steps per millisecond=4 ) properties (out of 25970) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 25970) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 25970) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 232 ms. (steps per millisecond=4 ) properties (out of 25970) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 25970) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 25970) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 214 ms. (steps per millisecond=4 ) properties (out of 25970) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 25970) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 210 ms. (steps per millisecond=4 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 268 ms. (steps per millisecond=3 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 25969) 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 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 384 ms. (steps per millisecond=2 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 396 ms. (steps per millisecond=2 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 276 ms. (steps per millisecond=3 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 257 ms. (steps per millisecond=3 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 222 ms. (steps per millisecond=4 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 219 ms. (steps per millisecond=4 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 231 ms. (steps per millisecond=4 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 194 ms. (steps per millisecond=5 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 228 ms. (steps per millisecond=4 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 277 ms. (steps per millisecond=3 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 25969) 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 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 25969) 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 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 281 ms. (steps per millisecond=3 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 213 ms. (steps per millisecond=4 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 275 ms. (steps per millisecond=3 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 258 ms. (steps per millisecond=3 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 260 ms. (steps per millisecond=3 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 260 ms. (steps per millisecond=3 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 193 ms. (steps per millisecond=5 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 214 ms. (steps per millisecond=4 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 227 ms. (steps per millisecond=4 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 280 ms. (steps per millisecond=3 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 191 ms. (steps per millisecond=5 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 256 ms. (steps per millisecond=3 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 260 ms. (steps per millisecond=3 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 212 ms. (steps per millisecond=4 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 263 ms. (steps per millisecond=3 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 211 ms. (steps per millisecond=4 ) properties (out of 25969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 236 ms. (steps per millisecond=4 ) properties (out of 25969) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 251 ms. (steps per millisecond=3 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 260 ms. (steps per millisecond=3 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 272 ms. (steps per millisecond=3 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 233 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 226 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 233 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 281 ms. (steps per millisecond=3 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 283 ms. (steps per millisecond=3 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 293 ms. (steps per millisecond=3 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 220 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 274 ms. (steps per millisecond=3 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 248 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 222 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 209 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 238 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 215 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 220 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 212 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 232 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 210 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 212 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 212 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 237 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 247 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 274 ms. (steps per millisecond=3 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 283 ms. (steps per millisecond=3 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 234 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 271 ms. (steps per millisecond=3 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 276 ms. (steps per millisecond=3 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 234 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 236 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 218 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 209 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 251 ms. (steps per millisecond=3 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 226 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 261 ms. (steps per millisecond=3 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 216 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 222 ms. (steps per millisecond=4 ) properties (out of 25968) seen :0
Interrupted probabilistic random walk after 10598 steps, run timeout after 30029 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 10598 steps, saw 4153 distinct states, run finished after 30040 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 25968 properties.
// Phase 1: matrix 27931 rows 961 cols
[2021-05-18 22:05:13] [INFO ] Computed 31 place invariants in 134 ms
[2021-05-18 22:08:59] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 25968 Parikh solutions to 1 different solutions.
Support contains 961 out of 961 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 412 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 961/961 places, 27931/27931 transitions.
[2021-05-18 22:09:02] [INFO ] Flatten gal took : 1866 ms
[2021-05-18 22:09:03] [INFO ] Flatten gal took : 1481 ms
[2021-05-18 22:09:03] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17053311685882689854.gal : 101 ms
[2021-05-18 22:09:03] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12435631455544441805.prop : 52 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/ReachabilityCardinality17053311685882689854.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality12435631455544441805.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/ReachabilityCardinality17053311685882689854.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality12435631455544441805.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality12435631455544441805.prop.
Detected timeout of ITS tools.
[2021-05-18 22:09:30] [INFO ] Flatten gal took : 1484 ms
[2021-05-18 22:09:30] [INFO ] Applying decomposition
[2021-05-18 22:09:31] [INFO ] Flatten gal took : 1213 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/graph16433443018995651868.txt, -o, /tmp/graph16433443018995651868.bin, -w, /tmp/graph16433443018995651868.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/graph16433443018995651868.bin, -l, -1, -v, -w, /tmp/graph16433443018995651868.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 22:09:34] [INFO ] Decomposing Gal with order
[2021-05-18 22:09:34] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 22:09:38] [INFO ] Removed a total of 65366 redundant transitions.
[2021-05-18 22:09:38] [INFO ] Flatten gal took : 2056 ms

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ Liveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution Liveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination Liveness -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="TokenRing-PT-030"
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-030, 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-162123888000074"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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