Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
...............................
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 58K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 175K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 50K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 188K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 23K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 70K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 24K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 89K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 53K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 158K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 114 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 352 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 50K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 191K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 11K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 23K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 816K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DatabaseWithMutex-PT-10, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r076-blw3-152649936700055
=====================================================================

--------------------
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 DatabaseWithMutex-PT-10-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1526612349157

info: Time: 3600 - MCC
===========================================================================================
prep: translating DatabaseWithMutex-PT-10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DatabaseWithMutex-PT-10 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ DatabaseWithMutex-PT-10 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1630/65536 symbol table entries, 31 collisions
lola: preprocessing...
lola: Size of bit vector: 26560
lola: finding significant places
lola: 830 places, 800 transitions, 700 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1040 transition conflict sets
lola: TASK
lola: reading formula from DatabaseWithMutex-PT-10-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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 19532 variables and 72034 clauses shipped to Minisat
lola: computed 171 generators (25 in search tree, 146 by composition)
lola: representing 1.31682E+13 symmetries
lola: 0 dead branches visited in search tree
lola: stp: The siphon/trap property is inconclusive since the generated formula is too short
lola: STP completed || 1 tries, 813370 fired transitions, 0 secs || 341853 markings, 357476 edges, 68371 markings/sec, 0 secs
lola: STP completed || 2 tries, 1631269 fired transitions, 5 secs || 683421 markings, 716595 edges, 68314 markings/sec, 5 secs
lola: STP completed || 3 tries, 2449951 fired transitions, 10 secs || 1022459 markings, 1074554 edges, 67808 markings/sec, 10 secs
lola: STP completed || 4 tries, 3269783 fired transitions, 15 secs || 1361608 markings, 1433135 edges, 67830 markings/sec, 15 secs
lola: STP completed || 5 tries, 4091162 fired transitions, 20 secs || 1699391 markings, 1790764 edges, 67557 markings/sec, 20 secs
lola: STP completed || 5 tries, 4912348 fired transitions, 25 secs || 2035833 markings, 2147595 edges, 67288 markings/sec, 25 secs
lola: STP completed || 6 tries, 5725020 fired transitions, 30 secs || 2367136 markings, 2499561 edges, 66261 markings/sec, 30 secs
lola: STP completed || 7 tries, 6546517 fired transitions, 35 secs || 2701263 markings, 2854606 edges, 66825 markings/sec, 35 secs
lola: STP completed || 8 tries, 7369886 fired transitions, 40 secs || 3034751 markings, 3209844 edges, 66698 markings/sec, 40 secs
lola: STP completed || 9 tries, 8190467 fired transitions, 45 secs || 3366658 markings, 3561218 edges, 66381 markings/sec, 45 secs
lola: STP completed || 10 tries, 9014006 fired transitions, 50 secs || 3699031 markings, 3915455 edges, 66475 markings/sec, 50 secs
lola: STP completed || 10 tries, 9835805 fired transitions, 55 secs || 4032365 markings, 4269463 edges, 66667 markings/sec, 55 secs
lola: STP completed || 11 tries, 10659182 fired transitions, 60 secs || 4364701 markings, 4625041 edges, 66467 markings/sec, 60 secs
lola: STP completed || 12 tries, 11476529 fired transitions, 65 secs || 4696422 markings, 4977334 edges, 66344 markings/sec, 65 secs
lola: STP completed || 13 tries, 12302277 fired transitions, 70 secs || 5027861 markings, 5332281 edges, 66288 markings/sec, 70 secs
lola: STP completed || 14 tries, 13126174 fired transitions, 75 secs || 5359143 markings, 5683232 edges, 66256 markings/sec, 75 secs
lola: STP completed || 14 tries, 13948988 fired transitions, 80 secs || 5690788 markings, 6036313 edges, 66329 markings/sec, 80 secs
lola: STP completed || 15 tries, 14773409 fired transitions, 85 secs || 6020324 markings, 6386677 edges, 65907 markings/sec, 85 secs
lola: STP completed || 16 tries, 15598989 fired transitions, 90 secs || 6350765 markings, 6738905 edges, 66088 markings/sec, 90 secs
lola: STP completed || 17 tries, 16422863 fired transitions, 95 secs || 6680479 markings, 7090191 edges, 65943 markings/sec, 95 secs
lola: STP completed || 18 tries, 17247447 fired transitions, 100 secs || 7010378 markings, 7441804 edges, 65980 markings/sec, 100 secs
lola: STP completed || 19 tries, 18073173 fired transitions, 105 secs || 7339608 markings, 7794351 edges, 65846 markings/sec, 105 secs
lola: STP completed || 19 tries, 18899452 fired transitions, 110 secs || 7667649 markings, 8145434 edges, 65608 markings/sec, 110 secs
lola: STP completed || 20 tries, 19722430 fired transitions, 115 secs || 7994230 markings, 8494569 edges, 65316 markings/sec, 115 secs
lola: STP completed || 21 tries, 20546913 fired transitions, 120 secs || 8324157 markings, 8844675 edges, 65985 markings/sec, 120 secs
lola: STP completed || 22 tries, 21369027 fired transitions, 125 secs || 8650726 markings, 9193098 edges, 65314 markings/sec, 125 secs
lola: STP completed || 23 tries, 22192150 fired transitions, 130 secs || 8978613 markings, 9544064 edges, 65577 markings/sec, 130 secs
lola: STP completed || 24 tries, 23013526 fired transitions, 135 secs || 9305609 markings, 9891498 edges, 65399 markings/sec, 135 secs
lola: STP completed || 24 tries, 23836817 fired transitions, 140 secs || 9631349 markings, 10241504 edges, 65148 markings/sec, 140 secs
lola: STP completed || 25 tries, 24660725 fired transitions, 145 secs || 9957459 markings, 10589195 edges, 65222 markings/sec, 145 secs
lola: STP completed || 26 tries, 25486259 fired transitions, 150 secs || 10284289 markings, 10939822 edges, 65366 markings/sec, 150 secs
lola: STP completed || 27 tries, 26312292 fired transitions, 155 secs || 10611386 markings, 11289854 edges, 65419 markings/sec, 155 secs
lola: STP completed || 28 tries, 27140341 fired transitions, 160 secs || 10937964 markings, 11640281 edges, 65316 markings/sec, 160 secs
lola: STP completed || 28 tries, 27959614 fired transitions, 165 secs || 11263939 markings, 11987384 edges, 65195 markings/sec, 165 secs
lola: STP completed || 29 tries, 28786664 fired transitions, 170 secs || 11589047 markings, 12335152 edges, 65022 markings/sec, 170 secs
lola: STP completed || 30 tries, 29613122 fired transitions, 175 secs || 11913840 markings, 12682133 edges, 64959 markings/sec, 175 secs
lola: STP completed || 31 tries, 30437829 fired transitions, 180 secs || 12238394 markings, 13028310 edges, 64911 markings/sec, 180 secs
lola: STP completed || 32 tries, 31249909 fired transitions, 185 secs || 12557691 markings, 13371521 edges, 63859 markings/sec, 185 secs
lola: STP completed || 33 tries, 32074835 fired transitions, 190 secs || 12882501 markings, 13719241 edges, 64962 markings/sec, 190 secs
lola: STP completed || 33 tries, 32899840 fired transitions, 195 secs || 13206761 markings, 14066439 edges, 64852 markings/sec, 195 secs
lola: STP completed || 34 tries, 33725136 fired transitions, 200 secs || 13530739 markings, 14413398 edges, 64796 markings/sec, 200 secs
lola: STP completed || 35 tries, 34553321 fired transitions, 205 secs || 13854944 markings, 14764099 edges, 64841 markings/sec, 205 secs
lola: STP completed || 36 tries, 35378582 fired transitions, 210 secs || 14178114 markings, 15110159 edges, 64634 markings/sec, 210 secs
lola: STP completed || 37 tries, 36202851 fired transitions, 215 secs || 14500826 markings, 15454385 edges, 64542 markings/sec, 215 secs
lola: STP completed || 38 tries, 37027060 fired transitions, 220 secs || 14823935 markings, 15798293 edges, 64622 markings/sec, 220 secs
lola: STP completed || 38 tries, 37851435 fired transitions, 225 secs || 15146627 markings, 16143782 edges, 64538 markings/sec, 225 secs
lola: STP completed || 39 tries, 38677038 fired transitions, 230 secs || 15469565 markings, 16489491 edges, 64588 markings/sec, 230 secs
lola: STP completed || 40 tries, 39503165 fired transitions, 235 secs || 15791620 markings, 16833293 edges, 64411 markings/sec, 235 secs
lola: STP completed || 41 tries, 40329083 fired transitions, 240 secs || 16114778 markings, 17178341 edges, 64632 markings/sec, 240 secs
lola: STP completed || 42 tries, 41155588 fired transitions, 245 secs || 16438466 markings, 17527178 edges, 64738 markings/sec, 245 secs
lola: STP completed || 42 tries, 41980578 fired transitions, 250 secs || 16760543 markings, 17873252 edges, 64415 markings/sec, 250 secs
lola: STP completed || 43 tries, 42806689 fired transitions, 255 secs || 17082919 markings, 18218439 edges, 64475 markings/sec, 255 secs
lola: STP completed || 44 tries, 43632417 fired transitions, 260 secs || 17405425 markings, 18563924 edges, 64501 markings/sec, 260 secs
lola: STP completed || 45 tries, 44456439 fired transitions, 265 secs || 17728917 markings, 18909451 edges, 64698 markings/sec, 265 secs
lola: STP completed || 46 tries, 45283378 fired transitions, 270 secs || 18051551 markings, 19255187 edges, 64527 markings/sec, 270 secs
lola: STP completed || 47 tries, 46108611 fired transitions, 275 secs || 18374642 markings, 19600859 edges, 64618 markings/sec, 275 secs
lola: STP completed || 47 tries, 46936134 fired transitions, 280 secs || 18698423 markings, 19947484 edges, 64756 markings/sec, 280 secs
lola: STP completed || 48 tries, 47760713 fired transitions, 285 secs || 19019121 markings, 20291911 edges, 64140 markings/sec, 285 secs
lola: STP completed || 49 tries, 48588537 fired transitions, 290 secs || 19340658 markings, 20636926 edges, 64307 markings/sec, 290 secs
lola: STP completed || 50 tries, 49415557 fired transitions, 295 secs || 19663177 markings, 20982788 edges, 64504 markings/sec, 295 secs
lola: STP completed || 51 tries, 50241265 fired transitions, 300 secs || 19983499 markings, 21324470 edges, 64064 markings/sec, 300 secs
lola: STP completed || 52 tries, 51057731 fired transitions, 305 secs || 20301755 markings, 21666504 edges, 63651 markings/sec, 305 secs
lola: STP completed || 52 tries, 51884129 fired transitions, 310 secs || 20621930 markings, 22009331 edges, 64035 markings/sec, 310 secs
lola: STP completed || 53 tries, 52710710 fired transitions, 315 secs || 20944862 markings, 22354590 edges, 64586 markings/sec, 315 secs
lola: STP completed || 54 tries, 53535003 fired transitions, 320 secs || 21265767 markings, 22699154 edges, 64181 markings/sec, 320 secs
lola: STP completed || 55 tries, 54362015 fired transitions, 325 secs || 21587905 markings, 23046151 edges, 64428 markings/sec, 325 secs
lola: STP completed || 56 tries, 55187485 fired transitions, 330 secs || 21908343 markings, 23389161 edges, 64088 markings/sec, 330 secs
lola: STP completed || 57 tries, 56012869 fired transitions, 335 secs || 22227728 markings, 23732147 edges, 63877 markings/sec, 335 secs
lola: STP completed || 57 tries, 56839655 fired transitions, 340 secs || 22549541 markings, 24077469 edges, 64363 markings/sec, 340 secs
lola: STP completed || 58 tries, 57666674 fired transitions, 345 secs || 22869726 markings, 24423204 edges, 64037 markings/sec, 345 secs
lola: STP completed || 59 tries, 58490806 fired transitions, 350 secs || 23188590 markings, 24764478 edges, 63773 markings/sec, 350 secs
lola: STP completed || 60 tries, 59319791 fired transitions, 355 secs || 23509737 markings, 25112767 edges, 64229 markings/sec, 355 secs
lola: STP completed || 61 tries, 60146824 fired transitions, 360 secs || 23829163 markings, 25455381 edges, 63885 markings/sec, 360 secs
lola: STP completed || 61 tries, 60974201 fired transitions, 365 secs || 24149594 markings, 25801220 edges, 64086 markings/sec, 365 secs
lola: STP completed || 62 tries, 61799250 fired transitions, 370 secs || 24469169 markings, 26147258 edges, 63915 markings/sec, 370 secs
lola: STP completed || 63 tries, 62626758 fired transitions, 375 secs || 24788096 markings, 26488502 edges, 63785 markings/sec, 375 secs
lola: STP completed || 64 tries, 63453301 fired transitions, 380 secs || 25108349 markings, 26832397 edges, 64051 markings/sec, 380 secs
lola: STP completed || 65 tries, 64278065 fired transitions, 385 secs || 25428112 markings, 27177410 edges, 63953 markings/sec, 385 secs
lola: STP completed || 66 tries, 65106130 fired transitions, 390 secs || 25748987 markings, 27523705 edges, 64175 markings/sec, 390 secs
lola: STP completed || 66 tries, 65933466 fired transitions, 395 secs || 26069086 markings, 27866975 edges, 64020 markings/sec, 395 secs
lola: STP completed || 67 tries, 66761306 fired transitions, 400 secs || 26388622 markings, 28211403 edges, 63907 markings/sec, 400 secs
lola: STP completed || 68 tries, 67587589 fired transitions, 405 secs || 26706829 markings, 28553581 edges, 63641 markings/sec, 405 secs
lola: STP completed || 69 tries, 68416713 fired transitions, 410 secs || 27026499 markings, 28897257 edges, 63934 markings/sec, 410 secs
lola: STP completed || 70 tries, 69244506 fired transitions, 415 secs || 27346586 markings, 29239471 edges, 64017 markings/sec, 415 secs
lola: STP completed || 71 tries, 70070749 fired transitions, 420 secs || 27664914 markings, 29581477 edges, 63666 markings/sec, 420 secs
lola: STP completed || 71 tries, 70898539 fired transitions, 425 secs || 27984376 markings, 29925016 edges, 63892 markings/sec, 425 secs
lola: STP completed || 72 tries, 71728081 fired transitions, 430 secs || 28303279 markings, 30269045 edges, 63781 markings/sec, 430 secs
lola: STP completed || 73 tries, 72553536 fired transitions, 435 secs || 28621907 markings, 30611027 edges, 63726 markings/sec, 435 secs
lola: STP completed || 74 tries, 73382326 fired transitions, 440 secs || 28941382 markings, 30955431 edges, 63895 markings/sec, 440 secs
lola: STP completed || 75 tries, 74210609 fired transitions, 445 secs || 29259317 markings, 31296815 edges, 63587 markings/sec, 445 secs
lola: STP completed || 76 tries, 75038203 fired transitions, 450 secs || 29577924 markings, 31639012 edges, 63721 markings/sec, 450 secs
lola: STP completed || 76 tries, 75858988 fired transitions, 455 secs || 29893930 markings, 31977835 edges, 63201 markings/sec, 455 secs
lola: STP completed || 77 tries, 76687487 fired transitions, 460 secs || 30211990 markings, 32319927 edges, 63612 markings/sec, 460 secs
lola: STP completed || 78 tries, 77516477 fired transitions, 465 secs || 30530484 markings, 32664492 edges, 63699 markings/sec, 465 secs
lola: STP completed || 79 tries, 78342333 fired transitions, 470 secs || 30849316 markings, 33004959 edges, 63766 markings/sec, 470 secs
lola: STP completed || 80 tries, 79171603 fired transitions, 475 secs || 31167903 markings, 33346229 edges, 63717 markings/sec, 475 secs
lola: STP completed || 81 tries, 80000935 fired transitions, 480 secs || 31485868 markings, 33687634 edges, 63593 markings/sec, 480 secs
lola: STP completed || 81 tries, 80829750 fired transitions, 485 secs || 31803822 markings, 34033690 edges, 63591 markings/sec, 485 secs
lola: STP completed || 82 tries, 81658077 fired transitions, 490 secs || 32120133 markings, 34374597 edges, 63262 markings/sec, 490 secs
lola: STP completed || 83 tries, 82486076 fired transitions, 495 secs || 32437363 markings, 34715280 edges, 63446 markings/sec, 495 secs
lola: STP completed || 84 tries, 83313873 fired transitions, 500 secs || 32754553 markings, 35054835 edges, 63438 markings/sec, 500 secs
lola: STP completed || 85 tries, 84140108 fired transitions, 505 secs || 33072034 markings, 35394924 edges, 63496 markings/sec, 505 secs
lola: STP completed || 85 tries, 84966724 fired transitions, 510 secs || 33389745 markings, 35734939 edges, 63542 markings/sec, 510 secs
lola: STP completed || 86 tries, 85797450 fired transitions, 515 secs || 33707883 markings, 36077805 edges, 63628 markings/sec, 515 secs
lola: STP completed || 87 tries, 86624627 fired transitions, 520 secs || 34024493 markings, 36418992 edges, 63322 markings/sec, 520 secs
lola: STP completed || 88 tries, 87452473 fired transitions, 525 secs || 34342443 markings, 36761273 edges, 63590 markings/sec, 525 secs
lola: STP completed || 89 tries, 88284729 fired transitions, 530 secs || 34662153 markings, 37112383 edges, 63942 markings/sec, 530 secs
lola: STP completed || 90 tries, 89112842 fired transitions, 535 secs || 34978540 markings, 37451090 edges, 63277 markings/sec, 535 secs
lola: STP completed || 90 tries, 89940676 fired transitions, 540 secs || 35294490 markings, 37788699 edges, 63190 markings/sec, 540 secs
lola: STP completed || 91 tries, 90769446 fired transitions, 545 secs || 35611398 markings, 38129189 edges, 63382 markings/sec, 545 secs
lola: STP completed || 92 tries, 91599936 fired transitions, 550 secs || 35928975 markings, 38472486 edges, 63515 markings/sec, 550 secs
lola: STP completed || 93 tries, 92420177 fired transitions, 555 secs || 36242509 markings, 38809963 edges, 62707 markings/sec, 555 secs
lola: STP completed || 94 tries, 93250743 fired transitions, 560 secs || 36559550 markings, 39151253 edges, 63408 markings/sec, 560 secs
lola: STP completed || 95 tries, 94081042 fired transitions, 565 secs || 36876942 markings, 39494886 edges, 63478 markings/sec, 565 secs
lola: STP completed || 95 tries, 94907825 fired transitions, 570 secs || 37192277 markings, 39834805 edges, 63067 markings/sec, 570 secs
lola: STP completed || 96 tries, 95736602 fired transitions, 575 secs || 37508611 markings, 40173680 edges, 63267 markings/sec, 575 secs
lola: STP completed || 97 tries, 96564568 fired transitions, 580 secs || 37825011 markings, 40515179 edges, 63280 markings/sec, 580 secs
lola: STP completed || 98 tries, 97392792 fired transitions, 585 secs || 38143375 markings, 40856906 edges, 63673 markings/sec, 585 secs
lola: STP completed || 99 tries, 98217890 fired transitions, 590 secs || 38460624 markings, 41199429 edges, 63450 markings/sec, 590 secs
lola: STP completed || 100 tries, 99044776 fired transitions, 595 secs || 38778612 markings, 41544056 edges, 63598 markings/sec, 595 secs
lola: STP completed || 100 tries, 99872556 fired transitions, 600 secs || 39096972 markings, 41887428 edges, 63672 markings/sec, 600 secs
lola: STP completed || 101 tries, 100701956 fired transitions, 605 secs || 39413672 markings, 42228305 edges, 63340 markings/sec, 605 secs
lola: STP completed || 102 tries, 101531841 fired transitions, 610 secs || 39729929 markings, 42569091 edges, 63251 markings/sec, 610 secs
lola: STP completed || 103 tries, 102361833 fired transitions, 615 secs || 40047113 markings, 42909666 edges, 63437 markings/sec, 615 secs
lola: STP completed || 104 tries, 103191529 fired transitions, 620 secs || 40363300 markings, 43251746 edges, 63237 markings/sec, 620 secs
lola: STP completed || 105 tries, 104020875 fired transitions, 625 secs || 40679971 markings, 43593552 edges, 63334 markings/sec, 625 secs
lola: STP completed || 105 tries, 104851066 fired transitions, 630 secs || 40996388 markings, 43933031 edges, 63283 markings/sec, 630 secs
lola: STP completed || 106 tries, 105680950 fired transitions, 635 secs || 41311891 markings, 44273217 edges, 63101 markings/sec, 635 secs
lola: STP completed || 107 tries, 106510333 fired transitions, 640 secs || 41627523 markings, 44614836 edges, 63126 markings/sec, 640 secs
lola: STP completed || 108 tries, 107338951 fired transitions, 645 secs || 41943077 markings, 44953020 edges, 63111 markings/sec, 645 secs
lola: STP completed || 109 tries, 108168736 fired transitions, 650 secs || 42258551 markings, 45295270 edges, 63095 markings/sec, 650 secs
lola: STP completed || 109 tries, 108998349 fired transitions, 655 secs || 42574584 markings, 45638983 edges, 63207 markings/sec, 655 secs
lola: STP completed || 110 tries, 109828044 fired transitions, 660 secs || 42890619 markings, 45977664 edges, 63207 markings/sec, 660 secs
lola: STP completed || 111 tries, 110655420 fired transitions, 665 secs || 43205088 markings, 46314916 edges, 62894 markings/sec, 665 secs
lola: STP completed || 112 tries, 111483037 fired transitions, 670 secs || 43519040 markings, 46652855 edges, 62790 markings/sec, 670 secs
lola: STP completed || 113 tries, 112313100 fired transitions, 675 secs || 43832978 markings, 46992145 edges, 62788 markings/sec, 675 secs
lola: STP completed || 114 tries, 113142935 fired transitions, 680 secs || 44148190 markings, 47331210 edges, 63042 markings/sec, 680 secs
lola: STP completed || 114 tries, 113972075 fired transitions, 685 secs || 44461869 markings, 47668026 edges, 62736 markings/sec, 685 secs
lola: STP completed || 115 tries, 114801235 fired transitions, 690 secs || 44776395 markings, 48005651 edges, 62905 markings/sec, 690 secs
lola: STP completed || 116 tries, 115633592 fired transitions, 695 secs || 45092036 markings, 48346670 edges, 63128 markings/sec, 695 secs
lola: STP completed || 117 tries, 116465137 fired transitions, 700 secs || 45407119 markings, 48687468 edges, 63017 markings/sec, 700 secs
lola: STP completed || 118 tries, 117298856 fired transitions, 705 secs || 45723539 markings, 49033399 edges, 63284 markings/sec, 705 secs
lola: STP completed || 119 tries, 118128757 fired transitions, 710 secs || 46038843 markings, 49373493 edges, 63061 markings/sec, 710 secs
lola: STP completed || 119 tries, 118959051 fired transitions, 715 secs || 46354271 markings, 49712830 edges, 63086 markings/sec, 715 secs
lola: STP completed || 120 tries, 119787573 fired transitions, 720 secs || 46668754 markings, 50050494 edges, 62897 markings/sec, 720 secs
lola: STP completed || 121 tries, 120608839 fired transitions, 725 secs || 46978874 markings, 50383762 edges, 62024 markings/sec, 725 secs
lola: STP completed || 122 tries, 121436693 fired transitions, 730 secs || 47291469 markings, 50719846 edges, 62519 markings/sec, 730 secs
lola: STP completed || 123 tries, 122266983 fired transitions, 735 secs || 47604889 markings, 51058288 edges, 62684 markings/sec, 735 secs
lola: STP completed || 124 tries, 123096128 fired transitions, 740 secs || 47919004 markings, 51400207 edges, 62823 markings/sec, 740 secs
lola: STP completed || 124 tries, 123925778 fired transitions, 745 secs || 48233724 markings, 51740524 edges, 62944 markings/sec, 745 secs
lola: STP completed || 125 tries, 124724739 fired transitions, 750 secs || 48534414 markings, 52064675 edges, 60138 markings/sec, 750 secs
lola: STP completed || 126 tries, 125525344 fired transitions, 755 secs || 48838106 markings, 52390418 edges, 60738 markings/sec, 755 secs
lola: STP completed || 127 tries, 126333528 fired transitions, 760 secs || 49145078 markings, 52719854 edges, 61394 markings/sec, 760 secs
lola: STP completed || 128 tries, 127104744 fired transitions, 765 secs || 49435129 markings, 53032772 edges, 58010 markings/sec, 765 secs
lola: STP completed || 128 tries, 127902713 fired transitions, 770 secs || 49736789 markings, 53357430 edges, 60332 markings/sec, 770 secs
lola: STP completed || 129 tries, 128686897 fired transitions, 775 secs || 50033839 markings, 53676144 edges, 59410 markings/sec, 775 secs
lola: STP completed || 130 tries, 129483261 fired transitions, 780 secs || 50335419 markings, 54001321 edges, 60316 markings/sec, 780 secs
lola: STP completed || 131 tries, 130301538 fired transitions, 785 secs || 50645150 markings, 54333732 edges, 61946 markings/sec, 785 secs
lola: STP completed || 132 tries, 131130693 fired transitions, 790 secs || 50959538 markings, 54673005 edges, 62878 markings/sec, 790 secs
lola: STP completed || 132 tries, 131959237 fired transitions, 795 secs || 51273922 markings, 55011211 edges, 62877 markings/sec, 795 secs
lola: STP completed || 133 tries, 132789389 fired transitions, 800 secs || 51587286 markings, 55348521 edges, 62673 markings/sec, 800 secs
lola: STP completed || 134 tries, 133618851 fired transitions, 805 secs || 51901443 markings, 55686407 edges, 62831 markings/sec, 805 secs
lola: STP completed || 135 tries, 134449330 fired transitions, 810 secs || 52214894 markings, 56026347 edges, 62690 markings/sec, 810 secs
lola: STP completed || 136 tries, 135280426 fired transitions, 815 secs || 52528877 markings, 56364511 edges, 62797 markings/sec, 815 secs
lola: STP completed || 137 tries, 136111664 fired transitions, 820 secs || 52842722 markings, 56703291 edges, 62769 markings/sec, 820 secs
lola: STP completed || 137 tries, 136936765 fired transitions, 825 secs || 53153910 markings, 57038295 edges, 62238 markings/sec, 825 secs
lola: STP completed || 138 tries, 137767728 fired transitions, 830 secs || 53467558 markings, 57377421 edges, 62730 markings/sec, 830 secs
lola: STP completed || 139 tries, 138597144 fired transitions, 835 secs || 53782675 markings, 57718739 edges, 63023 markings/sec, 835 secs
lola: STP completed || 140 tries, 139425480 fired transitions, 840 secs || 54093829 markings, 58053578 edges, 62231 markings/sec, 840 secs
lola: STP completed || 141 tries, 140251866 fired transitions, 845 secs || 54406274 markings, 58388126 edges, 62489 markings/sec, 845 secs
lola: STP completed || 142 tries, 141079978 fired transitions, 850 secs || 54717429 markings, 58721715 edges, 62231 markings/sec, 850 secs
lola: STP completed || 142 tries, 141910115 fired transitions, 855 secs || 55030255 markings, 59060368 edges, 62565 markings/sec, 855 secs
lola: STP completed || 143 tries, 142737506 fired transitions, 860 secs || 55344057 markings, 59397612 edges, 62760 markings/sec, 860 secs
lola: STP completed || 144 tries, 143568784 fired transitions, 865 secs || 55659200 markings, 59739095 edges, 63029 markings/sec, 865 secs
lola: STP completed || 145 tries, 144398913 fired transitions, 870 secs || 55972055 markings, 60075798 edges, 62571 markings/sec, 870 secs
lola: STP completed || 146 tries, 145228753 fired transitions, 875 secs || 56284379 markings, 60413299 edges, 62465 markings/sec, 875 secs
lola: STP completed || 147 tries, 146058469 fired transitions, 880 secs || 56596653 markings, 60750343 edges, 62455 markings/sec, 880 secs
lola: STP completed || 147 tries, 146891695 fired transitions, 885 secs || 56910495 markings, 61093502 edges, 62768 markings/sec, 885 secs
lola: STP completed || 148 tries, 147723572 fired transitions, 890 secs || 57225613 markings, 61435680 edges, 63024 markings/sec, 890 secs
lola: STP completed || 149 tries, 148548220 fired transitions, 895 secs || 57536579 markings, 61769554 edges, 62193 markings/sec, 895 secs
lola: STP completed || 150 tries, 149378246 fired transitions, 900 secs || 57850979 markings, 62108721 edges, 62880 markings/sec, 900 secs
lola: STP completed || 151 tries, 150207037 fired transitions, 905 secs || 58162861 markings, 62446161 edges, 62376 markings/sec, 905 secs
lola: STP completed || 152 tries, 151034306 fired transitions, 910 secs || 58474919 markings, 62783818 edges, 62412 markings/sec, 910 secs
lola: STP completed || 152 tries, 151863354 fired transitions, 915 secs || 58788961 markings, 63123542 edges, 62808 markings/sec, 915 secs
lola: STP completed || 153 tries, 152691762 fired transitions, 920 secs || 59103127 markings, 63465287 edges, 62833 markings/sec, 920 secs
lola: STP completed || 154 tries, 153518928 fired transitions, 925 secs || 59414625 markings, 63800104 edges, 62300 markings/sec, 925 secs
lola: STP completed || 155 tries, 154347404 fired transitions, 930 secs || 59726175 markings, 64135211 edges, 62310 markings/sec, 930 secs
lola: STP completed || 156 tries, 155179551 fired transitions, 935 secs || 60041854 markings, 64474056 edges, 63136 markings/sec, 935 secs
lola: STP completed || 157 tries, 156006908 fired transitions, 940 secs || 60355416 markings, 64811115 edges, 62712 markings/sec, 940 secs
lola: STP completed || 157 tries, 156835252 fired transitions, 945 secs || 60668527 markings, 65149962 edges, 62622 markings/sec, 945 secs
lola: STP completed || 158 tries, 157663708 fired transitions, 950 secs || 60981731 markings, 65488862 edges, 62641 markings/sec, 950 secs
lola: STP completed || 159 tries, 158492286 fired transitions, 955 secs || 61294875 markings, 65827250 edges, 62629 markings/sec, 955 secs
lola: STP completed || 160 tries, 159318864 fired transitions, 960 secs || 61606951 markings, 66162675 edges, 62415 markings/sec, 960 secs
lola: STP completed || 161 tries, 160150590 fired transitions, 965 secs || 61922194 markings, 66512825 edges, 63049 markings/sec, 965 secs
lola: STP completed || 161 tries, 160978644 fired transitions, 970 secs || 62235734 markings, 66850938 edges, 62708 markings/sec, 970 secs
lola: STP completed || 162 tries, 161806403 fired transitions, 975 secs || 62547779 markings, 67186248 edges, 62409 markings/sec, 975 secs
lola: STP completed || 163 tries, 162630508 fired transitions, 980 secs || 62858090 markings, 67520602 edges, 62062 markings/sec, 980 secs
lola: STP completed || 164 tries, 163459734 fired transitions, 985 secs || 63169456 markings, 67856728 edges, 62273 markings/sec, 985 secs
lola: STP completed || 165 tries, 164286717 fired transitions, 990 secs || 63481597 markings, 68193347 edges, 62428 markings/sec, 990 secs
lola: STP completed || 166 tries, 165115000 fired transitions, 995 secs || 63794425 markings, 68531481 edges, 62566 markings/sec, 995 secs
lola: STP completed || 166 tries, 165942797 fired transitions, 1000 secs || 64105678 markings, 68865239 edges, 62251 markings/sec, 1000 secs
lola: STP completed || 167 tries, 166772100 fired transitions, 1005 secs || 64418696 markings, 69203702 edges, 62604 markings/sec, 1005 secs
lola: STP completed || 168 tries, 167597677 fired transitions, 1010 secs || 64728215 markings, 69540636 edges, 61904 markings/sec, 1010 secs
lola: STP completed || 169 tries, 168424146 fired transitions, 1015 secs || 65039067 markings, 69874941 edges, 62170 markings/sec, 1015 secs
lola: STP completed || 170 tries, 169251689 fired transitions, 1020 secs || 65352422 markings, 70212969 edges, 62671 markings/sec, 1020 secs
lola: STP completed || 171 tries, 170081493 fired transitions, 1025 secs || 65665279 markings, 70551694 edges, 62571 markings/sec, 1025 secs
lola: STP completed || 171 tries, 170908191 fired transitions, 1030 secs || 65976118 markings, 70886560 edges, 62168 markings/sec, 1030 secs
lola: STP completed || 172 tries, 171735635 fired transitions, 1035 secs || 66288377 markings, 71220511 edges, 62452 markings/sec, 1035 secs
lola: STP completed || 173 tries, 172563091 fired transitions, 1040 secs || 66599636 markings, 71560328 edges, 62252 markings/sec, 1040 secs
lola: STP completed || 174 tries, 173393411 fired transitions, 1045 secs || 66912502 markings, 71902933 edges, 62573 markings/sec, 1045 secs
lola: STP completed || 175 tries, 174224087 fired transitions, 1050 secs || 67225166 markings, 72243748 edges, 62533 markings/sec, 1050 secs
lola: STP completed || 176 tries, 175052551 fired transitions, 1055 secs || 67537721 markings, 72581730 edges, 62511 markings/sec, 1055 secs
lola: STP completed || 176 tries, 175879054 fired transitions, 1060 secs || 67848094 markings, 72914864 edges, 62075 markings/sec, 1060 secs
lola: STP completed || 177 tries, 176705405 fired transitions, 1065 secs || 68159557 markings, 73250814 edges, 62293 markings/sec, 1065 secs
lola: STP completed || 178 tries, 177530853 fired transitions, 1070 secs || 68471040 markings, 73586047 edges, 62297 markings/sec, 1070 secs
lola: STP completed || 179 tries, 178362934 fired transitions, 1075 secs || 68785214 markings, 73932246 edges, 62835 markings/sec, 1075 secs
lola: STP completed || 180 tries, 179190445 fired transitions, 1080 secs || 69095989 markings, 74268282 edges, 62155 markings/sec, 1080 secs
lola: STP completed || 181 tries, 180017537 fired transitions, 1085 secs || 69406625 markings, 74604954 edges, 62127 markings/sec, 1085 secs
lola: STP completed || 181 tries, 180846352 fired transitions, 1090 secs || 69717797 markings, 74939920 edges, 62234 markings/sec, 1090 secs
lola: STP completed || 182 tries, 181672625 fired transitions, 1095 secs || 70028307 markings, 75275753 edges, 62102 markings/sec, 1095 secs
lola: STP completed || 183 tries, 182502656 fired transitions, 1100 secs || 70339591 markings, 75610498 edges, 62257 markings/sec, 1100 secs
lola: STP completed || 184 tries, 183330780 fired transitions, 1105 secs || 70652252 markings, 75948331 edges, 62532 markings/sec, 1105 secs
lola: STP completed || 185 tries, 184155491 fired transitions, 1110 secs || 70962165 markings, 76281555 edges, 61983 markings/sec, 1110 secs
lola: STP completed || 185 tries, 184978832 fired transitions, 1115 secs || 71270751 markings, 76613219 edges, 61717 markings/sec, 1115 secs
lola: STP completed || 186 tries, 185808461 fired transitions, 1120 secs || 71583279 markings, 76952197 edges, 62506 markings/sec, 1120 secs
lola: STP completed || 187 tries, 186639002 fired transitions, 1125 secs || 71896420 markings, 77295951 edges, 62628 markings/sec, 1125 secs
lola: STP completed || 188 tries, 187457305 fired transitions, 1130 secs || 72204608 markings, 77627189 edges, 61638 markings/sec, 1130 secs
lola: STP completed || 189 tries, 188284553 fired transitions, 1135 secs || 72514759 markings, 77960440 edges, 62030 markings/sec, 1135 secs
lola: STP completed || 190 tries, 189109521 fired transitions, 1140 secs || 72824992 markings, 78293372 edges, 62047 markings/sec, 1140 secs
lola: STP completed || 190 tries, 189933821 fired transitions, 1145 secs || 73135392 markings, 78628581 edges, 62080 markings/sec, 1145 secs
lola: STP completed || 191 tries, 190760086 fired transitions, 1150 secs || 73446125 markings, 78961529 edges, 62147 markings/sec, 1150 secs
lola: STP completed || 192 tries, 191589220 fired transitions, 1155 secs || 73758388 markings, 79301244 edges, 62453 markings/sec, 1155 secs
lola: STP completed || 193 tries, 192415228 fired transitions, 1160 secs || 74069055 markings, 79635142 edges, 62133 markings/sec, 1160 secs
lola: STP completed || 194 tries, 193236291 fired transitions, 1165 secs || 74378093 markings, 79967030 edges, 61808 markings/sec, 1165 secs
lola: STP completed || 195 tries, 194063218 fired transitions, 1170 secs || 74688269 markings, 80301440 edges, 62035 markings/sec, 1170 secs
lola: STP completed || 195 tries, 194891501 fired transitions, 1175 secs || 74999624 markings, 80638998 edges, 62271 markings/sec, 1175 secs
lola: STP completed || 196 tries, 195716769 fired transitions, 1180 secs || 75309951 markings, 80973835 edges, 62065 markings/sec, 1180 secs
lola: STP completed || 197 tries, 196544042 fired transitions, 1185 secs || 75620145 markings, 81306961 edges, 62039 markings/sec, 1185 secs
lola: STP completed || 198 tries, 197343865 fired transitions, 1190 secs || 75919720 markings, 81631638 edges, 59915 markings/sec, 1190 secs
lola: STP completed || 199 tries, 198122086 fired transitions, 1195 secs || 76209845 markings, 81945322 edges, 58025 markings/sec, 1195 secs
lola: STP completed || 199 tries, 198883279 fired transitions, 1200 secs || 76493775 markings, 82252919 edges, 56786 markings/sec, 1200 secs
lola: STP completed || 200 tries, 199730780 fired transitions, 1205 secs || 76811038 markings, 82595765 edges, 63453 markings/sec, 1205 secs
lola: STP completed || 201 tries, 200578852 fired transitions, 1210 secs || 77129982 markings, 82942772 edges, 63789 markings/sec, 1210 secs
lola: STP completed || 202 tries, 201418903 fired transitions, 1215 secs || 77445977 markings, 83284569 edges, 63199 markings/sec, 1215 secs
lola: STP completed || 203 tries, 202226942 fired transitions, 1220 secs || 77750031 markings, 83612242 edges, 60811 markings/sec, 1220 secs
lola: STP completed || 204 tries, 203021532 fired transitions, 1225 secs || 78047784 markings, 83935000 edges, 59551 markings/sec, 1225 secs
lola: STP completed || 204 tries, 203828039 fired transitions, 1230 secs || 78351537 markings, 84262488 edges, 60751 markings/sec, 1230 secs
lola: STP completed || 205 tries, 204657846 fired transitions, 1235 secs || 78663199 markings, 84598124 edges, 62332 markings/sec, 1235 secs
lola: STP completed || 206 tries, 205488506 fired transitions, 1240 secs || 78975100 markings, 84933949 edges, 62380 markings/sec, 1240 secs
lola: STP completed || 207 tries, 206319001 fired transitions, 1245 secs || 79286801 markings, 85270369 edges, 62340 markings/sec, 1245 secs
lola: STP completed || 208 tries, 207148184 fired transitions, 1250 secs || 79598542 markings, 85606767 edges, 62348 markings/sec, 1250 secs
lola: STP completed || 208 tries, 207981459 fired transitions, 1255 secs || 79910198 markings, 85945079 edges, 62331 markings/sec, 1255 secs
lola: STP completed || 209 tries, 208811246 fired transitions, 1260 secs || 80220770 markings, 86282529 edges, 62114 markings/sec, 1260 secs
lola: STP completed || 210 tries, 209629710 fired transitions, 1265 secs || 80529516 markings, 86617341 edges, 61749 markings/sec, 1265 secs
lola: STP completed || 211 tries, 210463783 fired transitions, 1270 secs || 80842460 markings, 86962255 edges, 62589 markings/sec, 1270 secs
lola: STP completed || 212 tries, 211296432 fired transitions, 1275 secs || 81154569 markings, 87302423 edges, 62422 markings/sec, 1275 secs
lola: STP completed || 213 tries, 212121140 fired transitions, 1280 secs || 81463192 markings, 87635968 edges, 61725 markings/sec, 1280 secs
lola: STP completed || 213 tries, 212945839 fired transitions, 1285 secs || 81771791 markings, 87968083 edges, 61720 markings/sec, 1285 secs
lola: STP completed || 214 tries, 213775060 fired transitions, 1290 secs || 82082205 markings, 88304252 edges, 62083 markings/sec, 1290 secs
lola: STP completed || 215 tries, 214602473 fired transitions, 1295 secs || 82393491 markings, 88640874 edges, 62257 markings/sec, 1295 secs
lola: STP completed || 216 tries, 215425046 fired transitions, 1300 secs || 82701298 markings, 88972057 edges, 61561 markings/sec, 1300 secs
lola: STP completed || 217 tries, 216254211 fired transitions, 1305 secs || 83011612 markings, 89307847 edges, 62063 markings/sec, 1305 secs
lola: STP completed || 218 tries, 217080905 fired transitions, 1310 secs || 83322232 markings, 89641625 edges, 62124 markings/sec, 1310 secs
lola: STP completed || 218 tries, 217906935 fired transitions, 1315 secs || 83632241 markings, 89975350 edges, 62002 markings/sec, 1315 secs
lola: STP completed || 219 tries, 218734345 fired transitions, 1320 secs || 83942027 markings, 90309385 edges, 61957 markings/sec, 1320 secs
lola: STP completed || 220 tries, 219561131 fired transitions, 1325 secs || 84252399 markings, 90644682 edges, 62074 markings/sec, 1325 secs
lola: STP completed || 221 tries, 220388973 fired transitions, 1330 secs || 84561666 markings, 90981287 edges, 61853 markings/sec, 1330 secs
lola: STP completed || 222 tries, 221217163 fired transitions, 1335 secs || 84872600 markings, 91319211 edges, 62187 markings/sec, 1335 secs
lola: STP completed || 223 tries, 222048847 fired transitions, 1340 secs || 85184039 markings, 91661360 edges, 62288 markings/sec, 1340 secs
lola: STP completed || 223 tries, 222880335 fired transitions, 1345 secs || 85495405 markings, 92002452 edges, 62273 markings/sec, 1345 secs
lola: STP completed || 224 tries, 223707648 fired transitions, 1350 secs || 85805981 markings, 92339076 edges, 62115 markings/sec, 1350 secs
lola: STP completed || 225 tries, 224535590 fired transitions, 1355 secs || 86115256 markings, 92674097 edges, 61855 markings/sec, 1355 secs
lola: STP completed || 226 tries, 225365249 fired transitions, 1360 secs || 86424997 markings, 93008476 edges, 61948 markings/sec, 1360 secs
lola: STP completed || 227 tries, 226192137 fired transitions, 1365 secs || 86734904 markings, 93345442 edges, 61981 markings/sec, 1365 secs
lola: STP completed || 228 tries, 227020914 fired transitions, 1370 secs || 87043342 markings, 93678635 edges, 61688 markings/sec, 1370 secs
lola: STP completed || 228 tries, 227849904 fired transitions, 1375 secs || 87353449 markings, 94016327 edges, 62021 markings/sec, 1375 secs
lola: STP completed || 229 tries, 228676086 fired transitions, 1380 secs || 87663057 markings, 94349542 edges, 61922 markings/sec, 1380 secs
lola: STP completed || 230 tries, 229504950 fired transitions, 1385 secs || 87973973 markings, 94687289 edges, 62183 markings/sec, 1385 secs
lola: STP completed || 231 tries, 230332420 fired transitions, 1390 secs || 88282906 markings, 95020784 edges, 61787 markings/sec, 1390 secs
lola: STP completed || 232 tries, 231159788 fired transitions, 1395 secs || 88591389 markings, 95353215 edges, 61697 markings/sec, 1395 secs
lola: STP completed || 232 tries, 231985046 fired transitions, 1400 secs || 88900128 markings, 95684988 edges, 61748 markings/sec, 1400 secs
lola: STP completed || 233 tries, 232812585 fired transitions, 1405 secs || 89210201 markings, 96019346 edges, 62015 markings/sec, 1405 secs
lola: STP completed || 234 tries, 233643983 fired transitions, 1410 secs || 89520053 markings, 96356599 edges, 61970 markings/sec, 1410 secs
lola: STP completed || 235 tries, 234470908 fired transitions, 1415 secs || 89829434 markings, 96688338 edges, 61876 markings/sec, 1415 secs
lola: STP completed || 236 tries, 235299688 fired transitions, 1420 secs || 90139341 markings, 97022986 edges, 61981 markings/sec, 1420 secs
lola: STP completed || 237 tries, 236127671 fired transitions, 1425 secs || 90448394 markings, 97356561 edges, 61811 markings/sec, 1425 secs
lola: STP completed || 237 tries, 236955447 fired transitions, 1430 secs || 90758784 markings, 97691194 edges, 62078 markings/sec, 1430 secs
lola: STP completed || 238 tries, 237785594 fired transitions, 1435 secs || 91069004 markings, 98031503 edges, 62044 markings/sec, 1435 secs
lola: STP completed || 239 tries, 238614519 fired transitions, 1440 secs || 91379430 markings, 98368997 edges, 62085 markings/sec, 1440 secs
lola: STP completed || 240 tries, 239441196 fired transitions, 1445 secs || 91687639 markings, 98699797 edges, 61642 markings/sec, 1445 secs
lola: STP completed || 241 tries, 240262877 fired transitions, 1450 secs || 91994546 markings, 99030902 edges, 61381 markings/sec, 1450 secs
lola: STP completed || 242 tries, 241092419 fired transitions, 1455 secs || 92305151 markings, 99369000 edges, 62121 markings/sec, 1455 secs
lola: STP completed || 242 tries, 241919424 fired transitions, 1460 secs || 92613436 markings, 99701312 edges, 61657 markings/sec, 1460 secs
lola: STP completed || 243 tries, 242746482 fired transitions, 1465 secs || 92922991 markings, 100036636 edges, 61911 markings/sec, 1465 secs
lola: STP completed || 244 tries, 243575535 fired transitions, 1470 secs || 93232076 markings, 100370434 edges, 61817 markings/sec, 1470 secs
lola: STP completed || 245 tries, 244403035 fired transitions, 1475 secs || 93540312 markings, 100703491 edges, 61647 markings/sec, 1475 secs
lola: STP completed || 246 tries, 245228901 fired transitions, 1480 secs || 93849065 markings, 101035923 edges, 61751 markings/sec, 1480 secs
lola: STP completed || 247 tries, 246054083 fired transitions, 1485 secs || 94157203 markings, 101368700 edges, 61628 markings/sec, 1485 secs
lola: STP completed || 247 tries, 246881220 fired transitions, 1490 secs || 94464851 markings, 101700960 edges, 61530 markings/sec, 1490 secs
lola: STP completed || 248 tries, 247707949 fired transitions, 1495 secs || 94774704 markings, 102038390 edges, 61971 markings/sec, 1495 secs
lola: STP completed || 249 tries, 248533053 fired transitions, 1500 secs || 95083204 markings, 102369801 edges, 61700 markings/sec, 1500 secs
lola: STP completed || 250 tries, 249361471 fired transitions, 1505 secs || 95393008 markings, 102704738 edges, 61961 markings/sec, 1505 secs
lola: STP completed || 251 tries, 250188165 fired transitions, 1510 secs || 95701939 markings, 103037960 edges, 61786 markings/sec, 1510 secs
lola: STP completed || 252 tries, 251014970 fired transitions, 1515 secs || 96010170 markings, 103369966 edges, 61646 markings/sec, 1515 secs
lola: STP completed || 252 tries, 251843394 fired transitions, 1520 secs || 96319050 markings, 103705240 edges, 61776 markings/sec, 1520 secs
lola: STP completed || 253 tries, 252671577 fired transitions, 1525 secs || 96626944 markings, 104037365 edges, 61579 markings/sec, 1525 secs
lola: STP completed || 254 tries, 253499501 fired transitions, 1530 secs || 96935475 markings, 104370647 edges, 61706 markings/sec, 1530 secs
lola: STP completed || 255 tries, 254324610 fired transitions, 1535 secs || 97242200 markings, 104703739 edges, 61345 markings/sec, 1535 secs
lola: STP completed || 256 tries, 255153497 fired transitions, 1540 secs || 97551686 markings, 105039025 edges, 61897 markings/sec, 1540 secs
lola: STP completed || 256 tries, 255980297 fired transitions, 1545 secs || 97859721 markings, 105372864 edges, 61607 markings/sec, 1545 secs
lola: STP completed || 257 tries, 256807227 fired transitions, 1550 secs || 98167543 markings, 105706056 edges, 61564 markings/sec, 1550 secs
lola: STP completed || 258 tries, 257633435 fired transitions, 1555 secs || 98475175 markings, 106037556 edges, 61526 markings/sec, 1555 secs
lola: STP completed || 259 tries, 258459616 fired transitions, 1560 secs || 98782357 markings, 106367923 edges, 61436 markings/sec, 1560 secs
lola: STP completed || 260 tries, 259287758 fired transitions, 1565 secs || 99091722 markings, 106702693 edges, 61873 markings/sec, 1565 secs
lola: STP completed || 261 tries, 260114873 fired transitions, 1570 secs || 99399780 markings, 107037058 edges, 61612 markings/sec, 1570 secs
lola: STP completed || 261 tries, 260945171 fired transitions, 1575 secs || 99707063 markings, 107369534 edges, 61457 markings/sec, 1575 secs
lola: STP completed || 262 tries, 261776421 fired transitions, 1580 secs || 100015193 markings, 107704655 edges, 61626 markings/sec, 1580 secs
lola: STP completed || 263 tries, 262604892 fired transitions, 1585 secs || 100321064 markings, 108034411 edges, 61174 markings/sec, 1585 secs
lola: STP completed || 264 tries, 263437845 fired transitions, 1590 secs || 100630096 markings, 108371707 edges, 61806 markings/sec, 1590 secs
lola: STP completed || 265 tries, 264267707 fired transitions, 1595 secs || 100939126 markings, 108706485 edges, 61806 markings/sec, 1595 secs
lola: STP completed || 266 tries, 265096075 fired transitions, 1600 secs || 101246670 markings, 109038951 edges, 61509 markings/sec, 1600 secs
lola: STP completed || 266 tries, 265928918 fired transitions, 1605 secs || 101556640 markings, 109380588 edges, 61994 markings/sec, 1605 secs
lola: STP completed || 267 tries, 266760393 fired transitions, 1610 secs || 101865425 markings, 109715426 edges, 61757 markings/sec, 1610 secs
lola: STP completed || 268 tries, 267589239 fired transitions, 1615 secs || 102172128 markings, 110044512 edges, 61341 markings/sec, 1615 secs
lola: STP completed || 269 tries, 268415037 fired transitions, 1620 secs || 102479078 markings, 110375257 edges, 61390 markings/sec, 1620 secs
lola: STP completed || 270 tries, 269244039 fired transitions, 1625 secs || 102786565 markings, 110706825 edges, 61497 markings/sec, 1625 secs
lola: STP completed || 271 tries, 270073019 fired transitions, 1630 secs || 103094614 markings, 111039979 edges, 61610 markings/sec, 1630 secs
lola: STP completed || 271 tries, 270900598 fired transitions, 1635 secs || 103401214 markings, 111372471 edges, 61320 markings/sec, 1635 secs
lola: STP completed || 272 tries, 271728701 fired transitions, 1640 secs || 103709106 markings, 111704942 edges, 61578 markings/sec, 1640 secs
lola: STP completed || 273 tries, 272557137 fired transitions, 1645 secs || 104016438 markings, 112035826 edges, 61466 markings/sec, 1645 secs
lola: STP completed || 274 tries, 273385057 fired transitions, 1650 secs || 104323521 markings, 112366938 edges, 61417 markings/sec, 1650 secs
lola: STP completed || 275 tries, 274213531 fired transitions, 1655 secs || 104631658 markings, 112698619 edges, 61627 markings/sec, 1655 secs
lola: STP completed || 276 tries, 275045930 fired transitions, 1660 secs || 104940033 markings, 113034020 edges, 61675 markings/sec, 1660 secs
lola: STP completed || 276 tries, 275873552 fired transitions, 1665 secs || 105246363 markings, 113366380 edges, 61266 markings/sec, 1665 secs
lola: STP completed || 277 tries, 276697391 fired transitions, 1670 secs || 105551527 markings, 113696070 edges, 61033 markings/sec, 1670 secs
lola: STP completed || 278 tries, 277529485 fired transitions, 1675 secs || 105859569 markings, 114033062 edges, 61608 markings/sec, 1675 secs
lola: STP completed || 279 tries, 278362506 fired transitions, 1680 secs || 106168134 markings, 114372266 edges, 61713 markings/sec, 1680 secs
lola: STP completed || 280 tries, 279190229 fired transitions, 1685 secs || 106474367 markings, 114702710 edges, 61247 markings/sec, 1685 secs
lola: STP completed || 281 tries, 280020562 fired transitions, 1690 secs || 106782201 markings, 115036852 edges, 61567 markings/sec, 1690 secs
lola: STP completed || 281 tries, 280849431 fired transitions, 1695 secs || 107090484 markings, 115370505 edges, 61657 markings/sec, 1695 secs
lola: STP completed || 282 tries, 281676656 fired transitions, 1700 secs || 107396416 markings, 115701718 edges, 61186 markings/sec, 1700 secs
lola: STP completed || 283 tries, 282506000 fired transitions, 1705 secs || 107703097 markings, 116035610 edges, 61336 markings/sec, 1705 secs
lola: STP completed || 284 tries, 283336217 fired transitions, 1710 secs || 108011014 markings, 116368329 edges, 61583 markings/sec, 1710 secs
lola: STP completed || 285 tries, 284168941 fired transitions, 1715 secs || 108319431 markings, 116703878 edges, 61683 markings/sec, 1715 secs
lola: STP completed || 285 tries, 284977094 fired transitions, 1720 secs || 108617449 markings, 117025241 edges, 59604 markings/sec, 1720 secs
lola: STP completed || 286 tries, 285784833 fired transitions, 1725 secs || 108916446 markings, 117346987 edges, 59799 markings/sec, 1725 secs
lola: STP completed || 287 tries, 286593182 fired transitions, 1730 secs || 109216462 markings, 117671816 edges, 60003 markings/sec, 1730 secs
lola: STP completed || 288 tries, 287399835 fired transitions, 1735 secs || 109515553 markings, 117994407 edges, 59818 markings/sec, 1735 secs
lola: STP completed || 289 tries, 288225883 fired transitions, 1740 secs || 109821243 markings, 118324392 edges, 61138 markings/sec, 1740 secs
lola: STP completed || 290 tries, 289055654 fired transitions, 1745 secs || 110128982 markings, 118654972 edges, 61548 markings/sec, 1745 secs
lola: STP completed || 290 tries, 289884058 fired transitions, 1750 secs || 110435527 markings, 118984781 edges, 61309 markings/sec, 1750 secs
lola: STP completed || 291 tries, 290711528 fired transitions, 1755 secs || 110741338 markings, 119314889 edges, 61162 markings/sec, 1755 secs
lola: STP completed || 292 tries, 291540869 fired transitions, 1760 secs || 111047599 markings, 119646173 edges, 61252 markings/sec, 1760 secs
lola: STP completed || 293 tries, 292370975 fired transitions, 1765 secs || 111354363 markings, 119977256 edges, 61353 markings/sec, 1765 secs
lola: STP completed || 294 tries, 293198188 fired transitions, 1770 secs || 111660305 markings, 120307975 edges, 61188 markings/sec, 1770 secs
lola: STP completed || 295 tries, 294030385 fired transitions, 1775 secs || 111967923 markings, 120645343 edges, 61524 markings/sec, 1775 secs
lola: STP completed || 295 tries, 294859604 fired transitions, 1780 secs || 112273449 markings, 120974272 edges, 61105 markings/sec, 1780 secs
lola: STP completed || 296 tries, 295688320 fired transitions, 1785 secs || 112580748 markings, 121304539 edges, 61460 markings/sec, 1785 secs
lola: STP completed || 297 tries, 296518490 fired transitions, 1790 secs || 112887351 markings, 121641668 edges, 61321 markings/sec, 1790 secs
lola: STP completed || 298 tries, 297345371 fired transitions, 1795 secs || 113192464 markings, 121971672 edges, 61023 markings/sec, 1795 secs
lola: STP completed || 299 tries, 298175162 fired transitions, 1800 secs || 113499646 markings, 122306589 edges, 61436 markings/sec, 1800 secs
lola: STP completed || 300 tries, 299002481 fired transitions, 1805 secs || 113805514 markings, 122636665 edges, 61174 markings/sec, 1805 secs
lola: STP completed || 300 tries, 299832133 fired transitions, 1810 secs || 114112669 markings, 122969294 edges, 61431 markings/sec, 1810 secs
lola: STP completed || 301 tries, 300664312 fired transitions, 1815 secs || 114420588 markings, 123305710 edges, 61584 markings/sec, 1815 secs
lola: STP completed || 302 tries, 301493446 fired transitions, 1820 secs || 114725449 markings, 123633428 edges, 60972 markings/sec, 1820 secs
lola: STP completed || 303 tries, 302322857 fired transitions, 1825 secs || 115032154 markings, 123967365 edges, 61341 markings/sec, 1825 secs
lola: STP completed || 304 tries, 303153243 fired transitions, 1830 secs || 115338894 markings, 124302058 edges, 61348 markings/sec, 1830 secs
lola: STP completed || 304 tries, 303984227 fired transitions, 1835 secs || 115647821 markings, 124643283 edges, 61785 markings/sec, 1835 secs
lola: STP completed || 305 tries, 304716744 fired transitions, 1840 secs || 115956897 markings, 124977521 edges, 61815 markings/sec, 1840 secs
lola: STP completed || 306 tries, 305547676 fired transitions, 1845 secs || 116262537 markings, 125308624 edges, 61128 markings/sec, 1845 secs
lola: STP completed || 307 tries, 306377920 fired transitions, 1850 secs || 116569306 markings, 125640602 edges, 61354 markings/sec, 1850 secs
lola: STP completed || 308 tries, 307209854 fired transitions, 1855 secs || 116877164 markings, 125974613 edges, 61572 markings/sec, 1855 secs
lola: STP completed || 309 tries, 308039038 fired transitions, 1860 secs || 117182804 markings, 126304723 edges, 61128 markings/sec, 1860 secs
lola: STP completed || 309 tries, 308863274 fired transitions, 1865 secs || 117487198 markings, 126633172 edges, 60879 markings/sec, 1865 secs
lola: STP completed || 310 tries, 309696122 fired transitions, 1870 secs || 117796333 markings, 126968269 edges, 61827 markings/sec, 1870 secs
lola: STP completed || 311 tries, 310527891 fired transitions, 1875 secs || 118103605 markings, 127301593 edges, 61454 markings/sec, 1875 secs
lola: STP completed || 312 tries, 311364296 fired transitions, 1880 secs || 118412320 markings, 127643049 edges, 61743 markings/sec, 1880 secs
lola: STP completed || 313 tries, 312196824 fired transitions, 1885 secs || 118719334 markings, 127973877 edges, 61403 markings/sec, 1885 secs
lola: STP completed || 314 tries, 313030688 fired transitions, 1890 secs || 119026216 markings, 128307172 edges, 61376 markings/sec, 1890 secs
lola: STP completed || 314 tries, 313860645 fired transitions, 1895 secs || 119332277 markings, 128637676 edges, 61212 markings/sec, 1895 secs
lola: STP completed || 315 tries, 314693351 fired transitions, 1900 secs || 119639314 markings, 128970215 edges, 61407 markings/sec, 1900 secs
lola: STP completed || 316 tries, 315534239 fired transitions, 1905 secs || 119923637 markings, 129279504 edges, 56865 markings/sec, 1905 secs
lola: STP completed || 317 tries, 316152287 fired transitions, 1910 secs || 120075497 markings, 129442868 edges, 30372 markings/sec, 1910 secs
lola: STP completed || 317 tries, 316293983 fired transitions, 1915 secs || 120077680 markings, 129445206 edges, 437 markings/sec, 1915 secs
lola: STP completed || 317 tries, 316574941 fired transitions, 1920 secs || 120084948 markings, 129453137 edges, 1454 markings/sec, 1920 secs
lola: STP completed || 317 tries, 316890263 fired transitions, 1925 secs || 120091337 markings, 129460093 edges, 1278 markings/sec, 1925 secs
lola: STP completed || 318 tries, 317039708 fired transitions, 1930 secs || 120098111 markings, 129467349 edges, 1355 markings/sec, 1930 secs
lola: STP completed || 318 tries, 317272024 fired transitions, 1935 secs || 120103592 markings, 129473236 edges, 1096 markings/sec, 1935 secs
lola: STP completed || 318 tries, 317749242 fired transitions, 1940 secs || 120118284 markings, 129490628 edges, 2938 markings/sec, 1940 secs
lola: STP completed || 318 tries, 317768591 fired transitions, 1945 secs || 120120439 markings, 129492933 edges, 431 markings/sec, 1945 secs
lola: STP completed || 318 tries, 317994009 fired transitions, 1950 secs || 120128601 markings, 129501683 edges, 1632 markings/sec, 1950 secs
lola: STP completed || 319 tries, 318226183 fired transitions, 1955 secs || 120141580 markings, 129515490 edges, 2596 markings/sec, 1955 secs

BK_STOP 1526614315052

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

Killed

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="DatabaseWithMutex-PT-10"
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/DatabaseWithMutex-PT-10.tgz
mv DatabaseWithMutex-PT-10 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is DatabaseWithMutex-PT-10, 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 r076-blw3-152649936700055"
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 ;