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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15919.270 3342479.00 6637465.00 3233.30 ? normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
...................
/home/mcc/execution
total 22M
-rw-r--r-- 1 mcc users 952K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 2.3M May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.1M May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 2.6M May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 508K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 1.3M May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 264K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 625K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 272K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 653K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 102 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 340 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 1.1M May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.6M May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 19K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 36K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 7.0M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool irma4mcc-full
Input is BART-PT-030, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r030-ebro-152646308100090
=====================================================================


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


BK_STOP 1526746888755

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

Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using BART-PT-030 as instance name.
Using BART as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'ReachabilityDeadlock', 'Place/Transition': True, 'Colored': True, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': True, 'Source Place': False, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': False, 'Conservative': True, 'Sub-Conservative': True, 'Nested Units': False, 'Safe': True, 'Deadlock': False, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 5125, 'Memory': 1245.33, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
ReachabilityDeadlock lola BART-PT-030...
----- 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 stdout -----
----- Start make result stderr -----
ReachabilityDeadlock @ BART-PT-030 @ 3539 seconds
make: [verify] Error 137 (ignored)
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished 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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
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: 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: formula with 124652 variables and 721264 clauses shipped to Minisat
lola: STP running || 1 tries, 4457 fired transitions, 0 secs || 2958 markings, 3808 edges, 592 markings/sec, 0 secs
lola: stp: The siphon/trap property is inconclusive since the generated formula is too short
lola: STP completed || 1 tries, 9197 fired transitions, 5 secs || 7993 markings, 10232 edges, 1007 markings/sec, 5 secs
lola: STP completed || 1 tries, 14025 fired transitions, 10 secs || 13294 markings, 16949 edges, 1060 markings/sec, 10 secs
lola: STP completed || 1 tries, 18960 fired transitions, 15 secs || 18633 markings, 23626 edges, 1068 markings/sec, 15 secs
lola: STP completed || 1 tries, 23778 fired transitions, 20 secs || 23906 markings, 30336 edges, 1055 markings/sec, 20 secs
lola: STP completed || 1 tries, 28577 fired transitions, 25 secs || 29027 markings, 36683 edges, 1024 markings/sec, 25 secs
lola: STP completed || 1 tries, 33456 fired transitions, 30 secs || 34217 markings, 43164 edges, 1038 markings/sec, 30 secs
lola: STP completed || 1 tries, 38314 fired transitions, 35 secs || 39390 markings, 49707 edges, 1035 markings/sec, 35 secs
lola: STP completed || 1 tries, 43154 fired transitions, 40 secs || 44573 markings, 56532 edges, 1037 markings/sec, 40 secs
lola: STP completed || 1 tries, 48003 fired transitions, 45 secs || 49631 markings, 63080 edges, 1012 markings/sec, 45 secs
lola: STP completed || 1 tries, 52880 fired transitions, 50 secs || 54857 markings, 69615 edges, 1045 markings/sec, 50 secs
lola: STP completed || 1 tries, 57721 fired transitions, 55 secs || 60040 markings, 76175 edges, 1037 markings/sec, 55 secs
lola: STP completed || 1 tries, 62554 fired transitions, 60 secs || 65198 markings, 83559 edges, 1032 markings/sec, 60 secs
lola: STP completed || 1 tries, 67415 fired transitions, 65 secs || 70360 markings, 90138 edges, 1032 markings/sec, 65 secs
lola: STP completed || 1 tries, 72219 fired transitions, 70 secs || 75489 markings, 96567 edges, 1026 markings/sec, 70 secs
lola: STP completed || 1 tries, 77036 fired transitions, 75 secs || 80557 markings, 103000 edges, 1014 markings/sec, 75 secs
lola: STP completed || 1 tries, 81878 fired transitions, 80 secs || 85664 markings, 109461 edges, 1021 markings/sec, 80 secs
lola: STP completed || 1 tries, 86687 fired transitions, 85 secs || 90716 markings, 115910 edges, 1010 markings/sec, 85 secs
lola: STP completed || 1 tries, 91474 fired transitions, 90 secs || 95798 markings, 121917 edges, 1016 markings/sec, 90 secs
lola: STP completed || 1 tries, 96257 fired transitions, 95 secs || 100970 markings, 128083 edges, 1034 markings/sec, 95 secs
lola: STP completed || 1 tries, 101053 fired transitions, 100 secs || 106096 markings, 134620 edges, 1025 markings/sec, 100 secs
lola: STP completed || 1 tries, 105850 fired transitions, 105 secs || 111206 markings, 141026 edges, 1022 markings/sec, 105 secs
lola: STP completed || 1 tries, 110663 fired transitions, 110 secs || 116192 markings, 147286 edges, 997 markings/sec, 110 secs
lola: STP completed || 1 tries, 115457 fired transitions, 115 secs || 121238 markings, 153729 edges, 1009 markings/sec, 115 secs
lola: STP completed || 1 tries, 120281 fired transitions, 120 secs || 126333 markings, 160086 edges, 1019 markings/sec, 120 secs
lola: STP completed || 1 tries, 125142 fired transitions, 125 secs || 131548 markings, 166644 edges, 1043 markings/sec, 125 secs
lola: STP completed || 1 tries, 130000 fired transitions, 130 secs || 136678 markings, 173120 edges, 1026 markings/sec, 130 secs
lola: STP completed || 1 tries, 134781 fired transitions, 135 secs || 141813 markings, 179764 edges, 1027 markings/sec, 135 secs
lola: STP completed || 1 tries, 139574 fired transitions, 140 secs || 146979 markings, 186105 edges, 1033 markings/sec, 140 secs
lola: STP completed || 1 tries, 144292 fired transitions, 145 secs || 152152 markings, 192696 edges, 1035 markings/sec, 145 secs
lola: STP completed || 1 tries, 148837 fired transitions, 150 secs || 157361 markings, 199127 edges, 1042 markings/sec, 150 secs
lola: STP completed || 1 tries, 153713 fired transitions, 155 secs || 162645 markings, 205634 edges, 1057 markings/sec, 155 secs
lola: STP completed || 1 tries, 158524 fired transitions, 160 secs || 167609 markings, 212740 edges, 993 markings/sec, 160 secs
lola: STP completed || 1 tries, 163300 fired transitions, 165 secs || 172792 markings, 219324 edges, 1037 markings/sec, 165 secs
lola: STP completed || 1 tries, 168067 fired transitions, 170 secs || 178029 markings, 226350 edges, 1047 markings/sec, 170 secs
lola: STP completed || 1 tries, 172798 fired transitions, 175 secs || 183195 markings, 232686 edges, 1033 markings/sec, 175 secs
lola: STP completed || 1 tries, 177496 fired transitions, 180 secs || 188349 markings, 239571 edges, 1031 markings/sec, 180 secs
lola: STP completed || 1 tries, 182228 fired transitions, 185 secs || 193493 markings, 246021 edges, 1029 markings/sec, 185 secs
lola: STP completed || 1 tries, 186948 fired transitions, 190 secs || 198666 markings, 252505 edges, 1035 markings/sec, 190 secs
lola: STP completed || 1 tries, 191714 fired transitions, 195 secs || 203889 markings, 259045 edges, 1045 markings/sec, 195 secs
lola: STP completed || 1 tries, 196478 fired transitions, 200 secs || 209108 markings, 265858 edges, 1044 markings/sec, 200 secs
lola: STP completed || 1 tries, 201239 fired transitions, 205 secs || 214251 markings, 272328 edges, 1029 markings/sec, 205 secs
lola: STP completed || 1 tries, 206008 fired transitions, 210 secs || 219380 markings, 278715 edges, 1026 markings/sec, 210 secs
lola: STP completed || 1 tries, 210752 fired transitions, 215 secs || 224498 markings, 285298 edges, 1024 markings/sec, 215 secs
lola: STP completed || 1 tries, 215310 fired transitions, 220 secs || 229537 markings, 292069 edges, 1008 markings/sec, 220 secs
lola: STP completed || 1 tries, 219978 fired transitions, 225 secs || 234631 markings, 298536 edges, 1019 markings/sec, 225 secs
lola: STP completed || 1 tries, 224737 fired transitions, 230 secs || 239734 markings, 305021 edges, 1021 markings/sec, 230 secs
lola: STP completed || 1 tries, 229529 fired transitions, 235 secs || 244864 markings, 311795 edges, 1026 markings/sec, 235 secs
lola: STP completed || 1 tries, 234266 fired transitions, 240 secs || 250006 markings, 318306 edges, 1028 markings/sec, 240 secs
lola: STP completed || 1 tries, 238928 fired transitions, 245 secs || 255034 markings, 324915 edges, 1006 markings/sec, 245 secs
lola: STP completed || 1 tries, 243628 fired transitions, 250 secs || 260122 markings, 331144 edges, 1018 markings/sec, 250 secs
lola: STP completed || 1 tries, 248301 fired transitions, 255 secs || 265219 markings, 337792 edges, 1019 markings/sec, 255 secs
lola: STP completed || 1 tries, 252969 fired transitions, 260 secs || 270314 markings, 344190 edges, 1019 markings/sec, 260 secs
lola: STP completed || 1 tries, 257638 fired transitions, 265 secs || 275425 markings, 350242 edges, 1022 markings/sec, 265 secs
lola: STP completed || 1 tries, 262343 fired transitions, 270 secs || 280563 markings, 356325 edges, 1028 markings/sec, 270 secs
lola: STP completed || 1 tries, 267058 fired transitions, 275 secs || 285681 markings, 362762 edges, 1024 markings/sec, 275 secs
lola: STP completed || 1 tries, 271795 fired transitions, 280 secs || 290783 markings, 369327 edges, 1020 markings/sec, 280 secs
lola: STP completed || 1 tries, 276489 fired transitions, 285 secs || 295907 markings, 375752 edges, 1025 markings/sec, 285 secs
lola: STP completed || 1 tries, 281334 fired transitions, 290 secs || 301174 markings, 382455 edges, 1053 markings/sec, 290 secs
lola: STP completed || 1 tries, 286213 fired transitions, 295 secs || 306441 markings, 389050 edges, 1053 markings/sec, 295 secs
lola: STP completed || 1 tries, 290962 fired transitions, 300 secs || 311676 markings, 395601 edges, 1047 markings/sec, 300 secs
lola: STP completed || 1 tries, 295672 fired transitions, 305 secs || 316853 markings, 401736 edges, 1035 markings/sec, 305 secs
lola: STP completed || 1 tries, 300543 fired transitions, 310 secs || 322065 markings, 408376 edges, 1042 markings/sec, 310 secs
lola: STP completed || 1 tries, 305398 fired transitions, 315 secs || 327273 markings, 414896 edges, 1042 markings/sec, 315 secs
lola: STP completed || 1 tries, 310235 fired transitions, 320 secs || 332498 markings, 421442 edges, 1045 markings/sec, 320 secs
lola: STP completed || 1 tries, 315077 fired transitions, 325 secs || 337743 markings, 428142 edges, 1049 markings/sec, 325 secs
lola: STP completed || 1 tries, 319909 fired transitions, 330 secs || 342982 markings, 434813 edges, 1048 markings/sec, 330 secs
lola: STP completed || 1 tries, 324775 fired transitions, 335 secs || 348137 markings, 441479 edges, 1031 markings/sec, 335 secs
lola: STP completed || 1 tries, 329638 fired transitions, 340 secs || 353375 markings, 448122 edges, 1048 markings/sec, 340 secs
lola: STP completed || 1 tries, 334499 fired transitions, 345 secs || 358632 markings, 454774 edges, 1051 markings/sec, 345 secs
lola: STP completed || 1 tries, 339348 fired transitions, 350 secs || 363944 markings, 461537 edges, 1062 markings/sec, 350 secs
lola: STP completed || 1 tries, 344166 fired transitions, 355 secs || 369177 markings, 468233 edges, 1047 markings/sec, 355 secs
lola: STP completed || 1 tries, 348947 fired transitions, 360 secs || 374426 markings, 474919 edges, 1050 markings/sec, 360 secs
lola: STP completed || 1 tries, 353796 fired transitions, 365 secs || 379586 markings, 481407 edges, 1032 markings/sec, 365 secs
lola: STP completed || 1 tries, 358697 fired transitions, 370 secs || 384666 markings, 487844 edges, 1016 markings/sec, 370 secs
lola: STP completed || 1 tries, 363599 fired transitions, 375 secs || 389765 markings, 494354 edges, 1020 markings/sec, 375 secs
lola: STP completed || 1 tries, 368466 fired transitions, 380 secs || 394900 markings, 500885 edges, 1027 markings/sec, 380 secs
lola: STP completed || 1 tries, 373135 fired transitions, 385 secs || 400101 markings, 507460 edges, 1040 markings/sec, 385 secs
lola: STP completed || 1 tries, 377793 fired transitions, 390 secs || 405294 markings, 514199 edges, 1039 markings/sec, 390 secs
lola: STP completed || 1 tries, 382574 fired transitions, 395 secs || 410411 markings, 520780 edges, 1023 markings/sec, 395 secs
lola: STP completed || 1 tries, 387355 fired transitions, 400 secs || 415521 markings, 526974 edges, 1022 markings/sec, 400 secs
lola: STP completed || 1 tries, 392132 fired transitions, 405 secs || 420659 markings, 533405 edges, 1028 markings/sec, 405 secs
lola: STP completed || 1 tries, 396912 fired transitions, 410 secs || 425798 markings, 539999 edges, 1028 markings/sec, 410 secs
lola: STP completed || 1 tries, 401733 fired transitions, 415 secs || 430971 markings, 546483 edges, 1035 markings/sec, 415 secs
lola: STP completed || 1 tries, 406580 fired transitions, 420 secs || 436203 markings, 553146 edges, 1046 markings/sec, 420 secs
lola: STP completed || 1 tries, 411417 fired transitions, 425 secs || 441428 markings, 559555 edges, 1045 markings/sec, 425 secs
lola: STP completed || 1 tries, 416271 fired transitions, 430 secs || 446663 markings, 566597 edges, 1047 markings/sec, 430 secs
lola: STP completed || 1 tries, 421169 fired transitions, 435 secs || 451912 markings, 573001 edges, 1050 markings/sec, 435 secs
lola: STP completed || 1 tries, 426013 fired transitions, 440 secs || 457153 markings, 579947 edges, 1048 markings/sec, 440 secs
lola: STP completed || 1 tries, 430876 fired transitions, 445 secs || 462304 markings, 586401 edges, 1030 markings/sec, 445 secs
lola: STP completed || 1 tries, 435744 fired transitions, 450 secs || 467449 markings, 593116 edges, 1029 markings/sec, 450 secs
lola: STP completed || 1 tries, 440611 fired transitions, 455 secs || 472644 markings, 599684 edges, 1039 markings/sec, 455 secs
lola: STP completed || 1 tries, 445452 fired transitions, 460 secs || 477808 markings, 606153 edges, 1033 markings/sec, 460 secs
lola: STP completed || 1 tries, 450282 fired transitions, 465 secs || 483014 markings, 612578 edges, 1041 markings/sec, 465 secs
lola: STP completed || 1 tries, 455148 fired transitions, 470 secs || 488205 markings, 619208 edges, 1038 markings/sec, 470 secs
lola: STP completed || 1 tries, 459994 fired transitions, 475 secs || 493381 markings, 625714 edges, 1035 markings/sec, 475 secs
lola: STP completed || 1 tries, 464621 fired transitions, 480 secs || 498263 markings, 632057 edges, 976 markings/sec, 480 secs
lola: STP completed || 1 tries, 469515 fired transitions, 485 secs || 503460 markings, 638574 edges, 1039 markings/sec, 485 secs
lola: STP completed || 1 tries, 474375 fired transitions, 490 secs || 508686 markings, 645230 edges, 1045 markings/sec, 490 secs
lola: STP completed || 1 tries, 479190 fired transitions, 495 secs || 513963 markings, 651478 edges, 1055 markings/sec, 495 secs
lola: STP completed || 1 tries, 483819 fired transitions, 500 secs || 519053 markings, 657905 edges, 1018 markings/sec, 500 secs
lola: STP completed || 1 tries, 488696 fired transitions, 505 secs || 524302 markings, 664477 edges, 1050 markings/sec, 505 secs
lola: STP completed || 1 tries, 493566 fired transitions, 510 secs || 529542 markings, 671187 edges, 1048 markings/sec, 510 secs
lola: STP completed || 1 tries, 498390 fired transitions, 515 secs || 534815 markings, 677949 edges, 1055 markings/sec, 515 secs
lola: STP completed || 1 tries, 503256 fired transitions, 520 secs || 540067 markings, 684595 edges, 1050 markings/sec, 520 secs
lola: STP completed || 1 tries, 508104 fired transitions, 525 secs || 545284 markings, 691242 edges, 1043 markings/sec, 525 secs
lola: STP completed || 1 tries, 512930 fired transitions, 530 secs || 550452 markings, 697491 edges, 1034 markings/sec, 530 secs
lola: STP completed || 1 tries, 517747 fired transitions, 535 secs || 555600 markings, 704118 edges, 1030 markings/sec, 535 secs
lola: STP completed || 1 tries, 522575 fired transitions, 540 secs || 560762 markings, 710822 edges, 1032 markings/sec, 540 secs
lola: STP completed || 1 tries, 527395 fired transitions, 545 secs || 565900 markings, 717462 edges, 1028 markings/sec, 545 secs
lola: STP completed || 1 tries, 532207 fired transitions, 550 secs || 571075 markings, 724013 edges, 1035 markings/sec, 550 secs
lola: STP completed || 1 tries, 537033 fired transitions, 555 secs || 576225 markings, 730443 edges, 1030 markings/sec, 555 secs
lola: STP completed || 1 tries, 541872 fired transitions, 560 secs || 581383 markings, 737248 edges, 1032 markings/sec, 560 secs
lola: STP completed || 1 tries, 546731 fired transitions, 565 secs || 586510 markings, 743572 edges, 1025 markings/sec, 565 secs
lola: STP completed || 1 tries, 551559 fired transitions, 570 secs || 591647 markings, 750014 edges, 1027 markings/sec, 570 secs
lola: STP completed || 1 tries, 556291 fired transitions, 575 secs || 596684 markings, 756338 edges, 1007 markings/sec, 575 secs
lola: STP completed || 1 tries, 561138 fired transitions, 580 secs || 601874 markings, 763019 edges, 1038 markings/sec, 580 secs
lola: STP completed || 1 tries, 565952 fired transitions, 585 secs || 607112 markings, 769611 edges, 1048 markings/sec, 585 secs
lola: STP completed || 1 tries, 570811 fired transitions, 590 secs || 612346 markings, 776208 edges, 1047 markings/sec, 590 secs
lola: STP completed || 1 tries, 575664 fired transitions, 595 secs || 617603 markings, 782656 edges, 1051 markings/sec, 595 secs
lola: STP completed || 1 tries, 580433 fired transitions, 600 secs || 622866 markings, 789059 edges, 1053 markings/sec, 600 secs
lola: STP completed || 1 tries, 585228 fired transitions, 605 secs || 628110 markings, 795656 edges, 1049 markings/sec, 605 secs
lola: STP completed || 1 tries, 590098 fired transitions, 610 secs || 633330 markings, 802321 edges, 1044 markings/sec, 610 secs
lola: STP completed || 1 tries, 594957 fired transitions, 615 secs || 638578 markings, 808755 edges, 1050 markings/sec, 615 secs
lola: STP completed || 1 tries, 599817 fired transitions, 620 secs || 643836 markings, 815491 edges, 1052 markings/sec, 620 secs
lola: STP completed || 1 tries, 604689 fired transitions, 625 secs || 649091 markings, 822228 edges, 1051 markings/sec, 625 secs
lola: STP completed || 1 tries, 609455 fired transitions, 630 secs || 654371 markings, 828585 edges, 1056 markings/sec, 630 secs
lola: STP completed || 1 tries, 614315 fired transitions, 635 secs || 659617 markings, 835267 edges, 1049 markings/sec, 635 secs
lola: STP completed || 1 tries, 619152 fired transitions, 640 secs || 664844 markings, 841952 edges, 1045 markings/sec, 640 secs
lola: STP completed || 1 tries, 624004 fired transitions, 645 secs || 670055 markings, 848689 edges, 1042 markings/sec, 645 secs
lola: STP completed || 1 tries, 628869 fired transitions, 650 secs || 675307 markings, 855132 edges, 1050 markings/sec, 650 secs
lola: STP completed || 1 tries, 633727 fired transitions, 655 secs || 680561 markings, 861964 edges, 1051 markings/sec, 655 secs
lola: STP completed || 1 tries, 638568 fired transitions, 660 secs || 685825 markings, 868560 edges, 1053 markings/sec, 660 secs
lola: STP completed || 1 tries, 643416 fired transitions, 665 secs || 691201 markings, 875359 edges, 1075 markings/sec, 665 secs
lola: STP completed || 1 tries, 648282 fired transitions, 670 secs || 696438 markings, 882010 edges, 1047 markings/sec, 670 secs
lola: STP completed || 1 tries, 653157 fired transitions, 675 secs || 701653 markings, 888539 edges, 1043 markings/sec, 675 secs
lola: STP completed || 1 tries, 658027 fired transitions, 680 secs || 706887 markings, 895248 edges, 1047 markings/sec, 680 secs
lola: STP completed || 1 tries, 662892 fired transitions, 685 secs || 712164 markings, 901851 edges, 1055 markings/sec, 685 secs
lola: STP completed || 1 tries, 667751 fired transitions, 690 secs || 717413 markings, 908489 edges, 1050 markings/sec, 690 secs
lola: STP completed || 1 tries, 672609 fired transitions, 695 secs || 722658 markings, 915093 edges, 1049 markings/sec, 695 secs
lola: STP completed || 1 tries, 677501 fired transitions, 700 secs || 727847 markings, 921670 edges, 1038 markings/sec, 700 secs
lola: STP completed || 1 tries, 682372 fired transitions, 705 secs || 733060 markings, 928414 edges, 1043 markings/sec, 705 secs
lola: STP completed || 1 tries, 687226 fired transitions, 710 secs || 738274 markings, 935263 edges, 1043 markings/sec, 710 secs
lola: STP completed || 1 tries, 692078 fired transitions, 715 secs || 743486 markings, 941710 edges, 1042 markings/sec, 715 secs
lola: STP completed || 1 tries, 696959 fired transitions, 720 secs || 748671 markings, 948315 edges, 1037 markings/sec, 720 secs
lola: STP completed || 1 tries, 701827 fired transitions, 725 secs || 753875 markings, 955197 edges, 1041 markings/sec, 725 secs
lola: STP completed || 1 tries, 706695 fired transitions, 730 secs || 759054 markings, 961583 edges, 1036 markings/sec, 730 secs
lola: STP completed || 1 tries, 711549 fired transitions, 735 secs || 764210 markings, 968045 edges, 1031 markings/sec, 735 secs
lola: STP completed || 1 tries, 716417 fired transitions, 740 secs || 769370 markings, 974514 edges, 1032 markings/sec, 740 secs
lola: STP completed || 1 tries, 721240 fired transitions, 745 secs || 774553 markings, 981005 edges, 1037 markings/sec, 745 secs
lola: STP completed || 1 tries, 726088 fired transitions, 750 secs || 779748 markings, 987627 edges, 1039 markings/sec, 750 secs
lola: STP completed || 1 tries, 730927 fired transitions, 755 secs || 784958 markings, 994298 edges, 1042 markings/sec, 755 secs
lola: STP completed || 1 tries, 735760 fired transitions, 760 secs || 790175 markings, 1000694 edges, 1043 markings/sec, 760 secs
lola: STP completed || 1 tries, 740614 fired transitions, 765 secs || 795416 markings, 1006907 edges, 1048 markings/sec, 765 secs
lola: STP completed || 1 tries, 745477 fired transitions, 770 secs || 800615 markings, 1013590 edges, 1040 markings/sec, 770 secs
lola: STP completed || 1 tries, 750321 fired transitions, 775 secs || 805823 markings, 1020032 edges, 1042 markings/sec, 775 secs
lola: STP completed || 1 tries, 755167 fired transitions, 780 secs || 811048 markings, 1026680 edges, 1045 markings/sec, 780 secs
lola: STP completed || 1 tries, 760001 fired transitions, 785 secs || 816296 markings, 1033254 edges, 1050 markings/sec, 785 secs
lola: STP completed || 1 tries, 764841 fired transitions, 790 secs || 821530 markings, 1039959 edges, 1047 markings/sec, 790 secs
lola: STP completed || 1 tries, 769657 fired transitions, 795 secs || 826797 markings, 1046458 edges, 1053 markings/sec, 795 secs
lola: STP completed || 1 tries, 774499 fired transitions, 800 secs || 832027 markings, 1053108 edges, 1046 markings/sec, 800 secs
lola: STP completed || 1 tries, 779367 fired transitions, 805 secs || 837227 markings, 1059625 edges, 1040 markings/sec, 805 secs
lola: STP completed || 1 tries, 784244 fired transitions, 810 secs || 842423 markings, 1066283 edges, 1039 markings/sec, 810 secs
lola: STP completed || 1 tries, 789100 fired transitions, 815 secs || 847645 markings, 1072888 edges, 1044 markings/sec, 815 secs
lola: STP completed || 1 tries, 793946 fired transitions, 820 secs || 852882 markings, 1079492 edges, 1047 markings/sec, 820 secs
lola: STP completed || 1 tries, 798808 fired transitions, 825 secs || 858122 markings, 1086262 edges, 1048 markings/sec, 825 secs
lola: STP completed || 1 tries, 803643 fired transitions, 830 secs || 863442 markings, 1092882 edges, 1064 markings/sec, 830 secs
lola: STP completed || 1 tries, 808494 fired transitions, 835 secs || 868733 markings, 1099625 edges, 1058 markings/sec, 835 secs
lola: STP completed || 1 tries, 813342 fired transitions, 840 secs || 873972 markings, 1106321 edges, 1048 markings/sec, 840 secs
lola: STP completed || 1 tries, 818182 fired transitions, 845 secs || 879201 markings, 1113078 edges, 1046 markings/sec, 845 secs
lola: STP completed || 1 tries, 823021 fired transitions, 850 secs || 884469 markings, 1119537 edges, 1054 markings/sec, 850 secs
lola: STP completed || 1 tries, 827898 fired transitions, 855 secs || 889744 markings, 1126395 edges, 1055 markings/sec, 855 secs
lola: STP completed || 1 tries, 832750 fired transitions, 860 secs || 895026 markings, 1133026 edges, 1056 markings/sec, 860 secs
lola: STP completed || 1 tries, 837610 fired transitions, 865 secs || 900322 markings, 1139971 edges, 1059 markings/sec, 865 secs
lola: STP completed || 1 tries, 842467 fired transitions, 870 secs || 905528 markings, 1146786 edges, 1041 markings/sec, 870 secs
lola: STP completed || 1 tries, 847327 fired transitions, 875 secs || 910739 markings, 1153281 edges, 1042 markings/sec, 875 secs
lola: STP completed || 1 tries, 852173 fired transitions, 880 secs || 915967 markings, 1160018 edges, 1046 markings/sec, 880 secs
lola: STP completed || 1 tries, 857021 fired transitions, 885 secs || 921186 markings, 1166685 edges, 1044 markings/sec, 885 secs
lola: STP completed || 1 tries, 861868 fired transitions, 890 secs || 926385 markings, 1173294 edges, 1040 markings/sec, 890 secs
lola: STP completed || 1 tries, 866734 fired transitions, 895 secs || 931586 markings, 1180158 edges, 1040 markings/sec, 895 secs
lola: STP completed || 1 tries, 871585 fired transitions, 900 secs || 936821 markings, 1186499 edges, 1047 markings/sec, 900 secs
lola: STP completed || 1 tries, 876434 fired transitions, 905 secs || 942021 markings, 1192893 edges, 1040 markings/sec, 905 secs
lola: STP completed || 1 tries, 881292 fired transitions, 910 secs || 947205 markings, 1199633 edges, 1037 markings/sec, 910 secs
lola: STP completed || 1 tries, 886139 fired transitions, 915 secs || 952395 markings, 1206154 edges, 1038 markings/sec, 915 secs
lola: STP completed || 1 tries, 890984 fired transitions, 920 secs || 957616 markings, 1212803 edges, 1044 markings/sec, 920 secs
lola: STP completed || 1 tries, 895757 fired transitions, 925 secs || 962837 markings, 1219199 edges, 1044 markings/sec, 925 secs
lola: STP completed || 1 tries, 900616 fired transitions, 930 secs || 968067 markings, 1226246 edges, 1046 markings/sec, 930 secs
lola: STP completed || 1 tries, 905477 fired transitions, 935 secs || 973301 markings, 1232629 edges, 1047 markings/sec, 935 secs
lola: STP completed || 1 tries, 910335 fired transitions, 940 secs || 978511 markings, 1239348 edges, 1042 markings/sec, 940 secs
lola: STP completed || 1 tries, 915178 fired transitions, 945 secs || 983713 markings, 1246053 edges, 1040 markings/sec, 945 secs
lola: STP completed || 1 tries, 920028 fired transitions, 950 secs || 988930 markings, 1252791 edges, 1043 markings/sec, 950 secs
lola: STP completed || 1 tries, 924889 fired transitions, 955 secs || 994170 markings, 1259324 edges, 1048 markings/sec, 955 secs
lola: STP completed || 1 tries, 929755 fired transitions, 960 secs || 999408 markings, 1266030 edges, 1048 markings/sec, 960 secs
lola: STP completed || 1 tries, 934591 fired transitions, 965 secs || 1004639 markings, 1272485 edges, 1046 markings/sec, 965 secs
lola: STP completed || 1 tries, 939415 fired transitions, 970 secs || 1009857 markings, 1279130 edges, 1044 markings/sec, 970 secs
lola: STP completed || 1 tries, 944261 fired transitions, 975 secs || 1015052 markings, 1285655 edges, 1039 markings/sec, 975 secs
lola: STP completed || 1 tries, 949092 fired transitions, 980 secs || 1020262 markings, 1292406 edges, 1042 markings/sec, 980 secs
lola: STP completed || 1 tries, 953953 fired transitions, 985 secs || 1025520 markings, 1298994 edges, 1052 markings/sec, 985 secs
lola: STP completed || 1 tries, 958797 fired transitions, 990 secs || 1030758 markings, 1305664 edges, 1048 markings/sec, 990 secs
lola: STP completed || 1 tries, 963636 fired transitions, 995 secs || 1036037 markings, 1311916 edges, 1056 markings/sec, 995 secs
lola: STP completed || 1 tries, 968495 fired transitions, 1000 secs || 1041389 markings, 1318729 edges, 1070 markings/sec, 1000 secs
lola: STP completed || 1 tries, 973357 fired transitions, 1005 secs || 1046434 markings, 1325059 edges, 1009 markings/sec, 1005 secs
lola: STP completed || 1 tries, 978160 fired transitions, 1010 secs || 1051677 markings, 1331902 edges, 1049 markings/sec, 1010 secs
lola: STP completed || 1 tries, 983007 fired transitions, 1015 secs || 1056947 markings, 1338544 edges, 1054 markings/sec, 1015 secs
lola: STP completed || 1 tries, 987823 fired transitions, 1020 secs || 1062231 markings, 1345386 edges, 1057 markings/sec, 1020 secs
lola: STP completed || 1 tries, 992680 fired transitions, 1025 secs || 1067440 markings, 1351780 edges, 1042 markings/sec, 1025 secs
lola: STP completed || 1 tries, 997514 fired transitions, 1030 secs || 1072658 markings, 1358403 edges, 1044 markings/sec, 1030 secs
lola: STP completed || 2 tries, 1002348 fired transitions, 1035 secs || 1077874 markings, 1365352 edges, 1043 markings/sec, 1035 secs
lola: STP completed || 2 tries, 1007110 fired transitions, 1040 secs || 1083001 markings, 1371903 edges, 1025 markings/sec, 1040 secs
lola: STP completed || 2 tries, 1011925 fired transitions, 1045 secs || 1088226 markings, 1378548 edges, 1045 markings/sec, 1045 secs
lola: STP completed || 2 tries, 1016766 fired transitions, 1050 secs || 1093440 markings, 1385127 edges, 1043 markings/sec, 1050 secs
lola: STP completed || 2 tries, 1021627 fired transitions, 1055 secs || 1098645 markings, 1391868 edges, 1041 markings/sec, 1055 secs
lola: STP completed || 2 tries, 1026475 fired transitions, 1060 secs || 1103855 markings, 1398404 edges, 1042 markings/sec, 1060 secs
lola: STP completed || 2 tries, 1031358 fired transitions, 1065 secs || 1109030 markings, 1404998 edges, 1035 markings/sec, 1065 secs
lola: STP completed || 2 tries, 1036210 fired transitions, 1070 secs || 1114208 markings, 1411486 edges, 1036 markings/sec, 1070 secs
lola: STP completed || 2 tries, 1041089 fired transitions, 1075 secs || 1119408 markings, 1418180 edges, 1040 markings/sec, 1075 secs
lola: STP completed || 2 tries, 1045935 fired transitions, 1080 secs || 1124637 markings, 1424678 edges, 1046 markings/sec, 1080 secs
lola: STP completed || 2 tries, 1050792 fired transitions, 1085 secs || 1129867 markings, 1431336 edges, 1046 markings/sec, 1085 secs
lola: STP completed || 2 tries, 1055638 fired transitions, 1090 secs || 1135099 markings, 1437552 edges, 1046 markings/sec, 1090 secs
lola: STP completed || 2 tries, 1060480 fired transitions, 1095 secs || 1140320 markings, 1443741 edges, 1044 markings/sec, 1095 secs
lola: STP completed || 2 tries, 1065331 fired transitions, 1100 secs || 1145512 markings, 1450355 edges, 1038 markings/sec, 1100 secs
lola: STP completed || 2 tries, 1070178 fired transitions, 1105 secs || 1150699 markings, 1456852 edges, 1037 markings/sec, 1105 secs
lola: STP completed || 2 tries, 1075063 fired transitions, 1110 secs || 1155944 markings, 1463477 edges, 1049 markings/sec, 1110 secs
lola: STP completed || 2 tries, 1079932 fired transitions, 1115 secs || 1161204 markings, 1470137 edges, 1052 markings/sec, 1115 secs
lola: STP completed || 2 tries, 1084776 fired transitions, 1120 secs || 1166471 markings, 1476842 edges, 1053 markings/sec, 1120 secs
lola: STP completed || 2 tries, 1089565 fired transitions, 1125 secs || 1171711 markings, 1483540 edges, 1048 markings/sec, 1125 secs
lola: STP completed || 2 tries, 1094416 fired transitions, 1130 secs || 1176950 markings, 1490101 edges, 1048 markings/sec, 1130 secs
lola: STP completed || 2 tries, 1099211 fired transitions, 1135 secs || 1182190 markings, 1496659 edges, 1048 markings/sec, 1135 secs
lola: STP completed || 2 tries, 1104071 fired transitions, 1140 secs || 1187453 markings, 1503358 edges, 1053 markings/sec, 1140 secs
lola: STP completed || 2 tries, 1108917 fired transitions, 1145 secs || 1192708 markings, 1510016 edges, 1051 markings/sec, 1145 secs
lola: STP completed || 2 tries, 1113715 fired transitions, 1150 secs || 1197935 markings, 1516249 edges, 1045 markings/sec, 1150 secs
lola: STP completed || 2 tries, 1118536 fired transitions, 1155 secs || 1203009 markings, 1523382 edges, 1015 markings/sec, 1155 secs
lola: STP completed || 2 tries, 1123368 fired transitions, 1160 secs || 1208184 markings, 1529987 edges, 1035 markings/sec, 1160 secs
lola: STP completed || 2 tries, 1128225 fired transitions, 1165 secs || 1213373 markings, 1536716 edges, 1038 markings/sec, 1165 secs
lola: STP completed || 2 tries, 1133065 fired transitions, 1170 secs || 1218553 markings, 1543184 edges, 1036 markings/sec, 1170 secs
lola: STP completed || 2 tries, 1137933 fired transitions, 1175 secs || 1223694 markings, 1549649 edges, 1028 markings/sec, 1175 secs
lola: STP completed || 2 tries, 1142803 fired transitions, 1180 secs || 1228901 markings, 1556507 edges, 1041 markings/sec, 1180 secs
lola: STP completed || 2 tries, 1147696 fired transitions, 1185 secs || 1234109 markings, 1562850 edges, 1042 markings/sec, 1185 secs
lola: STP completed || 2 tries, 1152598 fired transitions, 1190 secs || 1239324 markings, 1569897 edges, 1043 markings/sec, 1190 secs
lola: STP completed || 2 tries, 1157470 fired transitions, 1195 secs || 1244550 markings, 1576651 edges, 1045 markings/sec, 1195 secs
lola: STP completed || 2 tries, 1162344 fired transitions, 1200 secs || 1249768 markings, 1583040 edges, 1044 markings/sec, 1200 secs
lola: STP completed || 2 tries, 1167204 fired transitions, 1205 secs || 1254968 markings, 1589601 edges, 1040 markings/sec, 1205 secs
lola: STP completed || 2 tries, 1172088 fired transitions, 1210 secs || 1260149 markings, 1596178 edges, 1036 markings/sec, 1210 secs
lola: STP completed || 2 tries, 1176968 fired transitions, 1215 secs || 1265350 markings, 1602671 edges, 1040 markings/sec, 1215 secs
lola: STP completed || 2 tries, 1181845 fired transitions, 1220 secs || 1270552 markings, 1609287 edges, 1040 markings/sec, 1220 secs
lola: STP completed || 2 tries, 1186664 fired transitions, 1225 secs || 1275751 markings, 1615756 edges, 1040 markings/sec, 1225 secs
lola: STP completed || 2 tries, 1191532 fired transitions, 1230 secs || 1280920 markings, 1622344 edges, 1034 markings/sec, 1230 secs
lola: STP completed || 2 tries, 1196375 fired transitions, 1235 secs || 1286111 markings, 1628846 edges, 1038 markings/sec, 1235 secs
lola: STP completed || 2 tries, 1201228 fired transitions, 1240 secs || 1291278 markings, 1635340 edges, 1033 markings/sec, 1240 secs
lola: STP completed || 2 tries, 1206102 fired transitions, 1245 secs || 1296528 markings, 1642006 edges, 1050 markings/sec, 1245 secs
lola: STP completed || 2 tries, 1210959 fired transitions, 1250 secs || 1301781 markings, 1648733 edges, 1051 markings/sec, 1250 secs
lola: STP completed || 2 tries, 1215855 fired transitions, 1255 secs || 1307040 markings, 1655182 edges, 1052 markings/sec, 1255 secs
lola: STP completed || 2 tries, 1220724 fired transitions, 1260 secs || 1312274 markings, 1661581 edges, 1047 markings/sec, 1260 secs
lola: STP completed || 2 tries, 1225617 fired transitions, 1265 secs || 1317494 markings, 1668167 edges, 1044 markings/sec, 1265 secs
lola: STP completed || 2 tries, 1230484 fired transitions, 1270 secs || 1322693 markings, 1674695 edges, 1040 markings/sec, 1270 secs
lola: STP completed || 2 tries, 1235363 fired transitions, 1275 secs || 1327915 markings, 1681297 edges, 1044 markings/sec, 1275 secs
lola: STP completed || 2 tries, 1240197 fired transitions, 1280 secs || 1333154 markings, 1687913 edges, 1048 markings/sec, 1280 secs
lola: STP completed || 2 tries, 1245050 fired transitions, 1285 secs || 1338382 markings, 1694682 edges, 1046 markings/sec, 1285 secs
lola: STP completed || 2 tries, 1249923 fired transitions, 1290 secs || 1343659 markings, 1700927 edges, 1055 markings/sec, 1290 secs
lola: STP completed || 2 tries, 1254789 fired transitions, 1295 secs || 1348874 markings, 1707337 edges, 1043 markings/sec, 1295 secs
lola: STP completed || 2 tries, 1259617 fired transitions, 1300 secs || 1354046 markings, 1714022 edges, 1034 markings/sec, 1300 secs
lola: STP completed || 2 tries, 1264397 fired transitions, 1305 secs || 1359192 markings, 1720542 edges, 1029 markings/sec, 1305 secs
lola: STP completed || 2 tries, 1269185 fired transitions, 1310 secs || 1364333 markings, 1727019 edges, 1028 markings/sec, 1310 secs
lola: STP completed || 2 tries, 1273988 fired transitions, 1315 secs || 1369432 markings, 1733492 edges, 1020 markings/sec, 1315 secs
lola: STP completed || 2 tries, 1278778 fired transitions, 1320 secs || 1374585 markings, 1739982 edges, 1031 markings/sec, 1320 secs
lola: STP completed || 2 tries, 1283593 fired transitions, 1325 secs || 1379765 markings, 1746754 edges, 1036 markings/sec, 1325 secs
lola: STP completed || 2 tries, 1288387 fired transitions, 1330 secs || 1384883 markings, 1753165 edges, 1024 markings/sec, 1330 secs
lola: STP completed || 2 tries, 1293116 fired transitions, 1335 secs || 1389973 markings, 1759455 edges, 1018 markings/sec, 1335 secs
lola: STP completed || 2 tries, 1297762 fired transitions, 1340 secs || 1395041 markings, 1766049 edges, 1014 markings/sec, 1340 secs
lola: STP completed || 2 tries, 1302491 fired transitions, 1345 secs || 1400127 markings, 1772427 edges, 1017 markings/sec, 1345 secs
lola: STP completed || 2 tries, 1307234 fired transitions, 1350 secs || 1405260 markings, 1778972 edges, 1027 markings/sec, 1350 secs
lola: STP completed || 2 tries, 1312032 fired transitions, 1355 secs || 1410451 markings, 1785331 edges, 1038 markings/sec, 1355 secs
lola: STP completed || 2 tries, 1316796 fired transitions, 1360 secs || 1415658 markings, 1791754 edges, 1041 markings/sec, 1360 secs
lola: STP completed || 2 tries, 1321598 fired transitions, 1365 secs || 1420880 markings, 1797959 edges, 1044 markings/sec, 1365 secs
lola: STP completed || 2 tries, 1326395 fired transitions, 1370 secs || 1426081 markings, 1804333 edges, 1040 markings/sec, 1370 secs
lola: STP completed || 2 tries, 1331206 fired transitions, 1375 secs || 1431261 markings, 1811017 edges, 1036 markings/sec, 1375 secs
lola: STP completed || 2 tries, 1335997 fired transitions, 1380 secs || 1436439 markings, 1817585 edges, 1036 markings/sec, 1380 secs
lola: STP completed || 2 tries, 1340725 fired transitions, 1385 secs || 1441608 markings, 1824029 edges, 1034 markings/sec, 1385 secs
lola: STP completed || 2 tries, 1345471 fired transitions, 1390 secs || 1446648 markings, 1830352 edges, 1008 markings/sec, 1390 secs
lola: STP completed || 2 tries, 1350315 fired transitions, 1395 secs || 1451818 markings, 1836752 edges, 1034 markings/sec, 1395 secs
lola: STP completed || 2 tries, 1355145 fired transitions, 1400 secs || 1456966 markings, 1843319 edges, 1030 markings/sec, 1400 secs
lola: STP completed || 2 tries, 1359979 fired transitions, 1405 secs || 1462102 markings, 1849861 edges, 1027 markings/sec, 1405 secs
lola: STP completed || 2 tries, 1364778 fired transitions, 1410 secs || 1467248 markings, 1856408 edges, 1029 markings/sec, 1410 secs
lola: STP completed || 2 tries, 1369637 fired transitions, 1415 secs || 1472452 markings, 1862856 edges, 1041 markings/sec, 1415 secs
lola: STP completed || 2 tries, 1374485 fired transitions, 1420 secs || 1477652 markings, 1869479 edges, 1040 markings/sec, 1420 secs
lola: STP completed || 2 tries, 1379332 fired transitions, 1425 secs || 1482860 markings, 1875694 edges, 1042 markings/sec, 1425 secs
lola: STP completed || 2 tries, 1384170 fired transitions, 1430 secs || 1488103 markings, 1882631 edges, 1049 markings/sec, 1430 secs
lola: STP completed || 2 tries, 1389017 fired transitions, 1435 secs || 1493255 markings, 1889136 edges, 1030 markings/sec, 1435 secs
lola: STP completed || 2 tries, 1393880 fired transitions, 1440 secs || 1498408 markings, 1895706 edges, 1031 markings/sec, 1440 secs
lola: STP completed || 2 tries, 1398733 fired transitions, 1445 secs || 1503596 markings, 1902067 edges, 1038 markings/sec, 1445 secs
lola: STP completed || 2 tries, 1403603 fired transitions, 1450 secs || 1508691 markings, 1908610 edges, 1019 markings/sec, 1450 secs
lola: STP completed || 2 tries, 1408397 fired transitions, 1455 secs || 1513887 markings, 1915270 edges, 1039 markings/sec, 1455 secs
lola: STP completed || 2 tries, 1413204 fired transitions, 1460 secs || 1519096 markings, 1922168 edges, 1042 markings/sec, 1460 secs
lola: STP completed || 2 tries, 1418035 fired transitions, 1465 secs || 1524259 markings, 1928558 edges, 1033 markings/sec, 1465 secs
lola: STP completed || 2 tries, 1422853 fired transitions, 1470 secs || 1529379 markings, 1935040 edges, 1024 markings/sec, 1470 secs
lola: STP completed || 2 tries, 1427686 fired transitions, 1475 secs || 1534533 markings, 1941714 edges, 1031 markings/sec, 1475 secs
lola: STP completed || 2 tries, 1432524 fired transitions, 1480 secs || 1539658 markings, 1948458 edges, 1025 markings/sec, 1480 secs
lola: STP completed || 2 tries, 1437363 fired transitions, 1485 secs || 1544804 markings, 1954828 edges, 1029 markings/sec, 1485 secs
lola: STP completed || 2 tries, 1442183 fired transitions, 1490 secs || 1549964 markings, 1961403 edges, 1032 markings/sec, 1490 secs
lola: STP completed || 2 tries, 1446994 fired transitions, 1495 secs || 1555113 markings, 1967903 edges, 1030 markings/sec, 1495 secs
lola: STP completed || 2 tries, 1451830 fired transitions, 1500 secs || 1560235 markings, 1974426 edges, 1024 markings/sec, 1500 secs
lola: STP completed || 2 tries, 1456665 fired transitions, 1505 secs || 1565337 markings, 1980787 edges, 1020 markings/sec, 1505 secs
lola: STP completed || 2 tries, 1461490 fired transitions, 1510 secs || 1570472 markings, 1987320 edges, 1027 markings/sec, 1510 secs
lola: STP completed || 2 tries, 1466304 fired transitions, 1515 secs || 1575621 markings, 1993704 edges, 1030 markings/sec, 1515 secs
lola: STP completed || 2 tries, 1471158 fired transitions, 1520 secs || 1580793 markings, 1999847 edges, 1034 markings/sec, 1520 secs
lola: STP completed || 2 tries, 1476014 fired transitions, 1525 secs || 1586035 markings, 2006223 edges, 1048 markings/sec, 1525 secs
lola: STP completed || 2 tries, 1480871 fired transitions, 1530 secs || 1591250 markings, 2012705 edges, 1043 markings/sec, 1530 secs
lola: STP completed || 2 tries, 1485715 fired transitions, 1535 secs || 1596454 markings, 2019370 edges, 1041 markings/sec, 1535 secs
lola: STP completed || 2 tries, 1490561 fired transitions, 1540 secs || 1601648 markings, 2025942 edges, 1039 markings/sec, 1540 secs
lola: STP completed || 2 tries, 1495392 fired transitions, 1545 secs || 1606904 markings, 2032439 edges, 1051 markings/sec, 1545 secs
lola: STP completed || 2 tries, 1500217 fired transitions, 1550 secs || 1612143 markings, 2039137 edges, 1048 markings/sec, 1550 secs
lola: STP completed || 2 tries, 1505074 fired transitions, 1555 secs || 1617351 markings, 2045770 edges, 1042 markings/sec, 1555 secs
lola: STP completed || 2 tries, 1509934 fired transitions, 1560 secs || 1622459 markings, 2052174 edges, 1022 markings/sec, 1560 secs
lola: STP completed || 2 tries, 1514757 fired transitions, 1565 secs || 1627635 markings, 2058661 edges, 1035 markings/sec, 1565 secs
lola: STP completed || 2 tries, 1519590 fired transitions, 1570 secs || 1632820 markings, 2065291 edges, 1037 markings/sec, 1570 secs
lola: STP completed || 2 tries, 1524415 fired transitions, 1575 secs || 1638003 markings, 2071892 edges, 1037 markings/sec, 1575 secs
lola: STP completed || 2 tries, 1529234 fired transitions, 1580 secs || 1643206 markings, 2078043 edges, 1041 markings/sec, 1580 secs
lola: STP completed || 2 tries, 1534026 fired transitions, 1585 secs || 1648404 markings, 2084809 edges, 1040 markings/sec, 1585 secs
lola: STP completed || 2 tries, 1538843 fired transitions, 1590 secs || 1653532 markings, 2091411 edges, 1026 markings/sec, 1590 secs
lola: STP completed || 2 tries, 1543676 fired transitions, 1595 secs || 1658695 markings, 2097775 edges, 1033 markings/sec, 1595 secs
lola: STP completed || 2 tries, 1548510 fired transitions, 1600 secs || 1663773 markings, 2104277 edges, 1016 markings/sec, 1600 secs
lola: STP completed || 2 tries, 1553313 fired transitions, 1605 secs || 1668975 markings, 2110795 edges, 1040 markings/sec, 1605 secs
lola: STP completed || 2 tries, 1558128 fired transitions, 1610 secs || 1674177 markings, 2117457 edges, 1040 markings/sec, 1610 secs
lola: STP completed || 2 tries, 1562950 fired transitions, 1615 secs || 1679357 markings, 2124302 edges, 1036 markings/sec, 1615 secs
lola: STP completed || 2 tries, 1567769 fired transitions, 1620 secs || 1684524 markings, 2130790 edges, 1033 markings/sec, 1620 secs
lola: STP completed || 2 tries, 1572617 fired transitions, 1625 secs || 1689682 markings, 2137334 edges, 1032 markings/sec, 1625 secs
lola: STP completed || 2 tries, 1577438 fired transitions, 1630 secs || 1694810 markings, 2143860 edges, 1026 markings/sec, 1630 secs
lola: STP completed || 2 tries, 1582229 fired transitions, 1635 secs || 1699930 markings, 2150599 edges, 1024 markings/sec, 1635 secs
lola: STP completed || 2 tries, 1587044 fired transitions, 1640 secs || 1705045 markings, 2156961 edges, 1023 markings/sec, 1640 secs
lola: STP completed || 2 tries, 1591849 fired transitions, 1645 secs || 1710097 markings, 2163342 edges, 1010 markings/sec, 1645 secs
lola: STP completed || 2 tries, 1596667 fired transitions, 1650 secs || 1715184 markings, 2169833 edges, 1017 markings/sec, 1650 secs
lola: STP completed || 2 tries, 1601504 fired transitions, 1655 secs || 1720256 markings, 2176195 edges, 1014 markings/sec, 1655 secs
lola: STP completed || 2 tries, 1606353 fired transitions, 1660 secs || 1725278 markings, 2182574 edges, 1004 markings/sec, 1660 secs
lola: STP completed || 2 tries, 1611199 fired transitions, 1665 secs || 1730470 markings, 2189135 edges, 1038 markings/sec, 1665 secs
lola: STP completed || 2 tries, 1616025 fired transitions, 1670 secs || 1735679 markings, 2195771 edges, 1042 markings/sec, 1670 secs
lola: STP completed || 2 tries, 1620858 fired transitions, 1675 secs || 1740910 markings, 2201984 edges, 1046 markings/sec, 1675 secs
lola: STP completed || 2 tries, 1625674 fired transitions, 1680 secs || 1746142 markings, 2208186 edges, 1046 markings/sec, 1680 secs
lola: STP completed || 2 tries, 1630515 fired transitions, 1685 secs || 1751330 markings, 2214798 edges, 1038 markings/sec, 1685 secs
lola: STP completed || 2 tries, 1635398 fired transitions, 1690 secs || 1756500 markings, 2221274 edges, 1034 markings/sec, 1690 secs
lola: STP completed || 2 tries, 1640227 fired transitions, 1695 secs || 1761704 markings, 2227791 edges, 1041 markings/sec, 1695 secs
lola: STP completed || 2 tries, 1645064 fired transitions, 1700 secs || 1766909 markings, 2234444 edges, 1041 markings/sec, 1700 secs
lola: STP completed || 2 tries, 1649906 fired transitions, 1705 secs || 1772122 markings, 2241085 edges, 1043 markings/sec, 1705 secs
lola: STP completed || 2 tries, 1654721 fired transitions, 1710 secs || 1777311 markings, 2247456 edges, 1038 markings/sec, 1710 secs
lola: STP completed || 2 tries, 1659569 fired transitions, 1715 secs || 1782442 markings, 2254146 edges, 1026 markings/sec, 1715 secs
lola: STP completed || 2 tries, 1664410 fired transitions, 1720 secs || 1787632 markings, 2260655 edges, 1038 markings/sec, 1720 secs
lola: STP completed || 2 tries, 1669222 fired transitions, 1725 secs || 1792708 markings, 2267135 edges, 1015 markings/sec, 1725 secs
lola: STP completed || 2 tries, 1674040 fired transitions, 1730 secs || 1797926 markings, 2273524 edges, 1044 markings/sec, 1730 secs
lola: STP completed || 2 tries, 1678869 fired transitions, 1735 secs || 1803144 markings, 2279960 edges, 1044 markings/sec, 1735 secs
lola: STP completed || 2 tries, 1683699 fired transitions, 1740 secs || 1808434 markings, 2286624 edges, 1058 markings/sec, 1740 secs
lola: STP completed || 2 tries, 1688548 fired transitions, 1745 secs || 1813644 markings, 2293356 edges, 1042 markings/sec, 1745 secs
lola: STP completed || 2 tries, 1693361 fired transitions, 1750 secs || 1818830 markings, 2299922 edges, 1037 markings/sec, 1750 secs
lola: STP completed || 2 tries, 1698230 fired transitions, 1755 secs || 1824038 markings, 2306578 edges, 1042 markings/sec, 1755 secs
lola: STP completed || 2 tries, 1703069 fired transitions, 1760 secs || 1829278 markings, 2313144 edges, 1048 markings/sec, 1760 secs
lola: STP completed || 2 tries, 1707875 fired transitions, 1765 secs || 1834373 markings, 2319536 edges, 1019 markings/sec, 1765 secs
lola: STP completed || 2 tries, 1712663 fired transitions, 1770 secs || 1839586 markings, 2326365 edges, 1043 markings/sec, 1770 secs
lola: STP completed || 2 tries, 1717477 fired transitions, 1775 secs || 1844737 markings, 2332966 edges, 1030 markings/sec, 1775 secs
lola: STP completed || 2 tries, 1722286 fired transitions, 1780 secs || 1849886 markings, 2339363 edges, 1030 markings/sec, 1780 secs
lola: STP completed || 2 tries, 1727083 fired transitions, 1785 secs || 1855019 markings, 2345912 edges, 1027 markings/sec, 1785 secs
lola: STP completed || 2 tries, 1731780 fired transitions, 1790 secs || 1860068 markings, 2352462 edges, 1010 markings/sec, 1790 secs
lola: STP completed || 2 tries, 1736512 fired transitions, 1795 secs || 1865133 markings, 2359003 edges, 1013 markings/sec, 1795 secs
lola: STP completed || 2 tries, 1741238 fired transitions, 1800 secs || 1870057 markings, 2365264 edges, 985 markings/sec, 1800 secs
lola: STP completed || 2 tries, 1745941 fired transitions, 1805 secs || 1875163 markings, 2371593 edges, 1021 markings/sec, 1805 secs
lola: STP completed || 2 tries, 1750676 fired transitions, 1810 secs || 1880201 markings, 2378465 edges, 1008 markings/sec, 1810 secs
lola: STP completed || 2 tries, 1755419 fired transitions, 1815 secs || 1885276 markings, 2384797 edges, 1015 markings/sec, 1815 secs
lola: STP completed || 2 tries, 1760130 fired transitions, 1820 secs || 1890363 markings, 2391381 edges, 1017 markings/sec, 1820 secs
lola: STP completed || 2 tries, 1764851 fired transitions, 1825 secs || 1895450 markings, 2398051 edges, 1017 markings/sec, 1825 secs
lola: STP completed || 2 tries, 1769574 fired transitions, 1830 secs || 1900527 markings, 2404595 edges, 1015 markings/sec, 1830 secs
lola: STP completed || 2 tries, 1774345 fired transitions, 1835 secs || 1905589 markings, 2411056 edges, 1012 markings/sec, 1835 secs
lola: STP completed || 2 tries, 1779123 fired transitions, 1840 secs || 1910647 markings, 2417494 edges, 1012 markings/sec, 1840 secs
lola: STP completed || 2 tries, 1783883 fired transitions, 1845 secs || 1915578 markings, 2423797 edges, 986 markings/sec, 1845 secs
lola: STP completed || 2 tries, 1788610 fired transitions, 1850 secs || 1920628 markings, 2430133 edges, 1010 markings/sec, 1850 secs
lola: STP completed || 2 tries, 1793346 fired transitions, 1855 secs || 1925674 markings, 2436467 edges, 1009 markings/sec, 1855 secs
lola: STP completed || 2 tries, 1798095 fired transitions, 1860 secs || 1930753 markings, 2442950 edges, 1016 markings/sec, 1860 secs
lola: STP completed || 2 tries, 1802833 fired transitions, 1865 secs || 1935836 markings, 2449401 edges, 1017 markings/sec, 1865 secs
lola: STP completed || 2 tries, 1807590 fired transitions, 1870 secs || 1940929 markings, 2455710 edges, 1019 markings/sec, 1870 secs
lola: STP completed || 2 tries, 1812312 fired transitions, 1875 secs || 1946035 markings, 2461765 edges, 1021 markings/sec, 1875 secs
lola: STP completed || 2 tries, 1817051 fired transitions, 1880 secs || 1951145 markings, 2468003 edges, 1022 markings/sec, 1880 secs
lola: STP completed || 2 tries, 1821753 fired transitions, 1885 secs || 1956236 markings, 2474387 edges, 1018 markings/sec, 1885 secs
lola: STP completed || 2 tries, 1826561 fired transitions, 1890 secs || 1961361 markings, 2480962 edges, 1025 markings/sec, 1890 secs
lola: STP completed || 2 tries, 1831365 fired transitions, 1895 secs || 1966519 markings, 2487491 edges, 1032 markings/sec, 1895 secs
lola: STP completed || 2 tries, 1836191 fired transitions, 1900 secs || 1971713 markings, 2493913 edges, 1039 markings/sec, 1900 secs
lola: STP completed || 2 tries, 1840976 fired transitions, 1905 secs || 1976877 markings, 2500659 edges, 1033 markings/sec, 1905 secs
lola: STP completed || 2 tries, 1845829 fired transitions, 1910 secs || 1982008 markings, 2507053 edges, 1026 markings/sec, 1910 secs
lola: STP completed || 2 tries, 1850703 fired transitions, 1915 secs || 1987182 markings, 2513622 edges, 1035 markings/sec, 1915 secs
lola: STP completed || 2 tries, 1855570 fired transitions, 1920 secs || 1992254 markings, 2520054 edges, 1014 markings/sec, 1920 secs
lola: STP completed || 2 tries, 1860418 fired transitions, 1925 secs || 1997441 markings, 2526570 edges, 1037 markings/sec, 1925 secs
lola: STP completed || 2 tries, 1865287 fired transitions, 1930 secs || 2002616 markings, 2533053 edges, 1035 markings/sec, 1930 secs
lola: STP completed || 2 tries, 1870108 fired transitions, 1935 secs || 2007758 markings, 2539499 edges, 1028 markings/sec, 1935 secs
lola: STP completed || 2 tries, 1874942 fired transitions, 1940 secs || 2012941 markings, 2546084 edges, 1037 markings/sec, 1940 secs
lola: STP completed || 2 tries, 1879752 fired transitions, 1945 secs || 2018147 markings, 2552716 edges, 1041 markings/sec, 1945 secs
lola: STP completed || 2 tries, 1884595 fired transitions, 1950 secs || 2023409 markings, 2559505 edges, 1052 markings/sec, 1950 secs
lola: STP completed || 2 tries, 1889443 fired transitions, 1955 secs || 2028571 markings, 2565973 edges, 1032 markings/sec, 1955 secs
lola: STP completed || 2 tries, 1894283 fired transitions, 1960 secs || 2033737 markings, 2572597 edges, 1033 markings/sec, 1960 secs
lola: STP completed || 2 tries, 1899102 fired transitions, 1965 secs || 2038920 markings, 2579145 edges, 1037 markings/sec, 1965 secs
lola: STP completed || 2 tries, 1903922 fired transitions, 1970 secs || 2044124 markings, 2585721 edges, 1041 markings/sec, 1970 secs
lola: STP completed || 2 tries, 1908732 fired transitions, 1975 secs || 2049333 markings, 2592260 edges, 1042 markings/sec, 1975 secs
lola: STP completed || 2 tries, 1913542 fired transitions, 1980 secs || 2054499 markings, 2598768 edges, 1033 markings/sec, 1980 secs
lola: STP completed || 2 tries, 1918372 fired transitions, 1985 secs || 2059663 markings, 2605414 edges, 1033 markings/sec, 1985 secs
lola: STP completed || 2 tries, 1923220 fired transitions, 1990 secs || 2064845 markings, 2612142 edges, 1036 markings/sec, 1990 secs
lola: STP completed || 2 tries, 1928029 fired transitions, 1995 secs || 2070019 markings, 2618823 edges, 1035 markings/sec, 1995 secs
lola: STP completed || 2 tries, 1932865 fired transitions, 2000 secs || 2075186 markings, 2625397 edges, 1033 markings/sec, 2000 secs
lola: STP completed || 2 tries, 1937698 fired transitions, 2005 secs || 2080354 markings, 2631820 edges, 1034 markings/sec, 2005 secs
lola: STP completed || 2 tries, 1942505 fired transitions, 2010 secs || 2085505 markings, 2638843 edges, 1030 markings/sec, 2010 secs
lola: STP completed || 2 tries, 1947331 fired transitions, 2015 secs || 2090653 markings, 2645225 edges, 1030 markings/sec, 2015 secs
lola: STP completed || 2 tries, 1952168 fired transitions, 2020 secs || 2095792 markings, 2651814 edges, 1028 markings/sec, 2020 secs
lola: STP completed || 2 tries, 1956984 fired transitions, 2025 secs || 2100941 markings, 2658335 edges, 1030 markings/sec, 2025 secs
lola: STP completed || 2 tries, 1961808 fired transitions, 2030 secs || 2106108 markings, 2664854 edges, 1033 markings/sec, 2030 secs
lola: STP completed || 2 tries, 1966624 fired transitions, 2035 secs || 2111288 markings, 2671502 edges, 1036 markings/sec, 2035 secs
lola: STP completed || 2 tries, 1971439 fired transitions, 2040 secs || 2116471 markings, 2677693 edges, 1037 markings/sec, 2040 secs
lola: STP completed || 2 tries, 1976202 fired transitions, 2045 secs || 2121618 markings, 2683798 edges, 1029 markings/sec, 2045 secs
lola: STP completed || 2 tries, 1980951 fired transitions, 2050 secs || 2126711 markings, 2690156 edges, 1019 markings/sec, 2050 secs
lola: STP completed || 2 tries, 1985735 fired transitions, 2055 secs || 2131817 markings, 2696636 edges, 1021 markings/sec, 2055 secs
lola: STP completed || 2 tries, 1990503 fired transitions, 2060 secs || 2136907 markings, 2703163 edges, 1018 markings/sec, 2060 secs
lola: STP completed || 2 tries, 1995268 fired transitions, 2065 secs || 2142032 markings, 2709442 edges, 1025 markings/sec, 2065 secs
lola: STP completed || 3 tries, 2000025 fired transitions, 2070 secs || 2147169 markings, 2716003 edges, 1027 markings/sec, 2070 secs
lola: STP completed || 3 tries, 2004758 fired transitions, 2075 secs || 2152293 markings, 2722751 edges, 1025 markings/sec, 2075 secs
lola: STP completed || 3 tries, 2009516 fired transitions, 2080 secs || 2157445 markings, 2729060 edges, 1030 markings/sec, 2080 secs
lola: STP completed || 3 tries, 2014280 fired transitions, 2085 secs || 2162465 markings, 2735362 edges, 1004 markings/sec, 2085 secs
lola: STP completed || 3 tries, 2019032 fired transitions, 2090 secs || 2167558 markings, 2741765 edges, 1019 markings/sec, 2090 secs
lola: STP completed || 3 tries, 2023829 fired transitions, 2095 secs || 2172671 markings, 2748173 edges, 1023 markings/sec, 2095 secs
lola: STP completed || 3 tries, 2028664 fired transitions, 2100 secs || 2177802 markings, 2754607 edges, 1026 markings/sec, 2100 secs
lola: STP completed || 3 tries, 2033483 fired transitions, 2105 secs || 2183012 markings, 2761287 edges, 1042 markings/sec, 2105 secs
lola: STP completed || 3 tries, 2038303 fired transitions, 2110 secs || 2188211 markings, 2767879 edges, 1040 markings/sec, 2110 secs
lola: STP completed || 3 tries, 2043141 fired transitions, 2115 secs || 2193367 markings, 2774464 edges, 1031 markings/sec, 2115 secs
lola: STP completed || 3 tries, 2047970 fired transitions, 2120 secs || 2198655 markings, 2781131 edges, 1058 markings/sec, 2120 secs
lola: STP completed || 3 tries, 2052866 fired transitions, 2125 secs || 2203847 markings, 2787785 edges, 1038 markings/sec, 2125 secs
lola: STP completed || 3 tries, 2057703 fired transitions, 2130 secs || 2209057 markings, 2794469 edges, 1042 markings/sec, 2130 secs
lola: STP completed || 3 tries, 2062574 fired transitions, 2135 secs || 2214309 markings, 2800961 edges, 1050 markings/sec, 2135 secs
lola: STP completed || 3 tries, 2067456 fired transitions, 2140 secs || 2219569 markings, 2807803 edges, 1052 markings/sec, 2140 secs
lola: STP completed || 3 tries, 2072341 fired transitions, 2145 secs || 2224773 markings, 2814328 edges, 1041 markings/sec, 2145 secs
lola: STP completed || 3 tries, 2077185 fired transitions, 2150 secs || 2230103 markings, 2821095 edges, 1066 markings/sec, 2150 secs
lola: STP completed || 3 tries, 2082061 fired transitions, 2155 secs || 2235254 markings, 2827553 edges, 1030 markings/sec, 2155 secs
lola: STP completed || 3 tries, 2086946 fired transitions, 2160 secs || 2240389 markings, 2834212 edges, 1027 markings/sec, 2160 secs
lola: STP completed || 3 tries, 2091790 fired transitions, 2165 secs || 2245588 markings, 2840736 edges, 1040 markings/sec, 2165 secs
lola: STP completed || 3 tries, 2096650 fired transitions, 2170 secs || 2250807 markings, 2847271 edges, 1044 markings/sec, 2170 secs
lola: STP completed || 3 tries, 2101440 fired transitions, 2175 secs || 2256006 markings, 2853895 edges, 1040 markings/sec, 2175 secs
lola: STP completed || 3 tries, 2106229 fired transitions, 2180 secs || 2261125 markings, 2860376 edges, 1024 markings/sec, 2180 secs
lola: STP completed || 3 tries, 2110996 fired transitions, 2185 secs || 2266219 markings, 2866951 edges, 1019 markings/sec, 2185 secs
lola: STP completed || 3 tries, 2115760 fired transitions, 2190 secs || 2271296 markings, 2873451 edges, 1015 markings/sec, 2190 secs
lola: STP completed || 3 tries, 2120517 fired transitions, 2195 secs || 2276369 markings, 2879906 edges, 1015 markings/sec, 2195 secs
lola: STP completed || 3 tries, 2125289 fired transitions, 2200 secs || 2281435 markings, 2886298 edges, 1013 markings/sec, 2200 secs
lola: STP completed || 3 tries, 2130031 fired transitions, 2205 secs || 2286507 markings, 2892901 edges, 1014 markings/sec, 2205 secs
lola: STP completed || 3 tries, 2134779 fired transitions, 2210 secs || 2291573 markings, 2899260 edges, 1013 markings/sec, 2210 secs
lola: STP completed || 3 tries, 2139550 fired transitions, 2215 secs || 2296619 markings, 2905704 edges, 1009 markings/sec, 2215 secs
lola: STP completed || 3 tries, 2144304 fired transitions, 2220 secs || 2301664 markings, 2912033 edges, 1009 markings/sec, 2220 secs
lola: STP completed || 3 tries, 2149052 fired transitions, 2225 secs || 2306720 markings, 2918378 edges, 1011 markings/sec, 2225 secs
lola: STP completed || 3 tries, 2153799 fired transitions, 2230 secs || 2311790 markings, 2924851 edges, 1014 markings/sec, 2230 secs
lola: STP completed || 3 tries, 2158572 fired transitions, 2235 secs || 2316859 markings, 2931207 edges, 1014 markings/sec, 2235 secs
lola: STP completed || 3 tries, 2163374 fired transitions, 2240 secs || 2321982 markings, 2937637 edges, 1025 markings/sec, 2240 secs
lola: STP completed || 3 tries, 2168202 fired transitions, 2245 secs || 2327107 markings, 2943742 edges, 1025 markings/sec, 2245 secs
lola: STP completed || 3 tries, 2173084 fired transitions, 2250 secs || 2332170 markings, 2950201 edges, 1013 markings/sec, 2250 secs
lola: STP completed || 3 tries, 2177876 fired transitions, 2255 secs || 2337321 markings, 2956660 edges, 1030 markings/sec, 2255 secs
lola: STP completed || 3 tries, 2182731 fired transitions, 2260 secs || 2342386 markings, 2963046 edges, 1013 markings/sec, 2260 secs
lola: STP completed || 3 tries, 2187586 fired transitions, 2265 secs || 2347541 markings, 2969584 edges, 1031 markings/sec, 2265 secs
lola: STP completed || 3 tries, 2192417 fired transitions, 2270 secs || 2352711 markings, 2976212 edges, 1034 markings/sec, 2270 secs
lola: STP completed || 3 tries, 2197224 fired transitions, 2275 secs || 2357918 markings, 2982585 edges, 1041 markings/sec, 2275 secs
lola: STP completed || 3 tries, 2202059 fired transitions, 2280 secs || 2363141 markings, 2988775 edges, 1045 markings/sec, 2280 secs
lola: STP completed || 3 tries, 2206907 fired transitions, 2285 secs || 2368332 markings, 2995106 edges, 1038 markings/sec, 2285 secs
lola: STP completed || 3 tries, 2211753 fired transitions, 2290 secs || 2373503 markings, 3001738 edges, 1034 markings/sec, 2290 secs
lola: STP completed || 3 tries, 2216639 fired transitions, 2295 secs || 2378591 markings, 3008129 edges, 1018 markings/sec, 2295 secs
lola: STP completed || 3 tries, 2221473 fired transitions, 2300 secs || 2383763 markings, 3014665 edges, 1034 markings/sec, 2300 secs
lola: STP completed || 3 tries, 2226280 fired transitions, 2305 secs || 2388946 markings, 3021254 edges, 1037 markings/sec, 2305 secs
lola: STP completed || 3 tries, 2231123 fired transitions, 2310 secs || 2394133 markings, 3028159 edges, 1037 markings/sec, 2310 secs
lola: STP completed || 3 tries, 2235977 fired transitions, 2315 secs || 2399391 markings, 3035096 edges, 1052 markings/sec, 2315 secs
lola: STP completed || 3 tries, 2240807 fired transitions, 2320 secs || 2404535 markings, 3041862 edges, 1029 markings/sec, 2320 secs
lola: STP completed || 3 tries, 2245658 fired transitions, 2325 secs || 2409678 markings, 3048445 edges, 1029 markings/sec, 2325 secs
lola: STP completed || 3 tries, 2250500 fired transitions, 2330 secs || 2414792 markings, 3054961 edges, 1023 markings/sec, 2330 secs
lola: STP completed || 3 tries, 2255340 fired transitions, 2335 secs || 2419954 markings, 3061566 edges, 1032 markings/sec, 2335 secs
lola: STP completed || 3 tries, 2260181 fired transitions, 2340 secs || 2425111 markings, 3068339 edges, 1031 markings/sec, 2340 secs
lola: STP completed || 3 tries, 2265011 fired transitions, 2345 secs || 2430249 markings, 3075020 edges, 1028 markings/sec, 2345 secs
lola: STP completed || 3 tries, 2269844 fired transitions, 2350 secs || 2435316 markings, 3081658 edges, 1013 markings/sec, 2350 secs
lola: STP completed || 3 tries, 2274687 fired transitions, 2355 secs || 2440423 markings, 3088436 edges, 1021 markings/sec, 2355 secs
lola: STP completed || 3 tries, 2279525 fired transitions, 2360 secs || 2445517 markings, 3095294 edges, 1019 markings/sec, 2360 secs
lola: STP completed || 3 tries, 2284368 fired transitions, 2365 secs || 2450699 markings, 3101982 edges, 1036 markings/sec, 2365 secs
lola: STP completed || 3 tries, 2289205 fired transitions, 2370 secs || 2455844 markings, 3108536 edges, 1029 markings/sec, 2370 secs
lola: STP completed || 3 tries, 2294038 fired transitions, 2375 secs || 2460942 markings, 3115043 edges, 1020 markings/sec, 2375 secs
lola: STP completed || 3 tries, 2298894 fired transitions, 2380 secs || 2466050 markings, 3121784 edges, 1022 markings/sec, 2380 secs
lola: STP completed || 3 tries, 2303752 fired transitions, 2385 secs || 2471163 markings, 3128126 edges, 1023 markings/sec, 2385 secs
lola: STP completed || 3 tries, 2308615 fired transitions, 2390 secs || 2476248 markings, 3135847 edges, 1017 markings/sec, 2390 secs
lola: STP completed || 3 tries, 2313473 fired transitions, 2395 secs || 2481322 markings, 3142399 edges, 1015 markings/sec, 2395 secs
lola: STP completed || 3 tries, 2318318 fired transitions, 2400 secs || 2486433 markings, 3149176 edges, 1022 markings/sec, 2400 secs
lola: STP completed || 3 tries, 2323147 fired transitions, 2405 secs || 2491581 markings, 3155786 edges, 1030 markings/sec, 2405 secs
lola: STP completed || 3 tries, 2327982 fired transitions, 2410 secs || 2496701 markings, 3162355 edges, 1024 markings/sec, 2410 secs
lola: STP completed || 3 tries, 2332833 fired transitions, 2415 secs || 2501821 markings, 3168883 edges, 1024 markings/sec, 2415 secs
lola: STP completed || 3 tries, 2337671 fired transitions, 2420 secs || 2506983 markings, 3175468 edges, 1032 markings/sec, 2420 secs
lola: STP completed || 3 tries, 2342489 fired transitions, 2425 secs || 2512113 markings, 3182040 edges, 1026 markings/sec, 2425 secs
lola: STP completed || 3 tries, 2347350 fired transitions, 2430 secs || 2517266 markings, 3188780 edges, 1031 markings/sec, 2430 secs
lola: STP completed || 3 tries, 2352208 fired transitions, 2435 secs || 2522364 markings, 3195351 edges, 1020 markings/sec, 2435 secs
lola: STP completed || 3 tries, 2357060 fired transitions, 2440 secs || 2527498 markings, 3202217 edges, 1027 markings/sec, 2440 secs
lola: STP completed || 3 tries, 2361916 fired transitions, 2445 secs || 2532602 markings, 3208768 edges, 1021 markings/sec, 2445 secs
lola: STP completed || 3 tries, 2366738 fired transitions, 2450 secs || 2537746 markings, 3215161 edges, 1029 markings/sec, 2450 secs
lola: STP completed || 3 tries, 2371571 fired transitions, 2455 secs || 2542798 markings, 3222288 edges, 1010 markings/sec, 2455 secs
lola: STP completed || 3 tries, 2376389 fired transitions, 2460 secs || 2547951 markings, 3228711 edges, 1031 markings/sec, 2460 secs
lola: STP completed || 3 tries, 2381217 fired transitions, 2465 secs || 2553094 markings, 3235301 edges, 1029 markings/sec, 2465 secs
lola: STP completed || 3 tries, 2386055 fired transitions, 2470 secs || 2558232 markings, 3241699 edges, 1028 markings/sec, 2470 secs
lola: STP completed || 3 tries, 2390888 fired transitions, 2475 secs || 2563373 markings, 3247987 edges, 1028 markings/sec, 2475 secs
lola: STP completed || 3 tries, 2395750 fired transitions, 2480 secs || 2568446 markings, 3254692 edges, 1015 markings/sec, 2480 secs
lola: STP completed || 3 tries, 2400604 fired transitions, 2485 secs || 2573579 markings, 3261468 edges, 1027 markings/sec, 2485 secs
lola: STP completed || 3 tries, 2405449 fired transitions, 2490 secs || 2578701 markings, 3268163 edges, 1024 markings/sec, 2490 secs
lola: STP completed || 3 tries, 2410306 fired transitions, 2495 secs || 2583726 markings, 3274666 edges, 1005 markings/sec, 2495 secs
lola: STP completed || 3 tries, 2415141 fired transitions, 2500 secs || 2588810 markings, 3281395 edges, 1017 markings/sec, 2500 secs
lola: STP completed || 3 tries, 2419981 fired transitions, 2505 secs || 2593888 markings, 3288278 edges, 1016 markings/sec, 2505 secs
lola: STP completed || 3 tries, 2424820 fired transitions, 2510 secs || 2598932 markings, 3294752 edges, 1009 markings/sec, 2510 secs
lola: STP completed || 3 tries, 2429671 fired transitions, 2515 secs || 2604027 markings, 3301236 edges, 1019 markings/sec, 2515 secs
lola: STP completed || 3 tries, 2434526 fired transitions, 2520 secs || 2609124 markings, 3308012 edges, 1019 markings/sec, 2520 secs
lola: STP completed || 3 tries, 2439345 fired transitions, 2525 secs || 2614213 markings, 3314457 edges, 1018 markings/sec, 2525 secs
lola: STP completed || 3 tries, 2444198 fired transitions, 2530 secs || 2619265 markings, 3320922 edges, 1010 markings/sec, 2530 secs
lola: STP completed || 3 tries, 2449029 fired transitions, 2535 secs || 2624384 markings, 3327623 edges, 1024 markings/sec, 2535 secs
lola: STP completed || 3 tries, 2453891 fired transitions, 2540 secs || 2629388 markings, 3333887 edges, 1001 markings/sec, 2540 secs
lola: STP completed || 3 tries, 2458743 fired transitions, 2545 secs || 2634429 markings, 3340344 edges, 1008 markings/sec, 2545 secs
lola: STP completed || 3 tries, 2463604 fired transitions, 2550 secs || 2639549 markings, 3346704 edges, 1024 markings/sec, 2550 secs
lola: STP completed || 3 tries, 2468453 fired transitions, 2555 secs || 2644713 markings, 3352913 edges, 1033 markings/sec, 2555 secs
lola: STP completed || 3 tries, 2473294 fired transitions, 2560 secs || 2649833 markings, 3359340 edges, 1024 markings/sec, 2560 secs
lola: STP completed || 3 tries, 2478137 fired transitions, 2565 secs || 2654928 markings, 3366185 edges, 1019 markings/sec, 2565 secs
lola: STP completed || 3 tries, 2483006 fired transitions, 2570 secs || 2660012 markings, 3372915 edges, 1017 markings/sec, 2570 secs
lola: STP completed || 3 tries, 2487871 fired transitions, 2575 secs || 2665049 markings, 3379239 edges, 1007 markings/sec, 2575 secs
lola: STP completed || 3 tries, 2492660 fired transitions, 2580 secs || 2670167 markings, 3385468 edges, 1024 markings/sec, 2580 secs
lola: STP completed || 3 tries, 2497417 fired transitions, 2585 secs || 2675248 markings, 3391946 edges, 1016 markings/sec, 2585 secs
lola: STP completed || 3 tries, 2502223 fired transitions, 2590 secs || 2680313 markings, 3398767 edges, 1013 markings/sec, 2590 secs
lola: STP completed || 3 tries, 2507022 fired transitions, 2595 secs || 2685376 markings, 3405363 edges, 1013 markings/sec, 2595 secs
lola: STP completed || 3 tries, 2511852 fired transitions, 2600 secs || 2690395 markings, 3411639 edges, 1004 markings/sec, 2600 secs
lola: STP completed || 3 tries, 2516668 fired transitions, 2605 secs || 2695464 markings, 3418552 edges, 1014 markings/sec, 2605 secs
lola: STP completed || 3 tries, 2521478 fired transitions, 2610 secs || 2700547 markings, 3424925 edges, 1017 markings/sec, 2610 secs
lola: STP completed || 3 tries, 2526309 fired transitions, 2615 secs || 2705615 markings, 3431751 edges, 1014 markings/sec, 2615 secs
lola: STP completed || 3 tries, 2531148 fired transitions, 2620 secs || 2710720 markings, 3438416 edges, 1021 markings/sec, 2620 secs
lola: STP completed || 3 tries, 2535967 fired transitions, 2625 secs || 2715883 markings, 3445063 edges, 1033 markings/sec, 2625 secs
lola: STP completed || 3 tries, 2540834 fired transitions, 2630 secs || 2721001 markings, 3451513 edges, 1024 markings/sec, 2630 secs
lola: STP completed || 3 tries, 2545672 fired transitions, 2635 secs || 2726124 markings, 3458265 edges, 1025 markings/sec, 2635 secs
lola: STP completed || 3 tries, 2550486 fired transitions, 2640 secs || 2731224 markings, 3464915 edges, 1020 markings/sec, 2640 secs
lola: STP completed || 3 tries, 2555325 fired transitions, 2645 secs || 2736290 markings, 3471437 edges, 1013 markings/sec, 2645 secs
lola: STP completed || 3 tries, 2560155 fired transitions, 2650 secs || 2741368 markings, 3477727 edges, 1016 markings/sec, 2650 secs
lola: STP completed || 3 tries, 2564981 fired transitions, 2655 secs || 2746457 markings, 3484345 edges, 1018 markings/sec, 2655 secs
lola: STP completed || 3 tries, 2569806 fired transitions, 2660 secs || 2751546 markings, 3491237 edges, 1018 markings/sec, 2660 secs
lola: STP completed || 3 tries, 2574677 fired transitions, 2665 secs || 2756687 markings, 3497655 edges, 1028 markings/sec, 2665 secs
lola: STP completed || 3 tries, 2579510 fired transitions, 2670 secs || 2761802 markings, 3504286 edges, 1023 markings/sec, 2670 secs
lola: STP completed || 3 tries, 2584343 fired transitions, 2675 secs || 2766846 markings, 3510603 edges, 1009 markings/sec, 2675 secs
lola: STP completed || 3 tries, 2589184 fired transitions, 2680 secs || 2771926 markings, 3517086 edges, 1016 markings/sec, 2680 secs
lola: STP completed || 3 tries, 2594018 fired transitions, 2685 secs || 2777004 markings, 3523600 edges, 1016 markings/sec, 2685 secs
lola: STP completed || 3 tries, 2598826 fired transitions, 2690 secs || 2782080 markings, 3530067 edges, 1015 markings/sec, 2690 secs
lola: STP completed || 3 tries, 2603675 fired transitions, 2695 secs || 2787196 markings, 3536914 edges, 1023 markings/sec, 2695 secs
lola: STP completed || 3 tries, 2608534 fired transitions, 2700 secs || 2792286 markings, 3543331 edges, 1018 markings/sec, 2700 secs
lola: STP completed || 3 tries, 2613349 fired transitions, 2705 secs || 2797402 markings, 3550075 edges, 1023 markings/sec, 2705 secs
lola: STP completed || 3 tries, 2618205 fired transitions, 2710 secs || 2802490 markings, 3556663 edges, 1018 markings/sec, 2710 secs
lola: STP completed || 3 tries, 2623051 fired transitions, 2715 secs || 2807566 markings, 3563271 edges, 1015 markings/sec, 2715 secs
lola: STP completed || 3 tries, 2627861 fired transitions, 2720 secs || 2812675 markings, 3569787 edges, 1022 markings/sec, 2720 secs
lola: STP completed || 3 tries, 2632653 fired transitions, 2725 secs || 2817716 markings, 3576219 edges, 1008 markings/sec, 2725 secs
lola: STP completed || 3 tries, 2637456 fired transitions, 2730 secs || 2822738 markings, 3582716 edges, 1004 markings/sec, 2730 secs
lola: STP completed || 3 tries, 2642246 fired transitions, 2735 secs || 2827758 markings, 3589393 edges, 1004 markings/sec, 2735 secs
lola: STP completed || 3 tries, 2647057 fired transitions, 2740 secs || 2832670 markings, 3595955 edges, 982 markings/sec, 2740 secs
lola: STP completed || 3 tries, 2651860 fired transitions, 2745 secs || 2837618 markings, 3602346 edges, 990 markings/sec, 2745 secs
lola: STP completed || 3 tries, 2656660 fired transitions, 2750 secs || 2842726 markings, 3608851 edges, 1022 markings/sec, 2750 secs
lola: STP completed || 3 tries, 2661417 fired transitions, 2755 secs || 2847759 markings, 3615307 edges, 1007 markings/sec, 2755 secs
lola: STP completed || 3 tries, 2666227 fired transitions, 2760 secs || 2852905 markings, 3621880 edges, 1029 markings/sec, 2760 secs
lola: STP completed || 3 tries, 2671043 fired transitions, 2765 secs || 2858064 markings, 3628440 edges, 1032 markings/sec, 2765 secs
lola: STP completed || 3 tries, 2675858 fired transitions, 2770 secs || 2863192 markings, 3635042 edges, 1026 markings/sec, 2770 secs
lola: STP completed || 3 tries, 2680712 fired transitions, 2775 secs || 2868301 markings, 3641621 edges, 1022 markings/sec, 2775 secs
lola: STP completed || 3 tries, 2685518 fired transitions, 2780 secs || 2873396 markings, 3648113 edges, 1019 markings/sec, 2780 secs
lola: STP completed || 3 tries, 2690329 fired transitions, 2785 secs || 2878519 markings, 3654736 edges, 1025 markings/sec, 2785 secs
lola: STP completed || 3 tries, 2695140 fired transitions, 2790 secs || 2883641 markings, 3661384 edges, 1024 markings/sec, 2790 secs
lola: STP completed || 3 tries, 2699983 fired transitions, 2795 secs || 2888749 markings, 3668582 edges, 1022 markings/sec, 2795 secs
lola: STP completed || 3 tries, 2704806 fired transitions, 2800 secs || 2893919 markings, 3675277 edges, 1034 markings/sec, 2800 secs
lola: STP completed || 3 tries, 2709633 fired transitions, 2805 secs || 2899041 markings, 3681880 edges, 1024 markings/sec, 2805 secs
lola: STP completed || 3 tries, 2714441 fired transitions, 2810 secs || 2904158 markings, 3688294 edges, 1023 markings/sec, 2810 secs
lola: STP completed || 3 tries, 2719310 fired transitions, 2815 secs || 2909269 markings, 3694920 edges, 1022 markings/sec, 2815 secs
lola: STP completed || 3 tries, 2724152 fired transitions, 2820 secs || 2914425 markings, 3701445 edges, 1031 markings/sec, 2820 secs
lola: STP completed || 3 tries, 2728993 fired transitions, 2825 secs || 2919548 markings, 3708028 edges, 1025 markings/sec, 2825 secs
lola: STP completed || 3 tries, 2733849 fired transitions, 2830 secs || 2924694 markings, 3714676 edges, 1029 markings/sec, 2830 secs
lola: STP completed || 3 tries, 2738669 fired transitions, 2835 secs || 2929826 markings, 3721494 edges, 1026 markings/sec, 2835 secs
lola: STP completed || 3 tries, 2743526 fired transitions, 2840 secs || 2934875 markings, 3728031 edges, 1010 markings/sec, 2840 secs
lola: STP completed || 3 tries, 2748396 fired transitions, 2845 secs || 2940002 markings, 3734734 edges, 1025 markings/sec, 2845 secs
lola: STP completed || 3 tries, 2753234 fired transitions, 2850 secs || 2945154 markings, 3741155 edges, 1030 markings/sec, 2850 secs
lola: STP completed || 3 tries, 2758082 fired transitions, 2855 secs || 2950306 markings, 3747943 edges, 1030 markings/sec, 2855 secs
lola: STP completed || 3 tries, 2762946 fired transitions, 2860 secs || 2955499 markings, 3754887 edges, 1039 markings/sec, 2860 secs
lola: STP completed || 3 tries, 2767800 fired transitions, 2865 secs || 2960751 markings, 3761705 edges, 1050 markings/sec, 2865 secs
lola: STP completed || 3 tries, 2772658 fired transitions, 2870 secs || 2965886 markings, 3768494 edges, 1027 markings/sec, 2870 secs
lola: STP completed || 3 tries, 2777474 fired transitions, 2875 secs || 2971024 markings, 3775267 edges, 1028 markings/sec, 2875 secs
lola: STP completed || 3 tries, 2782324 fired transitions, 2880 secs || 2976133 markings, 3781991 edges, 1022 markings/sec, 2880 secs
lola: STP completed || 3 tries, 2787184 fired transitions, 2885 secs || 2981259 markings, 3788827 edges, 1025 markings/sec, 2885 secs
lola: STP completed || 3 tries, 2792026 fired transitions, 2890 secs || 2986389 markings, 3795651 edges, 1026 markings/sec, 2890 secs
lola: STP completed || 3 tries, 2796858 fired transitions, 2895 secs || 2991515 markings, 3802292 edges, 1025 markings/sec, 2895 secs
lola: STP completed || 3 tries, 2801711 fired transitions, 2900 secs || 2996629 markings, 3808787 edges, 1023 markings/sec, 2900 secs
lola: STP completed || 3 tries, 2806524 fired transitions, 2905 secs || 3001773 markings, 3815391 edges, 1029 markings/sec, 2905 secs
lola: STP completed || 3 tries, 2811358 fired transitions, 2910 secs || 3006927 markings, 3821971 edges, 1031 markings/sec, 2910 secs
lola: STP completed || 3 tries, 2816215 fired transitions, 2915 secs || 3012051 markings, 3828432 edges, 1025 markings/sec, 2915 secs
lola: STP completed || 3 tries, 2821061 fired transitions, 2920 secs || 3017165 markings, 3836052 edges, 1023 markings/sec, 2920 secs
lola: STP completed || 3 tries, 2825894 fired transitions, 2925 secs || 3022309 markings, 3842833 edges, 1029 markings/sec, 2925 secs
lola: STP completed || 3 tries, 2830736 fired transitions, 2930 secs || 3027442 markings, 3849308 edges, 1027 markings/sec, 2930 secs
lola: STP completed || 3 tries, 2835498 fired transitions, 2935 secs || 3032603 markings, 3855571 edges, 1032 markings/sec, 2935 secs
lola: STP completed || 3 tries, 2840217 fired transitions, 2940 secs || 3037687 markings, 3861881 edges, 1017 markings/sec, 2940 secs
lola: STP completed || 3 tries, 2844947 fired transitions, 2945 secs || 3042744 markings, 3868316 edges, 1011 markings/sec, 2945 secs
lola: STP completed || 3 tries, 2849648 fired transitions, 2950 secs || 3047754 markings, 3875087 edges, 1002 markings/sec, 2950 secs
lola: STP completed || 3 tries, 2854371 fired transitions, 2955 secs || 3052745 markings, 3881523 edges, 998 markings/sec, 2955 secs
lola: STP completed || 3 tries, 2859070 fired transitions, 2960 secs || 3057802 markings, 3887878 edges, 1011 markings/sec, 2960 secs
lola: STP completed || 3 tries, 2863717 fired transitions, 2965 secs || 3062877 markings, 3894091 edges, 1015 markings/sec, 2965 secs
lola: STP completed || 3 tries, 2868460 fired transitions, 2970 secs || 3067943 markings, 3900493 edges, 1013 markings/sec, 2970 secs
lola: STP completed || 3 tries, 2873204 fired transitions, 2975 secs || 3073014 markings, 3906885 edges, 1014 markings/sec, 2975 secs
lola: STP completed || 3 tries, 2877932 fired transitions, 2980 secs || 3078073 markings, 3913504 edges, 1012 markings/sec, 2980 secs
lola: STP completed || 3 tries, 2882661 fired transitions, 2985 secs || 3083154 markings, 3919986 edges, 1016 markings/sec, 2985 secs
lola: STP completed || 3 tries, 2887369 fired transitions, 2990 secs || 3088210 markings, 3926430 edges, 1011 markings/sec, 2990 secs
lola: STP completed || 3 tries, 2892041 fired transitions, 2995 secs || 3093315 markings, 3932836 edges, 1021 markings/sec, 2995 secs
lola: STP completed || 3 tries, 2896743 fired transitions, 3000 secs || 3098410 markings, 3939471 edges, 1019 markings/sec, 3000 secs
lola: STP completed || 3 tries, 2901602 fired transitions, 3005 secs || 3103634 markings, 3946180 edges, 1045 markings/sec, 3005 secs
lola: STP completed || 3 tries, 2906439 fired transitions, 3010 secs || 3108831 markings, 3952857 edges, 1039 markings/sec, 3010 secs
lola: STP completed || 3 tries, 2911278 fired transitions, 3015 secs || 3113938 markings, 3959539 edges, 1021 markings/sec, 3015 secs
lola: STP completed || 3 tries, 2916107 fired transitions, 3020 secs || 3119084 markings, 3966363 edges, 1029 markings/sec, 3020 secs
lola: STP completed || 3 tries, 2920958 fired transitions, 3025 secs || 3124219 markings, 3973316 edges, 1027 markings/sec, 3025 secs
lola: STP completed || 3 tries, 2925794 fired transitions, 3030 secs || 3129385 markings, 3979806 edges, 1033 markings/sec, 3030 secs
lola: STP completed || 3 tries, 2930643 fired transitions, 3035 secs || 3134522 markings, 3986567 edges, 1027 markings/sec, 3035 secs
lola: STP completed || 3 tries, 2935480 fired transitions, 3040 secs || 3139653 markings, 3993429 edges, 1026 markings/sec, 3040 secs
lola: STP completed || 3 tries, 2940339 fired transitions, 3045 secs || 3144801 markings, 3999888 edges, 1030 markings/sec, 3045 secs
lola: STP completed || 3 tries, 2945187 fired transitions, 3050 secs || 3149943 markings, 4006735 edges, 1028 markings/sec, 3050 secs
lola: STP completed || 3 tries, 2950028 fired transitions, 3055 secs || 3155083 markings, 4013416 edges, 1028 markings/sec, 3055 secs
lola: STP completed || 3 tries, 2954905 fired transitions, 3060 secs || 3160264 markings, 4019910 edges, 1036 markings/sec, 3060 secs
lola: STP completed || 3 tries, 2959769 fired transitions, 3065 secs || 3165458 markings, 4026425 edges, 1039 markings/sec, 3065 secs
lola: STP completed || 3 tries, 2964640 fired transitions, 3070 secs || 3170630 markings, 4033092 edges, 1034 markings/sec, 3070 secs
lola: STP completed || 3 tries, 2969494 fired transitions, 3075 secs || 3175760 markings, 4039816 edges, 1026 markings/sec, 3075 secs
lola: STP completed || 3 tries, 2974315 fired transitions, 3080 secs || 3180888 markings, 4046395 edges, 1026 markings/sec, 3080 secs
lola: STP completed || 3 tries, 2979109 fired transitions, 3085 secs || 3186012 markings, 4052860 edges, 1025 markings/sec, 3085 secs
lola: STP completed || 3 tries, 2983948 fired transitions, 3090 secs || 3191208 markings, 4059268 edges, 1039 markings/sec, 3090 secs
lola: STP completed || 3 tries, 2988728 fired transitions, 3095 secs || 3196376 markings, 4065642 edges, 1034 markings/sec, 3095 secs
lola: STP completed || 3 tries, 2993576 fired transitions, 3100 secs || 3201567 markings, 4072291 edges, 1038 markings/sec, 3100 secs
lola: STP completed || 3 tries, 2998428 fired transitions, 3105 secs || 3206593 markings, 4078650 edges, 1005 markings/sec, 3105 secs
lola: STP completed || 4 tries, 3003258 fired transitions, 3110 secs || 3211794 markings, 4085298 edges, 1040 markings/sec, 3110 secs
lola: STP completed || 4 tries, 3008111 fired transitions, 3115 secs || 3216965 markings, 4091871 edges, 1034 markings/sec, 3115 secs
lola: STP completed || 4 tries, 3012961 fired transitions, 3120 secs || 3222143 markings, 4098483 edges, 1036 markings/sec, 3120 secs
lola: STP completed || 4 tries, 3017805 fired transitions, 3125 secs || 3227311 markings, 4105223 edges, 1034 markings/sec, 3125 secs
lola: STP completed || 4 tries, 3022638 fired transitions, 3130 secs || 3232497 markings, 4111981 edges, 1037 markings/sec, 3130 secs
lola: STP completed || 4 tries, 3027455 fired transitions, 3135 secs || 3237657 markings, 4118767 edges, 1032 markings/sec, 3135 secs
lola: STP completed || 4 tries, 3032274 fired transitions, 3140 secs || 3242773 markings, 4125401 edges, 1023 markings/sec, 3140 secs
lola: STP completed || 4 tries, 3037089 fired transitions, 3145 secs || 3247927 markings, 4132041 edges, 1031 markings/sec, 3145 secs
lola: STP completed || 4 tries, 3041929 fired transitions, 3150 secs || 3253029 markings, 4138719 edges, 1020 markings/sec, 3150 secs
lola: STP completed || 4 tries, 3046758 fired transitions, 3155 secs || 3258167 markings, 4145267 edges, 1028 markings/sec, 3155 secs
lola: STP completed || 4 tries, 3051590 fired transitions, 3160 secs || 3263299 markings, 4151804 edges, 1026 markings/sec, 3160 secs
lola: STP completed || 4 tries, 3056420 fired transitions, 3165 secs || 3268451 markings, 4158459 edges, 1030 markings/sec, 3165 secs
lola: STP completed || 4 tries, 3061274 fired transitions, 3170 secs || 3273620 markings, 4165283 edges, 1034 markings/sec, 3170 secs
lola: STP completed || 4 tries, 3066101 fired transitions, 3175 secs || 3278714 markings, 4172031 edges, 1019 markings/sec, 3175 secs
lola: STP completed || 4 tries, 3070949 fired transitions, 3180 secs || 3283838 markings, 4178662 edges, 1025 markings/sec, 3180 secs
lola: STP completed || 4 tries, 3075780 fired transitions, 3185 secs || 3288970 markings, 4185163 edges, 1026 markings/sec, 3185 secs
lola: STP completed || 4 tries, 3080598 fired transitions, 3190 secs || 3294098 markings, 4191841 edges, 1026 markings/sec, 3190 secs
lola: STP completed || 4 tries, 3085451 fired transitions, 3195 secs || 3299262 markings, 4198339 edges, 1033 markings/sec, 3195 secs
lola: STP completed || 4 tries, 3090278 fired transitions, 3200 secs || 3304412 markings, 4204893 edges, 1030 markings/sec, 3200 secs
lola: STP completed || 4 tries, 3095112 fired transitions, 3205 secs || 3309558 markings, 4211628 edges, 1029 markings/sec, 3205 secs
lola: STP completed || 4 tries, 3099933 fired transitions, 3210 secs || 3314671 markings, 4218132 edges, 1023 markings/sec, 3210 secs
lola: STP completed || 4 tries, 3104775 fired transitions, 3215 secs || 3319800 markings, 4224723 edges, 1026 markings/sec, 3215 secs
lola: STP completed || 4 tries, 3109579 fired transitions, 3220 secs || 3324941 markings, 4231413 edges, 1028 markings/sec, 3220 secs
lola: STP completed || 4 tries, 3114431 fired transitions, 3225 secs || 3330032 markings, 4238319 edges, 1018 markings/sec, 3225 secs
lola: STP completed || 4 tries, 3119282 fired transitions, 3230 secs || 3335135 markings, 4245247 edges, 1021 markings/sec, 3230 secs
lola: STP completed || 4 tries, 3124122 fired transitions, 3235 secs || 3340304 markings, 4251839 edges, 1034 markings/sec, 3235 secs
lola: STP completed || 4 tries, 3128961 fired transitions, 3240 secs || 3345410 markings, 4258342 edges, 1021 markings/sec, 3240 secs
lola: STP completed || 4 tries, 3133812 fired transitions, 3245 secs || 3350465 markings, 4264770 edges, 1011 markings/sec, 3245 secs
lola: STP completed || 4 tries, 3138653 fired transitions, 3250 secs || 3355553 markings, 4271340 edges, 1018 markings/sec, 3250 secs
lola: STP completed || 4 tries, 3143504 fired transitions, 3255 secs || 3360702 markings, 4277860 edges, 1030 markings/sec, 3255 secs
lola: STP completed || 4 tries, 3148345 fired transitions, 3260 secs || 3365846 markings, 4284415 edges, 1029 markings/sec, 3260 secs
lola: STP completed || 4 tries, 3153178 fired transitions, 3265 secs || 3371044 markings, 4291134 edges, 1040 markings/sec, 3265 secs
lola: STP completed || 4 tries, 3156550 fired transitions, 3270 secs || 3373336 markings, 4294212 edges, 458 markings/sec, 3270 secs
lola: STP completed || 4 tries, 3159998 fired transitions, 3275 secs || 3375408 markings, 4296894 edges, 414 markings/sec, 3275 secs
lola: STP completed || 4 tries, 3161293 fired transitions, 3280 secs || 3375703 markings, 4297243 edges, 59 markings/sec, 3280 secs
lola: STP completed || 4 tries, 3162431 fired transitions, 3285 secs || 3375785 markings, 4297339 edges, 16 markings/sec, 3285 secs
lola: STP completed || 4 tries, 3162505 fired transitions, 3290 secs || 3375796 markings, 4297353 edges, 2 markings/sec, 3290 secs
Killed
FORMULA BART-PT-030-ReachabilityDeadlock-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool irma4mcc-full"
echo " Input is BART-PT-030, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r030-ebro-152646308100090"
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 ;