About the Execution of LoLA for DatabaseWithMutex-COL-10
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15918.500 | 1970069.00 | 3956488.00 | 3520.40 | [undef] | Cannot compute |
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 192K
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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 2.7K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.8K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 115 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 353 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_pt
-rw-r--r-- 1 mcc users 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 5 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 27K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DatabaseWithMutex-COL-10, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r076-blw3-152649936700020
=====================================================================
--------------------
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-COL-10-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526598658963
info: Time: 3600 - MCC
===========================================================================================
prep: translating DatabaseWithMutex-COL-10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DatabaseWithMutex-COL-10 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking ReachabilityDeadlock @ DatabaseWithMutex-COL-10 @ 3569 seconds
lola: LoLA will run for 3569 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, 0 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-COL-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 (21 in search tree, 150 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, 894870 fired transitions, 0 secs || 360325 markings, 372113 edges, 72065 markings/sec, 0 secs
lola: STP completed || 2 tries, 1636845 fired transitions, 5 secs || 642341 markings, 665411 edges, 56403 markings/sec, 5 secs
lola: STP completed || 3 tries, 2539390 fired transitions, 10 secs || 996033 markings, 1034053 edges, 70738 markings/sec, 10 secs
lola: STP completed || 4 tries, 3235508 fired transitions, 15 secs || 1273041 markings, 1324457 edges, 55402 markings/sec, 15 secs
lola: STP completed || 4 tries, 3927772 fired transitions, 20 secs || 1555571 markings, 1621877 edges, 56506 markings/sec, 20 secs
lola: STP completed || 5 tries, 4616835 fired transitions, 25 secs || 1829193 markings, 1909968 edges, 54724 markings/sec, 25 secs
lola: STP completed || 6 tries, 5381730 fired transitions, 30 secs || 2121951 markings, 2217239 edges, 58552 markings/sec, 30 secs
lola: STP completed || 7 tries, 6093541 fired transitions, 35 secs || 2397267 markings, 2507645 edges, 55063 markings/sec, 35 secs
lola: STP completed || 7 tries, 6782138 fired transitions, 40 secs || 2679258 markings, 2806353 edges, 56398 markings/sec, 40 secs
lola: STP completed || 8 tries, 7501275 fired transitions, 45 secs || 2960477 markings, 3102507 edges, 56244 markings/sec, 45 secs
lola: STP completed || 9 tries, 8258565 fired transitions, 50 secs || 3243410 markings, 3401532 edges, 56587 markings/sec, 50 secs
lola: STP completed || 9 tries, 8997003 fired transitions, 55 secs || 3523495 markings, 3697594 edges, 56017 markings/sec, 55 secs
lola: STP completed || 10 tries, 9731458 fired transitions, 60 secs || 3809740 markings, 4000793 edges, 57249 markings/sec, 60 secs
lola: STP completed || 11 tries, 10492160 fired transitions, 65 secs || 4098715 markings, 4306457 edges, 57795 markings/sec, 65 secs
lola: STP completed || 12 tries, 11436427 fired transitions, 70 secs || 4450840 markings, 4679357 edges, 70425 markings/sec, 70 secs
lola: STP completed || 13 tries, 12289173 fired transitions, 75 secs || 4768448 markings, 5016116 edges, 63522 markings/sec, 75 secs
lola: STP completed || 14 tries, 13053472 fired transitions, 80 secs || 5050304 markings, 5315346 edges, 56371 markings/sec, 80 secs
lola: STP completed || 14 tries, 13848119 fired transitions, 85 secs || 5351057 markings, 5635137 edges, 60151 markings/sec, 85 secs
lola: STP completed || 15 tries, 14738922 fired transitions, 90 secs || 5679643 markings, 5983568 edges, 65717 markings/sec, 90 secs
lola: STP completed || 16 tries, 15673477 fired transitions, 95 secs || 6025655 markings, 6351698 edges, 69202 markings/sec, 95 secs
lola: STP completed || 17 tries, 16606315 fired transitions, 100 secs || 6369183 markings, 6716237 edges, 68706 markings/sec, 100 secs
lola: STP completed || 18 tries, 17483801 fired transitions, 105 secs || 6689585 markings, 7057071 edges, 64080 markings/sec, 105 secs
lola: STP completed || 19 tries, 18290552 fired transitions, 110 secs || 6980057 markings, 7366000 edges, 58094 markings/sec, 110 secs
lola: STP completed || 20 tries, 19204777 fired transitions, 115 secs || 7316228 markings, 7723349 edges, 67234 markings/sec, 115 secs
lola: STP completed || 21 tries, 20118657 fired transitions, 120 secs || 7652480 markings, 8080502 edges, 67250 markings/sec, 120 secs
lola: STP completed || 21 tries, 20905908 fired transitions, 125 secs || 7923984 markings, 8369941 edges, 54301 markings/sec, 125 secs
lola: STP completed || 22 tries, 21671473 fired transitions, 130 secs || 8205139 markings, 8668915 edges, 56231 markings/sec, 130 secs
lola: STP completed || 23 tries, 22429025 fired transitions, 135 secs || 8484308 markings, 8966655 edges, 55834 markings/sec, 135 secs
lola: STP completed || 24 tries, 23196522 fired transitions, 140 secs || 8764591 markings, 9265381 edges, 56057 markings/sec, 140 secs
lola: STP completed || 24 tries, 23952889 fired transitions, 145 secs || 9047465 markings, 9568334 edges, 56575 markings/sec, 145 secs
lola: STP completed || 25 tries, 24754193 fired transitions, 150 secs || 9344631 markings, 9885912 edges, 59433 markings/sec, 150 secs
lola: STP completed || 26 tries, 25530120 fired transitions, 155 secs || 9632014 markings, 10192573 edges, 57477 markings/sec, 155 secs
lola: STP completed || 27 tries, 26282577 fired transitions, 160 secs || 9913686 markings, 10492636 edges, 56334 markings/sec, 160 secs
lola: STP completed || 28 tries, 27038463 fired transitions, 165 secs || 10194624 markings, 10792814 edges, 56188 markings/sec, 165 secs
lola: STP completed || 28 tries, 27795451 fired transitions, 170 secs || 10477665 markings, 11096362 edges, 56608 markings/sec, 170 secs
lola: STP completed || 29 tries, 28546929 fired transitions, 175 secs || 10761947 markings, 11400048 edges, 56856 markings/sec, 175 secs
lola: STP completed || 30 tries, 29310042 fired transitions, 180 secs || 11042409 markings, 11698956 edges, 56092 markings/sec, 180 secs
lola: STP completed || 31 tries, 30085139 fired transitions, 185 secs || 11317128 markings, 11993062 edges, 54944 markings/sec, 185 secs
lola: STP completed || 31 tries, 30854944 fired transitions, 190 secs || 11595522 markings, 12290894 edges, 55679 markings/sec, 190 secs
lola: STP completed || 32 tries, 31630824 fired transitions, 195 secs || 11871807 markings, 12587001 edges, 55257 markings/sec, 195 secs
lola: STP completed || 33 tries, 32407289 fired transitions, 200 secs || 12149102 markings, 12883835 edges, 55459 markings/sec, 200 secs
lola: STP completed || 34 tries, 33177189 fired transitions, 205 secs || 12425929 markings, 13179016 edges, 55365 markings/sec, 205 secs
lola: STP completed || 34 tries, 33948957 fired transitions, 210 secs || 12705387 markings, 13477284 edges, 55892 markings/sec, 210 secs
lola: STP completed || 35 tries, 34718252 fired transitions, 215 secs || 12982433 markings, 13773051 edges, 55409 markings/sec, 215 secs
lola: STP completed || 36 tries, 35488512 fired transitions, 220 secs || 13257246 markings, 14065400 edges, 54963 markings/sec, 220 secs
lola: STP completed || 37 tries, 36282146 fired transitions, 225 secs || 13544223 markings, 14372801 edges, 57395 markings/sec, 225 secs
lola: STP completed || 38 tries, 37114678 fired transitions, 230 secs || 13841777 markings, 14691606 edges, 59511 markings/sec, 230 secs
lola: STP completed || 38 tries, 37945308 fired transitions, 235 secs || 14144590 markings, 15015154 edges, 60563 markings/sec, 235 secs
lola: STP completed || 39 tries, 38764710 fired transitions, 240 secs || 14435008 markings, 15325218 edges, 58084 markings/sec, 240 secs
lola: STP completed || 40 tries, 39623586 fired transitions, 245 secs || 14746578 markings, 15658022 edges, 62314 markings/sec, 245 secs
lola: STP completed || 41 tries, 40402802 fired transitions, 250 secs || 15029113 markings, 15959873 edges, 56507 markings/sec, 250 secs
lola: STP completed || 42 tries, 41178189 fired transitions, 255 secs || 15302194 markings, 16251211 edges, 54616 markings/sec, 255 secs
lola: STP completed || 43 tries, 42066027 fired transitions, 260 secs || 15621993 markings, 16590878 edges, 63960 markings/sec, 260 secs
lola: STP completed || 43 tries, 42937884 fired transitions, 265 secs || 15929655 markings, 16920497 edges, 61532 markings/sec, 265 secs
lola: STP completed || 44 tries, 43777260 fired transitions, 270 secs || 16227897 markings, 17238972 edges, 59648 markings/sec, 270 secs
lola: STP completed || 45 tries, 44560901 fired transitions, 275 secs || 16495804 markings, 17527381 edges, 53581 markings/sec, 275 secs
lola: STP completed || 46 tries, 45337155 fired transitions, 280 secs || 16771004 markings, 17822183 edges, 55040 markings/sec, 280 secs
lola: STP completed || 47 tries, 46118856 fired transitions, 285 secs || 17046632 markings, 18120456 edges, 55126 markings/sec, 285 secs
lola: STP completed || 47 tries, 46894509 fired transitions, 290 secs || 17321871 markings, 18416550 edges, 55048 markings/sec, 290 secs
lola: STP completed || 48 tries, 47691092 fired transitions, 295 secs || 17603822 markings, 18718062 edges, 56390 markings/sec, 295 secs
lola: STP completed || 49 tries, 48567550 fired transitions, 300 secs || 17914848 markings, 19051942 edges, 62205 markings/sec, 300 secs
lola: STP completed || 50 tries, 49436469 fired transitions, 305 secs || 18227010 markings, 19385937 edges, 62432 markings/sec, 305 secs
lola: STP completed || 51 tries, 50188132 fired transitions, 310 secs || 18506247 markings, 19684108 edges, 55847 markings/sec, 310 secs
lola: STP completed || 51 tries, 50953562 fired transitions, 315 secs || 18778073 markings, 19976445 edges, 54365 markings/sec, 315 secs
lola: STP completed || 52 tries, 51710090 fired transitions, 320 secs || 19056890 markings, 20274645 edges, 55763 markings/sec, 320 secs
lola: STP completed || 53 tries, 52458224 fired transitions, 325 secs || 19330882 markings, 20566065 edges, 54798 markings/sec, 325 secs
lola: STP completed || 54 tries, 53218193 fired transitions, 330 secs || 19606137 markings, 20860446 edges, 55051 markings/sec, 330 secs
lola: STP completed || 54 tries, 53969656 fired transitions, 335 secs || 19883070 markings, 21155645 edges, 55387 markings/sec, 335 secs
lola: STP completed || 55 tries, 54761055 fired transitions, 340 secs || 20170432 markings, 21462935 edges, 57472 markings/sec, 340 secs
lola: STP completed || 56 tries, 55548858 fired transitions, 345 secs || 20447951 markings, 21760704 edges, 55504 markings/sec, 345 secs
lola: STP completed || 57 tries, 56315413 fired transitions, 350 secs || 20720072 markings, 22051169 edges, 54424 markings/sec, 350 secs
lola: STP completed || 58 tries, 57077302 fired transitions, 355 secs || 20998079 markings, 22349680 edges, 55601 markings/sec, 355 secs
lola: STP completed || 58 tries, 57876195 fired transitions, 360 secs || 21284556 markings, 22656120 edges, 57295 markings/sec, 360 secs
lola: STP completed || 59 tries, 58651033 fired transitions, 365 secs || 21558592 markings, 22948648 edges, 54807 markings/sec, 365 secs
lola: STP completed || 60 tries, 59424172 fired transitions, 370 secs || 21834212 markings, 23242224 edges, 55124 markings/sec, 370 secs
lola: STP completed || 61 tries, 60219250 fired transitions, 375 secs || 22115791 markings, 23543134 edges, 56316 markings/sec, 375 secs
lola: STP completed || 62 tries, 61124366 fired transitions, 380 secs || 22437777 markings, 23887826 edges, 64397 markings/sec, 380 secs
lola: STP completed || 63 tries, 62005359 fired transitions, 385 secs || 22750601 markings, 24221724 edges, 62565 markings/sec, 385 secs
lola: STP completed || 63 tries, 62834664 fired transitions, 390 secs || 23047564 markings, 24540124 edges, 59393 markings/sec, 390 secs
lola: STP completed || 64 tries, 63589360 fired transitions, 395 secs || 23321424 markings, 24833542 edges, 54772 markings/sec, 395 secs
lola: STP completed || 65 tries, 64360058 fired transitions, 400 secs || 23593986 markings, 25125683 edges, 54512 markings/sec, 400 secs
lola: STP completed || 66 tries, 65128208 fired transitions, 405 secs || 23872270 markings, 25424564 edges, 55657 markings/sec, 405 secs
lola: STP completed || 66 tries, 65882147 fired transitions, 410 secs || 24152514 markings, 25725110 edges, 56049 markings/sec, 410 secs
lola: STP completed || 67 tries, 66643230 fired transitions, 415 secs || 24431319 markings, 26023877 edges, 55761 markings/sec, 415 secs
lola: STP completed || 68 tries, 67488872 fired transitions, 420 secs || 24732220 markings, 26345989 edges, 60180 markings/sec, 420 secs
lola: STP completed || 69 tries, 68383019 fired transitions, 425 secs || 25046302 markings, 26682907 edges, 62816 markings/sec, 425 secs
lola: STP completed || 70 tries, 69199136 fired transitions, 430 secs || 25331166 markings, 26988230 edges, 56973 markings/sec, 430 secs
lola: STP completed || 71 tries, 70145385 fired transitions, 435 secs || 25669448 markings, 27349852 edges, 67656 markings/sec, 435 secs
lola: STP completed || 72 tries, 71095350 fired transitions, 440 secs || 26003714 markings, 27708141 edges, 66853 markings/sec, 440 secs
lola: STP completed || 73 tries, 72001248 fired transitions, 445 secs || 26320699 markings, 28049638 edges, 63397 markings/sec, 445 secs
lola: STP completed || 73 tries, 72948660 fired transitions, 450 secs || 26656694 markings, 28409871 edges, 67199 markings/sec, 450 secs
lola: STP completed || 74 tries, 73847222 fired transitions, 455 secs || 26972612 markings, 28748862 edges, 63184 markings/sec, 455 secs
lola: STP completed || 75 tries, 74777522 fired transitions, 460 secs || 27303833 markings, 29103369 edges, 66244 markings/sec, 460 secs
lola: STP completed || 76 tries, 75674849 fired transitions, 465 secs || 27623291 markings, 29444462 edges, 63892 markings/sec, 465 secs
lola: STP completed || 77 tries, 76587137 fired transitions, 470 secs || 27945204 markings, 29790002 edges, 64383 markings/sec, 470 secs
lola: STP completed || 78 tries, 77333312 fired transitions, 475 secs || 28223584 markings, 30088413 edges, 55676 markings/sec, 475 secs
lola: STP completed || 79 tries, 78130288 fired transitions, 480 secs || 28509808 markings, 30395354 edges, 57245 markings/sec, 480 secs
lola: STP completed || 80 tries, 79022219 fired transitions, 485 secs || 28824530 markings, 30733152 edges, 62944 markings/sec, 485 secs
lola: STP completed || 80 tries, 79886776 fired transitions, 490 secs || 29126235 markings, 31056604 edges, 60341 markings/sec, 490 secs
lola: STP completed || 81 tries, 80835461 fired transitions, 495 secs || 29461471 markings, 31415304 edges, 67047 markings/sec, 495 secs
lola: STP completed || 82 tries, 81783786 fired transitions, 500 secs || 29799546 markings, 31775471 edges, 67615 markings/sec, 500 secs
lola: STP completed || 83 tries, 82731820 fired transitions, 505 secs || 30136624 markings, 32135541 edges, 67416 markings/sec, 505 secs
lola: STP completed || 84 tries, 83652470 fired transitions, 510 secs || 30459939 markings, 32481460 edges, 64663 markings/sec, 510 secs
lola: STP completed || 85 tries, 84526751 fired transitions, 515 secs || 30766086 markings, 32810570 edges, 61229 markings/sec, 515 secs
lola: STP completed || 86 tries, 85394799 fired transitions, 520 secs || 31073794 markings, 33138786 edges, 61542 markings/sec, 520 secs
lola: STP completed || 87 tries, 86284889 fired transitions, 525 secs || 31384686 markings, 33472469 edges, 62178 markings/sec, 525 secs
lola: STP completed || 88 tries, 87120310 fired transitions, 530 secs || 31681143 markings, 33790891 edges, 59291 markings/sec, 530 secs
lola: STP completed || 88 tries, 87897076 fired transitions, 535 secs || 31953957 markings, 34082516 edges, 54563 markings/sec, 535 secs
lola: STP completed || 89 tries, 88700628 fired transitions, 540 secs || 32233839 markings, 34381312 edges, 55976 markings/sec, 540 secs
lola: STP completed || 90 tries, 89476997 fired transitions, 545 secs || 32504940 markings, 34671080 edges, 54220 markings/sec, 545 secs
lola: STP completed || 91 tries, 90254254 fired transitions, 550 secs || 32776535 markings, 34962800 edges, 54319 markings/sec, 550 secs
lola: STP completed || 92 tries, 91028637 fired transitions, 555 secs || 33050032 markings, 35254992 edges, 54699 markings/sec, 555 secs
lola: STP completed || 92 tries, 91800430 fired transitions, 560 secs || 33323103 markings, 35546858 edges, 54614 markings/sec, 560 secs
lola: STP completed || 93 tries, 92578851 fired transitions, 565 secs || 33594463 markings, 35838785 edges, 54272 markings/sec, 565 secs
lola: STP completed || 94 tries, 93407803 fired transitions, 570 secs || 33885404 markings, 36150884 edges, 58188 markings/sec, 570 secs
lola: STP completed || 95 tries, 94248086 fired transitions, 575 secs || 34179664 markings, 36466456 edges, 58852 markings/sec, 575 secs
lola: STP completed || 96 tries, 95019878 fired transitions, 580 secs || 34450386 markings, 36755985 edges, 54144 markings/sec, 580 secs
lola: STP completed || 96 tries, 95797405 fired transitions, 585 secs || 34721571 markings, 37046081 edges, 54237 markings/sec, 585 secs
lola: STP completed || 97 tries, 96577692 fired transitions, 590 secs || 34991722 markings, 37335962 edges, 54030 markings/sec, 590 secs
lola: STP completed || 98 tries, 97354403 fired transitions, 595 secs || 35264305 markings, 37627783 edges, 54517 markings/sec, 595 secs
lola: STP completed || 99 tries, 98171407 fired transitions, 600 secs || 35552731 markings, 37935917 edges, 57685 markings/sec, 600 secs
lola: STP completed || 99 tries, 98989424 fired transitions, 605 secs || 35836439 markings, 38239936 edges, 56742 markings/sec, 605 secs
lola: STP completed || 100 tries, 99822296 fired transitions, 610 secs || 36126170 markings, 38549225 edges, 57946 markings/sec, 610 secs
lola: STP completed || 101 tries, 100596286 fired transitions, 615 secs || 36396467 markings, 38838288 edges, 54059 markings/sec, 615 secs
lola: STP completed || 102 tries, 101451075 fired transitions, 620 secs || 36696190 markings, 39160665 edges, 59945 markings/sec, 620 secs
lola: STP completed || 103 tries, 102318646 fired transitions, 625 secs || 36995821 markings, 39481270 edges, 59926 markings/sec, 625 secs
lola: STP completed || 104 tries, 103118196 fired transitions, 630 secs || 37270670 markings, 39776752 edges, 54970 markings/sec, 630 secs
lola: STP completed || 104 tries, 103989823 fired transitions, 635 secs || 37575050 markings, 40102878 edges, 60876 markings/sec, 635 secs
lola: STP completed || 105 tries, 104913518 fired transitions, 640 secs || 37900955 markings, 40450992 edges, 65181 markings/sec, 640 secs
lola: STP completed || 106 tries, 105799178 fired transitions, 645 secs || 38211633 markings, 40783023 edges, 62136 markings/sec, 645 secs
lola: STP completed || 107 tries, 106748343 fired transitions, 650 secs || 38545008 markings, 41141046 edges, 66675 markings/sec, 650 secs
lola: STP completed || 108 tries, 107667977 fired transitions, 655 secs || 38868694 markings, 41487464 edges, 64737 markings/sec, 655 secs
lola: STP completed || 109 tries, 108601392 fired transitions, 660 secs || 39196056 markings, 41837904 edges, 65472 markings/sec, 660 secs
lola: STP completed || 110 tries, 109411549 fired transitions, 665 secs || 39476213 markings, 42137202 edges, 56031 markings/sec, 665 secs
lola: STP completed || 111 tries, 110273092 fired transitions, 670 secs || 39778400 markings, 42461212 edges, 60437 markings/sec, 670 secs
lola: STP completed || 112 tries, 111198118 fired transitions, 675 secs || 40103114 markings, 42809398 edges, 64943 markings/sec, 675 secs
lola: STP completed || 112 tries, 111995715 fired transitions, 680 secs || 40379161 markings, 43106627 edges, 55209 markings/sec, 680 secs
lola: STP completed || 113 tries, 112902504 fired transitions, 685 secs || 40696125 markings, 43445700 edges, 63393 markings/sec, 685 secs
lola: STP completed || 114 tries, 113819630 fired transitions, 690 secs || 41013124 markings, 43785000 edges, 63400 markings/sec, 690 secs
lola: STP completed || 115 tries, 114653185 fired transitions, 695 secs || 41298291 markings, 44091771 edges, 57033 markings/sec, 695 secs
lola: STP completed || 116 tries, 115491696 fired transitions, 700 secs || 41588717 markings, 44401974 edges, 58085 markings/sec, 700 secs
lola: STP completed || 117 tries, 116304324 fired transitions, 705 secs || 41876288 markings, 44709304 edges, 57514 markings/sec, 705 secs
lola: STP completed || 118 tries, 117132674 fired transitions, 710 secs || 42157861 markings, 45010511 edges, 56315 markings/sec, 710 secs
lola: STP completed || 118 tries, 117911478 fired transitions, 715 secs || 42426503 markings, 45299315 edges, 53728 markings/sec, 715 secs
lola: STP completed || 119 tries, 118735131 fired transitions, 720 secs || 42710600 markings, 45604287 edges, 56819 markings/sec, 720 secs
lola: STP completed || 120 tries, 119517734 fired transitions, 725 secs || 42978955 markings, 45892452 edges, 53671 markings/sec, 725 secs
lola: STP completed || 121 tries, 120351095 fired transitions, 730 secs || 43267519 markings, 46201308 edges, 57713 markings/sec, 730 secs
lola: STP completed || 122 tries, 121265149 fired transitions, 735 secs || 43585037 markings, 46541231 edges, 63504 markings/sec, 735 secs
lola: STP completed || 123 tries, 122064279 fired transitions, 740 secs || 43854149 markings, 46828301 edges, 53822 markings/sec, 740 secs
lola: STP completed || 123 tries, 122899391 fired transitions, 745 secs || 44129865 markings, 47123642 edges, 55143 markings/sec, 745 secs
lola: STP completed || 124 tries, 123704528 fired transitions, 750 secs || 44405828 markings, 47419193 edges, 55193 markings/sec, 750 secs
lola: STP completed || 125 tries, 124628994 fired transitions, 755 secs || 44726084 markings, 47762401 edges, 64051 markings/sec, 755 secs
lola: STP completed || 126 tries, 125484600 fired transitions, 760 secs || 45022332 markings, 48080030 edges, 59250 markings/sec, 760 secs
lola: STP completed || 127 tries, 126401101 fired transitions, 765 secs || 45342422 markings, 48423095 edges, 64018 markings/sec, 765 secs
lola: STP completed || 128 tries, 127297362 fired transitions, 770 secs || 45653093 markings, 48754688 edges, 62134 markings/sec, 770 secs
lola: STP completed || 129 tries, 128220164 fired transitions, 775 secs || 45978353 markings, 49102500 edges, 65052 markings/sec, 775 secs
lola: STP completed || 130 tries, 129139696 fired transitions, 780 secs || 46299146 markings, 49446182 edges, 64159 markings/sec, 780 secs
lola: STP completed || 131 tries, 130088619 fired transitions, 785 secs || 46633181 markings, 49803538 edges, 66807 markings/sec, 785 secs
lola: STP completed || 131 tries, 130994110 fired transitions, 790 secs || 46950159 markings, 50143922 edges, 63396 markings/sec, 790 secs
lola: STP completed || 132 tries, 131936564 fired transitions, 795 secs || 47282626 markings, 50499118 edges, 66493 markings/sec, 795 secs
lola: STP completed || 133 tries, 132804118 fired transitions, 800 secs || 47577680 markings, 50815959 edges, 59011 markings/sec, 800 secs
lola: STP completed || 134 tries, 133657156 fired transitions, 805 secs || 47868488 markings, 51127681 edges, 58162 markings/sec, 805 secs
lola: STP completed || 135 tries, 134539616 fired transitions, 810 secs || 48170397 markings, 51453007 edges, 60382 markings/sec, 810 secs
lola: STP completed || 136 tries, 135409994 fired transitions, 815 secs || 48466374 markings, 51771152 edges, 59195 markings/sec, 815 secs
lola: STP completed || 137 tries, 136266379 fired transitions, 820 secs || 48766006 markings, 52091784 edges, 59926 markings/sec, 820 secs
lola: STP completed || 138 tries, 137126037 fired transitions, 825 secs || 49058642 markings, 52406002 edges, 58527 markings/sec, 825 secs
lola: STP completed || 138 tries, 137972996 fired transitions, 830 secs || 49352497 markings, 52721802 edges, 58771 markings/sec, 830 secs
lola: STP completed || 139 tries, 138812184 fired transitions, 835 secs || 49638444 markings, 53027724 edges, 57189 markings/sec, 835 secs
lola: STP completed || 140 tries, 139632621 fired transitions, 840 secs || 49918908 markings, 53328810 edges, 56093 markings/sec, 840 secs
lola: STP completed || 141 tries, 140502672 fired transitions, 845 secs || 50217709 markings, 53650181 edges, 59760 markings/sec, 845 secs
lola: STP completed || 142 tries, 141381449 fired transitions, 850 secs || 50517548 markings, 53972133 edges, 59968 markings/sec, 850 secs
lola: STP completed || 143 tries, 142296581 fired transitions, 855 secs || 50832930 markings, 54310675 edges, 63076 markings/sec, 855 secs
lola: STP completed || 144 tries, 143207296 fired transitions, 860 secs || 51148611 markings, 54648488 edges, 63136 markings/sec, 860 secs
lola: STP completed || 145 tries, 144156198 fired transitions, 865 secs || 51482603 markings, 55004750 edges, 66798 markings/sec, 865 secs
lola: STP completed || 146 tries, 145104809 fired transitions, 870 secs || 51816066 markings, 55361954 edges, 66693 markings/sec, 870 secs
lola: STP completed || 147 tries, 146038316 fired transitions, 875 secs || 52138895 markings, 55707585 edges, 64566 markings/sec, 875 secs
lola: STP completed || 147 tries, 146967738 fired transitions, 880 secs || 52464104 markings, 56055658 edges, 65042 markings/sec, 880 secs
lola: STP completed || 148 tries, 147918684 fired transitions, 885 secs || 52796716 markings, 56411515 edges, 66522 markings/sec, 885 secs
lola: STP completed || 149 tries, 148867804 fired transitions, 890 secs || 53131317 markings, 56770872 edges, 66920 markings/sec, 890 secs
lola: STP completed || 150 tries, 149817480 fired transitions, 895 secs || 53464613 markings, 57127713 edges, 66659 markings/sec, 895 secs
lola: STP completed || 151 tries, 150694272 fired transitions, 900 secs || 53768071 markings, 57453459 edges, 60692 markings/sec, 900 secs
lola: STP completed || 152 tries, 151478716 fired transitions, 905 secs || 54036310 markings, 57741765 edges, 53648 markings/sec, 905 secs
lola: STP completed || 153 tries, 152283339 fired transitions, 910 secs || 54311977 markings, 58039264 edges, 55133 markings/sec, 910 secs
lola: STP completed || 154 tries, 153123728 fired transitions, 915 secs || 54599749 markings, 58349962 edges, 57554 markings/sec, 915 secs
lola: STP completed || 154 tries, 153984979 fired transitions, 920 secs || 54896640 markings, 58669885 edges, 59378 markings/sec, 920 secs
lola: STP completed || 155 tries, 154768283 fired transitions, 925 secs || 55164887 markings, 58958115 edges, 53649 markings/sec, 925 secs
lola: STP completed || 156 tries, 155553027 fired transitions, 930 secs || 55433461 markings, 59246327 edges, 53715 markings/sec, 930 secs
lola: STP completed || 157 tries, 156373789 fired transitions, 935 secs || 55713238 markings, 59544728 edges, 55955 markings/sec, 935 secs
lola: STP completed || 158 tries, 157202128 fired transitions, 940 secs || 55997149 markings, 59850369 edges, 56782 markings/sec, 940 secs
lola: STP completed || 159 tries, 158121563 fired transitions, 945 secs || 56317130 markings, 60192458 edges, 63996 markings/sec, 945 secs
lola: STP completed || 159 tries, 158988020 fired transitions, 950 secs || 56614635 markings, 60511026 edges, 59501 markings/sec, 950 secs
lola: STP completed || 160 tries, 159817650 fired transitions, 955 secs || 56885572 markings, 60801331 edges, 54187 markings/sec, 955 secs
lola: STP completed || 161 tries, 160628453 fired transitions, 960 secs || 57165912 markings, 61101307 edges, 56068 markings/sec, 960 secs
lola: STP completed || 162 tries, 161458560 fired transitions, 965 secs || 57449789 markings, 61404641 edges, 56775 markings/sec, 965 secs
lola: STP completed || 163 tries, 162308466 fired transitions, 970 secs || 57742060 markings, 61718711 edges, 58454 markings/sec, 970 secs
lola: STP completed || 164 tries, 163167185 fired transitions, 975 secs || 58034351 markings, 62033570 edges, 58458 markings/sec, 975 secs
lola: STP completed || 164 tries, 163985285 fired transitions, 980 secs || 58314559 markings, 62335308 edges, 56042 markings/sec, 980 secs
lola: STP completed || 165 tries, 164767730 fired transitions, 985 secs || 58583341 markings, 62624321 edges, 53756 markings/sec, 985 secs
lola: STP completed || 166 tries, 165559672 fired transitions, 990 secs || 58846612 markings, 62908260 edges, 52654 markings/sec, 990 secs
lola: STP completed || 167 tries, 166340946 fired transitions, 995 secs || 59111658 markings, 63192934 edges, 53009 markings/sec, 995 secs
lola: STP completed || 168 tries, 167125462 fired transitions, 1000 secs || 59379853 markings, 63481129 edges, 53639 markings/sec, 1000 secs
lola: STP completed || 168 tries, 167907692 fired transitions, 1005 secs || 59647515 markings, 63767970 edges, 53532 markings/sec, 1005 secs
lola: STP completed || 169 tries, 168692206 fired transitions, 1010 secs || 59915188 markings, 64056151 edges, 53535 markings/sec, 1010 secs
lola: STP completed || 170 tries, 169475129 fired transitions, 1015 secs || 60183780 markings, 64345130 edges, 53718 markings/sec, 1015 secs
lola: STP completed || 171 tries, 170257748 fired transitions, 1020 secs || 60450757 markings, 64631818 edges, 53395 markings/sec, 1020 secs
lola: STP completed || 172 tries, 171039612 fired transitions, 1025 secs || 60719648 markings, 64920474 edges, 53778 markings/sec, 1025 secs
lola: STP completed || 172 tries, 171822134 fired transitions, 1030 secs || 60989161 markings, 65210545 edges, 53903 markings/sec, 1030 secs
lola: STP completed || 173 tries, 172605093 fired transitions, 1035 secs || 61258776 markings, 65500967 edges, 53923 markings/sec, 1035 secs
lola: STP completed || 174 tries, 173389626 fired transitions, 1040 secs || 61526784 markings, 65789325 edges, 53602 markings/sec, 1040 secs
lola: STP completed || 175 tries, 174172216 fired transitions, 1045 secs || 61794708 markings, 66077205 edges, 53585 markings/sec, 1045 secs
lola: STP completed || 175 tries, 174956223 fired transitions, 1050 secs || 62060936 markings, 66362210 edges, 53246 markings/sec, 1050 secs
lola: STP completed || 176 tries, 175740392 fired transitions, 1055 secs || 62329950 markings, 66651661 edges, 53803 markings/sec, 1055 secs
lola: STP completed || 177 tries, 176523593 fired transitions, 1060 secs || 62598956 markings, 66940525 edges, 53801 markings/sec, 1060 secs
lola: STP completed || 178 tries, 177305988 fired transitions, 1065 secs || 62865603 markings, 67226413 edges, 53329 markings/sec, 1065 secs
lola: STP completed || 179 tries, 178090023 fired transitions, 1070 secs || 63136820 markings, 67518763 edges, 54243 markings/sec, 1070 secs
lola: STP completed || 179 tries, 178870845 fired transitions, 1075 secs || 63405146 markings, 67806622 edges, 53665 markings/sec, 1075 secs
lola: STP completed || 180 tries, 179650209 fired transitions, 1080 secs || 63674127 markings, 68095188 edges, 53796 markings/sec, 1080 secs
lola: STP completed || 181 tries, 180434425 fired transitions, 1085 secs || 63941232 markings, 68382379 edges, 53421 markings/sec, 1085 secs
lola: STP completed || 182 tries, 181217194 fired transitions, 1090 secs || 64209110 markings, 68669517 edges, 53576 markings/sec, 1090 secs
lola: STP completed || 182 tries, 181996564 fired transitions, 1095 secs || 64477872 markings, 68956841 edges, 53752 markings/sec, 1095 secs
lola: STP completed || 183 tries, 182777312 fired transitions, 1100 secs || 64747629 markings, 69247104 edges, 53951 markings/sec, 1100 secs
lola: STP completed || 184 tries, 183600986 fired transitions, 1105 secs || 65029271 markings, 69549772 edges, 56328 markings/sec, 1105 secs
lola: STP completed || 185 tries, 184475522 fired transitions, 1110 secs || 65329832 markings, 69872611 edges, 60112 markings/sec, 1110 secs
lola: STP completed || 186 tries, 185298238 fired transitions, 1115 secs || 65615544 markings, 70180229 edges, 57142 markings/sec, 1115 secs
lola: STP completed || 187 tries, 186083393 fired transitions, 1120 secs || 65882454 markings, 70467043 edges, 53382 markings/sec, 1120 secs
lola: STP completed || 187 tries, 186864219 fired transitions, 1125 secs || 66152895 markings, 70757164 edges, 54088 markings/sec, 1125 secs
lola: STP completed || 188 tries, 187669345 fired transitions, 1130 secs || 66429866 markings, 71053920 edges, 55394 markings/sec, 1130 secs
lola: STP completed || 189 tries, 188456183 fired transitions, 1135 secs || 66697281 markings, 71341914 edges, 53483 markings/sec, 1135 secs
lola: STP completed || 190 tries, 189235255 fired transitions, 1140 secs || 66966154 markings, 71630334 edges, 53775 markings/sec, 1140 secs
lola: STP completed || 191 tries, 190006697 fired transitions, 1145 secs || 67233533 markings, 71917506 edges, 53476 markings/sec, 1145 secs
lola: STP completed || 191 tries, 190788974 fired transitions, 1150 secs || 67500585 markings, 72203838 edges, 53410 markings/sec, 1150 secs
lola: STP completed || 192 tries, 191567466 fired transitions, 1155 secs || 67768585 markings, 72491057 edges, 53600 markings/sec, 1155 secs
lola: STP completed || 193 tries, 192351578 fired transitions, 1160 secs || 68034464 markings, 72776032 edges, 53176 markings/sec, 1160 secs
lola: STP completed || 194 tries, 193127822 fired transitions, 1165 secs || 68301282 markings, 73062142 edges, 53364 markings/sec, 1165 secs
lola: STP completed || 194 tries, 193904315 fired transitions, 1170 secs || 68571282 markings, 73351752 edges, 54000 markings/sec, 1170 secs
lola: STP completed || 195 tries, 194756820 fired transitions, 1175 secs || 68862283 markings, 73664959 edges, 58200 markings/sec, 1175 secs
lola: STP completed || 196 tries, 195541001 fired transitions, 1180 secs || 69129271 markings, 73951470 edges, 53398 markings/sec, 1180 secs
lola: STP completed || 197 tries, 196322473 fired transitions, 1185 secs || 69395130 markings, 74237106 edges, 53172 markings/sec, 1185 secs
lola: STP completed || 198 tries, 197107694 fired transitions, 1190 secs || 69664495 markings, 74527994 edges, 53873 markings/sec, 1190 secs
lola: STP completed || 198 tries, 197890151 fired transitions, 1195 secs || 69931486 markings, 74814999 edges, 53398 markings/sec, 1195 secs
lola: STP completed || 199 tries, 198667262 fired transitions, 1200 secs || 70200378 markings, 75102095 edges, 53778 markings/sec, 1200 secs
lola: STP completed || 200 tries, 199449591 fired transitions, 1205 secs || 70469770 markings, 75392347 edges, 53878 markings/sec, 1205 secs
lola: STP completed || 201 tries, 200232091 fired transitions, 1210 secs || 70737057 markings, 75679227 edges, 53457 markings/sec, 1210 secs
lola: STP completed || 202 tries, 201009796 fired transitions, 1215 secs || 71003946 markings, 75966848 edges, 53378 markings/sec, 1215 secs
lola: STP completed || 202 tries, 201805427 fired transitions, 1220 secs || 71277998 markings, 76260585 edges, 54810 markings/sec, 1220 secs
lola: STP completed || 203 tries, 202593634 fired transitions, 1225 secs || 71548877 markings, 76551061 edges, 54176 markings/sec, 1225 secs
lola: STP completed || 204 tries, 203371555 fired transitions, 1230 secs || 71818884 markings, 76841475 edges, 54001 markings/sec, 1230 secs
lola: STP completed || 205 tries, 204150215 fired transitions, 1235 secs || 72086704 markings, 77129068 edges, 53564 markings/sec, 1235 secs
lola: STP completed || 205 tries, 204930181 fired transitions, 1240 secs || 72354547 markings, 77416326 edges, 53569 markings/sec, 1240 secs
lola: STP completed || 206 tries, 205711561 fired transitions, 1245 secs || 72622602 markings, 77704142 edges, 53611 markings/sec, 1245 secs
lola: STP completed || 207 tries, 206490210 fired transitions, 1250 secs || 72890679 markings, 77990572 edges, 53615 markings/sec, 1250 secs
lola: STP completed || 208 tries, 207269867 fired transitions, 1255 secs || 73159493 markings, 78278127 edges, 53763 markings/sec, 1255 secs
lola: STP completed || 209 tries, 208050917 fired transitions, 1260 secs || 73428416 markings, 78566913 edges, 53785 markings/sec, 1260 secs
lola: STP completed || 209 tries, 208837208 fired transitions, 1265 secs || 73697102 markings, 78856976 edges, 53737 markings/sec, 1265 secs
lola: STP completed || 210 tries, 209620290 fired transitions, 1270 secs || 73963374 markings, 79143549 edges, 53254 markings/sec, 1270 secs
lola: STP completed || 211 tries, 210405289 fired transitions, 1275 secs || 74232365 markings, 79433254 edges, 53798 markings/sec, 1275 secs
lola: STP completed || 212 tries, 211265912 fired transitions, 1280 secs || 74535454 markings, 79758407 edges, 60618 markings/sec, 1280 secs
lola: STP completed || 213 tries, 212146065 fired transitions, 1285 secs || 74840634 markings, 80085189 edges, 61036 markings/sec, 1285 secs
lola: STP completed || 213 tries, 212929820 fired transitions, 1290 secs || 75106140 markings, 80369743 edges, 53101 markings/sec, 1290 secs
lola: STP completed || 214 tries, 213703396 fired transitions, 1295 secs || 75373747 markings, 80657405 edges, 53521 markings/sec, 1295 secs
lola: STP completed || 215 tries, 214484212 fired transitions, 1300 secs || 75639883 markings, 80942397 edges, 53227 markings/sec, 1300 secs
lola: STP completed || 216 tries, 215265892 fired transitions, 1305 secs || 75908921 markings, 81231739 edges, 53808 markings/sec, 1305 secs
lola: STP completed || 217 tries, 216046510 fired transitions, 1310 secs || 76176796 markings, 81519236 edges, 53575 markings/sec, 1310 secs
lola: STP completed || 217 tries, 216830263 fired transitions, 1315 secs || 76444990 markings, 81807931 edges, 53639 markings/sec, 1315 secs
lola: STP completed || 218 tries, 217604920 fired transitions, 1320 secs || 76715246 markings, 82099899 edges, 54051 markings/sec, 1320 secs
lola: STP completed || 219 tries, 218390734 fired transitions, 1325 secs || 76982581 markings, 82387295 edges, 53467 markings/sec, 1325 secs
lola: STP completed || 220 tries, 219175270 fired transitions, 1330 secs || 77247947 markings, 82672413 edges, 53073 markings/sec, 1330 secs
lola: STP completed || 220 tries, 219952296 fired transitions, 1335 secs || 77516589 markings, 82961057 edges, 53728 markings/sec, 1335 secs
lola: STP completed || 221 tries, 220751994 fired transitions, 1340 secs || 77795660 markings, 83259736 edges, 55814 markings/sec, 1340 secs
lola: STP completed || 222 tries, 221586079 fired transitions, 1345 secs || 78081662 markings, 83565371 edges, 57200 markings/sec, 1345 secs
lola: STP completed || 223 tries, 222400760 fired transitions, 1350 secs || 78359457 markings, 83863551 edges, 55559 markings/sec, 1350 secs
lola: STP completed || 224 tries, 223231547 fired transitions, 1355 secs || 78642234 markings, 84168190 edges, 56555 markings/sec, 1355 secs
lola: STP completed || 225 tries, 224010486 fired transitions, 1360 secs || 78909715 markings, 84455280 edges, 53496 markings/sec, 1360 secs
lola: STP completed || 225 tries, 224885974 fired transitions, 1365 secs || 79205857 markings, 84773993 edges, 59228 markings/sec, 1365 secs
lola: STP completed || 226 tries, 225729623 fired transitions, 1370 secs || 79493570 markings, 85084067 edges, 57543 markings/sec, 1370 secs
lola: STP completed || 227 tries, 226544995 fired transitions, 1375 secs || 79771075 markings, 85384132 edges, 55501 markings/sec, 1375 secs
lola: STP completed || 228 tries, 227329658 fired transitions, 1380 secs || 80038991 markings, 85671678 edges, 53583 markings/sec, 1380 secs
lola: STP completed || 229 tries, 228112289 fired transitions, 1385 secs || 80306815 markings, 85958887 edges, 53565 markings/sec, 1385 secs
lola: STP completed || 229 tries, 228923208 fired transitions, 1390 secs || 80585721 markings, 86260255 edges, 55781 markings/sec, 1390 secs
lola: STP completed || 230 tries, 229752092 fired transitions, 1395 secs || 80868933 markings, 86565470 edges, 56642 markings/sec, 1395 secs
lola: STP completed || 231 tries, 230628113 fired transitions, 1400 secs || 81167483 markings, 86886555 edges, 59710 markings/sec, 1400 secs
lola: STP completed || 232 tries, 231427308 fired transitions, 1405 secs || 81437549 markings, 87177152 edges, 54013 markings/sec, 1405 secs
lola: STP completed || 233 tries, 232281024 fired transitions, 1410 secs || 81728638 markings, 87489684 edges, 58218 markings/sec, 1410 secs
lola: STP completed || 234 tries, 233146752 fired transitions, 1415 secs || 82026527 markings, 87808500 edges, 59578 markings/sec, 1415 secs
lola: STP completed || 234 tries, 233993428 fired transitions, 1420 secs || 82317539 markings, 88121364 edges, 58202 markings/sec, 1420 secs
lola: STP completed || 235 tries, 234840492 fired transitions, 1425 secs || 82608094 markings, 88433573 edges, 58111 markings/sec, 1425 secs
lola: STP completed || 236 tries, 235759293 fired transitions, 1430 secs || 82920458 markings, 88768680 edges, 62473 markings/sec, 1430 secs
lola: STP completed || 237 tries, 236692390 fired transitions, 1435 secs || 83239585 markings, 89111059 edges, 63825 markings/sec, 1435 secs
lola: STP completed || 238 tries, 237540734 fired transitions, 1440 secs || 83525921 markings, 89419444 edges, 57267 markings/sec, 1440 secs
lola: STP completed || 239 tries, 238425491 fired transitions, 1445 secs || 83826224 markings, 89743378 edges, 60061 markings/sec, 1445 secs
lola: STP completed || 240 tries, 239234934 fired transitions, 1450 secs || 84098240 markings, 90035587 edges, 54403 markings/sec, 1450 secs
lola: STP completed || 241 tries, 240033975 fired transitions, 1455 secs || 84367227 markings, 90326931 edges, 53797 markings/sec, 1455 secs
lola: STP completed || 241 tries, 240861077 fired transitions, 1460 secs || 84648125 markings, 90629499 edges, 56180 markings/sec, 1460 secs
lola: STP completed || 242 tries, 241705109 fired transitions, 1465 secs || 84934202 markings, 90935613 edges, 57215 markings/sec, 1465 secs
lola: STP completed || 243 tries, 242531821 fired transitions, 1470 secs || 85212942 markings, 91236187 edges, 55748 markings/sec, 1470 secs
lola: STP completed || 244 tries, 243344670 fired transitions, 1475 secs || 85486899 markings, 91530161 edges, 54791 markings/sec, 1475 secs
lola: STP completed || 245 tries, 244160884 fired transitions, 1480 secs || 85762267 markings, 91824874 edges, 55074 markings/sec, 1480 secs
lola: STP completed || 245 tries, 244989776 fired transitions, 1485 secs || 86042232 markings, 92128053 edges, 55993 markings/sec, 1485 secs
lola: STP completed || 246 tries, 245810709 fired transitions, 1490 secs || 86321040 markings, 92427750 edges, 55762 markings/sec, 1490 secs
lola: STP completed || 247 tries, 246680665 fired transitions, 1495 secs || 86614907 markings, 92743355 edges, 58773 markings/sec, 1495 secs
lola: STP completed || 248 tries, 247539875 fired transitions, 1500 secs || 86904270 markings, 93054024 edges, 57873 markings/sec, 1500 secs
lola: STP completed || 249 tries, 248378825 fired transitions, 1505 secs || 87188671 markings, 93360308 edges, 56880 markings/sec, 1505 secs
lola: STP completed || 250 tries, 249223182 fired transitions, 1510 secs || 87476215 markings, 93668214 edges, 57509 markings/sec, 1510 secs
lola: STP completed || 251 tries, 250090162 fired transitions, 1515 secs || 87768196 markings, 93982307 edges, 58396 markings/sec, 1515 secs
lola: STP completed || 251 tries, 250922612 fired transitions, 1520 secs || 88048683 markings, 94285042 edges, 56097 markings/sec, 1520 secs
lola: STP completed || 252 tries, 251726558 fired transitions, 1525 secs || 88321151 markings, 94578215 edges, 54494 markings/sec, 1525 secs
lola: STP completed || 253 tries, 252545818 fired transitions, 1530 secs || 88598851 markings, 94876445 edges, 55540 markings/sec, 1530 secs
lola: STP completed || 254 tries, 253330060 fired transitions, 1535 secs || 88866306 markings, 95164935 edges, 53491 markings/sec, 1535 secs
lola: STP completed || 255 tries, 254109879 fired transitions, 1540 secs || 89131979 markings, 95451167 edges, 53135 markings/sec, 1540 secs
lola: STP completed || 255 tries, 254887855 fired transitions, 1545 secs || 89400313 markings, 95739395 edges, 53667 markings/sec, 1545 secs
lola: STP completed || 256 tries, 255666681 fired transitions, 1550 secs || 89666996 markings, 96026034 edges, 53337 markings/sec, 1550 secs
lola: STP completed || 257 tries, 256451181 fired transitions, 1555 secs || 89933120 markings, 96311971 edges, 53225 markings/sec, 1555 secs
lola: STP completed || 258 tries, 257234769 fired transitions, 1560 secs || 90200035 markings, 96598869 edges, 53383 markings/sec, 1560 secs
lola: STP completed || 259 tries, 258014996 fired transitions, 1565 secs || 90467710 markings, 96885804 edges, 53535 markings/sec, 1565 secs
lola: STP completed || 259 tries, 258795746 fired transitions, 1570 secs || 90734995 markings, 97172917 edges, 53457 markings/sec, 1570 secs
lola: STP completed || 260 tries, 259579288 fired transitions, 1575 secs || 91003578 markings, 97462914 edges, 53717 markings/sec, 1575 secs
lola: STP completed || 261 tries, 260366205 fired transitions, 1580 secs || 91270667 markings, 97751076 edges, 53418 markings/sec, 1580 secs
lola: STP completed || 262 tries, 261147024 fired transitions, 1585 secs || 91535734 markings, 98034560 edges, 53013 markings/sec, 1585 secs
lola: STP completed || 262 tries, 261929003 fired transitions, 1590 secs || 91803434 markings, 98320923 edges, 53540 markings/sec, 1590 secs
lola: STP completed || 263 tries, 262712943 fired transitions, 1595 secs || 92070667 markings, 98608532 edges, 53447 markings/sec, 1595 secs
lola: STP completed || 264 tries, 263495650 fired transitions, 1600 secs || 92334711 markings, 98892179 edges, 52809 markings/sec, 1600 secs
lola: STP completed || 265 tries, 264275152 fired transitions, 1605 secs || 92603735 markings, 99180512 edges, 53805 markings/sec, 1605 secs
lola: STP completed || 266 tries, 265048510 fired transitions, 1610 secs || 92872311 markings, 99468512 edges, 53715 markings/sec, 1610 secs
lola: STP completed || 266 tries, 265826459 fired transitions, 1615 secs || 93140705 markings, 99757192 edges, 53679 markings/sec, 1615 secs
lola: STP completed || 267 tries, 266607606 fired transitions, 1620 secs || 93408392 markings, 100045324 edges, 53537 markings/sec, 1620 secs
lola: STP completed || 268 tries, 267392614 fired transitions, 1625 secs || 93676174 markings, 100333123 edges, 53556 markings/sec, 1625 secs
lola: STP completed || 269 tries, 268179298 fired transitions, 1630 secs || 93942277 markings, 100620007 edges, 53221 markings/sec, 1630 secs
lola: STP completed || 269 tries, 268961902 fired transitions, 1635 secs || 94208288 markings, 100905520 edges, 53202 markings/sec, 1635 secs
lola: STP completed || 270 tries, 269743429 fired transitions, 1640 secs || 94476132 markings, 101192750 edges, 53569 markings/sec, 1640 secs
lola: STP completed || 271 tries, 270527456 fired transitions, 1645 secs || 94742703 markings, 101478351 edges, 53314 markings/sec, 1645 secs
lola: STP completed || 272 tries, 271310349 fired transitions, 1650 secs || 95006980 markings, 101762131 edges, 52855 markings/sec, 1650 secs
lola: STP completed || 273 tries, 272091885 fired transitions, 1655 secs || 95273823 markings, 102048726 edges, 53369 markings/sec, 1655 secs
lola: STP completed || 273 tries, 272873181 fired transitions, 1660 secs || 95540954 markings, 102335689 edges, 53426 markings/sec, 1660 secs
lola: STP completed || 274 tries, 273659418 fired transitions, 1665 secs || 95806654 markings, 102621114 edges, 53140 markings/sec, 1665 secs
lola: STP completed || 275 tries, 274432935 fired transitions, 1670 secs || 96075951 markings, 102908956 edges, 53859 markings/sec, 1670 secs
lola: STP completed || 276 tries, 275219513 fired transitions, 1675 secs || 96342567 markings, 103196417 edges, 53323 markings/sec, 1675 secs
lola: STP completed || 277 tries, 276006502 fired transitions, 1680 secs || 96609209 markings, 103483643 edges, 53328 markings/sec, 1680 secs
lola: STP completed || 277 tries, 276794709 fired transitions, 1685 secs || 96876137 markings, 103771824 edges, 53386 markings/sec, 1685 secs
lola: STP completed || 278 tries, 277647483 fired transitions, 1690 secs || 97165696 markings, 104084483 edges, 57912 markings/sec, 1690 secs
lola: STP completed || 279 tries, 278433345 fired transitions, 1695 secs || 97432982 markings, 104372718 edges, 53457 markings/sec, 1695 secs
lola: STP completed || 280 tries, 279217877 fired transitions, 1700 secs || 97698755 markings, 104659556 edges, 53155 markings/sec, 1700 secs
lola: STP completed || 281 tries, 280001770 fired transitions, 1705 secs || 97966808 markings, 104948694 edges, 53611 markings/sec, 1705 secs
lola: STP completed || 281 tries, 280788858 fired transitions, 1710 secs || 98232976 markings, 105235417 edges, 53234 markings/sec, 1710 secs
lola: STP completed || 282 tries, 281567499 fired transitions, 1715 secs || 98500963 markings, 105523465 edges, 53597 markings/sec, 1715 secs
lola: STP completed || 283 tries, 282352267 fired transitions, 1720 secs || 98767270 markings, 105809549 edges, 53261 markings/sec, 1720 secs
lola: STP completed || 284 tries, 283132834 fired transitions, 1725 secs || 99033648 markings, 106095567 edges, 53276 markings/sec, 1725 secs
lola: STP completed || 284 tries, 283915179 fired transitions, 1730 secs || 99300340 markings, 106382027 edges, 53338 markings/sec, 1730 secs
lola: STP completed || 285 tries, 284700583 fired transitions, 1735 secs || 99566771 markings, 106668545 edges, 53286 markings/sec, 1735 secs
lola: STP completed || 286 tries, 285479869 fired transitions, 1740 secs || 99833433 markings, 106954112 edges, 53332 markings/sec, 1740 secs
lola: STP completed || 287 tries, 286257172 fired transitions, 1745 secs || 100103543 markings, 107243279 edges, 54022 markings/sec, 1745 secs
lola: STP completed || 288 tries, 287042194 fired transitions, 1750 secs || 100370180 markings, 107530111 edges, 53327 markings/sec, 1750 secs
lola: STP completed || 288 tries, 287830431 fired transitions, 1755 secs || 100636847 markings, 107818116 edges, 53333 markings/sec, 1755 secs
lola: STP completed || 289 tries, 288612731 fired transitions, 1760 secs || 100903634 markings, 108105463 edges, 53357 markings/sec, 1760 secs
lola: STP completed || 290 tries, 289401471 fired transitions, 1765 secs || 101168355 markings, 108390487 edges, 52944 markings/sec, 1765 secs
lola: STP completed || 291 tries, 290182764 fired transitions, 1770 secs || 101437962 markings, 108679107 edges, 53921 markings/sec, 1770 secs
lola: STP completed || 291 tries, 290968837 fired transitions, 1775 secs || 101702158 markings, 108963607 edges, 52839 markings/sec, 1775 secs
lola: STP completed || 292 tries, 291759739 fired transitions, 1780 secs || 101969708 markings, 109253653 edges, 53510 markings/sec, 1780 secs
lola: STP completed || 293 tries, 292540599 fired transitions, 1785 secs || 102237108 markings, 109540790 edges, 53480 markings/sec, 1785 secs
lola: STP completed || 294 tries, 293316919 fired transitions, 1790 secs || 102504894 markings, 109829372 edges, 53557 markings/sec, 1790 secs
lola: STP completed || 295 tries, 294096115 fired transitions, 1795 secs || 102774150 markings, 110118549 edges, 53851 markings/sec, 1795 secs
lola: STP completed || 295 tries, 294873952 fired transitions, 1800 secs || 103042589 markings, 110407684 edges, 53688 markings/sec, 1800 secs
lola: STP completed || 296 tries, 295662111 fired transitions, 1805 secs || 103308815 markings, 110695472 edges, 53245 markings/sec, 1805 secs
lola: STP completed || 297 tries, 296442132 fired transitions, 1810 secs || 103575361 markings, 110981399 edges, 53309 markings/sec, 1810 secs
lola: STP completed || 298 tries, 297297818 fired transitions, 1815 secs || 103862787 markings, 111290947 edges, 57485 markings/sec, 1815 secs
lola: STP completed || 299 tries, 298080846 fired transitions, 1820 secs || 104129932 markings, 111577736 edges, 53429 markings/sec, 1820 secs
lola: STP completed || 299 tries, 298865653 fired transitions, 1825 secs || 104396226 markings, 111863889 edges, 53259 markings/sec, 1825 secs
lola: STP completed || 300 tries, 299649862 fired transitions, 1830 secs || 104662686 markings, 112151697 edges, 53292 markings/sec, 1830 secs
lola: STP completed || 301 tries, 300436309 fired transitions, 1835 secs || 104930633 markings, 112440688 edges, 53589 markings/sec, 1835 secs
lola: STP completed || 302 tries, 301220472 fired transitions, 1840 secs || 105195448 markings, 112725633 edges, 52963 markings/sec, 1840 secs
lola: STP completed || 303 tries, 302005368 fired transitions, 1845 secs || 105461166 markings, 113011924 edges, 53144 markings/sec, 1845 secs
lola: STP completed || 303 tries, 302788149 fired transitions, 1850 secs || 105728093 markings, 113297917 edges, 53385 markings/sec, 1850 secs
lola: STP completed || 304 tries, 303573810 fired transitions, 1855 secs || 105993032 markings, 113582121 edges, 52988 markings/sec, 1855 secs
lola: STP completed || 305 tries, 304357167 fired transitions, 1860 secs || 106259096 markings, 113868438 edges, 53213 markings/sec, 1860 secs
lola: STP completed || 306 tries, 305136771 fired transitions, 1865 secs || 106528307 markings, 114158217 edges, 53842 markings/sec, 1865 secs
lola: STP completed || 306 tries, 305926244 fired transitions, 1870 secs || 106795600 markings, 114445502 edges, 53459 markings/sec, 1870 secs
lola: STP completed || 307 tries, 306752034 fired transitions, 1875 secs || 107073687 markings, 114743943 edges, 55617 markings/sec, 1875 secs
lola: STP completed || 308 tries, 307607348 fired transitions, 1880 secs || 107364599 markings, 115055513 edges, 58182 markings/sec, 1880 secs
lola: STP completed || 309 tries, 308398749 fired transitions, 1885 secs || 107633455 markings, 115344116 edges, 53771 markings/sec, 1885 secs
lola: STP completed || 310 tries, 309252705 fired transitions, 1890 secs || 107921758 markings, 115653610 edges, 57661 markings/sec, 1890 secs
lola: STP completed || 311 tries, 310048952 fired transitions, 1895 secs || 108188321 markings, 115940777 edges, 53313 markings/sec, 1895 secs
lola: STP completed || 311 tries, 310886110 fired transitions, 1900 secs || 108473427 markings, 116248359 edges, 57021 markings/sec, 1900 secs
lola: STP completed || 312 tries, 311739397 fired transitions, 1905 secs || 108761959 markings, 116558380 edges, 57706 markings/sec, 1905 secs
lola: STP completed || 313 tries, 312594108 fired transitions, 1910 secs || 109052280 markings, 116870822 edges, 58064 markings/sec, 1910 secs
lola: STP completed || 314 tries, 313495177 fired transitions, 1915 secs || 109358129 markings, 117199321 edges, 61170 markings/sec, 1915 secs
lola: STP completed || 315 tries, 314301376 fired transitions, 1920 secs || 109634524 markings, 117496609 edges, 55279 markings/sec, 1920 secs
lola: STP completed || 316 tries, 315092349 fired transitions, 1925 secs || 109898483 markings, 117781022 edges, 52792 markings/sec, 1925 secs
lola: STP completed || 316 tries, 315877129 fired transitions, 1930 secs || 110163250 markings, 118065172 edges, 52953 markings/sec, 1930 secs
lola: STP completed || 317 tries, 316657903 fired transitions, 1935 secs || 110429885 markings, 118351421 edges, 53327 markings/sec, 1935 secs
lola: STP completed || 318 tries, 317444581 fired transitions, 1940 secs || 110695721 markings, 118637042 edges, 53167 markings/sec, 1940 secs
lola: STP completed || 319 tries, 318233664 fired transitions, 1945 secs || 110961371 markings, 118923551 edges, 53130 markings/sec, 1945 secs
lola: STP completed || 320 tries, 319045955 fired transitions, 1950 secs || 111195268 markings, 119175046 edges, 46779 markings/sec, 1950 secs
lola: STP completed || 320 tries, 319647532 fired transitions, 1955 secs || 111335253 markings, 119326542 edges, 27997 markings/sec, 1955 secs
lola: STP completed || 321 tries, 320050774 fired transitions, 1960 secs || 111353951 markings, 119346435 edges, 3740 markings/sec, 1960 secs
BK_STOP 1526600629032
--------------------
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-COL-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-COL-10.tgz
mv DatabaseWithMutex-COL-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-COL-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-152649936700020"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;