fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r034-ebro-152646312100090
Last Updated
June 26, 2018

About the Execution of M4M.full for BART-PT-030

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15919.280 3441115.00 6731121.00 4116.60 ? 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 22M
-rw-r--r-- 1 mcc users 952K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 2.3M May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.1M May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 2.6M 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.1K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 508K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 1.3M May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 264K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 625K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 272K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 653K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 102 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 340 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 1.1M May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.6M May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 19K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 36K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 7.0M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is BART-PT-030, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r034-ebro-152646312100090
=====================================================================


--------------------
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 BART-PT-030-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1526993732095


BK_STOP 1526997173210

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

Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using BART-PT-030 as instance name.
Using BART as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'ReachabilityDeadlock', 'Place/Transition': True, 'Colored': True, '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': True, 'Source Place': False, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': False, 'Conservative': True, 'Sub-Conservative': True, 'Nested Units': False, 'Safe': True, 'Deadlock': False, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 5125, 'Memory': 1245.33, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
ReachabilityDeadlock lola BART-PT-030...

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


checking for too many tokens
===========================================================================================
BART-PT-030: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
ReachabilityDeadlock @ BART-PT-030 @ 3539 seconds
Makefile:222: recipe for target 'verify' failed
----- Start make result stdout -----
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 10230/65536 symbol table entries, 791 collisions
lola: preprocessing...
lola: finding significant places
lola: 4170 places, 6060 transitions, 3930 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3927 transition conflict sets
lola: TASK
lola: reading formula from BART-PT-030-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 15720 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 438 generators (57 in search tree, 381 by composition)
lola: representing 2.12202E+33 symmetries
make: [verify] Error 137 (ignored)
lola: 0 dead branches visited in search tree
lola: STP: formula with 124652 variables and 721264 clauses shipped to Minisat
lola: STP running || 1 tries, 4519 fired transitions, 0 secs || 3130 markings, 4025 edges, 626 markings/sec, 0 secs
lola: stp: The siphon/trap property is inconclusive since the generated formula is too short
lola: STP completed || 1 tries, 9374 fired transitions, 5 secs || 8142 markings, 10494 edges, 1002 markings/sec, 5 secs
lola: STP completed || 1 tries, 14222 fired transitions, 10 secs || 13259 markings, 16909 edges, 1023 markings/sec, 10 secs
lola: STP completed || 1 tries, 19089 fired transitions, 15 secs || 18415 markings, 23370 edges, 1031 markings/sec, 15 secs
lola: STP completed || 1 tries, 23884 fired transitions, 20 secs || 23518 markings, 29879 edges, 1021 markings/sec, 20 secs
lola: STP completed || 1 tries, 26984 fired transitions, 25 secs || 26879 markings, 34044 edges, 672 markings/sec, 25 secs
lola: STP completed || 1 tries, 31470 fired transitions, 30 secs || 31734 markings, 40093 edges, 971 markings/sec, 30 secs
lola: STP completed || 1 tries, 36237 fired transitions, 35 secs || 36714 markings, 46481 edges, 996 markings/sec, 35 secs
lola: STP completed || 1 tries, 41081 fired transitions, 40 secs || 41715 markings, 52691 edges, 1000 markings/sec, 40 secs
lola: STP completed || 1 tries, 45928 fired transitions, 45 secs || 46907 markings, 59401 edges, 1038 markings/sec, 45 secs
lola: STP completed || 1 tries, 50806 fired transitions, 50 secs || 52124 markings, 66172 edges, 1043 markings/sec, 50 secs
lola: STP completed || 1 tries, 55653 fired transitions, 55 secs || 57344 markings, 72771 edges, 1044 markings/sec, 55 secs
lola: STP completed || 1 tries, 60463 fired transitions, 60 secs || 62578 markings, 79544 edges, 1047 markings/sec, 60 secs
lola: STP completed || 1 tries, 65302 fired transitions, 65 secs || 67715 markings, 86748 edges, 1027 markings/sec, 65 secs
lola: STP completed || 1 tries, 70154 fired transitions, 70 secs || 72892 markings, 93481 edges, 1035 markings/sec, 70 secs
lola: STP completed || 1 tries, 74981 fired transitions, 75 secs || 78075 markings, 99998 edges, 1037 markings/sec, 75 secs
lola: STP completed || 1 tries, 79813 fired transitions, 80 secs || 83282 markings, 106631 edges, 1041 markings/sec, 80 secs
lola: STP completed || 1 tries, 84644 fired transitions, 85 secs || 88498 markings, 113022 edges, 1043 markings/sec, 85 secs
lola: STP completed || 1 tries, 89448 fired transitions, 90 secs || 93727 markings, 119469 edges, 1046 markings/sec, 90 secs
lola: STP completed || 1 tries, 94274 fired transitions, 95 secs || 98975 markings, 125703 edges, 1050 markings/sec, 95 secs
lola: STP completed || 1 tries, 99104 fired transitions, 100 secs || 104208 markings, 132117 edges, 1047 markings/sec, 100 secs
lola: STP completed || 1 tries, 103953 fired transitions, 105 secs || 109436 markings, 138814 edges, 1046 markings/sec, 105 secs
lola: STP completed || 1 tries, 108792 fired transitions, 110 secs || 114662 markings, 145479 edges, 1045 markings/sec, 110 secs
lola: STP completed || 1 tries, 113357 fired transitions, 115 secs || 119924 markings, 152083 edges, 1052 markings/sec, 115 secs
lola: STP completed || 1 tries, 117791 fired transitions, 120 secs || 124588 markings, 157915 edges, 933 markings/sec, 120 secs
lola: STP completed || 1 tries, 122619 fired transitions, 125 secs || 129723 markings, 164275 edges, 1027 markings/sec, 125 secs
lola: STP completed || 1 tries, 127488 fired transitions, 130 secs || 134866 markings, 170832 edges, 1029 markings/sec, 130 secs
lola: STP completed || 1 tries, 132294 fired transitions, 135 secs || 140000 markings, 177267 edges, 1027 markings/sec, 135 secs
lola: STP completed || 1 tries, 137107 fired transitions, 140 secs || 145159 markings, 183886 edges, 1032 markings/sec, 140 secs
lola: STP completed || 1 tries, 141916 fired transitions, 145 secs || 150284 markings, 190291 edges, 1025 markings/sec, 145 secs
lola: STP completed || 1 tries, 146738 fired transitions, 150 secs || 155354 markings, 196761 edges, 1014 markings/sec, 150 secs
lola: STP completed || 1 tries, 149699 fired transitions, 155 secs || 158628 markings, 200630 edges, 655 markings/sec, 155 secs
lola: STP completed || 1 tries, 154369 fired transitions, 160 secs || 163845 markings, 207572 edges, 1043 markings/sec, 160 secs
lola: STP completed || 1 tries, 159070 fired transitions, 165 secs || 169061 markings, 214602 edges, 1043 markings/sec, 165 secs
lola: STP completed || 1 tries, 163840 fired transitions, 170 secs || 174374 markings, 221407 edges, 1063 markings/sec, 170 secs
lola: STP completed || 1 tries, 168571 fired transitions, 175 secs || 179676 markings, 228312 edges, 1060 markings/sec, 175 secs
lola: STP completed || 1 tries, 173413 fired transitions, 180 secs || 184927 markings, 235008 edges, 1050 markings/sec, 180 secs
lola: STP completed || 1 tries, 178229 fired transitions, 185 secs || 190153 markings, 241700 edges, 1045 markings/sec, 185 secs
lola: STP completed || 1 tries, 182951 fired transitions, 190 secs || 195411 markings, 248432 edges, 1052 markings/sec, 190 secs
lola: STP completed || 1 tries, 187583 fired transitions, 195 secs || 200617 markings, 254957 edges, 1041 markings/sec, 195 secs
lola: STP completed || 1 tries, 192319 fired transitions, 200 secs || 205888 markings, 261774 edges, 1054 markings/sec, 200 secs
lola: STP completed || 1 tries, 197025 fired transitions, 205 secs || 211079 markings, 268356 edges, 1038 markings/sec, 205 secs
lola: STP completed || 1 tries, 201711 fired transitions, 210 secs || 216279 markings, 274808 edges, 1040 markings/sec, 210 secs
lola: STP completed || 1 tries, 206413 fired transitions, 215 secs || 221484 markings, 281524 edges, 1041 markings/sec, 215 secs
lola: STP completed || 1 tries, 211237 fired transitions, 220 secs || 226708 markings, 288387 edges, 1045 markings/sec, 220 secs
lola: STP completed || 1 tries, 216050 fired transitions, 225 secs || 231863 markings, 294889 edges, 1031 markings/sec, 225 secs
lola: STP completed || 1 tries, 220300 fired transitions, 230 secs || 236437 markings, 300742 edges, 915 markings/sec, 230 secs
lola: STP completed || 1 tries, 225118 fired transitions, 235 secs || 241579 markings, 307442 edges, 1028 markings/sec, 235 secs
lola: STP completed || 1 tries, 229877 fired transitions, 240 secs || 246636 markings, 314117 edges, 1011 markings/sec, 240 secs
lola: STP completed || 1 tries, 234643 fired transitions, 245 secs || 251824 markings, 320684 edges, 1038 markings/sec, 245 secs
lola: STP completed || 1 tries, 239407 fired transitions, 250 secs || 257029 markings, 327268 edges, 1041 markings/sec, 250 secs
lola: STP completed || 1 tries, 244181 fired transitions, 255 secs || 262247 markings, 333912 edges, 1044 markings/sec, 255 secs
lola: STP completed || 1 tries, 248929 fired transitions, 260 secs || 267447 markings, 340426 edges, 1040 markings/sec, 260 secs
lola: STP completed || 1 tries, 253651 fired transitions, 265 secs || 272653 markings, 346956 edges, 1041 markings/sec, 265 secs
lola: STP completed || 1 tries, 258330 fired transitions, 270 secs || 277734 markings, 352972 edges, 1016 markings/sec, 270 secs
lola: STP completed || 1 tries, 263068 fired transitions, 275 secs || 282702 markings, 358928 edges, 994 markings/sec, 275 secs
lola: STP completed || 1 tries, 267760 fired transitions, 280 secs || 287649 markings, 365251 edges, 989 markings/sec, 280 secs
lola: STP completed || 1 tries, 272543 fired transitions, 285 secs || 292640 markings, 371517 edges, 998 markings/sec, 285 secs
lola: STP completed || 1 tries, 277249 fired transitions, 290 secs || 297776 markings, 377958 edges, 1027 markings/sec, 290 secs
lola: STP completed || 1 tries, 281971 fired transitions, 295 secs || 302950 markings, 384550 edges, 1035 markings/sec, 295 secs
lola: STP completed || 1 tries, 286680 fired transitions, 300 secs || 308129 markings, 391190 edges, 1036 markings/sec, 300 secs
lola: STP completed || 1 tries, 291369 fired transitions, 305 secs || 313326 markings, 397556 edges, 1039 markings/sec, 305 secs
lola: STP completed || 1 tries, 296077 fired transitions, 310 secs || 318507 markings, 403841 edges, 1036 markings/sec, 310 secs
lola: STP completed || 1 tries, 300232 fired transitions, 315 secs || 322990 markings, 409468 edges, 897 markings/sec, 315 secs
lola: STP completed || 1 tries, 304635 fired transitions, 320 secs || 327725 markings, 415430 edges, 947 markings/sec, 320 secs
lola: STP completed || 1 tries, 309182 fired transitions, 325 secs || 332654 markings, 421627 edges, 986 markings/sec, 325 secs
lola: STP completed || 1 tries, 313848 fired transitions, 330 secs || 337723 markings, 428118 edges, 1014 markings/sec, 330 secs
lola: STP completed || 1 tries, 318583 fired transitions, 335 secs || 342880 markings, 434693 edges, 1031 markings/sec, 335 secs
lola: STP completed || 1 tries, 323278 fired transitions, 340 secs || 348056 markings, 441328 edges, 1035 markings/sec, 340 secs
lola: STP completed || 1 tries, 327990 fired transitions, 345 secs || 353248 markings, 447972 edges, 1038 markings/sec, 345 secs
lola: STP completed || 1 tries, 332737 fired transitions, 350 secs || 358465 markings, 454433 edges, 1043 markings/sec, 350 secs
lola: STP completed || 1 tries, 337415 fired transitions, 355 secs || 363695 markings, 461183 edges, 1046 markings/sec, 355 secs
lola: STP completed || 1 tries, 342075 fired transitions, 360 secs || 368875 markings, 467781 edges, 1036 markings/sec, 360 secs
lola: STP completed || 1 tries, 346797 fired transitions, 365 secs || 374022 markings, 474352 edges, 1029 markings/sec, 365 secs
lola: STP completed || 1 tries, 351244 fired transitions, 370 secs || 378980 markings, 480693 edges, 992 markings/sec, 370 secs
lola: STP completed || 1 tries, 356059 fired transitions, 375 secs || 384105 markings, 487117 edges, 1025 markings/sec, 375 secs
lola: STP completed || 1 tries, 360868 fired transitions, 380 secs || 389267 markings, 493556 edges, 1032 markings/sec, 380 secs
lola: STP completed || 1 tries, 365691 fired transitions, 385 secs || 394417 markings, 500265 edges, 1030 markings/sec, 385 secs
lola: STP completed || 1 tries, 370472 fired transitions, 390 secs || 399607 markings, 506849 edges, 1038 markings/sec, 390 secs
lola: STP completed || 1 tries, 375320 fired transitions, 395 secs || 404743 markings, 513367 edges, 1027 markings/sec, 395 secs
lola: STP completed || 1 tries, 380121 fired transitions, 400 secs || 409821 markings, 520085 edges, 1016 markings/sec, 400 secs
lola: STP completed || 1 tries, 384967 fired transitions, 405 secs || 414999 markings, 526358 edges, 1036 markings/sec, 405 secs
----- Start make result stderr -----
lola: STP completed || 1 tries, 389811 fired transitions, 410 secs || 420090 markings, 532625 edges, 1018 markings/sec, 410 secs
lola: STP completed || 1 tries, 394658 fired transitions, 415 secs || 425182 markings, 539219 edges, 1018 markings/sec, 415 secs
lola: STP completed || 1 tries, 399501 fired transitions, 420 secs || 430369 markings, 545773 edges, 1037 markings/sec, 420 secs
lola: STP completed || 1 tries, 404367 fired transitions, 425 secs || 435599 markings, 552434 edges, 1046 markings/sec, 425 secs
lola: STP completed || 1 tries, 409242 fired transitions, 430 secs || 440830 markings, 558841 edges, 1046 markings/sec, 430 secs
lola: STP completed || 1 tries, 414096 fired transitions, 435 secs || 446045 markings, 565869 edges, 1043 markings/sec, 435 secs
lola: STP completed || 1 tries, 418893 fired transitions, 440 secs || 451259 markings, 572230 edges, 1043 markings/sec, 440 secs
lola: STP completed || 1 tries, 423655 fired transitions, 445 secs || 456452 markings, 578846 edges, 1039 markings/sec, 445 secs
lola: STP completed || 1 tries, 428435 fired transitions, 450 secs || 461643 markings, 585621 edges, 1038 markings/sec, 450 secs
lola: STP completed || 1 tries, 433213 fired transitions, 455 secs || 466852 markings, 592258 edges, 1042 markings/sec, 455 secs
lola: STP completed || 1 tries, 437976 fired transitions, 460 secs || 472086 markings, 598875 edges, 1047 markings/sec, 460 secs
lola: STP completed || 1 tries, 442756 fired transitions, 465 secs || 477323 markings, 605581 edges, 1047 markings/sec, 465 secs
lola: STP completed || 1 tries, 447525 fired transitions, 470 secs || 482559 markings, 612041 edges, 1047 markings/sec, 470 secs
lola: STP completed || 1 tries, 452283 fired transitions, 475 secs || 487765 markings, 618671 edges, 1041 markings/sec, 475 secs
lola: STP completed || 1 tries, 457051 fired transitions, 480 secs || 492932 markings, 625162 edges, 1033 markings/sec, 480 secs
lola: STP completed || 1 tries, 461799 fired transitions, 485 secs || 498147 markings, 631865 edges, 1043 markings/sec, 485 secs
lola: STP completed || 1 tries, 466565 fired transitions, 490 secs || 503385 markings, 638485 edges, 1048 markings/sec, 490 secs
lola: STP completed || 1 tries, 471343 fired transitions, 495 secs || 508607 markings, 645137 edges, 1044 markings/sec, 495 secs
lola: STP completed || 1 tries, 475821 fired transitions, 500 secs || 513404 markings, 650811 edges, 959 markings/sec, 500 secs
lola: STP completed || 1 tries, 480579 fired transitions, 505 secs || 518756 markings, 657557 edges, 1070 markings/sec, 505 secs
lola: STP completed || 1 tries, 485369 fired transitions, 510 secs || 524002 markings, 664121 edges, 1049 markings/sec, 510 secs
lola: STP completed || 1 tries, 490171 fired transitions, 515 secs || 529231 markings, 670822 edges, 1046 markings/sec, 515 secs
lola: STP completed || 1 tries, 494973 fired transitions, 520 secs || 534504 markings, 677456 edges, 1055 markings/sec, 520 secs
lola: STP completed || 1 tries, 499715 fired transitions, 525 secs || 539787 markings, 684263 edges, 1057 markings/sec, 525 secs
lola: STP completed || 1 tries, 504485 fired transitions, 530 secs || 545061 markings, 690864 edges, 1055 markings/sec, 530 secs
lola: STP completed || 1 tries, 509219 fired transitions, 535 secs || 550308 markings, 697323 edges, 1049 markings/sec, 535 secs
lola: STP completed || 1 tries, 513989 fired transitions, 540 secs || 555518 markings, 703962 edges, 1042 markings/sec, 540 secs
lola: STP completed || 1 tries, 518735 fired transitions, 545 secs || 560743 markings, 710801 edges, 1045 markings/sec, 545 secs
lola: STP completed || 1 tries, 523520 fired transitions, 550 secs || 565744 markings, 717279 edges, 1000 markings/sec, 550 secs
lola: STP completed || 1 tries, 528339 fired transitions, 555 secs || 570885 markings, 723765 edges, 1028 markings/sec, 555 secs
lola: STP completed || 1 tries, 532941 fired transitions, 560 secs || 575853 markings, 730007 edges, 994 markings/sec, 560 secs
lola: STP completed || 1 tries, 537710 fired transitions, 565 secs || 581037 markings, 736837 edges, 1037 markings/sec, 565 secs
lola: STP completed || 1 tries, 542409 fired transitions, 570 secs || 586240 markings, 743252 edges, 1041 markings/sec, 570 secs
lola: STP completed || 1 tries, 547199 fired transitions, 575 secs || 591443 markings, 749773 edges, 1041 markings/sec, 575 secs
lola: STP completed || 1 tries, 551961 fired transitions, 580 secs || 596633 markings, 756273 edges, 1038 markings/sec, 580 secs
lola: STP completed || 1 tries, 556759 fired transitions, 585 secs || 601831 markings, 762966 edges, 1040 markings/sec, 585 secs
lola: STP completed || 1 tries, 561553 fired transitions, 590 secs || 607068 markings, 769521 edges, 1047 markings/sec, 590 secs
lola: STP completed || 1 tries, 566250 fired transitions, 595 secs || 612295 markings, 776148 edges, 1045 markings/sec, 595 secs
lola: STP completed || 1 tries, 571043 fired transitions, 600 secs || 617532 markings, 782572 edges, 1047 markings/sec, 600 secs
lola: STP completed || 1 tries, 575817 fired transitions, 605 secs || 622765 markings, 788943 edges, 1047 markings/sec, 605 secs
lola: STP completed || 1 tries, 580517 fired transitions, 610 secs || 627988 markings, 795478 edges, 1045 markings/sec, 610 secs
lola: STP completed || 1 tries, 585269 fired transitions, 615 secs || 633197 markings, 802164 edges, 1042 markings/sec, 615 secs
lola: STP completed || 1 tries, 590049 fired transitions, 620 secs || 638429 markings, 808578 edges, 1046 markings/sec, 620 secs
lola: STP completed || 1 tries, 594812 fired transitions, 625 secs || 643688 markings, 815318 edges, 1052 markings/sec, 625 secs
lola: STP completed || 1 tries, 599579 fired transitions, 630 secs || 648948 markings, 822006 edges, 1052 markings/sec, 630 secs
lola: STP completed || 1 tries, 604406 fired transitions, 635 secs || 654072 markings, 828231 edges, 1025 markings/sec, 635 secs
lola: STP completed || 1 tries, 609237 fired transitions, 640 secs || 659162 markings, 834716 edges, 1018 markings/sec, 640 secs
lola: STP completed || 1 tries, 614052 fired transitions, 645 secs || 664261 markings, 841263 edges, 1020 markings/sec, 645 secs
lola: STP completed || 1 tries, 618852 fired transitions, 650 secs || 669291 markings, 847579 edges, 1006 markings/sec, 650 secs
lola: STP completed || 1 tries, 623656 fired transitions, 655 secs || 674349 markings, 853986 edges, 1012 markings/sec, 655 secs
lola: STP completed || 1 tries, 626572 fired transitions, 660 secs || 677447 markings, 857919 edges, 620 markings/sec, 660 secs
lola: STP completed || 1 tries, 630819 fired transitions, 665 secs || 682181 markings, 863881 edges, 947 markings/sec, 665 secs
lola: STP completed || 1 tries, 635593 fired transitions, 670 secs || 687429 markings, 870464 edges, 1050 markings/sec, 670 secs
lola: STP completed || 1 tries, 640279 fired transitions, 675 secs || 692790 markings, 877326 edges, 1072 markings/sec, 675 secs
lola: STP completed || 1 tries, 645058 fired transitions, 680 secs || 698016 markings, 884014 edges, 1045 markings/sec, 680 secs
lola: STP completed || 1 tries, 649860 fired transitions, 685 secs || 703221 markings, 890540 edges, 1041 markings/sec, 685 secs
lola: STP completed || 1 tries, 654590 fired transitions, 690 secs || 708405 markings, 897260 edges, 1037 markings/sec, 690 secs
lola: STP completed || 1 tries, 659380 fired transitions, 695 secs || 713599 markings, 903773 edges, 1039 markings/sec, 695 secs
lola: STP completed || 1 tries, 664147 fired transitions, 700 secs || 718857 markings, 910466 edges, 1052 markings/sec, 700 secs
lola: STP completed || 1 tries, 668930 fired transitions, 705 secs || 724073 markings, 916775 edges, 1043 markings/sec, 705 secs
lola: STP completed || 1 tries, 673719 fired transitions, 710 secs || 729244 markings, 923506 edges, 1034 markings/sec, 710 secs
lola: STP completed || 1 tries, 678506 fired transitions, 715 secs || 734462 markings, 930220 edges, 1044 markings/sec, 715 secs
lola: STP completed || 1 tries, 681845 fired transitions, 720 secs || 738001 markings, 934818 edges, 708 markings/sec, 720 secs
lola: STP completed || 1 tries, 686612 fired transitions, 725 secs || 743116 markings, 941271 edges, 1023 markings/sec, 725 secs
lola: STP completed || 1 tries, 691372 fired transitions, 730 secs || 748308 markings, 947886 edges, 1038 markings/sec, 730 secs
lola: STP completed || 1 tries, 696161 fired transitions, 735 secs || 753513 markings, 954773 edges, 1041 markings/sec, 735 secs
lola: STP completed || 1 tries, 700958 fired transitions, 740 secs || 758716 markings, 961174 edges, 1041 markings/sec, 740 secs
lola: STP completed || 1 tries, 705757 fired transitions, 745 secs || 763884 markings, 967659 edges, 1034 markings/sec, 745 secs
lola: STP completed || 1 tries, 710514 fired transitions, 750 secs || 769019 markings, 974097 edges, 1027 markings/sec, 750 secs
lola: STP completed || 1 tries, 715124 fired transitions, 755 secs || 774104 markings, 980476 edges, 1017 markings/sec, 755 secs
lola: STP completed || 1 tries, 719847 fired transitions, 760 secs || 779207 markings, 986985 edges, 1021 markings/sec, 760 secs
lola: STP completed || 1 tries, 724592 fired transitions, 765 secs || 784293 markings, 993364 edges, 1017 markings/sec, 765 secs
lola: STP completed || 1 tries, 729314 fired transitions, 770 secs || 789385 markings, 999761 edges, 1018 markings/sec, 770 secs
lola: STP completed || 1 tries, 733999 fired transitions, 775 secs || 794528 markings, 1005847 edges, 1029 markings/sec, 775 secs
lola: STP completed || 1 tries, 738650 fired transitions, 780 secs || 799621 markings, 1012407 edges, 1019 markings/sec, 780 secs
lola: STP completed || 1 tries, 743344 fired transitions, 785 secs || 804734 markings, 1018712 edges, 1023 markings/sec, 785 secs
lola: STP completed || 1 tries, 748052 fired transitions, 790 secs || 809853 markings, 1025271 edges, 1024 markings/sec, 790 secs
lola: STP completed || 1 tries, 752728 fired transitions, 795 secs || 814998 markings, 1031720 edges, 1029 markings/sec, 795 secs
lola: STP completed || 1 tries, 757424 fired transitions, 800 secs || 820143 markings, 1038172 edges, 1029 markings/sec, 800 secs
lola: STP completed || 1 tries, 762130 fired transitions, 805 secs || 825312 markings, 1044700 edges, 1034 markings/sec, 805 secs
lola: STP completed || 1 tries, 766829 fired transitions, 810 secs || 830488 markings, 1051286 edges, 1035 markings/sec, 810 secs
lola: STP completed || 1 tries, 771512 fired transitions, 815 secs || 835645 markings, 1057755 edges, 1031 markings/sec, 815 secs
lola: STP completed || 1 tries, 776356 fired transitions, 820 secs || 840821 markings, 1064242 edges, 1035 markings/sec, 820 secs
lola: STP completed || 1 tries, 781191 fired transitions, 825 secs || 846007 markings, 1070742 edges, 1037 markings/sec, 825 secs
lola: STP completed || 1 tries, 785967 fired transitions, 830 secs || 851211 markings, 1077373 edges, 1041 markings/sec, 830 secs
lola: STP completed || 1 tries, 790780 fired transitions, 835 secs || 856441 markings, 1083919 edges, 1046 markings/sec, 835 secs
lola: STP completed || 1 tries, 795575 fired transitions, 840 secs || 861687 markings, 1090638 edges, 1049 markings/sec, 840 secs
lola: STP completed || 1 tries, 800381 fired transitions, 845 secs || 866898 markings, 1097450 edges, 1042 markings/sec, 845 secs
lola: STP completed || 1 tries, 805153 fired transitions, 850 secs || 872129 markings, 1103993 edges, 1046 markings/sec, 850 secs
lola: STP completed || 1 tries, 809926 fired transitions, 855 secs || 877357 markings, 1110544 edges, 1046 markings/sec, 855 secs
lola: STP completed || 1 tries, 814703 fired transitions, 860 secs || 882573 markings, 1117256 edges, 1043 markings/sec, 860 secs
lola: STP completed || 1 tries, 819496 fired transitions, 865 secs || 887835 markings, 1123783 edges, 1052 markings/sec, 865 secs
lola: STP completed || 1 tries, 824304 fired transitions, 870 secs || 893095 markings, 1130509 edges, 1052 markings/sec, 870 secs
lola: STP completed || 1 tries, 829032 fired transitions, 875 secs || 898390 markings, 1137492 edges, 1059 markings/sec, 875 secs
lola: STP completed || 1 tries, 833830 fired transitions, 880 secs || 903600 markings, 1144506 edges, 1042 markings/sec, 880 secs
lola: STP completed || 1 tries, 838605 fired transitions, 885 secs || 908755 markings, 1150794 edges, 1031 markings/sec, 885 secs
lola: STP completed || 1 tries, 843380 fired transitions, 890 secs || 913938 markings, 1157303 edges, 1037 markings/sec, 890 secs
lola: STP completed || 1 tries, 848190 fired transitions, 895 secs || 919132 markings, 1164033 edges, 1039 markings/sec, 895 secs
lola: STP completed || 1 tries, 853000 fired transitions, 900 secs || 924324 markings, 1170644 edges, 1038 markings/sec, 900 secs
lola: STP completed || 1 tries, 857795 fired transitions, 905 secs || 929504 markings, 1177364 edges, 1036 markings/sec, 905 secs
lola: STP completed || 1 tries, 862576 fired transitions, 910 secs || 934704 markings, 1183992 edges, 1040 markings/sec, 910 secs
lola: STP completed || 1 tries, 867346 fired transitions, 915 secs || 939897 markings, 1190159 edges, 1039 markings/sec, 915 secs
lola: STP completed || 1 tries, 872147 fired transitions, 920 secs || 944883 markings, 1196534 edges, 997 markings/sec, 920 secs
lola: STP completed || 1 tries, 876894 fired transitions, 925 secs || 950039 markings, 1203016 edges, 1031 markings/sec, 925 secs
lola: STP completed || 1 tries, 881691 fired transitions, 930 secs || 955192 markings, 1209636 edges, 1031 markings/sec, 930 secs
lola: STP completed || 1 tries, 886053 fired transitions, 935 secs || 959865 markings, 1215475 edges, 935 markings/sec, 935 secs
lola: STP completed || 1 tries, 890868 fired transitions, 940 secs || 964986 markings, 1222008 edges, 1024 markings/sec, 940 secs
lola: STP completed || 1 tries, 895646 fired transitions, 945 secs || 970212 markings, 1228771 edges, 1045 markings/sec, 945 secs
lola: STP completed || 1 tries, 900435 fired transitions, 950 secs || 975408 markings, 1235391 edges, 1039 markings/sec, 950 secs
lola: STP completed || 1 tries, 905234 fired transitions, 955 secs || 980605 markings, 1242008 edges, 1039 markings/sec, 955 secs
lola: STP completed || 1 tries, 909997 fired transitions, 960 secs || 985772 markings, 1248926 edges, 1033 markings/sec, 960 secs
lola: STP completed || 1 tries, 914754 fired transitions, 965 secs || 990994 markings, 1255313 edges, 1044 markings/sec, 965 secs
lola: STP completed || 1 tries, 919508 fired transitions, 970 secs || 996223 markings, 1262120 edges, 1046 markings/sec, 970 secs
lola: STP completed || 1 tries, 924309 fired transitions, 975 secs || 1001465 markings, 1268687 edges, 1048 markings/sec, 975 secs
lola: STP completed || 1 tries, 929072 fired transitions, 980 secs || 1006672 markings, 1275100 edges, 1041 markings/sec, 980 secs
lola: STP completed || 1 tries, 933834 fired transitions, 985 secs || 1011878 markings, 1281760 edges, 1041 markings/sec, 985 secs
lola: STP completed || 1 tries, 938583 fired transitions, 990 secs || 1017081 markings, 1288278 edges, 1041 markings/sec, 990 secs
lola: STP completed || 1 tries, 943396 fired transitions, 995 secs || 1022248 markings, 1294755 edges, 1033 markings/sec, 995 secs
lola: STP completed || 1 tries, 948220 fired transitions, 1000 secs || 1027417 markings, 1301231 edges, 1034 markings/sec, 1000 secs
lola: STP completed || 1 tries, 953038 fired transitions, 1005 secs || 1032583 markings, 1307839 edges, 1033 markings/sec, 1005 secs
lola: STP completed || 1 tries, 957863 fired transitions, 1010 secs || 1037792 markings, 1314076 edges, 1042 markings/sec, 1010 secs
lola: STP completed || 1 tries, 962675 fired transitions, 1015 secs || 1043031 markings, 1320818 edges, 1048 markings/sec, 1015 secs
lola: STP completed || 1 tries, 967525 fired transitions, 1020 secs || 1048210 markings, 1327599 edges, 1036 markings/sec, 1020 secs
lola: STP completed || 1 tries, 972310 fired transitions, 1025 secs || 1053405 markings, 1334216 edges, 1039 markings/sec, 1025 secs
lola: STP completed || 1 tries, 977149 fired transitions, 1030 secs || 1058616 markings, 1340742 edges, 1042 markings/sec, 1030 secs
lola: STP completed || 1 tries, 981973 fired transitions, 1035 secs || 1063843 markings, 1347289 edges, 1045 markings/sec, 1035 secs
lola: STP completed || 1 tries, 986772 fired transitions, 1040 secs || 1069056 markings, 1353929 edges, 1043 markings/sec, 1040 secs
lola: STP completed || 1 tries, 991590 fired transitions, 1045 secs || 1074220 markings, 1360281 edges, 1033 markings/sec, 1045 secs
lola: STP completed || 1 tries, 996413 fired transitions, 1050 secs || 1079379 markings, 1367247 edges, 1032 markings/sec, 1050 secs
lola: STP completed || 2 tries, 1001212 fired transitions, 1055 secs || 1084550 markings, 1373791 edges, 1034 markings/sec, 1055 secs
lola: STP completed || 2 tries, 1006031 fired transitions, 1060 secs || 1089706 markings, 1380482 edges, 1031 markings/sec, 1060 secs
lola: STP completed || 2 tries, 1010816 fired transitions, 1065 secs || 1094816 markings, 1387054 edges, 1022 markings/sec, 1065 secs
lola: STP completed || 2 tries, 1015592 fired transitions, 1070 secs || 1099907 markings, 1393441 edges, 1018 markings/sec, 1070 secs
lola: STP completed || 2 tries, 1020339 fired transitions, 1075 secs || 1104941 markings, 1399885 edges, 1007 markings/sec, 1075 secs
lola: STP completed || 2 tries, 1025079 fired transitions, 1080 secs || 1109991 markings, 1406218 edges, 1010 markings/sec, 1080 secs
lola: STP completed || 2 tries, 1029836 fired transitions, 1085 secs || 1114994 markings, 1412561 edges, 1001 markings/sec, 1085 secs
lola: STP completed || 2 tries, 1034575 fired transitions, 1090 secs || 1120057 markings, 1418979 edges, 1013 markings/sec, 1090 secs
lola: STP completed || 2 tries, 1039337 fired transitions, 1095 secs || 1125148 markings, 1425280 edges, 1018 markings/sec, 1095 secs
lola: STP completed || 2 tries, 1044089 fired transitions, 1100 secs || 1130241 markings, 1431780 edges, 1019 markings/sec, 1100 secs
lola: STP completed || 2 tries, 1048850 fired transitions, 1105 secs || 1135339 markings, 1437837 edges, 1020 markings/sec, 1105 secs
lola: STP completed || 2 tries, 1053582 fired transitions, 1110 secs || 1140449 markings, 1443893 edges, 1022 markings/sec, 1110 secs
lola: STP completed || 2 tries, 1058319 fired transitions, 1115 secs || 1145530 markings, 1450377 edges, 1016 markings/sec, 1115 secs
lola: STP completed || 2 tries, 1063090 fired transitions, 1120 secs || 1150564 markings, 1456695 edges, 1007 markings/sec, 1120 secs
lola: STP completed || 2 tries, 1067795 fired transitions, 1125 secs || 1155627 markings, 1463045 edges, 1013 markings/sec, 1125 secs
lola: STP completed || 2 tries, 1072555 fired transitions, 1130 secs || 1160727 markings, 1469577 edges, 1020 markings/sec, 1130 secs
lola: STP completed || 2 tries, 1077295 fired transitions, 1135 secs || 1165668 markings, 1475894 edges, 988 markings/sec, 1135 secs
lola: STP completed || 2 tries, 1082030 fired transitions, 1140 secs || 1170733 markings, 1482110 edges, 1013 markings/sec, 1140 secs
lola: STP completed || 2 tries, 1086763 fired transitions, 1145 secs || 1175679 markings, 1488477 edges, 989 markings/sec, 1145 secs
lola: STP completed || 2 tries, 1091501 fired transitions, 1150 secs || 1180603 markings, 1494781 edges, 985 markings/sec, 1150 secs
lola: STP completed || 2 tries, 1096241 fired transitions, 1155 secs || 1185634 markings, 1500945 edges, 1006 markings/sec, 1155 secs
lola: STP completed || 2 tries, 1100954 fired transitions, 1160 secs || 1190647 markings, 1507348 edges, 1003 markings/sec, 1160 secs
lola: STP completed || 2 tries, 1105670 fired transitions, 1165 secs || 1195686 markings, 1513578 edges, 1008 markings/sec, 1165 secs
lola: STP completed || 2 tries, 1110243 fired transitions, 1170 secs || 1200844 markings, 1520160 edges, 1032 markings/sec, 1170 secs
lola: STP completed || 2 tries, 1114984 fired transitions, 1175 secs || 1206012 markings, 1527227 edges, 1034 markings/sec, 1175 secs
lola: STP completed || 2 tries, 1119751 fired transitions, 1180 secs || 1211181 markings, 1534037 edges, 1034 markings/sec, 1180 secs
lola: STP completed || 2 tries, 1124506 fired transitions, 1185 secs || 1216361 markings, 1540503 edges, 1036 markings/sec, 1185 secs
lola: STP completed || 2 tries, 1129226 fired transitions, 1190 secs || 1221557 markings, 1546998 edges, 1039 markings/sec, 1190 secs
lola: STP completed || 2 tries, 1133995 fired transitions, 1195 secs || 1226737 markings, 1553585 edges, 1036 markings/sec, 1195 secs
lola: STP completed || 2 tries, 1138746 fired transitions, 1200 secs || 1231934 markings, 1560211 edges, 1039 markings/sec, 1200 secs
lola: STP completed || 2 tries, 1143513 fired transitions, 1205 secs || 1237139 markings, 1566803 edges, 1041 markings/sec, 1205 secs
lola: STP completed || 2 tries, 1148286 fired transitions, 1210 secs || 1242322 markings, 1573920 edges, 1037 markings/sec, 1210 secs
lola: STP completed || 2 tries, 1153073 fired transitions, 1215 secs || 1247542 markings, 1580200 edges, 1044 markings/sec, 1215 secs
lola: STP completed || 2 tries, 1157851 fired transitions, 1220 secs || 1252720 markings, 1586799 edges, 1036 markings/sec, 1220 secs
lola: STP completed || 2 tries, 1162613 fired transitions, 1225 secs || 1257880 markings, 1593264 edges, 1032 markings/sec, 1225 secs
lola: STP completed || 2 tries, 1167359 fired transitions, 1230 secs || 1263044 markings, 1599736 edges, 1033 markings/sec, 1230 secs
lola: STP completed || 2 tries, 1172136 fired transitions, 1235 secs || 1268225 markings, 1606348 edges, 1036 markings/sec, 1235 secs
lola: STP completed || 2 tries, 1176912 fired transitions, 1240 secs || 1273422 markings, 1612980 edges, 1039 markings/sec, 1240 secs
lola: STP completed || 2 tries, 1181711 fired transitions, 1245 secs || 1278624 markings, 1619371 edges, 1040 markings/sec, 1245 secs
lola: STP completed || 2 tries, 1186489 fired transitions, 1250 secs || 1283804 markings, 1626119 edges, 1036 markings/sec, 1250 secs
lola: STP completed || 2 tries, 1191301 fired transitions, 1255 secs || 1288901 markings, 1632520 edges, 1019 markings/sec, 1255 secs
lola: STP completed || 2 tries, 1196075 fired transitions, 1260 secs || 1294081 markings, 1639123 edges, 1036 markings/sec, 1260 secs
lola: STP completed || 2 tries, 1200851 fired transitions, 1265 secs || 1299306 markings, 1645665 edges, 1045 markings/sec, 1265 secs
lola: STP completed || 2 tries, 1205524 fired transitions, 1270 secs || 1304430 markings, 1652088 edges, 1025 markings/sec, 1270 secs
lola: STP completed || 2 tries, 1210247 fired transitions, 1275 secs || 1309654 markings, 1658271 edges, 1045 markings/sec, 1275 secs
lola: STP completed || 2 tries, 1214950 fired transitions, 1280 secs || 1314756 markings, 1664804 edges, 1020 markings/sec, 1280 secs
lola: STP completed || 2 tries, 1219658 fired transitions, 1285 secs || 1319864 markings, 1671209 edges, 1022 markings/sec, 1285 secs
lola: STP completed || 2 tries, 1224431 fired transitions, 1290 secs || 1325037 markings, 1677689 edges, 1035 markings/sec, 1290 secs
lola: STP completed || 2 tries, 1229194 fired transitions, 1295 secs || 1330255 markings, 1684335 edges, 1044 markings/sec, 1295 secs
lola: STP completed || 2 tries, 1233998 fired transitions, 1300 secs || 1335390 markings, 1690769 edges, 1027 markings/sec, 1300 secs
lola: STP completed || 2 tries, 1238766 fired transitions, 1305 secs || 1340539 markings, 1697234 edges, 1030 markings/sec, 1305 secs
lola: STP completed || 2 tries, 1243541 fired transitions, 1310 secs || 1345718 markings, 1703399 edges, 1036 markings/sec, 1310 secs
lola: STP completed || 2 tries, 1248345 fired transitions, 1315 secs || 1350854 markings, 1709947 edges, 1027 markings/sec, 1315 secs
lola: STP completed || 2 tries, 1253168 fired transitions, 1320 secs || 1355993 markings, 1716387 edges, 1028 markings/sec, 1320 secs
lola: STP completed || 2 tries, 1257968 fired transitions, 1325 secs || 1361159 markings, 1722863 edges, 1033 markings/sec, 1325 secs
lola: STP completed || 2 tries, 1262208 fired transitions, 1330 secs || 1365792 markings, 1728819 edges, 927 markings/sec, 1330 secs
lola: STP completed || 2 tries, 1267016 fired transitions, 1335 secs || 1370994 markings, 1735335 edges, 1040 markings/sec, 1335 secs
lola: STP completed || 2 tries, 1271822 fired transitions, 1340 secs || 1376235 markings, 1742216 edges, 1048 markings/sec, 1340 secs
lola: STP completed || 2 tries, 1276662 fired transitions, 1345 secs || 1381446 markings, 1749107 edges, 1042 markings/sec, 1345 secs
lola: STP completed || 2 tries, 1281494 fired transitions, 1350 secs || 1386576 markings, 1755193 edges, 1026 markings/sec, 1350 secs
lola: STP completed || 2 tries, 1286312 fired transitions, 1355 secs || 1391719 markings, 1761750 edges, 1029 markings/sec, 1355 secs
lola: STP completed || 2 tries, 1291104 fired transitions, 1360 secs || 1396789 markings, 1768110 edges, 1014 markings/sec, 1360 secs
lola: STP completed || 2 tries, 1295936 fired transitions, 1365 secs || 1401903 markings, 1774521 edges, 1023 markings/sec, 1365 secs
lola: STP completed || 2 tries, 1300743 fired transitions, 1370 secs || 1407033 markings, 1781087 edges, 1026 markings/sec, 1370 secs
lola: STP completed || 2 tries, 1305540 fired transitions, 1375 secs || 1412187 markings, 1787657 edges, 1031 markings/sec, 1375 secs
lola: STP completed || 2 tries, 1310313 fired transitions, 1380 secs || 1417310 markings, 1793711 edges, 1025 markings/sec, 1380 secs
lola: STP completed || 2 tries, 1315135 fired transitions, 1385 secs || 1422491 markings, 1799885 edges, 1036 markings/sec, 1385 secs
lola: STP completed || 2 tries, 1319972 fired transitions, 1390 secs || 1427591 markings, 1806389 edges, 1020 markings/sec, 1390 secs
lola: STP completed || 2 tries, 1324777 fired transitions, 1395 secs || 1432715 markings, 1812813 edges, 1025 markings/sec, 1395 secs
lola: STP completed || 2 tries, 1329600 fired transitions, 1400 secs || 1437783 markings, 1819173 edges, 1014 markings/sec, 1400 secs
lola: STP completed || 2 tries, 1334401 fired transitions, 1405 secs || 1442941 markings, 1825746 edges, 1032 markings/sec, 1405 secs
lola: STP completed || 2 tries, 1339195 fired transitions, 1410 secs || 1448085 markings, 1832174 edges, 1029 markings/sec, 1410 secs
lola: STP completed || 2 tries, 1343894 fired transitions, 1415 secs || 1453283 markings, 1838699 edges, 1040 markings/sec, 1415 secs
lola: STP completed || 2 tries, 1348631 fired transitions, 1420 secs || 1458457 markings, 1845227 edges, 1035 markings/sec, 1420 secs
lola: STP completed || 2 tries, 1353393 fired transitions, 1425 secs || 1463616 markings, 1851911 edges, 1032 markings/sec, 1425 secs
lola: STP completed || 2 tries, 1358154 fired transitions, 1430 secs || 1468793 markings, 1858252 edges, 1035 markings/sec, 1430 secs
lola: STP completed || 2 tries, 1362770 fired transitions, 1435 secs || 1473792 markings, 1864639 edges, 1000 markings/sec, 1435 secs
lola: STP completed || 2 tries, 1367517 fired transitions, 1440 secs || 1478995 markings, 1871062 edges, 1041 markings/sec, 1440 secs
lola: STP completed || 2 tries, 1372212 fired transitions, 1445 secs || 1484155 markings, 1877401 edges, 1032 markings/sec, 1445 secs
lola: STP completed || 2 tries, 1375589 fired transitions, 1450 secs || 1487818 markings, 1882292 edges, 733 markings/sec, 1450 secs
lola: STP completed || 2 tries, 1378190 fired transitions, 1455 secs || 1490597 markings, 1885734 edges, 556 markings/sec, 1455 secs
lola: STP completed || 2 tries, 1380765 fired transitions, 1460 secs || 1493394 markings, 1889299 edges, 559 markings/sec, 1460 secs
lola: STP completed || 2 tries, 1383374 fired transitions, 1465 secs || 1496166 markings, 1892785 edges, 554 markings/sec, 1465 secs
lola: STP completed || 2 tries, 1385973 fired transitions, 1470 secs || 1498956 markings, 1896351 edges, 558 markings/sec, 1470 secs
lola: STP completed || 2 tries, 1388592 fired transitions, 1475 secs || 1501741 markings, 1899882 edges, 557 markings/sec, 1475 secs
lola: STP completed || 2 tries, 1391188 fired transitions, 1480 secs || 1504560 markings, 1903355 edges, 564 markings/sec, 1480 secs
lola: STP completed || 2 tries, 1394341 fired transitions, 1485 secs || 1508023 markings, 1907672 edges, 693 markings/sec, 1485 secs
lola: STP completed || 2 tries, 1399181 fired transitions, 1490 secs || 1513286 markings, 1914409 edges, 1053 markings/sec, 1490 secs
lola: STP completed || 2 tries, 1403981 fired transitions, 1495 secs || 1518568 markings, 1921371 edges, 1056 markings/sec, 1495 secs
lola: STP completed || 2 tries, 1408802 fired transitions, 1500 secs || 1523805 markings, 1927990 edges, 1047 markings/sec, 1500 secs
lola: STP completed || 2 tries, 1413584 fired transitions, 1505 secs || 1529016 markings, 1934595 edges, 1042 markings/sec, 1505 secs
lola: STP completed || 2 tries, 1418367 fired transitions, 1510 secs || 1534224 markings, 1941351 edges, 1042 markings/sec, 1510 secs
lola: STP completed || 2 tries, 1423192 fired transitions, 1515 secs || 1539412 markings, 1948028 edges, 1038 markings/sec, 1515 secs
lola: STP completed || 2 tries, 1428013 fired transitions, 1520 secs || 1544604 markings, 1954593 edges, 1038 markings/sec, 1520 secs
lola: STP completed || 2 tries, 1432796 fired transitions, 1525 secs || 1549802 markings, 1961210 edges, 1040 markings/sec, 1525 secs
lola: STP completed || 2 tries, 1437640 fired transitions, 1530 secs || 1555013 markings, 1967786 edges, 1042 markings/sec, 1530 secs
lola: STP completed || 2 tries, 1442383 fired transitions, 1535 secs || 1560212 markings, 1974380 edges, 1040 markings/sec, 1535 secs
lola: STP completed || 2 tries, 1447157 fired transitions, 1540 secs || 1565428 markings, 1980894 edges, 1043 markings/sec, 1540 secs
lola: STP completed || 2 tries, 1451953 fired transitions, 1545 secs || 1570656 markings, 1987552 edges, 1046 markings/sec, 1545 secs
lola: STP completed || 2 tries, 1456749 fired transitions, 1550 secs || 1575901 markings, 1994032 edges, 1049 markings/sec, 1550 secs
lola: STP completed || 2 tries, 1461547 fired transitions, 1555 secs || 1581173 markings, 2000304 edges, 1054 markings/sec, 1555 secs
lola: STP completed || 2 tries, 1466321 fired transitions, 1560 secs || 1586426 markings, 2006725 edges, 1051 markings/sec, 1560 secs
lola: STP completed || 2 tries, 1471129 fired transitions, 1565 secs || 1591662 markings, 2013342 edges, 1047 markings/sec, 1565 secs
lola: STP completed || 2 tries, 1475933 fired transitions, 1570 secs || 1596878 markings, 2019872 edges, 1043 markings/sec, 1570 secs
lola: STP completed || 2 tries, 1480757 fired transitions, 1575 secs || 1602114 markings, 2026495 edges, 1047 markings/sec, 1575 secs
lola: STP completed || 2 tries, 1485545 fired transitions, 1580 secs || 1607369 markings, 2033171 edges, 1051 markings/sec, 1580 secs
lola: STP completed || 2 tries, 1490280 fired transitions, 1585 secs || 1612637 markings, 2039719 edges, 1054 markings/sec, 1585 secs
lola: STP completed || 2 tries, 1495053 fired transitions, 1590 secs || 1617859 markings, 2046369 edges, 1044 markings/sec, 1590 secs
lola: STP completed || 2 tries, 1499802 fired transitions, 1595 secs || 1623070 markings, 2052894 edges, 1042 markings/sec, 1595 secs
lola: STP completed || 2 tries, 1504569 fired transitions, 1600 secs || 1628308 markings, 2059549 edges, 1048 markings/sec, 1600 secs
lola: STP completed || 2 tries, 1509365 fired transitions, 1605 secs || 1633572 markings, 2066175 edges, 1053 markings/sec, 1605 secs
lola: STP completed || 2 tries, 1514118 fired transitions, 1610 secs || 1638820 markings, 2072857 edges, 1050 markings/sec, 1610 secs
lola: STP completed || 2 tries, 1518912 fired transitions, 1615 secs || 1644102 markings, 2079140 edges, 1056 markings/sec, 1615 secs
lola: STP completed || 2 tries, 1523712 fired transitions, 1620 secs || 1649435 markings, 2086199 edges, 1067 markings/sec, 1620 secs
lola: STP completed || 2 tries, 1528474 fired transitions, 1625 secs || 1654683 markings, 2092820 edges, 1050 markings/sec, 1625 secs
lola: STP completed || 2 tries, 1533187 fired transitions, 1630 secs || 1659940 markings, 2099512 edges, 1051 markings/sec, 1630 secs
lola: STP completed || 2 tries, 1537982 fired transitions, 1635 secs || 1665220 markings, 2106052 edges, 1056 markings/sec, 1635 secs
lola: STP completed || 2 tries, 1542761 fired transitions, 1640 secs || 1670511 markings, 2112757 edges, 1058 markings/sec, 1640 secs
lola: STP completed || 2 tries, 1547559 fired transitions, 1645 secs || 1675794 markings, 2119589 edges, 1057 markings/sec, 1645 secs
lola: STP completed || 2 tries, 1552345 fired transitions, 1650 secs || 1681089 markings, 2126515 edges, 1059 markings/sec, 1650 secs
lola: STP completed || 2 tries, 1557140 fired transitions, 1655 secs || 1686332 markings, 2133002 edges, 1049 markings/sec, 1655 secs
lola: STP completed || 2 tries, 1561912 fired transitions, 1660 secs || 1691562 markings, 2139611 edges, 1046 markings/sec, 1660 secs
lola: STP completed || 2 tries, 1566622 fired transitions, 1665 secs || 1696791 markings, 2146487 edges, 1046 markings/sec, 1665 secs
lola: STP completed || 2 tries, 1571438 fired transitions, 1670 secs || 1702010 markings, 2153229 edges, 1044 markings/sec, 1670 secs
lola: STP completed || 2 tries, 1576231 fired transitions, 1675 secs || 1707229 markings, 2159834 edges, 1044 markings/sec, 1675 secs
lola: STP completed || 2 tries, 1580980 fired transitions, 1680 secs || 1712425 markings, 2166303 edges, 1039 markings/sec, 1680 secs
lola: STP completed || 2 tries, 1585747 fired transitions, 1685 secs || 1717617 markings, 2173064 edges, 1038 markings/sec, 1685 secs
lola: STP completed || 2 tries, 1590555 fired transitions, 1690 secs || 1722705 markings, 2179465 edges, 1018 markings/sec, 1690 secs
lola: STP completed || 2 tries, 1595396 fired transitions, 1695 secs || 1727869 markings, 2186000 edges, 1033 markings/sec, 1695 secs
lola: STP completed || 2 tries, 1600230 fired transitions, 1700 secs || 1733051 markings, 2192394 edges, 1036 markings/sec, 1700 secs
lola: STP completed || 2 tries, 1605058 fired transitions, 1705 secs || 1738235 markings, 2198792 edges, 1037 markings/sec, 1705 secs
lola: STP completed || 2 tries, 1609905 fired transitions, 1710 secs || 1743450 markings, 2204984 edges, 1043 markings/sec, 1710 secs
lola: STP completed || 2 tries, 1614725 fired transitions, 1715 secs || 1748626 markings, 2211332 edges, 1035 markings/sec, 1715 secs
lola: STP completed || 2 tries, 1619562 fired transitions, 1720 secs || 1753767 markings, 2217821 edges, 1028 markings/sec, 1720 secs
lola: STP completed || 2 tries, 1624387 fired transitions, 1725 secs || 1758838 markings, 2224367 edges, 1014 markings/sec, 1725 secs
lola: STP completed || 2 tries, 1629201 fired transitions, 1730 secs || 1763992 markings, 2230717 edges, 1031 markings/sec, 1730 secs
lola: STP completed || 2 tries, 1634058 fired transitions, 1735 secs || 1769175 markings, 2237318 edges, 1037 markings/sec, 1735 secs
lola: STP completed || 2 tries, 1638898 fired transitions, 1740 secs || 1774360 markings, 2243751 edges, 1037 markings/sec, 1740 secs
lola: STP completed || 2 tries, 1643757 fired transitions, 1745 secs || 1779538 markings, 2250345 edges, 1036 markings/sec, 1745 secs
lola: STP completed || 2 tries, 1648612 fired transitions, 1750 secs || 1784688 markings, 2256802 edges, 1030 markings/sec, 1750 secs
lola: STP completed || 2 tries, 1653442 fired transitions, 1755 secs || 1789870 markings, 2263439 edges, 1036 markings/sec, 1755 secs
lola: STP completed || 2 tries, 1658293 fired transitions, 1760 secs || 1795074 markings, 2269944 edges, 1041 markings/sec, 1760 secs
lola: STP completed || 2 tries, 1663155 fired transitions, 1765 secs || 1800273 markings, 2276569 edges, 1040 markings/sec, 1765 secs
lola: STP completed || 2 tries, 1668002 fired transitions, 1770 secs || 1805508 markings, 2282795 edges, 1047 markings/sec, 1770 secs
lola: STP completed || 2 tries, 1672861 fired transitions, 1775 secs || 1810783 markings, 2289786 edges, 1055 markings/sec, 1775 secs
lola: STP completed || 2 tries, 1677676 fired transitions, 1780 secs || 1815985 markings, 2296353 edges, 1040 markings/sec, 1780 secs
lola: STP completed || 2 tries, 1682495 fired transitions, 1785 secs || 1821113 markings, 2302891 edges, 1026 markings/sec, 1785 secs
lola: STP completed || 2 tries, 1687272 fired transitions, 1790 secs || 1826264 markings, 2309210 edges, 1030 markings/sec, 1790 secs
lola: STP completed || 2 tries, 1692058 fired transitions, 1795 secs || 1831429 markings, 2315837 edges, 1033 markings/sec, 1795 secs
lola: STP completed || 2 tries, 1696847 fired transitions, 1800 secs || 1836579 markings, 2322290 edges, 1030 markings/sec, 1800 secs
lola: STP completed || 2 tries, 1701623 fired transitions, 1805 secs || 1841761 markings, 2329207 edges, 1036 markings/sec, 1805 secs
lola: STP completed || 2 tries, 1706396 fired transitions, 1810 secs || 1846879 markings, 2335632 edges, 1024 markings/sec, 1810 secs
lola: STP completed || 2 tries, 1711160 fired transitions, 1815 secs || 1851979 markings, 2342085 edges, 1020 markings/sec, 1815 secs
lola: STP completed || 2 tries, 1715919 fired transitions, 1820 secs || 1857088 markings, 2348726 edges, 1022 markings/sec, 1820 secs
lola: STP completed || 2 tries, 1720685 fired transitions, 1825 secs || 1862138 markings, 2355229 edges, 1010 markings/sec, 1825 secs
lola: STP completed || 2 tries, 1725470 fired transitions, 1830 secs || 1867221 markings, 2361524 edges, 1017 markings/sec, 1830 secs
lola: STP completed || 2 tries, 1730206 fired transitions, 1835 secs || 1872295 markings, 2368180 edges, 1015 markings/sec, 1835 secs
lola: STP completed || 2 tries, 1734980 fired transitions, 1840 secs || 1877370 markings, 2374909 edges, 1015 markings/sec, 1840 secs
lola: STP completed || 2 tries, 1739745 fired transitions, 1845 secs || 1882429 markings, 2381311 edges, 1012 markings/sec, 1845 secs
lola: STP completed || 2 tries, 1744538 fired transitions, 1850 secs || 1887546 markings, 2387700 edges, 1023 markings/sec, 1850 secs
lola: STP completed || 2 tries, 1749363 fired transitions, 1855 secs || 1892689 markings, 2394310 edges, 1029 markings/sec, 1855 secs
lola: STP completed || 2 tries, 1754199 fired transitions, 1860 secs || 1897818 markings, 2401200 edges, 1026 markings/sec, 1860 secs
lola: STP completed || 2 tries, 1759004 fired transitions, 1865 secs || 1902899 markings, 2407645 edges, 1016 markings/sec, 1865 secs
lola: STP completed || 2 tries, 1763766 fired transitions, 1870 secs || 1907948 markings, 2414057 edges, 1010 markings/sec, 1870 secs
lola: STP completed || 2 tries, 1768580 fired transitions, 1875 secs || 1913145 markings, 2420664 edges, 1039 markings/sec, 1875 secs
lola: STP completed || 2 tries, 1773402 fired transitions, 1880 secs || 1918326 markings, 2427415 edges, 1036 markings/sec, 1880 secs
lola: STP completed || 2 tries, 1778208 fired transitions, 1885 secs || 1923511 markings, 2433918 edges, 1037 markings/sec, 1885 secs
lola: STP completed || 2 tries, 1783011 fired transitions, 1890 secs || 1928726 markings, 2440561 edges, 1043 markings/sec, 1890 secs
lola: STP completed || 2 tries, 1787797 fired transitions, 1895 secs || 1933935 markings, 2447084 edges, 1042 markings/sec, 1895 secs
lola: STP completed || 2 tries, 1792585 fired transitions, 1900 secs || 1939167 markings, 2453633 edges, 1046 markings/sec, 1900 secs
lola: STP completed || 2 tries, 1797409 fired transitions, 1905 secs || 1944405 markings, 2459837 edges, 1048 markings/sec, 1905 secs
lola: STP completed || 2 tries, 1802202 fired transitions, 1910 secs || 1949645 markings, 2466061 edges, 1048 markings/sec, 1910 secs
lola: STP completed || 2 tries, 1806950 fired transitions, 1915 secs || 1954820 markings, 2472716 edges, 1035 markings/sec, 1915 secs
lola: STP completed || 2 tries, 1811693 fired transitions, 1920 secs || 1959999 markings, 2479205 edges, 1036 markings/sec, 1920 secs
lola: STP completed || 2 tries, 1816462 fired transitions, 1925 secs || 1965196 markings, 2485715 edges, 1039 markings/sec, 1925 secs
lola: STP completed || 2 tries, 1821179 fired transitions, 1930 secs || 1970416 markings, 2492386 edges, 1044 markings/sec, 1930 secs
lola: STP completed || 2 tries, 1825917 fired transitions, 1935 secs || 1975637 markings, 2499035 edges, 1044 markings/sec, 1935 secs
lola: STP completed || 2 tries, 1830705 fired transitions, 1940 secs || 1980871 markings, 2505632 edges, 1047 markings/sec, 1940 secs
lola: STP completed || 2 tries, 1835482 fired transitions, 1945 secs || 1986092 markings, 2512178 edges, 1044 markings/sec, 1945 secs
lola: STP completed || 2 tries, 1840246 fired transitions, 1950 secs || 1991287 markings, 2518699 edges, 1039 markings/sec, 1950 secs
lola: STP completed || 2 tries, 1845028 fired transitions, 1955 secs || 1996484 markings, 2525339 edges, 1039 markings/sec, 1955 secs
lola: STP completed || 2 tries, 1849842 fired transitions, 1960 secs || 2001678 markings, 2531945 edges, 1039 markings/sec, 1960 secs
lola: STP completed || 2 tries, 1854629 fired transitions, 1965 secs || 2006912 markings, 2538499 edges, 1047 markings/sec, 1965 secs
lola: STP completed || 2 tries, 1859352 fired transitions, 1970 secs || 2012141 markings, 2545050 edges, 1046 markings/sec, 1970 secs
lola: STP completed || 2 tries, 1864086 fired transitions, 1975 secs || 2017354 markings, 2551643 edges, 1043 markings/sec, 1975 secs
lola: STP completed || 2 tries, 1868864 fired transitions, 1980 secs || 2022682 markings, 2558587 edges, 1066 markings/sec, 1980 secs
lola: STP completed || 2 tries, 1871535 fired transitions, 1985 secs || 2025575 markings, 2562210 edges, 579 markings/sec, 1985 secs
lola: STP completed || 2 tries, 1874131 fired transitions, 1990 secs || 2028346 markings, 2565709 edges, 554 markings/sec, 1990 secs
lola: STP completed || 2 tries, 1876739 fired transitions, 1995 secs || 2031125 markings, 2569365 edges, 556 markings/sec, 1995 secs
lola: STP completed || 2 tries, 1879304 fired transitions, 2000 secs || 2033912 markings, 2572804 edges, 557 markings/sec, 2000 secs
lola: STP completed || 2 tries, 1881912 fired transitions, 2005 secs || 2036692 markings, 2576313 edges, 556 markings/sec, 2005 secs
lola: STP completed || 2 tries, 1884860 fired transitions, 2010 secs || 2039948 markings, 2580367 edges, 651 markings/sec, 2010 secs
lola: STP completed || 2 tries, 1889651 fired transitions, 2015 secs || 2045208 markings, 2587156 edges, 1052 markings/sec, 2015 secs
lola: STP completed || 2 tries, 1894475 fired transitions, 2020 secs || 2050457 markings, 2593799 edges, 1050 markings/sec, 2020 secs
lola: STP completed || 2 tries, 1899090 fired transitions, 2025 secs || 2055474 markings, 2600072 edges, 1003 markings/sec, 2025 secs
lola: STP completed || 2 tries, 1903860 fired transitions, 2030 secs || 2060651 markings, 2606665 edges, 1035 markings/sec, 2030 secs
lola: STP completed || 2 tries, 1908600 fired transitions, 2035 secs || 2065805 markings, 2613358 edges, 1031 markings/sec, 2035 secs
lola: STP completed || 2 tries, 1913336 fired transitions, 2040 secs || 2070981 markings, 2620022 edges, 1035 markings/sec, 2040 secs
lola: STP completed || 2 tries, 1918103 fired transitions, 2045 secs || 2076005 markings, 2626404 edges, 1005 markings/sec, 2045 secs
lola: STP completed || 2 tries, 1922787 fired transitions, 2050 secs || 2081091 markings, 2632873 edges, 1017 markings/sec, 2050 secs
lola: STP completed || 2 tries, 1927440 fired transitions, 2055 secs || 2086127 markings, 2639610 edges, 1007 markings/sec, 2055 secs
lola: STP completed || 2 tries, 1932105 fired transitions, 2060 secs || 2091141 markings, 2645952 edges, 1003 markings/sec, 2060 secs
lola: STP completed || 2 tries, 1936787 fired transitions, 2065 secs || 2096164 markings, 2652255 edges, 1005 markings/sec, 2065 secs
lola: STP completed || 2 tries, 1941449 fired transitions, 2070 secs || 2101209 markings, 2658651 edges, 1009 markings/sec, 2070 secs
lola: STP completed || 2 tries, 1946130 fired transitions, 2075 secs || 2106255 markings, 2665028 edges, 1009 markings/sec, 2075 secs
lola: STP completed || 2 tries, 1950807 fired transitions, 2080 secs || 2111326 markings, 2671547 edges, 1014 markings/sec, 2080 secs
lola: STP completed || 2 tries, 1955463 fired transitions, 2085 secs || 2116410 markings, 2677621 edges, 1017 markings/sec, 2085 secs
lola: STP completed || 2 tries, 1960154 fired transitions, 2090 secs || 2121491 markings, 2683638 edges, 1016 markings/sec, 2090 secs
lola: STP completed || 2 tries, 1964820 fired transitions, 2095 secs || 2126566 markings, 2689986 edges, 1015 markings/sec, 2095 secs
lola: STP completed || 2 tries, 1969477 fired transitions, 2100 secs || 2131622 markings, 2696328 edges, 1011 markings/sec, 2100 secs
lola: STP completed || 2 tries, 1974180 fired transitions, 2105 secs || 2136656 markings, 2702869 edges, 1007 markings/sec, 2105 secs
lola: STP completed || 2 tries, 1978847 fired transitions, 2110 secs || 2141732 markings, 2709088 edges, 1015 markings/sec, 2110 secs
lola: STP completed || 2 tries, 1983549 fired transitions, 2115 secs || 2146814 markings, 2715571 edges, 1016 markings/sec, 2115 secs
lola: STP completed || 2 tries, 1988223 fired transitions, 2120 secs || 2151902 markings, 2722289 edges, 1018 markings/sec, 2120 secs
lola: STP completed || 2 tries, 1992902 fired transitions, 2125 secs || 2157006 markings, 2728544 edges, 1021 markings/sec, 2125 secs
lola: STP completed || 2 tries, 1997570 fired transitions, 2130 secs || 2162059 markings, 2734883 edges, 1011 markings/sec, 2130 secs
lola: STP completed || 3 tries, 2002243 fired transitions, 2135 secs || 2167135 markings, 2741269 edges, 1015 markings/sec, 2135 secs
lola: STP completed || 3 tries, 2006941 fired transitions, 2140 secs || 2172226 markings, 2747651 edges, 1018 markings/sec, 2140 secs
lola: STP completed || 3 tries, 2011649 fired transitions, 2145 secs || 2177344 markings, 2754067 edges, 1024 markings/sec, 2145 secs
lola: STP completed || 3 tries, 2016359 fired transitions, 2150 secs || 2182475 markings, 2760501 edges, 1026 markings/sec, 2150 secs
lola: STP completed || 3 tries, 2021055 fired transitions, 2155 secs || 2187608 markings, 2767083 edges, 1027 markings/sec, 2155 secs
lola: STP completed || 3 tries, 2025780 fired transitions, 2160 secs || 2192790 markings, 2773684 edges, 1036 markings/sec, 2160 secs
lola: STP completed || 3 tries, 2030491 fired transitions, 2165 secs || 2198000 markings, 2780359 edges, 1042 markings/sec, 2165 secs
lola: STP completed || 3 tries, 2035216 fired transitions, 2170 secs || 2203123 markings, 2786781 edges, 1025 markings/sec, 2170 secs
lola: STP completed || 3 tries, 2039930 fired transitions, 2175 secs || 2208256 markings, 2793362 edges, 1027 markings/sec, 2175 secs
lola: STP completed || 3 tries, 2044644 fired transitions, 2180 secs || 2213411 markings, 2799889 edges, 1031 markings/sec, 2180 secs
lola: STP completed || 3 tries, 2049347 fired transitions, 2185 secs || 2218574 markings, 2806405 edges, 1033 markings/sec, 2185 secs
lola: STP completed || 3 tries, 2054085 fired transitions, 2190 secs || 2223741 markings, 2813038 edges, 1033 markings/sec, 2190 secs
lola: STP completed || 3 tries, 2058774 fired transitions, 2195 secs || 2228990 markings, 2819636 edges, 1050 markings/sec, 2195 secs
lola: STP completed || 3 tries, 2063484 fired transitions, 2200 secs || 2234126 markings, 2826072 edges, 1027 markings/sec, 2200 secs
lola: STP completed || 3 tries, 2068220 fired transitions, 2205 secs || 2239242 markings, 2832636 edges, 1023 markings/sec, 2205 secs
lola: STP completed || 3 tries, 2072947 fired transitions, 2210 secs || 2244383 markings, 2839134 edges, 1028 markings/sec, 2210 secs
lola: STP completed || 3 tries, 2077658 fired transitions, 2215 secs || 2249541 markings, 2845776 edges, 1032 markings/sec, 2215 secs
lola: STP completed || 3 tries, 2082379 fired transitions, 2220 secs || 2254703 markings, 2852090 edges, 1032 markings/sec, 2220 secs
lola: STP completed || 3 tries, 2087131 fired transitions, 2225 secs || 2259845 markings, 2858715 edges, 1028 markings/sec, 2225 secs
lola: STP completed || 3 tries, 2091865 fired transitions, 2230 secs || 2264973 markings, 2865190 edges, 1026 markings/sec, 2230 secs
lola: STP completed || 3 tries, 2096605 fired transitions, 2235 secs || 2270072 markings, 2871775 edges, 1020 markings/sec, 2235 secs
lola: STP completed || 3 tries, 2101295 fired transitions, 2240 secs || 2275168 markings, 2878305 edges, 1019 markings/sec, 2240 secs
lola: STP completed || 3 tries, 2106028 fired transitions, 2245 secs || 2280254 markings, 2884895 edges, 1017 markings/sec, 2245 secs
lola: STP completed || 3 tries, 2110754 fired transitions, 2250 secs || 2285368 markings, 2891480 edges, 1023 markings/sec, 2250 secs
lola: STP completed || 3 tries, 2115467 fired transitions, 2255 secs || 2290459 markings, 2897941 edges, 1018 markings/sec, 2255 secs
lola: STP completed || 3 tries, 2120172 fired transitions, 2260 secs || 2295542 markings, 2904433 edges, 1017 markings/sec, 2260 secs
lola: STP completed || 3 tries, 2124912 fired transitions, 2265 secs || 2300618 markings, 2910800 edges, 1015 markings/sec, 2265 secs
lola: STP completed || 3 tries, 2129609 fired transitions, 2270 secs || 2305702 markings, 2917177 edges, 1017 markings/sec, 2270 secs
lola: STP completed || 3 tries, 2134285 fired transitions, 2275 secs || 2310801 markings, 2923684 edges, 1020 markings/sec, 2275 secs
lola: STP completed || 3 tries, 2139012 fired transitions, 2280 secs || 2315905 markings, 2930082 edges, 1021 markings/sec, 2280 secs
lola: STP completed || 3 tries, 2143723 fired transitions, 2285 secs || 2321026 markings, 2936501 edges, 1024 markings/sec, 2285 secs
lola: STP completed || 3 tries, 2148430 fired transitions, 2290 secs || 2326157 markings, 2942621 edges, 1026 markings/sec, 2290 secs
lola: STP completed || 3 tries, 2153148 fired transitions, 2295 secs || 2331257 markings, 2949128 edges, 1020 markings/sec, 2295 secs
lola: STP completed || 3 tries, 2157861 fired transitions, 2300 secs || 2336365 markings, 2955531 edges, 1022 markings/sec, 2300 secs
lola: STP completed || 3 tries, 2162589 fired transitions, 2305 secs || 2341466 markings, 2961928 edges, 1020 markings/sec, 2305 secs
lola: STP completed || 3 tries, 2167297 fired transitions, 2310 secs || 2346599 markings, 2968474 edges, 1027 markings/sec, 2310 secs
lola: STP completed || 3 tries, 2172031 fired transitions, 2315 secs || 2351731 markings, 2974905 edges, 1026 markings/sec, 2315 secs
lola: STP completed || 3 tries, 2176737 fired transitions, 2320 secs || 2356873 markings, 2981348 edges, 1028 markings/sec, 2320 secs
lola: STP completed || 3 tries, 2181437 fired transitions, 2325 secs || 2362019 markings, 2987443 edges, 1029 markings/sec, 2325 secs
lola: STP completed || 3 tries, 2186166 fired transitions, 2330 secs || 2367145 markings, 2993709 edges, 1025 markings/sec, 2330 secs
lola: STP completed || 3 tries, 2190893 fired transitions, 2335 secs || 2372250 markings, 3000108 edges, 1021 markings/sec, 2335 secs
lola: STP completed || 3 tries, 2195610 fired transitions, 2340 secs || 2377353 markings, 3006507 edges, 1021 markings/sec, 2340 secs
lola: STP completed || 3 tries, 2200326 fired transitions, 2345 secs || 2382471 markings, 3013104 edges, 1024 markings/sec, 2345 secs
lola: STP completed || 3 tries, 2205064 fired transitions, 2350 secs || 2387622 markings, 3019511 edges, 1030 markings/sec, 2350 secs
lola: STP completed || 3 tries, 2209805 fired transitions, 2355 secs || 2392759 markings, 3026062 edges, 1027 markings/sec, 2355 secs
lola: STP completed || 3 tries, 2214561 fired transitions, 2360 secs || 2397958 markings, 3033306 edges, 1040 markings/sec, 2360 secs
lola: STP completed || 3 tries, 2219311 fired transitions, 2365 secs || 2403053 markings, 3039734 edges, 1019 markings/sec, 2365 secs
lola: STP completed || 3 tries, 2224058 fired transitions, 2370 secs || 2408150 markings, 3046368 edges, 1019 markings/sec, 2370 secs
lola: STP completed || 3 tries, 2228808 fired transitions, 2375 secs || 2413241 markings, 3052907 edges, 1018 markings/sec, 2375 secs
lola: STP completed || 3 tries, 2233561 fired transitions, 2380 secs || 2418330 markings, 3059544 edges, 1018 markings/sec, 2380 secs
lola: STP completed || 3 tries, 2238310 fired transitions, 2385 secs || 2423427 markings, 3066144 edges, 1019 markings/sec, 2385 secs
lola: STP completed || 3 tries, 2243016 fired transitions, 2390 secs || 2428522 markings, 3072661 edges, 1019 markings/sec, 2390 secs
lola: STP completed || 3 tries, 2247775 fired transitions, 2395 secs || 2433543 markings, 3079375 edges, 1004 markings/sec, 2395 secs
lola: STP completed || 3 tries, 2252536 fired transitions, 2400 secs || 2438591 markings, 3085928 edges, 1010 markings/sec, 2400 secs
lola: STP completed || 3 tries, 2257275 fired transitions, 2405 secs || 2443616 markings, 3092818 edges, 1005 markings/sec, 2405 secs
lola: STP completed || 3 tries, 2262005 fired transitions, 2410 secs || 2448721 markings, 3099437 edges, 1021 markings/sec, 2410 secs
lola: STP completed || 3 tries, 2266735 fired transitions, 2415 secs || 2453823 markings, 3105988 edges, 1020 markings/sec, 2415 secs
lola: STP completed || 3 tries, 2271480 fired transitions, 2420 secs || 2458875 markings, 3112508 edges, 1010 markings/sec, 2420 secs
lola: STP completed || 3 tries, 2276196 fired transitions, 2425 secs || 2463933 markings, 3118772 edges, 1012 markings/sec, 2425 secs
lola: STP completed || 3 tries, 2280926 fired transitions, 2430 secs || 2468968 markings, 3125359 edges, 1007 markings/sec, 2430 secs
lola: STP completed || 3 tries, 2285663 fired transitions, 2435 secs || 2474001 markings, 3132300 edges, 1007 markings/sec, 2435 secs
lola: STP completed || 3 tries, 2290416 fired transitions, 2440 secs || 2478973 markings, 3139445 edges, 994 markings/sec, 2440 secs
lola: STP completed || 3 tries, 2295147 fired transitions, 2445 secs || 2484054 markings, 3145986 edges, 1016 markings/sec, 2445 secs
lola: STP completed || 3 tries, 2299913 fired transitions, 2450 secs || 2489143 markings, 3152479 edges, 1018 markings/sec, 2450 secs
lola: STP completed || 3 tries, 2304684 fired transitions, 2455 secs || 2494211 markings, 3159181 edges, 1014 markings/sec, 2455 secs
lola: STP completed || 3 tries, 2309365 fired transitions, 2460 secs || 2499272 markings, 3165600 edges, 1012 markings/sec, 2460 secs
lola: STP completed || 3 tries, 2314080 fired transitions, 2465 secs || 2504361 markings, 3172070 edges, 1018 markings/sec, 2465 secs
lola: STP completed || 3 tries, 2318760 fired transitions, 2470 secs || 2509442 markings, 3178590 edges, 1016 markings/sec, 2470 secs
lola: STP completed || 3 tries, 2323440 fired transitions, 2475 secs || 2514533 markings, 3185331 edges, 1018 markings/sec, 2475 secs
lola: STP completed || 3 tries, 2328135 fired transitions, 2480 secs || 2519631 markings, 3191817 edges, 1020 markings/sec, 2480 secs
lola: STP completed || 3 tries, 2332837 fired transitions, 2485 secs || 2524695 markings, 3198730 edges, 1013 markings/sec, 2485 secs
lola: STP completed || 3 tries, 2337539 fired transitions, 2490 secs || 2529741 markings, 3205241 edges, 1009 markings/sec, 2490 secs
lola: STP completed || 3 tries, 2342227 fired transitions, 2495 secs || 2534826 markings, 3211474 edges, 1017 markings/sec, 2495 secs
lola: STP completed || 3 tries, 2346921 fired transitions, 2500 secs || 2539923 markings, 3217823 edges, 1019 markings/sec, 2500 secs
lola: STP completed || 3 tries, 2351637 fired transitions, 2505 secs || 2545046 markings, 3225058 edges, 1025 markings/sec, 2505 secs
lola: STP completed || 3 tries, 2356288 fired transitions, 2510 secs || 2550157 markings, 3231608 edges, 1022 markings/sec, 2510 secs
lola: STP completed || 3 tries, 2361001 fired transitions, 2515 secs || 2555259 markings, 3237976 edges, 1020 markings/sec, 2515 secs
lola: STP completed || 3 tries, 2365672 fired transitions, 2520 secs || 2560360 markings, 3244398 edges, 1020 markings/sec, 2520 secs
lola: STP completed || 3 tries, 2370373 fired transitions, 2525 secs || 2565469 markings, 3250675 edges, 1022 markings/sec, 2525 secs
lola: STP completed || 3 tries, 2375006 fired transitions, 2530 secs || 2570595 markings, 3257469 edges, 1025 markings/sec, 2530 secs
lola: STP completed || 3 tries, 2379649 fired transitions, 2535 secs || 2575684 markings, 3264174 edges, 1018 markings/sec, 2535 secs
lola: STP completed || 3 tries, 2384332 fired transitions, 2540 secs || 2580773 markings, 3270833 edges, 1018 markings/sec, 2540 secs
lola: STP completed || 3 tries, 2389031 fired transitions, 2545 secs || 2585807 markings, 3277532 edges, 1007 markings/sec, 2545 secs
lola: STP completed || 3 tries, 2393770 fired transitions, 2550 secs || 2590921 markings, 3284324 edges, 1023 markings/sec, 2550 secs
lola: STP completed || 3 tries, 2398614 fired transitions, 2555 secs || 2596068 markings, 3291198 edges, 1029 markings/sec, 2555 secs
lola: STP completed || 3 tries, 2403468 fired transitions, 2560 secs || 2601231 markings, 3297749 edges, 1033 markings/sec, 2560 secs
lola: STP completed || 3 tries, 2408314 fired transitions, 2565 secs || 2606386 markings, 3304486 edges, 1031 markings/sec, 2565 secs
lola: STP completed || 3 tries, 2412959 fired transitions, 2570 secs || 2611457 markings, 3310990 edges, 1014 markings/sec, 2570 secs
lola: STP completed || 3 tries, 2417634 fired transitions, 2575 secs || 2616499 markings, 3317323 edges, 1008 markings/sec, 2575 secs
lola: STP completed || 3 tries, 2422348 fired transitions, 2580 secs || 2621584 markings, 3323848 edges, 1017 markings/sec, 2580 secs
lola: STP completed || 3 tries, 2427106 fired transitions, 2585 secs || 2626683 markings, 3330414 edges, 1020 markings/sec, 2585 secs
lola: STP completed || 3 tries, 2431891 fired transitions, 2590 secs || 2631758 markings, 3336878 edges, 1015 markings/sec, 2590 secs
lola: STP completed || 3 tries, 2436629 fired transitions, 2595 secs || 2636807 markings, 3343377 edges, 1010 markings/sec, 2595 secs
lola: STP completed || 3 tries, 2441245 fired transitions, 2600 secs || 2641823 markings, 3349490 edges, 1003 markings/sec, 2600 secs
lola: STP completed || 3 tries, 2445925 fired transitions, 2605 secs || 2646899 markings, 3355653 edges, 1015 markings/sec, 2605 secs
lola: STP completed || 3 tries, 2450679 fired transitions, 2610 secs || 2652001 markings, 3362070 edges, 1020 markings/sec, 2610 secs
lola: STP completed || 3 tries, 2455393 fired transitions, 2615 secs || 2657051 markings, 3368949 edges, 1010 markings/sec, 2615 secs
lola: STP completed || 3 tries, 2460148 fired transitions, 2620 secs || 2662102 markings, 3375530 edges, 1010 markings/sec, 2620 secs
lola: STP completed || 3 tries, 2464682 fired transitions, 2625 secs || 2667055 markings, 3381693 edges, 991 markings/sec, 2625 secs
lola: STP completed || 3 tries, 2469291 fired transitions, 2630 secs || 2672104 markings, 3387769 edges, 1010 markings/sec, 2630 secs
lola: STP completed || 3 tries, 2473926 fired transitions, 2635 secs || 2677134 markings, 3394430 edges, 1006 markings/sec, 2635 secs
lola: STP completed || 3 tries, 2478550 fired transitions, 2640 secs || 2682063 markings, 3401003 edges, 986 markings/sec, 2640 secs
lola: STP completed || 3 tries, 2483198 fired transitions, 2645 secs || 2687003 markings, 3407341 edges, 988 markings/sec, 2645 secs
lola: STP completed || 3 tries, 2487861 fired transitions, 2650 secs || 2691919 markings, 3413791 edges, 983 markings/sec, 2650 secs
lola: STP completed || 3 tries, 2492518 fired transitions, 2655 secs || 2696870 markings, 3420431 edges, 990 markings/sec, 2655 secs
lola: STP completed || 3 tries, 2497173 fired transitions, 2660 secs || 2701902 markings, 3426755 edges, 1006 markings/sec, 2660 secs
lola: STP completed || 3 tries, 2501898 fired transitions, 2665 secs || 2707024 markings, 3433544 edges, 1024 markings/sec, 2665 secs
lola: STP completed || 3 tries, 2506639 fired transitions, 2670 secs || 2712167 markings, 3440289 edges, 1029 markings/sec, 2670 secs
lola: STP completed || 3 tries, 2511460 fired transitions, 2675 secs || 2717365 markings, 3446872 edges, 1040 markings/sec, 2675 secs
lola: STP completed || 3 tries, 2516248 fired transitions, 2680 secs || 2722531 markings, 3453640 edges, 1033 markings/sec, 2680 secs
lola: STP completed || 3 tries, 2521041 fired transitions, 2685 secs || 2727668 markings, 3460256 edges, 1027 markings/sec, 2685 secs
lola: STP completed || 3 tries, 2525839 fired transitions, 2690 secs || 2732755 markings, 3466795 edges, 1017 markings/sec, 2690 secs
lola: STP completed || 3 tries, 2530658 fired transitions, 2695 secs || 2737860 markings, 3473376 edges, 1021 markings/sec, 2695 secs
lola: STP completed || 3 tries, 2535458 fired transitions, 2700 secs || 2742983 markings, 3479772 edges, 1025 markings/sec, 2700 secs
lola: STP completed || 3 tries, 2540275 fired transitions, 2705 secs || 2748081 markings, 3486376 edges, 1020 markings/sec, 2705 secs
lola: STP completed || 3 tries, 2545039 fired transitions, 2710 secs || 2753152 markings, 3493264 edges, 1014 markings/sec, 2710 secs
lola: STP completed || 3 tries, 2549765 fired transitions, 2715 secs || 2758264 markings, 3499795 edges, 1022 markings/sec, 2715 secs
lola: STP completed || 3 tries, 2554504 fired transitions, 2720 secs || 2763370 markings, 3506284 edges, 1021 markings/sec, 2720 secs
lola: STP completed || 3 tries, 2559329 fired transitions, 2725 secs || 2768516 markings, 3512926 edges, 1029 markings/sec, 2725 secs
lola: STP completed || 3 tries, 2564170 fired transitions, 2730 secs || 2773661 markings, 3519277 edges, 1029 markings/sec, 2730 secs
lola: STP completed || 3 tries, 2568987 fired transitions, 2735 secs || 2778820 markings, 3525894 edges, 1032 markings/sec, 2735 secs
lola: STP completed || 3 tries, 2573823 fired transitions, 2740 secs || 2783971 markings, 3532439 edges, 1030 markings/sec, 2740 secs
lola: STP completed || 3 tries, 2578691 fired transitions, 2745 secs || 2789148 markings, 3539325 edges, 1035 markings/sec, 2745 secs
lola: STP completed || 3 tries, 2583530 fired transitions, 2750 secs || 2794318 markings, 3545989 edges, 1034 markings/sec, 2750 secs
lola: STP completed || 3 tries, 2588393 fired transitions, 2755 secs || 2799474 markings, 3552720 edges, 1031 markings/sec, 2755 secs
lola: STP completed || 3 tries, 2593254 fired transitions, 2760 secs || 2804621 markings, 3559359 edges, 1029 markings/sec, 2760 secs
lola: STP completed || 3 tries, 2598073 fired transitions, 2765 secs || 2809763 markings, 3566077 edges, 1028 markings/sec, 2765 secs
lola: STP completed || 3 tries, 2602917 fired transitions, 2770 secs || 2814935 markings, 3572695 edges, 1034 markings/sec, 2770 secs
lola: STP completed || 3 tries, 2607773 fired transitions, 2775 secs || 2820116 markings, 3579339 edges, 1036 markings/sec, 2775 secs
lola: STP completed || 3 tries, 2612578 fired transitions, 2780 secs || 2825177 markings, 3585921 edges, 1012 markings/sec, 2780 secs
lola: STP completed || 3 tries, 2617394 fired transitions, 2785 secs || 2830180 markings, 3592531 edges, 1001 markings/sec, 2785 secs
lola: STP completed || 3 tries, 2622170 fired transitions, 2790 secs || 2835334 markings, 3599277 edges, 1031 markings/sec, 2790 secs
lola: STP completed || 3 tries, 2626997 fired transitions, 2795 secs || 2840415 markings, 3605902 edges, 1016 markings/sec, 2795 secs
lola: STP completed || 3 tries, 2631850 fired transitions, 2800 secs || 2845567 markings, 3612424 edges, 1030 markings/sec, 2800 secs
lola: STP completed || 3 tries, 2636710 fired transitions, 2805 secs || 2850617 markings, 3619046 edges, 1010 markings/sec, 2805 secs
lola: STP completed || 3 tries, 2641571 fired transitions, 2810 secs || 2855737 markings, 3625384 edges, 1024 markings/sec, 2810 secs
lola: STP completed || 3 tries, 2646456 fired transitions, 2815 secs || 2860843 markings, 3632003 edges, 1021 markings/sec, 2815 secs
lola: STP completed || 3 tries, 2651255 fired transitions, 2820 secs || 2866023 markings, 3638750 edges, 1036 markings/sec, 2820 secs
lola: STP completed || 3 tries, 2656083 fired transitions, 2825 secs || 2871176 markings, 3645264 edges, 1031 markings/sec, 2825 secs
lola: STP completed || 3 tries, 2660892 fired transitions, 2830 secs || 2876354 markings, 3651820 edges, 1036 markings/sec, 2830 secs
lola: STP completed || 3 tries, 2665704 fired transitions, 2835 secs || 2881530 markings, 3658617 edges, 1035 markings/sec, 2835 secs
lola: STP completed || 3 tries, 2670512 fired transitions, 2840 secs || 2886691 markings, 3666137 edges, 1032 markings/sec, 2840 secs
lola: STP completed || 3 tries, 2675323 fired transitions, 2845 secs || 2891897 markings, 3672790 edges, 1041 markings/sec, 2845 secs
lola: STP completed || 3 tries, 2680184 fired transitions, 2850 secs || 2897055 markings, 3679326 edges, 1032 markings/sec, 2850 secs
lola: STP completed || 3 tries, 2684990 fired transitions, 2855 secs || 2902239 markings, 3685975 edges, 1037 markings/sec, 2855 secs
lola: STP completed || 3 tries, 2689819 fired transitions, 2860 secs || 2907413 markings, 3692413 edges, 1035 markings/sec, 2860 secs
lola: STP completed || 3 tries, 2694631 fired transitions, 2865 secs || 2912608 markings, 3699071 edges, 1039 markings/sec, 2865 secs
lola: STP completed || 3 tries, 2699413 fired transitions, 2870 secs || 2917796 markings, 3705653 edges, 1038 markings/sec, 2870 secs
lola: STP completed || 3 tries, 2704228 fired transitions, 2875 secs || 2922993 markings, 3712569 edges, 1039 markings/sec, 2875 secs
lola: STP completed || 3 tries, 2708866 fired transitions, 2880 secs || 2928047 markings, 3719071 edges, 1011 markings/sec, 2880 secs
lola: STP completed || 3 tries, 2713614 fired transitions, 2885 secs || 2933088 markings, 3725681 edges, 1008 markings/sec, 2885 secs
lola: STP completed || 3 tries, 2718393 fired transitions, 2890 secs || 2938084 markings, 3731970 edges, 999 markings/sec, 2890 secs
lola: STP completed || 3 tries, 2723167 fired transitions, 2895 secs || 2943084 markings, 3738669 edges, 1000 markings/sec, 2895 secs
lola: STP completed || 3 tries, 2727906 fired transitions, 2900 secs || 2948086 markings, 3745006 edges, 1000 markings/sec, 2900 secs
lola: STP completed || 3 tries, 2732762 fired transitions, 2905 secs || 2953259 markings, 3751682 edges, 1035 markings/sec, 2905 secs
lola: STP completed || 3 tries, 2737499 fired transitions, 2910 secs || 2958492 markings, 3758829 edges, 1047 markings/sec, 2910 secs
lola: STP completed || 3 tries, 2742229 fired transitions, 2915 secs || 2963716 markings, 3765715 edges, 1045 markings/sec, 2915 secs
lola: STP completed || 3 tries, 2747071 fired transitions, 2920 secs || 2968916 markings, 3772518 edges, 1040 markings/sec, 2920 secs
lola: STP completed || 3 tries, 2751892 fired transitions, 2925 secs || 2974043 markings, 3779237 edges, 1025 markings/sec, 2925 secs
lola: STP completed || 3 tries, 2756724 fired transitions, 2930 secs || 2979208 markings, 3786054 edges, 1033 markings/sec, 2930 secs
lola: STP completed || 3 tries, 2761576 fired transitions, 2935 secs || 2984354 markings, 3793054 edges, 1029 markings/sec, 2935 secs
lola: STP completed || 3 tries, 2766394 fired transitions, 2940 secs || 2989539 markings, 3799589 edges, 1037 markings/sec, 2940 secs
lola: STP completed || 3 tries, 2771220 fired transitions, 2945 secs || 2994700 markings, 3806303 edges, 1032 markings/sec, 2945 secs
lola: STP completed || 3 tries, 2775937 fired transitions, 2950 secs || 2999827 markings, 3812809 edges, 1025 markings/sec, 2950 secs
lola: STP completed || 3 tries, 2780635 fired transitions, 2955 secs || 3004877 markings, 3819320 edges, 1010 markings/sec, 2955 secs
lola: STP completed || 3 tries, 2785387 fired transitions, 2960 secs || 3009930 markings, 3825715 edges, 1011 markings/sec, 2960 secs
lola: STP completed || 3 tries, 2790124 fired transitions, 2965 secs || 3014956 markings, 3833043 edges, 1005 markings/sec, 2965 secs
lola: STP completed || 3 tries, 2794855 fired transitions, 2970 secs || 3020024 markings, 3839931 edges, 1014 markings/sec, 2970 secs
lola: STP completed || 3 tries, 2799587 fired transitions, 2975 secs || 3025072 markings, 3846466 edges, 1010 markings/sec, 2975 secs
lola: STP completed || 3 tries, 2804313 fired transitions, 2980 secs || 3030175 markings, 3852640 edges, 1021 markings/sec, 2980 secs
lola: STP completed || 3 tries, 2809025 fired transitions, 2985 secs || 3035268 markings, 3858821 edges, 1019 markings/sec, 2985 secs
lola: STP completed || 3 tries, 2813778 fired transitions, 2990 secs || 3040278 markings, 3865249 edges, 1002 markings/sec, 2990 secs
lola: STP completed || 3 tries, 2818501 fired transitions, 2995 secs || 3045393 markings, 3871903 edges, 1023 markings/sec, 2995 secs
lola: STP completed || 3 tries, 2823229 fired transitions, 3000 secs || 3050464 markings, 3878479 edges, 1014 markings/sec, 3000 secs
lola: STP completed || 3 tries, 2827915 fired transitions, 3005 secs || 3055554 markings, 3884942 edges, 1018 markings/sec, 3005 secs
lola: STP completed || 3 tries, 2832644 fired transitions, 3010 secs || 3060648 markings, 3891420 edges, 1019 markings/sec, 3010 secs
lola: STP completed || 3 tries, 2837362 fired transitions, 3015 secs || 3065748 markings, 3897753 edges, 1020 markings/sec, 3015 secs
lola: STP completed || 3 tries, 2842090 fired transitions, 3020 secs || 3070848 markings, 3904152 edges, 1020 markings/sec, 3020 secs
lola: STP completed || 3 tries, 2846833 fired transitions, 3025 secs || 3075934 markings, 3910567 edges, 1017 markings/sec, 3025 secs
lola: STP completed || 3 tries, 2851548 fired transitions, 3030 secs || 3081018 markings, 3917188 edges, 1017 markings/sec, 3030 secs
lola: STP completed || 3 tries, 2856296 fired transitions, 3035 secs || 3086110 markings, 3923732 edges, 1018 markings/sec, 3035 secs
lola: STP completed || 3 tries, 2860999 fired transitions, 3040 secs || 3091221 markings, 3930214 edges, 1022 markings/sec, 3040 secs
lola: STP completed || 3 tries, 2865737 fired transitions, 3045 secs || 3096334 markings, 3936711 edges, 1023 markings/sec, 3045 secs
lola: STP completed || 3 tries, 2870503 fired transitions, 3050 secs || 3101450 markings, 3943319 edges, 1023 markings/sec, 3050 secs
lola: STP completed || 3 tries, 2875253 fired transitions, 3055 secs || 3106544 markings, 3949960 edges, 1019 markings/sec, 3055 secs
lola: STP completed || 3 tries, 2879988 fired transitions, 3060 secs || 3111595 markings, 3956465 edges, 1010 markings/sec, 3060 secs
lola: STP completed || 3 tries, 2884693 fired transitions, 3065 secs || 3116635 markings, 3963096 edges, 1008 markings/sec, 3065 secs
lola: STP completed || 3 tries, 2889433 fired transitions, 3070 secs || 3121679 markings, 3969835 edges, 1009 markings/sec, 3070 secs
lola: STP completed || 3 tries, 2894193 fired transitions, 3075 secs || 3126733 markings, 3976477 edges, 1011 markings/sec, 3075 secs
lola: STP completed || 3 tries, 2898925 fired transitions, 3080 secs || 3131781 markings, 3982912 edges, 1010 markings/sec, 3080 secs
lola: STP completed || 3 tries, 2903678 fired transitions, 3085 secs || 3136822 markings, 3989485 edges, 1008 markings/sec, 3085 secs
lola: STP completed || 3 tries, 2908395 fired transitions, 3090 secs || 3141877 markings, 3996342 edges, 1011 markings/sec, 3090 secs
lola: STP completed || 3 tries, 2913122 fired transitions, 3095 secs || 3146946 markings, 4002724 edges, 1014 markings/sec, 3095 secs
lola: STP completed || 3 tries, 2917837 fired transitions, 3100 secs || 3151998 markings, 4009283 edges, 1010 markings/sec, 3100 secs
lola: STP completed || 3 tries, 2922574 fired transitions, 3105 secs || 3157070 markings, 4015865 edges, 1014 markings/sec, 3105 secs
lola: STP completed || 3 tries, 2927344 fired transitions, 3110 secs || 3162253 markings, 4022445 edges, 1037 markings/sec, 3110 secs
lola: STP completed || 3 tries, 2932173 fired transitions, 3115 secs || 3167457 markings, 4029111 edges, 1041 markings/sec, 3115 secs
lola: STP completed || 3 tries, 2936948 fired transitions, 3120 secs || 3172545 markings, 4035600 edges, 1018 markings/sec, 3120 secs
lola: STP completed || 3 tries, 2941715 fired transitions, 3125 secs || 3177633 markings, 4042397 edges, 1018 markings/sec, 3125 secs
lola: STP completed || 3 tries, 2946480 fired transitions, 3130 secs || 3182731 markings, 4048799 edges, 1020 markings/sec, 3130 secs
lola: STP completed || 3 tries, 2951282 fired transitions, 3135 secs || 3187908 markings, 4055169 edges, 1035 markings/sec, 3135 secs
lola: STP completed || 3 tries, 2956090 fired transitions, 3140 secs || 3193136 markings, 4061607 edges, 1046 markings/sec, 3140 secs
lola: STP completed || 3 tries, 2960880 fired transitions, 3145 secs || 3198342 markings, 4068236 edges, 1041 markings/sec, 3145 secs
lola: STP completed || 3 tries, 2965693 fired transitions, 3150 secs || 3203530 markings, 4074829 edges, 1038 markings/sec, 3150 secs
lola: STP completed || 3 tries, 2970419 fired transitions, 3155 secs || 3208701 markings, 4081351 edges, 1034 markings/sec, 3155 secs
lola: STP completed || 3 tries, 2975085 fired transitions, 3160 secs || 3213820 markings, 4087837 edges, 1024 markings/sec, 3160 secs
lola: STP completed || 3 tries, 2979766 fired transitions, 3165 secs || 3218920 markings, 4094318 edges, 1020 markings/sec, 3165 secs
lola: STP completed || 3 tries, 2984455 fired transitions, 3170 secs || 3223925 markings, 4100869 edges, 1001 markings/sec, 3170 secs
lola: STP completed || 3 tries, 2989121 fired transitions, 3175 secs || 3229022 markings, 4107454 edges, 1019 markings/sec, 3175 secs
lola: STP completed || 3 tries, 2993842 fired transitions, 3180 secs || 3234117 markings, 4114094 edges, 1019 markings/sec, 3180 secs
lola: STP completed || 3 tries, 2998544 fired transitions, 3185 secs || 3239196 markings, 4120695 edges, 1016 markings/sec, 3185 secs
lola: STP completed || 4 tries, 3003221 fired transitions, 3190 secs || 3244257 markings, 4127343 edges, 1012 markings/sec, 3190 secs
lola: STP completed || 4 tries, 3007922 fired transitions, 3195 secs || 3249309 markings, 4133706 edges, 1010 markings/sec, 3195 secs
lola: STP completed || 4 tries, 3012647 fired transitions, 3200 secs || 3254345 markings, 4140267 edges, 1007 markings/sec, 3200 secs
lola: STP completed || 4 tries, 3017350 fired transitions, 3205 secs || 3259409 markings, 4146828 edges, 1013 markings/sec, 3205 secs
lola: STP completed || 4 tries, 3022048 fired transitions, 3210 secs || 3264457 markings, 4153354 edges, 1010 markings/sec, 3210 secs
lola: STP completed || 4 tries, 3026748 fired transitions, 3215 secs || 3269545 markings, 4159830 edges, 1018 markings/sec, 3215 secs
lola: STP completed || 4 tries, 3031437 fired transitions, 3220 secs || 3274603 markings, 4166537 edges, 1012 markings/sec, 3220 secs
lola: STP completed || 4 tries, 3036136 fired transitions, 3225 secs || 3279623 markings, 4173279 edges, 1004 markings/sec, 3225 secs
lola: STP completed || 4 tries, 3040853 fired transitions, 3230 secs || 3284669 markings, 4179706 edges, 1009 markings/sec, 3230 secs
lola: STP completed || 4 tries, 3045563 fired transitions, 3235 secs || 3289747 markings, 4186266 edges, 1016 markings/sec, 3235 secs
lola: STP completed || 4 tries, 3050239 fired transitions, 3240 secs || 3294821 markings, 4192693 edges, 1015 markings/sec, 3240 secs
lola: STP completed || 4 tries, 3054952 fired transitions, 3245 secs || 3299894 markings, 4199086 edges, 1015 markings/sec, 3245 secs
lola: STP completed || 4 tries, 3059677 fired transitions, 3250 secs || 3304970 markings, 4205620 edges, 1015 markings/sec, 3250 secs
lola: STP completed || 4 tries, 3064444 fired transitions, 3255 secs || 3310088 markings, 4212332 edges, 1024 markings/sec, 3255 secs
lola: STP completed || 4 tries, 3069197 fired transitions, 3260 secs || 3315228 markings, 4218789 edges, 1028 markings/sec, 3260 secs
lola: STP completed || 4 tries, 3074022 fired transitions, 3265 secs || 3320389 markings, 4225498 edges, 1032 markings/sec, 3265 secs
lola: STP completed || 4 tries, 3078768 fired transitions, 3270 secs || 3325565 markings, 4232235 edges, 1035 markings/sec, 3270 secs
lola: STP completed || 4 tries, 3083445 fired transitions, 3275 secs || 3330604 markings, 4239491 edges, 1008 markings/sec, 3275 secs
lola: STP completed || 4 tries, 3088114 fired transitions, 3280 secs || 3335677 markings, 4245919 edges, 1015 markings/sec, 3280 secs
lola: STP completed || 4 tries, 3092798 fired transitions, 3285 secs || 3340736 markings, 4252409 edges, 1012 markings/sec, 3285 secs
lola: STP completed || 4 tries, 3097506 fired transitions, 3290 secs || 3345786 markings, 4258783 edges, 1010 markings/sec, 3290 secs
lola: STP completed || 4 tries, 3102218 fired transitions, 3295 secs || 3350894 markings, 4265313 edges, 1022 markings/sec, 3295 secs
lola: STP completed || 4 tries, 3106949 fired transitions, 3300 secs || 3356021 markings, 4271893 edges, 1025 markings/sec, 3300 secs
lola: STP completed || 4 tries, 3111654 fired transitions, 3305 secs || 3361091 markings, 4278346 edges, 1014 markings/sec, 3305 secs
lola: STP completed || 4 tries, 3116371 fired transitions, 3310 secs || 3366186 markings, 4284826 edges, 1019 markings/sec, 3310 secs
lola: STP completed || 4 tries, 3121179 fired transitions, 3315 secs || 3371378 markings, 4291691 edges, 1038 markings/sec, 3315 secs
lola: STP completed || 4 tries, 3124758 fired transitions, 3320 secs || 3373848 markings, 4294844 edges, 494 markings/sec, 3320 secs
lola: STP completed || 4 tries, 3127646 fired transitions, 3325 secs || 3375364 markings, 4296844 edges, 303 markings/sec, 3325 secs
lola: STP completed || 4 tries, 3129523 fired transitions, 3330 secs || 3375497 markings, 4297002 edges, 27 markings/sec, 3330 secs
lola: STP completed || 4 tries, 3130247 fired transitions, 3335 secs || 3375520 markings, 4297027 edges, 5 markings/sec, 3335 secs
lola: STP completed || 4 tries, 3130734 fired transitions, 3340 secs || 3375533 markings, 4297043 edges, 3 markings/sec, 3340 secs
lola: STP completed || 4 tries, 3130793 fired transitions, 3345 secs || 3375540 markings, 4297051 edges, 1 markings/sec, 3345 secs
lola: STP completed || 4 tries, 3131006 fired transitions, 3350 secs || 3375550 markings, 4297064 edges, 2 markings/sec, 3350 secs
lola: STP completed || 4 tries, 3131525 fired transitions, 3355 secs || 3375561 markings, 4297076 edges, 2 markings/sec, 3355 secs
lola: STP completed || 4 tries, 3131765 fired transitions, 3360 secs || 3375576 markings, 4297094 edges, 3 markings/sec, 3360 secs
lola: STP completed || 4 tries, 3132139 fired transitions, 3365 secs || 3375590 markings, 4297110 edges, 3 markings/sec, 3365 secs
Killed
FORMULA BART-PT-030-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 -----
----- Kill lola and sara stderr -----
----- 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="BART-PT-030"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="mcc4mcc-full"
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/BART-PT-030.tgz
mv BART-PT-030 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 mcc4mcc-full"
echo " Input is BART-PT-030, 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 r034-ebro-152646312100090"
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 ;