About the Execution of LoLA for TCPcondis-PT-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 12753.220 | 1890897.00 | 3864919.00 | 675.90 | F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2019-input.r170-oct2-155297750300147.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is TCPcondis-PT-10, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-oct2-155297750300147
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 180K
-rw-r--r-- 1 mcc users 3.8K Feb 12 19:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 12 19:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 9 02:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 9 02:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 102 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 340 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 5 01:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 5 01:43 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.1K Feb 4 22:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 4 21:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 4 21:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 1 21:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 1 21:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rwxr-xr-x 1 mcc users 24K Mar 10 17:31 model.pnml
--------------------
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 TCPcondis-PT-10-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1553109253574
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ TCPcondis-PT-10 @ 3570 seconds
FORMULA TCPcondis-PT-10-GlobalProperties-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN UNFOLDING_TO_PT
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 1679
rslt: Output for GlobalProperties @ TCPcondis-PT-10
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 62/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 960
lola: finding significant places
lola: 30 places, 32 transitions, 21 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
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 reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 1 generators (1 in search tree, 0 by composition)
lola: representing 2 symmetries
lola: 0 dead branches visited in search tree
lola: 8 tries, 7372443 fired transitions, 0 secs || 1569087 markings, 2218320 edges, 313817 markings/sec, 0 secs
lola: 16 tries, 15720370 fired transitions, 5 secs || 2818125 markings, 4068432 edges, 249808 markings/sec, 5 secs
lola: 25 tries, 24272742 fired transitions, 10 secs || 4043793 markings, 5915859 edges, 245134 markings/sec, 10 secs
lola: 34 tries, 33137105 fired transitions, 15 secs || 5225460 markings, 7720332 edges, 236333 markings/sec, 15 secs
lola: 43 tries, 42570793 fired transitions, 20 secs || 6378715 markings, 9501729 edges, 230651 markings/sec, 20 secs
lola: 52 tries, 51856038 fired transitions, 25 secs || 7505299 markings, 11260152 edges, 225317 markings/sec, 25 secs
lola: 62 tries, 61328111 fired transitions, 30 secs || 8616480 markings, 13007266 edges, 222236 markings/sec, 30 secs
lola: 71 tries, 70968519 fired transitions, 35 secs || 9708219 markings, 14737395 edges, 218348 markings/sec, 35 secs
lola: 81 tries, 80736057 fired transitions, 40 secs || 10780315 markings, 16450838 edges, 214419 markings/sec, 40 secs
lola: 91 tries, 90584764 fired transitions, 45 secs || 11834314 markings, 18144610 edges, 210800 markings/sec, 45 secs
lola: 102 tries, 101264675 fired transitions, 50 secs || 12914175 markings, 19893775 edges, 215972 markings/sec, 50 secs
lola: 113 tries, 112665555 fired transitions, 55 secs || 13998893 markings, 21658680 edges, 216944 markings/sec, 55 secs
lola: 124 tries, 123784758 fired transitions, 60 secs || 15160703 markings, 23560683 edges, 232362 markings/sec, 60 secs
lola: 135 tries, 134892665 fired transitions, 65 secs || 16314755 markings, 25458804 edges, 230810 markings/sec, 65 secs
lola: 146 tries, 145370919 fired transitions, 70 secs || 17376226 markings, 27215206 edges, 212294 markings/sec, 70 secs
lola: 156 tries, 155350746 fired transitions, 75 secs || 18446809 markings, 28996498 edges, 214117 markings/sec, 75 secs
lola: 164 tries, 163922679 fired transitions, 80 secs || 19147417 markings, 30163638 edges, 140122 markings/sec, 80 secs
lola: 173 tries, 172382771 fired transitions, 85 secs || 19816363 markings, 31282049 edges, 133789 markings/sec, 85 secs
lola: 181 tries, 180844829 fired transitions, 90 secs || 20507536 markings, 32443516 edges, 138235 markings/sec, 90 secs
lola: 190 tries, 189314776 fired transitions, 95 secs || 21220704 markings, 33646160 edges, 142634 markings/sec, 95 secs
lola: 198 tries, 197797244 fired transitions, 100 secs || 21932211 markings, 34844991 edges, 142301 markings/sec, 100 secs
lola: 207 tries, 206233854 fired transitions, 105 secs || 22644064 markings, 36048673 edges, 142371 markings/sec, 105 secs
lola: 215 tries, 214729333 fired transitions, 110 secs || 23425114 markings, 37373046 edges, 156210 markings/sec, 110 secs
lola: 225 tries, 224300022 fired transitions, 115 secs || 24494993 markings, 39191355 edges, 213976 markings/sec, 115 secs
lola: 235 tries, 234727960 fired transitions, 120 secs || 25731479 markings, 41306461 edges, 247297 markings/sec, 120 secs
lola: 246 tries, 245148460 fired transitions, 125 secs || 26974910 markings, 43436492 edges, 248686 markings/sec, 125 secs
lola: 256 tries, 255702618 fired transitions, 130 secs || 28203736 markings, 45552629 edges, 245765 markings/sec, 130 secs
lola: 267 tries, 266462139 fired transitions, 135 secs || 29384868 markings, 47600380 edges, 236226 markings/sec, 135 secs
lola: 277 tries, 276595388 fired transitions, 140 secs || 30628789 markings, 49754280 edges, 248784 markings/sec, 140 secs
lola: 289 tries, 288044474 fired transitions, 145 secs || 31691442 markings, 51612825 edges, 212531 markings/sec, 145 secs
lola: 299 tries, 298842472 fired transitions, 150 secs || 32854765 markings, 53645793 edges, 232665 markings/sec, 150 secs
lola: 310 tries, 309422965 fired transitions, 155 secs || 34092365 markings, 55816295 edges, 247520 markings/sec, 155 secs
lola: 321 tries, 320134154 fired transitions, 160 secs || 35327383 markings, 57990977 edges, 247004 markings/sec, 160 secs
lola: 331 tries, 330925793 fired transitions, 165 secs || 36550156 markings, 60153691 edges, 244555 markings/sec, 165 secs
lola: 342 tries, 341816349 fired transitions, 170 secs || 37777549 markings, 62322788 edges, 245479 markings/sec, 170 secs
lola: 353 tries, 352761598 fired transitions, 175 secs || 38964196 markings, 64430542 edges, 237329 markings/sec, 175 secs
lola: 364 tries, 363816093 fired transitions, 180 secs || 40134673 markings, 66511939 edges, 234095 markings/sec, 180 secs
lola: 375 tries, 374810655 fired transitions, 185 secs || 41313989 markings, 68618311 edges, 235863 markings/sec, 185 secs
lola: 386 tries, 385882297 fired transitions, 190 secs || 42491530 markings, 70726905 edges, 235508 markings/sec, 190 secs
lola: 398 tries, 397050614 fired transitions, 195 secs || 43653834 markings, 72813685 edges, 232461 markings/sec, 195 secs
lola: 409 tries, 408229150 fired transitions, 200 secs || 44808653 markings, 74898520 edges, 230964 markings/sec, 200 secs
lola: 420 tries, 419493959 fired transitions, 205 secs || 45920140 markings, 76908589 edges, 222297 markings/sec, 205 secs
lola: 431 tries, 430876346 fired transitions, 210 secs || 47028170 markings, 78917884 edges, 221606 markings/sec, 210 secs
lola: 443 tries, 442370409 fired transitions, 215 secs || 48120539 markings, 80906106 edges, 218474 markings/sec, 215 secs
lola: 454 tries, 453778749 fired transitions, 220 secs || 49219609 markings, 82901580 edges, 219814 markings/sec, 220 secs
lola: 466 tries, 465316345 fired transitions, 225 secs || 50278317 markings, 84837229 edges, 211742 markings/sec, 225 secs
lola: 478 tries, 477023895 fired transitions, 230 secs || 51327588 markings, 86758549 edges, 209854 markings/sec, 230 secs
lola: 488 tries, 487957184 fired transitions, 235 secs || 52267130 markings, 88485299 edges, 187908 markings/sec, 235 secs
lola: 500 tries, 499713299 fired transitions, 240 secs || 53359173 markings, 90489965 edges, 218409 markings/sec, 240 secs
lola: 512 tries, 511227923 fired transitions, 245 secs || 54395912 markings, 92403652 edges, 207348 markings/sec, 245 secs
lola: 523 tries, 522676910 fired transitions, 250 secs || 55430863 markings, 94317098 edges, 206990 markings/sec, 250 secs
lola: 535 tries, 534280159 fired transitions, 255 secs || 56446421 markings, 96199611 edges, 203112 markings/sec, 255 secs
lola: 546 tries, 545831752 fired transitions, 260 secs || 57465290 markings, 98089226 edges, 203774 markings/sec, 260 secs
lola: 558 tries, 557493618 fired transitions, 265 secs || 58466639 markings, 99951142 edges, 200270 markings/sec, 265 secs
lola: 570 tries, 569106817 fired transitions, 270 secs || 59475080 markings, 101829175 edges, 201688 markings/sec, 270 secs
lola: 581 tries, 580588342 fired transitions, 275 secs || 60499026 markings, 103740850 edges, 204789 markings/sec, 275 secs
lola: 593 tries, 592202132 fired transitions, 280 secs || 61504065 markings, 105623522 edges, 201008 markings/sec, 280 secs
lola: 604 tries, 603702199 fired transitions, 285 secs || 62503635 markings, 107496824 edges, 199914 markings/sec, 285 secs
lola: 615 tries, 614210783 fired transitions, 290 secs || 63498991 markings, 109373734 edges, 199071 markings/sec, 290 secs
lola: 625 tries, 624699433 fired transitions, 295 secs || 64506856 markings, 111276615 edges, 201573 markings/sec, 295 secs
lola: 636 tries, 635242808 fired transitions, 300 secs || 65514421 markings, 113176182 edges, 201513 markings/sec, 300 secs
lola: 647 tries, 646366454 fired transitions, 305 secs || 66519562 markings, 115077778 edges, 201028 markings/sec, 305 secs
lola: 659 tries, 658027069 fired transitions, 310 secs || 67538998 markings, 117014238 edges, 203887 markings/sec, 310 secs
lola: 670 tries, 669783984 fired transitions, 315 secs || 68552760 markings, 118945694 edges, 202752 markings/sec, 315 secs
lola: 682 tries, 681602769 fired transitions, 320 secs || 69548507 markings, 120842724 edges, 199149 markings/sec, 320 secs
lola: 693 tries, 692533832 fired transitions, 325 secs || 70441105 markings, 122556328 edges, 178520 markings/sec, 325 secs
lola: 703 tries, 702951893 fired transitions, 330 secs || 71392146 markings, 124374293 edges, 190208 markings/sec, 330 secs
lola: 714 tries, 713581299 fired transitions, 335 secs || 72336890 markings, 126189779 edges, 188949 markings/sec, 335 secs
lola: 726 tries, 725433464 fired transitions, 340 secs || 73265249 markings, 127978545 edges, 185672 markings/sec, 340 secs
lola: 738 tries, 737509504 fired transitions, 345 secs || 74165364 markings, 129716239 edges, 180023 markings/sec, 345 secs
lola: 751 tries, 750037558 fired transitions, 350 secs || 74916810 markings, 131171450 edges, 150289 markings/sec, 350 secs
lola: 762 tries, 761205155 fired transitions, 355 secs || 75811476 markings, 132906616 edges, 178933 markings/sec, 355 secs
lola: 773 tries, 772179778 fired transitions, 360 secs || 76749723 markings, 134727524 edges, 187649 markings/sec, 360 secs
lola: 784 tries, 783055929 fired transitions, 365 secs || 77696772 markings, 136570910 edges, 189410 markings/sec, 365 secs
lola: 795 tries, 794205523 fired transitions, 370 secs || 78652825 markings, 138434843 edges, 191211 markings/sec, 370 secs
lola: 807 tries, 806260734 fired transitions, 375 secs || 79596797 markings, 140278428 edges, 188794 markings/sec, 375 secs
lola: 819 tries, 818140047 fired transitions, 380 secs || 80558796 markings, 142165294 edges, 192400 markings/sec, 380 secs
lola: 831 tries, 830071127 fired transitions, 385 secs || 81503376 markings, 144028255 edges, 188916 markings/sec, 385 secs
lola: 843 tries, 842095025 fired transitions, 390 secs || 82422302 markings, 145839492 edges, 183785 markings/sec, 390 secs
lola: 855 tries, 854075846 fired transitions, 395 secs || 83360929 markings, 147697115 edges, 187725 markings/sec, 395 secs
lola: 867 tries, 866002354 fired transitions, 400 secs || 84298553 markings, 149550128 edges, 187525 markings/sec, 400 secs
lola: 877 tries, 876698204 fired transitions, 405 secs || 85076564 markings, 151089660 edges, 155602 markings/sec, 405 secs
lola: 888 tries, 887903759 fired transitions, 410 secs || 85989093 markings, 152905114 edges, 182506 markings/sec, 410 secs
lola: 900 tries, 899540285 fired transitions, 415 secs || 86928004 markings, 154768955 edges, 187782 markings/sec, 415 secs
lola: 909 tries, 908479554 fired transitions, 420 secs || 87587262 markings, 156085752 edges, 131852 markings/sec, 420 secs
lola: 920 tries, 919329161 fired transitions, 425 secs || 88373888 markings, 157664021 edges, 157325 markings/sec, 425 secs
lola: 931 tries, 930642567 fired transitions, 430 secs || 89236405 markings, 159386510 edges, 172503 markings/sec, 430 secs
lola: 943 tries, 942431327 fired transitions, 435 secs || 90138181 markings, 161195209 edges, 180355 markings/sec, 435 secs
lola: 955 tries, 954039329 fired transitions, 440 secs || 91090172 markings, 163115632 edges, 190398 markings/sec, 440 secs
lola: 966 tries, 965554461 fired transitions, 445 secs || 92048464 markings, 165047451 edges, 191658 markings/sec, 445 secs
lola: 978 tries, 977540606 fired transitions, 450 secs || 92992383 markings, 166959256 edges, 188784 markings/sec, 450 secs
lola: 990 tries, 989502982 fired transitions, 455 secs || 93933169 markings, 168874487 edges, 188157 markings/sec, 455 secs
lola: 1002 tries, 1001635915 fired transitions, 460 secs || 94850178 markings, 170752418 edges, 183402 markings/sec, 460 secs
lola: 1014 tries, 1013471443 fired transitions, 465 secs || 95743303 markings, 172573687 edges, 178625 markings/sec, 465 secs
lola: 1022 tries, 1021333131 fired transitions, 470 secs || 96268263 markings, 173643909 edges, 104992 markings/sec, 470 secs
lola: 1030 tries, 1029309994 fired transitions, 475 secs || 96795976 markings, 174723971 edges, 105543 markings/sec, 475 secs
lola: 1038 tries, 1037347166 fired transitions, 480 secs || 97331583 markings, 175817872 edges, 107121 markings/sec, 480 secs
lola: 1046 tries, 1045370977 fired transitions, 485 secs || 97863760 markings, 176913298 edges, 106435 markings/sec, 485 secs
lola: 1054 tries, 1053353635 fired transitions, 490 secs || 98395138 markings, 178004679 edges, 106276 markings/sec, 490 secs
lola: 1062 tries, 1061487934 fired transitions, 495 secs || 98932700 markings, 179112330 edges, 107512 markings/sec, 495 secs
lola: 1072 tries, 1071057142 fired transitions, 500 secs || 99593724 markings, 180479394 edges, 132205 markings/sec, 500 secs
lola: 1083 tries, 1082236344 fired transitions, 505 secs || 100473078 markings, 182302089 edges, 175871 markings/sec, 505 secs
lola: 1091 tries, 1090289064 fired transitions, 510 secs || 101057986 markings, 183511648 edges, 116982 markings/sec, 510 secs
lola: 1102 tries, 1101054006 fired transitions, 515 secs || 101899026 markings, 185256351 edges, 168208 markings/sec, 515 secs
lola: 1113 tries, 1112822272 fired transitions, 520 secs || 102877233 markings, 187294570 edges, 195641 markings/sec, 520 secs
lola: 1125 tries, 1124760768 fired transitions, 525 secs || 103769443 markings, 189162493 edges, 178442 markings/sec, 525 secs
lola: 1137 tries, 1136997036 fired transitions, 530 secs || 104565102 markings, 190837292 edges, 159132 markings/sec, 530 secs
lola: 1148 tries, 1147901062 fired transitions, 535 secs || 105490958 markings, 192785588 edges, 185171 markings/sec, 535 secs
lola: 1160 tries, 1159710094 fired transitions, 540 secs || 106442467 markings, 194800159 edges, 190302 markings/sec, 540 secs
lola: 1172 tries, 1171697173 fired transitions, 545 secs || 107372591 markings, 196774589 edges, 186025 markings/sec, 545 secs
lola: 1184 tries, 1183499783 fired transitions, 550 secs || 108338146 markings, 198824005 edges, 193111 markings/sec, 550 secs
lola: 1196 tries, 1195356789 fired transitions, 555 secs || 109299117 markings, 200869981 edges, 192194 markings/sec, 555 secs
lola: 1208 tries, 1207057369 fired transitions, 560 secs || 110265625 markings, 202940067 edges, 193302 markings/sec, 560 secs
lola: 1219 tries, 1218886538 fired transitions, 565 secs || 111218127 markings, 204988742 edges, 190500 markings/sec, 565 secs
lola: 1231 tries, 1230808728 fired transitions, 570 secs || 112164171 markings, 207024188 edges, 189209 markings/sec, 570 secs
lola: 1243 tries, 1242742781 fired transitions, 575 secs || 113107968 markings, 209058970 edges, 188759 markings/sec, 575 secs
lola: 1255 tries, 1254624932 fired transitions, 580 secs || 114064120 markings, 211133750 edges, 191230 markings/sec, 580 secs
lola: 1267 tries, 1266617410 fired transitions, 585 secs || 114988575 markings, 213155343 edges, 184891 markings/sec, 585 secs
lola: 1279 tries, 1278425872 fired transitions, 590 secs || 115942956 markings, 215239810 edges, 190876 markings/sec, 590 secs
lola: 1291 tries, 1290278458 fired transitions, 595 secs || 116888611 markings, 217318290 edges, 189131 markings/sec, 595 secs
lola: 1303 tries, 1302248115 fired transitions, 600 secs || 117837363 markings, 219409220 edges, 189750 markings/sec, 600 secs
lola: 1315 tries, 1314169938 fired transitions, 605 secs || 118781246 markings, 221495353 edges, 188777 markings/sec, 605 secs
lola: 1327 tries, 1326107096 fired transitions, 610 secs || 119720076 markings, 223587776 edges, 187766 markings/sec, 610 secs
lola: 1338 tries, 1337848778 fired transitions, 615 secs || 120687738 markings, 225744282 edges, 193532 markings/sec, 615 secs
lola: 1350 tries, 1349713971 fired transitions, 620 secs || 121638196 markings, 227871209 edges, 190092 markings/sec, 620 secs
lola: 1362 tries, 1361536864 fired transitions, 625 secs || 122588885 markings, 230017955 edges, 190138 markings/sec, 625 secs
lola: 1374 tries, 1373124488 fired transitions, 630 secs || 123537259 markings, 232162999 edges, 189675 markings/sec, 630 secs
lola: 1382 tries, 1381607411 fired transitions, 635 secs || 124137037 markings, 233520828 edges, 119956 markings/sec, 635 secs
lola: 1391 tries, 1390698745 fired transitions, 640 secs || 124784337 markings, 234985478 edges, 129460 markings/sec, 640 secs
lola: 1403 tries, 1402594039 fired transitions, 645 secs || 125707086 markings, 237096429 edges, 184550 markings/sec, 645 secs
lola: 1415 tries, 1414391771 fired transitions, 650 secs || 126650899 markings, 239266414 edges, 188763 markings/sec, 650 secs
lola: 1427 tries, 1426163136 fired transitions, 655 secs || 127589331 markings, 241433479 edges, 187686 markings/sec, 655 secs
lola: 1439 tries, 1438098452 fired transitions, 660 secs || 128521794 markings, 243601197 edges, 186493 markings/sec, 660 secs
lola: 1451 tries, 1450024478 fired transitions, 665 secs || 129458513 markings, 245790321 edges, 187344 markings/sec, 665 secs
lola: 1462 tries, 1461885691 fired transitions, 670 secs || 130399731 markings, 248004537 edges, 188244 markings/sec, 670 secs
lola: 1474 tries, 1473473383 fired transitions, 675 secs || 131354137 markings, 250262596 edges, 190881 markings/sec, 675 secs
lola: 1486 tries, 1485290110 fired transitions, 680 secs || 132283048 markings, 252474616 edges, 185782 markings/sec, 680 secs
lola: 1498 tries, 1497101286 fired transitions, 685 secs || 133224645 markings, 254728416 edges, 188319 markings/sec, 685 secs
lola: 1507 tries, 1506521181 fired transitions, 690 secs || 133922205 markings, 256398614 edges, 139512 markings/sec, 690 secs
lola: 1515 tries, 1514999621 fired transitions, 695 secs || 134533993 markings, 257867028 edges, 122358 markings/sec, 695 secs
lola: 1524 tries, 1523481328 fired transitions, 700 secs || 135159861 markings, 259374731 edges, 125174 markings/sec, 700 secs
lola: 1532 tries, 1531963457 fired transitions, 705 secs || 135784912 markings, 260886479 edges, 125010 markings/sec, 705 secs
lola: 1541 tries, 1540431383 fired transitions, 710 secs || 136413298 markings, 262417312 edges, 125677 markings/sec, 710 secs
lola: 1549 tries, 1548921780 fired transitions, 715 secs || 137042629 markings, 263942934 edges, 125866 markings/sec, 715 secs
lola: 1558 tries, 1557377043 fired transitions, 720 secs || 137675025 markings, 265489159 edges, 126479 markings/sec, 720 secs
lola: 1568 tries, 1567617523 fired transitions, 725 secs || 138505393 markings, 267537461 edges, 166074 markings/sec, 725 secs
lola: 1580 tries, 1579044265 fired transitions, 730 secs || 139489869 markings, 269972245 edges, 196895 markings/sec, 730 secs
lola: 1589 tries, 1588964843 fired transitions, 735 secs || 140323078 markings, 272052125 edges, 166642 markings/sec, 735 secs
lola: 1598 tries, 1597390315 fired transitions, 740 secs || 140962510 markings, 273640081 edges, 127886 markings/sec, 740 secs
lola: 1606 tries, 1605823269 fired transitions, 745 secs || 141600637 markings, 275229767 edges, 127625 markings/sec, 745 secs
lola: 1615 tries, 1614236238 fired transitions, 750 secs || 142237421 markings, 276826297 edges, 127357 markings/sec, 750 secs
lola: 1626 tries, 1625879811 fired transitions, 755 secs || 143074056 markings, 278958544 edges, 167327 markings/sec, 755 secs
lola: 1636 tries, 1635779095 fired transitions, 760 secs || 143843205 markings, 280905351 edges, 153830 markings/sec, 760 secs
lola: 1644 tries, 1643975197 fired transitions, 765 secs || 144452689 markings, 282441090 edges, 121897 markings/sec, 765 secs
lola: 1655 tries, 1654280509 fired transitions, 770 secs || 145284575 markings, 284566127 edges, 166377 markings/sec, 770 secs
lola: 1666 tries, 1665402390 fired transitions, 775 secs || 146253559 markings, 287054241 edges, 193797 markings/sec, 775 secs
lola: 1677 tries, 1676676436 fired transitions, 780 secs || 147187125 markings, 289474221 edges, 186713 markings/sec, 780 secs
lola: 1688 tries, 1687934405 fired transitions, 785 secs || 148138888 markings, 291942303 edges, 190353 markings/sec, 785 secs
lola: 1700 tries, 1699058847 fired transitions, 790 secs || 149090541 markings, 294408144 edges, 190331 markings/sec, 790 secs
lola: 1711 tries, 1710241677 fired transitions, 795 secs || 150012829 markings, 296834174 edges, 184458 markings/sec, 795 secs
lola: 1723 tries, 1722531817 fired transitions, 800 secs || 150705540 markings, 298675809 edges, 138542 markings/sec, 800 secs
lola: 1735 tries, 1734861534 fired transitions, 805 secs || 151383027 markings, 300510896 edges, 135497 markings/sec, 805 secs
lola: 1748 tries, 1747116685 fired transitions, 810 secs || 152065689 markings, 302383262 edges, 136532 markings/sec, 810 secs
lola: 1759 tries, 1758569407 fired transitions, 815 secs || 152757881 markings, 304220038 edges, 138438 markings/sec, 815 secs
lola: 1768 tries, 1767021577 fired transitions, 820 secs || 153318798 markings, 305753868 edges, 112183 markings/sec, 820 secs
lola: 1778 tries, 1777424273 fired transitions, 825 secs || 153940458 markings, 307537270 edges, 124332 markings/sec, 825 secs
lola: 1788 tries, 1787301332 fired transitions, 830 secs || 154558868 markings, 309280444 edges, 123682 markings/sec, 830 secs
lola: 1799 tries, 1798329494 fired transitions, 835 secs || 155465704 markings, 311874138 edges, 181367 markings/sec, 835 secs
lola: 1808 tries, 1807827024 fired transitions, 840 secs || 156178118 markings, 313927531 edges, 142483 markings/sec, 840 secs
lola: 1817 tries, 1816508273 fired transitions, 845 secs || 156807764 markings, 315722637 edges, 125929 markings/sec, 845 secs
lola: 1828 tries, 1827387741 fired transitions, 850 secs || 157787301 markings, 318490824 edges, 195907 markings/sec, 850 secs
lola: 1838 tries, 1837960099 fired transitions, 855 secs || 158658285 markings, 320929689 edges, 174197 markings/sec, 855 secs
lola: 1850 tries, 1849328249 fired transitions, 860 secs || 159520953 markings, 323330681 edges, 172534 markings/sec, 860 secs
lola: 1860 tries, 1859961204 fired transitions, 865 secs || 160522083 markings, 326189152 edges, 200226 markings/sec, 865 secs
lola: 1871 tries, 1870324238 fired transitions, 870 secs || 161546487 markings, 329159757 edges, 204881 markings/sec, 870 secs
lola: 1881 tries, 1880618549 fired transitions, 875 secs || 162613464 markings, 332113312 edges, 213395 markings/sec, 875 secs
lola: 1891 tries, 1890640533 fired transitions, 880 secs || 163687869 markings, 335138858 edges, 214881 markings/sec, 880 secs
lola: 1901 tries, 1900651911 fired transitions, 885 secs || 164763621 markings, 338203225 edges, 215150 markings/sec, 885 secs
lola: 1911 tries, 1910794347 fired transitions, 890 secs || 165861049 markings, 341261631 edges, 219486 markings/sec, 890 secs
lola: 1921 tries, 1920766999 fired transitions, 895 secs || 167003654 markings, 344262169 edges, 228521 markings/sec, 895 secs
lola: 1931 tries, 1930729580 fired transitions, 900 secs || 168129791 markings, 347130336 edges, 225227 markings/sec, 900 secs
lola: 1941 tries, 1940388829 fired transitions, 905 secs || 169233537 markings, 350326536 edges, 220749 markings/sec, 905 secs
lola: 1951 tries, 1950330707 fired transitions, 910 secs || 170324467 markings, 353439170 edges, 218186 markings/sec, 910 secs
lola: 1961 tries, 1960393580 fired transitions, 915 secs || 171407534 markings, 356438915 edges, 216613 markings/sec, 915 secs
lola: 1970 tries, 1969028257 fired transitions, 920 secs || 172359501 markings, 358925184 edges, 190393 markings/sec, 920 secs
lola: 1979 tries, 1978408256 fired transitions, 925 secs || 173354059 markings, 362040507 edges, 198912 markings/sec, 925 secs
lola: 1989 tries, 1988081574 fired transitions, 930 secs || 174379734 markings, 364952665 edges, 205135 markings/sec, 930 secs
lola: 1998 tries, 1997798135 fired transitions, 935 secs || 175461094 markings, 368168846 edges, 216272 markings/sec, 935 secs
lola: 2008 tries, 2007173235 fired transitions, 940 secs || 176408936 markings, 370721878 edges, 189568 markings/sec, 940 secs
lola: 2018 tries, 2017754831 fired transitions, 945 secs || 177516743 markings, 373558451 edges, 221561 markings/sec, 945 secs
lola: 2028 tries, 2027255276 fired transitions, 950 secs || 178352045 markings, 375883660 edges, 167060 markings/sec, 950 secs
lola: 2039 tries, 2038016351 fired transitions, 955 secs || 179306816 markings, 378601973 edges, 190954 markings/sec, 955 secs
lola: 2050 tries, 2049007814 fired transitions, 960 secs || 180262961 markings, 381174624 edges, 191229 markings/sec, 960 secs
lola: 2058 tries, 2057559129 fired transitions, 965 secs || 181047602 markings, 383581705 edges, 156928 markings/sec, 965 secs
lola: 2067 tries, 2066230276 fired transitions, 970 secs || 182134644 markings, 386567597 edges, 217408 markings/sec, 970 secs
lola: 2076 tries, 2075375895 fired transitions, 975 secs || 183056934 markings, 389497179 edges, 184458 markings/sec, 975 secs
lola: 2085 tries, 2084752609 fired transitions, 980 secs || 183887956 markings, 391724946 edges, 166204 markings/sec, 980 secs
lola: 2095 tries, 2094791521 fired transitions, 985 secs || 184948640 markings, 394986011 edges, 212137 markings/sec, 985 secs
lola: 2105 tries, 2104479550 fired transitions, 990 secs || 185995213 markings, 398239579 edges, 209315 markings/sec, 990 secs
lola: 2115 tries, 2114485402 fired transitions, 995 secs || 186968734 markings, 401067985 edges, 194704 markings/sec, 995 secs
lola: 2124 tries, 2123635919 fired transitions, 1000 secs || 187902696 markings, 403677702 edges, 186792 markings/sec, 1000 secs
lola: 2133 tries, 2132051725 fired transitions, 1005 secs || 188698434 markings, 405666190 edges, 159148 markings/sec, 1005 secs
lola: 2141 tries, 2140404722 fired transitions, 1010 secs || 189497617 markings, 407699416 edges, 159837 markings/sec, 1010 secs
lola: 2150 tries, 2149043791 fired transitions, 1015 secs || 190303512 markings, 409746699 edges, 161179 markings/sec, 1015 secs
lola: 2158 tries, 2157551999 fired transitions, 1020 secs || 191072992 markings, 411935422 edges, 153896 markings/sec, 1020 secs
lola: 2167 tries, 2166125040 fired transitions, 1025 secs || 191868129 markings, 414138061 edges, 159027 markings/sec, 1025 secs
lola: 2176 tries, 2175191021 fired transitions, 1030 secs || 192902079 markings, 417408086 edges, 206790 markings/sec, 1030 secs
lola: 2184 tries, 2183739986 fired transitions, 1035 secs || 193711350 markings, 419764205 edges, 161854 markings/sec, 1035 secs
lola: 2192 tries, 2191753041 fired transitions, 1040 secs || 194434838 markings, 421961324 edges, 144698 markings/sec, 1040 secs
lola: 2201 tries, 2200033857 fired transitions, 1045 secs || 195208517 markings, 424302330 edges, 154736 markings/sec, 1045 secs
lola: 2209 tries, 2208237690 fired transitions, 1050 secs || 195937161 markings, 426413361 edges, 145729 markings/sec, 1050 secs
lola: 2217 tries, 2216485308 fired transitions, 1055 secs || 196677079 markings, 428413081 edges, 147984 markings/sec, 1055 secs
lola: 2225 tries, 2224567003 fired transitions, 1060 secs || 197407082 markings, 430586332 edges, 146001 markings/sec, 1060 secs
lola: 2233 tries, 2232511207 fired transitions, 1065 secs || 198131590 markings, 432854100 edges, 144902 markings/sec, 1065 secs
lola: 2241 tries, 2240527978 fired transitions, 1070 secs || 198856918 markings, 435106499 edges, 145066 markings/sec, 1070 secs
lola: 2249 tries, 2248572614 fired transitions, 1075 secs || 199559273 markings, 437142793 edges, 140471 markings/sec, 1075 secs
lola: 2257 tries, 2256749210 fired transitions, 1080 secs || 200258852 markings, 438998280 edges, 139916 markings/sec, 1080 secs
lola: 2266 tries, 2265342639 fired transitions, 1085 secs || 200982947 markings, 440819931 edges, 144819 markings/sec, 1085 secs
lola: 2274 tries, 2273743825 fired transitions, 1090 secs || 201735854 markings, 442871268 edges, 150581 markings/sec, 1090 secs
lola: 2283 tries, 2282175783 fired transitions, 1095 secs || 202522056 markings, 444885647 edges, 157240 markings/sec, 1095 secs
lola: 2291 tries, 2290665939 fired transitions, 1100 secs || 203245800 markings, 446673681 edges, 144749 markings/sec, 1100 secs
lola: 2300 tries, 2299133931 fired transitions, 1105 secs || 204007709 markings, 448581489 edges, 152382 markings/sec, 1105 secs
lola: 2308 tries, 2307518469 fired transitions, 1110 secs || 204804839 markings, 450511335 edges, 159426 markings/sec, 1110 secs
lola: 2316 tries, 2315998597 fired transitions, 1115 secs || 205344239 markings, 452154763 edges, 107880 markings/sec, 1115 secs
lola: 2325 tries, 2324439472 fired transitions, 1120 secs || 205832102 markings, 453688409 edges, 97573 markings/sec, 1120 secs
lola: 2333 tries, 2332938375 fired transitions, 1125 secs || 206428586 markings, 455379442 edges, 119297 markings/sec, 1125 secs
lola: 2342 tries, 2341419173 fired transitions, 1130 secs || 206977739 markings, 457202886 edges, 109831 markings/sec, 1130 secs
lola: 2350 tries, 2349894866 fired transitions, 1135 secs || 207563515 markings, 458889216 edges, 117155 markings/sec, 1135 secs
lola: 2359 tries, 2358391385 fired transitions, 1140 secs || 208083819 markings, 460502816 edges, 104061 markings/sec, 1140 secs
lola: 2367 tries, 2366879469 fired transitions, 1145 secs || 208548633 markings, 462005051 edges, 92963 markings/sec, 1145 secs
lola: 2376 tries, 2375375734 fired transitions, 1150 secs || 209009676 markings, 463538620 edges, 92209 markings/sec, 1150 secs
lola: 2384 tries, 2383866456 fired transitions, 1155 secs || 209497565 markings, 465092034 edges, 97578 markings/sec, 1155 secs
lola: 2393 tries, 2392320648 fired transitions, 1160 secs || 210031578 markings, 466761181 edges, 106803 markings/sec, 1160 secs
lola: 2403 tries, 2402055327 fired transitions, 1165 secs || 211129123 markings, 470419589 edges, 219509 markings/sec, 1165 secs
lola: 2412 tries, 2411450547 fired transitions, 1170 secs || 212335770 markings, 474030536 edges, 241329 markings/sec, 1170 secs
lola: 2423 tries, 2422476755 fired transitions, 1175 secs || 213321195 markings, 476975934 edges, 197085 markings/sec, 1175 secs
lola: 2437 tries, 2436262269 fired transitions, 1180 secs || 213891662 markings, 479197272 edges, 114093 markings/sec, 1180 secs
lola: 2450 tries, 2449887504 fired transitions, 1185 secs || 214484199 markings, 481443505 edges, 118507 markings/sec, 1185 secs
lola: 2464 tries, 2463542821 fired transitions, 1190 secs || 215073366 markings, 483777285 edges, 117833 markings/sec, 1190 secs
lola: 2478 tries, 2477237947 fired transitions, 1195 secs || 215662327 markings, 486147587 edges, 117792 markings/sec, 1195 secs
lola: 2491 tries, 2490999359 fired transitions, 1200 secs || 216233405 markings, 488475990 edges, 114216 markings/sec, 1200 secs
lola: 2505 tries, 2504907494 fired transitions, 1205 secs || 216760923 markings, 490701497 edges, 105504 markings/sec, 1205 secs
lola: 2519 tries, 2518803310 fired transitions, 1210 secs || 217294783 markings, 492905193 edges, 106772 markings/sec, 1210 secs
lola: 2533 tries, 2532938492 fired transitions, 1215 secs || 217794968 markings, 495011978 edges, 100037 markings/sec, 1215 secs
lola: 2548 tries, 2547167170 fired transitions, 1220 secs || 218282244 markings, 497129873 edges, 97455 markings/sec, 1220 secs
lola: 2562 tries, 2561365268 fired transitions, 1225 secs || 218780811 markings, 499300600 edges, 99713 markings/sec, 1225 secs
lola: 2576 tries, 2575618210 fired transitions, 1230 secs || 219276791 markings, 501438531 edges, 99196 markings/sec, 1230 secs
lola: 2590 tries, 2589980636 fired transitions, 1235 secs || 219749070 markings, 503562032 edges, 94456 markings/sec, 1235 secs
lola: 2605 tries, 2604279490 fired transitions, 1240 secs || 220231949 markings, 505687943 edges, 96576 markings/sec, 1240 secs
lola: 2619 tries, 2618589518 fired transitions, 1245 secs || 220705498 markings, 507828875 edges, 94710 markings/sec, 1245 secs
lola: 2634 tries, 2633022136 fired transitions, 1250 secs || 221161482 markings, 509921971 edges, 91197 markings/sec, 1250 secs
lola: 2648 tries, 2647523202 fired transitions, 1255 secs || 221608865 markings, 512007670 edges, 89477 markings/sec, 1255 secs
lola: 2663 tries, 2662081557 fired transitions, 1260 secs || 222050240 markings, 514085100 edges, 88275 markings/sec, 1260 secs
lola: 2677 tries, 2676598521 fired transitions, 1265 secs || 222496520 markings, 516167727 edges, 89256 markings/sec, 1265 secs
lola: 2691 tries, 2690968322 fired transitions, 1270 secs || 222960283 markings, 518301165 edges, 92753 markings/sec, 1270 secs
lola: 2706 tries, 2705461775 fired transitions, 1275 secs || 223406476 markings, 520397017 edges, 89239 markings/sec, 1275 secs
lola: 2720 tries, 2719856065 fired transitions, 1280 secs || 223861532 markings, 522535410 edges, 91011 markings/sec, 1280 secs
lola: 2735 tries, 2734427857 fired transitions, 1285 secs || 224289967 markings, 524595083 edges, 85687 markings/sec, 1285 secs
lola: 2749 tries, 2748987616 fired transitions, 1290 secs || 224712872 markings, 526646335 edges, 84581 markings/sec, 1290 secs
lola: 2764 tries, 2763675928 fired transitions, 1295 secs || 225125427 markings, 528660314 edges, 82511 markings/sec, 1295 secs
lola: 2779 tries, 2778281762 fired transitions, 1300 secs || 225545232 markings, 530690119 edges, 83961 markings/sec, 1300 secs
lola: 2793 tries, 2792881796 fired transitions, 1305 secs || 225955739 markings, 532708360 edges, 82101 markings/sec, 1305 secs
lola: 2808 tries, 2807531259 fired transitions, 1310 secs || 226364284 markings, 534720274 edges, 81709 markings/sec, 1310 secs
lola: 2823 tries, 2822110288 fired transitions, 1315 secs || 226786620 markings, 536758599 edges, 84467 markings/sec, 1315 secs
lola: 2837 tries, 2836701080 fired transitions, 1320 secs || 227205669 markings, 538794610 edges, 83810 markings/sec, 1320 secs
lola: 2852 tries, 2851365050 fired transitions, 1325 secs || 227612287 markings, 540801021 edges, 81324 markings/sec, 1325 secs
lola: 2867 tries, 2866014610 fired transitions, 1330 secs || 228012173 markings, 542803758 edges, 79977 markings/sec, 1330 secs
lola: 2881 tries, 2880600880 fired transitions, 1335 secs || 228421203 markings, 544847930 edges, 81806 markings/sec, 1335 secs
lola: 2896 tries, 2895229610 fired transitions, 1340 secs || 228824454 markings, 546867988 edges, 80650 markings/sec, 1340 secs
lola: 2910 tries, 2909891435 fired transitions, 1345 secs || 229234165 markings, 548902330 edges, 81942 markings/sec, 1345 secs
lola: 2925 tries, 2924458337 fired transitions, 1350 secs || 229644706 markings, 550941022 edges, 82108 markings/sec, 1350 secs
lola: 2940 tries, 2939119475 fired transitions, 1355 secs || 230046666 markings, 552970200 edges, 80392 markings/sec, 1355 secs
lola: 2954 tries, 2953607327 fired transitions, 1360 secs || 230464596 markings, 555054760 edges, 83586 markings/sec, 1360 secs
lola: 2969 tries, 2968274426 fired transitions, 1365 secs || 230861864 markings, 557078157 edges, 79454 markings/sec, 1365 secs
lola: 2982 tries, 2981009840 fired transitions, 1370 secs || 231195318 markings, 558801290 edges, 66691 markings/sec, 1370 secs
lola: 2990 tries, 2989468718 fired transitions, 1375 secs || 231425811 markings, 559942300 edges, 46099 markings/sec, 1375 secs
lola: 2998 tries, 2997964106 fired transitions, 1380 secs || 231638176 markings, 561020944 edges, 42473 markings/sec, 1380 secs
lola: 3007 tries, 3006442515 fired transitions, 1385 secs || 231848646 markings, 562102525 edges, 42094 markings/sec, 1385 secs
lola: 3015 tries, 3014943517 fired transitions, 1390 secs || 232054931 markings, 563169605 edges, 41257 markings/sec, 1390 secs
lola: 3024 tries, 3023411564 fired transitions, 1395 secs || 232269737 markings, 564254170 edges, 42961 markings/sec, 1395 secs
lola: 3032 tries, 3031905309 fired transitions, 1400 secs || 232485335 markings, 565351703 edges, 43120 markings/sec, 1400 secs
lola: 3041 tries, 3040362746 fired transitions, 1405 secs || 232701723 markings, 566451675 edges, 43278 markings/sec, 1405 secs
lola: 3049 tries, 3048847194 fired transitions, 1410 secs || 232917156 markings, 567546174 edges, 43087 markings/sec, 1410 secs
lola: 3058 tries, 3057338872 fired transitions, 1415 secs || 233131578 markings, 568644135 edges, 42884 markings/sec, 1415 secs
lola: 3066 tries, 3065804274 fired transitions, 1420 secs || 233337286 markings, 569723134 edges, 41142 markings/sec, 1420 secs
lola: 3078 tries, 3077285160 fired transitions, 1425 secs || 233619709 markings, 571196559 edges, 56485 markings/sec, 1425 secs
lola: 3092 tries, 3091895686 fired transitions, 1430 secs || 234014061 markings, 573242007 edges, 78870 markings/sec, 1430 secs
lola: 3104 tries, 3103853003 fired transitions, 1435 secs || 234325450 markings, 574854384 edges, 62278 markings/sec, 1435 secs
lola: 3115 tries, 3114577394 fired transitions, 1440 secs || 234590174 markings, 576257271 edges, 52945 markings/sec, 1440 secs
lola: 3124 tries, 3123008269 fired transitions, 1445 secs || 234800668 markings, 577349878 edges, 42099 markings/sec, 1445 secs
lola: 3132 tries, 3131450994 fired transitions, 1450 secs || 235001863 markings, 578419793 edges, 40239 markings/sec, 1450 secs
lola: 3140 tries, 3139864653 fired transitions, 1455 secs || 235217139 markings, 579538677 edges, 43055 markings/sec, 1455 secs
lola: 3149 tries, 3148323468 fired transitions, 1460 secs || 235429761 markings, 580642783 edges, 42524 markings/sec, 1460 secs
lola: 3157 tries, 3156784775 fired transitions, 1465 secs || 235635098 markings, 581738160 edges, 41067 markings/sec, 1465 secs
lola: 3166 tries, 3165213053 fired transitions, 1470 secs || 235834762 markings, 582819948 edges, 39933 markings/sec, 1470 secs
lola: 3174 tries, 3173659883 fired transitions, 1475 secs || 236044797 markings, 583928690 edges, 42007 markings/sec, 1475 secs
lola: 3183 tries, 3182118694 fired transitions, 1480 secs || 236264062 markings, 585060460 edges, 43853 markings/sec, 1480 secs
lola: 3191 tries, 3190577792 fired transitions, 1485 secs || 236486126 markings, 586212446 edges, 44413 markings/sec, 1485 secs
lola: 3201 tries, 3200875212 fired transitions, 1490 secs || 236748678 markings, 587611470 edges, 52510 markings/sec, 1490 secs
lola: 3216 tries, 3215498253 fired transitions, 1495 secs || 237134113 markings, 589701914 edges, 77087 markings/sec, 1495 secs
lola: 3231 tries, 3230085961 fired transitions, 1500 secs || 237523638 markings, 591789860 edges, 77905 markings/sec, 1500 secs
lola: 3245 tries, 3244269536 fired transitions, 1505 secs || 237960925 markings, 594030448 edges, 87457 markings/sec, 1505 secs
lola: 3259 tries, 3258882599 fired transitions, 1510 secs || 238348443 markings, 596125011 edges, 77504 markings/sec, 1510 secs
lola: 3274 tries, 3273427430 fired transitions, 1515 secs || 238744776 markings, 598240064 edges, 79267 markings/sec, 1515 secs
lola: 3289 tries, 3288039839 fired transitions, 1520 secs || 239132511 markings, 600347953 edges, 77547 markings/sec, 1520 secs
lola: 3303 tries, 3302628776 fired transitions, 1525 secs || 239520289 markings, 602462839 edges, 77556 markings/sec, 1525 secs
lola: 3318 tries, 3317127314 fired transitions, 1530 secs || 239925106 markings, 604620441 edges, 80963 markings/sec, 1530 secs
lola: 3332 tries, 3331722895 fired transitions, 1535 secs || 240305940 markings, 606728343 edges, 76167 markings/sec, 1535 secs
lola: 3347 tries, 3346313791 fired transitions, 1540 secs || 240691037 markings, 608850776 edges, 77019 markings/sec, 1540 secs
lola: 3361 tries, 3360929199 fired transitions, 1545 secs || 241067441 markings, 610958420 edges, 75281 markings/sec, 1545 secs
lola: 3376 tries, 3375502361 fired transitions, 1550 secs || 241454234 markings, 613089119 edges, 77359 markings/sec, 1550 secs
lola: 3391 tries, 3390014017 fired transitions, 1555 secs || 241841768 markings, 615220418 edges, 77507 markings/sec, 1555 secs
lola: 3405 tries, 3404567107 fired transitions, 1560 secs || 242225162 markings, 617357385 edges, 76679 markings/sec, 1560 secs
lola: 3419 tries, 3418928809 fired transitions, 1565 secs || 242638139 markings, 619561826 edges, 82595 markings/sec, 1565 secs
lola: 3434 tries, 3433448530 fired transitions, 1570 secs || 243028674 markings, 621717993 edges, 78107 markings/sec, 1570 secs
lola: 3448 tries, 3447822857 fired transitions, 1575 secs || 243440842 markings, 623949379 edges, 82434 markings/sec, 1575 secs
lola: 3463 tries, 3462289827 fired transitions, 1580 secs || 243830100 markings, 626107665 edges, 77852 markings/sec, 1580 secs
lola: 3477 tries, 3476786470 fired transitions, 1585 secs || 244214337 markings, 628264016 edges, 76847 markings/sec, 1585 secs
lola: 3492 tries, 3491365074 fired transitions, 1590 secs || 244592891 markings, 630410631 edges, 75711 markings/sec, 1590 secs
lola: 3506 tries, 3505969427 fired transitions, 1595 secs || 244975618 markings, 632585954 edges, 76545 markings/sec, 1595 secs
lola: 3521 tries, 3520552985 fired transitions, 1600 secs || 245360184 markings, 634771180 edges, 76913 markings/sec, 1600 secs
lola: 3536 tries, 3535210524 fired transitions, 1605 secs || 245730976 markings, 636924836 edges, 74158 markings/sec, 1605 secs
lola: 3550 tries, 3549828347 fired transitions, 1610 secs || 246108073 markings, 639092762 edges, 75419 markings/sec, 1610 secs
lola: 3565 tries, 3564549170 fired transitions, 1615 secs || 246475943 markings, 641246857 edges, 73574 markings/sec, 1615 secs
lola: 3580 tries, 3579211559 fired transitions, 1620 secs || 246849926 markings, 643414878 edges, 74797 markings/sec, 1620 secs
lola: 3594 tries, 3593692330 fired transitions, 1625 secs || 247248002 markings, 645661433 edges, 79615 markings/sec, 1625 secs
lola: 3609 tries, 3608279294 fired transitions, 1630 secs || 247621801 markings, 647859770 edges, 74760 markings/sec, 1630 secs
lola: 3623 tries, 3622905285 fired transitions, 1635 secs || 248000473 markings, 650068834 edges, 75734 markings/sec, 1635 secs
lola: 3638 tries, 3637451119 fired transitions, 1640 secs || 248381566 markings, 652310305 edges, 76219 markings/sec, 1640 secs
lola: 3653 tries, 3652010111 fired transitions, 1645 secs || 248764532 markings, 654547036 edges, 76593 markings/sec, 1645 secs
lola: 3667 tries, 3666636619 fired transitions, 1650 secs || 249132931 markings, 656744923 edges, 73680 markings/sec, 1650 secs
lola: 3682 tries, 3681073437 fired transitions, 1655 secs || 249497904 markings, 658929200 edges, 72995 markings/sec, 1655 secs
lola: 3696 tries, 3695474834 fired transitions, 1660 secs || 249891034 markings, 661209284 edges, 78626 markings/sec, 1660 secs
lola: 3711 tries, 3710082871 fired transitions, 1665 secs || 250262663 markings, 663433735 edges, 74326 markings/sec, 1665 secs
lola: 3725 tries, 3724592903 fired transitions, 1670 secs || 250636893 markings, 665672848 edges, 74846 markings/sec, 1670 secs
lola: 3740 tries, 3739030228 fired transitions, 1675 secs || 251013360 markings, 667923143 edges, 75293 markings/sec, 1675 secs
lola: 3751 tries, 3750551723 fired transitions, 1680 secs || 251292002 markings, 669633317 edges, 55728 markings/sec, 1680 secs
lola: 3760 tries, 3759013529 fired transitions, 1685 secs || 251486895 markings, 670829882 edges, 38979 markings/sec, 1685 secs
lola: 3768 tries, 3767409660 fired transitions, 1690 secs || 251692940 markings, 672060111 edges, 41209 markings/sec, 1690 secs
lola: 3776 tries, 3775764361 fired transitions, 1695 secs || 251877050 markings, 673230009 edges, 36822 markings/sec, 1695 secs
lola: 3785 tries, 3784189619 fired transitions, 1700 secs || 252072150 markings, 674431984 edges, 39020 markings/sec, 1700 secs
lola: 3793 tries, 3792627066 fired transitions, 1705 secs || 252257149 markings, 675601441 edges, 37000 markings/sec, 1705 secs
lola: 3805 tries, 3804121654 fired transitions, 1710 secs || 252532462 markings, 677309715 edges, 55063 markings/sec, 1710 secs
lola: 3819 tries, 3818693231 fired transitions, 1715 secs || 252893859 markings, 679556603 edges, 72279 markings/sec, 1715 secs
lola: 3834 tries, 3833200248 fired transitions, 1720 secs || 253258029 markings, 681812922 edges, 72834 markings/sec, 1720 secs
lola: 3848 tries, 3847747547 fired transitions, 1725 secs || 253613026 markings, 684053985 edges, 70999 markings/sec, 1725 secs
lola: 3863 tries, 3862286160 fired transitions, 1730 secs || 253967685 markings, 686309603 edges, 70932 markings/sec, 1730 secs
lola: 3877 tries, 3876790102 fired transitions, 1735 secs || 254328205 markings, 688558432 edges, 72104 markings/sec, 1735 secs
lola: 3887 tries, 3886578802 fired transitions, 1740 secs || 254559070 markings, 690046639 edges, 46173 markings/sec, 1740 secs
lola: 3896 tries, 3895241624 fired transitions, 1745 secs || 254753032 markings, 691296789 edges, 38792 markings/sec, 1745 secs
lola: 3904 tries, 3903758996 fired transitions, 1750 secs || 254952820 markings, 692561431 edges, 39958 markings/sec, 1750 secs
lola: 3913 tries, 3912146695 fired transitions, 1755 secs || 255147556 markings, 693807294 edges, 38947 markings/sec, 1755 secs
lola: 3921 tries, 3920532457 fired transitions, 1760 secs || 255344588 markings, 695059476 edges, 39406 markings/sec, 1760 secs
lola: 3932 tries, 3931962810 fired transitions, 1765 secs || 255610211 markings, 696799641 edges, 53125 markings/sec, 1765 secs
lola: 3947 tries, 3946043626 fired transitions, 1770 secs || 255970579 markings, 699143132 edges, 72074 markings/sec, 1770 secs
lola: 3961 tries, 3960447026 fired transitions, 1775 secs || 256336600 markings, 701518257 edges, 73204 markings/sec, 1775 secs
lola: 3975 tries, 3974957272 fired transitions, 1780 secs || 256691605 markings, 703882208 edges, 71001 markings/sec, 1780 secs
lola: 3990 tries, 3989200717 fired transitions, 1785 secs || 257081957 markings, 706339798 edges, 78070 markings/sec, 1785 secs
lola: 4004 tries, 4003641647 fired transitions, 1790 secs || 257439018 markings, 708724242 edges, 71412 markings/sec, 1790 secs
lola: 4018 tries, 4017967557 fired transitions, 1795 secs || 257807109 markings, 711130738 edges, 73618 markings/sec, 1795 secs
lola: 4033 tries, 4032419631 fired transitions, 1800 secs || 258159590 markings, 713514578 edges, 70496 markings/sec, 1800 secs
lola: 4047 tries, 4046762249 fired transitions, 1805 secs || 258518206 markings, 715942321 edges, 71723 markings/sec, 1805 secs
lola: 4062 tries, 4061088542 fired transitions, 1810 secs || 258877506 markings, 718378069 edges, 71860 markings/sec, 1810 secs
lola: 4076 tries, 4075352417 fired transitions, 1815 secs || 259239458 markings, 720823433 edges, 72390 markings/sec, 1815 secs
lola: 4090 tries, 4089679452 fired transitions, 1820 secs || 259595231 markings, 723274865 edges, 71155 markings/sec, 1820 secs
lola: 4105 tries, 4104027438 fired transitions, 1825 secs || 259947070 markings, 725729119 edges, 70368 markings/sec, 1825 secs
lola: 4119 tries, 4118300467 fired transitions, 1830 secs || 260306590 markings, 728219343 edges, 71904 markings/sec, 1830 secs
lola: 4133 tries, 4132580000 fired transitions, 1835 secs || 260659814 markings, 730702712 edges, 70645 markings/sec, 1835 secs
lola: 4147 tries, 4146884694 fired transitions, 1840 secs || 261014919 markings, 733205037 edges, 71021 markings/sec, 1840 secs
lola: 4162 tries, 4161048907 fired transitions, 1845 secs || 261388462 markings, 735771360 edges, 74709 markings/sec, 1845 secs
lola: 4176 tries, 4175283420 fired transitions, 1850 secs || 261750331 markings, 738320614 edges, 72374 markings/sec, 1850 secs
lola: 4190 tries, 4189504300 fired transitions, 1855 secs || 262101190 markings, 740870554 edges, 70172 markings/sec, 1855 secs
lola: 4204 tries, 4203629995 fired transitions, 1860 secs || 262461533 markings, 743472668 edges, 72069 markings/sec, 1860 secs
lola: 4218 tries, 4217726917 fired transitions, 1865 secs || 262831351 markings, 746115400 edges, 73964 markings/sec, 1865 secs
lola: 4232 tries, 4231790467 fired transitions, 1870 secs || 263200972 markings, 748808388 edges, 73924 markings/sec, 1870 secs
lola: 4246 tries, 4245827299 fired transitions, 1875 secs || 263571111 markings, 751587543 edges, 74028 markings/sec, 1875 secs
lola: 4260 tries, 4259608257 fired transitions, 1880 secs || 263963438 markings, 754568297 edges, 78465 markings/sec, 1880 secs
lola: RESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 264036175 markings, 755131224 edges
Segmentation fault
rslt: finished
BK_STOP 1553111144471
--------------------
content from stderr:
grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 139 (ignored)
grep: GenericPropertiesVerdict.xml: No such file or directory
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="TCPcondis-PT-10"
export BK_EXAMINATION="GlobalProperties"
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
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is TCPcondis-PT-10, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r170-oct2-155297750300147"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/TCPcondis-PT-10.tgz
mv TCPcondis-PT-10 execution
cd execution
if [ "GlobalProperties" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "GlobalProperties" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "GlobalProperties" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "GlobalProperties" != "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 "GlobalProperties.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property GlobalProperties.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "GlobalProperties.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 ;