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 '
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 ;