About the Execution of LoLA for Philosophers-PT-010000
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
7232.310 | 1610235.00 | 3355781.00 | 195.20 | T | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.................
/home/mcc/execution
total 131M
-rw-r--r-- 1 mcc users 5.7M May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19M May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.6M May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15M 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.2K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.0M May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 6.2M May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.5M May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 5.8M May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1M May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14M May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.1M May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 8.4M May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.1M May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 2.6M May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 7 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 42M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Philosophers-PT-010000, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r112-csrt-152666470000832
=====================================================================
--------------------
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 Philosophers-PT-010000-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527062046651
info: Time: 3600 - MCC
===========================================================================================
prep: translating Philosophers-PT-010000 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: added safe information to the net based on GenericPropertiesVerdict
prep: check for too many tokens
===========================================================================================
prep: translating Philosophers-PT-010000 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ Philosophers-PT-010000 @ 3568 seconds
lola: LoLA will run for 3568 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 100000/65536 symbol table entries, 60249 collisions
lola: preprocessing...
lola: Size of bit vector: 50000
lola: finding significant places
lola: 50000 places, 50000 transitions, 30000 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 70000 transition conflict sets
lola: TASK
lola: reading formula from Philosophers-PT-010000-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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
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: STP: formula with 1200002 variables and 3630004 clauses shipped to Minisat
lola: 0 generators;1249935000 candidates remain ( 0%), 0 secs
lola: STP running || 1 tries, 10301 fired transitions, 0 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 5 secs
lola: STP running || 1 tries, 19144 fired transitions, 5 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 10 secs
lola: STP running || 1 tries, 25848 fired transitions, 10 secs
lola: stp: The siphon/trap property does not hold
lola: 0 generators;1249935000 candidates remain ( 0%), 15 secs
lola: STP completed || 1 tries, 32835 fired transitions, 15 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 20 secs
lola: STP completed || 1 tries, 40902 fired transitions, 20 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 25 secs
lola: STP completed || 1 tries, 49307 fired transitions, 25 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 30 secs
lola: STP completed || 1 tries, 57921 fired transitions, 30 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 35 secs
lola: STP completed || 1 tries, 66325 fired transitions, 35 secs
lola: 5286 generators; 4714 candidates remain (52%), 40 secs
lola: STP completed || 1 tries, 74825 fired transitions, 40 secs
lola: 10000 generators; 0 candidates remain (100%), 45 secs
lola: STP completed || 1 tries, 83320 fired transitions, 45 secs
lola: 10000 generators; 0 candidates remain (100%), 50 secs
lola: STP completed || 1 tries, 91938 fired transitions, 50 secs
lola: computed 10000 generators (2 in search tree, 9998 by composition)
lola: representing 20000 symmetries
lola: 0 dead branches visited in search tree
lola: STP completed || 1 tries, 100488 fired transitions, 55 secs || 1472 markings, 1471 edges, 294 markings/sec, 55 secs
lola: STP completed || 1 tries, 109229 fired transitions, 60 secs || 3165 markings, 3164 edges, 339 markings/sec, 60 secs
lola: STP completed || 1 tries, 118393 fired transitions, 65 secs || 4798 markings, 4797 edges, 327 markings/sec, 65 secs
lola: STP completed || 1 tries, 127900 fired transitions, 70 secs || 6478 markings, 6478 edges, 336 markings/sec, 70 secs
lola: STP completed || 1 tries, 137107 fired transitions, 75 secs || 8136 markings, 8135 edges, 332 markings/sec, 75 secs
lola: STP completed || 1 tries, 145947 fired transitions, 80 secs || 9817 markings, 9816 edges, 336 markings/sec, 80 secs
lola: STP completed || 1 tries, 155487 fired transitions, 85 secs || 12081 markings, 12773 edges, 453 markings/sec, 85 secs
lola: STP completed || 1 tries, 164548 fired transitions, 90 secs || 14442 markings, 15922 edges, 472 markings/sec, 90 secs
lola: STP completed || 1 tries, 173622 fired transitions, 95 secs || 16809 markings, 19079 edges, 473 markings/sec, 95 secs
lola: STP completed || 1 tries, 182725 fired transitions, 100 secs || 19182 markings, 22243 edges, 475 markings/sec, 100 secs
lola: STP completed || 1 tries, 191834 fired transitions, 105 secs || 21434 markings, 25248 edges, 450 markings/sec, 105 secs
lola: STP completed || 1 tries, 201213 fired transitions, 110 secs || 23649 markings, 28200 edges, 443 markings/sec, 110 secs
lola: STP completed || 1 tries, 210932 fired transitions, 115 secs || 25748 markings, 31001 edges, 420 markings/sec, 115 secs
lola: STP completed || 1 tries, 220637 fired transitions, 120 secs || 27939 markings, 33923 edges, 438 markings/sec, 120 secs
lola: STP completed || 1 tries, 230119 fired transitions, 125 secs || 30024 markings, 36704 edges, 417 markings/sec, 125 secs
lola: STP completed || 1 tries, 239891 fired transitions, 130 secs || 32049 markings, 39403 edges, 405 markings/sec, 130 secs
lola: STP completed || 1 tries, 249851 fired transitions, 135 secs || 34085 markings, 42156 edges, 407 markings/sec, 135 secs
lola: STP completed || 1 tries, 259783 fired transitions, 140 secs || 35896 markings, 44574 edges, 362 markings/sec, 140 secs
lola: STP completed || 1 tries, 269659 fired transitions, 145 secs || 37752 markings, 47122 edges, 371 markings/sec, 145 secs
lola: STP completed || 1 tries, 279557 fired transitions, 150 secs || 39486 markings, 49436 edges, 347 markings/sec, 150 secs
lola: STP completed || 1 tries, 289751 fired transitions, 155 secs || 41259 markings, 52638 edges, 355 markings/sec, 155 secs
lola: STP completed || 1 tries, 300585 fired transitions, 160 secs || 42902 markings, 55922 edges, 329 markings/sec, 160 secs
lola: STP completed || 1 tries, 311403 fired transitions, 165 secs || 44654 markings, 59427 edges, 350 markings/sec, 165 secs
lola: STP completed || 1 tries, 322185 fired transitions, 170 secs || 46301 markings, 62723 edges, 329 markings/sec, 170 secs
lola: STP completed || 1 tries, 332936 fired transitions, 175 secs || 47844 markings, 65809 edges, 309 markings/sec, 175 secs
lola: STP completed || 1 tries, 343886 fired transitions, 180 secs || 49578 markings, 69277 edges, 347 markings/sec, 180 secs
lola: STP completed || 1 tries, 355147 fired transitions, 185 secs || 51146 markings, 72412 edges, 314 markings/sec, 185 secs
lola: STP completed || 1 tries, 367646 fired transitions, 190 secs || 52760 markings, 75640 edges, 323 markings/sec, 190 secs
lola: STP completed || 1 tries, 380499 fired transitions, 195 secs || 54384 markings, 78888 edges, 325 markings/sec, 195 secs
lola: STP completed || 1 tries, 393856 fired transitions, 200 secs || 56078 markings, 82276 edges, 339 markings/sec, 200 secs
lola: STP completed || 1 tries, 406495 fired transitions, 205 secs || 57834 markings, 85788 edges, 351 markings/sec, 205 secs
lola: STP completed || 1 tries, 418679 fired transitions, 210 secs || 59527 markings, 89177 edges, 339 markings/sec, 210 secs
lola: STP completed || 1 tries, 430364 fired transitions, 215 secs || 61293 markings, 92707 edges, 353 markings/sec, 215 secs
lola: STP completed || 1 tries, 442356 fired transitions, 220 secs || 62834 markings, 95790 edges, 308 markings/sec, 220 secs
lola: STP completed || 1 tries, 454653 fired transitions, 225 secs || 64679 markings, 99480 edges, 369 markings/sec, 225 secs
lola: STP completed || 1 tries, 467254 fired transitions, 230 secs || 66231 markings, 102589 edges, 310 markings/sec, 230 secs
lola: STP completed || 1 tries, 479630 fired transitions, 235 secs || 67956 markings, 106115 edges, 345 markings/sec, 235 secs
lola: STP completed || 1 tries, 491720 fired transitions, 240 secs || 69504 markings, 109213 edges, 310 markings/sec, 240 secs
lola: STP completed || 1 tries, 503669 fired transitions, 245 secs || 75557 markings, 115766 edges, 1211 markings/sec, 245 secs
lola: STP completed || 1 tries, 515721 fired transitions, 250 secs || 81784 markings, 121993 edges, 1245 markings/sec, 250 secs
lola: STP completed || 1 tries, 527584 fired transitions, 255 secs || 86452 markings, 126661 edges, 934 markings/sec, 255 secs
lola: STP completed || 1 tries, 539398 fired transitions, 260 secs || 90766 markings, 130975 edges, 863 markings/sec, 260 secs
lola: STP completed || 1 tries, 551469 fired transitions, 265 secs || 94481 markings, 134689 edges, 743 markings/sec, 265 secs
lola: STP completed || 1 tries, 563586 fired transitions, 270 secs || 97146 markings, 137354 edges, 533 markings/sec, 270 secs
lola: STP completed || 1 tries, 575781 fired transitions, 275 secs || 99028 markings, 139237 edges, 376 markings/sec, 275 secs
lola: STP completed || 1 tries, 587530 fired transitions, 280 secs || 104062 markings, 144270 edges, 1007 markings/sec, 280 secs
lola: STP completed || 1 tries, 598815 fired transitions, 285 secs || 110638 markings, 150847 edges, 1315 markings/sec, 285 secs
lola: STP completed || 1 tries, 609706 fired transitions, 290 secs || 115626 markings, 155835 edges, 998 markings/sec, 290 secs
lola: STP completed || 1 tries, 620485 fired transitions, 295 secs || 119963 markings, 160171 edges, 867 markings/sec, 295 secs
lola: STP completed || 1 tries, 631101 fired transitions, 300 secs || 123700 markings, 163908 edges, 747 markings/sec, 300 secs
lola: STP completed || 1 tries, 641682 fired transitions, 305 secs || 125600 markings, 165808 edges, 380 markings/sec, 305 secs
lola: STP completed || 1 tries, 652628 fired transitions, 310 secs || 127489 markings, 167698 edges, 378 markings/sec, 310 secs
lola: STP completed || 1 tries, 663613 fired transitions, 315 secs || 129339 markings, 169547 edges, 370 markings/sec, 315 secs
lola: STP completed || 1 tries, 674215 fired transitions, 320 secs || 131314 markings, 171973 edges, 395 markings/sec, 320 secs
lola: STP completed || 1 tries, 684902 fired transitions, 325 secs || 133262 markings, 174573 edges, 390 markings/sec, 325 secs
lola: STP completed || 1 tries, 695861 fired transitions, 330 secs || 135403 markings, 177426 edges, 428 markings/sec, 330 secs
lola: STP completed || 1 tries, 707105 fired transitions, 335 secs || 137368 markings, 180048 edges, 393 markings/sec, 335 secs
lola: STP completed || 1 tries, 718122 fired transitions, 340 secs || 139513 markings, 182908 edges, 429 markings/sec, 340 secs
lola: STP completed || 1 tries, 729372 fired transitions, 345 secs || 141467 markings, 185513 edges, 391 markings/sec, 345 secs
lola: STP completed || 1 tries, 740326 fired transitions, 350 secs || 143456 markings, 188165 edges, 398 markings/sec, 350 secs
lola: STP completed || 1 tries, 751183 fired transitions, 355 secs || 145354 markings, 190698 edges, 380 markings/sec, 355 secs
lola: STP completed || 1 tries, 761527 fired transitions, 360 secs || 147434 markings, 193470 edges, 416 markings/sec, 360 secs
lola: STP completed || 1 tries, 771823 fired transitions, 365 secs || 149371 markings, 196054 edges, 387 markings/sec, 365 secs
lola: STP completed || 1 tries, 782750 fired transitions, 370 secs || 151448 markings, 198823 edges, 415 markings/sec, 370 secs
lola: STP completed || 1 tries, 793164 fired transitions, 375 secs || 153439 markings, 201480 edges, 398 markings/sec, 375 secs
lola: STP completed || 1 tries, 803458 fired transitions, 380 secs || 155398 markings, 204094 edges, 392 markings/sec, 380 secs
lola: STP completed || 1 tries, 814485 fired transitions, 385 secs || 157384 markings, 206856 edges, 397 markings/sec, 385 secs
lola: STP completed || 1 tries, 825663 fired transitions, 390 secs || 159373 markings, 209631 edges, 398 markings/sec, 390 secs
lola: STP completed || 1 tries, 837186 fired transitions, 395 secs || 161832 markings, 214093 edges, 492 markings/sec, 395 secs
lola: STP completed || 1 tries, 848355 fired transitions, 400 secs || 167075 markings, 220381 edges, 1049 markings/sec, 400 secs
lola: STP completed || 1 tries, 859720 fired transitions, 405 secs || 173624 markings, 226931 edges, 1310 markings/sec, 405 secs
lola: STP completed || 1 tries, 871188 fired transitions, 410 secs || 178366 markings, 231672 edges, 948 markings/sec, 410 secs
lola: STP completed || 1 tries, 882830 fired transitions, 415 secs || 182546 markings, 235852 edges, 836 markings/sec, 415 secs
lola: STP completed || 1 tries, 894935 fired transitions, 420 secs || 186318 markings, 239625 edges, 754 markings/sec, 420 secs
lola: STP completed || 1 tries, 906610 fired transitions, 425 secs || 189516 markings, 242822 edges, 640 markings/sec, 425 secs
lola: STP completed || 1 tries, 917971 fired transitions, 430 secs || 191904 markings, 246036 edges, 478 markings/sec, 430 secs
lola: STP completed || 1 tries, 929062 fired transitions, 435 secs || 194487 markings, 250003 edges, 517 markings/sec, 435 secs
lola: STP completed || 1 tries, 940086 fired transitions, 440 secs || 197046 markings, 253342 edges, 512 markings/sec, 440 secs
lola: STP completed || 1 tries, 950984 fired transitions, 445 secs || 199996 markings, 257514 edges, 590 markings/sec, 445 secs
lola: STP completed || 1 tries, 961926 fired transitions, 450 secs || 202208 markings, 260678 edges, 442 markings/sec, 450 secs
lola: STP completed || 1 tries, 973283 fired transitions, 455 secs || 204850 markings, 264282 edges, 528 markings/sec, 455 secs
lola: STP completed || 1 tries, 984896 fired transitions, 460 secs || 206995 markings, 267857 edges, 429 markings/sec, 460 secs
lola: STP completed || 1 tries, 997268 fired transitions, 465 secs || 209223 markings, 271005 edges, 446 markings/sec, 465 secs
lola: STP completed || 2 tries, 1015865 fired transitions, 470 secs || 211485 markings, 274708 edges, 452 markings/sec, 470 secs
lola: STP completed || 2 tries, 1040415 fired transitions, 475 secs || 214711 markings, 278898 edges, 645 markings/sec, 475 secs
lola: STP completed || 2 tries, 1059243 fired transitions, 480 secs || 216845 markings, 282401 edges, 427 markings/sec, 480 secs
lola: STP completed || 2 tries, 1084386 fired transitions, 485 secs || 219808 markings, 286182 edges, 593 markings/sec, 485 secs
lola: STP completed || 2 tries, 1107123 fired transitions, 490 secs || 221351 markings, 288754 edges, 309 markings/sec, 490 secs
lola: STP completed || 2 tries, 1123715 fired transitions, 495 secs || 223344 markings, 291510 edges, 399 markings/sec, 495 secs
lola: STP completed || 2 tries, 1141087 fired transitions, 500 secs || 224973 markings, 294225 edges, 326 markings/sec, 500 secs
lola: STP completed || 2 tries, 1158680 fired transitions, 505 secs || 230299 markings, 300113 edges, 1065 markings/sec, 505 secs
lola: STP completed || 2 tries, 1175572 fired transitions, 510 secs || 236531 markings, 306345 edges, 1246 markings/sec, 510 secs
lola: STP completed || 2 tries, 1190884 fired transitions, 515 secs || 241316 markings, 311131 edges, 957 markings/sec, 515 secs
lola: STP completed || 2 tries, 1204911 fired transitions, 520 secs || 245481 markings, 315296 edges, 833 markings/sec, 520 secs
lola: STP completed || 2 tries, 1221183 fired transitions, 525 secs || 249064 markings, 318878 edges, 717 markings/sec, 525 secs
lola: STP completed || 2 tries, 1242412 fired transitions, 530 secs || 251345 markings, 321976 edges, 456 markings/sec, 530 secs
lola: STP completed || 2 tries, 1261500 fired transitions, 535 secs || 253823 markings, 325940 edges, 496 markings/sec, 535 secs
lola: STP completed || 2 tries, 1280510 fired transitions, 540 secs || 256355 markings, 329607 edges, 506 markings/sec, 540 secs
lola: STP completed || 2 tries, 1298330 fired transitions, 545 secs || 259094 markings, 334020 edges, 548 markings/sec, 545 secs
lola: STP completed || 2 tries, 1318227 fired transitions, 550 secs || 261607 markings, 337535 edges, 503 markings/sec, 550 secs
lola: STP completed || 2 tries, 1338085 fired transitions, 555 secs || 264168 markings, 341513 edges, 512 markings/sec, 555 secs
lola: STP completed || 2 tries, 1355922 fired transitions, 560 secs || 266618 markings, 344852 edges, 490 markings/sec, 560 secs
lola: STP completed || 2 tries, 1371653 fired transitions, 565 secs || 270005 markings, 348830 edges, 677 markings/sec, 565 secs
lola: STP completed || 2 tries, 1388803 fired transitions, 570 secs || 273635 markings, 354131 edges, 726 markings/sec, 570 secs
lola: STP completed || 2 tries, 1403805 fired transitions, 575 secs || 275694 markings, 357616 edges, 412 markings/sec, 575 secs
lola: STP completed || 2 tries, 1418847 fired transitions, 580 secs || 278991 markings, 361809 edges, 659 markings/sec, 580 secs
lola: STP completed || 2 tries, 1434622 fired transitions, 585 secs || 281076 markings, 364363 edges, 417 markings/sec, 585 secs
lola: STP completed || 2 tries, 1450577 fired transitions, 590 secs || 284551 markings, 368725 edges, 695 markings/sec, 590 secs
lola: STP completed || 2 tries, 1466144 fired transitions, 595 secs || 286584 markings, 371359 edges, 407 markings/sec, 595 secs
lola: STP completed || 2 tries, 1482960 fired transitions, 600 secs || 290152 markings, 375736 edges, 714 markings/sec, 600 secs
lola: STP completed || 2 tries, 1499596 fired transitions, 605 secs || 292102 markings, 378336 edges, 390 markings/sec, 605 secs
lola: STP completed || 2 tries, 1515410 fired transitions, 610 secs || 293955 markings, 380810 edges, 371 markings/sec, 610 secs
lola: STP completed || 2 tries, 1530710 fired transitions, 615 secs || 295923 markings, 383433 edges, 394 markings/sec, 615 secs
lola: STP completed || 2 tries, 1544920 fired transitions, 620 secs || 297576 markings, 385638 edges, 331 markings/sec, 620 secs
lola: STP completed || 2 tries, 1558545 fired transitions, 625 secs || 299503 markings, 388209 edges, 385 markings/sec, 625 secs
lola: STP completed || 2 tries, 1571963 fired transitions, 630 secs || 301275 markings, 390571 edges, 354 markings/sec, 630 secs
lola: STP completed || 2 tries, 1585325 fired transitions, 635 secs || 303082 markings, 392981 edges, 361 markings/sec, 635 secs
lola: STP completed || 2 tries, 1600030 fired transitions, 640 secs || 304927 markings, 395441 edges, 369 markings/sec, 640 secs
lola: STP completed || 2 tries, 1614716 fired transitions, 645 secs || 307065 markings, 398292 edges, 428 markings/sec, 645 secs
lola: STP completed || 2 tries, 1629067 fired transitions, 650 secs || 308988 markings, 400857 edges, 385 markings/sec, 650 secs
lola: STP completed || 2 tries, 1643118 fired transitions, 655 secs || 310953 markings, 403477 edges, 393 markings/sec, 655 secs
lola: STP completed || 2 tries, 1657237 fired transitions, 660 secs || 312663 markings, 405758 edges, 342 markings/sec, 660 secs
lola: STP completed || 2 tries, 1671941 fired transitions, 665 secs || 314562 markings, 408359 edges, 380 markings/sec, 665 secs
lola: STP completed || 2 tries, 1687569 fired transitions, 670 secs || 316112 markings, 410427 edges, 310 markings/sec, 670 secs
lola: STP completed || 2 tries, 1703227 fired transitions, 675 secs || 318108 markings, 413098 edges, 399 markings/sec, 675 secs
lola: STP completed || 2 tries, 1718235 fired transitions, 680 secs || 319780 markings, 415896 edges, 334 markings/sec, 680 secs
lola: STP completed || 2 tries, 1733541 fired transitions, 685 secs || 321473 markings, 419053 edges, 339 markings/sec, 685 secs
lola: STP completed || 2 tries, 1748742 fired transitions, 690 secs || 329112 markings, 426692 edges, 1528 markings/sec, 690 secs
lola: STP completed || 2 tries, 1764124 fired transitions, 695 secs || 334485 markings, 432065 edges, 1075 markings/sec, 695 secs
lola: STP completed || 2 tries, 1778820 fired transitions, 700 secs || 338955 markings, 436535 edges, 894 markings/sec, 700 secs
lola: STP completed || 2 tries, 1792574 fired transitions, 705 secs || 342833 markings, 440413 edges, 776 markings/sec, 705 secs
lola: STP completed || 2 tries, 1805816 fired transitions, 710 secs || 346220 markings, 443800 edges, 677 markings/sec, 710 secs
lola: STP completed || 2 tries, 1818576 fired transitions, 715 secs || 348415 markings, 446799 edges, 439 markings/sec, 715 secs
lola: STP completed || 2 tries, 1831513 fired transitions, 720 secs || 349876 markings, 449721 edges, 292 markings/sec, 720 secs
lola: STP completed || 2 tries, 1844412 fired transitions, 725 secs || 351396 markings, 452920 edges, 304 markings/sec, 725 secs
lola: STP completed || 2 tries, 1857873 fired transitions, 730 secs || 352788 markings, 456170 edges, 278 markings/sec, 730 secs
lola: STP completed || 2 tries, 1871622 fired transitions, 735 secs || 354396 markings, 459033 edges, 322 markings/sec, 735 secs
lola: STP completed || 2 tries, 1885569 fired transitions, 740 secs || 356163 markings, 461978 edges, 353 markings/sec, 740 secs
lola: STP completed || 2 tries, 1899909 fired transitions, 745 secs || 357824 markings, 464686 edges, 332 markings/sec, 745 secs
lola: STP completed || 2 tries, 1914084 fired transitions, 750 secs || 359831 markings, 467365 edges, 401 markings/sec, 750 secs
lola: STP completed || 2 tries, 1927651 fired transitions, 755 secs || 361776 markings, 470065 edges, 389 markings/sec, 755 secs
lola: STP completed || 2 tries, 1941376 fired transitions, 760 secs || 363697 markings, 472729 edges, 384 markings/sec, 760 secs
lola: STP completed || 2 tries, 1954781 fired transitions, 765 secs || 365814 markings, 475759 edges, 423 markings/sec, 765 secs
lola: STP completed || 2 tries, 1968239 fired transitions, 770 secs || 372641 markings, 482754 edges, 1365 markings/sec, 770 secs
lola: STP completed || 2 tries, 1983554 fired transitions, 775 secs || 378346 markings, 488459 edges, 1141 markings/sec, 775 secs
lola: STP completed || 3 tries, 2003541 fired transitions, 780 secs || 383124 markings, 493238 edges, 956 markings/sec, 780 secs
lola: STP completed || 3 tries, 2008195 fired transitions, 785 secs || 387146 markings, 497259 edges, 804 markings/sec, 785 secs
lola: STP completed || 3 tries, 2012849 fired transitions, 790 secs || 390252 markings, 500682 edges, 621 markings/sec, 790 secs
lola: STP completed || 3 tries, 2017678 fired transitions, 795 secs || 391875 markings, 503519 edges, 325 markings/sec, 795 secs
lola: STP completed || 3 tries, 2022527 fired transitions, 800 secs || 393648 markings, 507068 edges, 355 markings/sec, 800 secs
lola: STP completed || 3 tries, 2027414 fired transitions, 805 secs || 395810 markings, 510628 edges, 432 markings/sec, 805 secs
lola: STP completed || 3 tries, 2032315 fired transitions, 810 secs || 398186 markings, 514431 edges, 475 markings/sec, 810 secs
lola: STP completed || 3 tries, 2037317 fired transitions, 815 secs || 400535 markings, 517887 edges, 470 markings/sec, 815 secs
lola: STP completed || 3 tries, 2042367 fired transitions, 820 secs || 402944 markings, 521742 edges, 482 markings/sec, 820 secs
lola: STP completed || 3 tries, 2047450 fired transitions, 825 secs || 405308 markings, 525339 edges, 473 markings/sec, 825 secs
lola: STP completed || 3 tries, 2052512 fired transitions, 830 secs || 407641 markings, 528942 edges, 467 markings/sec, 830 secs
lola: STP completed || 3 tries, 2057671 fired transitions, 835 secs || 410282 markings, 533309 edges, 528 markings/sec, 835 secs
lola: STP completed || 3 tries, 2062786 fired transitions, 840 secs || 413498 markings, 539281 edges, 643 markings/sec, 840 secs
lola: STP completed || 3 tries, 2067895 fired transitions, 845 secs || 416198 markings, 543790 edges, 540 markings/sec, 845 secs
lola: STP completed || 3 tries, 2073034 fired transitions, 850 secs || 418433 markings, 547366 edges, 447 markings/sec, 850 secs
lola: STP completed || 3 tries, 2078189 fired transitions, 855 secs || 420615 markings, 550384 edges, 436 markings/sec, 855 secs
lola: STP completed || 3 tries, 2083308 fired transitions, 860 secs || 422607 markings, 553572 edges, 398 markings/sec, 860 secs
lola: STP completed || 3 tries, 2088340 fired transitions, 865 secs || 424483 markings, 556744 edges, 375 markings/sec, 865 secs
lola: STP completed || 3 tries, 2093226 fired transitions, 870 secs || 426580 markings, 561237 edges, 419 markings/sec, 870 secs
lola: STP completed || 3 tries, 2097928 fired transitions, 875 secs || 428585 markings, 565601 edges, 401 markings/sec, 875 secs
lola: STP completed || 3 tries, 2102644 fired transitions, 880 secs || 434457 markings, 572389 edges, 1174 markings/sec, 880 secs
lola: STP completed || 3 tries, 2107436 fired transitions, 885 secs || 440871 markings, 578802 edges, 1283 markings/sec, 885 secs
lola: STP completed || 3 tries, 2112182 fired transitions, 890 secs || 445419 markings, 583350 edges, 910 markings/sec, 890 secs
lola: STP completed || 3 tries, 2116930 fired transitions, 895 secs || 449532 markings, 587463 edges, 823 markings/sec, 895 secs
lola: STP completed || 3 tries, 2121643 fired transitions, 900 secs || 453182 markings, 591113 edges, 730 markings/sec, 900 secs
lola: STP completed || 3 tries, 2126435 fired transitions, 905 secs || 456124 markings, 594057 edges, 588 markings/sec, 905 secs
lola: STP completed || 3 tries, 2131105 fired transitions, 910 secs || 458344 markings, 597597 edges, 444 markings/sec, 910 secs
lola: STP completed || 3 tries, 2135743 fired transitions, 915 secs || 460549 markings, 601115 edges, 441 markings/sec, 915 secs
lola: STP completed || 3 tries, 2140353 fired transitions, 920 secs || 462819 markings, 604791 edges, 454 markings/sec, 920 secs
lola: STP completed || 3 tries, 2144987 fired transitions, 925 secs || 464988 markings, 608278 edges, 434 markings/sec, 925 secs
lola: STP completed || 3 tries, 2149537 fired transitions, 930 secs || 467281 markings, 611960 edges, 459 markings/sec, 930 secs
lola: STP completed || 3 tries, 2153999 fired transitions, 935 secs || 469327 markings, 615318 edges, 409 markings/sec, 935 secs
lola: STP completed || 3 tries, 2158195 fired transitions, 940 secs || 471438 markings, 618689 edges, 422 markings/sec, 940 secs
lola: STP completed || 3 tries, 2162634 fired transitions, 945 secs || 473483 markings, 622099 edges, 409 markings/sec, 945 secs
lola: STP completed || 3 tries, 2167050 fired transitions, 950 secs || 475596 markings, 625453 edges, 423 markings/sec, 950 secs
lola: STP completed || 3 tries, 2171431 fired transitions, 955 secs || 477703 markings, 628943 edges, 421 markings/sec, 955 secs
lola: STP completed || 3 tries, 2175759 fired transitions, 960 secs || 480078 markings, 632578 edges, 475 markings/sec, 960 secs
lola: STP completed || 3 tries, 2180101 fired transitions, 965 secs || 482343 markings, 636243 edges, 453 markings/sec, 965 secs
lola: STP completed || 3 tries, 2184421 fired transitions, 970 secs || 484555 markings, 639735 edges, 442 markings/sec, 970 secs
lola: STP completed || 3 tries, 2188743 fired transitions, 975 secs || 486556 markings, 642997 edges, 400 markings/sec, 975 secs
lola: STP completed || 3 tries, 2193049 fired transitions, 980 secs || 488180 markings, 645618 edges, 325 markings/sec, 980 secs
lola: STP completed || 3 tries, 2197602 fired transitions, 985 secs || 489890 markings, 648630 edges, 342 markings/sec, 985 secs
lola: STP completed || 3 tries, 2202094 fired transitions, 990 secs || 491688 markings, 651687 edges, 360 markings/sec, 990 secs
lola: STP completed || 3 tries, 2206596 fired transitions, 995 secs || 493296 markings, 654365 edges, 322 markings/sec, 995 secs
lola: STP completed || 3 tries, 2211039 fired transitions, 1000 secs || 496420 markings, 658500 edges, 625 markings/sec, 1000 secs
lola: STP completed || 3 tries, 2215364 fired transitions, 1005 secs || 503727 markings, 665806 edges, 1461 markings/sec, 1005 secs
lola: STP completed || 3 tries, 2219790 fired transitions, 1010 secs || 508979 markings, 671059 edges, 1050 markings/sec, 1010 secs
lola: STP completed || 3 tries, 2224311 fired transitions, 1015 secs || 513325 markings, 675404 edges, 869 markings/sec, 1015 secs
lola: STP completed || 3 tries, 2228804 fired transitions, 1020 secs || 517519 markings, 679598 edges, 839 markings/sec, 1020 secs
lola: STP completed || 3 tries, 2233140 fired transitions, 1025 secs || 519580 markings, 681990 edges, 412 markings/sec, 1025 secs
lola: STP completed || 3 tries, 2237517 fired transitions, 1030 secs || 521153 markings, 684921 edges, 315 markings/sec, 1030 secs
lola: STP completed || 3 tries, 2241724 fired transitions, 1035 secs || 523162 markings, 688428 edges, 402 markings/sec, 1035 secs
lola: STP completed || 3 tries, 2245997 fired transitions, 1040 secs || 525434 markings, 692130 edges, 454 markings/sec, 1040 secs
lola: STP completed || 3 tries, 2250305 fired transitions, 1045 secs || 527853 markings, 696391 edges, 484 markings/sec, 1045 secs
lola: STP completed || 3 tries, 2254668 fired transitions, 1050 secs || 530322 markings, 700734 edges, 494 markings/sec, 1050 secs
lola: STP completed || 3 tries, 2259003 fired transitions, 1055 secs || 532728 markings, 704917 edges, 481 markings/sec, 1055 secs
lola: STP completed || 3 tries, 2263247 fired transitions, 1060 secs || 534849 markings, 708200 edges, 424 markings/sec, 1060 secs
lola: STP completed || 3 tries, 2267534 fired transitions, 1065 secs || 537023 markings, 712025 edges, 435 markings/sec, 1065 secs
lola: STP completed || 3 tries, 2271951 fired transitions, 1070 secs || 539402 markings, 716212 edges, 476 markings/sec, 1070 secs
lola: STP completed || 3 tries, 2276362 fired transitions, 1075 secs || 541796 markings, 720424 edges, 479 markings/sec, 1075 secs
lola: STP completed || 3 tries, 2280845 fired transitions, 1080 secs || 544162 markings, 724591 edges, 473 markings/sec, 1080 secs
lola: STP completed || 3 tries, 2285441 fired transitions, 1085 secs || 546461 markings, 728135 edges, 460 markings/sec, 1085 secs
lola: STP completed || 3 tries, 2290001 fired transitions, 1090 secs || 548596 markings, 731887 edges, 427 markings/sec, 1090 secs
lola: STP completed || 3 tries, 2294510 fired transitions, 1095 secs || 550935 markings, 736005 edges, 468 markings/sec, 1095 secs
lola: STP completed || 3 tries, 2299028 fired transitions, 1100 secs || 553299 markings, 740170 edges, 473 markings/sec, 1100 secs
lola: STP completed || 3 tries, 2303467 fired transitions, 1105 secs || 555674 markings, 743889 edges, 475 markings/sec, 1105 secs
lola: STP completed || 3 tries, 2307870 fired transitions, 1110 secs || 559091 markings, 748250 edges, 683 markings/sec, 1110 secs
lola: STP completed || 3 tries, 2312243 fired transitions, 1115 secs || 561216 markings, 751648 edges, 425 markings/sec, 1115 secs
lola: STP completed || 3 tries, 2316608 fired transitions, 1120 secs || 563428 markings, 755387 edges, 442 markings/sec, 1120 secs
lola: STP completed || 3 tries, 2320982 fired transitions, 1125 secs || 566312 markings, 760743 edges, 577 markings/sec, 1125 secs
lola: STP completed || 3 tries, 2325387 fired transitions, 1130 secs || 569108 markings, 765768 edges, 559 markings/sec, 1130 secs
lola: STP completed || 3 tries, 2329806 fired transitions, 1135 secs || 571255 markings, 769449 edges, 429 markings/sec, 1135 secs
lola: STP completed || 3 tries, 2334204 fired transitions, 1140 secs || 573238 markings, 772939 edges, 397 markings/sec, 1140 secs
lola: STP completed || 3 tries, 2338600 fired transitions, 1145 secs || 575064 markings, 776152 edges, 365 markings/sec, 1145 secs
lola: STP completed || 3 tries, 2342977 fired transitions, 1150 secs || 576773 markings, 779161 edges, 342 markings/sec, 1150 secs
lola: STP completed || 3 tries, 2347353 fired transitions, 1155 secs || 578573 markings, 781623 edges, 360 markings/sec, 1155 secs
lola: STP completed || 3 tries, 2351715 fired transitions, 1160 secs || 580162 markings, 783741 edges, 318 markings/sec, 1160 secs
lola: STP completed || 3 tries, 2356063 fired transitions, 1165 secs || 581917 markings, 786088 edges, 351 markings/sec, 1165 secs
lola: STP completed || 3 tries, 2360411 fired transitions, 1170 secs || 583588 markings, 788315 edges, 334 markings/sec, 1170 secs
lola: STP completed || 3 tries, 2364771 fired transitions, 1175 secs || 585334 markings, 790717 edges, 349 markings/sec, 1175 secs
lola: STP completed || 3 tries, 2369128 fired transitions, 1180 secs || 587104 markings, 793080 edges, 354 markings/sec, 1180 secs
lola: STP completed || 3 tries, 2374076 fired transitions, 1185 secs || 588805 markings, 795347 edges, 340 markings/sec, 1185 secs
lola: STP completed || 3 tries, 2396419 fired transitions, 1190 secs || 590694 markings, 797865 edges, 378 markings/sec, 1190 secs
lola: STP completed || 3 tries, 2417600 fired transitions, 1195 secs || 592500 markings, 800274 edges, 361 markings/sec, 1195 secs
lola: STP completed || 3 tries, 2435235 fired transitions, 1200 secs || 594457 markings, 802885 edges, 391 markings/sec, 1200 secs
lola: STP completed || 3 tries, 2452142 fired transitions, 1205 secs || 596283 markings, 805319 edges, 365 markings/sec, 1205 secs
lola: STP completed || 3 tries, 2467118 fired transitions, 1210 secs || 598210 markings, 807888 edges, 385 markings/sec, 1210 secs
lola: STP completed || 3 tries, 2482033 fired transitions, 1215 secs || 600000 markings, 810277 edges, 358 markings/sec, 1215 secs
lola: STP completed || 3 tries, 2496721 fired transitions, 1220 secs || 601852 markings, 812746 edges, 370 markings/sec, 1220 secs
lola: STP completed || 3 tries, 2511901 fired transitions, 1225 secs || 603499 markings, 814944 edges, 329 markings/sec, 1225 secs
lola: STP completed || 3 tries, 2527642 fired transitions, 1230 secs || 605322 markings, 817375 edges, 365 markings/sec, 1230 secs
lola: STP completed || 3 tries, 2544023 fired transitions, 1235 secs || 607171 markings, 819848 edges, 370 markings/sec, 1235 secs
lola: STP completed || 3 tries, 2559281 fired transitions, 1240 secs || 609020 markings, 822313 edges, 370 markings/sec, 1240 secs
lola: STP completed || 3 tries, 2573959 fired transitions, 1245 secs || 611033 markings, 824997 edges, 403 markings/sec, 1245 secs
lola: STP completed || 3 tries, 2588810 fired transitions, 1250 secs || 612893 markings, 827478 edges, 372 markings/sec, 1250 secs
lola: STP completed || 3 tries, 2604016 fired transitions, 1255 secs || 614860 markings, 830101 edges, 393 markings/sec, 1255 secs
lola: STP completed || 3 tries, 2619446 fired transitions, 1260 secs || 616736 markings, 832603 edges, 375 markings/sec, 1260 secs
lola: STP completed || 3 tries, 2635112 fired transitions, 1265 secs || 618589 markings, 835074 edges, 371 markings/sec, 1265 secs
lola: STP completed || 3 tries, 2652140 fired transitions, 1270 secs || 620438 markings, 837540 edges, 370 markings/sec, 1270 secs
lola: STP completed || 3 tries, 2668551 fired transitions, 1275 secs || 622255 markings, 839963 edges, 363 markings/sec, 1275 secs
lola: STP completed || 3 tries, 2685205 fired transitions, 1280 secs || 624040 markings, 842343 edges, 357 markings/sec, 1280 secs
lola: STP completed || 3 tries, 2700283 fired transitions, 1285 secs || 625888 markings, 844808 edges, 370 markings/sec, 1285 secs
lola: STP completed || 3 tries, 2715467 fired transitions, 1290 secs || 627680 markings, 847197 edges, 358 markings/sec, 1290 secs
lola: STP completed || 3 tries, 2730368 fired transitions, 1295 secs || 629422 markings, 849520 edges, 348 markings/sec, 1295 secs
lola: STP completed || 3 tries, 2744912 fired transitions, 1300 secs || 631165 markings, 851845 edges, 349 markings/sec, 1300 secs
lola: STP completed || 3 tries, 2760152 fired transitions, 1305 secs || 632921 markings, 854188 edges, 351 markings/sec, 1305 secs
lola: STP completed || 3 tries, 2775478 fired transitions, 1310 secs || 634784 markings, 856673 edges, 373 markings/sec, 1310 secs
lola: STP completed || 3 tries, 2790602 fired transitions, 1315 secs || 637288 markings, 860943 edges, 501 markings/sec, 1315 secs
lola: STP completed || 3 tries, 2806679 fired transitions, 1320 secs || 639710 markings, 865665 edges, 484 markings/sec, 1320 secs
lola: STP completed || 3 tries, 2823780 fired transitions, 1325 secs || 642248 markings, 870709 edges, 508 markings/sec, 1325 secs
lola: STP completed || 3 tries, 2841943 fired transitions, 1330 secs || 644648 markings, 875479 edges, 480 markings/sec, 1330 secs
lola: STP completed || 3 tries, 2860026 fired transitions, 1335 secs || 647031 markings, 880223 edges, 477 markings/sec, 1335 secs
lola: STP completed || 3 tries, 2877339 fired transitions, 1340 secs || 648835 markings, 883832 edges, 361 markings/sec, 1340 secs
lola: STP completed || 3 tries, 2895086 fired transitions, 1345 secs || 650378 markings, 886918 edges, 309 markings/sec, 1345 secs
lola: STP completed || 3 tries, 2912844 fired transitions, 1350 secs || 652182 markings, 890524 edges, 361 markings/sec, 1350 secs
lola: STP completed || 3 tries, 2931025 fired transitions, 1355 secs || 653808 markings, 893780 edges, 325 markings/sec, 1355 secs
lola: STP completed || 3 tries, 2950122 fired transitions, 1360 secs || 655487 markings, 897135 edges, 336 markings/sec, 1360 secs
lola: STP completed || 3 tries, 2969955 fired transitions, 1365 secs || 657219 markings, 900603 edges, 346 markings/sec, 1365 secs
lola: STP completed || 3 tries, 2990910 fired transitions, 1370 secs || 658753 markings, 903669 edges, 307 markings/sec, 1370 secs
lola: STP completed || 4 tries, 3011366 fired transitions, 1375 secs || 660405 markings, 906971 edges, 330 markings/sec, 1375 secs
lola: STP completed || 4 tries, 3038996 fired transitions, 1380 secs || 661889 markings, 909941 edges, 297 markings/sec, 1380 secs
lola: STP completed || 4 tries, 3080709 fired transitions, 1385 secs || 663549 markings, 913261 edges, 332 markings/sec, 1385 secs
lola: STP completed || 4 tries, 3124014 fired transitions, 1390 secs || 665150 markings, 916463 edges, 320 markings/sec, 1390 secs
lola: STP completed || 4 tries, 3180525 fired transitions, 1395 secs || 666747 markings, 919655 edges, 319 markings/sec, 1395 secs
lola: STP completed || 4 tries, 3209649 fired transitions, 1400 secs || 668466 markings, 923090 edges, 344 markings/sec, 1400 secs
lola: STP completed || 4 tries, 3243275 fired transitions, 1405 secs || 669908 markings, 925975 edges, 288 markings/sec, 1405 secs
lola: STP completed || 4 tries, 3273223 fired transitions, 1410 secs || 671670 markings, 929501 edges, 352 markings/sec, 1410 secs
lola: STP completed || 4 tries, 3294334 fired transitions, 1415 secs || 673112 markings, 932381 edges, 288 markings/sec, 1415 secs
lola: STP completed || 4 tries, 3311826 fired transitions, 1420 secs || 674727 markings, 935611 edges, 323 markings/sec, 1420 secs
lola: STP completed || 4 tries, 3322468 fired transitions, 1425 secs || 676224 markings, 938605 edges, 299 markings/sec, 1425 secs
lola: STP completed || 4 tries, 3330060 fired transitions, 1430 secs || 678585 markings, 942319 edges, 472 markings/sec, 1430 secs
lola: STP completed || 4 tries, 3340721 fired transitions, 1435 secs || 685690 markings, 949424 edges, 1421 markings/sec, 1435 secs
lola: STP completed || 4 tries, 3350702 fired transitions, 1440 secs || 690757 markings, 954491 edges, 1013 markings/sec, 1440 secs
lola: STP completed || 4 tries, 3360982 fired transitions, 1445 secs || 695131 markings, 958865 edges, 875 markings/sec, 1445 secs
lola: STP completed || 4 tries, 3371178 fired transitions, 1450 secs || 698843 markings, 962577 edges, 742 markings/sec, 1450 secs
lola: STP completed || 4 tries, 3381501 fired transitions, 1455 secs || 702156 markings, 965891 edges, 663 markings/sec, 1455 secs
lola: STP completed || 4 tries, 3391854 fired transitions, 1460 secs || 704642 markings, 968578 edges, 497 markings/sec, 1460 secs
lola: STP completed || 4 tries, 3402254 fired transitions, 1465 secs || 706870 markings, 972499 edges, 446 markings/sec, 1465 secs
lola: STP completed || 4 tries, 3412580 fired transitions, 1470 secs || 709081 markings, 976167 edges, 442 markings/sec, 1470 secs
lola: STP completed || 4 tries, 3422975 fired transitions, 1475 secs || 711350 markings, 980063 edges, 454 markings/sec, 1475 secs
lola: STP completed || 4 tries, 3432496 fired transitions, 1480 secs || 713630 markings, 984074 edges, 456 markings/sec, 1480 secs
lola: STP completed || 4 tries, 3441804 fired transitions, 1485 secs || 715835 markings, 987928 edges, 441 markings/sec, 1485 secs
lola: STP completed || 4 tries, 3447933 fired transitions, 1490 secs || 717962 markings, 991377 edges, 425 markings/sec, 1490 secs
lola: STP completed || 4 tries, 3454189 fired transitions, 1495 secs || 720148 markings, 995223 edges, 437 markings/sec, 1495 secs
lola: STP completed || 4 tries, 3460497 fired transitions, 1500 secs || 722443 markings, 999261 edges, 459 markings/sec, 1500 secs
lola: STP completed || 4 tries, 3466706 fired transitions, 1505 secs || 724631 markings, 1003071 edges, 438 markings/sec, 1505 secs
lola: STP completed || 4 tries, 3472918 fired transitions, 1510 secs || 726682 markings, 1006397 edges, 410 markings/sec, 1510 secs
lola: STP completed || 4 tries, 3479050 fired transitions, 1515 secs || 728780 markings, 1010090 edges, 420 markings/sec, 1515 secs
lola: STP completed || 4 tries, 3485201 fired transitions, 1520 secs || 730901 markings, 1013771 edges, 424 markings/sec, 1520 secs
lola: STP completed || 4 tries, 3491355 fired transitions, 1525 secs || 732943 markings, 1017176 edges, 408 markings/sec, 1525 secs
lola: STP completed || 4 tries, 3498336 fired transitions, 1530 secs || 734909 markings, 1020494 edges, 393 markings/sec, 1530 secs
lola: STP completed || 4 tries, 3505592 fired transitions, 1535 secs || 736957 markings, 1023998 edges, 410 markings/sec, 1535 secs
lola: STP completed || 4 tries, 3512870 fired transitions, 1540 secs || 739086 markings, 1027623 edges, 426 markings/sec, 1540 secs
lola: STP completed || 4 tries, 3520040 fired transitions, 1545 secs || 741400 markings, 1031697 edges, 463 markings/sec, 1545 secs
lola: STP completed || 4 tries, 3527086 fired transitions, 1550 secs || 743662 markings, 1035281 edges, 452 markings/sec, 1550 secs
lola: STP completed || 4 tries, 3534409 fired transitions, 1555 secs || 746058 markings, 1039498 edges, 479 markings/sec, 1555 secs
lola: STP completed || 4 tries, 3541939 fired transitions, 1560 secs || 748379 markings, 1043974 edges, 464 markings/sec, 1560 secs
lola: STP completed || 4 tries, 3549508 fired transitions, 1565 secs || 750594 markings, 1047950 edges, 443 markings/sec, 1565 secs
lola: STP completed || 4 tries, 3557155 fired transitions, 1570 secs || 752877 markings, 1051966 edges, 457 markings/sec, 1570 secs
lola: STP completed || 4 tries, 3564774 fired transitions, 1575 secs || 755050 markings, 1055792 edges, 435 markings/sec, 1575 secs
lola: STP completed || 4 tries, 3572399 fired transitions, 1580 secs || 756920 markings, 1059047 edges, 374 markings/sec, 1580 secs
lola: STP completed || 4 tries, 3580142 fired transitions, 1585 secs || 758551 markings, 1061765 edges, 326 markings/sec, 1585 secs
lola: STP completed || 4 tries, 3587884 fired transitions, 1590 secs || 760677 markings, 1064815 edges, 425 markings/sec, 1590 secs
lola: STP completed || 4 tries, 3595673 fired transitions, 1595 secs || 762442 markings, 1067786 edges, 353 markings/sec, 1595 secs
lola: STP completed || 4 tries, 3603732 fired transitions, 1600 secs || 764098 markings, 1070592 edges, 331 markings/sec, 1600 secs
FORMULA Philosophers-PT-010000-ReachabilityDeadlock-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN UNFOLDING_TO_PT
lola: RESULT
lola: result: yes
lola: produced by: state space
lola: The net has deadlock(s).
lola: 765009 markings, 1072073 edges
lola: memory consumption: 7062984 KB
lola: time consumption: 1608 seconds
BK_STOP 1527063656886
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Philosophers-PT-010000"
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/Philosophers-PT-010000.tgz
mv Philosophers-PT-010000 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 Philosophers-PT-010000, 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 r112-csrt-152666470000832"
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 ;