Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2022-input.r198-tajo-165281579300102.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2022-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2021
Input is RERS17pb115-PT-3, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r198-tajo-165281579300102
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 6.9K Apr 30 06:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Apr 30 06:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Apr 30 06:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Apr 30 06:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K May 9 08:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 9 08:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 9 08:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 9 08:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 9 08:33 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 9 08:33 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 2 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 69M May 10 09:34 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1653292401175

Running Version 0
[2022-05-23 07:53:22] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2022-05-23 07:53:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-23 07:53:25] [INFO ] Load time of PNML (sax parser for PT used): 2120 ms
[2022-05-23 07:53:25] [INFO ] Transformed 1399 places.
[2022-05-23 07:53:25] [INFO ] Transformed 144369 transitions.
[2022-05-23 07:53:25] [INFO ] Parsed PT model containing 1399 places and 144369 transitions in 2813 ms.
Starting structural reductions, iteration 0 : 1399/1399 places, 144369/144369 transitions.
Ensure Unique test removed 18 places
Iterating post reduction 0 with 18 rules applied. Total rules applied 18 place count 1381 transition count 144369
Applied a total of 18 rules in 2766 ms. Remains 1381 /1399 variables (removed 18) and now considering 144369/144369 (removed 0) transitions.
[2022-05-23 07:53:28] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
// Phase 1: matrix 81238 rows 1381 cols
[2022-05-23 07:53:29] [INFO ] Computed 19 place invariants in 389 ms
[2022-05-23 07:53:37] [INFO ] Implicit Places using invariants in 9035 ms returned []
Implicit Place search using SMT only with invariants took 9063 ms to find 0 implicit places.
[2022-05-23 07:53:37] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
// Phase 1: matrix 81238 rows 1381 cols
[2022-05-23 07:53:38] [INFO ] Computed 19 place invariants in 361 ms
[2022-05-23 07:54:08] [INFO ] Performed 66782/144369 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-05-23 07:54:33] [INFO ] Dead Transitions using invariants and state equation in 55826 ms returned []
Finished structural reductions, in 1 iterations. Remains : 1381/1399 places, 144369/144369 transitions.
Discarding 2848 transitions out of 144369. Remains 141521
[2022-05-23 07:54:35] [INFO ] Initial state test concluded for 1 properties.
Interrupted random walk after 1545 steps, including 0 resets, run timeout after 30005 ms. (steps per millisecond=0 ) properties seen :{4=1, 62=1, 154=1, 206=1, 210=1, 346=1, 358=1, 367=1, 500=1, 582=1, 1018=1, 1161=1, 1167=1, 1173=1, 1182=1, 1426=1, 1438=1, 1452=1, 1454=1, 1468=1, 1472=1, 1480=1, 1482=1, 1492=1, 1498=1, 1580=1, 1762=1, 1775=1, 1791=1, 2109=1, 2141=1, 2147=1, 2287=1, 2347=1, 2543=1, 2577=1, 2604=1, 2606=1, 2607=1, 2612=1, 2624=1, 2628=1, 2638=1, 2639=1, 2709=1, 2764=1, 2831=1, 2877=1, 2895=1, 2913=1, 2931=1, 2938=1, 3003=1, 3109=1, 3113=1, 3752=1, 3774=1, 3796=1, 3802=1, 3901=1, 3903=1, 3905=1, 3915=1, 3927=1, 3933=1, 3937=1, 3943=1, 3953=1, 3969=1, 3971=1, 3985=1, 4003=1, 4295=1, 4331=1, 4508=1, 4520=1, 4753=1, 4771=1, 4798=1, 4849=1, 4867=1, 5003=1, 5066=1, 5081=1, 5090=1, 5096=1, 5111=1, 5126=1, 5187=1, 5217=1, 5225=1, 5226=1, 5234=1, 5240=1, 5253=1, 5255=1, 5424=1, 5454=1, 5479=1, 5493=1, 5495=1, 5499=1, 5505=1, 5529=1, 5644=1, 5647=1, 5682=1, 5683=1, 5749=1, 5829=1, 5909=1, 5911=1, 5929=1, 5939=1, 5949=1, 5957=1, 6126=1, 6132=1, 6138=1, 6185=1, 6200=1, 6228=1, 6240=1, 6264=1, 6273=1, 6282=1, 6309=1, 6324=1, 6330=1, 6598=1, 6640=1, 6676=1, 6718=1, 6735=1, 6855=1, 7613=1, 7772=1, 7835=1, 8113=1, 8352=1, 8360=1, 8667=1, 8688=1, 8703=1, 8715=1, 8727=1, 8942=1, 8969=1, 8987=1, 9011=1, 9014=1, 9062=1, 9080=1, 9083=1, 9098=1, 9107=1, 9110=1, 9116=1, 9137=1, 9197=1, 9276=1, 9282=1, 9297=1, 9319=1, 9335=1, 9344=1, 9350=1, 9356=1, 9358=1, 9369=1, 9425=1, 9458=1, 9466=1, 9655=1, 9708=1, 9832=1, 9954=1, 10020=1, 10085=1, 10094=1, 10097=1, 10146=1, 10161=1, 10256=1, 10262=1, 10347=1, 10360=1, 10362=1, 10396=1, 10405=1, 10412=1, 10415=1, 10421=1, 10425=1, 10464=1, 10468=1, 10695=1, 10811=1, 10835=1, 10871=1, 11045=1, 11048=1, 11086=1, 11307=1, 11322=1, 11492=1, 11666=1, 11678=1, 11690=1, 11750=1, 11762=1, 12018=1, 12069=1, 12095=1, 12113=1, 12133=1, 12139=1, 12142=1, 12153=1, 12440=1, 12444=1, 12450=1, 12452=1, 12458=1, 12460=1, 12462=1, 12635=1, 12663=1, 12695=1, 12727=1, 12821=1, 13058=1, 13294=1, 13297=1, 13449=1, 13523=1, 13531=1, 13543=1, 13547=1, 13549=1, 13563=1, 13573=1, 13658=1, 13730=1, 13766=1, 13789=1, 13798=1, 13807=1, 13935=1, 13951=1, 14135=1, 14331=1, 14368=1, 14530=1, 14570=1, 14719=1, 14723=1, 14730=1, 14959=1, 14974=1, 14975=1, 15241=1, 15247=1, 15391=1, 15575=1, 15891=1, 16001=1, 16009=1, 16260=1, 16272=1, 16308=1, 16473=1, 16536=1, 16665=1, 17063=1, 17271=1, 17307=1, 17716=1, 17722=1, 17770=1, 17771=1, 17783=1, 17916=1, 17990=1, 18026=1, 18034=1, 18037=1, 18047=1, 18049=1, 18148=1, 18158=1, 18253=1, 18285=1, 18289=1, 18293=1, 18295=1, 18305=1, 18309=1, 18311=1, 18349=1, 18375=1, 18617=1, 18620=1, 18629=1, 18653=1, 18659=1, 18665=1, 18671=1, 18695=1, 18781=1, 18790=1, 18817=1, 18847=1, 18848=1, 18867=1, 18874=1, 18890=1, 18896=1, 18898=1, 19014=1, 19044=1, 19151=1, 19196=1, 19365=1, 19713=1, 19739=1, 19763=1, 19804=1, 19811=1, 19820=1, 19828=1, 19829=1, 19839=1, 19849=1, 19852=1, 19855=1, 19856=1, 19862=1, 19864=1, 19871=1, 19901=1, 19906=1, 19942=1, 19948=1, 19993=1, 20152=1, 20192=1, 20194=1, 20206=1, 20212=1, 20286=1, 20388=1, 20397=1, 20492=1, 20561=1, 20569=1, 20570=1, 20583=1, 20605=1, 20647=1, 20661=1, 20995=1, 20999=1, 21005=1, 21011=1, 21014=1, 21041=1, 21043=1, 21062=1, 21068=1, 21077=1, 21097=1, 21186=1, 21198=1, 21204=1, 21213=1, 21239=1, 21370=1, 21547=1, 21553=1, 21571=1, 21860=1, 21980=1, 22077=1, 22080=1, 22127=1, 22178=1, 22220=1, 22704=1, 22918=1, 23017=1, 23033=1, 23120=1, 23156=1, 23160=1, 23270=1, 23302=1, 23310=1, 23484=1, 23510=1, 23592=1, 23676=1, 24061=1, 24066=1, 24471=1, 24479=1, 24761=1, 25358=1, 25431=1, 25433=1, 25447=1, 25457=1, 25587=1, 25601=1, 25604=1, 25612=1, 25687=1, 25962=1, 25992=1, 25998=1, 26006=1, 26008=1, 26024=1, 26223=1, 26225=1, 26227=1, 26371=1, 26563=1, 26582=1, 26596=1, 26773=1, 26966=1, 27116=1, 27134=1, 27137=1, 27140=1, 27141=1, 27522=1, 27552=1, 27578=1, 27584=1, 27705=1, 27759=1, 27895=1, 27899=1, 27991=1, 27993=1, 28001=1, 28145=1, 28250=1, 28376=1, 28388=1, 28397=1, 28400=1, 28415=1, 28421=1, 28424=1, 28433=1, 28436=1, 28487=1, 28496=1, 28505=1, 28508=1, 28520=1, 28523=1, 28532=1, 28544=1, 28553=1, 28556=1, 28571=1, 28630=1, 28636=1, 28648=1, 28652=1, 29193=1, 29299=1, 29345=1, 29348=1, 29358=1, 29364=1, 29382=1, 29396=1, 29399=1, 29465=1, 29665=1, 29681=1, 29779=1, 29780=1, 29795=1, 29864=1, 29882=1, 29889=1, 29962=1, 30001=1, 30060=1, 30107=1, 30185=1, 30199=1, 30329=1, 30385=1, 30393=1, 30812=1, 30990=1, 30997=1, 31002=1, 31023=1, 31030=1, 31102=1, 31106=1, 31135=1, 31239=1, 31251=1, 31261=1, 31291=1, 31313=1, 31321=1, 31333=1, 31356=1, 31441=1, 31569=1, 31684=1, 31687=1, 31777=1, 31853=1, 31909=1, 31940=1, 31941=1, 31945=1, 31947=1, 32221=1, 32222=1, 32227=1, 32306=1, 32446=1, 32448=1, 32458=1, 32476=1, 32496=1, 32516=1, 32524=1, 32605=1, 32660=1, 32700=1, 32716=1, 32790=1, 32868=1, 32950=1, 33022=1, 33031=1, 33088=1, 33100=1, 33145=1, 33148=1, 33154=1, 33160=1, 33163=1, 33169=1, 33178=1, 33230=1, 33740=1, 33742=1, 33756=1, 33758=1, 33784=1, 33788=1, 33790=1, 33799=1, 33803=1, 33821=1, 33835=1, 33854=1, 33856=1, 33864=1, 34014=1, 34035=1, 34037=1, 34047=1, 34053=1, 34063=1, 34073=1, 34083=1, 34085=1, 34099=1, 34109=1, 34115=1, 34145=1, 34254=1, 34263=1, 34277=1, 34286=1, 34305=1, 34314=1, 34338=1, 34611=1, 34630=1, 34632=1, 34657=1, 34659=1, 34748=1, 34977=1, 35050=1, 35052=1, 35060=1, 35146=1, 35657=1, 35661=1, 35674=1, 35919=1, 36132=1, 36190=1, 36198=1, 36202=1, 36209=1, 36264=1, 36267=1, 36291=1, 36628=1, 36637=1, 36923=1, 36933=1, 37002=1, 37046=1, 37064=1, 37312=1, 37320=1, 37331=1, 37370=1, 37418=1, 37453=1, 37455=1, 37459=1, 37464=1, 37470=1, 37506=1, 37726=1, 37750=1, 37761=1, 38083=1, 38134=1, 38158=1, 38185=1, 38215=1, 38358=1, 38380=1, 38396=1, 38398=1, 38414=1, 38438=1, 38551=1, 38605=1, 38664=1, 38747=1, 38757=1, 38811=1, 38866=1, 38932=1, 39081=1, 39109=1, 39119=1, 39129=1, 39212=1, 39409=1, 39424=1, 39441=1, 39443=1, 39458=1, 39476=1, 39481=1, 39568=1, 39582=1, 39621=1, 39708=1, 39760=1, 40323=1, 40502=1, 40518=1, 40554=1, 40566=1, 40575=1, 40613=1, 40614=1, 40615=1, 40617=1, 40618=1, 40620=1, 40623=1, 40625=1, 40627=1, 40646=1, 40712=1, 40729=1, 40758=1, 40840=1, 40844=1, 40943=1, 40999=1, 41015=1, 41196=1, 41212=1, 41341=1, 41353=1, 41512=1, 41531=1, 41709=1, 41729=1, 41874=1, 41877=1, 41899=1, 41937=1, 41940=1, 41968=1, 41970=1, 41980=1, 42002=1, 42009=1, 42445=1, 42473=1, 42558=1, 42575=1, 42578=1, 42587=1, 42596=1, 42624=1, 42626=1, 42632=1, 42635=1, 42654=1, 42659=1, 42680=1, 42693=1, 42777=1, 42789=1, 42795=1, 42799=1, 42827=1, 42835=1, 42841=1, 42859=1, 42873=1, 42877=1, 42878=1, 42909=1, 42924=1, 42941=1, 43044=1, 43056=1, 43061=1, 43120=1, 43135=1, 43157=1, 43299=1, 43315=1, 43517=1, 43523=1, 43561=1, 43597=1, 43631=1, 43646=1, 43658=1, 43660=1, 43686=1, 43765=1, 43804=1, 43825=1, 43852=1, 43890=1, 43954=1, 43970=1, 44005=1, 44006=1, 44008=1, 44129=1, 44181=1, 44190=1, 44205=1, 44223=1, 44295=1, 44298=1, 44336=1, 44348=1, 44563=1, 44641=1, 44889=1, 44902=1, 45031=1, 45111=1, 45132=1, 45141=1, 45550=1, 45683=1, 45725=1, 45773=1, 45791=1, 45956=1, 45975=1, 46024=1, 46032=1, 46034=1, 46040=1, 46064=1, 46066=1, 46136=1, 46193=1, 46199=1, 46214=1, 46268=1, 46492=1, 46496=1, 46520=1, 46564=1, 46590=1, 46613=1, 46623=1, 46645=1, 46711=1, 46802=1, 46806=1, 46814=1, 46824=1, 46851=1, 46878=1, 46934=1, 47022=1, 47031=1, 47042=1, 47061=1, 47070=1, 47091=1, 47331=1, 47637=1, 47641=1, 47655=1, 47657=1, 47659=1, 47671=1, 47705=1, 47709=1, 47740=1, 47760=1, 47773=1, 47789=1, 47795=1, 47797=1, 47805=1, 47811=1, 47821=1, 47837=1, 47840=1, 47851=1, 47853=1, 47856=1, 47859=1, 47861=1, 47867=1, 47868=1, 47869=1, 47875=1, 47877=1, 47878=1, 47885=1, 47888=1, 47889=1, 47918=1, 47938=1, 47980=1, 48001=1, 48007=1, 48011=1, 48012=1, 48024=1, 48028=1, 48037=1, 48045=1, 48047=1, 48291=1, 48398=1, 48769=1, 48775=1, 48925=1, 48932=1, 48933=1, 48960=1, 48961=1, 48968=1, 48976=1, 48998=1, 49004=1, 49013=1, 49032=1, 49075=1, 49514=1, 49585=1, 49601=1, 49633=1, 49650=1, 49692=1, 49709=1, 49926=1, 49935=1, 49965=1, 49967=1, 49971=1, 49973=1, 49975=1, 50013=1, 50015=1, 50461=1, 50465=1, 50485=1, 50493=1, 50494=1, 50543=1, 50683=1, 50687=1, 50699=1, 50707=1, 50721=1, 50729=1, 50769=1, 50771=1, 50810=1, 50816=1, 50820=1, 50827=1, 50832=1, 50837=1, 50841=1, 50852=1, 50857=1, 50871=1, 51121=1, 51170=1, 51197=1, 51292=1, 51293=1, 51298=1, 51300=1, 52037=1, 52159=1, 52200=1, 52253=1, 52321=1, 52339=1, 52345=1, 52515=1, 52538=1, 52580=1, 52678=1, 52774=1, 52777=1, 52792=1, 52825=1, 53044=1, 53076=1, 53147=1, 53149=1, 53151=1, 53164=1, 53172=1, 53176=1, 53197=1, 53245=1, 53264=1, 53293=1, 53434=1, 53841=1, 53982=1, 53989=1, 54025=1, 54028=1, 54105=1, 54121=1, 54176=1, 54332=1, 54356=1, 54533=1, 54576=1, 55008=1, 55099=1, 55113=1, 55151=1, 55180=1, 55254=1, 55267=1, 55384=1, 55394=1, 55404=1, 55408=1, 55440=1, 55441=1, 55461=1, 55463=1, 55619=1, 55907=1, 55908=1, 55909=1, 55913=1, 55916=1, 55955=1, 55956=1, 55957=1, 55961=1, 55980=1, 56018=1, 56376=1, 56423=1, 56438=1, 56460=1, 56465=1, 56467=1, 56505=1, 56511=1, 56646=1, 56659=1, 56785=1, 56793=1, 56899=1, 56912=1, 56965=1, 57116=1, 57132=1, 57181=1, 57186=1, 57203=1, 57222=1, 57278=1, 57319=1, 57474=1, 57485=1, 57489=1, 57721=1, 58212=1, 58234=1, 58238=1, 58258=1, 58614=1, 58616=1, 58698=1, 58782=1, 58794=1, 58796=1, 59131=1, 59132=1, 59141=1, 59147=1, 59188=1, 59198=1, 59634=1, 59931=1, 59947=1, 59989=1, 60017=1, 60029=1, 60031=1, 60035=1, 60079=1, 60081=1, 60083=1, 60089=1, 60097=1, 60119=1, 60129=1, 60416=1, 60425=1, 60481=1, 60505=1, 60572=1, 60621=1, 60747=1, 60806=1, 60906=1, 60937=1, 60953=1, 60963=1, 61065=1, 61114=1, 61237=1, 61428=1, 61436=1, 61499=1, 61502=1, 61603=1, 61789=1, 61885=1, 61899=1, 62101=1, 62134=1, 62263=1, 62266=1, 62474=1, 62475=1, 62478=1, 62483=1, 62488=1, 62494=1, 62546=1, 62588=1, 62739=1, 62767=1, 62988=1, 63333=1, 63375=1, 63405=1, 63423=1, 63474=1, 63483=1, 63532=1, 63564=1, 63570=1, 63625=1, 63635=1, 63640=1, 63652=1, 63661=1, 63668=1, 63669=1, 63997=1, 64216=1, 64285=1, 64286=1, 64370=1, 64376=1, 64405=1, 64414=1, 64608=1, 64610=1, 64616=1, 64627=1, 64643=1, 64662=1, 64955=1, 65365=1, 65381=1, 65554=1, 65597=1, 65598=1, 65606=1, 65629=1, 65649=1, 65661=1, 65681=1, 65745=1, 65836=1, 66125=1, 66254=1, 66258=1, 66262=1, 66265=1, 66268=1, 66274=1, 66279=1, 66284=1, 66322=1, 66326=1, 66341=1, 66346=1, 66349=1, 66354=1, 66364=1, 66374=1, 66390=1, 66418=1, 66438=1, 66721=1, 66729=1, 66754=1, 66764=1, 66768=1, 66786=1, 66802=1, 67126=1, 67386=1, 67435=1, 67441=1, 67453=1, 67486=1, 67533=1, 67588=1, 67814=1, 67815=1, 67819=1, 67826=1, 67830=1, 67839=1, 67851=1, 67862=1, 67953=1, 68006=1, 68099=1, 68188=1, 68194=1, 68214=1, 68261=1, 68328=1, 68435=1, 68443=1, 68464=1, 68479=1, 68487=1, 68488=1, 68492=1, 68495=1, 68507=1, 68544=1, 68567=1, 68569=1, 68593=1, 68650=1, 68928=1, 69014=1, 69095=1, 69137=1, 69153=1, 69214=1, 69367=1, 69479=1, 69518=1, 69524=1, 69542=1, 69546=1, 69770=1, 69776=1, 69963=1, 69973=1, 69989=1, 70007=1, 70303=1, 70317=1, 70325=1, 70332=1, 70350=1, 70352=1, 70354=1, 70374=1, 70376=1, 70392=1, 70457=1, 70658=1, 70674=1, 70686=1, 70688=1, 70696=1, 70698=1, 70706=1, 70839=1, 70866=1, 70878=1, 70887=1, 70894=1, 70951=1, 70959=1, 70966=1, 70985=1, 70991=1, 70995=1, 71007=1, 71031=1, 71059=1, 71075=1, 71094=1, 71163=1, 71254=1, 71260=1, 71293=1, 71295=1, 71341=1, 71371=1, 71373=1, 71427=1, 71443=1, 71566=1, 72088=1, 72113=1, 72174=1, 72295=1, 72336=1, 72339=1, 72355=1, 72368=1, 72422=1, 72609=1, 72768=1, 72772=1, 72782=1, 72897=1, 72915=1, 72945=1, 72993=1, 72996=1, 72999=1, 73080=1, 73081=1, 73083=1, 73085=1, 73265=1, 73535=1, 73591=1, 73609=1, 73783=1, 73787=1, 73819=1, 73823=1, 73926=1, 73942=1, 73966=1, 73984=1, 73990=1, 73994=1, 74006=1, 74045=1, 74050=1, 74053=1, 74077=1, 74089=1, 74130=1, 74136=1, 74151=1, 74169=1, 74190=1, 74196=1, 74208=1, 74223=1, 74245=1, 74253=1, 74260=1, 74269=1, 74311=1, 74324=1, 74445=1, 74455=1, 74491=1, 74501=1, 74513=1, 74565=1, 74567=1, 74605=1, 74703=1, 74736=1, 74746=1, 74767=1, 74818=1, 74987=1, 74997=1, 75003=1, 75011=1, 75019=1, 75121=1, 75143=1, 75145=1, 75153=1, 75157=1, 75202=1, 75335=1, 75444=1, 75462=1, 75590=1, 75716=1, 75718=1, 75768=1, 75802=1, 75812=1, 76231=1, 76233=1, 76300=1, 76302=1, 76304=1, 76312=1, 76330=1, 76337=1, 76338=1, 76346=1, 76352=1, 76357=1, 76358=1, 76364=1, 76368=1, 76770=1, 76784=1, 76804=1, 76834=1, 76851=1, 76868=1, 76879=1, 76886=1, 76895=1, 76900=1, 76905=1, 76987=1, 77276=1, 77376=1, 77377=1, 77381=1, 77383=1, 77497=1, 77542=1, 77637=1, 77712=1, 77731=1, 77956=1, 78346=1, 78469=1, 78475=1, 78481=1, 78611=1, 78625=1, 78640=1, 78666=1, 78687=1, 78705=1, 78997=1, 79056=1, 79058=1, 79109=1, 79112=1, 79145=1, 79562=1, 79598=1, 79601=1, 79602=1, 79608=1, 79627=1, 79650=1, 79663=1, 79667=1, 79670=1, 79680=1, 79686=1, 79709=1, 79722=1, 79742=1, 79759=1, 79761=1, 79774=1, 79801=1, 79820=1, 79960=1, 80210=1, 80283=1, 80327=1, 80408=1, 80424=1, 80437=1, 80446=1, 80456=1, 80472=1, 80475=1, 80498=1, 80526=1, 80628=1, 80629=1, 80633=1, 80637=1, 80641=1, 81150=1, 81247=1, 81283=1, 81344=1, 81410=1, 81494=1, 81514=1, 81729=1, 81735=1, 81762=1, 81768=1, 82220=1, 82413=1, 82473=1, 82817=1, 82832=1, 82865=1, 82956=1, 83020=1, 83248=1, 83272=1, 83459=1, 83461=1, 83704=1, 83814=1, 83874=1, 83933=1, 83967=1, 84001=1, 84102=1, 84110=1, 84183=1, 84554=1, 84617=1, 84651=1, 84681=1, 84764=1, 84813=1, 84881=1, 85025=1, 85039=1, 85073=1, 85332=1, 85335=1, 85451=1, 85460=1, 85466=1, 85575=1, 85582=1, 85589=1, 85593=1, 85610=1, 85614=1, 85628=1, 85636=1, 85645=1, 86172=1, 86177=1, 86192=1, 86221=1, 86256=1, 86325=1, 86344=1, 86350=1, 86357=1, 86367=1, 86384=1, 86410=1, 86419=1, 86541=1, 86675=1, 86758=1, 86996=1, 87069=1, 87595=1, 87613=1, 87756=1, 87760=1, 87794=1, 87954=1, 88004=1, 88068=1, 88094=1, 88245=1, 88580=1, 88583=1, 88585=1, 88756=1, 88816=1, 88818=1, 88935=1, 89020=1, 89032=1, 89040=1, 89060=1, 89068=1, 89092=1, 89113=1, 89281=1, 89283=1, 89285=1, 89287=1, 89296=1, 89298=1, 89316=1, 89330=1, 89420=1, 89446=1, 89476=1, 89505=1, 89803=1, 89815=1, 89991=1, 90015=1, 90017=1, 90019=1, 90023=1, 90418=1, 90455=1, 90467=1, 90469=1, 90473=1, 90482=1, 90486=1, 90695=1, 91280=1, 91312=1, 91314=1, 91351=1, 91373=1, 91393=1, 91395=1, 91416=1, 91506=1, 91518=1, 91527=1, 91611=1, 91635=1, 91642=1, 91659=1, 91660=1, 91884=1, 91900=1, 91901=1, 91956=1, 91994=1, 92047=1, 92059=1, 92065=1, 92075=1, 92187=1, 92192=1, 92193=1, 92195=1, 92197=1, 92205=1, 92207=1, 92209=1, 92218=1, 92223=1, 92226=1, 92229=1, 92232=1, 92238=1, 92280=1, 92380=1, 92408=1, 92442=1, 92446=1, 92567=1, 92585=1, 92620=1, 92664=1, 92681=1, 92717=1, 92720=1, 92723=1, 92765=1, 92777=1, 92789=1, 92792=1, 92837=1, 92843=1, 92873=1, 92886=1, 92888=1, 92895=1, 92906=1, 92911=1, 92945=1, 92950=1, 92955=1, 92963=1, 92977=1, 93012=1, 93104=1, 93178=1, 93184=1, 93205=1, 93244=1, 93262=1, 93336=1, 93364=1, 93368=1, 93382=1, 93386=1, 93575=1, 93584=1, 93649=1, 93671=1, 93700=1, 93708=1, 93762=1, 93765=1, 93818=1, 94252=1, 94264=1, 94276=1, 94324=1, 94508=1, 95034=1, 95074=1, 95082=1, 95110=1, 95142=1, 95279=1, 95311=1, 95320=1, 95681=1, 95748=1, 95784=1, 95790=1, 95963=1, 95967=1, 95975=1, 95979=1, 95993=1, 95995=1, 96000=1, 96479=1, 96483=1, 96485=1, 96487=1, 96576=1, 96612=1, 96636=1, 96972=1, 96974=1, 97012=1, 97046=1, 97133=1, 97157=1, 97169=1, 97213=1, 97292=1, 97301=1, 97304=1, 97325=1, 97331=1, 97340=1, 97376=1, 97378=1, 97386=1, 97392=1, 97641=1, 97647=1, 97743=1, 97979=1, 97983=1, 98000=1, 98077=1, 98138=1, 98150=1, 98188=1, 98199=1, 98239=1, 98241=1, 98249=1, 98255=1, 99230=1, 99261=1, 99273=1, 99288=1, 99427=1, 99729=1, 99765=1, 99770=1, 99789=1, 99810=1, 100164=1, 100167=1, 100192=1, 100228=1, 100324=1, 100325=1, 100329=1, 100333=1, 101071=1, 101075=1, 101077=1, 101079=1, 101083=1, 101093=1, 101095=1, 101099=1, 101199=1, 101284=1, 101297=1, 101327=1, 101484=1, 101502=1, 101512=1, 101568=1, 101574=1, 101588=1, 101590=1, 101599=1, 101610=1, 101693=1, 101717=1, 101733=1, 101745=1, 101746=1, 102061=1, 102129=1, 102361=1, 102370=1, 102380=1, 102496=1, 102676=1, 102947=1, 102954=1, 103084=1, 103096=1, 103129=1, 103465=1, 103532=1, 103562=1, 103578=1, 103579=1, 103594=1, 103939=1, 103944=1, 103952=1, 103954=1, 103961=1, 103981=1, 103992=1, 104014=1, 104029=1, 104082=1, 104250=1, 104400=1, 104688=1, 104802=1, 104847=1, 104868=1, 104974=1, 105004=1, 105046=1, 105062=1, 105065=1, 105070=1, 105356=1, 105377=1, 105419=1, 105592=1, 105597=1, 105735=1, 105978=1, 106032=1, 106033=1, 106036=1, 106037=1, 106040=1, 106278=1, 106279=1, 106367=1, 106441=1, 106444=1, 106453=1, 106459=1, 106490=1, 106494=1, 106721=1, 106809=1, 106833=1, 106895=1, 106989=1, 107065=1, 107067=1, 107073=1, 107075=1, 107224=1, 107235=1, 107289=1, 107295=1, 107417=1, 107420=1, 107432=1, 107474=1, 107968=1, 108180=1, 108199=1, 108213=1, 108226=1, 108235=1, 108256=1, 108267=1, 108283=1, 108310=1, 108316=1, 108335=1, 108437=1, 108874=1, 108952=1, 108954=1, 108975=1, 108977=1, 108992=1, 108998=1, 109023=1, 109046=1, 109048=1, 109054=1, 109056=1, 109136=1, 109146=1, 109312=1, 109313=1, 109325=1, 109336=1, 109344=1, 109355=1, 109364=1, 109416=1, 109710=1, 109711=1, 109754=1, 109768=1, 109838=1, 109852=1, 109880=1, 109891=1, 109894=1, 109934=1, 110063=1, 110064=1, 110067=1, 110068=1, 110071=1, 110079=1, 110237=1, 110245=1, 110257=1, 110265=1, 110378=1, 110387=1, 110685=1, 110729=1, 110768=1, 110784=1, 110790=1, 110826=1, 110834=1, 110843=1, 110844=1, 110856=1, 111120=1, 111144=1, 111168=1, 111218=1, 111309=1, 111320=1, 111490=1, 111493=1, 111519=1, 111542=1, 111544=1, 111581=1, 111593=1, 111784=1, 111801=1, 111808=1, 111810=1, 111845=1, 111848=1, 111864=1, 111872=1, 111896=1, 111920=1, 112130=1, 112136=1, 112500=1, 112864=1, 112909=1, 112926=1, 112985=1, 113021=1, 113069=1, 113153=1, 113200=1, 113215=1, 113216=1, 113220=1, 113223=1, 113530=1, 113572=1, 113585=1, 113598=1, 113626=1, 113643=1, 113648=1, 113657=1, 113660=1, 113662=1, 113668=1, 113682=1, 113686=1, 113707=1, 113717=1, 113912=1, 113984=1, 114013=1, 114021=1, 114026=1, 114027=1, 114032=1, 114036=1, 114170=1, 114412=1, 114414=1, 114439=1, 114471=1, 114476=1, 114482=1, 114489=1, 114496=1, 114531=1, 114547=1, 114558=1, 114559=1, 114562=1, 114564=1, 114568=1, 114570=1, 114575=1, 114579=1, 114581=1, 114591=1, 114600=1, 114604=1, 114612=1, 114628=1, 114633=1, 114634=1, 114643=1, 114653=1, 114695=1, 114760=1, 114800=1, 114808=1, 114923=1, 115029=1, 115442=1, 115601=1, 115605=1, 115646=1, 115679=1, 115688=1, 115692=1, 115695=1, 115697=1, 115703=1, 115707=1, 115713=1, 115718=1, 115744=1, 115745=1, 115748=1, 115753=1, 115764=1, 115766=1, 115768=1, 115771=1, 115773=1, 115780=1, 115784=1, 116035=1, 116041=1, 116053=1, 116059=1, 116079=1, 116104=1, 116108=1, 116294=1, 116368=1, 116402=1, 116408=1, 116482=1, 116554=1, 116579=1, 116611=1, 116646=1, 116650=1, 116656=1, 116659=1, 116668=1, 116674=1, 116683=1, 116703=1, 116719=1, 116722=1, 116803=1, 116807=1, 117352=1, 117355=1, 117361=1, 117367=1, 117376=1, 117385=1, 117388=1, 117394=1, 117397=1, 117523=1, 117529=1, 117638=1, 117651=1, 117655=1, 118020=1, 118027=1, 118030=1, 118175=1, 118177=1, 118181=1, 118185=1, 118191=1, 118206=1, 118315=1, 118343=1, 118378=1, 118408=1, 118410=1, 118585=1, 118615=1, 118628=1, 118632=1, 118634=1, 118639=1, 118641=1, 118648=1, 118699=1, 118703=1, 118745=1, 118758=1, 118797=1, 118897=1, 119233=1, 119275=1, 119284=1, 119628=1, 119653=1, 119669=1, 119675=1, 119678=1, 119683=1, 119686=1, 119702=1, 119730=1, 119733=1, 119797=1, 119823=1, 119825=1, 119829=1, 119838=1, 119842=1, 119857=1, 120173=1, 120174=1, 120254=1, 120255=1, 120635=1, 120719=1, 120777=1, 120782=1, 120805=1, 120808=1, 120844=1, 120954=1, 121011=1, 121017=1, 121026=1, 121065=1, 121071=1, 121089=1, 121092=1, 121162=1, 121175=1, 121226=1, 121227=1, 121258=1, 121259=1, 121322=1, 121396=1, 121410=1, 121424=1, 121451=1, 121455=1, 121679=1, 121681=1, 121685=1, 121686=1, 121689=1, 121702=1, 122536=1, 122555=1, 122564=1, 122755=1, 122767=1, 122771=1, 122772=1, 122775=1, 122776=1, 122779=1, 122780=1, 122783=1, 122788=1, 122790=1, 122796=1, 122798=1, 122799=1, 122807=1, 122811=1, 122815=1, 122820=1, 122822=1, 122874=1, 122877=1, 123048=1, 123075=1, 123086=1, 123502=1, 123573=1, 123577=1, 123595=1, 123686=1, 123718=1, 123840=1, 123958=1, 123970=1, 124487=1, 124488=1, 124505=1, 124529=1, 124532=1, 124536=1, 124546=1, 124553=1, 124727=1, 124736=1, 124774=1, 124778=1, 124780=1, 124782=1, 124787=1, 124798=1, 124802=1, 124814=1, 124963=1, 125032=1, 125041=1, 125044=1, 125394=1, 125460=1, 125462=1, 125476=1, 125518=1, 125525=1, 125573=1, 125575=1, 125661=1, 125724=1, 126169=1, 126199=1, 126386=1, 126518=1, 126546=1, 126700=1, 126709=1, 126712=1, 126718=1, 126726=1, 126736=1, 126756=1, 126759=1, 126829=1, 126833=1, 127155=1, 127206=1, 127209=1, 127210=1, 127214=1, 127215=1, 127223=1, 127224=1, 127226=1, 127234=1, 127268=1, 127272=1, 127287=1, 127312=1, 127415=1, 127442=1, 127530=1, 127646=1, 127648=1, 127664=1, 127690=1, 127853=1, 128131=1, 128183=1, 128185=1, 128186=1, 128206=1, 128216=1, 128226=1, 128227=1, 128228=1, 128234=1, 128243=1, 128252=1, 128254=1, 128255=1, 128625=1, 128627=1, 128657=1, 128659=1, 128671=1, 128858=1, 128878=1, 128898=1, 128899=1, 128906=1, 128912=1, 128985=1, 129056=1, 129133=1, 129139=1, 129157=1, 129165=1, 129166=1, 129169=1, 129172=1, 129184=1, 129190=1, 129198=1, 129206=1, 129324=1, 129344=1, 129353=1, 129355=1, 129378=1, 129395=1, 129443=1, 129447=1, 129452=1, 129459=1, 129465=1, 129467=1, 129472=1, 129608=1, 129657=1, 129681=1, 129692=1, 129693=1, 129707=1, 129709=1, 129711=1, 129733=1, 129735=1, 129755=1, 129756=1, 129758=1, 129770=1, 129771=1, 129847=1, 129861=1, 129870=1, 129880=1, 129916=1, 129965=1, 130164=1, 130177=1, 130238=1, 130263=1, 130321=1, 130388=1, 130390=1, 130391=1, 130393=1, 130521=1, 130624=1, 130632=1, 130652=1, 130760=1, 130761=1, 130773=1, 130792=1, 130795=1, 130798=1, 130802=1, 130808=1, 130814=1, 130917=1, 130956=1, 130957=1, 130989=1, 131013=1, 131642=1, 131893=1, 131895=1, 131915=1, 131917=1, 131919=1, 132052=1, 132122=1, 132157=1, 132182=1, 132247=1, 132283=1, 132325=1, 132473=1, 132481=1, 132507=1, 132519=1, 132559=1, 132590=1, 132613=1, 132747=1, 132779=1, 132875=1, 132923=1, 132949=1, 133009=1, 133237=1, 133262=1, 133307=1, 133310=1, 133312=1, 133367=1, 133388=1, 133415=1, 133429=1, 133606=1, 133614=1, 133628=1, 133638=1, 133648=1, 133684=1, 133786=1, 133796=1, 133798=1, 133808=1, 134324=1, 134348=1, 134731=1, 134733=1, 134747=1, 134749=1, 134751=1, 134767=1, 134781=1, 134787=1, 134832=1, 134928=1, 135015=1, 135021=1, 135027=1, 135465=1, 135705=1, 135776=1, 135777=1, 135796=1, 135798=1, 135808=1, 135874=1, 135876=1, 135880=1, 135881=1, 135883=1, 135942=1, 135951=1, 136086=1, 136092=1, 136098=1, 136107=1, 136125=1, 136196=1, 136378=1, 136381=1, 136391=1, 136416=1, 136547=1, 136799=1, 136825=1, 136841=1, 136845=1, 136855=1, 136863=1, 136870=1, 136896=1, 136927=1, 136930=1, 136934=1, 136935=1, 136937=1, 136980=1, 136986=1, 136988=1, 136989=1, 136997=1, 137004=1, 137016=1, 137020=1, 137025=1, 137054=1, 137056=1, 137069=1, 137080=1, 137117=1, 137140=1, 137514=1, 137724=1, 137867=1, 137976=1, 137980=1, 138223=1, 138232=1, 138407=1, 138452=1, 138506=1, 138522=1, 138862=1, 138871=1, 138875=1, 138881=1, 138890=1, 138895=1, 138907=1, 138910=1, 138947=1, 138964=1, 139006=1, 139010=1, 139244=1, 139510=1, 139514=1, 140071=1, 140093=1, 140103=1, 140143=1, 140409=1, 140418=1, 140703=1, 140999=1, 141007=1, 141025=1, 141033=1, 141035=1, 141045=1, 141053=1, 141320=1, 141328=1, 141342=1, 141468=1, 141482=1}
Interrupted probabilistic random walk after 1695 steps, run timeout after 30040 ms. (steps per millisecond=0 ) properties seen :{6713=1, 9263=1, 11436=1, 11942=1, 37442=1, 42709=1, 51839=1, 69663=1, 118634=1, 119532=1, 131391=1}
Probabilistic random walk after 1695 steps, saw 1433 distinct states, run finished after 30051 ms. (steps per millisecond=0 ) properties seen :{6713=1, 9263=1, 11436=1, 11942=1, 37442=1, 42709=1, 51839=1, 69663=1, 118634=1, 119532=1, 131391=1}
Running SMT prover for 138980 properties.
[2022-05-23 07:55:51] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
// Phase 1: matrix 81238 rows 1381 cols
[2022-05-23 07:55:51] [INFO ] Computed 19 place invariants in 572 ms
[2022-05-23 07:56:17] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 138980 Parikh solutions to 1 different solutions.
Support contains 1380 out of 1381 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1381/1381 places, 144369/144369 transitions.
Applied a total of 0 rules in 947 ms. Remains 1381 /1381 variables (removed 0) and now considering 144369/144369 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1381/1381 places, 144369/144369 transitions.
[2022-05-23 07:56:27] [INFO ] Flatten gal took : 6298 ms
[2022-05-23 07:56:32] [INFO ] Flatten gal took : 5260 ms
[2022-05-23 07:56:33] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8292278812988371825.gal : 434 ms
[2022-05-23 07:56:33] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality6048698165021729364.prop : 260 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/ReachabilityCardinality8292278812988371825.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality6048698165021729364.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/ReachabilityCardinality8292278812988371825.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality6048698165021729364.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2022-05-23 07:56:56] [INFO ] Flatten gal took : 6131 ms
[2022-05-23 07:56:56] [INFO ] Applying decomposition
[2022-05-23 07:57:00] [INFO ] Flatten gal took : 4556 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/graph7591684645800499684.txt, -o, /tmp/graph7591684645800499684.bin, -w, /tmp/graph7591684645800499684.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/graph7591684645800499684.bin, -l, -1, -v, -w, /tmp/graph7591684645800499684.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-23 07:57:12] [INFO ] Decomposing Gal with order
[2022-05-23 07:57:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-23 07:57:27] [INFO ] Removed a total of 435057 redundant transitions.
[2022-05-23 07:57:30] [INFO ] Flatten gal took : 10338 ms
[2022-05-23 07:59:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 3362 labels/synchronizations in 20047 ms.
[2022-05-23 07:59:56] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17485972034171801593.gal : 341 ms
[2022-05-23 07:59:57] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality9410830349315959857.prop : 387 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality17485972034171801593.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality9410830349315959857.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/ReachabilityCardinality17485972034171801593.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality9410830349315959857.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin18079088603341056817
[2022-05-23 08:00:14] [INFO ] Built C files in 2007ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin18079088603341056817
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/ltsmin18079088603341056817]
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/ltsmin18079088603341056817] 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/ltsmin18079088603341056817] 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 1453 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=0 ) properties seen :{14=1, 32=1, 78=1, 114=1, 179=1, 181=1, 374=1, 574=1, 1007=1, 1076=1, 1103=1, 1195=1, 1475=1, 1479=1, 1481=1, 1539=1, 1550=1, 1884=1, 1893=1, 2076=1, 2083=1, 2091=1, 2095=1, 2235=1, 2267=1, 2270=1, 2377=1, 2407=1, 2412=1, 2413=1, 2510=1, 2520=1, 2530=1, 2536=1, 2571=1, 2820=1, 2846=1, 2860=1, 2870=1, 2884=1, 2920=1, 3340=1, 3354=1, 3374=1, 3513=1, 3708=1, 3723=1, 3873=1, 3935=1, 3955=1, 4173=1, 4336=1, 4384=1, 4662=1, 4714=1, 4722=1, 4731=1, 4755=1, 4761=1, 4798=1, 4804=1, 4807=1, 4966=1, 4978=1, 5388=1, 5390=1, 5410=1, 5414=1, 5427=1, 5571=1, 5599=1, 5635=1, 5781=1, 5785=1, 5793=1, 6058=1, 6074=1, 6108=1, 6119=1, 6123=1, 6142=1, 6145=1, 6313=1, 6342=1, 6345=1, 6352=1, 6569=1, 6577=1, 6620=1, 6626=1, 6718=1, 6739=1, 7243=1, 7247=1, 7602=1, 7605=1, 7889=1, 7997=1, 8029=1, 8087=1, 8196=1, 8210=1, 8295=1, 8319=1, 8321=1, 8924=1, 8934=1, 8966=1, 8972=1, 9105=1, 9107=1, 9138=1, 9141=1, 9172=1, 9184=1, 9290=1, 9299=1, 9442=1, 9470=1, 9488=1, 9508=1, 9535=1, 9710=1, 9837=1, 9843=1, 9852=1, 9858=1, 9863=1, 9866=1, 9872=1, 9959=1, 9960=1, 9988=1, 9996=1, 10096=1, 10165=1, 10687=1, 10735=1, 10736=1, 10750=1, 10753=1, 10765=1, 10769=1, 10772=1, 10777=1, 10784=1, 10795=1, 10820=1, 10860=1, 10917=1, 10923=1, 11462=1, 11502=1, 11620=1, 11632=1, 11708=1, 11738=1, 11744=1, 11839=1, 12215=1, 12223=1, 12587=1, 12781=1, 12794=1, 13324=1, 13329=1, 13405=1, 13409=1, 13413=1, 13417=1, 13423=1, 13425=1, 13458=1, 13512=1, 13610=1, 13688=1, 13715=1, 13720=1, 13748=1, 13976=1, 14014=1, 14304=1, 14322=1, 14429=1, 14541=1, 14704=1, 14734=1, 15246=1, 15417=1, 15425=1, 15436=1, 15444=1, 15449=1, 15451=1, 15459=1, 15470=1, 15474=1, 15648=1, 15785=1, 16181=1, 16219=1, 16652=1, 16672=1, 16758=1, 16770=1, 17067=1, 17413=1, 17516=1, 17528=1, 17653=1, 17673=1, 18316=1, 18330=1, 18536=1, 18538=1, 18560=1, 18568=1, 18679=1, 18683=1, 18685=1, 18702=1, 18992=1, 19406=1, 19486=1, 19500=1, 19521=1, 19529=1, 19535=1, 19541=1, 19562=1, 19572=1, 19598=1, 19615=1, 19696=1, 19964=1, 20630=1, 20662=1, 20702=1, 20717=1, 20722=1, 20841=1, 20996=1, 21059=1, 21062=1, 21068=1, 21074=1, 21160=1, 21163=1, 21410=1, 21422=1, 21508=1, 21512=1, 21514=1, 21518=1, 21520=1, 21524=1, 21538=1, 21542=1, 21560=1, 21639=1, 21678=1, 21681=1, 21683=1, 21791=1, 21929=1, 22167=1, 22191=1, 22300=1, 22306=1, 22634=1, 22745=1, 22853=1, 22857=1, 22967=1, 23229=1, 23259=1, 23458=1, 23726=1, 23935=1, 23961=1, 23985=1, 23993=1, 24014=1, 24048=1, 24054=1, 24378=1, 24457=1, 24483=1, 25038=1, 25633=1, 25965=1, 26328=1, 26337=1, 26350=1, 26384=1, 26764=1, 26766=1, 27292=1, 27534=1, 27924=1, 27930=1, 27935=1, 28009=1, 28029=1, 28159=1, 28162=1, 28166=1, 28168=1, 28178=1, 28180=1, 28240=1, 28242=1, 28847=1, 28915=1, 28937=1, 28955=1, 29280=1, 29288=1, 29300=1, 29357=1, 29374=1, 29428=1, 29561=1, 29809=1, 29823=1, 29922=1, 29948=1, 29954=1, 29989=1, 30010=1, 30022=1, 30046=1, 30279=1, 30744=1, 30751=1, 30752=1, 30780=1, 30806=1, 30808=1, 30813=1, 30817=1, 30821=1, 30962=1, 30963=1, 31024=1, 31067=1, 31223=1, 31224=1, 31244=1, 31255=1, 31256=1, 31265=1, 31355=1, 31357=1, 31412=1, 31673=1, 31674=1, 31676=1, 31680=1, 31807=1, 31809=1, 31928=1, 31937=1, 31939=1, 31945=1, 31947=1, 31960=1, 32047=1, 32120=1, 32363=1, 32490=1, 32499=1, 32523=1, 32543=1, 32554=1, 32691=1, 32796=1, 33211=1, 33484=1, 33495=1, 33666=1, 33679=1, 33695=1, 33713=1, 33715=1, 33739=1, 33992=1, 34032=1, 34132=1, 34364=1, 34646=1, 35041=1, 35047=1, 35056=1, 35213=1, 35218=1, 35220=1, 35241=1, 35279=1, 35663=1, 36295=1, 36376=1, 36385=1, 36419=1, 36687=1, 36725=1, 36737=1, 36920=1, 37151=1, 37455=1, 37525=1, 37703=1, 37712=1, 37753=1, 37755=1, 37759=1, 37761=1, 37764=1, 37782=1, 37784=1, 37787=1, 37903=1, 38021=1, 38059=1, 38137=1, 38339=1, 38751=1, 38758=1, 38771=1, 38781=1, 38793=1, 38855=1, 38856=1, 38863=1, 38886=1, 38903=1, 38937=1, 39788=1, 39796=1, 39828=1, 39845=1, 39858=1, 39865=1, 39896=1, 39929=1, 39930=1, 39931=1, 39935=1, 39968=1, 40119=1, 40251=1, 40256=1, 40318=1, 40525=1, 40527=1, 40697=1, 40842=1, 40875=1, 40889=1, 40896=1, 41112=1, 41289=1, 41665=1, 41674=1, 41723=1, 41815=1, 41853=1, 41975=1, 42105=1, 42139=1, 42140=1, 42248=1, 42325=1, 42387=1, 42400=1, 42763=1, 42886=1, 42887=1, 42892=1, 42933=1, 42969=1, 42975=1, 42994=1, 43028=1, 43070=1, 43073=1, 43112=1, 43128=1, 43144=1, 43160=1, 43384=1, 43394=1, 44124=1, 44250=1, 44408=1, 44499=1, 44516=1, 44522=1, 44857=1, 44893=1, 44897=1, 45171=1, 45237=1, 45436=1, 45439=1, 45704=1, 45770=1, 45777=1, 45889=1, 45966=1, 46016=1, 46499=1, 46520=1, 46666=1, 46770=1, 46792=1, 46794=1, 46800=1, 46803=1, 46806=1, 46941=1, 46954=1, 46962=1, 46975=1, 47042=1, 47120=1, 47155=1, 47156=1, 47161=1, 47320=1, 47340=1, 47572=1, 47574=1, 47590=1, 47595=1, 47604=1, 47665=1, 47681=1, 47895=1, 47959=1, 48058=1, 48065=1, 48077=1, 48078=1, 48143=1, 48171=1, 48438=1, 48521=1, 48710=1, 48751=1, 48766=1, 48774=1, 48792=1, 48960=1, 49036=1, 49054=1, 49073=1, 49095=1, 49097=1, 49322=1, 49335=1, 49529=1, 49689=1, 49769=1, 49811=1, 49817=1, 49821=1, 49875=1, 49876=1, 49881=1, 49894=1, 50161=1, 50296=1, 50309=1, 50350=1, 50355=1, 50366=1, 50722=1, 51003=1, 51120=1, 51127=1, 51183=1, 51244=1, 51282=1, 51297=1, 51326=1, 51329=1, 51337=1, 51344=1, 51376=1, 51378=1, 51534=1, 52170=1, 52186=1, 52197=1, 52198=1, 52211=1, 52275=1, 52278=1, 52296=1, 52356=1, 53003=1, 53496=1, 53586=1, 53588=1, 53643=1, 53675=1, 53883=1, 53893=1, 53933=1, 54014=1, 54685=1, 54732=1, 54907=1, 54909=1, 54952=1, 54963=1, 54995=1, 55108=1, 55168=1, 55355=1, 55380=1, 55437=1, 55750=1, 55906=1, 55966=1, 55968=1, 56198=1, 56325=1, 56651=1, 56675=1, 56731=1, 56796=1, 57136=1, 57172=1, 57199=1, 57343=1, 57353=1, 57566=1, 58056=1, 58089=1, 58120=1, 58122=1, 58130=1, 58141=1, 58588=1, 58857=1, 58864=1, 58985=1, 58999=1, 59003=1, 59007=1, 59029=1, 59257=1, 59360=1, 59485=1, 59666=1, 60007=1, 60324=1, 60382=1, 60721=1, 60818=1, 61053=1, 61067=1, 61157=1, 61374=1, 61377=1, 61379=1, 61384=1, 61386=1, 61414=1, 61416=1, 61428=1, 61459=1, 61656=1, 61737=1, 62352=1, 62424=1, 62448=1, 62464=1, 62466=1, 62525=1, 62546=1, 62547=1, 63240=1, 63263=1, 63468=1, 63481=1, 63495=1, 63724=1, 63982=1, 64002=1, 64170=1, 64174=1, 64452=1, 64455=1, 64457=1, 64458=1, 64463=1, 64485=1, 64732=1, 64820=1, 65062=1, 65113=1, 65161=1, 65165=1, 65175=1, 65219=1, 65283=1, 65564=1, 65601=1, 65622=1, 65652=1, 65690=1, 66292=1, 66408=1, 66655=1, 66693=1, 66723=1, 66735=1, 67225=1, 67246=1, 67257=1, 67264=1, 67282=1, 67285=1, 67293=1, 67308=1, 67309=1, 67348=1, 67487=1, 67489=1, 67493=1, 67513=1, 67639=1, 67661=1, 67930=1, 67935=1, 67995=1, 67997=1, 68133=1, 68633=1, 68643=1, 68739=1, 68740=1, 68746=1, 68759=1, 68763=1, 68773=1, 69064=1, 69071=1, 69081=1, 69087=1, 69088=1, 69098=1, 69114=1, 69116=1, 69133=1, 69134=1, 69220=1, 69318=1, 69323=1, 69600=1, 69664=1, 69708=1, 69736=1, 69747=1, 69765=1, 69778=1, 69784=1, 69790=1, 69797=1, 69826=1, 69892=1, 69987=1, 70133=1, 70319=1, 70329=1, 70363=1, 70483=1, 70824=1, 70860=1, 70873=1, 70952=1, 71044=1, 71281=1, 71491=1, 71575=1, 71610=1, 71668=1, 71783=1, 72244=1, 72507=1, 72529=1, 72697=1, 72809=1, 72953=1, 72955=1, 72965=1, 72967=1, 73135=1, 73139=1, 73156=1, 73163=1, 73221=1, 73237=1, 73260=1, 73673=1, 73759=1, 73794=1, 73928=1, 74165=1, 74197=1, 74211=1, 74219=1, 74331=1, 74985=1, 75044=1, 75068=1, 75098=1, 75348=1, 75360=1, 75408=1, 75862=1, 76295=1, 76305=1, 76567=1, 76585=1, 76606=1, 76618=1, 76714=1, 76971=1, 76990=1, 77172=1, 77187=1, 77190=1, 77193=1, 77218=1, 77244=1, 77247=1, 77257=1, 77333=1, 77607=1, 77618=1, 77685=1, 77730=1, 77926=1, 77944=1, 77956=1, 78033=1, 78174=1, 78310=1, 78366=1, 78611=1, 78859=1, 78958=1, 78966=1, 79031=1, 79211=1, 79214=1, 79426=1, 79606=1, 79618=1, 79650=1, 79727=1, 79731=1, 79812=1, 79816=1, 80000=1, 80349=1, 80412=1, 80415=1, 80493=1, 80511=1, 80560=1, 80660=1, 80682=1, 80770=1, 80845=1, 80858=1, 80864=1, 80867=1, 80871=1, 80883=1, 80888=1, 80892=1, 80894=1, 80903=1, 80972=1, 81233=1, 81299=1, 81321=1, 81327=1, 81333=1, 81358=1, 81370=1, 81376=1, 81379=1, 81385=1, 81453=1, 81777=1, 81791=1, 81915=1, 82254=1, 82322=1, 82324=1, 82342=1, 82380=1, 82504=1, 82533=1, 83108=1, 83142=1, 83146=1, 83150=1, 83342=1, 83365=1, 83371=1, 83385=1, 83495=1, 83497=1, 83507=1, 83509=1, 83842=1, 83889=1, 83897=1, 83898=1, 83907=1, 83936=1, 83937=1, 84122=1, 84126=1, 84144=1, 84297=1, 84333=1, 84509=1, 84525=1, 84547=1, 84567=1, 84662=1, 84679=1, 84695=1, 84780=1, 85060=1, 85132=1, 85225=1, 85445=1, 85521=1, 85522=1, 85524=1, 85530=1, 85532=1, 85534=1, 85540=1, 86187=1, 86201=1, 86205=1, 86209=1, 86216=1, 86224=1, 86241=1, 86261=1, 86269=1, 86542=1, 86548=1, 86775=1, 86955=1, 87028=1, 87038=1, 87298=1, 87331=1, 87436=1, 87654=1, 87737=1, 87790=1, 87792=1, 87842=1, 87854=1, 87872=1, 87887=1, 87940=1, 88437=1, 88440=1, 88453=1, 88716=1, 88767=1, 88796=1, 88803=1, 88804=1, 88813=1, 88831=1, 88880=1, 88882=1, 88897=1, 89354=1, 89601=1, 89699=1, 89763=1, 89782=1, 89784=1, 89785=1, 89799=1, 90039=1, 90042=1, 90214=1, 90294=1, 90297=1, 90300=1, 90305=1, 90307=1, 90310=1, 90325=1, 90343=1, 90347=1, 90404=1, 90566=1, 90901=1, 90911=1, 90962=1, 90970=1, 91070=1, 91244=1, 91247=1, 91252=1, 91306=1, 91319=1, 91353=1, 91455=1, 91523=1, 91548=1, 91575=1, 91595=1, 91678=1, 92005=1, 92009=1, 92048=1, 92098=1, 92513=1, 92574=1, 92633=1, 92643=1, 92649=1, 92854=1, 93169=1, 93454=1, 93659=1, 93700=1, 93922=1, 93923=1, 93931=1, 93933=1, 93942=1, 93998=1, 94050=1, 94273=1, 94921=1, 95256=1, 95261=1, 95268=1, 95274=1, 95324=1, 95367=1, 95423=1, 95550=1, 95966=1, 96257=1, 96280=1, 96295=1, 96371=1, 96395=1, 96419=1, 96437=1, 96449=1, 96611=1, 97273=1, 97429=1, 97438=1, 97527=1, 98444=1, 98455=1, 98466=1, 98472=1, 98477=1, 98485=1, 98489=1, 98506=1, 99229=1, 99241=1, 99292=1, 99295=1, 99303=1, 99423=1, 99533=1, 99725=1, 100303=1, 100310=1, 100316=1, 100460=1, 100544=1, 100908=1, 100916=1, 100917=1, 100920=1, 100982=1, 100989=1, 101097=1, 101104=1, 101117=1, 101146=1, 101154=1, 101156=1, 101164=1, 101165=1, 101196=1, 101204=1, 101285=1, 101421=1, 101559=1, 101566=1, 101739=1, 101862=1, 101866=1, 101873=1, 101878=1, 101882=1, 101884=1, 101886=1, 102010=1, 102024=1, 102040=1, 102090=1, 102101=1, 102165=1, 102173=1, 102264=1, 102265=1, 102525=1, 102535=1, 102548=1, 102585=1, 102989=1, 103024=1, 103044=1, 103216=1, 103257=1, 103263=1, 103493=1, 103506=1, 104004=1, 104095=1, 104127=1, 104311=1, 104583=1, 104586=1, 104870=1, 104903=1, 104920=1, 104974=1, 105021=1, 105027=1, 105128=1, 105164=1, 105227=1, 105233=1, 105380=1, 105395=1, 105444=1, 105469=1, 105562=1, 105583=1, 105598=1, 105649=1, 105902=1, 106320=1, 106328=1, 106346=1, 106399=1, 106561=1, 107030=1, 107054=1, 107078=1, 107099=1, 107124=1, 107165=1, 107263=1, 107269=1, 107331=1, 107455=1, 107616=1, 107625=1, 107631=1, 107650=1, 107796=1, 107865=1, 107970=1, 107974=1, 107980=1, 108011=1, 108366=1, 108463=1, 108864=1, 108955=1, 109095=1, 109208=1, 109240=1, 109618=1, 109648=1, 109650=1, 109866=1, 109904=1, 109908=1, 109972=1, 110222=1, 110232=1, 110246=1, 111032=1, 111557=1, 111576=1, 111656=1, 111657=1, 111684=1, 111696=1, 111715=1, 111718=1, 111735=1, 111831=1, 112055=1, 112058=1, 112079=1, 112444=1, 112469=1, 112497=1, 112498=1, 112542=1, 112548=1, 112550=1, 112585=1, 112600=1, 112623=1, 113506=1, 113525=1, 113579=1, 113593=1, 113638=1, 113667=1, 113679=1, 113699=1, 113710=1, 113715=1, 114261=1, 114279=1, 114280=1, 114283=1, 114492=1, 114538=1, 114551=1, 114552=1, 114555=1, 114566=1, 114589=1, 114642=1, 115152=1, 115285=1, 115301=1, 115308=1, 115470=1, 115560=1, 115587=1, 115592=1, 115661=1, 115865=1, 115979=1, 116087=1, 116098=1, 116104=1, 116259=1, 116405=1, 116432=1, 116472=1, 116478=1, 116482=1, 116483=1, 116485=1, 116492=1, 116503=1, 116508=1, 116520=1, 116624=1, 116820=1, 116832=1, 117111=1, 117432=1, 117458=1, 117521=1, 117543=1, 117555=1, 117597=1, 117625=1, 117665=1, 117684=1, 117686=1, 117701=1, 117710=1, 117715=1, 117717=1, 117718=1, 117867=1, 117907=1, 117956=1, 117965=1, 117982=1, 118012=1, 118039=1, 118041=1, 118101=1, 118562=1, 118580=1, 118595=1, 118707=1, 118718=1, 118721=1, 118805=1, 118810=1, 118836=1, 118848=1, 118852=1, 118884=1, 118891=1, 118924=1, 119000=1, 119063=1, 119097=1, 119191=1, 119270=1, 119540=1, 120382=1, 120387=1, 120390=1, 120411=1, 120414=1, 120417=1, 120574=1, 120610=1, 120616=1, 120677=1, 120736=1, 120846=1, 120853=1, 120899=1, 121016=1, 121020=1, 121381=1, 121413=1, 121557=1, 121707=1, 122262=1, 122272=1, 122280=1, 122287=1, 122515=1, 122558=1, 122571=1, 122603=1, 122788=1, 122833=1, 123072=1, 123254=1, 123880=1, 123906=1, 123990=1, 124292=1, 124565=1, 124862=1, 124886=1, 124901=1, 124916=1, 124934=1, 124945=1, 124964=1, 124981=1, 124996=1, 125416=1, 125482=1, 125486=1, 125507=1, 125509=1, 125510=1, 125519=1, 125574=1, 125582=1, 125603=1, 125813=1, 125870=1, 125894=1, 125906=1, 125915=1, 125918=1, 126343=1, 126577=1, 126611=1, 126613=1, 126638=1, 126681=1, 126861=1, 126877=1, 126976=1, 127137=1, 127141=1, 127370=1, 127394=1, 127412=1, 127436=1, 127578=1, 127581=1, 127593=1, 127602=1, 127607=1, 127835=1, 128185=1, 128604=1, 128624=1, 128638=1, 128889=1, 129106=1, 129134=1, 129582=1, 129600=1, 129620=1, 129830=1, 130101=1, 130135=1, 130139=1, 130141=1, 130147=1, 130166=1, 130172=1, 130192=1, 130196=1, 130199=1, 130507=1, 130551=1, 130560=1, 130605=1, 130842=1, 130864=1, 130897=1, 130991=1, 131215=1, 131352=1, 131402=1, 131445=1, 131685=1, 131714=1, 132186=1, 132228=1, 132234=1, 132248=1, 132274=1, 132278=1, 132292=1, 132327=1, 132362=1, 132377=1, 132391=1, 132426=1, 132582=1, 132824=1, 132858=1, 132968=1, 132974=1, 133169=1, 133181=1, 133240=1, 133339=1, 133342=1, 133346=1, 133402=1, 133485=1, 133525=1, 133693=1, 133701=1, 133729=1, 133854=1, 134061=1, 134361=1, 134368=1, 134435=1, 134445=1, 134542=1, 134545=1, 134590=1, 134621=1, 134637=1, 134991=1, 135016=1, 135036=1, 135227=1, 135322=1, 135364=1, 135648=1, 135691=1, 135725=1, 135733=1, 135773=1, 135851=1, 135855=1, 135864=1, 135865=1, 135895=1, 135902=1, 136390=1, 136843=1, 136927=1, 136944=1, 136975=1, 136984=1, 136985=1, 136989=1, 137035=1, 137040=1, 137062=1, 137559=1, 137586=1, 137596=1, 137662=1, 137791=1, 137863=1, 137870=1, 138100=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4320 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5003 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4965 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4919 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Interrupted Best-First random walk after 985 steps, including 2 resets, run timeout after 5003 ms. (steps per millisecond=0 ) properties seen :{}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3731 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4463 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4914 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2433 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2665 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2625 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2560 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2662 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2487 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2664 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4718 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4575 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3838 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4744 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4490 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4988 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4883 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4902 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4964 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2726 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2562 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2511 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2540 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2389 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4643 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2948 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4426 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4619 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4686 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4934 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4554 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4628 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Interrupted Best-First random walk after 969 steps, including 2 resets, run timeout after 5018 ms. (steps per millisecond=0 ) properties seen :{}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3873 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4876 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4560 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Interrupted Best-First random walk after 977 steps, including 2 resets, run timeout after 5020 ms. (steps per millisecond=0 ) properties seen :{}
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 4924 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Interrupted Best-First random walk after 993 steps, including 2 resets, run timeout after 5018 ms. (steps per millisecond=0 ) properties seen :{}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4586 ms. (steps per millisecond=0 ) properties (out of 137452) seen :0
Interrupted Best-First random walk after 948 steps, including 2 resets, run timeout after 5029 ms. (steps per millisecond=0 ) properties seen :{10270=1, 25261=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4705 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Interrupted Best-First random walk after 972 steps, including 2 resets, run timeout after 5024 ms. (steps per millisecond=0 ) properties seen :{}
Interrupted Best-First random walk after 990 steps, including 2 resets, run timeout after 5013 ms. (steps per millisecond=0 ) properties seen :{}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3252 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2604 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2718 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2703 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2665 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2707 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2651 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Interrupted Best-First random walk after 692 steps, including 2 resets, run timeout after 5003 ms. (steps per millisecond=0 ) properties seen :{}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2492 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2358 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2454 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2380 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2546 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2433 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2114 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2491 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2456 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2598 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2633 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Interrupted Best-First random walk after 964 steps, including 2 resets, run timeout after 5017 ms. (steps per millisecond=0 ) properties seen :{}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3973 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2580 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2483 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3695 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2721 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2245 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3907 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Interrupted Best-First random walk after 977 steps, including 2 resets, run timeout after 5023 ms. (steps per millisecond=0 ) properties seen :{}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4334 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2548 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2282 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2593 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2687 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2556 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2389 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2109 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2435 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2397 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2621 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2529 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3750 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2449 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2281 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2499 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2493 ms. (steps per millisecond=0 ) properties (out of 137450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2691 ms. (steps per millisecond=0 ) properties (out of 137450) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2543 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2629 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2463 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2419 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2666 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2626 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2449 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2515 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2131 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2547 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2706 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2260 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2351 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2608 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2431 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2499 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2417 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2564 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2611 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2596 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2323 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2683 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2427 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2514 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2400 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2490 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2517 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2539 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2364 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2437 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2392 ms. (steps per millisecond=0 ) properties (out of 137449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2792 ms. (steps per millisecond=0 ) properties (out of 137449) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2380 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2428 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2497 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2388 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2569 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2382 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2468 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2443 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2347 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2391 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2668 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2242 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2370 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2490 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2435 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2523 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2342 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2613 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2472 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2465 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2145 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2819 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2475 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4731 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5009 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Interrupted Best-First random walk after 830 steps, including 2 resets, run timeout after 5022 ms. (steps per millisecond=0 ) properties seen :{}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3736 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2524 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2174 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2498 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2546 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2559 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2570 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2322 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2530 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2639 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2373 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2461 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2339 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2427 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2347 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2364 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2479 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2501 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2605 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2470 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2501 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2422 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2467 ms. (steps per millisecond=0 ) properties (out of 137448) seen :0
Interrupted probabilistic random walk after 1359 steps, run timeout after 30070 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 1359 steps, saw 1150 distinct states, run finished after 30071 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 137448 properties.
[2022-05-23 08:10:18] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
// Phase 1: matrix 81238 rows 1381 cols
[2022-05-23 08:10:19] [INFO ] Computed 19 place invariants in 611 ms
[2022-05-23 08:14:06] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 137448 Parikh solutions to 1 different solutions.
Support contains 1380 out of 1381 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1381/1381 places, 144369/144369 transitions.
Applied a total of 0 rules in 2098 ms. Remains 1381 /1381 variables (removed 0) and now considering 144369/144369 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1381/1381 places, 144369/144369 transitions.
[2022-05-23 08:14:18] [INFO ] Flatten gal took : 6509 ms
[2022-05-23 08:14:23] [INFO ] Flatten gal took : 5438 ms
[2022-05-23 08:14:25] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2077309122107959420.gal : 737 ms
[2022-05-23 08:14:25] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality18252739170800601664.prop : 293 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/ReachabilityCardinality2077309122107959420.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality18252739170800601664.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/ReachabilityCardinality2077309122107959420.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality18252739170800601664.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2022-05-23 08:14:51] [INFO ] Flatten gal took : 6546 ms
[2022-05-23 08:14:51] [INFO ] Applying decomposition
[2022-05-23 08:14:57] [INFO ] Flatten gal took : 5690 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/graph4762849544615265134.txt, -o, /tmp/graph4762849544615265134.bin, -w, /tmp/graph4762849544615265134.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/graph4762849544615265134.bin, -l, -1, -v, -w, /tmp/graph4762849544615265134.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-23 08:15:18] [INFO ] Decomposing Gal with order
[2022-05-23 08:15:18] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-23 08:15:36] [INFO ] Removed a total of 435327 redundant transitions.
[2022-05-23 08:15:38] [INFO ] Flatten gal took : 14871 ms

BK_STOP 1653293739990

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

+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -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 QuasiLiveness -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="RERS17pb115-PT-3"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="gold2021"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2021"
echo " Input is RERS17pb115-PT-3, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r198-tajo-165281579300102"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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