fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r019-qhx1-152646243500048
Last Updated
June 26, 2018

About the Execution of Irma.struct for Angiogenesis-PT-50

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15919.470 2195242.00 2417286.00 5513.50 ? normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.......................................................................................
/home/mcc/execution
total 196K
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 10K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 109 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 347 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 33K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool irma4mcc-structural
Input is Angiogenesis-PT-50, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r019-qhx1-152646243500048
=====================================================================

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Angiogenesis-PT-50-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1526801410449


BK_STOP 1526803605691

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

Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using Angiogenesis-PT-50 as instance name.
Using Angiogenesis as model name.
Using algorithm or tool decision-tree.
Model characteristics are: {'Examination': 'ReachabilityDeadlock', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': False, 'Sink Place': True, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': True, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': False, 'Safe': None, 'Deadlock': True, 'Reversible': False, 'Quasi Live': False, 'Live': False}.
Known tools are: [{'Time': 432374, 'Memory': 15936.94, 'Tool': 'lola'}, {'Time': 434685, 'Memory': 15934.99, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'gspn'}].
ReachabilityDeadlock lola Angiogenesis-PT-50...

Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
Angiogenesis-PT-50: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
Angiogenesis-PT-50: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
ReachabilityDeadlock @ Angiogenesis-PT-50 @ 3538 seconds
Makefile:222: recipe for target 'verify' failed
----- Start make result stdout -----
make: [verify] Error 137 (ignored)
----- Start make result stderr -----
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 103/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 39 places, 64 transitions, 31 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 54 transition conflict sets
lola: TASK
lola: reading formula from Angiogenesis-PT-50-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: E (F (DEADLOCK))
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 1263 variables and 3915 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 3 tries, 2404024 fired transitions, 0 secs || 580978 markings, 996816 edges, 116196 markings/sec, 0 secs
lola: STP completed || 5 tries, 4401572 fired transitions, 5 secs || 1155250 markings, 1994711 edges, 114854 markings/sec, 5 secs
lola: STP completed || 8 tries, 7012046 fired transitions, 10 secs || 1690740 markings, 2926048 edges, 107098 markings/sec, 10 secs
lola: STP completed || 9 tries, 8591194 fired transitions, 15 secs || 2234410 markings, 3874127 edges, 108734 markings/sec, 15 secs
lola: STP completed || 11 tries, 10349730 fired transitions, 20 secs || 2771147 markings, 4818594 edges, 107347 markings/sec, 20 secs
lola: STP completed || 13 tries, 12145854 fired transitions, 25 secs || 3301416 markings, 5755876 edges, 106054 markings/sec, 25 secs
lola: STP completed || 14 tries, 13871963 fired transitions, 30 secs || 3829158 markings, 6690891 edges, 105548 markings/sec, 30 secs
lola: STP completed || 16 tries, 15710861 fired transitions, 35 secs || 4354854 markings, 7623126 edges, 105139 markings/sec, 35 secs
lola: STP completed || 18 tries, 17058218 fired transitions, 40 secs || 4884652 markings, 8568373 edges, 105960 markings/sec, 40 secs
lola: STP completed || 19 tries, 18810106 fired transitions, 45 secs || 5406321 markings, 9499230 edges, 104334 markings/sec, 45 secs
lola: STP completed || 21 tries, 20199873 fired transitions, 50 secs || 5931050 markings, 10439604 edges, 104946 markings/sec, 50 secs
lola: STP completed || 22 tries, 21522585 fired transitions, 55 secs || 6455969 markings, 11373909 edges, 104984 markings/sec, 55 secs
lola: STP completed || 24 tries, 23496914 fired transitions, 60 secs || 6973401 markings, 12303212 edges, 103486 markings/sec, 60 secs
lola: STP completed || 26 tries, 25515856 fired transitions, 65 secs || 7487666 markings, 13226300 edges, 102853 markings/sec, 65 secs
lola: STP completed || 29 tries, 28180238 fired transitions, 70 secs || 7990151 markings, 14130925 edges, 100497 markings/sec, 70 secs
lola: STP completed || 31 tries, 30558387 fired transitions, 75 secs || 8520487 markings, 15099835 edges, 106067 markings/sec, 75 secs
lola: STP completed || 33 tries, 32360352 fired transitions, 80 secs || 9042079 markings, 16038575 edges, 104318 markings/sec, 80 secs
lola: STP completed || 35 tries, 34143126 fired transitions, 85 secs || 9572371 markings, 16998121 edges, 106058 markings/sec, 85 secs
lola: STP completed || 36 tries, 35681104 fired transitions, 90 secs || 10110671 markings, 17983431 edges, 107660 markings/sec, 90 secs
lola: STP completed || 38 tries, 37640568 fired transitions, 95 secs || 10638390 markings, 18944645 edges, 105544 markings/sec, 95 secs
lola: STP completed || 40 tries, 39456914 fired transitions, 100 secs || 11170115 markings, 19907457 edges, 106345 markings/sec, 100 secs
lola: STP completed || 42 tries, 41922511 fired transitions, 105 secs || 11697922 markings, 20865959 edges, 105561 markings/sec, 105 secs
lola: STP completed || 45 tries, 44482762 fired transitions, 110 secs || 12208955 markings, 21800989 edges, 102207 markings/sec, 110 secs
lola: STP completed || 47 tries, 46469974 fired transitions, 115 secs || 12729639 markings, 22764183 edges, 104137 markings/sec, 115 secs
lola: STP completed || 49 tries, 48533694 fired transitions, 120 secs || 13255500 markings, 23735986 edges, 105172 markings/sec, 120 secs
lola: STP completed || 51 tries, 50587753 fired transitions, 125 secs || 13781209 markings, 24691662 edges, 105142 markings/sec, 125 secs
lola: STP completed || 54 tries, 53281340 fired transitions, 130 secs || 14279845 markings, 25604452 edges, 99727 markings/sec, 130 secs
lola: STP completed || 56 tries, 55776391 fired transitions, 135 secs || 14770702 markings, 26493804 edges, 98171 markings/sec, 135 secs
lola: STP completed || 58 tries, 57718749 fired transitions, 140 secs || 15252655 markings, 27372425 edges, 96391 markings/sec, 140 secs
lola: STP completed || 60 tries, 59296475 fired transitions, 145 secs || 15740334 markings, 28246955 edges, 97536 markings/sec, 145 secs
lola: STP completed || 61 tries, 60828827 fired transitions, 150 secs || 16221705 markings, 29136787 edges, 96274 markings/sec, 150 secs
lola: STP completed || 64 tries, 63255615 fired transitions, 155 secs || 16686793 markings, 29987165 edges, 93018 markings/sec, 155 secs
lola: STP completed || 65 tries, 64884357 fired transitions, 160 secs || 17161618 markings, 30861268 edges, 94965 markings/sec, 160 secs
lola: STP completed || 67 tries, 66457338 fired transitions, 165 secs || 17648286 markings, 31766363 edges, 97334 markings/sec, 165 secs
lola: STP completed || 70 tries, 69061105 fired transitions, 170 secs || 18118194 markings, 32629002 edges, 93982 markings/sec, 170 secs
lola: STP completed || 71 tries, 70910160 fired transitions, 175 secs || 18610749 markings, 33538874 edges, 98511 markings/sec, 175 secs
lola: STP completed || 74 tries, 73197461 fired transitions, 180 secs || 19101255 markings, 34445637 edges, 98101 markings/sec, 180 secs
lola: STP completed || 76 tries, 75291899 fired transitions, 185 secs || 19592594 markings, 35339743 edges, 98268 markings/sec, 185 secs
lola: STP completed || 78 tries, 77333965 fired transitions, 190 secs || 20088608 markings, 36243675 edges, 99203 markings/sec, 190 secs
lola: STP completed || 80 tries, 79211871 fired transitions, 195 secs || 20578435 markings, 37144249 edges, 97965 markings/sec, 195 secs
lola: STP completed || 82 tries, 81402325 fired transitions, 200 secs || 21050379 markings, 38013640 edges, 94389 markings/sec, 200 secs
lola: STP completed || 84 tries, 83404387 fired transitions, 205 secs || 21541927 markings, 38923726 edges, 98310 markings/sec, 205 secs
lola: STP completed || 87 tries, 86014291 fired transitions, 210 secs || 22027760 markings, 39809301 edges, 97167 markings/sec, 210 secs
lola: STP completed || 89 tries, 88658598 fired transitions, 215 secs || 22513922 markings, 40700073 edges, 97232 markings/sec, 215 secs
lola: STP completed || 91 tries, 90280888 fired transitions, 220 secs || 23011208 markings, 41625158 edges, 99457 markings/sec, 220 secs
lola: STP completed || 92 tries, 91760372 fired transitions, 225 secs || 23513421 markings, 42545412 edges, 100443 markings/sec, 225 secs
lola: STP completed || 95 tries, 94143913 fired transitions, 230 secs || 23997890 markings, 43444868 edges, 96894 markings/sec, 230 secs
lola: STP completed || 96 tries, 95763405 fired transitions, 235 secs || 24489640 markings, 44359511 edges, 98350 markings/sec, 235 secs
lola: STP completed || 98 tries, 97975224 fired transitions, 240 secs || 24974884 markings, 45252106 edges, 97049 markings/sec, 240 secs
lola: STP completed || 101 tries, 100204279 fired transitions, 245 secs || 25456092 markings, 46144615 edges, 96242 markings/sec, 245 secs
lola: STP completed || 103 tries, 102579467 fired transitions, 250 secs || 25936309 markings, 47034269 edges, 96043 markings/sec, 250 secs
lola: STP completed || 104 tries, 103989652 fired transitions, 255 secs || 26427663 markings, 47960170 edges, 98271 markings/sec, 255 secs
lola: STP completed || 106 tries, 105519505 fired transitions, 260 secs || 26933187 markings, 48910738 edges, 101105 markings/sec, 260 secs
lola: STP completed || 108 tries, 107664831 fired transitions, 265 secs || 27453673 markings, 49876174 edges, 104097 markings/sec, 265 secs
lola: STP completed || 110 tries, 109060278 fired transitions, 270 secs || 27983171 markings, 50863386 edges, 105900 markings/sec, 270 secs
lola: STP completed || 112 tries, 111747421 fired transitions, 275 secs || 28491372 markings, 51808471 edges, 101640 markings/sec, 275 secs
lola: STP completed || 114 tries, 113791943 fired transitions, 280 secs || 29004988 markings, 52767005 edges, 102723 markings/sec, 280 secs
lola: STP completed || 116 tries, 115114991 fired transitions, 285 secs || 29527213 markings, 53736178 edges, 104445 markings/sec, 285 secs
lola: STP completed || 117 tries, 116765222 fired transitions, 290 secs || 30034945 markings, 54676544 edges, 101546 markings/sec, 290 secs
lola: STP completed || 119 tries, 118490515 fired transitions, 295 secs || 30536898 markings, 55605825 edges, 100391 markings/sec, 295 secs
lola: STP completed || 121 tries, 120532638 fired transitions, 300 secs || 31048460 markings, 56562713 edges, 102312 markings/sec, 300 secs
lola: STP completed || 123 tries, 122657999 fired transitions, 305 secs || 31560252 markings, 57510071 edges, 102358 markings/sec, 305 secs
lola: STP completed || 124 tries, 123946103 fired transitions, 310 secs || 32084168 markings, 58490909 edges, 104783 markings/sec, 310 secs
lola: STP completed || 126 tries, 125749808 fired transitions, 315 secs || 32594923 markings, 59453972 edges, 102151 markings/sec, 315 secs
lola: STP completed || 129 tries, 128114142 fired transitions, 320 secs || 33105858 markings, 60397954 edges, 102187 markings/sec, 320 secs
lola: STP completed || 131 tries, 130202108 fired transitions, 325 secs || 33616561 markings, 61352878 edges, 102141 markings/sec, 325 secs
lola: STP completed || 132 tries, 131886546 fired transitions, 330 secs || 34140212 markings, 62335995 edges, 104730 markings/sec, 330 secs
lola: STP completed || 135 tries, 134182816 fired transitions, 335 secs || 34646033 markings, 63279151 edges, 101164 markings/sec, 335 secs
lola: STP completed || 136 tries, 135823786 fired transitions, 340 secs || 35163886 markings, 64242166 edges, 103571 markings/sec, 340 secs
lola: STP completed || 138 tries, 137598647 fired transitions, 345 secs || 35675778 markings, 65217255 edges, 102378 markings/sec, 345 secs
lola: STP completed || 139 tries, 138841996 fired transitions, 350 secs || 36191511 markings, 66183923 edges, 103147 markings/sec, 350 secs
lola: STP completed || 141 tries, 140824300 fired transitions, 355 secs || 36708780 markings, 67146571 edges, 103454 markings/sec, 355 secs
lola: STP completed || 144 tries, 143333990 fired transitions, 360 secs || 37212411 markings, 68081521 edges, 100726 markings/sec, 360 secs
lola: STP completed || 146 tries, 145680014 fired transitions, 365 secs || 37726176 markings, 69041746 edges, 102753 markings/sec, 365 secs
lola: STP completed || 148 tries, 147987466 fired transitions, 370 secs || 38215889 markings, 69944883 edges, 97943 markings/sec, 370 secs
lola: STP completed || 151 tries, 150190176 fired transitions, 375 secs || 38684324 markings, 70822163 edges, 93687 markings/sec, 375 secs
lola: STP completed || 153 tries, 152034233 fired transitions, 380 secs || 39164231 markings, 71722204 edges, 95981 markings/sec, 380 secs
lola: STP completed || 155 tries, 154380403 fired transitions, 385 secs || 39636308 markings, 72601415 edges, 94415 markings/sec, 385 secs
lola: STP completed || 156 tries, 155610687 fired transitions, 390 secs || 40119405 markings, 73516046 edges, 96619 markings/sec, 390 secs
lola: STP completed || 157 tries, 156854324 fired transitions, 395 secs || 40603326 markings, 74427158 edges, 96784 markings/sec, 395 secs
lola: STP completed || 160 tries, 159358403 fired transitions, 400 secs || 41073408 markings, 75310002 edges, 94016 markings/sec, 400 secs
lola: STP completed || 162 tries, 161334897 fired transitions, 405 secs || 41547955 markings, 76198451 edges, 94909 markings/sec, 405 secs
lola: STP completed || 163 tries, 162697633 fired transitions, 410 secs || 42039748 markings, 77114638 edges, 98359 markings/sec, 410 secs
lola: STP completed || 165 tries, 164495818 fired transitions, 415 secs || 42514356 markings, 78022394 edges, 94922 markings/sec, 415 secs
lola: STP completed || 167 tries, 166575325 fired transitions, 420 secs || 42990905 markings, 78914641 edges, 95310 markings/sec, 420 secs
lola: STP completed || 169 tries, 168371708 fired transitions, 425 secs || 43462211 markings, 79800098 edges, 94261 markings/sec, 425 secs
lola: STP completed || 172 tries, 171082460 fired transitions, 430 secs || 43926806 markings, 80667757 edges, 92919 markings/sec, 430 secs
lola: STP completed || 173 tries, 172690744 fired transitions, 435 secs || 44438313 markings, 81627264 edges, 102301 markings/sec, 435 secs
lola: STP completed || 175 tries, 174785149 fired transitions, 440 secs || 44907704 markings, 82514919 edges, 93878 markings/sec, 440 secs
lola: STP completed || 177 tries, 176868901 fired transitions, 445 secs || 45383841 markings, 83404635 edges, 95227 markings/sec, 445 secs
lola: STP completed || 179 tries, 178640285 fired transitions, 450 secs || 45857539 markings, 84299655 edges, 94740 markings/sec, 450 secs
lola: STP completed || 181 tries, 180222401 fired transitions, 455 secs || 46336887 markings, 85204485 edges, 95870 markings/sec, 455 secs
lola: STP completed || 183 tries, 182605231 fired transitions, 460 secs || 46803501 markings, 86083635 edges, 93323 markings/sec, 460 secs
lola: STP completed || 185 tries, 184351934 fired transitions, 465 secs || 47284148 markings, 86986178 edges, 96129 markings/sec, 465 secs
lola: STP completed || 187 tries, 186232616 fired transitions, 470 secs || 47761058 markings, 87886839 edges, 95382 markings/sec, 470 secs
lola: STP completed || 188 tries, 187527413 fired transitions, 475 secs || 48254775 markings, 88797735 edges, 98743 markings/sec, 475 secs
lola: STP completed || 189 tries, 188842916 fired transitions, 480 secs || 48734278 markings, 89715736 edges, 95901 markings/sec, 480 secs
lola: STP completed || 192 tries, 191143837 fired transitions, 485 secs || 49291138 markings, 90763582 edges, 111372 markings/sec, 485 secs
lola: STP completed || 194 tries, 193507455 fired transitions, 490 secs || 49902096 markings, 91916454 edges, 122192 markings/sec, 490 secs
lola: STP completed || 196 tries, 195885256 fired transitions, 495 secs || 50517790 markings, 93063406 edges, 123139 markings/sec, 495 secs
lola: STP completed || 198 tries, 197802808 fired transitions, 500 secs || 51136027 markings, 94214989 edges, 123647 markings/sec, 500 secs
lola: STP completed || 201 tries, 200293047 fired transitions, 505 secs || 51749632 markings, 95382262 edges, 122721 markings/sec, 505 secs
lola: STP completed || 203 tries, 202260964 fired transitions, 510 secs || 52365712 markings, 96552820 edges, 123216 markings/sec, 510 secs
lola: STP completed || 205 tries, 204312353 fired transitions, 515 secs || 52976133 markings, 97720219 edges, 122084 markings/sec, 515 secs
lola: STP completed || 207 tries, 206365971 fired transitions, 520 secs || 53588548 markings, 98886074 edges, 122483 markings/sec, 520 secs
lola: STP completed || 209 tries, 208576430 fired transitions, 525 secs || 54196466 markings, 100052251 edges, 121584 markings/sec, 525 secs
lola: STP completed || 211 tries, 210524386 fired transitions, 530 secs || 54765756 markings, 101122992 edges, 113858 markings/sec, 530 secs
lola: STP completed || 213 tries, 212635830 fired transitions, 535 secs || 55235434 markings, 102007840 edges, 93936 markings/sec, 535 secs
lola: STP completed || 215 tries, 214488859 fired transitions, 540 secs || 55704563 markings, 102896648 edges, 93826 markings/sec, 540 secs
lola: STP completed || 217 tries, 216587170 fired transitions, 545 secs || 56173293 markings, 103784692 edges, 93746 markings/sec, 545 secs
lola: STP completed || 220 tries, 219158791 fired transitions, 550 secs || 56638481 markings, 104658225 edges, 93038 markings/sec, 550 secs
lola: STP completed || 222 tries, 221167621 fired transitions, 555 secs || 57116901 markings, 105551275 edges, 95684 markings/sec, 555 secs
lola: STP completed || 223 tries, 222704199 fired transitions, 560 secs || 57586874 markings, 106454896 edges, 93995 markings/sec, 560 secs
lola: STP completed || 226 tries, 225007291 fired transitions, 565 secs || 58049390 markings, 107325377 edges, 92503 markings/sec, 565 secs
lola: STP completed || 228 tries, 227293510 fired transitions, 570 secs || 58515211 markings, 108200423 edges, 93164 markings/sec, 570 secs
lola: STP completed || 230 tries, 229875936 fired transitions, 575 secs || 58983996 markings, 109083481 edges, 93757 markings/sec, 575 secs
lola: STP completed || 233 tries, 232461666 fired transitions, 580 secs || 59441539 markings, 109943078 edges, 91509 markings/sec, 580 secs
lola: STP completed || 235 tries, 234335082 fired transitions, 585 secs || 59909838 markings, 110826956 edges, 93660 markings/sec, 585 secs
lola: STP completed || 236 tries, 235847578 fired transitions, 590 secs || 60376548 markings, 111714208 edges, 93342 markings/sec, 590 secs
lola: STP completed || 238 tries, 237846316 fired transitions, 595 secs || 60848404 markings, 112601125 edges, 94371 markings/sec, 595 secs
lola: STP completed || 241 tries, 240326742 fired transitions, 600 secs || 61307887 markings, 113466955 edges, 91897 markings/sec, 600 secs
lola: STP completed || 243 tries, 242357864 fired transitions, 605 secs || 61777180 markings, 114359164 edges, 93859 markings/sec, 605 secs
lola: STP completed || 245 tries, 244605964 fired transitions, 610 secs || 62237668 markings, 115233126 edges, 92098 markings/sec, 610 secs
lola: STP completed || 246 tries, 245883073 fired transitions, 615 secs || 62716271 markings, 116152671 edges, 95721 markings/sec, 615 secs
lola: STP completed || 248 tries, 247781725 fired transitions, 620 secs || 63191457 markings, 117068261 edges, 95037 markings/sec, 620 secs
lola: STP completed || 251 tries, 250056366 fired transitions, 625 secs || 63693811 markings, 118008980 edges, 100471 markings/sec, 625 secs
lola: STP completed || 253 tries, 252330932 fired transitions, 630 secs || 64193322 markings, 118947832 edges, 99902 markings/sec, 630 secs
lola: STP completed || 254 tries, 253704000 fired transitions, 635 secs || 64700807 markings, 119923104 edges, 101497 markings/sec, 635 secs
lola: STP completed || 256 tries, 255528639 fired transitions, 640 secs || 65207038 markings, 120895760 edges, 101246 markings/sec, 640 secs
lola: STP completed || 258 tries, 257499780 fired transitions, 645 secs || 65707870 markings, 121845948 edges, 100166 markings/sec, 645 secs
lola: STP completed || 260 tries, 259586183 fired transitions, 650 secs || 66208965 markings, 122801645 edges, 100219 markings/sec, 650 secs
lola: STP completed || 263 tries, 262033317 fired transitions, 655 secs || 66708679 markings, 123757026 edges, 99943 markings/sec, 655 secs
lola: STP completed || 264 tries, 263832823 fired transitions, 660 secs || 67208023 markings, 124715170 edges, 99869 markings/sec, 660 secs
lola: STP completed || 267 tries, 266250348 fired transitions, 665 secs || 67702981 markings, 125645203 edges, 98992 markings/sec, 665 secs
lola: STP completed || 268 tries, 267995861 fired transitions, 670 secs || 68201211 markings, 126595029 edges, 99646 markings/sec, 670 secs
lola: STP completed || 271 tries, 270389963 fired transitions, 675 secs || 68694869 markings, 127540679 edges, 98732 markings/sec, 675 secs
lola: STP completed || 272 tries, 271700682 fired transitions, 680 secs || 69204537 markings, 128501685 edges, 101934 markings/sec, 680 secs
lola: STP completed || 274 tries, 273400430 fired transitions, 685 secs || 69703282 markings, 129458977 edges, 99749 markings/sec, 685 secs
lola: STP completed || 277 tries, 276143616 fired transitions, 690 secs || 70195966 markings, 130390958 edges, 98537 markings/sec, 690 secs
lola: STP completed || 279 tries, 278272358 fired transitions, 695 secs || 70683145 markings, 131330659 edges, 97436 markings/sec, 695 secs
lola: STP completed || 281 tries, 280861449 fired transitions, 700 secs || 71171398 markings, 132244831 edges, 97651 markings/sec, 700 secs
lola: STP completed || 283 tries, 282326295 fired transitions, 705 secs || 71676018 markings, 133198207 edges, 100924 markings/sec, 705 secs
lola: STP completed || 284 tries, 283734704 fired transitions, 710 secs || 72170590 markings, 134136091 edges, 98914 markings/sec, 710 secs
lola: STP completed || 286 tries, 285638087 fired transitions, 715 secs || 72643594 markings, 135026018 edges, 94601 markings/sec, 715 secs
lola: STP completed || 288 tries, 287633946 fired transitions, 720 secs || 73131682 markings, 135957685 edges, 97618 markings/sec, 720 secs
lola: STP completed || 290 tries, 289657321 fired transitions, 725 secs || 73605744 markings, 136860148 edges, 94812 markings/sec, 725 secs
lola: STP completed || 292 tries, 291981408 fired transitions, 730 secs || 74090357 markings, 137794182 edges, 96923 markings/sec, 730 secs
lola: STP completed || 294 tries, 293277863 fired transitions, 735 secs || 74580562 markings, 138751620 edges, 98041 markings/sec, 735 secs
lola: STP completed || 295 tries, 294562505 fired transitions, 740 secs || 75081605 markings, 139708261 edges, 100209 markings/sec, 740 secs
lola: STP completed || 296 tries, 295946388 fired transitions, 745 secs || 75578259 markings, 140652779 edges, 99331 markings/sec, 745 secs
lola: STP completed || 299 tries, 298287541 fired transitions, 750 secs || 76059655 markings, 141555834 edges, 96279 markings/sec, 750 secs
lola: STP completed || 300 tries, 299683588 fired transitions, 755 secs || 76538542 markings, 142473753 edges, 95777 markings/sec, 755 secs
lola: STP completed || 303 tries, 302049339 fired transitions, 760 secs || 76997962 markings, 143346228 edges, 91884 markings/sec, 760 secs
lola: STP completed || 304 tries, 303615816 fired transitions, 765 secs || 77466277 markings, 144255168 edges, 93663 markings/sec, 765 secs
lola: STP completed || 306 tries, 305149986 fired transitions, 770 secs || 77951922 markings, 145175464 edges, 97129 markings/sec, 770 secs
lola: STP completed || 308 tries, 307881624 fired transitions, 775 secs || 78407176 markings, 146032410 edges, 91051 markings/sec, 775 secs
lola: STP completed || 310 tries, 309491041 fired transitions, 780 secs || 78874586 markings, 146921388 edges, 93482 markings/sec, 780 secs
lola: STP completed || 311 tries, 310843603 fired transitions, 785 secs || 79339762 markings, 147824753 edges, 93035 markings/sec, 785 secs
lola: STP completed || 313 tries, 312666315 fired transitions, 790 secs || 79806083 markings, 148712251 edges, 93264 markings/sec, 790 secs
lola: STP completed || 315 tries, 314424193 fired transitions, 795 secs || 80268312 markings, 149610956 edges, 92446 markings/sec, 795 secs
lola: STP completed || 317 tries, 316400248 fired transitions, 800 secs || 80728685 markings, 150490088 edges, 92075 markings/sec, 800 secs
lola: STP completed || 318 tries, 317777265 fired transitions, 805 secs || 81194761 markings, 151391361 edges, 93215 markings/sec, 805 secs
lola: STP completed || 320 tries, 319713531 fired transitions, 810 secs || 81661346 markings, 152280818 edges, 93317 markings/sec, 810 secs
lola: STP completed || 322 tries, 321114735 fired transitions, 815 secs || 82125233 markings, 153183718 edges, 92777 markings/sec, 815 secs
lola: STP completed || 324 tries, 323096522 fired transitions, 820 secs || 82585247 markings, 154066701 edges, 92003 markings/sec, 820 secs
lola: STP completed || 325 tries, 324835737 fired transitions, 825 secs || 83057870 markings, 154950784 edges, 94525 markings/sec, 825 secs
lola: STP completed || 328 tries, 327263814 fired transitions, 830 secs || 83518003 markings, 155822256 edges, 92027 markings/sec, 830 secs
lola: STP completed || 330 tries, 329511239 fired transitions, 835 secs || 83973270 markings, 156685618 edges, 91053 markings/sec, 835 secs
lola: STP completed || 332 tries, 331678784 fired transitions, 840 secs || 84431338 markings, 157576765 edges, 91614 markings/sec, 840 secs
lola: STP completed || 334 tries, 333834135 fired transitions, 845 secs || 84920987 markings, 158502977 edges, 97930 markings/sec, 845 secs
lola: STP completed || 336 tries, 335513464 fired transitions, 850 secs || 85404936 markings, 159427313 edges, 96790 markings/sec, 850 secs
lola: STP completed || 337 tries, 336787562 fired transitions, 855 secs || 85902465 markings, 160387229 edges, 99506 markings/sec, 855 secs
lola: STP completed || 340 tries, 339031886 fired transitions, 860 secs || 86388931 markings, 161319633 edges, 97293 markings/sec, 860 secs
lola: STP completed || 342 tries, 341566994 fired transitions, 865 secs || 86875572 markings, 162238770 edges, 97328 markings/sec, 865 secs
lola: STP completed || 344 tries, 343442553 fired transitions, 870 secs || 87372153 markings, 163193361 edges, 99316 markings/sec, 870 secs
lola: STP completed || 346 tries, 345549256 fired transitions, 875 secs || 87851100 markings, 164114920 edges, 95789 markings/sec, 875 secs
lola: STP completed || 347 tries, 346854029 fired transitions, 880 secs || 88344393 markings, 165067765 edges, 98659 markings/sec, 880 secs
lola: STP completed || 349 tries, 348868733 fired transitions, 885 secs || 88830486 markings, 165998307 edges, 97219 markings/sec, 885 secs
lola: STP completed || 351 tries, 350657892 fired transitions, 890 secs || 89391088 markings, 167068169 edges, 112120 markings/sec, 890 secs
lola: STP completed || 353 tries, 352985294 fired transitions, 895 secs || 89939602 markings, 168121617 edges, 109703 markings/sec, 895 secs
lola: STP completed || 355 tries, 354869850 fired transitions, 900 secs || 90536238 markings, 169259294 edges, 119327 markings/sec, 900 secs
lola: STP completed || 357 tries, 356770956 fired transitions, 905 secs || 91120168 markings, 170387778 edges, 116786 markings/sec, 905 secs
lola: STP completed || 359 tries, 358485931 fired transitions, 910 secs || 91624978 markings, 171350276 edges, 100962 markings/sec, 910 secs
lola: STP completed || 361 tries, 360431906 fired transitions, 915 secs || 92116954 markings, 172290622 edges, 98395 markings/sec, 915 secs
lola: STP completed || 364 tries, 363205682 fired transitions, 920 secs || 92603402 markings, 173222645 edges, 97290 markings/sec, 920 secs
lola: STP completed || 366 tries, 365050972 fired transitions, 925 secs || 93119300 markings, 174208775 edges, 103180 markings/sec, 925 secs
lola: STP completed || 367 tries, 366982807 fired transitions, 930 secs || 93607120 markings, 175148934 edges, 97564 markings/sec, 930 secs
lola: STP completed || 369 tries, 368398822 fired transitions, 935 secs || 94106765 markings, 176114830 edges, 99929 markings/sec, 935 secs
lola: STP completed || 371 tries, 370247288 fired transitions, 940 secs || 94603813 markings, 177068093 edges, 99410 markings/sec, 940 secs
lola: STP completed || 373 tries, 372140959 fired transitions, 945 secs || 95091771 markings, 178012346 edges, 97592 markings/sec, 945 secs
lola: STP completed || 375 tries, 374369090 fired transitions, 950 secs || 95579211 markings, 178945961 edges, 97488 markings/sec, 950 secs
lola: STP completed || 376 tries, 375839730 fired transitions, 955 secs || 96054920 markings, 179861922 edges, 95142 markings/sec, 955 secs
lola: STP completed || 379 tries, 378149777 fired transitions, 960 secs || 96610028 markings, 180928184 edges, 111022 markings/sec, 960 secs
lola: STP completed || 381 tries, 380601845 fired transitions, 965 secs || 97199523 markings, 182060146 edges, 117899 markings/sec, 965 secs
lola: STP completed || 384 tries, 383210031 fired transitions, 970 secs || 97790875 markings, 183199227 edges, 118270 markings/sec, 970 secs
lola: STP completed || 387 tries, 386087768 fired transitions, 975 secs || 98376880 markings, 184326078 edges, 117201 markings/sec, 975 secs
lola: STP completed || 389 tries, 388036481 fired transitions, 980 secs || 98965728 markings, 185453980 edges, 117770 markings/sec, 980 secs
lola: STP completed || 391 tries, 390375466 fired transitions, 985 secs || 99556968 markings, 186575827 edges, 118248 markings/sec, 985 secs
lola: STP completed || 393 tries, 392441491 fired transitions, 990 secs || 100137153 markings, 187692986 edges, 116037 markings/sec, 990 secs
lola: STP completed || 395 tries, 394015824 fired transitions, 995 secs || 100721472 markings, 188813873 edges, 116864 markings/sec, 995 secs
lola: STP completed || 398 tries, 397098690 fired transitions, 1000 secs || 101301353 markings, 189934979 edges, 115976 markings/sec, 1000 secs
lola: STP completed || 401 tries, 400126849 fired transitions, 1005 secs || 101890988 markings, 191057580 edges, 117927 markings/sec, 1005 secs
lola: STP completed || 403 tries, 402145852 fired transitions, 1010 secs || 102482875 markings, 192202803 edges, 118377 markings/sec, 1010 secs
lola: STP completed || 405 tries, 404622891 fired transitions, 1015 secs || 103069111 markings, 193316966 edges, 117247 markings/sec, 1015 secs
lola: STP completed || 408 tries, 407628152 fired transitions, 1020 secs || 103621943 markings, 194393528 edges, 110566 markings/sec, 1020 secs
lola: STP completed || 410 tries, 409686338 fired transitions, 1025 secs || 104104248 markings, 195317465 edges, 96461 markings/sec, 1025 secs
lola: STP completed || 412 tries, 411868850 fired transitions, 1030 secs || 104592248 markings, 196254459 edges, 97600 markings/sec, 1030 secs
lola: STP completed || 414 tries, 413731317 fired transitions, 1035 secs || 105083068 markings, 197191983 edges, 98164 markings/sec, 1035 secs
lola: STP completed || 416 tries, 415934609 fired transitions, 1040 secs || 105569450 markings, 198108977 edges, 97276 markings/sec, 1040 secs
lola: STP completed || 418 tries, 417610076 fired transitions, 1045 secs || 106121772 markings, 199174346 edges, 110464 markings/sec, 1045 secs
lola: STP completed || 420 tries, 419490920 fired transitions, 1050 secs || 106700145 markings, 200289875 edges, 115675 markings/sec, 1050 secs
lola: STP completed || 422 tries, 421743427 fired transitions, 1055 secs || 107195883 markings, 201238355 edges, 99148 markings/sec, 1055 secs
lola: STP completed || 424 tries, 423345106 fired transitions, 1060 secs || 107688214 markings, 202204881 edges, 98466 markings/sec, 1060 secs
lola: STP completed || 426 tries, 425473883 fired transitions, 1065 secs || 108176808 markings, 203138381 edges, 97719 markings/sec, 1065 secs
lola: STP completed || 428 tries, 427463451 fired transitions, 1070 secs || 108655272 markings, 204055256 edges, 95693 markings/sec, 1070 secs
lola: STP completed || 430 tries, 429485863 fired transitions, 1075 secs || 109139637 markings, 204997605 edges, 96873 markings/sec, 1075 secs
lola: STP completed || 432 tries, 431191009 fired transitions, 1080 secs || 109630982 markings, 205946019 edges, 98269 markings/sec, 1080 secs
lola: STP completed || 433 tries, 432870730 fired transitions, 1085 secs || 110115750 markings, 206889473 edges, 96954 markings/sec, 1085 secs
lola: STP completed || 435 tries, 434569137 fired transitions, 1090 secs || 110604096 markings, 207829733 edges, 97669 markings/sec, 1090 secs
lola: STP completed || 437 tries, 436469478 fired transitions, 1095 secs || 111054282 markings, 208693649 edges, 90037 markings/sec, 1095 secs
----- Kill lola and sara stderr -----
lola: STP completed || 439 tries, 438676371 fired transitions, 1100 secs || 111541575 markings, 209637755 edges, 97459 markings/sec, 1100 secs
lola: STP completed || 442 tries, 441369354 fired transitions, 1105 secs || 112024833 markings, 210567459 edges, 96652 markings/sec, 1105 secs
lola: STP completed || 445 tries, 444157059 fired transitions, 1110 secs || 112541845 markings, 211539863 edges, 103402 markings/sec, 1110 secs
lola: STP completed || 447 tries, 446316740 fired transitions, 1115 secs || 113016708 markings, 212450031 edges, 94973 markings/sec, 1115 secs
lola: STP completed || 449 tries, 448105649 fired transitions, 1120 secs || 113500647 markings, 213370559 edges, 96788 markings/sec, 1120 secs
lola: STP completed || 451 tries, 450179555 fired transitions, 1125 secs || 113749767 markings, 213846837 edges, 49824 markings/sec, 1125 secs
lola: STP completed || 451 tries, 450653025 fired transitions, 1130 secs || 113755547 markings, 213859669 edges, 1156 markings/sec, 1130 secs
lola: STP completed || 452 tries, 451445478 fired transitions, 1135 secs || 113757256 markings, 213863430 edges, 342 markings/sec, 1135 secs
lola: STP completed || 452 tries, 451540698 fired transitions, 1140 secs || 113758282 markings, 213864972 edges, 205 markings/sec, 1140 secs
lola: STP completed || 453 tries, 452285480 fired transitions, 1145 secs || 113758317 markings, 213865022 edges, 7 markings/sec, 1145 secs
lola: STP completed || 454 tries, 453000002 fired transitions, 1150 secs || 113760276 markings, 213868342 edges, 392 markings/sec, 1150 secs
lola: STP completed || 454 tries, 453290929 fired transitions, 1155 secs || 113760318 markings, 213868408 edges, 8 markings/sec, 1155 secs
lola: STP completed || 454 tries, 453548168 fired transitions, 1160 secs || 113761509 markings, 213870263 edges, 238 markings/sec, 1160 secs
lola: STP completed || 454 tries, 453576460 fired transitions, 1165 secs || 113761522 markings, 213870281 edges, 3 markings/sec, 1165 secs
lola: STP completed || 454 tries, 453645612 fired transitions, 1170 secs || 113761560 markings, 213870339 edges, 8 markings/sec, 1170 secs
lola: STP completed || 454 tries, 453676653 fired transitions, 1175 secs || 113763043 markings, 213872804 edges, 297 markings/sec, 1175 secs
lola: STP completed || 454 tries, 453707782 fired transitions, 1180 secs || 113763051 markings, 213872818 edges, 2 markings/sec, 1180 secs
lola: STP completed || 454 tries, 453731158 fired transitions, 1185 secs || 113763061 markings, 213872838 edges, 2 markings/sec, 1185 secs
lola: STP completed || 454 tries, 453766736 fired transitions, 1190 secs || 113763072 markings, 213872859 edges, 2 markings/sec, 1190 secs
lola: STP completed || 454 tries, 453835275 fired transitions, 1195 secs || 113763094 markings, 213872901 edges, 4 markings/sec, 1195 secs
lola: STP completed || 454 tries, 453852602 fired transitions, 1200 secs || 113763102 markings, 213872916 edges, 2 markings/sec, 1200 secs
lola: STP completed || 454 tries, 453868565 fired transitions, 1205 secs || 113763109 markings, 213872932 edges, 1 markings/sec, 1205 secs
lola: STP completed || 454 tries, 453925420 fired transitions, 1210 secs || 113763119 markings, 213872951 edges, 2 markings/sec, 1210 secs
lola: STP completed || 454 tries, 453933550 fired transitions, 1215 secs || 113763131 markings, 213872970 edges, 2 markings/sec, 1215 secs
lola: STP completed || 455 tries, 454037453 fired transitions, 1220 secs || 113763144 markings, 213872993 edges, 3 markings/sec, 1220 secs
lola: STP completed || 455 tries, 454183319 fired transitions, 1225 secs || 113763156 markings, 213873013 edges, 2 markings/sec, 1225 secs
lola: STP completed || 455 tries, 454597639 fired transitions, 1230 secs || 113763605 markings, 213873824 edges, 90 markings/sec, 1230 secs
lola: STP completed || 456 tries, 455000006 fired transitions, 1235 secs || 113763616 markings, 213873847 edges, 2 markings/sec, 1235 secs
lola: STP completed || 456 tries, 455357875 fired transitions, 1240 secs || 113763649 markings, 213873909 edges, 7 markings/sec, 1240 secs
lola: STP completed || 457 tries, 456091994 fired transitions, 1245 secs || 113763656 markings, 213873925 edges, 1 markings/sec, 1245 secs
lola: STP completed || 457 tries, 456293045 fired transitions, 1250 secs || 113765102 markings, 213876838 edges, 289 markings/sec, 1250 secs
lola: STP completed || 457 tries, 456350230 fired transitions, 1255 secs || 113765112 markings, 213876861 edges, 2 markings/sec, 1255 secs
lola: STP completed || 457 tries, 456594250 fired transitions, 1260 secs || 113765146 markings, 213876936 edges, 7 markings/sec, 1260 secs
lola: STP completed || 457 tries, 456680521 fired transitions, 1265 secs || 113765154 markings, 213876952 edges, 2 markings/sec, 1265 secs
lola: STP completed || 457 tries, 456859080 fired transitions, 1270 secs || 113765164 markings, 213876977 edges, 2 markings/sec, 1270 secs
lola: STP completed || 457 tries, 456983423 fired transitions, 1275 secs || 113765172 markings, 213876995 edges, 2 markings/sec, 1275 secs
lola: STP completed || 458 tries, 457132009 fired transitions, 1280 secs || 113765184 markings, 213877021 edges, 2 markings/sec, 1280 secs
lola: STP completed || 458 tries, 457156216 fired transitions, 1285 secs || 113765188 markings, 213877031 edges, 1 markings/sec, 1285 secs
lola: STP completed || 458 tries, 457162705 fired transitions, 1290 secs || 113765193 markings, 213877044 edges, 1 markings/sec, 1290 secs
lola: STP completed || 458 tries, 457193444 fired transitions, 1295 secs || 113765201 markings, 213877060 edges, 2 markings/sec, 1295 secs
lola: STP completed || 458 tries, 457296270 fired transitions, 1300 secs || 113765209 markings, 213877081 edges, 2 markings/sec, 1300 secs
lola: STP completed || 458 tries, 457366223 fired transitions, 1305 secs || 113765217 markings, 213877094 edges, 2 markings/sec, 1305 secs
lola: STP completed || 458 tries, 457394779 fired transitions, 1310 secs || 113765225 markings, 213877113 edges, 2 markings/sec, 1310 secs
lola: STP completed || 458 tries, 457443717 fired transitions, 1315 secs || 113765232 markings, 213877131 edges, 1 markings/sec, 1315 secs
lola: STP completed || 458 tries, 457551159 fired transitions, 1320 secs || 113765284 markings, 213877236 edges, 10 markings/sec, 1320 secs
lola: STP completed || 458 tries, 457760408 fired transitions, 1325 secs || 113765302 markings, 213877253 edges, 4 markings/sec, 1325 secs
lola: STP completed || 458 tries, 457864072 fired transitions, 1330 secs || 113765378 markings, 213877343 edges, 15 markings/sec, 1330 secs
lola: STP completed || 459 tries, 458000010 fired transitions, 1335 secs || 113765399 markings, 213877371 edges, 4 markings/sec, 1335 secs
lola: STP completed || 459 tries, 458117765 fired transitions, 1340 secs || 113765409 markings, 213877397 edges, 2 markings/sec, 1340 secs
lola: STP completed || 460 tries, 459315033 fired transitions, 1345 secs || 113767237 markings, 213880887 edges, 366 markings/sec, 1345 secs
lola: STP completed || 460 tries, 459605188 fired transitions, 1350 secs || 113768592 markings, 213883651 edges, 271 markings/sec, 1350 secs
lola: STP completed || 460 tries, 459694636 fired transitions, 1355 secs || 113768599 markings, 213883671 edges, 1 markings/sec, 1355 secs
lola: STP completed || 460 tries, 459935000 fired transitions, 1360 secs || 113768610 markings, 213883690 edges, 2 markings/sec, 1360 secs
lola: STP completed || 461 tries, 460193848 fired transitions, 1365 secs || 113768624 markings, 213883715 edges, 3 markings/sec, 1365 secs
lola: STP completed || 461 tries, 460265085 fired transitions, 1370 secs || 113768633 markings, 213883738 edges, 2 markings/sec, 1370 secs
lola: STP completed || 461 tries, 460310936 fired transitions, 1375 secs || 113768643 markings, 213883755 edges, 2 markings/sec, 1375 secs
lola: STP completed || 461 tries, 460391393 fired transitions, 1380 secs || 113768654 markings, 213883776 edges, 2 markings/sec, 1380 secs
lola: STP completed || 461 tries, 460526529 fired transitions, 1385 secs || 113768681 markings, 213883838 edges, 5 markings/sec, 1385 secs
lola: STP completed || 461 tries, 460533544 fired transitions, 1390 secs || 113768688 markings, 213883851 edges, 1 markings/sec, 1390 secs
lola: STP completed || 461 tries, 460735167 fired transitions, 1395 secs || 113768700 markings, 213883874 edges, 2 markings/sec, 1395 secs
lola: STP completed || 462 tries, 461592357 fired transitions, 1400 secs || 113768714 markings, 213883900 edges, 3 markings/sec, 1400 secs
lola: STP completed || 463 tries, 462146631 fired transitions, 1405 secs || 113769229 markings, 213885052 edges, 103 markings/sec, 1405 secs
lola: STP completed || 463 tries, 462904603 fired transitions, 1410 secs || 113769267 markings, 213885132 edges, 8 markings/sec, 1410 secs
lola: STP completed || 464 tries, 463669794 fired transitions, 1415 secs || 113769343 markings, 213885294 edges, 15 markings/sec, 1415 secs
lola: STP completed || 464 tries, 463884409 fired transitions, 1420 secs || 113769350 markings, 213885307 edges, 1 markings/sec, 1420 secs
lola: STP completed || 465 tries, 464094071 fired transitions, 1425 secs || 113769387 markings, 213885384 edges, 7 markings/sec, 1425 secs
lola: STP completed || 465 tries, 464283419 fired transitions, 1430 secs || 113769402 markings, 213885416 edges, 3 markings/sec, 1430 secs
lola: STP completed || 465 tries, 464418983 fired transitions, 1435 secs || 113769408 markings, 213885432 edges, 1 markings/sec, 1435 secs
lola: STP completed || 465 tries, 464747870 fired transitions, 1440 secs || 113769423 markings, 213885462 edges, 3 markings/sec, 1440 secs
lola: STP completed || 466 tries, 465672874 fired transitions, 1445 secs || 113770173 markings, 213887092 edges, 150 markings/sec, 1445 secs
lola: STP completed || 466 tries, 465976040 fired transitions, 1450 secs || 113770186 markings, 213887114 edges, 3 markings/sec, 1450 secs
lola: STP completed || 467 tries, 466089501 fired transitions, 1455 secs || 113770211 markings, 213887167 edges, 5 markings/sec, 1455 secs
lola: STP completed || 467 tries, 466412838 fired transitions, 1460 secs || 113770229 markings, 213887198 edges, 4 markings/sec, 1460 secs
lola: STP completed || 467 tries, 466781267 fired transitions, 1465 secs || 113770242 markings, 213887220 edges, 3 markings/sec, 1465 secs
lola: STP completed || 467 tries, 466886850 fired transitions, 1470 secs || 113770251 markings, 213887248 edges, 2 markings/sec, 1470 secs
lola: STP completed || 468 tries, 467008077 fired transitions, 1475 secs || 113770257 markings, 213887268 edges, 1 markings/sec, 1475 secs
lola: STP completed || 468 tries, 467156928 fired transitions, 1480 secs || 113771655 markings, 213890481 edges, 280 markings/sec, 1480 secs
lola: STP completed || 468 tries, 467331393 fired transitions, 1485 secs || 113771665 markings, 213890500 edges, 2 markings/sec, 1485 secs
lola: STP completed || 468 tries, 467397883 fired transitions, 1490 secs || 113771684 markings, 213890547 edges, 4 markings/sec, 1490 secs
lola: STP completed || 468 tries, 467397925 fired transitions, 1495 secs || 113771694 markings, 213890569 edges, 2 markings/sec, 1495 secs
lola: STP completed || 468 tries, 467781104 fired transitions, 1500 secs || 113771715 markings, 213890621 edges, 4 markings/sec, 1500 secs
lola: STP completed || 469 tries, 468000003 fired transitions, 1505 secs || 113771720 markings, 213890642 edges, 1 markings/sec, 1505 secs
lola: STP completed || 469 tries, 468100424 fired transitions, 1510 secs || 113771724 markings, 213890655 edges, 1 markings/sec, 1510 secs
lola: STP completed || 469 tries, 468100465 fired transitions, 1515 secs || 113771730 markings, 213890673 edges, 1 markings/sec, 1515 secs
lola: STP completed || 469 tries, 468495440 fired transitions, 1520 secs || 113771739 markings, 213890693 edges, 2 markings/sec, 1520 secs
lola: STP completed || 470 tries, 469023153 fired transitions, 1525 secs || 113771745 markings, 213890708 edges, 1 markings/sec, 1525 secs
lola: STP completed || 470 tries, 469063084 fired transitions, 1530 secs || 113771771 markings, 213890765 edges, 5 markings/sec, 1530 secsKilled
FORMULA Angiogenesis-PT-50-ReachabilityDeadlock-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
----- Finished stderr -----

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="Angiogenesis-PT-50"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="irma4mcc-structural"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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

tar xzf /home/mcc/BenchKit/INPUTS/Angiogenesis-PT-50.tgz
mv Angiogenesis-PT-50 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool irma4mcc-structural"
echo " Input is Angiogenesis-PT-50, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r019-qhx1-152646243500048"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "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 "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.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 '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
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 ;