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 ;