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-structural
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 r035-ebro-152646315000090
=====================================================================

--------------------
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 1527074988235


BK_STOP 1527078376613

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

Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using BART-PT-030 as instance name.
Using BART as model name.
Using algorithm or tool decision-tree.
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...
----- Start make prepare stderr -----

Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
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
make: [verify] Error 137 (ignored)
----- Start make result stderr -----
----- Kill lola and sara stderr -----
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: STP: formula with 124652 variables and 721264 clauses shipped to Minisat
lola: computed 438 generators (57 in search tree, 381 by composition)
lola: representing 2.12202E+33 symmetries
lola: 0 dead branches visited in search tree
lola: STP running || 1 tries, 2456 fired transitions, 0 secs || 2991 markings, 3852 edges, 598 markings/sec, 0 secs
lola: STP running || 1 tries, 5339 fired transitions, 5 secs || 5815 markings, 7448 edges, 565 markings/sec, 5 secs
lola: stp: The siphon/trap property is inconclusive since the generated formula is too short
lola: STP completed || 1 tries, 8274 fired transitions, 10 secs || 11031 markings, 14009 edges, 1043 markings/sec, 10 secs
lola: STP completed || 1 tries, 12970 fired transitions, 15 secs || 16094 markings, 20400 edges, 1013 markings/sec, 15 secs
lola: STP completed || 1 tries, 17728 fired transitions, 20 secs || 21297 markings, 26983 edges, 1041 markings/sec, 20 secs
lola: STP completed || 1 tries, 22427 fired transitions, 25 secs || 26462 markings, 33370 edges, 1033 markings/sec, 25 secs
lola: STP completed || 1 tries, 27156 fired transitions, 30 secs || 31499 markings, 39816 edges, 1007 markings/sec, 30 secs
lola: STP completed || 1 tries, 31879 fired transitions, 35 secs || 36524 markings, 46229 edges, 1005 markings/sec, 35 secs
lola: STP completed || 1 tries, 36622 fired transitions, 40 secs || 41513 markings, 52432 edges, 998 markings/sec, 40 secs
lola: STP completed || 1 tries, 41329 fired transitions, 45 secs || 46524 markings, 58939 edges, 1002 markings/sec, 45 secs
lola: STP completed || 1 tries, 46064 fired transitions, 50 secs || 51558 markings, 65458 edges, 1007 markings/sec, 50 secs
lola: STP completed || 1 tries, 50748 fired transitions, 55 secs || 56552 markings, 71795 edges, 999 markings/sec, 55 secs
lola: STP completed || 1 tries, 55477 fired transitions, 60 secs || 61529 markings, 78125 edges, 995 markings/sec, 60 secs
lola: STP completed || 1 tries, 60204 fired transitions, 65 secs || 66433 markings, 85217 edges, 981 markings/sec, 65 secs
lola: STP completed || 1 tries, 65008 fired transitions, 70 secs || 71461 markings, 91557 edges, 1006 markings/sec, 70 secs
lola: STP completed || 1 tries, 69729 fired transitions, 75 secs || 76494 markings, 97902 edges, 1007 markings/sec, 75 secs
lola: STP completed || 1 tries, 74440 fired transitions, 80 secs || 81550 markings, 104311 edges, 1011 markings/sec, 80 secs
lola: STP completed || 1 tries, 79174 fired transitions, 85 secs || 86640 markings, 110611 edges, 1018 markings/sec, 85 secs
lola: STP completed || 1 tries, 84078 fired transitions, 90 secs || 91800 markings, 117190 edges, 1032 markings/sec, 90 secs
lola: STP completed || 1 tries, 88784 fired transitions, 95 secs || 96834 markings, 123171 edges, 1007 markings/sec, 95 secs
lola: STP completed || 1 tries, 93432 fired transitions, 100 secs || 101937 markings, 129221 edges, 1021 markings/sec, 100 secs
lola: STP completed || 1 tries, 98146 fired transitions, 105 secs || 106999 markings, 135681 edges, 1012 markings/sec, 105 secs
lola: STP completed || 1 tries, 102901 fired transitions, 110 secs || 112062 markings, 142033 edges, 1013 markings/sec, 110 secs
lola: STP completed || 1 tries, 107610 fired transitions, 115 secs || 117115 markings, 148373 edges, 1011 markings/sec, 115 secs
lola: STP completed || 1 tries, 112512 fired transitions, 120 secs || 122289 markings, 154990 edges, 1035 markings/sec, 120 secs
lola: STP completed || 1 tries, 117466 fired transitions, 125 secs || 127409 markings, 161521 edges, 1024 markings/sec, 125 secs
lola: STP completed || 1 tries, 122329 fired transitions, 130 secs || 132414 markings, 167676 edges, 1001 markings/sec, 130 secs
lola: STP completed || 1 tries, 126875 fired transitions, 135 secs || 137251 markings, 173955 edges, 967 markings/sec, 135 secs
lola: STP completed || 1 tries, 131568 fired transitions, 140 secs || 142266 markings, 180319 edges, 1003 markings/sec, 140 secs
lola: STP completed || 1 tries, 136256 fired transitions, 145 secs || 147385 markings, 186588 edges, 1024 markings/sec, 145 secs
lola: STP completed || 1 tries, 140956 fired transitions, 150 secs || 152596 markings, 193231 edges, 1042 markings/sec, 150 secs
lola: STP completed || 1 tries, 145605 fired transitions, 155 secs || 157701 markings, 199535 edges, 1021 markings/sec, 155 secs
lola: STP completed || 1 tries, 150305 fired transitions, 160 secs || 162931 markings, 205968 edges, 1046 markings/sec, 160 secs
lola: STP completed || 1 tries, 155235 fired transitions, 165 secs || 168220 markings, 213459 edges, 1058 markings/sec, 165 secs
lola: STP completed || 1 tries, 160167 fired transitions, 170 secs || 173613 markings, 220377 edges, 1079 markings/sec, 170 secs
lola: STP completed || 1 tries, 164800 fired transitions, 175 secs || 178834 markings, 227310 edges, 1044 markings/sec, 175 secs
lola: STP completed || 1 tries, 169537 fired transitions, 180 secs || 183912 markings, 233799 edges, 1016 markings/sec, 180 secs
lola: STP completed || 1 tries, 174411 fired transitions, 185 secs || 189183 markings, 240559 edges, 1054 markings/sec, 185 secs
lola: STP completed || 1 tries, 179065 fired transitions, 190 secs || 194312 markings, 246988 edges, 1026 markings/sec, 190 secs
lola: STP completed || 1 tries, 183853 fired transitions, 195 secs || 199632 markings, 253702 edges, 1064 markings/sec, 195 secs
lola: STP completed || 1 tries, 188694 fired transitions, 200 secs || 204967 markings, 260466 edges, 1067 markings/sec, 200 secs
lola: STP completed || 1 tries, 193655 fired transitions, 205 secs || 210295 markings, 267283 edges, 1066 markings/sec, 205 secs
lola: STP completed || 1 tries, 198459 fired transitions, 210 secs || 215571 markings, 273892 edges, 1055 markings/sec, 210 secs
lola: STP completed || 1 tries, 203334 fired transitions, 215 secs || 220857 markings, 280772 edges, 1057 markings/sec, 215 secs
lola: STP completed || 1 tries, 208320 fired transitions, 220 secs || 226193 markings, 287759 edges, 1067 markings/sec, 220 secs
lola: STP completed || 1 tries, 213269 fired transitions, 225 secs || 231511 markings, 294459 edges, 1064 markings/sec, 225 secs
lola: STP completed || 1 tries, 218232 fired transitions, 230 secs || 236817 markings, 301349 edges, 1061 markings/sec, 230 secs
lola: STP completed || 1 tries, 223175 fired transitions, 235 secs || 242123 markings, 308087 edges, 1061 markings/sec, 235 secs
lola: STP completed || 1 tries, 228115 fired transitions, 240 secs || 247403 markings, 315020 edges, 1056 markings/sec, 240 secs
lola: STP completed || 1 tries, 233044 fired transitions, 245 secs || 252683 markings, 321699 edges, 1056 markings/sec, 245 secs
lola: STP completed || 1 tries, 237900 fired transitions, 250 secs || 257963 markings, 328419 edges, 1056 markings/sec, 250 secs
lola: STP completed || 1 tries, 242849 fired transitions, 255 secs || 263281 markings, 335132 edges, 1064 markings/sec, 255 secs
lola: STP completed || 1 tries, 247785 fired transitions, 260 secs || 268598 markings, 341932 edges, 1063 markings/sec, 260 secs
lola: STP completed || 1 tries, 252718 fired transitions, 265 secs || 273920 markings, 348456 edges, 1064 markings/sec, 265 secs
lola: STP completed || 1 tries, 257646 fired transitions, 270 secs || 279244 markings, 354762 edges, 1065 markings/sec, 270 secs
lola: STP completed || 1 tries, 262584 fired transitions, 275 secs || 284516 markings, 361279 edges, 1054 markings/sec, 275 secs
lola: STP completed || 1 tries, 267516 fired transitions, 280 secs || 289804 markings, 367947 edges, 1058 markings/sec, 280 secs
lola: STP completed || 1 tries, 272471 fired transitions, 285 secs || 295106 markings, 374809 edges, 1060 markings/sec, 285 secs
lola: STP completed || 1 tries, 277425 fired transitions, 290 secs || 300452 markings, 381503 edges, 1069 markings/sec, 290 secs
lola: STP completed || 1 tries, 282384 fired transitions, 295 secs || 305791 markings, 388284 edges, 1068 markings/sec, 295 secs
lola: STP completed || 1 tries, 287239 fired transitions, 300 secs || 310857 markings, 394640 edges, 1013 markings/sec, 300 secs
lola: STP completed || 1 tries, 292190 fired transitions, 305 secs || 316217 markings, 400971 edges, 1072 markings/sec, 305 secs
lola: STP completed || 1 tries, 297153 fired transitions, 310 secs || 321534 markings, 407748 edges, 1063 markings/sec, 310 secs
lola: STP completed || 1 tries, 302112 fired transitions, 315 secs || 326830 markings, 414377 edges, 1059 markings/sec, 315 secs
lola: STP completed || 1 tries, 307062 fired transitions, 320 secs || 332156 markings, 421037 edges, 1065 markings/sec, 320 secs
lola: STP completed || 1 tries, 312006 fired transitions, 325 secs || 337501 markings, 427831 edges, 1069 markings/sec, 325 secs
lola: STP completed || 1 tries, 316980 fired transitions, 330 secs || 342853 markings, 434658 edges, 1070 markings/sec, 330 secs
lola: STP completed || 1 tries, 321919 fired transitions, 335 secs || 348198 markings, 441560 edges, 1069 markings/sec, 335 secs
lola: STP completed || 1 tries, 326879 fired transitions, 340 secs || 353559 markings, 448341 edges, 1072 markings/sec, 340 secs
lola: STP completed || 1 tries, 331723 fired transitions, 345 secs || 358682 markings, 454869 edges, 1025 markings/sec, 345 secs
lola: STP completed || 1 tries, 336433 fired transitions, 350 secs || 363771 markings, 461292 edges, 1018 markings/sec, 350 secs
lola: STP completed || 1 tries, 341155 fired transitions, 355 secs || 368789 markings, 467679 edges, 1004 markings/sec, 355 secs
lola: STP completed || 1 tries, 345827 fired transitions, 360 secs || 373798 markings, 474089 edges, 1002 markings/sec, 360 secs
lola: STP completed || 1 tries, 350707 fired transitions, 365 secs || 378992 markings, 480707 edges, 1039 markings/sec, 365 secs
lola: STP completed || 1 tries, 355675 fired transitions, 370 secs || 384294 markings, 487349 edges, 1060 markings/sec, 370 secs
lola: STP completed || 1 tries, 360562 fired transitions, 375 secs || 389576 markings, 494071 edges, 1056 markings/sec, 375 secs
lola: STP completed || 1 tries, 365428 fired transitions, 380 secs || 394710 markings, 500629 edges, 1027 markings/sec, 380 secs
lola: STP completed || 1 tries, 370145 fired transitions, 385 secs || 399727 markings, 506993 edges, 1003 markings/sec, 385 secs
lola: STP completed || 1 tries, 374882 fired transitions, 390 secs || 404736 markings, 513358 edges, 1002 markings/sec, 390 secs
lola: STP completed || 1 tries, 379597 fired transitions, 395 secs || 409741 markings, 519992 edges, 1001 markings/sec, 395 secs
lola: STP completed || 1 tries, 384320 fired transitions, 400 secs || 414804 markings, 526129 edges, 1013 markings/sec, 400 secs
lola: STP completed || 1 tries, 389029 fired transitions, 405 secs || 419809 markings, 532281 edges, 1001 markings/sec, 405 secs
lola: STP completed || 1 tries, 393757 fired transitions, 410 secs || 424850 markings, 538693 edges, 1008 markings/sec, 410 secs
lola: STP completed || 1 tries, 398410 fired transitions, 415 secs || 429890 markings, 545199 edges, 1008 markings/sec, 415 secs
lola: STP completed || 1 tries, 403333 fired transitions, 420 secs || 435087 markings, 551564 edges, 1039 markings/sec, 420 secs
lola: STP completed || 1 tries, 408290 fired transitions, 425 secs || 440398 markings, 558326 edges, 1062 markings/sec, 425 secs
lola: STP completed || 1 tries, 413247 fired transitions, 430 secs || 445671 markings, 565427 edges, 1055 markings/sec, 430 secs
lola: STP completed || 1 tries, 418050 fired transitions, 435 secs || 450789 markings, 571664 edges, 1024 markings/sec, 435 secs
lola: STP completed || 1 tries, 422598 fired transitions, 440 secs || 455752 markings, 577820 edges, 993 markings/sec, 440 secs
lola: STP completed || 1 tries, 427301 fired transitions, 445 secs || 460778 markings, 584600 edges, 1005 markings/sec, 445 secs
lola: STP completed || 1 tries, 432024 fired transitions, 450 secs || 465856 markings, 591036 edges, 1016 markings/sec, 450 secs
lola: STP completed || 1 tries, 436688 fired transitions, 455 secs || 470881 markings, 597453 edges, 1005 markings/sec, 455 secs
lola: STP completed || 1 tries, 441402 fired transitions, 460 secs || 476002 markings, 603874 edges, 1024 markings/sec, 460 secs
lola: STP completed || 1 tries, 445913 fired transitions, 465 secs || 480957 markings, 610108 edges, 991 markings/sec, 465 secs
lola: STP completed || 1 tries, 450505 fired transitions, 470 secs || 485865 markings, 616213 edges, 982 markings/sec, 470 secs
lola: STP completed || 1 tries, 455213 fired transitions, 475 secs || 490803 markings, 622503 edges, 988 markings/sec, 475 secs
lola: STP completed || 1 tries, 459889 fired transitions, 480 secs || 495817 markings, 628800 edges, 1003 markings/sec, 480 secs
lola: STP completed || 1 tries, 464582 fired transitions, 485 secs || 500899 markings, 635172 edges, 1016 markings/sec, 485 secs
lola: STP completed || 1 tries, 469313 fired transitions, 490 secs || 505984 markings, 641723 edges, 1017 markings/sec, 490 secs
lola: STP completed || 1 tries, 474108 fired transitions, 495 secs || 511212 markings, 648230 edges, 1046 markings/sec, 495 secs
lola: STP completed || 1 tries, 478749 fired transitions, 500 secs || 516359 markings, 654467 edges, 1029 markings/sec, 500 secs
lola: STP completed || 1 tries, 483375 fired transitions, 505 secs || 521493 markings, 661093 edges, 1027 markings/sec, 505 secs
lola: STP completed || 1 tries, 487943 fired transitions, 510 secs || 526505 markings, 667456 edges, 1002 markings/sec, 510 secs
lola: STP completed || 1 tries, 492588 fired transitions, 515 secs || 531596 markings, 673838 edges, 1018 markings/sec, 515 secs
lola: STP completed || 1 tries, 497213 fired transitions, 520 secs || 536735 markings, 680284 edges, 1028 markings/sec, 520 secs
lola: STP completed || 1 tries, 501827 fired transitions, 525 secs || 541875 markings, 686728 edges, 1028 markings/sec, 525 secs
lola: STP completed || 1 tries, 506473 fired transitions, 530 secs || 547011 markings, 693275 edges, 1027 markings/sec, 530 secs
lola: STP completed || 1 tries, 511085 fired transitions, 535 secs || 552098 markings, 699614 edges, 1017 markings/sec, 535 secs
lola: STP completed || 1 tries, 515721 fired transitions, 540 secs || 557117 markings, 706021 edges, 1004 markings/sec, 540 secs
lola: STP completed || 1 tries, 520374 fired transitions, 545 secs || 562203 markings, 712611 edges, 1017 markings/sec, 545 secs
lola: STP completed || 1 tries, 525019 fired transitions, 550 secs || 567259 markings, 719145 edges, 1011 markings/sec, 550 secs
lola: STP completed || 1 tries, 529606 fired transitions, 555 secs || 572168 markings, 725377 edges, 982 markings/sec, 555 secs
lola: STP completed || 1 tries, 534305 fired transitions, 560 secs || 577223 markings, 731818 edges, 1011 markings/sec, 560 secs
lola: STP completed || 1 tries, 538999 fired transitions, 565 secs || 582276 markings, 738306 edges, 1011 markings/sec, 565 secs
lola: STP completed || 1 tries, 543707 fired transitions, 570 secs || 587315 markings, 744518 edges, 1008 markings/sec, 570 secs
lola: STP completed || 1 tries, 548427 fired transitions, 575 secs || 592349 markings, 750885 edges, 1007 markings/sec, 575 secs
lola: STP completed || 1 tries, 553133 fired transitions, 580 secs || 597351 markings, 757269 edges, 1000 markings/sec, 580 secs
lola: STP completed || 1 tries, 557884 fired transitions, 585 secs || 602327 markings, 763582 edges, 995 markings/sec, 585 secs
lola: STP completed || 1 tries, 562605 fired transitions, 590 secs || 607380 markings, 769972 edges, 1011 markings/sec, 590 secs
lola: STP completed || 1 tries, 567314 fired transitions, 595 secs || 612449 markings, 776330 edges, 1014 markings/sec, 595 secs
lola: STP completed || 1 tries, 572043 fired transitions, 600 secs || 617425 markings, 782445 edges, 995 markings/sec, 600 secs
lola: STP completed || 1 tries, 576756 fired transitions, 605 secs || 622491 markings, 788445 edges, 1013 markings/sec, 605 secs
lola: STP completed || 1 tries, 581451 fired transitions, 610 secs || 627550 markings, 794963 edges, 1012 markings/sec, 610 secs
lola: STP completed || 1 tries, 586186 fired transitions, 615 secs || 632592 markings, 801316 edges, 1008 markings/sec, 615 secs
lola: STP completed || 1 tries, 590934 fired transitions, 620 secs || 637674 markings, 807688 edges, 1016 markings/sec, 620 secs
lola: STP completed || 1 tries, 595646 fired transitions, 625 secs || 642765 markings, 814077 edges, 1018 markings/sec, 625 secs
lola: STP completed || 1 tries, 600385 fired transitions, 630 secs || 647829 markings, 820566 edges, 1013 markings/sec, 630 secs
lola: STP completed || 1 tries, 605111 fired transitions, 635 secs || 652891 markings, 826830 edges, 1012 markings/sec, 635 secs
lola: STP completed || 1 tries, 609841 fired transitions, 640 secs || 657959 markings, 833299 edges, 1014 markings/sec, 640 secs
lola: STP completed || 1 tries, 614578 fired transitions, 645 secs || 663018 markings, 839643 edges, 1012 markings/sec, 645 secs
lola: STP completed || 1 tries, 619281 fired transitions, 650 secs || 668079 markings, 845996 edges, 1012 markings/sec, 650 secs
lola: STP completed || 1 tries, 623988 fired transitions, 655 secs || 673167 markings, 852386 edges, 1018 markings/sec, 655 secs
lola: STP completed || 1 tries, 628719 fired transitions, 660 secs || 678273 markings, 858892 edges, 1021 markings/sec, 660 secs
lola: STP completed || 1 tries, 633445 fired transitions, 665 secs || 683322 markings, 865359 edges, 1010 markings/sec, 665 secs
lola: STP completed || 1 tries, 638152 fired transitions, 670 secs || 688390 markings, 871751 edges, 1014 markings/sec, 670 secs
lola: STP completed || 1 tries, 642867 fired transitions, 675 secs || 693536 markings, 878312 edges, 1029 markings/sec, 675 secs
lola: STP completed || 1 tries, 647609 fired transitions, 680 secs || 698592 markings, 884699 edges, 1011 markings/sec, 680 secs
lola: STP completed || 1 tries, 652349 fired transitions, 685 secs || 703660 markings, 891216 edges, 1014 markings/sec, 685 secs
lola: STP completed || 1 tries, 657088 fired transitions, 690 secs || 708741 markings, 897662 edges, 1016 markings/sec, 690 secs
lola: STP completed || 1 tries, 661892 fired transitions, 695 secs || 713827 markings, 904042 edges, 1017 markings/sec, 695 secs
lola: STP completed || 1 tries, 666745 fired transitions, 700 secs || 719052 markings, 910695 edges, 1045 markings/sec, 700 secs
lola: STP completed || 1 tries, 671621 fired transitions, 705 secs || 724241 markings, 916984 edges, 1038 markings/sec, 705 secs
lola: STP completed || 1 tries, 676489 fired transitions, 710 secs || 729385 markings, 923669 edges, 1029 markings/sec, 710 secs
lola: STP completed || 1 tries, 681226 fired transitions, 715 secs || 734384 markings, 930119 edges, 1000 markings/sec, 715 secs
lola: STP completed || 1 tries, 685931 fired transitions, 720 secs || 739438 markings, 936644 edges, 1011 markings/sec, 720 secs
lola: STP completed || 1 tries, 690666 fired transitions, 725 secs || 744447 markings, 943012 edges, 1002 markings/sec, 725 secs
lola: STP completed || 1 tries, 695395 fired transitions, 730 secs || 749485 markings, 949300 edges, 1008 markings/sec, 730 secs
lola: STP completed || 1 tries, 700127 fired transitions, 735 secs || 754533 markings, 955973 edges, 1010 markings/sec, 735 secs
lola: STP completed || 1 tries, 704864 fired transitions, 740 secs || 759570 markings, 962191 edges, 1007 markings/sec, 740 secs
lola: STP completed || 1 tries, 709603 fired transitions, 745 secs || 764604 markings, 968506 edges, 1007 markings/sec, 745 secs
lola: STP completed || 1 tries, 714336 fired transitions, 750 secs || 769639 markings, 974828 edges, 1007 markings/sec, 750 secs
lola: STP completed || 1 tries, 719064 fired transitions, 755 secs || 774614 markings, 981076 edges, 995 markings/sec, 755 secs
lola: STP completed || 1 tries, 723790 fired transitions, 760 secs || 779688 markings, 987554 edges, 1015 markings/sec, 760 secs
lola: STP completed || 1 tries, 728515 fired transitions, 765 secs || 784761 markings, 993932 edges, 1015 markings/sec, 765 secs
lola: STP completed || 1 tries, 733218 fired transitions, 770 secs || 789820 markings, 1000274 edges, 1012 markings/sec, 770 secs
lola: STP completed || 1 tries, 737911 fired transitions, 775 secs || 794934 markings, 1006340 edges, 1023 markings/sec, 775 secs
lola: STP completed || 1 tries, 742663 fired transitions, 780 secs || 799985 markings, 1012847 edges, 1010 markings/sec, 780 secs
lola: STP completed || 1 tries, 747394 fired transitions, 785 secs || 804990 markings, 1019018 edges, 1001 markings/sec, 785 secs
lola: STP completed || 1 tries, 752126 fired transitions, 790 secs || 809989 markings, 1025431 edges, 1000 markings/sec, 790 secs
lola: STP completed || 1 tries, 756844 fired transitions, 795 secs || 815086 markings, 1031824 edges, 1019 markings/sec, 795 secs
lola: STP completed || 1 tries, 761576 fired transitions, 800 secs || 820173 markings, 1038207 edges, 1017 markings/sec, 800 secs
lola: STP completed || 1 tries, 766300 fired transitions, 805 secs || 825274 markings, 1044656 edges, 1020 markings/sec, 805 secs
lola: STP completed || 1 tries, 771020 fired transitions, 810 secs || 830329 markings, 1051100 edges, 1011 markings/sec, 810 secs
lola: STP completed || 1 tries, 775757 fired transitions, 815 secs || 835348 markings, 1057406 edges, 1004 markings/sec, 815 secs
lola: STP completed || 1 tries, 780492 fired transitions, 820 secs || 840375 markings, 1063718 edges, 1005 markings/sec, 820 secs
lola: STP completed || 1 tries, 785250 fired transitions, 825 secs || 845413 markings, 1070042 edges, 1008 markings/sec, 825 secs
lola: STP completed || 1 tries, 789993 fired transitions, 830 secs || 850477 markings, 1076504 edges, 1013 markings/sec, 830 secs
lola: STP completed || 1 tries, 794735 fired transitions, 835 secs || 855571 markings, 1082895 edges, 1019 markings/sec, 835 secs
lola: STP completed || 1 tries, 799480 fired transitions, 840 secs || 860658 markings, 1089275 edges, 1017 markings/sec, 840 secs
lola: STP completed || 1 tries, 804199 fired transitions, 845 secs || 865796 markings, 1095974 edges, 1028 markings/sec, 845 secs
lola: STP completed || 1 tries, 808941 fired transitions, 850 secs || 870868 markings, 1102509 edges, 1014 markings/sec, 850 secs
lola: STP completed || 1 tries, 813676 fired transitions, 855 secs || 875943 markings, 1108875 edges, 1015 markings/sec, 855 secs
lola: STP completed || 1 tries, 818410 fired transitions, 860 secs || 881023 markings, 1115247 edges, 1016 markings/sec, 860 secs
lola: STP completed || 1 tries, 823146 fired transitions, 865 secs || 886143 markings, 1121776 edges, 1024 markings/sec, 865 secs
lola: STP completed || 1 tries, 827902 fired transitions, 870 secs || 891253 markings, 1128183 edges, 1022 markings/sec, 870 secs
lola: STP completed || 1 tries, 832648 fired transitions, 875 secs || 896345 markings, 1134696 edges, 1018 markings/sec, 875 secs
lola: STP completed || 1 tries, 837402 fired transitions, 880 secs || 901459 markings, 1141606 edges, 1023 markings/sec, 880 secs
lola: STP completed || 1 tries, 842145 fired transitions, 885 secs || 906512 markings, 1148011 edges, 1011 markings/sec, 885 secs
lola: STP completed || 1 tries, 846879 fired transitions, 890 secs || 911555 markings, 1154404 edges, 1009 markings/sec, 890 secs
lola: STP completed || 1 tries, 851618 fired transitions, 895 secs || 916610 markings, 1160858 edges, 1011 markings/sec, 895 secs
lola: STP completed || 1 tries, 856334 fired transitions, 900 secs || 921682 markings, 1167290 edges, 1014 markings/sec, 900 secs
lola: STP completed || 1 tries, 861067 fired transitions, 905 secs || 926692 markings, 1173656 edges, 1002 markings/sec, 905 secs
lola: STP completed || 1 tries, 865801 fired transitions, 910 secs || 931732 markings, 1180330 edges, 1008 markings/sec, 910 secs
lola: STP completed || 1 tries, 870522 fired transitions, 915 secs || 936810 markings, 1186486 edges, 1016 markings/sec, 915 secs
lola: STP completed || 1 tries, 875222 fired transitions, 920 secs || 941849 markings, 1192680 edges, 1008 markings/sec, 920 secs
lola: STP completed || 1 tries, 879974 fired transitions, 925 secs || 946890 markings, 1199156 edges, 1008 markings/sec, 925 secs
lola: STP completed || 1 tries, 884695 fired transitions, 930 secs || 951919 markings, 1205583 edges, 1006 markings/sec, 930 secs
lola: STP completed || 1 tries, 889449 fired transitions, 935 secs || 956927 markings, 1211726 edges, 1002 markings/sec, 935 secs
lola: STP completed || 1 tries, 894156 fired transitions, 940 secs || 961980 markings, 1218185 edges, 1011 markings/sec, 940 secs
lola: STP completed || 1 tries, 898882 fired transitions, 945 secs || 967041 markings, 1225035 edges, 1012 markings/sec, 945 secs
lola: STP completed || 1 tries, 903609 fired transitions, 950 secs || 972129 markings, 1231040 edges, 1018 markings/sec, 950 secs
lola: STP completed || 1 tries, 908337 fired transitions, 955 secs || 977186 markings, 1237487 edges, 1011 markings/sec, 955 secs
lola: STP completed || 1 tries, 913063 fired transitions, 960 secs || 982228 markings, 1244277 edges, 1008 markings/sec, 960 secs
lola: STP completed || 1 tries, 917786 fired transitions, 965 secs || 987250 markings, 1250670 edges, 1004 markings/sec, 965 secs
lola: STP completed || 1 tries, 922515 fired transitions, 970 secs || 992335 markings, 1257159 edges, 1017 markings/sec, 970 secs
lola: STP completed || 1 tries, 927261 fired transitions, 975 secs || 997423 markings, 1263540 edges, 1018 markings/sec, 975 secs
lola: STP completed || 1 tries, 932005 fired transitions, 980 secs || 1002517 markings, 1269927 edges, 1019 markings/sec, 980 secs
lola: STP completed || 1 tries, 936717 fired transitions, 985 secs || 1007578 markings, 1276180 edges, 1012 markings/sec, 985 secs
lola: STP completed || 1 tries, 941455 fired transitions, 990 secs || 1012636 markings, 1282655 edges, 1012 markings/sec, 990 secs
lola: STP completed || 1 tries, 946192 fired transitions, 995 secs || 1017636 markings, 1288938 edges, 1000 markings/sec, 995 secs
lola: STP completed || 1 tries, 950879 fired transitions, 1000 secs || 1022681 markings, 1295265 edges, 1009 markings/sec, 1000 secs
lola: STP completed || 1 tries, 955539 fired transitions, 1005 secs || 1027698 markings, 1301575 edges, 1003 markings/sec, 1005 secs
lola: STP completed || 1 tries, 960196 fired transitions, 1010 secs || 1032729 markings, 1308008 edges, 1006 markings/sec, 1010 secs
lola: STP completed || 1 tries, 964860 fired transitions, 1015 secs || 1037787 markings, 1314068 edges, 1012 markings/sec, 1015 secs
lola: STP completed || 1 tries, 969554 fired transitions, 1020 secs || 1042886 markings, 1320643 edges, 1020 markings/sec, 1020 secs
lola: STP completed || 1 tries, 974210 fired transitions, 1025 secs || 1047864 markings, 1327191 edges, 996 markings/sec, 1025 secs
lola: STP completed || 1 tries, 978876 fired transitions, 1030 secs || 1052887 markings, 1333477 edges, 1005 markings/sec, 1030 secs
lola: STP completed || 1 tries, 983540 fired transitions, 1035 secs || 1057953 markings, 1339960 edges, 1013 markings/sec, 1035 secs
lola: STP completed || 1 tries, 988238 fired transitions, 1040 secs || 1062933 markings, 1346215 edges, 996 markings/sec, 1040 secs
lola: STP completed || 1 tries, 992927 fired transitions, 1045 secs || 1067987 markings, 1352668 edges, 1011 markings/sec, 1045 secs
lola: STP completed || 1 tries, 997578 fired transitions, 1050 secs || 1072981 markings, 1358821 edges, 999 markings/sec, 1050 secs
lola: STP completed || 2 tries, 1002259 fired transitions, 1055 secs || 1077956 markings, 1365450 edges, 995 markings/sec, 1055 secs
lola: STP completed || 2 tries, 1007042 fired transitions, 1060 secs || 1083102 markings, 1372032 edges, 1029 markings/sec, 1060 secs
lola: STP completed || 2 tries, 1011815 fired transitions, 1065 secs || 1088239 markings, 1378562 edges, 1027 markings/sec, 1065 secs
lola: STP completed || 2 tries, 1016599 fired transitions, 1070 secs || 1093362 markings, 1385020 edges, 1025 markings/sec, 1070 secs
lola: STP completed || 2 tries, 1021374 fired transitions, 1075 secs || 1098419 markings, 1391606 edges, 1011 markings/sec, 1075 secs
lola: STP completed || 2 tries, 1026012 fired transitions, 1080 secs || 1103389 markings, 1397855 edges, 994 markings/sec, 1080 secs
lola: STP completed || 2 tries, 1030668 fired transitions, 1085 secs || 1108357 markings, 1404204 edges, 994 markings/sec, 1085 secs
lola: STP completed || 2 tries, 1035325 fired transitions, 1090 secs || 1113346 markings, 1410466 edges, 998 markings/sec, 1090 secs
lola: STP completed || 2 tries, 1039993 fired transitions, 1095 secs || 1118357 markings, 1416757 edges, 1002 markings/sec, 1095 secs
lola: STP completed || 2 tries, 1044649 fired transitions, 1100 secs || 1123363 markings, 1423153 edges, 1001 markings/sec, 1100 secs
lola: STP completed || 2 tries, 1049294 fired transitions, 1105 secs || 1128369 markings, 1429572 edges, 1001 markings/sec, 1105 secs
lola: STP completed || 2 tries, 1054006 fired transitions, 1110 secs || 1133358 markings, 1435471 edges, 998 markings/sec, 1110 secs
lola: STP completed || 2 tries, 1058697 fired transitions, 1115 secs || 1138474 markings, 1441546 edges, 1023 markings/sec, 1115 secs
lola: STP completed || 2 tries, 1063407 fired transitions, 1120 secs || 1143559 markings, 1447786 edges, 1017 markings/sec, 1120 secs
lola: STP completed || 2 tries, 1068093 fired transitions, 1125 secs || 1148623 markings, 1454397 edges, 1013 markings/sec, 1125 secs
lola: STP completed || 2 tries, 1072813 fired transitions, 1130 secs || 1153682 markings, 1460752 edges, 1012 markings/sec, 1130 secs
lola: STP completed || 2 tries, 1077554 fired transitions, 1135 secs || 1158770 markings, 1467247 edges, 1018 markings/sec, 1135 secs
lola: STP completed || 2 tries, 1082280 fired transitions, 1140 secs || 1163879 markings, 1473509 edges, 1022 markings/sec, 1140 secs
lola: STP completed || 2 tries, 1086998 fired transitions, 1145 secs || 1168976 markings, 1479925 edges, 1019 markings/sec, 1145 secs
lola: STP completed || 2 tries, 1091721 fired transitions, 1150 secs || 1174047 markings, 1486294 edges, 1014 markings/sec, 1150 secs
lola: STP completed || 2 tries, 1096450 fired transitions, 1155 secs || 1179103 markings, 1492789 edges, 1011 markings/sec, 1155 secs
lola: STP completed || 2 tries, 1101185 fired transitions, 1160 secs || 1184175 markings, 1499203 edges, 1014 markings/sec, 1160 secs
lola: STP completed || 2 tries, 1105903 fired transitions, 1165 secs || 1189282 markings, 1505534 edges, 1021 markings/sec, 1165 secs
lola: STP completed || 2 tries, 1110682 fired transitions, 1170 secs || 1194372 markings, 1512030 edges, 1018 markings/sec, 1170 secs
lola: STP completed || 2 tries, 1115532 fired transitions, 1175 secs || 1199610 markings, 1518357 edges, 1048 markings/sec, 1175 secs
lola: STP completed || 2 tries, 1120272 fired transitions, 1180 secs || 1204659 markings, 1525444 edges, 1010 markings/sec, 1180 secs
lola: STP completed || 2 tries, 1124987 fired transitions, 1185 secs || 1209716 markings, 1532106 edges, 1011 markings/sec, 1185 secs
lola: STP completed || 2 tries, 1129690 fired transitions, 1190 secs || 1214760 markings, 1538419 edges, 1009 markings/sec, 1190 secs
lola: STP completed || 2 tries, 1134403 fired transitions, 1195 secs || 1219828 markings, 1544778 edges, 1014 markings/sec, 1195 secs
lola: STP completed || 2 tries, 1139132 fired transitions, 1200 secs || 1224840 markings, 1551020 edges, 1002 markings/sec, 1200 secs
lola: STP completed || 2 tries, 1143856 fired transitions, 1205 secs || 1229843 markings, 1557625 edges, 1001 markings/sec, 1205 secs
lola: STP completed || 2 tries, 1148587 fired transitions, 1210 secs || 1234806 markings, 1563825 edges, 993 markings/sec, 1210 secs
lola: STP completed || 2 tries, 1153337 fired transitions, 1215 secs || 1239793 markings, 1570517 edges, 997 markings/sec, 1215 secs
lola: STP completed || 2 tries, 1158047 fired transitions, 1220 secs || 1244792 markings, 1576933 edges, 1000 markings/sec, 1220 secs
lola: STP completed || 2 tries, 1162762 fired transitions, 1225 secs || 1249802 markings, 1583079 edges, 1002 markings/sec, 1225 secs
lola: STP completed || 2 tries, 1167408 fired transitions, 1230 secs || 1254840 markings, 1589451 edges, 1008 markings/sec, 1230 secs
lola: STP completed || 2 tries, 1172125 fired transitions, 1235 secs || 1259877 markings, 1595771 edges, 1007 markings/sec, 1235 secs
lola: STP completed || 2 tries, 1176812 fired transitions, 1240 secs || 1264923 markings, 1602169 edges, 1009 markings/sec, 1240 secs
lola: STP completed || 2 tries, 1181537 fired transitions, 1245 secs || 1269987 markings, 1608436 edges, 1013 markings/sec, 1245 secs
lola: STP completed || 2 tries, 1186210 fired transitions, 1250 secs || 1274989 markings, 1614861 edges, 1000 markings/sec, 1250 secs
lola: STP completed || 2 tries, 1190910 fired transitions, 1255 secs || 1279958 markings, 1621209 edges, 994 markings/sec, 1255 secs
lola: STP completed || 2 tries, 1195590 fired transitions, 1260 secs || 1284962 markings, 1627493 edges, 1001 markings/sec, 1260 secs
lola: STP completed || 2 tries, 1200291 fired transitions, 1265 secs || 1289948 markings, 1633754 edges, 997 markings/sec, 1265 secs
lola: STP completed || 2 tries, 1204997 fired transitions, 1270 secs || 1294985 markings, 1640188 edges, 1007 markings/sec, 1270 secs
lola: STP completed || 2 tries, 1209580 fired transitions, 1275 secs || 1300045 markings, 1646534 edges, 1012 markings/sec, 1275 secs
lola: STP completed || 2 tries, 1214212 fired transitions, 1280 secs || 1305092 markings, 1652866 edges, 1009 markings/sec, 1280 secs
lola: STP completed || 2 tries, 1218915 fired transitions, 1285 secs || 1310139 markings, 1658868 edges, 1009 markings/sec, 1285 secs
lola: STP completed || 2 tries, 1223609 fired transitions, 1290 secs || 1315160 markings, 1665283 edges, 1004 markings/sec, 1290 secs
lola: STP completed || 2 tries, 1228326 fired transitions, 1295 secs || 1320169 markings, 1671568 edges, 1002 markings/sec, 1295 secs
lola: STP completed || 2 tries, 1233045 fired transitions, 1300 secs || 1325181 markings, 1677859 edges, 1002 markings/sec, 1300 secs
lola: STP completed || 2 tries, 1237751 fired transitions, 1305 secs || 1330236 markings, 1684312 edges, 1011 markings/sec, 1305 secs
lola: STP completed || 2 tries, 1242462 fired transitions, 1310 secs || 1335318 markings, 1690685 edges, 1016 markings/sec, 1310 secs
lola: STP completed || 2 tries, 1247181 fired transitions, 1315 secs || 1340394 markings, 1697053 edges, 1015 markings/sec, 1315 secs
lola: STP completed || 2 tries, 1251824 fired transitions, 1320 secs || 1345473 markings, 1703111 edges, 1016 markings/sec, 1320 secs
lola: STP completed || 2 tries, 1256458 fired transitions, 1325 secs || 1350520 markings, 1709555 edges, 1009 markings/sec, 1325 secs
lola: STP completed || 2 tries, 1261065 fired transitions, 1330 secs || 1355589 markings, 1715914 edges, 1014 markings/sec, 1330 secs
lola: STP completed || 2 tries, 1265771 fired transitions, 1335 secs || 1360668 markings, 1722284 edges, 1016 markings/sec, 1335 secs
lola: STP completed || 2 tries, 1270462 fired transitions, 1340 secs || 1365765 markings, 1728786 edges, 1019 markings/sec, 1340 secs
lola: STP completed || 2 tries, 1275127 fired transitions, 1345 secs || 1370843 markings, 1735156 edges, 1016 markings/sec, 1345 secs
lola: STP completed || 2 tries, 1279824 fired transitions, 1350 secs || 1376031 markings, 1741907 edges, 1038 markings/sec, 1350 secs
lola: STP completed || 2 tries, 1284540 fired transitions, 1355 secs || 1381200 markings, 1748811 edges, 1034 markings/sec, 1355 secs
lola: STP completed || 2 tries, 1289165 fired transitions, 1360 secs || 1386254 markings, 1754815 edges, 1011 markings/sec, 1360 secs
lola: STP completed || 2 tries, 1293920 fired transitions, 1365 secs || 1391304 markings, 1761260 edges, 1010 markings/sec, 1365 secs
lola: STP completed || 2 tries, 1298671 fired transitions, 1370 secs || 1396342 markings, 1767580 edges, 1008 markings/sec, 1370 secs
lola: STP completed || 2 tries, 1303400 fired transitions, 1375 secs || 1401401 markings, 1773928 edges, 1012 markings/sec, 1375 secs
lola: STP completed || 2 tries, 1308119 fired transitions, 1380 secs || 1406475 markings, 1780407 edges, 1015 markings/sec, 1380 secs
lola: STP completed || 2 tries, 1312897 fired transitions, 1385 secs || 1411551 markings, 1786906 edges, 1015 markings/sec, 1385 secs
lola: STP completed || 2 tries, 1317628 fired transitions, 1390 secs || 1416594 markings, 1792867 edges, 1009 markings/sec, 1390 secs
lola: STP completed || 2 tries, 1322378 fired transitions, 1395 secs || 1421724 markings, 1798962 edges, 1026 markings/sec, 1395 secs
lola: STP completed || 2 tries, 1327128 fired transitions, 1400 secs || 1426823 markings, 1805260 edges, 1020 markings/sec, 1400 secs
lola: STP completed || 2 tries, 1331883 fired transitions, 1405 secs || 1431900 markings, 1811853 edges, 1015 markings/sec, 1405 secs
lola: STP completed || 2 tries, 1336611 fired transitions, 1410 secs || 1436971 markings, 1818213 edges, 1014 markings/sec, 1410 secs
lola: STP completed || 2 tries, 1341379 fired transitions, 1415 secs || 1442071 markings, 1824721 edges, 1020 markings/sec, 1415 secs
lola: STP completed || 2 tries, 1346132 fired transitions, 1420 secs || 1447139 markings, 1830936 edges, 1014 markings/sec, 1420 secs
lola: STP completed || 2 tries, 1350905 fired transitions, 1425 secs || 1452169 markings, 1837295 edges, 1006 markings/sec, 1425 secs
lola: STP completed || 2 tries, 1355652 fired transitions, 1430 secs || 1457247 markings, 1843650 edges, 1016 markings/sec, 1430 secs
lola: STP completed || 2 tries, 1360405 fired transitions, 1435 secs || 1462310 markings, 1850153 edges, 1013 markings/sec, 1435 secs
lola: STP completed || 2 tries, 1365099 fired transitions, 1440 secs || 1467391 markings, 1856577 edges, 1016 markings/sec, 1440 secs
lola: STP completed || 2 tries, 1369835 fired transitions, 1445 secs || 1472500 markings, 1862913 edges, 1022 markings/sec, 1445 secs
lola: STP completed || 2 tries, 1374593 fired transitions, 1450 secs || 1477526 markings, 1869330 edges, 1005 markings/sec, 1450 secs
lola: STP completed || 2 tries, 1379325 fired transitions, 1455 secs || 1482634 markings, 1875410 edges, 1022 markings/sec, 1455 secs
lola: STP completed || 2 tries, 1384054 fired transitions, 1460 secs || 1487793 markings, 1882262 edges, 1032 markings/sec, 1460 secs
lola: STP completed || 2 tries, 1388796 fired transitions, 1465 secs || 1492870 markings, 1888629 edges, 1015 markings/sec, 1465 secs
lola: STP completed || 2 tries, 1393548 fired transitions, 1470 secs || 1497943 markings, 1895156 edges, 1015 markings/sec, 1470 secs
lola: STP completed || 2 tries, 1398295 fired transitions, 1475 secs || 1503047 markings, 1901421 edges, 1021 markings/sec, 1475 secs
lola: STP completed || 2 tries, 1403052 fired transitions, 1480 secs || 1508173 markings, 1907932 edges, 1025 markings/sec, 1480 secs
lola: STP completed || 2 tries, 1407760 fired transitions, 1485 secs || 1513273 markings, 1914395 edges, 1020 markings/sec, 1485 secs
lola: STP completed || 2 tries, 1412487 fired transitions, 1490 secs || 1518427 markings, 1921204 edges, 1031 markings/sec, 1490 secs
lola: STP completed || 2 tries, 1417245 fired transitions, 1495 secs || 1523512 markings, 1927621 edges, 1017 markings/sec, 1495 secs
lola: STP completed || 2 tries, 1422007 fired transitions, 1500 secs || 1528600 markings, 1934078 edges, 1018 markings/sec, 1500 secs
lola: STP completed || 2 tries, 1426739 fired transitions, 1505 secs || 1533663 markings, 1940509 edges, 1013 markings/sec, 1505 secs
lola: STP completed || 2 tries, 1431509 fired transitions, 1510 secs || 1538717 markings, 1947198 edges, 1011 markings/sec, 1510 secs
lola: STP completed || 2 tries, 1436246 fired transitions, 1515 secs || 1543793 markings, 1953484 edges, 1015 markings/sec, 1515 secs
lola: STP completed || 2 tries, 1440970 fired transitions, 1520 secs || 1548874 markings, 1959900 edges, 1016 markings/sec, 1520 secs
lola: STP completed || 2 tries, 1445694 fired transitions, 1525 secs || 1553961 markings, 1966393 edges, 1017 markings/sec, 1525 secs
lola: STP completed || 2 tries, 1450438 fired transitions, 1530 secs || 1558994 markings, 1972744 edges, 1007 markings/sec, 1530 secs
lola: STP completed || 2 tries, 1455170 fired transitions, 1535 secs || 1564051 markings, 1979237 edges, 1011 markings/sec, 1535 secs
lola: STP completed || 2 tries, 1459907 fired transitions, 1540 secs || 1569128 markings, 1985556 edges, 1015 markings/sec, 1540 secs
lola: STP completed || 2 tries, 1464641 fired transitions, 1545 secs || 1574224 markings, 1992057 edges, 1019 markings/sec, 1545 secs
lola: STP completed || 2 tries, 1469397 fired transitions, 1550 secs || 1579348 markings, 1998125 edges, 1025 markings/sec, 1550 secs
lola: STP completed || 2 tries, 1474147 fired transitions, 1555 secs || 1584500 markings, 2004251 edges, 1030 markings/sec, 1555 secs
lola: STP completed || 2 tries, 1478878 fired transitions, 1560 secs || 1589603 markings, 2010761 edges, 1021 markings/sec, 1560 secs
lola: STP completed || 2 tries, 1483620 fired transitions, 1565 secs || 1594682 markings, 2017130 edges, 1016 markings/sec, 1565 secs
lola: STP completed || 2 tries, 1488352 fired transitions, 1570 secs || 1599720 markings, 2023453 edges, 1008 markings/sec, 1570 secs
lola: STP completed || 2 tries, 1493059 fired transitions, 1575 secs || 1604812 markings, 2029953 edges, 1018 markings/sec, 1575 secs
lola: STP completed || 2 tries, 1497756 fired transitions, 1580 secs || 1609912 markings, 2036481 edges, 1020 markings/sec, 1580 secs
lola: STP completed || 2 tries, 1502510 fired transitions, 1585 secs || 1614979 markings, 2042695 edges, 1013 markings/sec, 1585 secs
lola: STP completed || 2 tries, 1507188 fired transitions, 1590 secs || 1620084 markings, 2049146 edges, 1021 markings/sec, 1590 secs
lola: STP completed || 2 tries, 1511924 fired transitions, 1595 secs || 1625187 markings, 2055767 edges, 1021 markings/sec, 1595 secs
lola: STP completed || 2 tries, 1516663 fired transitions, 1600 secs || 1630269 markings, 2061991 edges, 1016 markings/sec, 1600 secs
lola: STP completed || 2 tries, 1521403 fired transitions, 1605 secs || 1635406 markings, 2068549 edges, 1027 markings/sec, 1605 secs
lola: STP completed || 2 tries, 1526092 fired transitions, 1610 secs || 1640527 markings, 2074869 edges, 1024 markings/sec, 1610 secs
lola: STP completed || 2 tries, 1530774 fired transitions, 1615 secs || 1645634 markings, 2081145 edges, 1021 markings/sec, 1615 secs
lola: STP completed || 2 tries, 1535453 fired transitions, 1620 secs || 1650724 markings, 2087719 edges, 1018 markings/sec, 1620 secs
lola: STP completed || 2 tries, 1540199 fired transitions, 1625 secs || 1655763 markings, 2094093 edges, 1008 markings/sec, 1625 secs
lola: STP completed || 2 tries, 1545000 fired transitions, 1630 secs || 1660791 markings, 2100512 edges, 1006 markings/sec, 1630 secs
lola: STP completed || 2 tries, 1549789 fired transitions, 1635 secs || 1665852 markings, 2106876 edges, 1012 markings/sec, 1635 secs
lola: STP completed || 2 tries, 1554589 fired transitions, 1640 secs || 1671031 markings, 2113527 edges, 1036 markings/sec, 1640 secs
lola: STP completed || 2 tries, 1559384 fired transitions, 1645 secs || 1676189 markings, 2120062 edges, 1032 markings/sec, 1645 secs
lola: STP completed || 2 tries, 1564188 fired transitions, 1650 secs || 1681355 markings, 2126831 edges, 1033 markings/sec, 1650 secs
lola: STP completed || 2 tries, 1568988 fired transitions, 1655 secs || 1686486 markings, 2133184 edges, 1026 markings/sec, 1655 secs
lola: STP completed || 2 tries, 1573771 fired transitions, 1660 secs || 1691544 markings, 2139591 edges, 1012 markings/sec, 1660 secs
lola: STP completed || 2 tries, 1578451 fired transitions, 1665 secs || 1696477 markings, 2146064 edges, 987 markings/sec, 1665 secs
lola: STP completed || 2 tries, 1583231 fired transitions, 1670 secs || 1701579 markings, 2152720 edges, 1020 markings/sec, 1670 secs
lola: STP completed || 2 tries, 1588025 fired transitions, 1675 secs || 1706673 markings, 2159029 edges, 1019 markings/sec, 1675 secs
lola: STP completed || 2 tries, 1592838 fired transitions, 1680 secs || 1711685 markings, 2165431 edges, 1002 markings/sec, 1680 secs
lola: STP completed || 2 tries, 1597621 fired transitions, 1685 secs || 1716749 markings, 2171828 edges, 1013 markings/sec, 1685 secs
lola: STP completed || 2 tries, 1602393 fired transitions, 1690 secs || 1721691 markings, 2178108 edges, 988 markings/sec, 1690 secs
lola: STP completed || 2 tries, 1607160 fired transitions, 1695 secs || 1726677 markings, 2184363 edges, 997 markings/sec, 1695 secs
lola: STP completed || 2 tries, 1611935 fired transitions, 1700 secs || 1731804 markings, 2190815 edges, 1025 markings/sec, 1700 secs
lola: STP completed || 2 tries, 1616707 fired transitions, 1705 secs || 1736928 markings, 2197242 edges, 1025 markings/sec, 1705 secs
lola: STP completed || 2 tries, 1621464 fired transitions, 1710 secs || 1742048 markings, 2203324 edges, 1024 markings/sec, 1710 secs
lola: STP completed || 2 tries, 1626227 fired transitions, 1715 secs || 1747169 markings, 2209395 edges, 1024 markings/sec, 1715 secs
lola: STP completed || 2 tries, 1631059 fired transitions, 1720 secs || 1752173 markings, 2215791 edges, 1001 markings/sec, 1720 secs
lola: STP completed || 2 tries, 1635916 fired transitions, 1725 secs || 1757302 markings, 2222242 edges, 1026 markings/sec, 1725 secs
lola: STP completed || 2 tries, 1640755 fired transitions, 1730 secs || 1762494 markings, 2228919 edges, 1038 markings/sec, 1730 secs
lola: STP completed || 2 tries, 1645602 fired transitions, 1735 secs || 1767723 markings, 2235403 edges, 1046 markings/sec, 1735 secs
lola: STP completed || 2 tries, 1650476 fired transitions, 1740 secs || 1772967 markings, 2242078 edges, 1049 markings/sec, 1740 secs
lola: STP completed || 2 tries, 1655315 fired transitions, 1745 secs || 1778144 markings, 2248703 edges, 1035 markings/sec, 1745 secs
lola: STP completed || 2 tries, 1660209 fired transitions, 1750 secs || 1783315 markings, 2255183 edges, 1034 markings/sec, 1750 secs
lola: STP completed || 2 tries, 1665082 fired transitions, 1755 secs || 1788520 markings, 2261702 edges, 1041 markings/sec, 1755 secs
lola: STP completed || 2 tries, 1669952 fired transitions, 1760 secs || 1793685 markings, 2268288 edges, 1033 markings/sec, 1760 secs
lola: STP completed || 2 tries, 1674674 fired transitions, 1765 secs || 1798775 markings, 2274684 edges, 1018 markings/sec, 1765 secs
lola: STP completed || 2 tries, 1679424 fired transitions, 1770 secs || 1803889 markings, 2280848 edges, 1023 markings/sec, 1770 secs
lola: STP completed || 2 tries, 1684166 fired transitions, 1775 secs || 1809071 markings, 2287545 edges, 1036 markings/sec, 1775 secs
lola: STP completed || 2 tries, 1688943 fired transitions, 1780 secs || 1814116 markings, 2294090 edges, 1009 markings/sec, 1780 secs
lola: STP completed || 2 tries, 1693666 fired transitions, 1785 secs || 1819138 markings, 2300287 edges, 1004 markings/sec, 1785 secs
lola: STP completed || 2 tries, 1698447 fired transitions, 1790 secs || 1824109 markings, 2306660 edges, 994 markings/sec, 1790 secs
lola: STP completed || 2 tries, 1703185 fired transitions, 1795 secs || 1829191 markings, 2313045 edges, 1016 markings/sec, 1795 secs
lola: STP completed || 2 tries, 1708025 fired transitions, 1800 secs || 1834269 markings, 2319415 edges, 1016 markings/sec, 1800 secs
lola: STP completed || 2 tries, 1712886 fired transitions, 1805 secs || 1839511 markings, 2326237 edges, 1048 markings/sec, 1805 secs
lola: STP completed || 2 tries, 1717748 fired transitions, 1810 secs || 1844684 markings, 2332904 edges, 1035 markings/sec, 1810 secs
lola: STP completed || 2 tries, 1722638 fired transitions, 1815 secs || 1849893 markings, 2339373 edges, 1042 markings/sec, 1815 secs
lola: STP completed || 2 tries, 1727505 fired transitions, 1820 secs || 1855055 markings, 2345954 edges, 1032 markings/sec, 1820 secs
lola: STP completed || 2 tries, 1732342 fired transitions, 1825 secs || 1860223 markings, 2352643 edges, 1034 markings/sec, 1825 secs
lola: STP completed || 2 tries, 1737226 fired transitions, 1830 secs || 1865416 markings, 2359359 edges, 1039 markings/sec, 1830 secs
lola: STP completed || 2 tries, 1742091 fired transitions, 1835 secs || 1870578 markings, 2366135 edges, 1032 markings/sec, 1835 secs
lola: STP completed || 2 tries, 1746934 fired transitions, 1840 secs || 1875723 markings, 2372534 edges, 1029 markings/sec, 1840 secs
lola: STP completed || 2 tries, 1751761 fired transitions, 1845 secs || 1880705 markings, 2379176 edges, 996 markings/sec, 1845 secs
lola: STP completed || 2 tries, 1756604 fired transitions, 1850 secs || 1885855 markings, 2385491 edges, 1030 markings/sec, 1850 secs
lola: STP completed || 2 tries, 1761426 fired transitions, 1855 secs || 1891032 markings, 2392182 edges, 1035 markings/sec, 1855 secs
lola: STP completed || 2 tries, 1766256 fired transitions, 1860 secs || 1896190 markings, 2399193 edges, 1032 markings/sec, 1860 secs
lola: STP completed || 2 tries, 1771051 fired transitions, 1865 secs || 1901252 markings, 2405509 edges, 1012 markings/sec, 1865 secs
lola: STP completed || 2 tries, 1775753 fired transitions, 1870 secs || 1906295 markings, 2411915 edges, 1009 markings/sec, 1870 secs
lola: STP completed || 2 tries, 1780405 fired transitions, 1875 secs || 1911297 markings, 2418415 edges, 1000 markings/sec, 1875 secs
lola: STP completed || 2 tries, 1785162 fired transitions, 1880 secs || 1916353 markings, 2424714 edges, 1011 markings/sec, 1880 secs
lola: STP completed || 2 tries, 1789875 fired transitions, 1885 secs || 1921408 markings, 2431207 edges, 1011 markings/sec, 1885 secs
lola: STP completed || 2 tries, 1794567 fired transitions, 1890 secs || 1926463 markings, 2437602 edges, 1011 markings/sec, 1890 secs
lola: STP completed || 2 tries, 1799295 fired transitions, 1895 secs || 1931521 markings, 2444003 edges, 1012 markings/sec, 1895 secs
lola: STP completed || 2 tries, 1804018 fired transitions, 1900 secs || 1936583 markings, 2450358 edges, 1012 markings/sec, 1900 secs
lola: STP completed || 2 tries, 1808773 fired transitions, 1905 secs || 1941616 markings, 2456529 edges, 1007 markings/sec, 1905 secs
lola: STP completed || 2 tries, 1813478 fired transitions, 1910 secs || 1946706 markings, 2462557 edges, 1018 markings/sec, 1910 secs
lola: STP completed || 2 tries, 1818204 fired transitions, 1915 secs || 1951807 markings, 2468784 edges, 1020 markings/sec, 1915 secs
lola: STP completed || 2 tries, 1822910 fired transitions, 1920 secs || 1956876 markings, 2475293 edges, 1014 markings/sec, 1920 secs
lola: STP completed || 2 tries, 1827666 fired transitions, 1925 secs || 1961943 markings, 2481648 edges, 1013 markings/sec, 1925 secs
lola: STP completed || 2 tries, 1832376 fired transitions, 1930 secs || 1967028 markings, 2488088 edges, 1017 markings/sec, 1930 secs
lola: STP completed || 2 tries, 1837120 fired transitions, 1935 secs || 1972092 markings, 2494389 edges, 1013 markings/sec, 1935 secs
lola: STP completed || 2 tries, 1841828 fired transitions, 1940 secs || 1977145 markings, 2501152 edges, 1011 markings/sec, 1940 secs
lola: STP completed || 2 tries, 1846553 fired transitions, 1945 secs || 1982229 markings, 2507455 edges, 1017 markings/sec, 1945 secs
lola: STP completed || 2 tries, 1851291 fired transitions, 1950 secs || 1987276 markings, 2513764 edges, 1009 markings/sec, 1950 secs
lola: STP completed || 2 tries, 1856013 fired transitions, 1955 secs || 1992332 markings, 2520146 edges, 1011 markings/sec, 1955 secs
lola: STP completed || 2 tries, 1860714 fired transitions, 1960 secs || 1997399 markings, 2526518 edges, 1013 markings/sec, 1960 secs
lola: STP completed || 2 tries, 1865441 fired transitions, 1965 secs || 2002456 markings, 2532865 edges, 1011 markings/sec, 1965 secs
lola: STP completed || 2 tries, 1870139 fired transitions, 1970 secs || 2007560 markings, 2539267 edges, 1021 markings/sec, 1970 secs
lola: STP completed || 2 tries, 1874864 fired transitions, 1975 secs || 2012643 markings, 2545641 edges, 1017 markings/sec, 1975 secs
lola: STP completed || 2 tries, 1879562 fired transitions, 1980 secs || 2017722 markings, 2552148 edges, 1016 markings/sec, 1980 secs
lola: STP completed || 2 tries, 1884311 fired transitions, 1985 secs || 2022881 markings, 2558883 edges, 1032 markings/sec, 1985 secs
lola: STP completed || 2 tries, 1889046 fired transitions, 1990 secs || 2027922 markings, 2565207 edges, 1008 markings/sec, 1990 secs
lola: STP completed || 2 tries, 1893767 fired transitions, 1995 secs || 2032908 markings, 2571466 edges, 997 markings/sec, 1995 secs
lola: STP completed || 2 tries, 1898484 fired transitions, 2000 secs || 2037970 markings, 2577818 edges, 1012 markings/sec, 2000 secs
lola: STP completed || 2 tries, 1903200 fired transitions, 2005 secs || 2042983 markings, 2584225 edges, 1003 markings/sec, 2005 secs
lola: STP completed || 2 tries, 1907952 fired transitions, 2010 secs || 2048018 markings, 2590542 edges, 1007 markings/sec, 2010 secs
lola: STP completed || 2 tries, 1912662 fired transitions, 2015 secs || 2053081 markings, 2597088 edges, 1013 markings/sec, 2015 secs
lola: STP completed || 2 tries, 1917389 fired transitions, 2020 secs || 2058129 markings, 2603466 edges, 1010 markings/sec, 2020 secs
lola: STP completed || 2 tries, 1922117 fired transitions, 2025 secs || 2063135 markings, 2609979 edges, 1001 markings/sec, 2025 secs
lola: STP completed || 2 tries, 1926835 fired transitions, 2030 secs || 2068106 markings, 2616405 edges, 994 markings/sec, 2030 secs
lola: STP completed || 2 tries, 1931543 fired transitions, 2035 secs || 2073153 markings, 2622657 edges, 1009 markings/sec, 2035 secs
lola: STP completed || 2 tries, 1936278 fired transitions, 2040 secs || 2078194 markings, 2629078 edges, 1008 markings/sec, 2040 secs
lola: STP completed || 2 tries, 1940970 fired transitions, 2045 secs || 2083246 markings, 2635956 edges, 1010 markings/sec, 2045 secs
lola: STP completed || 2 tries, 1945692 fired transitions, 2050 secs || 2088298 markings, 2642448 edges, 1010 markings/sec, 2050 secs
lola: STP completed || 2 tries, 1950408 fired transitions, 2055 secs || 2093304 markings, 2648733 edges, 1001 markings/sec, 2055 secs
lola: STP completed || 2 tries, 1955103 fired transitions, 2060 secs || 2098345 markings, 2655059 edges, 1008 markings/sec, 2060 secs
lola: STP completed || 2 tries, 1959832 fired transitions, 2065 secs || 2103417 markings, 2661532 edges, 1014 markings/sec, 2065 secs
lola: STP completed || 2 tries, 1964534 fired transitions, 2070 secs || 2108477 markings, 2667880 edges, 1012 markings/sec, 2070 secs
lola: STP completed || 2 tries, 1969253 fired transitions, 2075 secs || 2113571 markings, 2674268 edges, 1019 markings/sec, 2075 secs
lola: STP completed || 2 tries, 1974008 fired transitions, 2080 secs || 2118666 markings, 2680297 edges, 1019 markings/sec, 2080 secs
lola: STP completed || 2 tries, 1978714 fired transitions, 2085 secs || 2123775 markings, 2686370 edges, 1022 markings/sec, 2085 secs
lola: STP completed || 2 tries, 1983454 fired transitions, 2090 secs || 2128847 markings, 2692903 edges, 1014 markings/sec, 2090 secs
lola: STP completed || 2 tries, 1988180 fired transitions, 2095 secs || 2133906 markings, 2699250 edges, 1012 markings/sec, 2095 secs
lola: STP completed || 2 tries, 1992855 fired transitions, 2100 secs || 2139001 markings, 2705640 edges, 1019 markings/sec, 2100 secs
lola: STP completed || 2 tries, 1997533 fired transitions, 2105 secs || 2144129 markings, 2712179 edges, 1026 markings/sec, 2105 secs
lola: STP completed || 3 tries, 2002247 fired transitions, 2110 secs || 2149242 markings, 2718725 edges, 1023 markings/sec, 2110 secs
lola: STP completed || 3 tries, 2006943 fired transitions, 2115 secs || 2154309 markings, 2725125 edges, 1013 markings/sec, 2115 secs
lola: STP completed || 3 tries, 2011598 fired transitions, 2120 secs || 2159309 markings, 2731260 edges, 1000 markings/sec, 2120 secs
lola: STP completed || 3 tries, 2016315 fired transitions, 2125 secs || 2164192 markings, 2737398 edges, 977 markings/sec, 2125 secs
lola: STP completed || 3 tries, 2021026 fired transitions, 2130 secs || 2169257 markings, 2743780 edges, 1013 markings/sec, 2130 secs
lola: STP completed || 3 tries, 2025745 fired transitions, 2135 secs || 2174250 markings, 2750188 edges, 999 markings/sec, 2135 secs
lola: STP completed || 3 tries, 2030452 fired transitions, 2140 secs || 2179356 markings, 2756661 edges, 1021 markings/sec, 2140 secs
lola: STP completed || 3 tries, 2035161 fired transitions, 2145 secs || 2184440 markings, 2763191 edges, 1017 markings/sec, 2145 secs
lola: STP completed || 3 tries, 2039869 fired transitions, 2150 secs || 2189463 markings, 2769505 edges, 1005 markings/sec, 2150 secs
lola: STP completed || 3 tries, 2044594 fired transitions, 2155 secs || 2194662 markings, 2776123 edges, 1040 markings/sec, 2155 secs
lola: STP completed || 3 tries, 2049317 fired transitions, 2160 secs || 2199758 markings, 2782583 edges, 1019 markings/sec, 2160 secs
lola: STP completed || 3 tries, 2054073 fired transitions, 2165 secs || 2204850 markings, 2789191 edges, 1018 markings/sec, 2165 secs
lola: STP completed || 3 tries, 2058790 fired transitions, 2170 secs || 2209955 markings, 2795600 edges, 1021 markings/sec, 2170 secs
lola: STP completed || 3 tries, 2063514 fired transitions, 2175 secs || 2215088 markings, 2802147 edges, 1027 markings/sec, 2175 secs
lola: STP completed || 3 tries, 2068262 fired transitions, 2180 secs || 2220223 markings, 2808583 edges, 1027 markings/sec, 2180 secs
lola: STP completed || 3 tries, 2073012 fired transitions, 2185 secs || 2225372 markings, 2815115 edges, 1030 markings/sec, 2185 secs
lola: STP completed || 3 tries, 2077741 fired transitions, 2190 secs || 2230582 markings, 2821661 edges, 1042 markings/sec, 2190 secs
lola: STP completed || 3 tries, 2082496 fired transitions, 2195 secs || 2235682 markings, 2828206 edges, 1020 markings/sec, 2195 secs
lola: STP completed || 3 tries, 2087272 fired transitions, 2200 secs || 2240777 markings, 2834675 edges, 1019 markings/sec, 2200 secs
lola: STP completed || 3 tries, 2091954 fired transitions, 2205 secs || 2245909 markings, 2841112 edges, 1026 markings/sec, 2205 secs
lola: STP completed || 3 tries, 2096679 fired transitions, 2210 secs || 2251063 markings, 2847574 edges, 1031 markings/sec, 2210 secs
lola: STP completed || 3 tries, 2101350 fired transitions, 2215 secs || 2256196 markings, 2854116 edges, 1027 markings/sec, 2215 secs
lola: STP completed || 3 tries, 2106077 fired transitions, 2220 secs || 2261320 markings, 2860604 edges, 1025 markings/sec, 2220 secs
lola: STP completed || 3 tries, 2110766 fired transitions, 2225 secs || 2266443 markings, 2867216 edges, 1025 markings/sec, 2225 secs
lola: STP completed || 3 tries, 2115502 fired transitions, 2230 secs || 2271499 markings, 2873688 edges, 1011 markings/sec, 2230 secs
lola: STP completed || 3 tries, 2120239 fired transitions, 2235 secs || 2276529 markings, 2880094 edges, 1006 markings/sec, 2235 secs
lola: STP completed || 3 tries, 2125017 fired transitions, 2240 secs || 2281630 markings, 2886571 edges, 1020 markings/sec, 2240 secs
lola: STP completed || 3 tries, 2129762 fired transitions, 2245 secs || 2286724 markings, 2893155 edges, 1019 markings/sec, 2245 secs
lola: STP completed || 3 tries, 2134454 fired transitions, 2250 secs || 2291719 markings, 2899431 edges, 999 markings/sec, 2250 secs
lola: STP completed || 3 tries, 2139233 fired transitions, 2255 secs || 2296692 markings, 2905791 edges, 995 markings/sec, 2255 secs
lola: STP completed || 3 tries, 2143939 fired transitions, 2260 secs || 2301703 markings, 2912080 edges, 1002 markings/sec, 2260 secs
lola: STP completed || 3 tries, 2148619 fired transitions, 2265 secs || 2306717 markings, 2918375 edges, 1003 markings/sec, 2265 secs
lola: STP completed || 3 tries, 2153330 fired transitions, 2270 secs || 2311812 markings, 2924875 edges, 1019 markings/sec, 2270 secs
lola: STP completed || 3 tries, 2158029 fired transitions, 2275 secs || 2316912 markings, 2931268 edges, 1020 markings/sec, 2275 secs
lola: STP completed || 3 tries, 2162799 fired transitions, 2280 secs || 2322041 markings, 2937709 edges, 1026 markings/sec, 2280 secs
lola: STP completed || 3 tries, 2167547 fired transitions, 2285 secs || 2327233 markings, 2943890 edges, 1038 markings/sec, 2285 secs
lola: STP completed || 3 tries, 2172209 fired transitions, 2290 secs || 2332198 markings, 2950235 edges, 993 markings/sec, 2290 secs
lola: STP completed || 3 tries, 2176913 fired transitions, 2295 secs || 2337235 markings, 2956555 edges, 1007 markings/sec, 2295 secs
lola: STP completed || 3 tries, 2181628 fired transitions, 2300 secs || 2342321 markings, 2962936 edges, 1017 markings/sec, 2300 secs
lola: STP completed || 3 tries, 2186375 fired transitions, 2305 secs || 2347419 markings, 2969439 edges, 1020 markings/sec, 2305 secs
lola: STP completed || 3 tries, 2191129 fired transitions, 2310 secs || 2352458 markings, 2975870 edges, 1008 markings/sec, 2310 secs
lola: STP completed || 3 tries, 2195815 fired transitions, 2315 secs || 2357580 markings, 2982184 edges, 1024 markings/sec, 2315 secs
lola: STP completed || 3 tries, 2200556 fired transitions, 2320 secs || 2362754 markings, 2988319 edges, 1035 markings/sec, 2320 secs
lola: STP completed || 3 tries, 2205331 fired transitions, 2325 secs || 2367931 markings, 2994636 edges, 1035 markings/sec, 2325 secs
lola: STP completed || 3 tries, 2210137 fired transitions, 2330 secs || 2373081 markings, 3001127 edges, 1030 markings/sec, 2330 secs
lola: STP completed || 3 tries, 2214903 fired transitions, 2335 secs || 2378266 markings, 3007734 edges, 1037 markings/sec, 2335 secs
lola: STP completed || 3 tries, 2219678 fired transitions, 2340 secs || 2383465 markings, 3014312 edges, 1040 markings/sec, 2340 secs
lola: STP completed || 3 tries, 2224461 fired transitions, 2345 secs || 2388686 markings, 3020803 edges, 1044 markings/sec, 2345 secs
lola: STP completed || 3 tries, 2229230 fired transitions, 2350 secs || 2393885 markings, 3027791 edges, 1040 markings/sec, 2350 secs
lola: STP completed || 3 tries, 2234025 fired transitions, 2355 secs || 2399117 markings, 3034748 edges, 1046 markings/sec, 2355 secs
lola: STP completed || 3 tries, 2238809 fired transitions, 2360 secs || 2404267 markings, 3041537 edges, 1030 markings/sec, 2360 secs
lola: STP completed || 3 tries, 2243579 fired transitions, 2365 secs || 2409422 markings, 3048145 edges, 1031 markings/sec, 2365 secs
lola: STP completed || 3 tries, 2248349 fired transitions, 2370 secs || 2414573 markings, 3054676 edges, 1030 markings/sec, 2370 secs
lola: STP completed || 3 tries, 2253159 fired transitions, 2375 secs || 2419738 markings, 3061312 edges, 1033 markings/sec, 2375 secs
lola: STP completed || 3 tries, 2257976 fired transitions, 2380 secs || 2424900 markings, 3068047 edges, 1032 markings/sec, 2380 secs
lola: STP completed || 3 tries, 2262746 fired transitions, 2385 secs || 2430019 markings, 3074733 edges, 1024 markings/sec, 2385 secs
lola: STP completed || 3 tries, 2267510 fired transitions, 2390 secs || 2435074 markings, 3081344 edges, 1011 markings/sec, 2390 secs
lola: STP completed || 3 tries, 2272361 fired transitions, 2395 secs || 2440150 markings, 3088097 edges, 1015 markings/sec, 2395 secs
lola: STP completed || 3 tries, 2277174 fired transitions, 2400 secs || 2445235 markings, 3094945 edges, 1017 markings/sec, 2400 secs
lola: STP completed || 3 tries, 2282026 fired transitions, 2405 secs || 2450431 markings, 3101655 edges, 1039 markings/sec, 2405 secs
lola: STP completed || 3 tries, 2286868 fired transitions, 2410 secs || 2455566 markings, 3108207 edges, 1027 markings/sec, 2410 secs
lola: STP completed || 3 tries, 2291674 fired transitions, 2415 secs || 2460709 markings, 3114772 edges, 1029 markings/sec, 2415 secs
lola: STP completed || 3 tries, 2296341 fired transitions, 2420 secs || 2465713 markings, 3121300 edges, 1001 markings/sec, 2420 secs
lola: STP completed || 3 tries, 2301102 fired transitions, 2425 secs || 2470721 markings, 3127604 edges, 1002 markings/sec, 2425 secs
lola: STP completed || 3 tries, 2305844 fired transitions, 2430 secs || 2475694 markings, 3134843 edges, 995 markings/sec, 2430 secs
lola: STP completed || 3 tries, 2310594 fired transitions, 2435 secs || 2480710 markings, 3141527 edges, 1003 markings/sec, 2435 secs
lola: STP completed || 3 tries, 2315281 fired transitions, 2440 secs || 2485816 markings, 3148354 edges, 1021 markings/sec, 2440 secs
lola: STP completed || 3 tries, 2320056 fired transitions, 2445 secs || 2490961 markings, 3154935 edges, 1029 markings/sec, 2445 secs
lola: STP completed || 3 tries, 2324765 fired transitions, 2450 secs || 2495955 markings, 3161474 edges, 999 markings/sec, 2450 secs
lola: STP completed || 3 tries, 2329501 fired transitions, 2455 secs || 2500973 markings, 3167694 edges, 1004 markings/sec, 2455 secs
lola: STP completed || 3 tries, 2334319 fired transitions, 2460 secs || 2505992 markings, 3174185 edges, 1004 markings/sec, 2460 secs
lola: STP completed || 3 tries, 2339094 fired transitions, 2465 secs || 2511144 markings, 3180764 edges, 1030 markings/sec, 2465 secs
lola: STP completed || 3 tries, 2343808 fired transitions, 2470 secs || 2516265 markings, 3187602 edges, 1024 markings/sec, 2470 secs
lola: STP completed || 3 tries, 2348535 fired transitions, 2475 secs || 2521228 markings, 3193870 edges, 993 markings/sec, 2475 secs
lola: STP completed || 3 tries, 2353295 fired transitions, 2480 secs || 2526319 markings, 3200827 edges, 1018 markings/sec, 2480 secs
lola: STP completed || 3 tries, 2358104 fired transitions, 2485 secs || 2531426 markings, 3207230 edges, 1021 markings/sec, 2485 secs
lola: STP completed || 3 tries, 2362915 fired transitions, 2490 secs || 2536572 markings, 3213701 edges, 1029 markings/sec, 2490 secs
lola: STP completed || 3 tries, 2367661 fired transitions, 2495 secs || 2541704 markings, 3220325 edges, 1026 markings/sec, 2495 secs
lola: STP completed || 3 tries, 2372464 fired transitions, 2500 secs || 2546805 markings, 3227348 edges, 1020 markings/sec, 2500 secs
lola: STP completed || 3 tries, 2377223 fired transitions, 2505 secs || 2551933 markings, 3233905 edges, 1026 markings/sec, 2505 secs
lola: STP completed || 3 tries, 2381987 fired transitions, 2510 secs || 2557060 markings, 3240284 edges, 1025 markings/sec, 2510 secs
lola: STP completed || 3 tries, 2386751 fired transitions, 2515 secs || 2562213 markings, 3246621 edges, 1031 markings/sec, 2515 secs
lola: STP completed || 3 tries, 2391530 fired transitions, 2520 secs || 2567332 markings, 3253225 edges, 1024 markings/sec, 2520 secs
lola: STP completed || 3 tries, 2396289 fired transitions, 2525 secs || 2572516 markings, 3260042 edges, 1037 markings/sec, 2525 secs
lola: STP completed || 3 tries, 2400848 fired transitions, 2530 secs || 2577431 markings, 3266402 edges, 983 markings/sec, 2530 secs
lola: STP completed || 3 tries, 2405528 fired transitions, 2535 secs || 2582524 markings, 3273092 edges, 1019 markings/sec, 2535 secs
lola: STP completed || 3 tries, 2410098 fired transitions, 2540 secs || 2587379 markings, 3279536 edges, 971 markings/sec, 2540 secs
lola: STP completed || 3 tries, 2414866 fired transitions, 2545 secs || 2592481 markings, 3286449 edges, 1020 markings/sec, 2545 secs
lola: STP completed || 3 tries, 2419633 fired transitions, 2550 secs || 2597595 markings, 3293177 edges, 1023 markings/sec, 2550 secs
lola: STP completed || 3 tries, 2424418 fired transitions, 2555 secs || 2602712 markings, 3299635 edges, 1023 markings/sec, 2555 secs
lola: STP completed || 3 tries, 2429218 fired transitions, 2560 secs || 2607839 markings, 3306332 edges, 1025 markings/sec, 2560 secs
lola: STP completed || 3 tries, 2434048 fired transitions, 2565 secs || 2612943 markings, 3312934 edges, 1021 markings/sec, 2565 secs
lola: STP completed || 3 tries, 2438807 fired transitions, 2570 secs || 2618002 markings, 3319116 edges, 1012 markings/sec, 2570 secs
lola: STP completed || 3 tries, 2443585 fired transitions, 2575 secs || 2623115 markings, 3325869 edges, 1023 markings/sec, 2575 secs
lola: STP completed || 3 tries, 2448395 fired transitions, 2580 secs || 2628244 markings, 3332437 edges, 1026 markings/sec, 2580 secs
lola: STP completed || 3 tries, 2453204 fired transitions, 2585 secs || 2633340 markings, 3338909 edges, 1019 markings/sec, 2585 secs
lola: STP completed || 3 tries, 2458005 fired transitions, 2590 secs || 2638453 markings, 3345365 edges, 1023 markings/sec, 2590 secs
lola: STP completed || 3 tries, 2462817 fired transitions, 2595 secs || 2643594 markings, 3351599 edges, 1028 markings/sec, 2595 secs
lola: STP completed || 3 tries, 2467603 fired transitions, 2600 secs || 2648753 markings, 3358070 edges, 1032 markings/sec, 2600 secs
lola: STP completed || 3 tries, 2472404 fired transitions, 2605 secs || 2653883 markings, 3364806 edges, 1026 markings/sec, 2605 secs
lola: STP completed || 3 tries, 2477200 fired transitions, 2610 secs || 2658983 markings, 3371528 edges, 1020 markings/sec, 2610 secs
lola: STP completed || 3 tries, 2481977 fired transitions, 2615 secs || 2664020 markings, 3378022 edges, 1007 markings/sec, 2615 secs
lola: STP completed || 3 tries, 2486781 fired transitions, 2620 secs || 2669179 markings, 3384290 edges, 1032 markings/sec, 2620 secs
lola: STP completed || 3 tries, 2491571 fired transitions, 2625 secs || 2674335 markings, 3390559 edges, 1031 markings/sec, 2625 secs
lola: STP completed || 3 tries, 2496330 fired transitions, 2630 secs || 2679384 markings, 3397576 edges, 1010 markings/sec, 2630 secs
lola: STP completed || 3 tries, 2501105 fired transitions, 2635 secs || 2684458 markings, 3404109 edges, 1015 markings/sec, 2635 secs
lola: STP completed || 3 tries, 2505925 fired transitions, 2640 secs || 2689526 markings, 3410618 edges, 1014 markings/sec, 2640 secs
lola: STP completed || 3 tries, 2510562 fired transitions, 2645 secs || 2694395 markings, 3417204 edges, 974 markings/sec, 2645 secs
lola: STP completed || 3 tries, 2515362 fired transitions, 2650 secs || 2699522 markings, 3423587 edges, 1025 markings/sec, 2650 secs
lola: STP completed || 3 tries, 2520158 fired transitions, 2655 secs || 2704616 markings, 3430558 edges, 1019 markings/sec, 2655 secs
lola: STP completed || 3 tries, 2524931 fired transitions, 2660 secs || 2709685 markings, 3437134 edges, 1014 markings/sec, 2660 secs
lola: STP completed || 3 tries, 2529746 fired transitions, 2665 secs || 2714822 markings, 3443788 edges, 1027 markings/sec, 2665 secs
lola: STP completed || 3 tries, 2534532 fired transitions, 2670 secs || 2719958 markings, 3450098 edges, 1027 markings/sec, 2670 secs
lola: STP completed || 3 tries, 2539327 fired transitions, 2675 secs || 2725085 markings, 3456899 edges, 1025 markings/sec, 2675 secs
lola: STP completed || 3 tries, 2544087 fired transitions, 2680 secs || 2730169 markings, 3463557 edges, 1017 markings/sec, 2680 secs
lola: STP completed || 3 tries, 2548828 fired transitions, 2685 secs || 2735251 markings, 3470063 edges, 1016 markings/sec, 2685 secs
lola: STP completed || 3 tries, 2553576 fired transitions, 2690 secs || 2740350 markings, 3476425 edges, 1020 markings/sec, 2690 secs
lola: STP completed || 3 tries, 2558329 fired transitions, 2695 secs || 2745446 markings, 3483140 edges, 1019 markings/sec, 2695 secs
lola: STP completed || 3 tries, 2563092 fired transitions, 2700 secs || 2750546 markings, 3489610 edges, 1020 markings/sec, 2700 secs
lola: STP completed || 3 tries, 2567700 fired transitions, 2705 secs || 2755563 markings, 3496297 edges, 1003 markings/sec, 2705 secs
lola: STP completed || 3 tries, 2572465 fired transitions, 2710 secs || 2760672 markings, 3502819 edges, 1022 markings/sec, 2710 secs
lola: STP completed || 3 tries, 2577269 fired transitions, 2715 secs || 2765743 markings, 3509279 edges, 1014 markings/sec, 2715 secs
lola: STP completed || 3 tries, 2582043 fired transitions, 2720 secs || 2770807 markings, 3515666 edges, 1013 markings/sec, 2720 secs
lola: STP completed || 3 tries, 2586845 fired transitions, 2725 secs || 2775890 markings, 3522286 edges, 1017 markings/sec, 2725 secs
lola: STP completed || 3 tries, 2591644 fired transitions, 2730 secs || 2780993 markings, 3528698 edges, 1021 markings/sec, 2730 secs
lola: STP completed || 3 tries, 2596402 fired transitions, 2735 secs || 2786092 markings, 3535245 edges, 1020 markings/sec, 2735 secs
lola: STP completed || 3 tries, 2601152 fired transitions, 2740 secs || 2791191 markings, 3541837 edges, 1020 markings/sec, 2740 secs
lola: STP completed || 3 tries, 2605975 fired transitions, 2745 secs || 2796264 markings, 3548644 edges, 1015 markings/sec, 2745 secs
lola: STP completed || 3 tries, 2610784 fired transitions, 2750 secs || 2801364 markings, 3555208 edges, 1020 markings/sec, 2750 secs
lola: STP completed || 3 tries, 2615530 fired transitions, 2755 secs || 2806374 markings, 3561813 edges, 1002 markings/sec, 2755 secs
lola: STP completed || 3 tries, 2620355 fired transitions, 2760 secs || 2811395 markings, 3568032 edges, 1004 markings/sec, 2760 secs
lola: STP completed || 3 tries, 2625128 fired transitions, 2765 secs || 2816477 markings, 3574718 edges, 1016 markings/sec, 2765 secs
lola: STP completed || 3 tries, 2629916 fired transitions, 2770 secs || 2821607 markings, 3581365 edges, 1026 markings/sec, 2770 secs
lola: STP completed || 3 tries, 2634729 fired transitions, 2775 secs || 2826755 markings, 3588062 edges, 1030 markings/sec, 2775 secs
lola: STP completed || 3 tries, 2639553 fired transitions, 2780 secs || 2831786 markings, 3594577 edges, 1006 markings/sec, 2780 secs
lola: STP completed || 3 tries, 2644240 fired transitions, 2785 secs || 2836688 markings, 3601148 edges, 980 markings/sec, 2785 secs
lola: STP completed || 3 tries, 2649107 fired transitions, 2790 secs || 2841817 markings, 3607742 edges, 1026 markings/sec, 2790 secs
lola: STP completed || 3 tries, 2653841 fired transitions, 2795 secs || 2846985 markings, 3614371 edges, 1034 markings/sec, 2795 secs
lola: STP completed || 3 tries, 2658660 fired transitions, 2800 secs || 2852146 markings, 3620971 edges, 1032 markings/sec, 2800 secs
lola: STP completed || 3 tries, 2663476 fired transitions, 2805 secs || 2857349 markings, 3627513 edges, 1041 markings/sec, 2805 secs
lola: STP completed || 3 tries, 2668302 fired transitions, 2810 secs || 2862413 markings, 3634045 edges, 1013 markings/sec, 2810 secs
lola: STP completed || 3 tries, 2673103 fired transitions, 2815 secs || 2867556 markings, 3640665 edges, 1029 markings/sec, 2815 secs
lola: STP completed || 3 tries, 2677966 fired transitions, 2820 secs || 2872660 markings, 3647195 edges, 1021 markings/sec, 2820 secs
lola: STP completed || 3 tries, 2682812 fired transitions, 2825 secs || 2877841 markings, 3653801 edges, 1036 markings/sec, 2825 secs
lola: STP completed || 3 tries, 2687646 fired transitions, 2830 secs || 2882998 markings, 3660625 edges, 1031 markings/sec, 2830 secs
lola: STP completed || 3 tries, 2692468 fired transitions, 2835 secs || 2888139 markings, 3667862 edges, 1028 markings/sec, 2835 secs
lola: STP completed || 3 tries, 2697303 fired transitions, 2840 secs || 2893254 markings, 3674424 edges, 1023 markings/sec, 2840 secs
lola: STP completed || 3 tries, 2702137 fired transitions, 2845 secs || 2898386 markings, 3681020 edges, 1026 markings/sec, 2845 secs
lola: STP completed || 3 tries, 2706982 fired transitions, 2850 secs || 2903540 markings, 3687566 edges, 1031 markings/sec, 2850 secs
lola: STP completed || 3 tries, 2711816 fired transitions, 2855 secs || 2908694 markings, 3694074 edges, 1031 markings/sec, 2855 secs
lola: STP completed || 3 tries, 2716676 fired transitions, 2860 secs || 2913873 markings, 3700783 edges, 1036 markings/sec, 2860 secs
lola: STP completed || 3 tries, 2721559 fired transitions, 2865 secs || 2919043 markings, 3707373 edges, 1034 markings/sec, 2865 secs
lola: STP completed || 3 tries, 2726418 fired transitions, 2870 secs || 2924135 markings, 3714017 edges, 1018 markings/sec, 2870 secs
lola: STP completed || 3 tries, 2731089 fired transitions, 2875 secs || 2928945 markings, 3720371 edges, 962 markings/sec, 2875 secs
lola: STP completed || 3 tries, 2735899 fired transitions, 2880 secs || 2934114 markings, 3727081 edges, 1034 markings/sec, 2880 secs
lola: STP completed || 3 tries, 2740754 fired transitions, 2885 secs || 2939266 markings, 3733577 edges, 1030 markings/sec, 2885 secs
lola: STP completed || 3 tries, 2745592 fired transitions, 2890 secs || 2944407 markings, 3740265 edges, 1028 markings/sec, 2890 secs
lola: STP completed || 3 tries, 2750375 fired transitions, 2895 secs || 2949475 markings, 3746779 edges, 1014 markings/sec, 2895 secs
lola: STP completed || 3 tries, 2755135 fired transitions, 2900 secs || 2954493 markings, 3753680 edges, 1004 markings/sec, 2900 secs
lola: STP completed || 3 tries, 2759743 fired transitions, 2905 secs || 2959472 markings, 3760095 edges, 996 markings/sec, 2905 secs
lola: STP completed || 3 tries, 2764496 fired transitions, 2910 secs || 2964578 markings, 3766800 edges, 1021 markings/sec, 2910 secs
lola: STP completed || 3 tries, 2769226 fired transitions, 2915 secs || 2969649 markings, 3773458 edges, 1014 markings/sec, 2915 secs
lola: STP completed || 3 tries, 2773970 fired transitions, 2920 secs || 2974647 markings, 3780040 edges, 1000 markings/sec, 2920 secs
lola: STP completed || 3 tries, 2778706 fired transitions, 2925 secs || 2979687 markings, 3786762 edges, 1008 markings/sec, 2925 secs
lola: STP completed || 3 tries, 2783488 fired transitions, 2930 secs || 2984667 markings, 3793438 edges, 996 markings/sec, 2930 secs
lola: STP completed || 3 tries, 2788254 fired transitions, 2935 secs || 2989729 markings, 3799813 edges, 1012 markings/sec, 2935 secs
lola: STP completed || 3 tries, 2793012 fired transitions, 2940 secs || 2994770 markings, 3806400 edges, 1008 markings/sec, 2940 secs
lola: STP completed || 3 tries, 2797761 fired transitions, 2945 secs || 2999834 markings, 3812817 edges, 1013 markings/sec, 2945 secs
lola: STP completed || 3 tries, 2802509 fired transitions, 2950 secs || 3004880 markings, 3819323 edges, 1009 markings/sec, 2950 secs
lola: STP completed || 3 tries, 2807242 fired transitions, 2955 secs || 3009932 markings, 3825717 edges, 1010 markings/sec, 2955 secs
lola: STP completed || 3 tries, 2811967 fired transitions, 2960 secs || 3014933 markings, 3832995 edges, 1000 markings/sec, 2960 secs
lola: STP completed || 3 tries, 2816481 fired transitions, 2965 secs || 3019788 markings, 3839617 edges, 971 markings/sec, 2965 secs
lola: STP completed || 3 tries, 2821206 fired transitions, 2970 secs || 3024832 markings, 3846162 edges, 1009 markings/sec, 2970 secs
lola: STP completed || 3 tries, 2825942 fired transitions, 2975 secs || 3029930 markings, 3852353 edges, 1020 markings/sec, 2975 secs
lola: STP completed || 3 tries, 2830686 fired transitions, 2980 secs || 3035038 markings, 3858541 edges, 1022 markings/sec, 2980 secs
lola: STP completed || 3 tries, 2835431 fired transitions, 2985 secs || 3040145 markings, 3865082 edges, 1021 markings/sec, 2985 secs
lola: STP completed || 3 tries, 2840147 fired transitions, 2990 secs || 3045210 markings, 3871678 edges, 1013 markings/sec, 2990 secs
lola: STP completed || 3 tries, 2844852 fired transitions, 2995 secs || 3050251 markings, 3878228 edges, 1008 markings/sec, 2995 secs
lola: STP completed || 3 tries, 2849563 fired transitions, 3000 secs || 3055308 markings, 3884631 edges, 1011 markings/sec, 3000 secs
lola: STP completed || 3 tries, 2854353 fired transitions, 3005 secs || 3060441 markings, 3891177 edges, 1027 markings/sec, 3005 secs
lola: STP completed || 3 tries, 2859149 fired transitions, 3010 secs || 3065613 markings, 3897594 edges, 1034 markings/sec, 3010 secs
lola: STP completed || 3 tries, 2863925 fired transitions, 3015 secs || 3070756 markings, 3904043 edges, 1029 markings/sec, 3015 secs
lola: STP completed || 3 tries, 2868688 fired transitions, 3020 secs || 3075882 markings, 3910507 edges, 1025 markings/sec, 3020 secs
lola: STP completed || 3 tries, 2873532 fired transitions, 3025 secs || 3081011 markings, 3917180 edges, 1026 markings/sec, 3025 secs
lola: STP completed || 3 tries, 2878285 fired transitions, 3030 secs || 3086135 markings, 3923762 edges, 1025 markings/sec, 3030 secs
lola: STP completed || 3 tries, 2883066 fired transitions, 3035 secs || 3091325 markings, 3930338 edges, 1038 markings/sec, 3035 secs
lola: STP completed || 3 tries, 2887863 fired transitions, 3040 secs || 3096424 markings, 3936819 edges, 1020 markings/sec, 3040 secs
lola: STP completed || 3 tries, 2892640 fired transitions, 3045 secs || 3101582 markings, 3943506 edges, 1032 markings/sec, 3045 secs
lola: STP completed || 3 tries, 2897384 fired transitions, 3050 secs || 3106740 markings, 3950191 edges, 1032 markings/sec, 3050 secs
lola: STP completed || 3 tries, 2902173 fired transitions, 3055 secs || 3111829 markings, 3956770 edges, 1018 markings/sec, 3055 secs
lola: STP completed || 3 tries, 2906978 fired transitions, 3060 secs || 3116878 markings, 3963396 edges, 1010 markings/sec, 3060 secs
lola: STP completed || 3 tries, 2911758 fired transitions, 3065 secs || 3121916 markings, 3970144 edges, 1008 markings/sec, 3065 secs
lola: STP completed || 3 tries, 2916526 fired transitions, 3070 secs || 3126980 markings, 3976820 edges, 1013 markings/sec, 3070 secs
lola: STP completed || 3 tries, 2921348 fired transitions, 3075 secs || 3132063 markings, 3983450 edges, 1017 markings/sec, 3075 secs
lola: STP completed || 3 tries, 2926148 fired transitions, 3080 secs || 3137089 markings, 3989824 edges, 1005 markings/sec, 3080 secs
lola: STP completed || 3 tries, 2930951 fired transitions, 3085 secs || 3142093 markings, 3996615 edges, 1001 markings/sec, 3085 secs
lola: STP completed || 3 tries, 2935735 fired transitions, 3090 secs || 3147218 markings, 4003088 edges, 1025 markings/sec, 3090 secs
lola: STP completed || 3 tries, 2940558 fired transitions, 3095 secs || 3152273 markings, 4009654 edges, 1011 markings/sec, 3095 secs
lola: STP completed || 3 tries, 2945379 fired transitions, 3100 secs || 3157394 markings, 4016282 edges, 1024 markings/sec, 3100 secs
lola: STP completed || 3 tries, 2950187 fired transitions, 3105 secs || 3162525 markings, 4022766 edges, 1026 markings/sec, 3105 secs
lola: STP completed || 3 tries, 2955006 fired transitions, 3110 secs || 3167665 markings, 4029357 edges, 1028 markings/sec, 3110 secs
lola: STP completed || 3 tries, 2959637 fired transitions, 3115 secs || 3172621 markings, 4035689 edges, 991 markings/sec, 3115 secs
lola: STP completed || 3 tries, 2964323 fired transitions, 3120 secs || 3177573 markings, 4042315 edges, 990 markings/sec, 3120 secs
lola: STP completed || 3 tries, 2968967 fired transitions, 3125 secs || 3182504 markings, 4048529 edges, 986 markings/sec, 3125 secs
lola: STP completed || 3 tries, 2973599 fired transitions, 3130 secs || 3187440 markings, 4054581 edges, 987 markings/sec, 3130 secs
lola: STP completed || 3 tries, 2978220 fired transitions, 3135 secs || 3192444 markings, 4060785 edges, 1001 markings/sec, 3135 secs
lola: STP completed || 3 tries, 2982870 fired transitions, 3140 secs || 3197417 markings, 4067005 edges, 995 markings/sec, 3140 secs
lola: STP completed || 3 tries, 2987498 fired transitions, 3145 secs || 3202392 markings, 4073347 edges, 995 markings/sec, 3145 secs
lola: STP completed || 3 tries, 2992141 fired transitions, 3150 secs || 3207309 markings, 4079496 edges, 983 markings/sec, 3150 secs
lola: STP completed || 3 tries, 2996769 fired transitions, 3155 secs || 3212323 markings, 4085919 edges, 1003 markings/sec, 3155 secs
lola: STP completed || 4 tries, 3001437 fired transitions, 3160 secs || 3217387 markings, 4092371 edges, 1013 markings/sec, 3160 secs
lola: STP completed || 4 tries, 3006126 fired transitions, 3165 secs || 3222434 markings, 4098917 edges, 1009 markings/sec, 3165 secs
lola: STP completed || 4 tries, 3010828 fired transitions, 3170 secs || 3227481 markings, 4105451 edges, 1009 markings/sec, 3170 secs
lola: STP completed || 4 tries, 3015521 fired transitions, 3175 secs || 3232472 markings, 4111948 edges, 998 markings/sec, 3175 secs
lola: STP completed || 4 tries, 3020218 fired transitions, 3180 secs || 3237490 markings, 4118524 edges, 1004 markings/sec, 3180 secs
lola: STP completed || 4 tries, 3024883 fired transitions, 3185 secs || 3242449 markings, 4125015 edges, 992 markings/sec, 3185 secs
lola: STP completed || 4 tries, 3029561 fired transitions, 3190 secs || 3247456 markings, 4131419 edges, 1001 markings/sec, 3190 secs
lola: STP completed || 4 tries, 3034240 fired transitions, 3195 secs || 3252426 markings, 4137980 edges, 994 markings/sec, 3195 secs
lola: STP completed || 4 tries, 3038936 fired transitions, 3200 secs || 3257375 markings, 4144335 edges, 990 markings/sec, 3200 secs
lola: STP completed || 4 tries, 3043655 fired transitions, 3205 secs || 3262332 markings, 4150632 edges, 991 markings/sec, 3205 secs
lola: STP completed || 4 tries, 3048368 fired transitions, 3210 secs || 3267358 markings, 4157109 edges, 1005 markings/sec, 3210 secs
lola: STP completed || 4 tries, 3053092 fired transitions, 3215 secs || 3272387 markings, 4163665 edges, 1006 markings/sec, 3215 secs
lola: STP completed || 4 tries, 3057805 fired transitions, 3220 secs || 3277368 markings, 4170101 edges, 996 markings/sec, 3220 secs
lola: STP completed || 4 tries, 3062536 fired transitions, 3225 secs || 3282353 markings, 4176798 edges, 997 markings/sec, 3225 secs
lola: STP completed || 4 tries, 3067257 fired transitions, 3230 secs || 3287328 markings, 4183190 edges, 995 markings/sec, 3230 secs
lola: STP completed || 4 tries, 3071978 fired transitions, 3235 secs || 3292346 markings, 4189633 edges, 1004 markings/sec, 3235 secs
lola: STP completed || 4 tries, 3076667 fired transitions, 3240 secs || 3297335 markings, 4196040 edges, 998 markings/sec, 3240 secs
lola: STP completed || 4 tries, 3081364 fired transitions, 3245 secs || 3302364 markings, 4202381 edges, 1006 markings/sec, 3245 secs
lola: STP completed || 4 tries, 3086094 fired transitions, 3250 secs || 3307357 markings, 4208742 edges, 999 markings/sec, 3250 secs
lola: STP completed || 4 tries, 3090787 fired transitions, 3255 secs || 3312382 markings, 4215228 edges, 1005 markings/sec, 3255 secs
lola: STP completed || 4 tries, 3095447 fired transitions, 3260 secs || 3317347 markings, 4221504 edges, 993 markings/sec, 3260 secs
lola: STP completed || 4 tries, 3100069 fired transitions, 3265 secs || 3322367 markings, 4228001 edges, 1004 markings/sec, 3265 secs
lola: STP completed || 4 tries, 3104803 fired transitions, 3270 secs || 3327402 markings, 4234618 edges, 1007 markings/sec, 3270 secs
lola: STP completed || 4 tries, 3109445 fired transitions, 3275 secs || 3332376 markings, 4241804 edges, 995 markings/sec, 3275 secs
lola: STP completed || 4 tries, 3114184 fired transitions, 3280 secs || 3337386 markings, 4248147 edges, 1002 markings/sec, 3280 secs
lola: STP completed || 4 tries, 3118912 fired transitions, 3285 secs || 3342381 markings, 4254541 edges, 999 markings/sec, 3285 secs
lola: STP completed || 4 tries, 3123626 fired transitions, 3290 secs || 3347401 markings, 4260839 edges, 1004 markings/sec, 3290 secs
lola: STP completed || 4 tries, 3128362 fired transitions, 3295 secs || 3352312 markings, 4267113 edges, 982 markings/sec, 3295 secs
lola: STP completed || 4 tries, 3133091 fired transitions, 3300 secs || 3357314 markings, 4273415 edges, 1000 markings/sec, 3300 secs
lola: STP completed || 4 tries, 3137804 fired transitions, 3305 secs || 3362328 markings, 4279880 edges, 1003 markings/sec, 3305 secs
lola: STP completed || 4 tries, 3142549 fired transitions, 3310 secs || 3367384 markings, 4286596 edges, 1011 markings/sec, 3310 secs
lola: STP completed || 4 tries, 3147261 fired transitions, 3315 secs || 3372157 markings, 4292643 edges, 955 markings/sec, 3315 secs
lola: STP completed || 4 tries, 3151441 fired transitions, 3320 secs || 3375240 markings, 4296689 edges, 617 markings/sec, 3320 secs
lola: STP completed || 4 tries, 3153085 fired transitions, 3325 secs || 3375628 markings, 4297156 edges, 78 markings/sec, 3325 secs
lola: STP completed || 4 tries, 3153259 fired transitions, 3330 secs || 3375639 markings, 4297168 edges, 2 markings/sec, 3330 secs
lola: STP completed || 4 tries, 3153368 fired transitions, 3335 secs || 3375647 markings, 4297179 edges, 2 markings/sec, 3335 secs
lola: STP completed || 4 tries, 3153441 fired transitions, 3340 secs || 3375659 markings, 4297192 edges, 2 markings/sec, 3340 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 stderr -----
----- Finished stdout -----

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-structural"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/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-structural"
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 r035-ebro-152646315000090"
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 ;