fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r148-csrt-149443432800053
Last Updated
June 27, 2017

About the Execution of LoLA for S_Railroad-PT-020

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15952.730 3520366.00 7051141.00 646.40 ? 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)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_Railroad-PT-020, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r148-csrt-149443432800053
=====================================================================


--------------------
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 Railroad-PT-020-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1496437938574


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


checking for too many tokens
===========================================================================================
S_Railroad-PT-020: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
ReachabilityDeadlock @ S_Railroad-PT-020 @ 3540 seconds
Makefile:224: 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: 724/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 218 places, 506 transitions, 87 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 132 transition conflict sets
lola: TASK
lola: reading formula from Railroad-PT-020-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 348 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: STP: formula with 8978 variables and 45659 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: computed 1949 generators (108 in search tree, 1841 by composition)
lola: representing 1.41517E+105 symmetries
lola: 0 dead branches visited in search tree
lola: STP completed || 1 tries, 149939 fired transitions, 0 secs || 113829 markings, 192621 edges, 22766 markings/sec, 0 secs
lola: STP completed || 1 tries, 305580 fired transitions, 5 secs || 236325 markings, 412571 edges, 24499 markings/sec, 5 secs
lola: STP completed || 1 tries, 460547 fired transitions, 10 secs || 360560 markings, 623491 edges, 24847 markings/sec, 10 secs
lola: STP completed || 1 tries, 616031 fired transitions, 15 secs || 484849 markings, 835947 edges, 24858 markings/sec, 15 secs
lola: STP completed || 1 tries, 776204 fired transitions, 20 secs || 611664 markings, 1058777 edges, 25363 markings/sec, 20 secs
lola: STP completed || 1 tries, 944265 fired transitions, 25 secs || 743876 markings, 1292083 edges, 26442 markings/sec, 25 secs
lola: STP completed || 2 tries, 1110937 fired transitions, 30 secs || 873620 markings, 1523020 edges, 25949 markings/sec, 30 secs
lola: STP completed || 2 tries, 1276568 fired transitions, 35 secs || 1002442 markings, 1747893 edges, 25764 markings/sec, 35 secs
lola: STP completed || 2 tries, 1443527 fired transitions, 40 secs || 1131606 markings, 1979407 edges, 25833 markings/sec, 40 secs
lola: STP completed || 2 tries, 1610740 fired transitions, 45 secs || 1257690 markings, 2211260 edges, 25217 markings/sec, 45 secs
lola: STP completed || 2 tries, 1778079 fired transitions, 50 secs || 1387943 markings, 2438495 edges, 26051 markings/sec, 50 secs
lola: STP completed || 2 tries, 1946195 fired transitions, 55 secs || 1515767 markings, 2668869 edges, 25565 markings/sec, 55 secs
lola: STP completed || 3 tries, 2114173 fired transitions, 60 secs || 1648242 markings, 2898780 edges, 26495 markings/sec, 60 secs
lola: STP completed || 3 tries, 2281723 fired transitions, 65 secs || 1774847 markings, 3130981 edges, 25321 markings/sec, 65 secs
lola: STP completed || 3 tries, 2448422 fired transitions, 70 secs || 1906510 markings, 3355064 edges, 26333 markings/sec, 70 secs
lola: STP completed || 3 tries, 2616217 fired transitions, 75 secs || 2035020 markings, 3583402 edges, 25702 markings/sec, 75 secs
lola: STP completed || 3 tries, 2784433 fired transitions, 80 secs || 2163188 markings, 3811754 edges, 25634 markings/sec, 80 secs
lola: STP completed || 3 tries, 2951847 fired transitions, 85 secs || 2294319 markings, 4040095 edges, 26226 markings/sec, 85 secs
lola: STP completed || 4 tries, 3119724 fired transitions, 90 secs || 2426820 markings, 4270837 edges, 26500 markings/sec, 90 secs
lola: STP completed || 4 tries, 3287723 fired transitions, 95 secs || 2555104 markings, 4504216 edges, 25657 markings/sec, 95 secs
lola: STP completed || 4 tries, 3459329 fired transitions, 100 secs || 2688527 markings, 4736517 edges, 26685 markings/sec, 100 secs
lola: STP completed || 4 tries, 3630406 fired transitions, 105 secs || 2817478 markings, 4973611 edges, 25790 markings/sec, 105 secs
lola: STP completed || 4 tries, 3802738 fired transitions, 110 secs || 2949134 markings, 5210078 edges, 26331 markings/sec, 110 secs
lola: STP completed || 4 tries, 3975688 fired transitions, 115 secs || 3074016 markings, 5457022 edges, 24976 markings/sec, 115 secs
lola: STP completed || 5 tries, 4149860 fired transitions, 120 secs || 3209151 markings, 5694072 edges, 27027 markings/sec, 120 secs
lola: STP completed || 5 tries, 4323392 fired transitions, 125 secs || 3337682 markings, 5937216 edges, 25706 markings/sec, 125 secs
lola: STP completed || 5 tries, 4495202 fired transitions, 130 secs || 3461728 markings, 6186972 edges, 24809 markings/sec, 130 secs
lola: STP completed || 5 tries, 4667619 fired transitions, 135 secs || 3585368 markings, 6440299 edges, 24728 markings/sec, 135 secs
lola: STP completed || 5 tries, 4839925 fired transitions, 140 secs || 3712138 markings, 6695463 edges, 25354 markings/sec, 140 secs
lola: STP completed || 6 tries, 5012357 fired transitions, 145 secs || 3838228 markings, 6948472 edges, 25218 markings/sec, 145 secs
lola: STP completed || 6 tries, 5185585 fired transitions, 150 secs || 3963611 markings, 7201650 edges, 25077 markings/sec, 150 secs
lola: STP completed || 6 tries, 5359002 fired transitions, 155 secs || 4083321 markings, 7461214 edges, 23942 markings/sec, 155 secs
lola: STP completed || 6 tries, 5532386 fired transitions, 160 secs || 4203768 markings, 7715114 edges, 24089 markings/sec, 160 secs
lola: STP completed || 6 tries, 5705431 fired transitions, 165 secs || 4328818 markings, 7966575 edges, 25010 markings/sec, 165 secs
lola: STP completed || 6 tries, 5879118 fired transitions, 170 secs || 4453466 markings, 8214273 edges, 24930 markings/sec, 170 secs
lola: STP completed || 7 tries, 6052595 fired transitions, 175 secs || 4572494 markings, 8473705 edges, 23806 markings/sec, 175 secs
lola: STP completed || 7 tries, 6229535 fired transitions, 180 secs || 4693984 markings, 8740748 edges, 24298 markings/sec, 180 secs
lola: STP completed || 7 tries, 6409395 fired transitions, 185 secs || 4826765 markings, 8994578 edges, 26556 markings/sec, 185 secs
lola: STP completed || 7 tries, 6586657 fired transitions, 190 secs || 4957013 markings, 9244589 edges, 26050 markings/sec, 190 secs
lola: STP completed || 7 tries, 6765691 fired transitions, 195 secs || 5080379 markings, 9507778 edges, 24673 markings/sec, 195 secs
lola: STP completed || 7 tries, 6940873 fired transitions, 200 secs || 5201564 markings, 9768836 edges, 24237 markings/sec, 200 secs
lola: STP completed || 8 tries, 7114890 fired transitions, 205 secs || 5324400 markings, 10023612 edges, 24567 markings/sec, 205 secs
lola: STP completed || 8 tries, 7288550 fired transitions, 210 secs || 5446678 markings, 10278684 edges, 24456 markings/sec, 210 secs
lola: STP completed || 8 tries, 7461706 fired transitions, 215 secs || 5573095 markings, 10528927 edges, 25283 markings/sec, 215 secs
lola: STP completed || 8 tries, 7635160 fired transitions, 220 secs || 5692328 markings, 10787307 edges, 23847 markings/sec, 220 secs
lola: STP completed || 8 tries, 7808363 fired transitions, 225 secs || 5815160 markings, 11040128 edges, 24566 markings/sec, 225 secs
lola: STP completed || 8 tries, 7976668 fired transitions, 230 secs || 5933065 markings, 11286589 edges, 23581 markings/sec, 230 secs
lola: STP completed || 9 tries, 8144025 fired transitions, 235 secs || 6050394 markings, 11531335 edges, 23466 markings/sec, 235 secs
lola: STP completed || 9 tries, 8311445 fired transitions, 240 secs || 6168409 markings, 11777606 edges, 23603 markings/sec, 240 secs
lola: STP completed || 9 tries, 8478309 fired transitions, 245 secs || 6289545 markings, 12018022 edges, 24227 markings/sec, 245 secs
lola: STP completed || 9 tries, 8648133 fired transitions, 250 secs || 6410000 markings, 12270649 edges, 24091 markings/sec, 250 secs
lola: STP completed || 9 tries, 8820508 fired transitions, 255 secs || 6530170 markings, 12527612 edges, 24034 markings/sec, 255 secs
lola: STP completed || 9 tries, 8992529 fired transitions, 260 secs || 6650338 markings, 12784126 edges, 24034 markings/sec, 260 secs
lola: STP completed || 10 tries, 9164738 fired transitions, 265 secs || 6770061 markings, 13041007 edges, 23945 markings/sec, 265 secs
lola: STP completed || 10 tries, 9330799 fired transitions, 270 secs || 6884907 markings, 13288789 edges, 22969 markings/sec, 270 secs
lola: STP completed || 10 tries, 9497180 fired transitions, 275 secs || 7000269 markings, 13543630 edges, 23072 markings/sec, 275 secs
lola: STP completed || 10 tries, 9663415 fired transitions, 280 secs || 7124897 markings, 13783612 edges, 24926 markings/sec, 280 secs
lola: STP completed || 10 tries, 9831764 fired transitions, 285 secs || 7244892 markings, 14031149 edges, 23999 markings/sec, 285 secs
lola: STP completed || 11 tries, 10002347 fired transitions, 290 secs || 7362892 markings, 14286194 edges, 23600 markings/sec, 290 secs
lola: STP completed || 11 tries, 10175670 fired transitions, 295 secs || 7483173 markings, 14546181 edges, 24056 markings/sec, 295 secs
lola: STP completed || 11 tries, 10348557 fired transitions, 300 secs || 7607587 markings, 14793244 edges, 24883 markings/sec, 300 secs
lola: STP completed || 11 tries, 10519536 fired transitions, 305 secs || 7724614 markings, 15052319 edges, 23405 markings/sec, 305 secs
lola: STP completed || 11 tries, 10685257 fired transitions, 310 secs || 7841972 markings, 15301821 edges, 23472 markings/sec, 310 secs
lola: STP completed || 11 tries, 10850882 fired transitions, 315 secs || 7955760 markings, 15559420 edges, 22758 markings/sec, 315 secs
lola: STP completed || 12 tries, 11016884 fired transitions, 320 secs || 8069408 markings, 15813517 edges, 22730 markings/sec, 320 secs
lola: STP completed || 12 tries, 11181631 fired transitions, 325 secs || 8182433 markings, 16064895 edges, 22605 markings/sec, 325 secs
lola: STP completed || 12 tries, 11348514 fired transitions, 330 secs || 8301872 markings, 16306709 edges, 23888 markings/sec, 330 secs
lola: STP completed || 12 tries, 11514206 fired transitions, 335 secs || 8415626 markings, 16562704 edges, 22751 markings/sec, 335 secs
lola: STP completed || 12 tries, 11679632 fired transitions, 340 secs || 8530997 markings, 16814755 edges, 23074 markings/sec, 340 secs
lola: STP completed || 12 tries, 11846610 fired transitions, 345 secs || 8644020 markings, 17067694 edges, 22605 markings/sec, 345 secs
lola: STP completed || 13 tries, 12013414 fired transitions, 350 secs || 8756442 markings, 17319475 edges, 22484 markings/sec, 350 secs
lola: STP completed || 13 tries, 12179572 fired transitions, 355 secs || 8868834 markings, 17572248 edges, 22478 markings/sec, 355 secs
lola: STP completed || 13 tries, 12345268 fired transitions, 360 secs || 8980613 markings, 17825082 edges, 22356 markings/sec, 360 secs
lola: STP completed || 13 tries, 12511662 fired transitions, 365 secs || 9091713 markings, 18078713 edges, 22220 markings/sec, 365 secs
lola: STP completed || 13 tries, 12677506 fired transitions, 370 secs || 9202319 markings, 18334379 edges, 22121 markings/sec, 370 secs
lola: STP completed || 13 tries, 12842759 fired transitions, 375 secs || 9316240 markings, 18579763 edges, 22784 markings/sec, 375 secs
lola: STP completed || 14 tries, 13010493 fired transitions, 380 secs || 9431343 markings, 18830204 edges, 23021 markings/sec, 380 secs
lola: STP completed || 14 tries, 13177520 fired transitions, 385 secs || 9544122 markings, 19082076 edges, 22556 markings/sec, 385 secs
lola: STP completed || 14 tries, 13344092 fired transitions, 390 secs || 9653914 markings, 19337081 edges, 21958 markings/sec, 390 secs
lola: STP completed || 14 tries, 13507848 fired transitions, 395 secs || 9766218 markings, 19591272 edges, 22461 markings/sec, 395 secs
lola: STP completed || 14 tries, 13662284 fired transitions, 400 secs || 9875678 markings, 19829424 edges, 21892 markings/sec, 400 secs
lola: STP completed || 14 tries, 13816900 fired transitions, 405 secs || 9981435 markings, 20078564 edges, 21151 markings/sec, 405 secs
lola: STP completed || 14 tries, 13971151 fired transitions, 410 secs || 10091868 markings, 20307612 edges, 22087 markings/sec, 410 secs
lola: STP completed || 15 tries, 14137339 fired transitions, 415 secs || 10204081 markings, 20562060 edges, 22443 markings/sec, 415 secs
lola: STP completed || 15 tries, 14308505 fired transitions, 420 secs || 10318723 markings, 20825515 edges, 22928 markings/sec, 420 secs
lola: STP completed || 15 tries, 14481158 fired transitions, 425 secs || 10437589 markings, 21086310 edges, 23773 markings/sec, 425 secs
lola: STP completed || 15 tries, 14653589 fired transitions, 430 secs || 10556191 markings, 21344490 edges, 23720 markings/sec, 430 secs
lola: STP completed || 15 tries, 14824973 fired transitions, 435 secs || 10671695 markings, 21603085 edges, 23101 markings/sec, 435 secs
lola: STP completed || 15 tries, 14995253 fired transitions, 440 secs || 10786867 markings, 21862352 edges, 23034 markings/sec, 440 secs
lola: STP completed || 16 tries, 15165168 fired transitions, 445 secs || 10902218 markings, 22121871 edges, 23070 markings/sec, 445 secs
lola: STP completed || 16 tries, 15334305 fired transitions, 450 secs || 11021550 markings, 22369056 edges, 23866 markings/sec, 450 secs
lola: STP completed || 16 tries, 15500639 fired transitions, 455 secs || 11136044 markings, 22625671 edges, 22899 markings/sec, 455 secs
lola: STP completed || 16 tries, 15665135 fired transitions, 460 secs || 11247200 markings, 22881003 edges, 22231 markings/sec, 460 secs
lola: STP completed || 16 tries, 15831988 fired transitions, 465 secs || 11358411 markings, 23139775 edges, 22242 markings/sec, 465 secs
lola: STP completed || 16 tries, 15998881 fired transitions, 470 secs || 11470802 markings, 23390927 edges, 22478 markings/sec, 470 secs
lola: STP completed || 17 tries, 16163481 fired transitions, 475 secs || 11582049 markings, 23642505 edges, 22249 markings/sec, 475 secs
lola: STP completed || 17 tries, 16329482 fired transitions, 480 secs || 11700503 markings, 23885152 edges, 23691 markings/sec, 480 secs
lola: STP completed || 17 tries, 16494280 fired transitions, 485 secs || 11813509 markings, 24141932 edges, 22601 markings/sec, 485 secs
lola: STP completed || 17 tries, 16660590 fired transitions, 490 secs || 11928405 markings, 24399163 edges, 22979 markings/sec, 490 secs
lola: STP completed || 17 tries, 16826590 fired transitions, 495 secs || 12040128 markings, 24660331 edges, 22345 markings/sec, 495 secs
lola: STP completed || 17 tries, 16993237 fired transitions, 500 secs || 12151954 markings, 24917431 edges, 22365 markings/sec, 500 secs
lola: STP completed || 18 tries, 17159895 fired transitions, 505 secs || 12263303 markings, 25170473 edges, 22270 markings/sec, 505 secs
lola: STP completed || 18 tries, 17326720 fired transitions, 510 secs || 12382768 markings, 25417125 edges, 23893 markings/sec, 510 secs
lola: STP completed || 18 tries, 17476150 fired transitions, 515 secs || 12488994 markings, 25632205 edges, 21245 markings/sec, 515 secs
lola: STP completed || 18 tries, 17625581 fired transitions, 520 secs || 12589377 markings, 25864513 edges, 20077 markings/sec, 520 secs
lola: STP completed || 18 tries, 17769099 fired transitions, 525 secs || 12692539 markings, 26095016 edges, 20632 markings/sec, 525 secs
lola: STP completed || 18 tries, 17917333 fired transitions, 530 secs || 12792414 markings, 26328088 edges, 19975 markings/sec, 530 secs
lola: STP completed || 19 tries, 18060044 fired transitions, 535 secs || 12897748 markings, 26570864 edges, 21067 markings/sec, 535 secs
lola: STP completed || 19 tries, 18203107 fired transitions, 540 secs || 12998028 markings, 26806956 edges, 20056 markings/sec, 540 secs
lola: STP completed || 19 tries, 18351099 fired transitions, 545 secs || 13097464 markings, 27034570 edges, 19887 markings/sec, 545 secs
lola: STP completed || 19 tries, 18503697 fired transitions, 550 secs || 13194940 markings, 27259996 edges, 19495 markings/sec, 550 secs
lola: STP completed || 19 tries, 18656438 fired transitions, 555 secs || 13291762 markings, 27486270 edges, 19364 markings/sec, 555 secs
lola: STP completed || 19 tries, 18809807 fired transitions, 560 secs || 13389834 markings, 27712655 edges, 19614 markings/sec, 560 secs
lola: STP completed || 19 tries, 18963532 fired transitions, 565 secs || 13487244 markings, 27941611 edges, 19482 markings/sec, 565 secs
lola: STP completed || 20 tries, 19114410 fired transitions, 570 secs || 13591296 markings, 28158911 edges, 20810 markings/sec, 570 secs
lola: STP completed || 20 tries, 19263043 fired transitions, 575 secs || 13694603 markings, 28381891 edges, 20661 markings/sec, 575 secs
lola: STP completed || 20 tries, 19414470 fired transitions, 580 secs || 13797232 markings, 28618692 edges, 20526 markings/sec, 580 secs
lola: STP completed || 20 tries, 19579055 fired transitions, 585 secs || 13913109 markings, 28873855 edges, 23175 markings/sec, 585 secs
lola: STP completed || 20 tries, 19720972 fired transitions, 590 secs || 14015976 markings, 29108949 edges, 20573 markings/sec, 590 secs
lola: STP completed || 20 tries, 19865117 fired transitions, 595 secs || 14116693 markings, 29348095 edges, 20143 markings/sec, 595 secs
lola: STP completed || 21 tries, 20012798 fired transitions, 600 secs || 14216029 markings, 29576032 edges, 19867 markings/sec, 600 secs
lola: STP completed || 21 tries, 20162670 fired transitions, 605 secs || 14316011 markings, 29810539 edges, 19996 markings/sec, 605 secs
lola: STP completed || 21 tries, 20322987 fired transitions, 610 secs || 14425816 markings, 30059988 edges, 21961 markings/sec, 610 secs
lola: STP completed || 21 tries, 20482962 fired transitions, 615 secs || 14535247 markings, 30302462 edges, 21886 markings/sec, 615 secs
lola: STP completed || 21 tries, 20645978 fired transitions, 620 secs || 14645048 markings, 30552134 edges, 21960 markings/sec, 620 secs
lola: STP completed || 21 tries, 20806003 fired transitions, 625 secs || 14746293 markings, 30784046 edges, 20249 markings/sec, 625 secs
lola: STP completed || 21 tries, 20964177 fired transitions, 630 secs || 14848434 markings, 31015197 edges, 20428 markings/sec, 630 secs
lola: STP completed || 22 tries, 21130827 fired transitions, 635 secs || 14962639 markings, 31263434 edges, 22841 markings/sec, 635 secs
lola: STP completed || 22 tries, 21294992 fired transitions, 640 secs || 15081134 markings, 31496207 edges, 23699 markings/sec, 640 secs
lola: STP completed || 22 tries, 21462594 fired transitions, 645 secs || 15192988 markings, 31753790 edges, 22371 markings/sec, 645 secs
lola: STP completed || 22 tries, 21628644 fired transitions, 650 secs || 15309522 markings, 32004394 edges, 23307 markings/sec, 650 secs
lola: STP completed || 22 tries, 21794514 fired transitions, 655 secs || 15417666 markings, 32261846 edges, 21629 markings/sec, 655 secs
lola: STP completed || 22 tries, 21960252 fired transitions, 660 secs || 15524568 markings, 32512962 edges, 21380 markings/sec, 660 secs
lola: STP completed || 23 tries, 22125459 fired transitions, 665 secs || 15625897 markings, 32764944 edges, 20266 markings/sec, 665 secs
lola: STP completed || 23 tries, 22287575 fired transitions, 670 secs || 15732143 markings, 33016392 edges, 21249 markings/sec, 670 secs
lola: STP completed || 23 tries, 22452880 fired transitions, 675 secs || 15840938 markings, 33268563 edges, 21759 markings/sec, 675 secs
lola: STP completed || 23 tries, 22618339 fired transitions, 680 secs || 15954304 markings, 33527091 edges, 22673 markings/sec, 680 secs
lola: STP completed || 23 tries, 22780822 fired transitions, 685 secs || 16066650 markings, 33788336 edges, 22469 markings/sec, 685 secs
lola: STP completed || 23 tries, 22935612 fired transitions, 690 secs || 16187309 markings, 34022194 edges, 24132 markings/sec, 690 secs
lola: STP completed || 24 tries, 23100526 fired transitions, 695 secs || 16297743 markings, 34284463 edges, 22087 markings/sec, 695 secs
lola: STP completed || 24 tries, 23261467 fired transitions, 700 secs || 16408887 markings, 34549589 edges, 22229 markings/sec, 700 secs
lola: STP completed || 24 tries, 23426768 fired transitions, 705 secs || 16524003 markings, 34800263 edges, 23023 markings/sec, 705 secs
lola: STP completed || 24 tries, 23593332 fired transitions, 710 secs || 16639575 markings, 35057156 edges, 23114 markings/sec, 710 secs
lola: STP completed || 24 tries, 23759110 fired transitions, 715 secs || 16756190 markings, 35312253 edges, 23323 markings/sec, 715 secs
lola: STP completed || 24 tries, 23924786 fired transitions, 720 secs || 16869634 markings, 35576092 edges, 22689 markings/sec, 720 secs
lola: STP completed || 25 tries, 24077672 fired transitions, 725 secs || 16979026 markings, 35832283 edges, 21878 markings/sec, 725 secs
lola: STP completed || 25 tries, 24219728 fired transitions, 730 secs || 17078607 markings, 36042529 edges, 19916 markings/sec, 730 secs
lola: STP completed || 25 tries, 24359517 fired transitions, 735 secs || 17174288 markings, 36255074 edges, 19136 markings/sec, 735 secs
lola: STP completed || 25 tries, 24501812 fired transitions, 740 secs || 17270485 markings, 36485440 edges, 19239 markings/sec, 740 secs
lola: STP completed || 25 tries, 24661418 fired transitions, 745 secs || 17383277 markings, 36732993 edges, 22558 markings/sec, 745 secs
lola: STP completed || 25 tries, 24826331 fired transitions, 750 secs || 17494674 markings, 36994518 edges, 22279 markings/sec, 750 secs
lola: STP completed || 25 tries, 24991414 fired transitions, 755 secs || 17608352 markings, 37251642 edges, 22736 markings/sec, 755 secs
lola: STP completed || 26 tries, 25157273 fired transitions, 760 secs || 17724135 markings, 37505622 edges, 23157 markings/sec, 760 secs
lola: STP completed || 26 tries, 25321952 fired transitions, 765 secs || 17832735 markings, 37771773 edges, 21720 markings/sec, 765 secs
lola: STP completed || 26 tries, 25487400 fired transitions, 770 secs || 17946246 markings, 38032198 edges, 22702 markings/sec, 770 secs
lola: STP completed || 26 tries, 25652494 fired transitions, 775 secs || 18059871 markings, 38289455 edges, 22725 markings/sec, 775 secs
lola: STP completed || 26 tries, 25817199 fired transitions, 780 secs || 18174917 markings, 38545167 edges, 23009 markings/sec, 780 secs
lola: STP completed || 26 tries, 25983240 fired transitions, 785 secs || 18285815 markings, 38813919 edges, 22180 markings/sec, 785 secs
lola: STP completed || 27 tries, 26146803 fired transitions, 790 secs || 18396809 markings, 39073849 edges, 22199 markings/sec, 790 secs
lola: STP completed || 27 tries, 26309921 fired transitions, 795 secs || 18504439 markings, 39329726 edges, 21526 markings/sec, 795 secs
lola: STP completed || 27 tries, 26469778 fired transitions, 800 secs || 18612213 markings, 39579047 edges, 21555 markings/sec, 800 secs
lola: STP completed || 27 tries, 26623319 fired transitions, 805 secs || 18717229 markings, 39830479 edges, 21003 markings/sec, 805 secs
lola: STP completed || 27 tries, 26777110 fired transitions, 810 secs || 18822008 markings, 40078940 edges, 20956 markings/sec, 810 secs
lola: STP completed || 27 tries, 26932634 fired transitions, 815 secs || 18935205 markings, 40312739 edges, 22639 markings/sec, 815 secs
lola: STP completed || 28 tries, 27087666 fired transitions, 820 secs || 19046079 markings, 40552956 edges, 22175 markings/sec, 820 secs
lola: STP completed || 28 tries, 27241585 fired transitions, 825 secs || 19164723 markings, 40776789 edges, 23729 markings/sec, 825 secs
lola: STP completed || 28 tries, 27396942 fired transitions, 830 secs || 19271883 markings, 41023356 edges, 21432 markings/sec, 830 secs
lola: STP completed || 28 tries, 27556456 fired transitions, 835 secs || 19377855 markings, 41280345 edges, 21194 markings/sec, 835 secs
lola: STP completed || 28 tries, 27718423 fired transitions, 840 secs || 19487794 markings, 41539482 edges, 21988 markings/sec, 840 secs
lola: STP completed || 28 tries, 27872391 fired transitions, 845 secs || 19592553 markings, 41787261 edges, 20952 markings/sec, 845 secs
lola: STP completed || 29 tries, 28026369 fired transitions, 850 secs || 19713088 markings, 42012996 edges, 24107 markings/sec, 850 secs
lola: STP completed || 29 tries, 28181855 fired transitions, 855 secs || 19825257 markings, 42250024 edges, 22434 markings/sec, 855 secs
lola: STP completed || 29 tries, 28345714 fired transitions, 860 secs || 19936667 markings, 42514027 edges, 22282 markings/sec, 860 secs
lola: STP completed || 29 tries, 28507488 fired transitions, 865 secs || 20050443 markings, 42765936 edges, 22755 markings/sec, 865 secs
lola: STP completed || 29 tries, 28674271 fired transitions, 870 secs || 20163845 markings, 43037100 edges, 22680 markings/sec, 870 secs
lola: STP completed || 29 tries, 28837674 fired transitions, 875 secs || 20274743 markings, 43298237 edges, 22180 markings/sec, 875 secs
lola: STP completed || 30 tries, 29001332 fired transitions, 880 secs || 20387336 markings, 43554968 edges, 22519 markings/sec, 880 secs
lola: STP completed || 30 tries, 29163836 fired transitions, 885 secs || 20499219 markings, 43812634 edges, 22377 markings/sec, 885 secs
lola: STP completed || 30 tries, 29326412 fired transitions, 890 secs || 20612228 markings, 44070986 edges, 22602 markings/sec, 890 secs
lola: STP completed || 30 tries, 29490151 fired transitions, 895 secs || 20726208 markings, 44333891 edges, 22796 markings/sec, 895 secs
lola: STP completed || 30 tries, 29656856 fired transitions, 900 secs || 20835362 markings, 44597472 edges, 21831 markings/sec, 900 secs
lola: STP completed || 30 tries, 29824504 fired transitions, 905 secs || 20953631 markings, 44849209 edges, 23654 markings/sec, 905 secs
lola: STP completed || 30 tries, 29991643 fired transitions, 910 secs || 21068123 markings, 45108014 edges, 22898 markings/sec, 910 secs
lola: STP completed || 31 tries, 30159632 fired transitions, 915 secs || 21180968 markings, 45374745 edges, 22569 markings/sec, 915 secs
lola: STP completed || 31 tries, 30324404 fired transitions, 920 secs || 21289364 markings, 45645069 edges, 21679 markings/sec, 920 secs
lola: STP completed || 31 tries, 30489168 fired transitions, 925 secs || 21400831 markings, 45909239 edges, 22293 markings/sec, 925 secs
lola: STP completed || 31 tries, 30650002 fired transitions, 930 secs || 21510257 markings, 46161338 edges, 21885 markings/sec, 930 secs
lola: STP completed || 31 tries, 30813519 fired transitions, 935 secs || 21620870 markings, 46425031 edges, 22123 markings/sec, 935 secs
lola: STP completed || 31 tries, 30979749 fired transitions, 940 secs || 21732756 markings, 46689645 edges, 22377 markings/sec, 940 secs
lola: STP completed || 32 tries, 31144264 fired transitions, 945 secs || 21846821 markings, 46950204 edges, 22813 markings/sec, 945 secs
lola: STP completed || 32 tries, 31311566 fired transitions, 950 secs || 21959841 markings, 47218940 edges, 22604 markings/sec, 950 secs
lola: STP completed || 32 tries, 31479200 fired transitions, 955 secs || 22077270 markings, 47479351 edges, 23486 markings/sec, 955 secs
lola: STP completed || 32 tries, 31639575 fired transitions, 960 secs || 22188573 markings, 47731094 edges, 22261 markings/sec, 960 secs
lola: STP completed || 32 tries, 31805115 fired transitions, 965 secs || 22309245 markings, 47976654 edges, 24134 markings/sec, 965 secs
lola: STP completed || 32 tries, 31969613 fired transitions, 970 secs || 22418528 markings, 48247487 edges, 21857 markings/sec, 970 secs
lola: STP completed || 33 tries, 32132361 fired transitions, 975 secs || 22532522 markings, 48494700 edges, 22799 markings/sec, 975 secs
lola: STP completed || 33 tries, 32297962 fired transitions, 980 secs || 22647147 markings, 48751912 edges, 22925 markings/sec, 980 secs
lola: STP completed || 33 tries, 32463214 fired transitions, 985 secs || 22757699 markings, 49016227 edges, 22110 markings/sec, 985 secs
lola: STP completed || 33 tries, 32627206 fired transitions, 990 secs || 22866744 markings, 49279823 edges, 21809 markings/sec, 990 secs
lola: STP completed || 33 tries, 32794304 fired transitions, 995 secs || 22982130 markings, 49543053 edges, 23077 markings/sec, 995 secs
lola: STP completed || 33 tries, 32957270 fired transitions, 1000 secs || 23093637 markings, 49798563 edges, 22301 markings/sec, 1000 secs
lola: STP completed || 34 tries, 33127096 fired transitions, 1005 secs || 23208268 markings, 50070799 edges, 22926 markings/sec, 1005 secs
lola: STP completed || 34 tries, 33293053 fired transitions, 1010 secs || 23320710 markings, 50339074 edges, 22488 markings/sec, 1010 secs
lola: STP completed || 34 tries, 33459269 fired transitions, 1015 secs || 23434374 markings, 50599981 edges, 22733 markings/sec, 1015 secs
lola: STP completed || 34 tries, 33627230 fired transitions, 1020 secs || 23546475 markings, 50871976 edges, 22420 markings/sec, 1020 secs
lola: STP completed || 34 tries, 33791638 fired transitions, 1025 secs || 23658977 markings, 51129224 edges, 22500 markings/sec, 1025 secs
lola: STP completed || 34 tries, 33959435 fired transitions, 1030 secs || 23771962 markings, 51396366 edges, 22597 markings/sec, 1030 secs
lola: STP completed || 35 tries, 34124860 fired transitions, 1035 secs || 23882401 markings, 51665852 edges, 22088 markings/sec, 1035 secs
lola: STP completed || 35 tries, 34292929 fired transitions, 1040 secs || 23996513 markings, 51930280 edges, 22822 markings/sec, 1040 secs
lola: STP completed || 35 tries, 34457821 fired transitions, 1045 secs || 24112009 markings, 52183131 edges, 23099 markings/sec, 1045 secs
lola: STP completed || 35 tries, 34620531 fired transitions, 1050 secs || 24224802 markings, 52436281 edges, 22559 markings/sec, 1050 secs
lola: STP completed || 35 tries, 34784878 fired transitions, 1055 secs || 24338455 markings, 52689386 edges, 22731 markings/sec, 1055 secs
lola: STP completed || 35 tries, 34950163 fired transitions, 1060 secs || 24452263 markings, 52950739 edges, 22762 markings/sec, 1060 secs
lola: STP completed || 36 tries, 35114288 fired transitions, 1065 secs || 24563369 markings, 53211494 edges, 22221 markings/sec, 1065 secs
lola: STP completed || 36 tries, 35280278 fired transitions, 1070 secs || 24673315 markings, 53481417 edges, 21989 markings/sec, 1070 secs
lola: STP completed || 36 tries, 35436748 fired transitions, 1075 secs || 24780204 markings, 53732201 edges, 21378 markings/sec, 1075 secs
lola: STP completed || 36 tries, 35590000 fired transitions, 1080 secs || 24884990 markings, 53981897 edges, 20957 markings/sec, 1080 secs
lola: STP completed || 36 tries, 35743269 fired transitions, 1085 secs || 24989081 markings, 54232184 edges, 20818 markings/sec, 1085 secs
lola: STP completed || 36 tries, 35896795 fired transitions, 1090 secs || 25096593 markings, 54472928 edges, 21502 markings/sec, 1090 secs
lola: STP completed || 37 tries, 36050198 fired transitions, 1095 secs || 25200580 markings, 54724670 edges, 20797 markings/sec, 1095 secs
lola: STP completed || 37 tries, 36206942 fired transitions, 1100 secs || 25303134 markings, 54985988 edges, 20511 markings/sec, 1100 secs
lola: STP completed || 37 tries, 36374323 fired transitions, 1105 secs || 25413322 markings, 55256958 edges, 22038 markings/sec, 1105 secs
lola: STP completed || 37 tries, 36535576 fired transitions, 1110 secs || 25520652 markings, 55519329 edges, 21466 markings/sec, 1110 secs
lola: STP completed || 37 tries, 36693028 fired transitions, 1115 secs || 25627204 markings, 55774843 edges, 21310 markings/sec, 1115 secs
lola: STP completed || 37 tries, 36851907 fired transitions, 1120 secs || 25732618 markings, 56036639 edges, 21083 markings/sec, 1120 secs
lola: STP completed || 38 tries, 37015934 fired transitions, 1125 secs || 25841948 markings, 56298324 edges, 21866 markings/sec, 1125 secs
lola: STP completed || 38 tries, 37178818 fired transitions, 1130 secs || 25954514 markings, 56550832 edges, 22513 markings/sec, 1130 secs
lola: STP completed || 38 tries, 37344589 fired transitions, 1135 secs || 26063490 markings, 56819693 edges, 21795 markings/sec, 1135 secs
lola: STP completed || 38 tries, 37507141 fired transitions, 1140 secs || 26173630 markings, 57085136 edges, 22028 markings/sec, 1140 secs
lola: STP completed || 38 tries, 37671599 fired transitions, 1145 secs || 26285734 markings, 57340558 edges, 22421 markings/sec, 1145 secs
lola: STP completed || 38 tries, 37836438 fired transitions, 1150 secs || 26396408 markings, 57603265 edges, 22135 markings/sec, 1150 secs
lola: STP completed || 39 tries, 38000900 fired transitions, 1155 secs || 26507627 markings, 57866545 edges, 22244 markings/sec, 1155 secs
lola: STP completed || 39 tries, 38166003 fired transitions, 1160 secs || 26618195 markings, 58133442 edges, 22114 markings/sec, 1160 secs
lola: STP completed || 39 tries, 38332103 fired transitions, 1165 secs || 26729715 markings, 58396684 edges, 22304 markings/sec, 1165 secs
lola: STP completed || 39 tries, 38495026 fired transitions, 1170 secs || 26836820 markings, 58671413 edges, 21421 markings/sec, 1170 secs
lola: STP completed || 39 tries, 38660073 fired transitions, 1175 secs || 26946140 markings, 58942039 edges, 21864 markings/sec, 1175 secs
lola: STP completed || 39 tries, 38824359 fired transitions, 1180 secs || 27055342 markings, 59214931 edges, 21840 markings/sec, 1180 secs
lola: STP completed || 39 tries, 38987178 fired transitions, 1185 secs || 27165384 markings, 59468808 edges, 22008 markings/sec, 1185 secs
lola: STP completed || 40 tries, 39146447 fired transitions, 1190 secs || 27273799 markings, 59725409 edges, 21683 markings/sec, 1190 secs
lola: STP completed || 40 tries, 39299801 fired transitions, 1195 secs || 27379980 markings, 59971640 edges, 21236 markings/sec, 1195 secs
lola: STP completed || 40 tries, 39452956 fired transitions, 1200 secs || 27485284 markings, 60227508 edges, 21061 markings/sec, 1200 secs
lola: STP completed || 40 tries, 39611565 fired transitions, 1205 secs || 27597130 markings, 60472124 edges, 22369 markings/sec, 1205 secs
lola: STP completed || 40 tries, 39775920 fired transitions, 1210 secs || 27707013 markings, 60742393 edges, 21977 markings/sec, 1210 secs
lola: STP completed || 40 tries, 39939322 fired transitions, 1215 secs || 27818162 markings, 61003788 edges, 22230 markings/sec, 1215 secs
lola: STP completed || 41 tries, 40102887 fired transitions, 1220 secs || 27929824 markings, 61260855 edges, 22332 markings/sec, 1220 secs
lola: STP completed || 41 tries, 40268189 fired transitions, 1225 secs || 28041140 markings, 61527487 edges, 22263 markings/sec, 1225 secs
lola: STP completed || 41 tries, 40431566 fired transitions, 1230 secs || 28151483 markings, 61794847 edges, 22069 markings/sec, 1230 secs
lola: STP completed || 41 tries, 40593119 fired transitions, 1235 secs || 28259996 markings, 62062271 edges, 21703 markings/sec, 1235 secs
lola: STP completed || 41 tries, 40746695 fired transitions, 1240 secs || 28366737 markings, 62306664 edges, 21348 markings/sec, 1240 secs
lola: STP completed || 41 tries, 40900743 fired transitions, 1245 secs || 28471485 markings, 62555737 edges, 20950 markings/sec, 1245 secs
lola: STP completed || 42 tries, 41054256 fired transitions, 1250 secs || 28576735 markings, 62802985 edges, 21050 markings/sec, 1250 secs
lola: STP completed || 42 tries, 41217094 fired transitions, 1255 secs || 28687490 markings, 63061892 edges, 22151 markings/sec, 1255 secs
lola: STP completed || 42 tries, 41382215 fired transitions, 1260 secs || 28797885 markings, 63333827 edges, 22079 markings/sec, 1260 secs
lola: STP completed || 42 tries, 41546982 fired transitions, 1265 secs || 28906296 markings, 63603015 edges, 21682 markings/sec, 1265 secs
lola: STP completed || 42 tries, 41713479 fired transitions, 1270 secs || 29019513 markings, 63868000 edges, 22643 markings/sec, 1270 secs
lola: STP completed || 42 tries, 41860623 fired transitions, 1275 secs || 29128012 markings, 64114827 edges, 21700 markings/sec, 1275 secs
lola: STP completed || 43 tries, 42015590 fired transitions, 1280 secs || 29238416 markings, 64368876 edges, 22081 markings/sec, 1280 secs
lola: STP completed || 43 tries, 42155232 fired transitions, 1285 secs || 29341300 markings, 64604354 edges, 20577 markings/sec, 1285 secs
lola: STP completed || 43 tries, 42311921 fired transitions, 1290 secs || 29445663 markings, 64853188 edges, 20873 markings/sec, 1290 secs
lola: STP completed || 43 tries, 42474244 fired transitions, 1295 secs || 29553485 markings, 65119304 edges, 21564 markings/sec, 1295 secs
lola: STP completed || 43 tries, 42638602 fired transitions, 1300 secs || 29659171 markings, 65380378 edges, 21137 markings/sec, 1300 secs
lola: STP completed || 43 tries, 42802522 fired transitions, 1305 secs || 29768780 markings, 65619667 edges, 21922 markings/sec, 1305 secs
lola: STP completed || 43 tries, 42966177 fired transitions, 1310 secs || 29874366 markings, 65873555 edges, 21117 markings/sec, 1310 secs
lola: STP completed || 44 tries, 43132104 fired transitions, 1315 secs || 29986032 markings, 66146256 edges, 22333 markings/sec, 1315 secs
lola: STP completed || 44 tries, 43300145 fired transitions, 1320 secs || 30096856 markings, 66409636 edges, 22165 markings/sec, 1320 secs
lola: STP completed || 44 tries, 43472569 fired transitions, 1325 secs || 30209786 markings, 66678757 edges, 22586 markings/sec, 1325 secs
lola: STP completed || 44 tries, 43635640 fired transitions, 1330 secs || 30317028 markings, 66947523 edges, 21448 markings/sec, 1330 secs
lola: STP completed || 44 tries, 43798827 fired transitions, 1335 secs || 30426981 markings, 67211448 edges, 21991 markings/sec, 1335 secs
lola: STP completed || 44 tries, 43962313 fired transitions, 1340 secs || 30536493 markings, 67477365 edges, 21902 markings/sec, 1340 secs
lola: STP completed || 45 tries, 44117911 fired transitions, 1345 secs || 30642218 markings, 67740520 edges, 21145 markings/sec, 1345 secs
lola: STP completed || 45 tries, 44274060 fired transitions, 1350 secs || 30747294 markings, 68005834 edges, 21015 markings/sec, 1350 secs
lola: STP completed || 45 tries, 44440756 fired transitions, 1355 secs || 30864981 markings, 68269146 edges, 23537 markings/sec, 1355 secs
lola: STP completed || 45 tries, 44604557 fired transitions, 1360 secs || 30971632 markings, 68537408 edges, 21330 markings/sec, 1360 secs
lola: STP completed || 45 tries, 44766670 fired transitions, 1365 secs || 31082524 markings, 68802139 edges, 22178 markings/sec, 1365 secs
lola: STP completed || 45 tries, 44925427 fired transitions, 1370 secs || 31187497 markings, 69064976 edges, 20995 markings/sec, 1370 secs
lola: STP completed || 46 tries, 45091093 fired transitions, 1375 secs || 31301277 markings, 69310571 edges, 22756 markings/sec, 1375 secs
lola: STP completed || 46 tries, 45230525 fired transitions, 1380 secs || 31398542 markings, 69542967 edges, 19453 markings/sec, 1380 secs
lola: STP completed || 46 tries, 45373214 fired transitions, 1385 secs || 31497423 markings, 69789417 edges, 19776 markings/sec, 1385 secs
lola: STP completed || 46 tries, 45523169 fired transitions, 1390 secs || 31599935 markings, 70040082 edges, 20502 markings/sec, 1390 secs
lola: STP completed || 46 tries, 45677192 fired transitions, 1395 secs || 31708711 markings, 70294008 edges, 21755 markings/sec, 1395 secs
lola: STP completed || 46 tries, 45842346 fired transitions, 1400 secs || 31820214 markings, 70557026 edges, 22301 markings/sec, 1400 secs
lola: STP completed || 47 tries, 46003949 fired transitions, 1405 secs || 31925060 markings, 70815091 edges, 20969 markings/sec, 1405 secs
lola: STP completed || 47 tries, 46159911 fired transitions, 1410 secs || 32036313 markings, 71072880 edges, 22251 markings/sec, 1410 secs
lola: STP completed || 47 tries, 46322548 fired transitions, 1415 secs || 32144965 markings, 71336261 edges, 21730 markings/sec, 1415 secs
lola: STP completed || 47 tries, 46481025 fired transitions, 1420 secs || 32254525 markings, 71589146 edges, 21912 markings/sec, 1420 secs
lola: STP completed || 47 tries, 46639723 fired transitions, 1425 secs || 32360642 markings, 71847144 edges, 21223 markings/sec, 1425 secs
lola: STP completed || 47 tries, 46799389 fired transitions, 1430 secs || 32470490 markings, 72097230 edges, 21970 markings/sec, 1430 secs
lola: STP completed || 47 tries, 46957949 fired transitions, 1435 secs || 32579126 markings, 72350033 edges, 21727 markings/sec, 1435 secs
lola: STP completed || 48 tries, 47116203 fired transitions, 1440 secs || 32685189 markings, 72612762 edges, 21213 markings/sec, 1440 secs
lola: STP completed || 48 tries, 47275691 fired transitions, 1445 secs || 32791709 markings, 72871080 edges, 21304 markings/sec, 1445 secs
lola: STP completed || 48 tries, 47435158 fired transitions, 1450 secs || 32899663 markings, 73126306 edges, 21591 markings/sec, 1450 secs
lola: STP completed || 48 tries, 47593743 fired transitions, 1455 secs || 33007422 markings, 73381197 edges, 21552 markings/sec, 1455 secs
lola: STP completed || 48 tries, 47752776 fired transitions, 1460 secs || 33113219 markings, 73641931 edges, 21159 markings/sec, 1460 secs
lola: STP completed || 48 tries, 47912587 fired transitions, 1465 secs || 33221307 markings, 73900407 edges, 21618 markings/sec, 1465 secs
lola: STP completed || 49 tries, 48073870 fired transitions, 1470 secs || 33334901 markings, 74152133 edges, 22719 markings/sec, 1470 secs
lola: STP completed || 49 tries, 48239660 fired transitions, 1475 secs || 33447457 markings, 74413608 edges, 22511 markings/sec, 1475 secs
lola: STP completed || 49 tries, 48407582 fired transitions, 1480 secs || 33560725 markings, 74678177 edges, 22654 markings/sec, 1480 secs
lola: STP completed || 49 tries, 48573682 fired transitions, 1485 secs || 33667115 markings, 74942225 edges, 21278 markings/sec, 1485 secs
lola: STP completed || 49 tries, 48735705 fired transitions, 1490 secs || 33779267 markings, 75183528 edges, 22430 markings/sec, 1490 secs
lola: STP completed || 49 tries, 48901610 fired transitions, 1495 secs || 33887296 markings, 75450497 edges, 21606 markings/sec, 1495 secs
lola: STP completed || 50 tries, 49066288 fired transitions, 1500 secs || 33995641 markings, 75705950 edges, 21669 markings/sec, 1500 secs
lola: STP completed || 50 tries, 49233385 fired transitions, 1505 secs || 34104186 markings, 75969445 edges, 21709 markings/sec, 1505 secs
lola: STP completed || 50 tries, 49397319 fired transitions, 1510 secs || 34210864 markings, 76230112 edges, 21336 markings/sec, 1510 secs
lola: STP completed || 50 tries, 49562810 fired transitions, 1515 secs || 34324908 markings, 76477242 edges, 22809 markings/sec, 1515 secs
lola: STP completed || 50 tries, 49729403 fired transitions, 1520 secs || 34437237 markings, 76732011 edges, 22466 markings/sec, 1520 secs
lola: STP completed || 50 tries, 49883244 fired transitions, 1525 secs || 34541538 markings, 76982771 edges, 20860 markings/sec, 1525 secs
lola: STP completed || 51 tries, 50037141 fired transitions, 1530 secs || 34644333 markings, 77236940 edges, 20559 markings/sec, 1530 secs
lola: STP completed || 51 tries, 50192882 fired transitions, 1535 secs || 34747815 markings, 77495942 edges, 20696 markings/sec, 1535 secs
lola: STP completed || 51 tries, 50364993 fired transitions, 1540 secs || 34858861 markings, 77773261 edges, 22209 markings/sec, 1540 secs
lola: STP completed || 51 tries, 50535490 fired transitions, 1545 secs || 34970770 markings, 78042580 edges, 22382 markings/sec, 1545 secs
lola: STP completed || 51 tries, 50701630 fired transitions, 1550 secs || 35078063 markings, 78310119 edges, 21459 markings/sec, 1550 secs
lola: STP completed || 51 tries, 50867827 fired transitions, 1555 secs || 35184533 markings, 78581282 edges, 21294 markings/sec, 1555 secs
lola: STP completed || 52 tries, 51022956 fired transitions, 1560 secs || 35290459 markings, 78844893 edges, 21185 markings/sec, 1560 secs
lola: STP completed || 52 tries, 51188628 fired transitions, 1565 secs || 35409608 markings, 79093834 edges, 23830 markings/sec, 1565 secs
lola: STP completed || 52 tries, 51342885 fired transitions, 1570 secs || 35513822 markings, 79333059 edges, 20843 markings/sec, 1570 secs
lola: STP completed || 52 tries, 51483349 fired transitions, 1575 secs || 35612561 markings, 79577803 edges, 19748 markings/sec, 1575 secs
lola: STP completed || 52 tries, 51633231 fired transitions, 1580 secs || 35710947 markings, 79827228 edges, 19677 markings/sec, 1580 secs
lola: STP completed || 52 tries, 51789999 fired transitions, 1585 secs || 35815351 markings, 80087230 edges, 20881 markings/sec, 1585 secs
lola: STP completed || 52 tries, 51944189 fired transitions, 1590 secs || 35919782 markings, 80344120 edges, 20886 markings/sec, 1590 secs
lola: STP completed || 53 tries, 52098199 fired transitions, 1595 secs || 36022712 markings, 80592594 edges, 20586 markings/sec, 1595 secs
lola: STP completed || 53 tries, 52252590 fired transitions, 1600 secs || 36125858 markings, 80851489 edges, 20629 markings/sec, 1600 secs
lola: STP completed || 53 tries, 52407166 fired transitions, 1605 secs || 36228866 markings, 81104836 edges, 20602 markings/sec, 1605 secs
lola: STP completed || 53 tries, 52571562 fired transitions, 1610 secs || 36337493 markings, 81366207 edges, 21725 markings/sec, 1610 secs
lola: STP completed || 53 tries, 52737936 fired transitions, 1615 secs || 36445511 markings, 81639049 edges, 21604 markings/sec, 1615 secs
lola: STP completed || 53 tries, 52901776 fired transitions, 1620 secs || 36550634 markings, 81911301 edges, 21025 markings/sec, 1620 secs
lola: STP completed || 54 tries, 53065908 fired transitions, 1625 secs || 36660001 markings, 82175788 edges, 21873 markings/sec, 1625 secs
lola: STP completed || 54 tries, 53229385 fired transitions, 1630 secs || 36771840 markings, 82431453 edges, 22368 markings/sec, 1630 secs
lola: STP completed || 54 tries, 53396516 fired transitions, 1635 secs || 36881370 markings, 82705048 edges, 21906 markings/sec, 1635 secs
lola: STP completed || 54 tries, 53561966 fired transitions, 1640 secs || 36990950 markings, 82963351 edges, 21916 markings/sec, 1640 secs
lola: STP completed || 54 tries, 53726626 fired transitions, 1645 secs || 37099378 markings, 83231409 edges, 21686 markings/sec, 1645 secs
lola: STP completed || 54 tries, 53881053 fired transitions, 1650 secs || 37203976 markings, 83485933 edges, 20920 markings/sec, 1650 secs
lola: STP completed || 55 tries, 54036719 fired transitions, 1655 secs || 37315294 markings, 83726956 edges, 22264 markings/sec, 1655 secs
lola: STP completed || 55 tries, 54200615 fired transitions, 1660 secs || 37425354 markings, 83993070 edges, 22012 markings/sec, 1660 secs
lola: STP completed || 55 tries, 54365893 fired transitions, 1665 secs || 37533537 markings, 84267077 edges, 21637 markings/sec, 1665 secs
lola: STP completed || 55 tries, 54526707 fired transitions, 1670 secs || 37641264 markings, 84528271 edges, 21545 markings/sec, 1670 secs
lola: STP completed || 55 tries, 54686519 fired transitions, 1675 secs || 37747310 markings, 84795962 edges, 21209 markings/sec, 1675 secs
lola: STP completed || 55 tries, 54852331 fired transitions, 1680 secs || 37857258 markings, 85066753 edges, 21990 markings/sec, 1680 secs
lola: STP completed || 56 tries, 55022245 fired transitions, 1685 secs || 37969108 markings, 85343530 edges, 22370 markings/sec, 1685 secs
lola: STP completed || 56 tries, 55193288 fired transitions, 1690 secs || 38082417 markings, 85623057 edges, 22662 markings/sec, 1690 secs
lola: STP completed || 56 tries, 55361817 fired transitions, 1695 secs || 38193182 markings, 85895574 edges, 22153 markings/sec, 1695 secs
lola: STP completed || 56 tries, 55527564 fired transitions, 1700 secs || 38309681 markings, 86147609 edges, 23300 markings/sec, 1700 secs
lola: STP completed || 56 tries, 55690619 fired transitions, 1705 secs || 38417536 markings, 86410981 edges, 21571 markings/sec, 1705 secs
lola: STP completed || 56 tries, 55850722 fired transitions, 1710 secs || 38523324 markings, 86670924 edges, 21158 markings/sec, 1710 secs
lola: STP completed || 57 tries, 56016645 fired transitions, 1715 secs || 38630775 markings, 86938915 edges, 21490 markings/sec, 1715 secs
lola: STP completed || 57 tries, 56187088 fired transitions, 1720 secs || 38742067 markings, 87221066 edges, 22258 markings/sec, 1720 secs
lola: STP completed || 57 tries, 56354156 fired transitions, 1725 secs || 38849626 markings, 87482875 edges, 21512 markings/sec, 1725 secs
lola: STP completed || 57 tries, 56518888 fired transitions, 1730 secs || 38957118 markings, 87757458 edges, 21498 markings/sec, 1730 secs
lola: STP completed || 57 tries, 56684341 fired transitions, 1735 secs || 39063029 markings, 88038104 edges, 21182 markings/sec, 1735 secs
lola: STP completed || 57 tries, 56849537 fired transitions, 1740 secs || 39169961 markings, 88315011 edges, 21386 markings/sec, 1740 secs
lola: STP completed || 58 tries, 57015264 fired transitions, 1745 secs || 39280092 markings, 88579704 edges, 22026 markings/sec, 1745 secs
lola: STP completed || 58 tries, 57183272 fired transitions, 1750 secs || 39391469 markings, 88850151 edges, 22275 markings/sec, 1750 secs
lola: STP completed || 58 tries, 57346314 fired transitions, 1755 secs || 39499120 markings, 89109331 edges, 21530 markings/sec, 1755 secs
lola: STP completed || 58 tries, 57510887 fired transitions, 1760 secs || 39606289 markings, 89366344 edges, 21434 markings/sec, 1760 secs
lola: STP completed || 58 tries, 57674337 fired transitions, 1765 secs || 39712396 markings, 89627883 edges, 21221 markings/sec, 1765 secs
lola: STP completed || 58 tries, 57830265 fired transitions, 1770 secs || 39817643 markings, 89889316 edges, 21049 markings/sec, 1770 secs
lola: STP completed || 58 tries, 57984617 fired transitions, 1775 secs || 39920155 markings, 90142473 edges, 20502 markings/sec, 1775 secs
lola: STP completed || 59 tries, 58140484 fired transitions, 1780 secs || 40019645 markings, 90398226 edges, 19898 markings/sec, 1780 secs
lola: STP completed || 59 tries, 58283044 fired transitions, 1785 secs || 40113396 markings, 90634792 edges, 18750 markings/sec, 1785 secs
lola: STP completed || 59 tries, 58424583 fired transitions, 1790 secs || 40203644 markings, 90870217 edges, 18050 markings/sec, 1790 secs
lola: STP completed || 59 tries, 58567112 fired transitions, 1795 secs || 40295610 markings, 91096075 edges, 18393 markings/sec, 1795 secs
lola: STP completed || 59 tries, 58720976 fired transitions, 1800 secs || 40398333 markings, 91352323 edges, 20545 markings/sec, 1800 secs
lola: STP completed || 59 tries, 58880212 fired transitions, 1805 secs || 40500840 markings, 91624055 edges, 20501 markings/sec, 1805 secs
lola: STP completed || 60 tries, 59033865 fired transitions, 1810 secs || 40601074 markings, 91884014 edges, 20047 markings/sec, 1810 secs
lola: STP completed || 60 tries, 59187342 fired transitions, 1815 secs || 40705762 markings, 92134101 edges, 20938 markings/sec, 1815 secs
lola: STP completed || 60 tries, 59346894 fired transitions, 1820 secs || 40812749 markings, 92391445 edges, 21397 markings/sec, 1820 secs
lola: STP completed || 60 tries, 59518527 fired transitions, 1825 secs || 40923838 markings, 92665566 edges, 22218 markings/sec, 1825 secs
lola: STP completed || 60 tries, 59690202 fired transitions, 1830 secs || 41036875 markings, 92936872 edges, 22607 markings/sec, 1830 secs
lola: STP completed || 60 tries, 59846441 fired transitions, 1835 secs || 41139755 markings, 93196295 edges, 20576 markings/sec, 1835 secs
lola: STP completed || 60 tries, 59997340 fired transitions, 1840 secs || 41238877 markings, 93451012 edges, 19824 markings/sec, 1840 secs
lola: STP completed || 61 tries, 60150003 fired transitions, 1845 secs || 41337598 markings, 93710340 edges, 19744 markings/sec, 1845 secs
lola: STP completed || 61 tries, 60292659 fired transitions, 1850 secs || 41431785 markings, 93938263 edges, 18837 markings/sec, 1850 secs
lola: STP completed || 61 tries, 60434360 fired transitions, 1855 secs || 41523786 markings, 94170488 edges, 18400 markings/sec, 1855 secs
lola: STP completed || 61 tries, 60577219 fired transitions, 1860 secs || 41620004 markings, 94402140 edges, 19244 markings/sec, 1860 secs
lola: STP completed || 61 tries, 60719406 fired transitions, 1865 secs || 41708330 markings, 94628465 edges, 17665 markings/sec, 1865 secs
lola: STP completed || 61 tries, 60863001 fired transitions, 1870 secs || 41803800 markings, 94865162 edges, 19094 markings/sec, 1870 secs
lola: STP completed || 62 tries, 61006322 fired transitions, 1875 secs || 41893268 markings, 95095481 edges, 17894 markings/sec, 1875 secs
lola: STP completed || 62 tries, 61156778 fired transitions, 1880 secs || 41992306 markings, 95333096 edges, 19808 markings/sec, 1880 secs
lola: STP completed || 62 tries, 61317445 fired transitions, 1885 secs || 42100732 markings, 95591233 edges, 21685 markings/sec, 1885 secs
lola: STP completed || 62 tries, 61471474 fired transitions, 1890 secs || 42203091 markings, 95843862 edges, 20472 markings/sec, 1890 secs
lola: STP completed || 62 tries, 61625004 fired transitions, 1895 secs || 42304253 markings, 96101275 edges, 20232 markings/sec, 1895 secs
lola: STP completed || 62 tries, 61779350 fired transitions, 1900 secs || 42407580 markings, 96353459 edges, 20665 markings/sec, 1900 secs
lola: STP completed || 62 tries, 61944285 fired transitions, 1905 secs || 42513511 markings, 96615385 edges, 21186 markings/sec, 1905 secs
lola: STP completed || 63 tries, 62110849 fired transitions, 1910 secs || 42621249 markings, 96882970 edges, 21548 markings/sec, 1910 secs
lola: STP completed || 63 tries, 62277203 fired transitions, 1915 secs || 42728655 markings, 97153303 edges, 21481 markings/sec, 1915 secs
lola: STP completed || 63 tries, 62444131 fired transitions, 1920 secs || 42835485 markings, 97418867 edges, 21366 markings/sec, 1920 secs
lola: STP completed || 63 tries, 62609512 fired transitions, 1925 secs || 42944625 markings, 97682734 edges, 21828 markings/sec, 1925 secs
lola: STP completed || 63 tries, 62776281 fired transitions, 1930 secs || 43056155 markings, 97942903 edges, 22306 markings/sec, 1930 secs
lola: STP completed || 63 tries, 62942910 fired transitions, 1935 secs || 43163900 markings, 98214046 edges, 21549 markings/sec, 1935 secs
lola: STP completed || 64 tries, 63109856 fired transitions, 1940 secs || 43271826 markings, 98479893 edges, 21585 markings/sec, 1940 secs
lola: STP completed || 64 tries, 63276195 fired transitions, 1945 secs || 43378994 markings, 98749253 edges, 21434 markings/sec, 1945 secs
lola: STP completed || 64 tries, 63439779 fired transitions, 1950 secs || 43485696 markings, 99017829 edges, 21340 markings/sec, 1950 secs
lola: STP completed || 64 tries, 63607390 fired transitions, 1955 secs || 43591164 markings, 99297474 edges, 21094 markings/sec, 1955 secs
lola: STP completed || 64 tries, 63767124 fired transitions, 1960 secs || 43697761 markings, 99568650 edges, 21319 markings/sec, 1960 secs
lola: STP completed || 64 tries, 63907866 fired transitions, 1965 secs || 43795375 markings, 99818002 edges, 19523 markings/sec, 1965 secs
lola: STP completed || 65 tries, 64048191 fired transitions, 1970 secs || 43893739 markings, 100061516 edges, 19673 markings/sec, 1970 secs
lola: STP completed || 65 tries, 64189330 fired transitions, 1975 secs || 43993662 markings, 100302730 edges, 19985 markings/sec, 1975 secs
lola: STP completed || 65 tries, 64354777 fired transitions, 1980 secs || 44100738 markings, 100567360 edges, 21415 markings/sec, 1980 secs
lola: STP completed || 65 tries, 64520117 fired transitions, 1985 secs || 44205849 markings, 100834524 edges, 21022 markings/sec, 1985 secs
lola: STP completed || 65 tries, 64684601 fired transitions, 1990 secs || 44313856 markings, 101096218 edges, 21601 markings/sec, 1990 secs
lola: STP completed || 65 tries, 64845658 fired transitions, 1995 secs || 44417492 markings, 101361074 edges, 20727 markings/sec, 1995 secs
lola: STP completed || 65 tries, 64994148 fired transitions, 2000 secs || 44517477 markings, 101621505 edges, 19997 markings/sec, 2000 secs
lola: STP completed || 66 tries, 65149781 fired transitions, 2005 secs || 44621911 markings, 101885587 edges, 20887 markings/sec, 2005 secs
lola: STP completed || 66 tries, 65311747 fired transitions, 2010 secs || 44729062 markings, 102146558 edges, 21430 markings/sec, 2010 secs
lola: STP completed || 66 tries, 65461532 fired transitions, 2015 secs || 44830744 markings, 102401984 edges, 20336 markings/sec, 2015 secs
lola: STP completed || 66 tries, 65618587 fired transitions, 2020 secs || 44937397 markings, 102652867 edges, 21331 markings/sec, 2020 secs
lola: STP completed || 66 tries, 65781191 fired transitions, 2025 secs || 45045790 markings, 102911713 edges, 21679 markings/sec, 2025 secs
lola: STP completed || 66 tries, 65941108 fired transitions, 2030 secs || 45149272 markings, 103175062 edges, 20696 markings/sec, 2030 secs
lola: STP completed || 67 tries, 66099253 fired transitions, 2035 secs || 45251177 markings, 103435191 edges, 20381 markings/sec, 2035 secs
lola: STP completed || 67 tries, 66256476 fired transitions, 2040 secs || 45365998 markings, 103673681 edges, 22964 markings/sec, 2040 secs
lola: STP completed || 67 tries, 66400988 fired transitions, 2045 secs || 45462723 markings, 103924766 edges, 19345 markings/sec, 2045 secs
lola: STP completed || 67 tries, 66561350 fired transitions, 2050 secs || 45567862 markings, 104193722 edges, 21028 markings/sec, 2050 secs
lola: STP completed || 67 tries, 66723490 fired transitions, 2055 secs || 45676180 markings, 104453296 edges, 21664 markings/sec, 2055 secs
lola: STP completed || 67 tries, 66868471 fired transitions, 2060 secs || 45772607 markings, 104712441 edges, 19285 markings/sec, 2060 secs
lola: STP completed || 68 tries, 67013111 fired transitions, 2065 secs || 45872213 markings, 104969717 edges, 19921 markings/sec, 2065 secs
lola: STP completed || 68 tries, 67168327 fired transitions, 2070 secs || 45976886 markings, 105209750 edges, 20935 markings/sec, 2070 secs
lola: STP completed || 68 tries, 67323217 fired transitions, 2075 secs || 46079363 markings, 105459466 edges, 20495 markings/sec, 2075 secs
lola: STP completed || 68 tries, 67465382 fired transitions, 2080 secs || 46168052 markings, 105693411 edges, 17738 markings/sec, 2080 secs
lola: STP completed || 68 tries, 67607972 fired transitions, 2085 secs || 46255730 markings, 105923865 edges, 17536 markings/sec, 2085 secs
lola: STP completed || 68 tries, 67748778 fired transitions, 2090 secs || 46344095 markings, 106160401 edges, 17673 markings/sec, 2090 secs
lola: STP completed || 68 tries, 67890063 fired transitions, 2095 secs || 46437377 markings, 106381135 edges, 18656 markings/sec, 2095 secs
lola: STP completed || 69 tries, 68041781 fired transitions, 2100 secs || 46536598 markings, 106630634 edges, 19844 markings/sec, 2100 secs
lola: STP completed || 69 tries, 68188892 fired transitions, 2105 secs || 46634812 markings, 106888803 edges, 19643 markings/sec, 2105 secs
lola: STP completed || 69 tries, 68341775 fired transitions, 2110 secs || 46735528 markings, 107143257 edges, 20143 markings/sec, 2110 secs
lola: STP completed || 69 tries, 68495718 fired transitions, 2115 secs || 46836148 markings, 107402075 edges, 20124 markings/sec, 2115 secs
lola: STP completed || 69 tries, 68649902 fired transitions, 2120 secs || 46939892 markings, 107655624 edges, 20749 markings/sec, 2120 secs
lola: STP completed || 69 tries, 68795110 fired transitions, 2125 secs || 47036029 markings, 107897059 edges, 19227 markings/sec, 2125 secs
lola: STP completed || 69 tries, 68937399 fired transitions, 2130 secs || 47124047 markings, 108133841 edges, 17604 markings/sec, 2130 secs
lola: STP completed || 70 tries, 69080366 fired transitions, 2135 secs || 47215618 markings, 108358194 edges, 18314 markings/sec, 2135 secs
lola: STP completed || 70 tries, 69222596 fired transitions, 2140 secs || 47306132 markings, 108581050 edges, 18103 markings/sec, 2140 secs
lola: STP completed || 70 tries, 69376187 fired transitions, 2145 secs || 47405466 markings, 108840693 edges, 19867 markings/sec, 2145 secs
lola: STP completed || 70 tries, 69530311 fired transitions, 2150 secs || 47507742 markings, 109085697 edges, 20455 markings/sec, 2150 secs
lola: STP completed || 70 tries, 69684933 fired transitions, 2155 secs || 47611874 markings, 109345031 edges, 20826 markings/sec, 2155 secs
lola: STP completed || 70 tries, 69848283 fired transitions, 2160 secs || 47716896 markings, 109611586 edges, 21004 markings/sec, 2160 secs
lola: STP completed || 71 tries, 70013740 fired transitions, 2165 secs || 47825804 markings, 109881583 edges, 21782 markings/sec, 2165 secs
lola: STP completed || 71 tries, 70175697 fired transitions, 2170 secs || 47941428 markings, 110142247 edges, 23125 markings/sec, 2170 secs
lola: STP completed || 71 tries, 70340094 fired transitions, 2175 secs || 48056694 markings, 110394764 edges, 23053 markings/sec, 2175 secs
lola: STP completed || 71 tries, 70504459 fired transitions, 2180 secs || 48163905 markings, 110660247 edges, 21442 markings/sec, 2180 secs
lola: STP completed || 71 tries, 70668219 fired transitions, 2185 secs || 48269433 markings, 110928702 edges, 21106 markings/sec, 2185 secs
lola: STP completed || 71 tries, 70822096 fired transitions, 2190 secs || 48373259 markings, 111191355 edges, 20765 markings/sec, 2190 secs
lola: STP completed || 71 tries, 70989026 fired transitions, 2195 secs || 48478681 markings, 111460528 edges, 21084 markings/sec, 2195 secs
lola: STP completed || 72 tries, 71155742 fired transitions, 2200 secs || 48585728 markings, 111728597 edges, 21409 markings/sec, 2200 secs
lola: STP completed || 72 tries, 71325032 fired transitions, 2205 secs || 48696981 markings, 111999348 edges, 22251 markings/sec, 2205 secs
lola: STP completed || 72 tries, 71488840 fired transitions, 2210 secs || 48801463 markings, 112270226 edges, 20896 markings/sec, 2210 secs
lola: STP completed || 72 tries, 71646969 fired transitions, 2215 secs || 48904182 markings, 112532858 edges, 20544 markings/sec, 2215 secs
lola: STP completed || 72 tries, 71800354 fired transitions, 2220 secs || 49007675 markings, 112790224 edges, 20699 markings/sec, 2220 secs
lola: STP completed || 72 tries, 71954230 fired transitions, 2225 secs || 49110433 markings, 113048039 edges, 20552 markings/sec, 2225 secs
lola: STP completed || 73 tries, 72119673 fired transitions, 2230 secs || 49220398 markings, 113323450 edges, 21993 markings/sec, 2230 secs
lola: STP completed || 73 tries, 72290911 fired transitions, 2235 secs || 49332536 markings, 113608417 edges, 22428 markings/sec, 2235 secs
lola: STP completed || 73 tries, 72450903 fired transitions, 2240 secs || 49435854 markings, 113878799 edges, 20664 markings/sec, 2240 secs
lola: STP completed || 73 tries, 72604648 fired transitions, 2245 secs || 49542782 markings, 114126748 edges, 21386 markings/sec, 2245 secs
lola: STP completed || 73 tries, 72758320 fired transitions, 2250 secs || 49648422 markings, 114376571 edges, 21128 markings/sec, 2250 secs
lola: STP completed || 73 tries, 72924177 fired transitions, 2255 secs || 49755778 markings, 114646462 edges, 21471 markings/sec, 2255 secs
lola: STP completed || 74 tries, 73091501 fired transitions, 2260 secs || 49866688 markings, 114904405 edges, 22182 markings/sec, 2260 secs
lola: STP completed || 74 tries, 73256945 fired transitions, 2265 secs || 49974526 markings, 115179562 edges, 21568 markings/sec, 2265 secs
lola: STP completed || 74 tries, 73421920 fired transitions, 2270 secs || 50084973 markings, 115444176 edges, 22089 markings/sec, 2270 secs
lola: STP completed || 74 tries, 73588585 fired transitions, 2275 secs || 50192064 markings, 115707690 edges, 21418 markings/sec, 2275 secs
lola: STP completed || 74 tries, 73754679 fired transitions, 2280 secs || 50299030 markings, 115976031 edges, 21393 markings/sec, 2280 secs
lola: STP completed || 74 tries, 73921504 fired transitions, 2285 secs || 50406865 markings, 116238966 edges, 21567 markings/sec, 2285 secs
lola: STP completed || 75 tries, 74088466 fired transitions, 2290 secs || 50516342 markings, 116505478 edges, 21895 markings/sec, 2290 secs
lola: STP completed || 75 tries, 74254929 fired transitions, 2295 secs || 50623942 markings, 116777409 edges, 21520 markings/sec, 2295 secs
lola: STP completed || 75 tries, 74422083 fired transitions, 2300 secs || 50732554 markings, 117047424 edges, 21722 markings/sec, 2300 secs
lola: STP completed || 75 tries, 74588758 fired transitions, 2305 secs || 50841256 markings, 117315130 edges, 21740 markings/sec, 2305 secs
lola: STP completed || 75 tries, 74755224 fired transitions, 2310 secs || 50949992 markings, 117577024 edges, 21747 markings/sec, 2310 secs
lola: STP completed || 75 tries, 74927297 fired transitions, 2315 secs || 51064808 markings, 117843712 edges, 22963 markings/sec, 2315 secs
lola: STP completed || 76 tries, 75099652 fired transitions, 2320 secs || 51178077 markings, 118115207 edges, 22654 markings/sec, 2320 secs
lola: STP completed || 76 tries, 75259208 fired transitions, 2325 secs || 51282449 markings, 118377663 edges, 20874 markings/sec, 2325 secs
lola: STP completed || 76 tries, 75413978 fired transitions, 2330 secs || 51386907 markings, 118625081 edges, 20892 markings/sec, 2330 secs
lola: STP completed || 76 tries, 75567465 fired transitions, 2335 secs || 51488456 markings, 118887178 edges, 20310 markings/sec, 2335 secs
lola: STP completed || 76 tries, 75722346 fired transitions, 2340 secs || 51588793 markings, 119148389 edges, 20067 markings/sec, 2340 secs
lola: STP completed || 76 tries, 75884908 fired transitions, 2345 secs || 51695262 markings, 119421325 edges, 21294 markings/sec, 2345 secs
lola: STP completed || 77 tries, 76049577 fired transitions, 2350 secs || 51801992 markings, 119684577 edges, 21346 markings/sec, 2350 secs
lola: STP completed || 77 tries, 76214971 fired transitions, 2355 secs || 51910699 markings, 119945410 edges, 21741 markings/sec, 2355 secs
lola: STP completed || 77 tries, 76376713 fired transitions, 2360 secs || 52015551 markings, 120206244 edges, 20970 markings/sec, 2360 secs
lola: STP completed || 77 tries, 76538328 fired transitions, 2365 secs || 52119989 markings, 120483209 edges, 20888 markings/sec, 2365 secs
lola: STP completed || 77 tries, 76699329 fired transitions, 2370 secs || 52221836 markings, 120755736 edges, 20369 markings/sec, 2370 secs
lola: STP completed || 77 tries, 76857974 fired transitions, 2375 secs || 52325693 markings, 121016004 edges, 20771 markings/sec, 2375 secs
lola: STP completed || 78 tries, 77020066 fired transitions, 2380 secs || 52430399 markings, 121283209 edges, 20941 markings/sec, 2380 secs
lola: STP completed || 78 tries, 77181790 fired transitions, 2385 secs || 52535631 markings, 121546083 edges, 21046 markings/sec, 2385 secs
lola: STP completed || 78 tries, 77345701 fired transitions, 2390 secs || 52635983 markings, 121810253 edges, 20070 markings/sec, 2390 secs
lola: STP completed || 78 tries, 77495952 fired transitions, 2395 secs || 52732969 markings, 122058209 edges, 19397 markings/sec, 2395 secs
lola: STP completed || 78 tries, 77636156 fired transitions, 2400 secs || 52823771 markings, 122288455 edges, 18160 markings/sec, 2400 secs
lola: STP completed || 78 tries, 77778199 fired transitions, 2405 secs || 52914360 markings, 122522465 edges, 18118 markings/sec, 2405 secs
lola: STP completed || 78 tries, 77919977 fired transitions, 2410 secs || 53004806 markings, 122751003 edges, 18089 markings/sec, 2410 secs
lola: STP completed || 79 tries, 78062146 fired transitions, 2415 secs || 53095753 markings, 122982439 edges, 18189 markings/sec, 2415 secs
lola: STP completed || 79 tries, 78204115 fired transitions, 2420 secs || 53185920 markings, 123205896 edges, 18033 markings/sec, 2420 secs
lola: STP completed || 79 tries, 78346245 fired transitions, 2425 secs || 53274804 markings, 123443294 edges, 17777 markings/sec, 2425 secs
lola: STP completed || 79 tries, 78488425 fired transitions, 2430 secs || 53363761 markings, 123680904 edges, 17791 markings/sec, 2430 secs
lola: STP completed || 79 tries, 78636690 fired transitions, 2435 secs || 53461691 markings, 123923394 edges, 19586 markings/sec, 2435 secs
lola: STP completed || 79 tries, 78790234 fired transitions, 2440 secs || 53562100 markings, 124180360 edges, 20082 markings/sec, 2440 secs
lola: STP completed || 79 tries, 78944137 fired transitions, 2445 secs || 53667436 markings, 124428921 edges, 21067 markings/sec, 2445 secs
lola: STP completed || 80 tries, 79097930 fired transitions, 2450 secs || 53769680 markings, 124687999 edges, 20449 markings/sec, 2450 secs
lola: STP completed || 80 tries, 79239739 fired transitions, 2455 secs || 53869521 markings, 124904391 edges, 19968 markings/sec, 2455 secs
lola: STP completed || 80 tries, 79383326 fired transitions, 2460 secs || 53965351 markings, 125128335 edges, 19166 markings/sec, 2460 secs
lola: STP completed || 80 tries, 79532914 fired transitions, 2465 secs || 54060126 markings, 125382171 edges, 18955 markings/sec, 2465 secs
lola: STP completed || 80 tries, 79682521 fired transitions, 2470 secs || 54157504 markings, 125629243 edges, 19476 markings/sec, 2470 secs
lola: STP completed || 80 tries, 79833127 fired transitions, 2475 secs || 54258943 markings, 125884911 edges, 20288 markings/sec, 2475 secs
lola: STP completed || 80 tries, 79988182 fired transitions, 2480 secs || 54365468 markings, 126127533 edges, 21305 markings/sec, 2480 secs
lola: STP completed || 81 tries, 80152079 fired transitions, 2485 secs || 54470096 markings, 126391644 edges, 20926 markings/sec, 2485 secs
lola: STP completed || 81 tries, 80315703 fired transitions, 2490 secs || 54571868 markings, 126642179 edges, 20354 markings/sec, 2490 secs
lola: STP completed || 81 tries, 80471608 fired transitions, 2495 secs || 54675886 markings, 126893146 edges, 20804 markings/sec, 2495 secs
lola: STP completed || 81 tries, 80625193 fired transitions, 2500 secs || 54777837 markings, 127145794 edges, 20390 markings/sec, 2500 secs
lola: STP completed || 81 tries, 80778624 fired transitions, 2505 secs || 54878947 markings, 127402068 edges, 20222 markings/sec, 2505 secs
lola: STP completed || 81 tries, 80940524 fired transitions, 2510 secs || 54983611 markings, 127674468 edges, 20933 markings/sec, 2510 secs
lola: STP completed || 82 tries, 81102843 fired transitions, 2515 secs || 55091323 markings, 127946951 edges, 21542 markings/sec, 2515 secs
lola: STP completed || 82 tries, 81246587 fired transitions, 2520 secs || 55187369 markings, 128196954 edges, 19209 markings/sec, 2520 secs
lola: STP completed || 82 tries, 81390443 fired transitions, 2525 secs || 55283799 markings, 128443906 edges, 19286 markings/sec, 2525 secs
lola: STP completed || 82 tries, 81533841 fired transitions, 2530 secs || 55378817 markings, 128695478 edges, 19004 markings/sec, 2530 secs
lola: STP completed || 82 tries, 81675660 fired transitions, 2535 secs || 55470124 markings, 128923525 edges, 18261 markings/sec, 2535 secs
lola: STP completed || 82 tries, 81817348 fired transitions, 2540 secs || 55560913 markings, 129153020 edges, 18158 markings/sec, 2540 secs
lola: STP completed || 82 tries, 81958652 fired transitions, 2545 secs || 55650342 markings, 129382629 edges, 17886 markings/sec, 2545 secs
lola: STP completed || 83 tries, 82111599 fired transitions, 2550 secs || 55753655 markings, 129633706 edges, 20663 markings/sec, 2550 secs
lola: STP completed || 83 tries, 82275605 fired transitions, 2555 secs || 55861801 markings, 129897915 edges, 21629 markings/sec, 2555 secs
lola: STP completed || 83 tries, 82440350 fired transitions, 2560 secs || 55969999 markings, 130167658 edges, 21640 markings/sec, 2560 secs
lola: STP completed || 83 tries, 82605047 fired transitions, 2565 secs || 56077560 markings, 130441404 edges, 21512 markings/sec, 2565 secs
lola: STP completed || 83 tries, 82769500 fired transitions, 2570 secs || 56185156 markings, 130709634 edges, 21519 markings/sec, 2570 secs
lola: STP completed || 83 tries, 82935156 fired transitions, 2575 secs || 56294232 markings, 130981833 edges, 21815 markings/sec, 2575 secs
lola: STP completed || 84 tries, 83099286 fired transitions, 2580 secs || 56402494 markings, 131242526 edges, 21652 markings/sec, 2580 secs
lola: STP completed || 84 tries, 83263672 fired transitions, 2585 secs || 56507580 markings, 131512406 edges, 21017 markings/sec, 2585 secs
lola: STP completed || 84 tries, 83429825 fired transitions, 2590 secs || 56616560 markings, 131793077 edges, 21796 markings/sec, 2590 secs
lola: STP completed || 84 tries, 83594833 fired transitions, 2595 secs || 56724380 markings, 132062407 edges, 21564 markings/sec, 2595 secs
lola: STP completed || 84 tries, 83758990 fired transitions, 2600 secs || 56828371 markings, 132346149 edges, 20798 markings/sec, 2600 secs
lola: STP completed || 84 tries, 83922798 fired transitions, 2605 secs || 56935604 markings, 132611922 edges, 21447 markings/sec, 2605 secs
lola: STP completed || 85 tries, 84087870 fired transitions, 2610 secs || 57043050 markings, 132882263 edges, 21489 markings/sec, 2610 secs
lola: STP completed || 85 tries, 84253046 fired transitions, 2615 secs || 57158374 markings, 133140652 edges, 23065 markings/sec, 2615 secs
lola: STP completed || 85 tries, 84417945 fired transitions, 2620 secs || 57264333 markings, 133416942 edges, 21192 markings/sec, 2620 secs
lola: STP completed || 85 tries, 84583868 fired transitions, 2625 secs || 57372746 markings, 133689061 edges, 21683 markings/sec, 2625 secs
lola: STP completed || 85 tries, 84749304 fired transitions, 2630 secs || 57479970 markings, 133962209 edges, 21445 markings/sec, 2630 secs
lola: STP completed || 85 tries, 84915196 fired transitions, 2635 secs || 57587094 markings, 134237988 edges, 21425 markings/sec, 2635 secs
lola: STP completed || 86 tries, 85079858 fired transitions, 2640 secs || 57694845 markings, 134511599 edges, 21550 markings/sec, 2640 secs
lola: STP completed || 86 tries, 85244011 fired transitions, 2645 secs || 57801118 markings, 134780931 edges, 21255 markings/sec, 2645 secs
lola: STP completed || 86 tries, 85408866 fired transitions, 2650 secs || 57910603 markings, 135042665 edges, 21897 markings/sec, 2650 secs
lola: STP completed || 86 tries, 85574651 fired transitions, 2655 secs || 58018169 markings, 135318990 edges, 21513 markings/sec, 2655 secs
lola: STP completed || 86 tries, 85739299 fired transitions, 2660 secs || 58122961 markings, 135592386 edges, 20958 markings/sec, 2660 secs
lola: STP completed || 86 tries, 85904527 fired transitions, 2665 secs || 58232011 markings, 135864467 edges, 21810 markings/sec, 2665 secs
lola: STP completed || 87 tries, 86070265 fired transitions, 2670 secs || 58341096 markings, 136128185 edges, 21817 markings/sec, 2670 secs
lola: STP completed || 87 tries, 86235729 fired transitions, 2675 secs || 58449723 markings, 136400473 edges, 21725 markings/sec, 2675 secs
lola: STP completed || 87 tries, 86399822 fired transitions, 2680 secs || 58554568 markings, 136666675 edges, 20969 markings/sec, 2680 secs
lola: STP completed || 87 tries, 86563274 fired transitions, 2685 secs || 58660245 markings, 136935594 edges, 21135 markings/sec, 2685 secs
lola: STP completed || 87 tries, 86717034 fired transitions, 2690 secs || 58761486 markings, 137196804 edges, 20248 markings/sec, 2690 secs
lola: STP completed || 87 tries, 86870172 fired transitions, 2695 secs || 58860539 markings, 137453273 edges, 19811 markings/sec, 2695 secs
lola: STP completed || 88 tries, 87023417 fired transitions, 2700 secs || 58960936 markings, 137706562 edges, 20079 markings/sec, 2700 secs
lola: STP completed || 88 tries, 87164520 fired transitions, 2705 secs || 59052316 markings, 137946340 edges, 18276 markings/sec, 2705 secs
lola: STP completed || 88 tries, 87305392 fired transitions, 2710 secs || 59139444 markings, 138186215 edges, 17426 markings/sec, 2710 secs
lola: STP completed || 88 tries, 87446092 fired transitions, 2715 secs || 59231967 markings, 138412753 edges, 18505 markings/sec, 2715 secs
lola: STP completed || 88 tries, 87588396 fired transitions, 2720 secs || 59322972 markings, 138646411 edges, 18201 markings/sec, 2720 secs
lola: STP completed || 88 tries, 87730522 fired transitions, 2725 secs || 59418107 markings, 138869722 edges, 19027 markings/sec, 2725 secs
lola: STP completed || 88 tries, 87872965 fired transitions, 2730 secs || 59510179 markings, 139099361 edges, 18414 markings/sec, 2730 secs
lola: STP completed || 89 tries, 88018437 fired transitions, 2735 secs || 59602467 markings, 139336886 edges, 18458 markings/sec, 2735 secs
lola: STP completed || 89 tries, 88171541 fired transitions, 2740 secs || 59704801 markings, 139592614 edges, 20467 markings/sec, 2740 secs
lola: STP completed || 89 tries, 88331756 fired transitions, 2745 secs || 59810184 markings, 139857522 edges, 21077 markings/sec, 2745 secs
lola: STP completed || 89 tries, 88475048 fired transitions, 2750 secs || 59903817 markings, 140098156 edges, 18727 markings/sec, 2750 secs
lola: STP completed || 89 tries, 88625648 fired transitions, 2755 secs || 60003297 markings, 140353943 edges, 19896 markings/sec, 2755 secs
lola: STP completed || 89 tries, 88783628 fired transitions, 2760 secs || 60107920 markings, 140611661 edges, 20925 markings/sec, 2760 secs
lola: STP completed || 89 tries, 88936696 fired transitions, 2765 secs || 60207742 markings, 140870413 edges, 19964 markings/sec, 2765 secs
lola: STP completed || 90 tries, 89093619 fired transitions, 2770 secs || 60309819 markings, 141132827 edges, 20415 markings/sec, 2770 secs
lola: STP completed || 90 tries, 89247124 fired transitions, 2775 secs || 60409335 markings, 141399584 edges, 19903 markings/sec, 2775 secs
lola: STP completed || 90 tries, 89400437 fired transitions, 2780 secs || 60510157 markings, 141658837 edges, 20164 markings/sec, 2780 secs
lola: STP completed || 90 tries, 89553426 fired transitions, 2785 secs || 60611316 markings, 141914145 edges, 20232 markings/sec, 2785 secs
lola: STP completed || 90 tries, 89707042 fired transitions, 2790 secs || 60710979 markings, 142176353 edges, 19933 markings/sec, 2790 secs
lola: STP completed || 90 tries, 89861003 fired transitions, 2795 secs || 60813080 markings, 142433697 edges, 20420 markings/sec, 2795 secs
lola: STP completed || 91 tries, 90008160 fired transitions, 2800 secs || 60909567 markings, 142689246 edges, 19297 markings/sec, 2800 secs
lola: STP completed || 91 tries, 90159231 fired transitions, 2805 secs || 61013970 markings, 142926650 edges, 20881 markings/sec, 2805 secs
lola: STP completed || 91 tries, 90311665 fired transitions, 2810 secs || 61124969 markings, 143142332 edges, 22200 markings/sec, 2810 secs
lola: STP completed || 91 tries, 90453240 fired transitions, 2815 secs || 61219235 markings, 143364210 edges, 18853 markings/sec, 2815 secs
lola: STP completed || 91 tries, 90595543 fired transitions, 2820 secs || 61307379 markings, 143598467 edges, 17629 markings/sec, 2820 secs
lola: STP completed || 91 tries, 90737706 fired transitions, 2825 secs || 61396311 markings, 143833112 edges, 17786 markings/sec, 2825 secs
lola: STP completed || 91 tries, 90880876 fired transitions, 2830 secs || 61484264 markings, 144067760 edges, 17591 markings/sec, 2830 secs
lola: STP completed || 92 tries, 91023512 fired transitions, 2835 secs || 61571589 markings, 144308418 edges, 17465 markings/sec, 2835 secs
lola: STP completed || 92 tries, 91170195 fired transitions, 2840 secs || 61664099 markings, 144536966 edges, 18502 markings/sec, 2840 secs
lola: STP completed || 92 tries, 91326082 fired transitions, 2845 secs || 61757167 markings, 144789850 edges, 18614 markings/sec, 2845 secs
lola: STP completed || 92 tries, 91480724 fired transitions, 2850 secs || 61851990 markings, 145031210 edges, 18965 markings/sec, 2850 secs
lola: STP completed || 92 tries, 91639816 fired transitions, 2855 secs || 61944000 markings, 145286715 edges, 18402 markings/sec, 2855 secs
lola: STP completed || 92 tries, 91794098 fired transitions, 2860 secs || 62036873 markings, 145532483 edges, 18575 markings/sec, 2860 secs
lola: STP completed || 92 tries, 91948873 fired transitions, 2865 secs || 62130599 markings, 145778328 edges, 18745 markings/sec, 2865 secs
lola: STP completed || 93 tries, 92105274 fired transitions, 2870 secs || 62224498 markings, 146025049 edges, 18780 markings/sec, 2870 secs
lola: STP completed || 93 tries, 92260158 fired transitions, 2875 secs || 62318972 markings, 146274897 edges, 18895 markings/sec, 2875 secs
lola: STP completed || 93 tries, 92416012 fired transitions, 2880 secs || 62411253 markings, 146525938 edges, 18456 markings/sec, 2880 secs
lola: STP completed || 93 tries, 92570966 fired transitions, 2885 secs || 62504314 markings, 146776115 edges, 18612 markings/sec, 2885 secs
lola: STP completed || 93 tries, 92725250 fired transitions, 2890 secs || 62596234 markings, 147025943 edges, 18384 markings/sec, 2890 secs
lola: STP completed || 93 tries, 92878898 fired transitions, 2895 secs || 62693321 markings, 147261335 edges, 19417 markings/sec, 2895 secs
lola: STP completed || 94 tries, 93032872 fired transitions, 2900 secs || 62784165 markings, 147505020 edges, 18169 markings/sec, 2900 secs
lola: STP completed || 94 tries, 93177532 fired transitions, 2905 secs || 62876709 markings, 147737422 edges, 18509 markings/sec, 2905 secs
lola: STP completed || 94 tries, 93320271 fired transitions, 2910 secs || 62962720 markings, 147975434 edges, 17202 markings/sec, 2910 secs
lola: STP completed || 94 tries, 93462732 fired transitions, 2915 secs || 63051605 markings, 148206380 edges, 17777 markings/sec, 2915 secs
lola: STP completed || 94 tries, 93609619 fired transitions, 2920 secs || 63140418 markings, 148442052 edges, 17763 markings/sec, 2920 secs
lola: STP completed || 94 tries, 93765704 fired transitions, 2925 secs || 63235513 markings, 148677799 edges, 19019 markings/sec, 2925 secs
lola: STP completed || 94 tries, 93921558 fired transitions, 2930 secs || 63328254 markings, 148914157 edges, 18548 markings/sec, 2930 secs
lola: STP completed || 95 tries, 94076386 fired transitions, 2935 secs || 63418991 markings, 149157815 edges, 18147 markings/sec, 2935 secs
lola: STP completed || 95 tries, 94231536 fired transitions, 2940 secs || 63512374 markings, 149396801 edges, 18677 markings/sec, 2940 secs
lola: STP completed || 95 tries, 94387154 fired transitions, 2945 secs || 63605973 markings, 149636547 edges, 18720 markings/sec, 2945 secs
lola: STP completed || 95 tries, 94531094 fired transitions, 2950 secs || 63697454 markings, 149862585 edges, 18296 markings/sec, 2950 secs
lola: STP completed || 95 tries, 94668970 fired transitions, 2955 secs || 63788384 markings, 150094447 edges, 18186 markings/sec, 2955 secs
lola: STP completed || 95 tries, 94815205 fired transitions, 2960 secs || 63879533 markings, 150331491 edges, 18230 markings/sec, 2960 secs
lola: STP completed || 95 tries, 94967600 fired transitions, 2965 secs || 63979720 markings, 150588827 edges, 20037 markings/sec, 2965 secs
lola: STP completed || 96 tries, 95108989 fired transitions, 2970 secs || 64071970 markings, 150814910 edges, 18450 markings/sec, 2970 secs
lola: STP completed || 96 tries, 95250012 fired transitions, 2975 secs || 64164788 markings, 151047021 edges, 18564 markings/sec, 2975 secs
lola: STP completed || 96 tries, 95397307 fired transitions, 2980 secs || 64263644 markings, 151289837 edges, 19771 markings/sec, 2980 secs
lola: STP completed || 96 tries, 95542492 fired transitions, 2985 secs || 64354389 markings, 151526152 edges, 18149 markings/sec, 2985 secs
lola: STP completed || 96 tries, 95680944 fired transitions, 2990 secs || 64438195 markings, 151752652 edges, 16761 markings/sec, 2990 secs
lola: STP completed || 96 tries, 95821694 fired transitions, 2995 secs || 64523809 markings, 151966602 edges, 17123 markings/sec, 2995 secs
lola: STP completed || 96 tries, 95975649 fired transitions, 3000 secs || 64619266 markings, 152216309 edges, 19091 markings/sec, 3000 secs
lola: STP completed || 97 tries, 96144653 fired transitions, 3005 secs || 64728406 markings, 152487466 edges, 21828 markings/sec, 3005 secs
lola: STP completed || 97 tries, 96305734 fired transitions, 3010 secs || 64831029 markings, 152752325 edges, 20525 markings/sec, 3010 secs
lola: STP completed || 97 tries, 96444629 fired transitions, 3015 secs || 64928662 markings, 153009469 edges, 19527 markings/sec, 3015 secs
lola: STP completed || 97 tries, 96591479 fired transitions, 3020 secs || 65024050 markings, 153250093 edges, 19078 markings/sec, 3020 secs
lola: STP completed || 97 tries, 96736147 fired transitions, 3025 secs || 65114895 markings, 153493938 edges, 18169 markings/sec, 3025 secs
lola: STP completed || 97 tries, 96878843 fired transitions, 3030 secs || 65205118 markings, 153733212 edges, 18045 markings/sec, 3030 secs
lola: STP completed || 98 tries, 97026398 fired transitions, 3035 secs || 65302072 markings, 153978147 edges, 19391 markings/sec, 3035 secs
lola: STP completed || 98 tries, 97169741 fired transitions, 3040 secs || 65391555 markings, 154209750 edges, 17897 markings/sec, 3040 secs
lola: STP completed || 98 tries, 97312155 fired transitions, 3045 secs || 65481393 markings, 154451046 edges, 17968 markings/sec, 3045 secs
lola: STP completed || 98 tries, 97454611 fired transitions, 3050 secs || 65569721 markings, 154685243 edges, 17666 markings/sec, 3050 secs
lola: STP completed || 98 tries, 97596706 fired transitions, 3055 secs || 65659189 markings, 154923554 edges, 17894 markings/sec, 3055 secs
lola: STP completed || 98 tries, 97739208 fired transitions, 3060 secs || 65747237 markings, 155163478 edges, 17610 markings/sec, 3060 secs
lola: STP completed || 98 tries, 97884736 fired transitions, 3065 secs || 65837939 markings, 155403369 edges, 18140 markings/sec, 3065 secs
lola: STP completed || 99 tries, 98031358 fired transitions, 3070 secs || 65934554 markings, 155652679 edges, 19323 markings/sec, 3070 secs
lola: STP completed || 99 tries, 98184200 fired transitions, 3075 secs || 66047099 markings, 155900255 edges, 22509 markings/sec, 3075 secs
lola: STP completed || 99 tries, 98333602 fired transitions, 3080 secs || 66144974 markings, 156143795 edges, 19575 markings/sec, 3080 secs
lola: STP completed || 99 tries, 98476392 fired transitions, 3085 secs || 66238736 markings, 156386608 edges, 18752 markings/sec, 3085 secs
lola: STP completed || 99 tries, 98617807 fired transitions, 3090 secs || 66332724 markings, 156636095 edges, 18798 markings/sec, 3090 secs
lola: STP completed || 99 tries, 98760758 fired transitions, 3095 secs || 66430725 markings, 156886332 edges, 19600 markings/sec, 3095 secs
lola: STP completed || 99 tries, 98902821 fired transitions, 3100 secs || 66529032 markings, 157137248 edges, 19661 markings/sec, 3100 secs
lola: STP completed || 100 tries, 99046851 fired transitions, 3105 secs || 66621382 markings, 157389839 edges, 18470 markings/sec, 3105 secs
lola: STP completed || 100 tries, 99191296 fired transitions, 3110 secs || 66716339 markings, 157633001 edges, 18991 markings/sec, 3110 secs
lola: STP completed || 100 tries, 99337230 fired transitions, 3115 secs || 66810934 markings, 157882030 edges, 18919 markings/sec, 3115 secs
lola: STP completed || 100 tries, 99480895 fired transitions, 3120 secs || 66905958 markings, 158124273 edges, 19005 markings/sec, 3120 secs
lola: STP completed || 100 tries, 99642773 fired transitions, 3125 secs || 67003720 markings, 158378158 edges, 19552 markings/sec, 3125 secs
lola: STP completed || 100 tries, 99786809 fired transitions, 3130 secs || 67098649 markings, 158617146 edges, 18986 markings/sec, 3130 secs
lola: STP completed || 100 tries, 99929522 fired transitions, 3135 secs || 67186687 markings, 158853951 edges, 17608 markings/sec, 3135 secs
lola: STP completed || 101 tries, 100074307 fired transitions, 3140 secs || 67277181 markings, 159089965 edges, 18099 markings/sec, 3140 secs
lola: STP completed || 101 tries, 100219956 fired transitions, 3145 secs || 67369981 markings, 159328116 edges, 18560 markings/sec, 3145 secs
lola: STP completed || 101 tries, 100369341 fired transitions, 3150 secs || 67464443 markings, 159580441 edges, 18892 markings/sec, 3150 secs
lola: STP completed || 101 tries, 100514263 fired transitions, 3155 secs || 67554912 markings, 159817045 edges, 18094 markings/sec, 3155 secs
lola: STP completed || 101 tries, 100656299 fired transitions, 3160 secs || 67643043 markings, 160058079 edges, 17626 markings/sec, 3160 secs
lola: STP completed || 101 tries, 100797538 fired transitions, 3165 secs || 67731902 markings, 160294910 edges, 17772 markings/sec, 3165 secs
lola: STP completed || 101 tries, 100944927 fired transitions, 3170 secs || 67824875 markings, 160535520 edges, 18595 markings/sec, 3170 secs
lola: STP completed || 102 tries, 101090154 fired transitions, 3175 secs || 67921553 markings, 160770896 edges, 19336 markings/sec, 3175 secs
lola: STP completed || 102 tries, 101243257 fired transitions, 3180 secs || 68015249 markings, 161014647 edges, 18739 markings/sec, 3180 secs
lola: STP completed || 102 tries, 101407273 fired transitions, 3185 secs || 68116899 markings, 161288932 edges, 20330 markings/sec, 3185 secs
lola: STP completed || 102 tries, 101564386 fired transitions, 3190 secs || 68218513 markings, 161542288 edges, 20323 markings/sec, 3190 secs
lola: STP completed || 102 tries, 101719405 fired transitions, 3195 secs || 68314078 markings, 161786435 edges, 19113 markings/sec, 3195 secs
lola: STP completed || 102 tries, 101868486 fired transitions, 3200 secs || 68407520 markings, 162034117 edges, 18688 markings/sec, 3200 secs
lola: STP completed || 103 tries, 102017857 fired transitions, 3205 secs || 68498766 markings, 162266404 edges, 18249 markings/sec, 3205 secs
lola: STP completed || 103 tries, 102169178 fired transitions, 3210 secs || 68588312 markings, 162499050 edges, 17909 markings/sec, 3210 secs
lola: STP completed || 103 tries, 102317871 fired transitions, 3215 secs || 68691346 markings, 162728144 edges, 20607 markings/sec, 3215 secs
lola: STP completed || 103 tries, 102466013 fired transitions, 3220 secs || 68788523 markings, 162967970 edges, 19435 markings/sec, 3220 secs
lola: STP completed || 103 tries, 102620645 fired transitions, 3225 secs || 68880309 markings, 163208480 edges, 18357 markings/sec, 3225 secs
lola: STP completed || 103 tries, 102780275 fired transitions, 3230 secs || 68978584 markings, 163472931 edges, 19655 markings/sec, 3230 secs
lola: STP completed || 103 tries, 102928975 fired transitions, 3235 secs || 69073873 markings, 163712369 edges, 19058 markings/sec, 3235 secs
lola: STP completed || 104 tries, 103087824 fired transitions, 3240 secs || 69170715 markings, 163970399 edges, 19368 markings/sec, 3240 secs
lola: STP completed || 104 tries, 103250192 fired transitions, 3245 secs || 69277946 markings, 164212192 edges, 21446 markings/sec, 3245 secs
lola: STP completed || 104 tries, 103415348 fired transitions, 3250 secs || 69381303 markings, 164487053 edges, 20671 markings/sec, 3250 secs
lola: STP completed || 104 tries, 103577924 fired transitions, 3255 secs || 69486540 markings, 164731752 edges, 21047 markings/sec, 3255 secs
lola: STP completed || 104 tries, 103743259 fired transitions, 3260 secs || 69590269 markings, 164981351 edges, 20746 markings/sec, 3260 secs
lola: STP completed || 104 tries, 103898889 fired transitions, 3265 secs || 69688588 markings, 165242405 edges, 19664 markings/sec, 3265 secs
lola: STP completed || 105 tries, 104061891 fired transitions, 3270 secs || 69791220 markings, 165508113 edges, 20526 markings/sec, 3270 secs
lola: STP completed || 105 tries, 104227102 fired transitions, 3275 secs || 69898254 markings, 165773908 edges, 21407 markings/sec, 3275 secs
lola: STP completed || 105 tries, 104392446 fired transitions, 3280 secs || 70003292 markings, 166044357 edges, 21008 markings/sec, 3280 secs
lola: STP completed || 105 tries, 104556850 fired transitions, 3285 secs || 70104147 markings, 166300718 edges, 20171 markings/sec, 3285 secs
lola: STP completed || 105 tries, 104722696 fired transitions, 3290 secs || 70208437 markings, 166564304 edges, 20858 markings/sec, 3290 secs
lola: STP completed || 105 tries, 104887625 fired transitions, 3295 secs || 70310828 markings, 166828137 edges, 20478 markings/sec, 3295 secs
lola: STP completed || 106 tries, 105052977 fired transitions, 3300 secs || 70413179 markings, 167096263 edges, 20470 markings/sec, 3300 secs
lola: STP completed || 106 tries, 105217980 fired transitions, 3305 secs || 70514808 markings, 167347990 edges, 20326 markings/sec, 3305 secs
lola: STP completed || 106 tries, 105381812 fired transitions, 3310 secs || 70620808 markings, 167606335 edges, 21200 markings/sec, 3310 secs
lola: STP completed || 106 tries, 105547417 fired transitions, 3315 secs || 70724075 markings, 167857687 edges, 20653 markings/sec, 3315 secs
lola: STP completed || 106 tries, 105713172 fired transitions, 3320 secs || 70823326 markings, 168113430 edges, 19850 markings/sec, 3320 secs
lola: STP completed || 106 tries, 105878183 fired transitions, 3325 secs || 70924113 markings, 168375224 edges, 20157 markings/sec, 3325 secs
lola: STP completed || 107 tries, 106043247 fired transitions, 3330 secs || 71026486 markings, 168633974 edges, 20475 markings/sec, 3330 secs
lola: STP completed || 107 tries, 106208471 fired transitions, 3335 secs || 71126513 markings, 168906229 edges, 20005 markings/sec, 3335 secs
lola: STP completed || 107 tries, 106374092 fired transitions, 3340 secs || 71228757 markings, 169161480 edges, 20449 markings/sec, 3340 secs
lola: STP completed || 107 tries, 106538807 fired transitions, 3345 secs || 71329501 markings, 169415640 edges, 20149 markings/sec, 3345 secs
lola: STP completed || 107 tries, 106700721 fired transitions, 3350 secs || 71427767 markings, 169672159 edges, 19653 markings/sec, 3350 secs
lola: STP completed || 107 tries, 106857782 fired transitions, 3355 secs || 71523265 markings, 169924616 edges, 19100 markings/sec, 3355 secs
lola: STP completed || 108 tries, 107016442 fired transitions, 3360 secs || 71624854 markings, 170190081 edges, 20318 markings/sec, 3360 secs
lola: STP completed || 108 tries, 107162130 fired transitions, 3365 secs || 71710163 markings, 170424489 edges, 17062 markings/sec, 3365 secs
lola: STP completed || 108 tries, 107311298 fired transitions, 3370 secs || 71801255 markings, 170666325 edges, 18218 markings/sec, 3370 secs
lola: STP completed || 108 tries, 107461081 fired transitions, 3375 secs || 71895382 markings, 170911154 edges, 18825 markings/sec, 3375 secs
lola: STP completed || 108 tries, 107611490 fired transitions, 3380 secs || 71988943 markings, 171162567 edges, 18712 markings/sec, 3380 secs
lola: STP completed || 108 tries, 107760527 fired transitions, 3385 secs || 72086555 markings, 171401363 edges, 19522 markings/sec, 3385 secs
lola: STP completed || 108 tries, 107897151 fired transitions, 3390 secs || 72181843 markings, 171643316 edges, 19058 markings/sec, 3390 secs
lola: STP completed || 109 tries, 108045329 fired transitions, 3395 secs || 72280139 markings, 171901431 edges, 19659 markings/sec, 3395 secs
lola: STP completed || 109 tries, 108210946 fired transitions, 3400 secs || 72383081 markings, 172174090 edges, 20588 markings/sec, 3400 secs
lola: STP completed || 109 tries, 108375742 fired transitions, 3405 secs || 72490490 markings, 172442147 edges, 21482 markings/sec, 3405 secs
lola: STP completed || 109 tries, 108532572 fired transitions, 3410 secs || 72583156 markings, 172688534 edges, 18533 markings/sec, 3410 secs
lola: STP completed || 109 tries, 108687679 fired transitions, 3415 secs || 72675769 markings, 172933449 edges, 18523 markings/sec, 3415 secs
lola: STP completed || 109 tries, 108840643 fired transitions, 3420 secs || 72767138 markings, 173185423 edges, 18274 markings/sec, 3420 secs
lola: STP completed || 109 tries, 108991526 fired transitions, 3425 secs || 72859502 markings, 173421911 edges, 18473 markings/sec, 3425 secs
lola: STP completed || 110 tries, 109141263 fired transitions, 3430 secs || 72951148 markings, 173661024 edges, 18329 markings/sec, 3430 secs
lola: STP completed || 110 tries, 109289505 fired transitions, 3435 secs || 73041204 markings, 173900008 edges, 18011 markings/sec, 3435 secs
lola: STP completed || 110 tries, 109440137 fired transitions, 3440 secs || 73131785 markings, 174139261 edges, 18116 markings/sec, 3440 secs
lola: STP completed || 110 tries, 109591074 fired transitions, 3445 secs || 73221085 markings, 174381146 edges, 17860 markings/sec, 3445 secs
lola: STP completed || 110 tries, 109741423 fired transitions, 3450 secs || 73312388 markings, 174613356 edges, 18261 markings/sec, 3450 secs
lola: STP completed || 110 tries, 109892824 fired transitions, 3455 secs || 73401695 markings, 174859011 edges, 17861 markings/sec, 3455 secs
lola: STP completed || 111 tries, 110043081 fired transitions, 3460 secs || 73496987 markings, 175085692 edges, 19058 markings/sec, 3460 secs
lola: STP completed || 111 tries, 110188657 fired transitions, 3465 secs || 73589796 markings, 175333169 edges, 18562 markings/sec, 3465 secs
lola: STP completed || 111 tries, 110334444 fired transitions, 3470 secs || 73685437 markings, 175571682 edges, 19128 markings/sec, 3470 secs
lola: STP completed || 111 tries, 110479557 fired transitions, 3475 secs || 73780233 markings, 175811420 edges, 18959 markings/sec, 3475 secs
lola: STP completed || 111 tries, 110627591 fired transitions, 3480 secs || 73873053 markings, 176059739 edges, 18564 markings/sec, 3480 secs
lola: STP completed || 111 tries, 110774857 fired transitions, 3485 secs || 73965588 markings, 176305277 edges, 18507 markings/sec, 3485 secs
lola: STP completed || 111 tries, 110917563 fired transitions, 3490 secs || 74057878 markings, 176536822 edges, 18458 markings/sec, 3490 secs
lola: STP completed || 112 tries, 111068498 fired transitions, 3495 secs || 74149625 markings, 176783623 edges, 18349 markings/sec, 3495 secs
lola: STP completed || 112 tries, 111230232 fired transitions, 3500 secs || 74246691 markings, 177042627 edges, 19413 markings/sec, 3500 secs
lola: STP completed || 112 tries, 111398691 fired transitions, 3505 secs || 74355852 markings, 177315758 edges, 21832 markings/sec, 3505 secs
lola: STP completed || 112 tries, 111545447 fired transitions, 3510 secs || 74448565 markings, 177562476 edges, 18543 markings/sec, 3510 secs
Killed
FORMULA Railroad-PT-020-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 -----

BK_STOP 1496441458940

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

----- Start make prepare stderr -----
----- Start make result stderr -----
make: [verify] Error 137 (ignored)
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_Railroad-PT-020"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
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/S_Railroad-PT-020.tgz
mv S_Railroad-PT-020 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_Railroad-PT-020, 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 r148-csrt-149443432800053"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;