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