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 mcc4mcc-full
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 r118-csrt-152666479000832
=====================================================================

--------------------
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 1527301468758


BK_STOP 1527302991732

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

Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using Philosophers-PT-010000 as instance name.
Using Philosophers as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'ReachabilityDeadlock', 'Place/Transition': True, 'Colored': True, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': True, 'Source Place': False, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': True, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': False, 'Safe': True, 'Deadlock': True, 'Reversible': False, 'Quasi Live': None, 'Live': False}.
Known tools are: [{'Time': 1592462, 'Memory': 15952.62, 'Tool': 'lola'}, {'Time': 2433676, 'Memory': 4656.15, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
ReachabilityDeadlock lola Philosophers-PT-010000...

Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
Philosophers-PT-010000: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
Philosophers-PT-010000: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
ReachabilityDeadlock @ Philosophers-PT-010000 @ 3538 seconds
----- Start make result stderr -----
----- Start make result stdout -----
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: 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: E (F (DEADLOCK))
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3752 bytes per marking, with 16 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: STP: formula with 1200002 variables and 3630004 clauses shipped to Minisat
lola: STP running || 1 tries, 10079 fired transitions, 0 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 0 secs
lola: STP running || 1 tries, 18566 fired transitions, 5 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 5 secs
lola: STP running || 1 tries, 25184 fired transitions, 10 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 10 secs
lola: STP running || 1 tries, 31859 fired transitions, 15 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 15 secs
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 39761 fired transitions, 20 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 20 secs
lola: STP completed || 1 tries, 47550 fired transitions, 25 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 25 secs
lola: STP completed || 1 tries, 55092 fired transitions, 30 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 30 secs
lola: STP completed || 1 tries, 63095 fired transitions, 35 secs
lola: 0 generators;1249935000 candidates remain ( 0%), 35 secs
lola: STP completed || 1 tries, 71395 fired transitions, 40 secs
lola: 10000 generators; 0 candidates remain (100%), 40 secs
lola: STP completed || 1 tries, 79707 fired transitions, 45 secs
lola: 10000 generators; 0 candidates remain (100%), 45 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, 87981 fired transitions, 50 secs || 446 markings, 445 edges, 89 markings/sec, 50 secs
lola: STP completed || 1 tries, 96256 fired transitions, 55 secs || 1094 markings, 1093 edges, 130 markings/sec, 55 secs
lola: STP completed || 1 tries, 104173 fired transitions, 60 secs || 1573 markings, 1572 edges, 96 markings/sec, 60 secs
lola: STP completed || 1 tries, 112734 fired transitions, 65 secs || 1996 markings, 1996 edges, 85 markings/sec, 65 secs
lola: STP completed || 1 tries, 122051 fired transitions, 70 secs || 3314 markings, 3313 edges, 264 markings/sec, 70 secs
lola: STP completed || 1 tries, 131802 fired transitions, 75 secs || 3846 markings, 3845 edges, 106 markings/sec, 75 secs
lola: STP completed || 1 tries, 141539 fired transitions, 80 secs || 4248 markings, 4247 edges, 80 markings/sec, 80 secs
lola: STP completed || 1 tries, 150756 fired transitions, 85 secs || 4769 markings, 4768 edges, 104 markings/sec, 85 secs
lola: STP completed || 1 tries, 159815 fired transitions, 90 secs || 5415 markings, 5414 edges, 129 markings/sec, 90 secs
lola: STP completed || 1 tries, 168932 fired transitions, 95 secs || 5969 markings, 5968 edges, 111 markings/sec, 95 secs
lola: STP completed || 1 tries, 178220 fired transitions, 100 secs || 6408 markings, 6407 edges, 88 markings/sec, 100 secs
lola: STP completed || 1 tries, 187256 fired transitions, 105 secs || 6942 markings, 6941 edges, 107 markings/sec, 105 secs
lola: STP completed || 1 tries, 196575 fired transitions, 110 secs || 7461 markings, 7460 edges, 104 markings/sec, 110 secs
lola: STP completed || 1 tries, 206176 fired transitions, 115 secs || 7944 markings, 7944 edges, 97 markings/sec, 115 secs
lola: STP completed || 1 tries, 215696 fired transitions, 120 secs || 8326 markings, 8325 edges, 76 markings/sec, 120 secs
lola: STP completed || 1 tries, 225088 fired transitions, 125 secs || 8703 markings, 8702 edges, 75 markings/sec, 125 secs
lola: STP completed || 1 tries, 234549 fired transitions, 130 secs || 9569 markings, 9569 edges, 173 markings/sec, 130 secs
lola: STP completed || 1 tries, 243784 fired transitions, 135 secs || 10416 markings, 10553 edges, 169 markings/sec, 135 secs
lola: STP completed || 1 tries, 253148 fired transitions, 140 secs || 11052 markings, 11401 edges, 127 markings/sec, 140 secs
lola: STP completed || 1 tries, 262386 fired transitions, 145 secs || 11964 markings, 12617 edges, 182 markings/sec, 145 secs
lola: STP completed || 1 tries, 272055 fired transitions, 150 secs || 12611 markings, 13480 edges, 129 markings/sec, 150 secs
lola: STP completed || 1 tries, 281661 fired transitions, 155 secs || 13209 markings, 14278 edges, 120 markings/sec, 155 secs
lola: STP completed || 1 tries, 291567 fired transitions, 160 secs || 13809 markings, 15078 edges, 120 markings/sec, 160 secs
lola: STP completed || 1 tries, 301500 fired transitions, 165 secs || 14502 markings, 16002 edges, 139 markings/sec, 165 secs
lola: STP completed || 1 tries, 311095 fired transitions, 170 secs || 15152 markings, 16869 edges, 130 markings/sec, 170 secs
lola: STP completed || 1 tries, 321065 fired transitions, 175 secs || 15743 markings, 17657 edges, 118 markings/sec, 175 secs
lola: STP completed || 1 tries, 330978 fired transitions, 180 secs || 16327 markings, 18438 edges, 117 markings/sec, 180 secs
lola: STP completed || 1 tries, 340791 fired transitions, 185 secs || 16940 markings, 19255 edges, 123 markings/sec, 185 secs
lola: STP completed || 1 tries, 350135 fired transitions, 190 secs || 17583 markings, 20111 edges, 129 markings/sec, 190 secs
lola: STP completed || 1 tries, 359510 fired transitions, 195 secs || 18294 markings, 21060 edges, 142 markings/sec, 195 secs
lola: STP completed || 1 tries, 369785 fired transitions, 200 secs || 18933 markings, 21911 edges, 128 markings/sec, 200 secs
lola: STP completed || 1 tries, 380407 fired transitions, 205 secs || 19550 markings, 22735 edges, 123 markings/sec, 205 secs
lola: STP completed || 1 tries, 389947 fired transitions, 210 secs || 20219 markings, 23627 edges, 134 markings/sec, 210 secs
lola: STP completed || 1 tries, 399621 fired transitions, 215 secs || 20898 markings, 24532 edges, 136 markings/sec, 215 secs
lola: STP completed || 1 tries, 409045 fired transitions, 220 secs || 21583 markings, 25447 edges, 137 markings/sec, 220 secs
lola: STP completed || 1 tries, 418468 fired transitions, 225 secs || 22295 markings, 26395 edges, 142 markings/sec, 225 secs
lola: STP completed || 1 tries, 427817 fired transitions, 230 secs || 23213 markings, 27619 edges, 184 markings/sec, 230 secs
lola: STP completed || 1 tries, 436741 fired transitions, 235 secs || 24107 markings, 28811 edges, 179 markings/sec, 235 secs
lola: STP completed || 1 tries, 445737 fired transitions, 240 secs || 24743 markings, 29660 edges, 127 markings/sec, 240 secs
lola: STP completed || 1 tries, 455227 fired transitions, 245 secs || 25572 markings, 30765 edges, 166 markings/sec, 245 secs
lola: STP completed || 1 tries, 465176 fired transitions, 250 secs || 27357 markings, 33145 edges, 357 markings/sec, 250 secs
lola: STP completed || 1 tries, 475013 fired transitions, 255 secs || 28851 markings, 35138 edges, 299 markings/sec, 255 secs
lola: STP completed || 1 tries, 484622 fired transitions, 260 secs || 30204 markings, 36942 edges, 271 markings/sec, 260 secs
lola: STP completed || 1 tries, 493844 fired transitions, 265 secs || 31409 markings, 38549 edges, 241 markings/sec, 265 secs
lola: STP completed || 1 tries, 502939 fired transitions, 270 secs || 32102 markings, 39474 edges, 139 markings/sec, 270 secs
lola: STP completed || 1 tries, 511510 fired transitions, 275 secs || 32555 markings, 40078 edges, 91 markings/sec, 275 secs
lola: STP completed || 1 tries, 520218 fired transitions, 280 secs || 33441 markings, 41292 edges, 177 markings/sec, 280 secs
lola: STP completed || 1 tries, 528923 fired transitions, 285 secs || 34643 markings, 42894 edges, 240 markings/sec, 285 secs
lola: STP completed || 1 tries, 537543 fired transitions, 290 secs || 35869 markings, 44532 edges, 245 markings/sec, 290 secs
lola: STP completed || 1 tries, 546078 fired transitions, 295 secs || 36992 markings, 46086 edges, 225 markings/sec, 295 secs
lola: STP completed || 1 tries, 554852 fired transitions, 300 secs || 38185 markings, 47718 edges, 239 markings/sec, 300 secs
lola: STP completed || 1 tries, 563566 fired transitions, 305 secs || 39153 markings, 49009 edges, 194 markings/sec, 305 secs
lola: STP completed || 1 tries, 572367 fired transitions, 310 secs || 40337 markings, 50810 edges, 237 markings/sec, 310 secs
lola: STP completed || 1 tries, 581538 fired transitions, 315 secs || 41046 markings, 52229 edges, 142 markings/sec, 315 secs
lola: STP completed || 1 tries, 589815 fired transitions, 320 secs || 41921 markings, 53977 edges, 175 markings/sec, 320 secs
lola: STP completed || 1 tries, 597556 fired transitions, 325 secs || 42731 markings, 55597 edges, 162 markings/sec, 325 secs
lola: STP completed || 1 tries, 605190 fired transitions, 330 secs || 43515 markings, 57166 edges, 157 markings/sec, 330 secs
lola: STP completed || 1 tries, 612715 fired transitions, 335 secs || 44423 markings, 58982 edges, 182 markings/sec, 335 secs
lola: STP completed || 1 tries, 620137 fired transitions, 340 secs || 45345 markings, 60825 edges, 184 markings/sec, 340 secs
lola: STP completed || 1 tries, 627529 fired transitions, 345 secs || 46137 markings, 62410 edges, 158 markings/sec, 345 secs
lola: STP completed || 1 tries, 634797 fired transitions, 350 secs || 47039 markings, 64216 edges, 180 markings/sec, 350 secs
lola: STP completed || 1 tries, 642192 fired transitions, 355 secs || 48336 markings, 66808 edges, 259 markings/sec, 355 secs
lola: STP completed || 1 tries, 649639 fired transitions, 360 secs || 49311 markings, 68758 edges, 195 markings/sec, 360 secs
lola: STP completed || 1 tries, 656972 fired transitions, 365 secs || 50081 markings, 70299 edges, 154 markings/sec, 365 secs
lola: STP completed || 1 tries, 664327 fired transitions, 370 secs || 50807 markings, 71751 edges, 145 markings/sec, 370 secs
lola: STP completed || 1 tries, 671570 fired transitions, 375 secs || 51470 markings, 73077 edges, 133 markings/sec, 375 secs
lola: STP completed || 1 tries, 678856 fired transitions, 380 secs || 52077 markings, 74292 edges, 121 markings/sec, 380 secs
lola: STP completed || 1 tries, 686203 fired transitions, 385 secs || 52790 markings, 75717 edges, 143 markings/sec, 385 secs
lola: STP completed || 1 tries, 693641 fired transitions, 390 secs || 53463 markings, 77065 edges, 135 markings/sec, 390 secs
lola: STP completed || 1 tries, 701199 fired transitions, 395 secs || 54102 markings, 78341 edges, 128 markings/sec, 395 secs
lola: STP completed || 1 tries, 708859 fired transitions, 400 secs || 54756 markings, 79650 edges, 131 markings/sec, 400 secs
lola: STP completed || 1 tries, 716439 fired transitions, 405 secs || 55376 markings, 80889 edges, 124 markings/sec, 405 secs
lola: STP completed || 1 tries, 724067 fired transitions, 410 secs || 56106 markings, 82349 edges, 146 markings/sec, 410 secs
lola: STP completed || 1 tries, 731669 fired transitions, 415 secs || 56822 markings, 83780 edges, 143 markings/sec, 415 secs
lola: STP completed || 1 tries, 739115 fired transitions, 420 secs || 57485 markings, 85106 edges, 133 markings/sec, 420 secs
lola: STP completed || 1 tries, 746338 fired transitions, 425 secs || 58116 markings, 86367 edges, 126 markings/sec, 425 secs
lola: STP completed || 1 tries, 753625 fired transitions, 430 secs || 58755 markings, 87648 edges, 128 markings/sec, 430 secs
lola: STP completed || 1 tries, 760591 fired transitions, 435 secs || 59570 markings, 89276 edges, 163 markings/sec, 435 secs
lola: STP completed || 1 tries, 767583 fired transitions, 440 secs || 60329 markings, 90793 edges, 152 markings/sec, 440 secs
lola: STP completed || 1 tries, 774551 fired transitions, 445 secs || 61025 markings, 92184 edges, 139 markings/sec, 445 secs
lola: STP completed || 1 tries, 781521 fired transitions, 450 secs || 61643 markings, 93421 edges, 124 markings/sec, 450 secs
lola: STP completed || 1 tries, 788498 fired transitions, 455 secs || 62298 markings, 94733 edges, 131 markings/sec, 455 secs
lola: STP completed || 1 tries, 795445 fired transitions, 460 secs || 62966 markings, 96092 edges, 134 markings/sec, 460 secs
lola: STP completed || 1 tries, 802515 fired transitions, 465 secs || 63717 markings, 97621 edges, 150 markings/sec, 465 secs
lola: STP completed || 1 tries, 809864 fired transitions, 470 secs || 64518 markings, 99223 edges, 160 markings/sec, 470 secs
lola: STP completed || 1 tries, 817417 fired transitions, 475 secs || 65151 markings, 100487 edges, 127 markings/sec, 475 secs
lola: STP completed || 1 tries, 824946 fired transitions, 480 secs || 65594 markings, 101375 edges, 89 markings/sec, 480 secs
lola: STP completed || 1 tries, 832186 fired transitions, 485 secs || 65994 markings, 102175 edges, 80 markings/sec, 485 secs
lola: STP completed || 1 tries, 839573 fired transitions, 490 secs || 66519 markings, 103226 edges, 105 markings/sec, 490 secs
lola: STP completed || 1 tries, 846842 fired transitions, 495 secs || 67194 markings, 104689 edges, 135 markings/sec, 495 secs
lola: STP completed || 1 tries, 854109 fired transitions, 500 secs || 67895 markings, 106098 edges, 140 markings/sec, 500 secs
lola: STP completed || 1 tries, 861262 fired transitions, 505 secs || 68693 markings, 107691 edges, 160 markings/sec, 505 secs
lola: STP completed || 1 tries, 868260 fired transitions, 510 secs || 69344 markings, 108994 edges, 130 markings/sec, 510 secs
lola: STP completed || 1 tries, 875190 fired transitions, 515 secs || 69968 markings, 110244 edges, 125 markings/sec, 515 secs
lola: STP completed || 1 tries, 882143 fired transitions, 520 secs || 78685 markings, 118996 edges, 1743 markings/sec, 520 secs
lola: STP completed || 1 tries, 889025 fired transitions, 525 secs || 83861 markings, 124171 edges, 1035 markings/sec, 525 secs
lola: STP completed || 1 tries, 895852 fired transitions, 530 secs || 87559 markings, 127869 edges, 740 markings/sec, 530 secs
lola: STP completed || 1 tries, 902696 fired transitions, 535 secs || 90342 markings, 130652 edges, 557 markings/sec, 535 secs
lola: STP completed || 1 tries, 909517 fired transitions, 540 secs || 92640 markings, 132950 edges, 460 markings/sec, 540 secs
lola: STP completed || 1 tries, 916333 fired transitions, 545 secs || 94549 markings, 134859 edges, 382 markings/sec, 545 secs
lola: STP completed || 1 tries, 923157 fired transitions, 550 secs || 96439 markings, 136750 edges, 378 markings/sec, 550 secs
lola: STP completed || 1 tries, 929873 fired transitions, 555 secs || 97430 markings, 137740 edges, 198 markings/sec, 555 secs
lola: STP completed || 1 tries, 936503 fired transitions, 560 secs || 98402 markings, 138712 edges, 194 markings/sec, 560 secs
lola: STP completed || 1 tries, 943212 fired transitions, 565 secs || 99260 markings, 139571 edges, 172 markings/sec, 565 secs
lola: STP completed || 1 tries, 949899 fired transitions, 570 secs || 99895 markings, 140206 edges, 127 markings/sec, 570 secs
lola: STP completed || 1 tries, 956602 fired transitions, 575 secs || 107956 markings, 148266 edges, 1612 markings/sec, 575 secs
lola: STP completed || 1 tries, 963157 fired transitions, 580 secs || 113863 markings, 154174 edges, 1181 markings/sec, 580 secs
lola: STP completed || 1 tries, 969711 fired transitions, 585 secs || 117970 markings, 158280 edges, 821 markings/sec, 585 secs
lola: STP completed || 1 tries, 976413 fired transitions, 590 secs || 121780 markings, 162090 edges, 762 markings/sec, 590 secs
lola: STP completed || 1 tries, 983008 fired transitions, 595 secs || 123665 markings, 163975 edges, 377 markings/sec, 595 secs
lola: STP completed || 1 tries, 989684 fired transitions, 600 secs || 124459 markings, 164769 edges, 159 markings/sec, 600 secs
lola: STP completed || 1 tries, 996554 fired transitions, 605 secs || 125233 markings, 165543 edges, 155 markings/sec, 605 secs
lola: STP completed || 2 tries, 1001439 fired transitions, 610 secs || 126188 markings, 166498 edges, 191 markings/sec, 610 secs
lola: STP completed || 2 tries, 1004283 fired transitions, 615 secs || 127278 markings, 167588 edges, 218 markings/sec, 615 secs
lola: STP completed || 2 tries, 1007233 fired transitions, 620 secs || 128291 markings, 168601 edges, 203 markings/sec, 620 secs
lola: STP completed || 2 tries, 1010362 fired transitions, 625 secs || 129212 markings, 169522 edges, 184 markings/sec, 625 secs
lola: STP completed || 2 tries, 1013217 fired transitions, 630 secs || 129927 markings, 170237 edges, 143 markings/sec, 630 secs
lola: STP completed || 2 tries, 1016116 fired transitions, 635 secs || 130757 markings, 171332 edges, 166 markings/sec, 635 secs
lola: STP completed || 2 tries, 1019442 fired transitions, 640 secs || 131807 markings, 172733 edges, 210 markings/sec, 640 secs
lola: STP completed || 2 tries, 1022687 fired transitions, 645 secs || 132751 markings, 173991 edges, 189 markings/sec, 645 secs
lola: STP completed || 2 tries, 1025359 fired transitions, 650 secs || 133270 markings, 174684 edges, 104 markings/sec, 650 secs
lola: STP completed || 2 tries, 1028231 fired transitions, 655 secs || 133930 markings, 175569 edges, 132 markings/sec, 655 secs
lola: STP completed || 2 tries, 1031189 fired transitions, 660 secs || 134822 markings, 176772 edges, 178 markings/sec, 660 secs
lola: STP completed || 2 tries, 1034104 fired transitions, 665 secs || 135710 markings, 177956 edges, 178 markings/sec, 665 secs
lola: STP completed || 2 tries, 1036694 fired transitions, 670 secs || 136513 markings, 179028 edges, 161 markings/sec, 670 secs
lola: STP completed || 2 tries, 1039081 fired transitions, 675 secs || 137231 markings, 179984 edges, 144 markings/sec, 675 secs
lola: STP completed || 2 tries, 1041709 fired transitions, 680 secs || 138113 markings, 181164 edges, 176 markings/sec, 680 secs
lola: STP completed || 2 tries, 1044441 fired transitions, 685 secs || 139040 markings, 182400 edges, 185 markings/sec, 685 secs
lola: STP completed || 2 tries, 1047335 fired transitions, 690 secs || 139585 markings, 183129 edges, 109 markings/sec, 690 secs
lola: STP completed || 2 tries, 1050344 fired transitions, 695 secs || 139981 markings, 183656 edges, 79 markings/sec, 695 secs
lola: STP completed || 2 tries, 1053539 fired transitions, 700 secs || 140858 markings, 184825 edges, 175 markings/sec, 700 secs
lola: STP completed || 2 tries, 1057010 fired transitions, 705 secs || 141925 markings, 186248 edges, 213 markings/sec, 705 secs
lola: STP completed || 2 tries, 1059371 fired transitions, 710 secs || 142733 markings, 187333 edges, 162 markings/sec, 710 secs
lola: STP completed || 2 tries, 1062132 fired transitions, 715 secs || 143732 markings, 188663 edges, 200 markings/sec, 715 secs
lola: STP completed || 2 tries, 1064599 fired transitions, 720 secs || 144545 markings, 189748 edges, 163 markings/sec, 720 secs
lola: STP completed || 2 tries, 1066779 fired transitions, 725 secs || 145262 markings, 190705 edges, 143 markings/sec, 725 secs
lola: STP completed || 2 tries, 1069238 fired transitions, 730 secs || 146149 markings, 191958 edges, 177 markings/sec, 730 secs
lola: STP completed || 2 tries, 1072188 fired transitions, 735 secs || 147116 markings, 193249 edges, 193 markings/sec, 735 secs
lola: STP completed || 2 tries, 1074457 fired transitions, 740 secs || 147904 markings, 194298 edges, 158 markings/sec, 740 secs
lola: STP completed || 2 tries, 1076994 fired transitions, 745 secs || 148688 markings, 195344 edges, 157 markings/sec, 745 secs
lola: STP completed || 2 tries, 1079604 fired transitions, 750 secs || 149612 markings, 196668 edges, 185 markings/sec, 750 secs
lola: STP completed || 2 tries, 1082480 fired transitions, 755 secs || 150709 markings, 198131 edges, 219 markings/sec, 755 secs
lola: STP completed || 2 tries, 1085669 fired transitions, 760 secs || 151811 markings, 199601 edges, 220 markings/sec, 760 secs
lola: STP completed || 2 tries, 1088374 fired transitions, 765 secs || 152468 markings, 200476 edges, 131 markings/sec, 765 secs
lola: STP completed || 2 tries, 1091201 fired transitions, 770 secs || 152879 markings, 201045 edges, 82 markings/sec, 770 secs
lola: STP completed || 2 tries, 1093194 fired transitions, 775 secs || 153499 markings, 201938 edges, 124 markings/sec, 775 secs
lola: STP completed || 2 tries, 1094166 fired transitions, 780 secs || 154160 markings, 202819 edges, 132 markings/sec, 780 secs
lola: STP completed || 2 tries, 1095957 fired transitions, 785 secs || 154805 markings, 203679 edges, 129 markings/sec, 785 secs
lola: STP completed || 2 tries, 1097668 fired transitions, 790 secs || 155405 markings, 204480 edges, 120 markings/sec, 790 secs
lola: STP completed || 2 tries, 1099030 fired transitions, 795 secs || 156004 markings, 205279 edges, 120 markings/sec, 795 secs
lola: STP completed || 2 tries, 1100500 fired transitions, 800 secs || 156614 markings, 206093 edges, 122 markings/sec, 800 secs
lola: STP completed || 2 tries, 1102304 fired transitions, 805 secs || 157264 markings, 206995 edges, 130 markings/sec, 805 secs
lola: STP completed || 2 tries, 1103724 fired transitions, 810 secs || 157868 markings, 207800 edges, 121 markings/sec, 810 secs
lola: STP completed || 2 tries, 1105135 fired transitions, 815 secs || 158468 markings, 208601 edges, 120 markings/sec, 815 secs
lola: STP completed || 2 tries, 1107083 fired transitions, 820 secs || 159103 markings, 209466 edges, 127 markings/sec, 820 secs
lola: STP completed || 2 tries, 1109665 fired transitions, 825 secs || 160086 markings, 211152 edges, 197 markings/sec, 825 secs
lola: STP completed || 2 tries, 1111823 fired transitions, 830 secs || 161337 markings, 213471 edges, 250 markings/sec, 830 secs
lola: STP completed || 2 tries, 1114273 fired transitions, 835 secs || 162726 markings, 216053 edges, 278 markings/sec, 835 secs
lola: STP completed || 2 tries, 1116883 fired transitions, 840 secs || 168700 markings, 222307 edges, 1195 markings/sec, 840 secs
lola: STP completed || 2 tries, 1119980 fired transitions, 845 secs || 175035 markings, 228642 edges, 1267 markings/sec, 845 secs
lola: STP completed || 2 tries, 1123997 fired transitions, 850 secs || 179767 markings, 233375 edges, 946 markings/sec, 850 secs
lola: STP completed || 2 tries, 1127395 fired transitions, 855 secs || 183567 markings, 237175 edges, 760 markings/sec, 855 secs
lola: STP completed || 2 tries, 1130434 fired transitions, 860 secs || 186028 markings, 239635 edges, 492 markings/sec, 860 secs
lola: STP completed || 2 tries, 1133913 fired transitions, 865 secs || 188477 markings, 242085 edges, 490 markings/sec, 865 secs
lola: STP completed || 2 tries, 1137690 fired transitions, 870 secs || 190604 markings, 244420 edges, 425 markings/sec, 870 secs
lola: STP completed || 2 tries, 1141291 fired transitions, 875 secs || 192302 markings, 247000 edges, 340 markings/sec, 875 secs
lola: STP completed || 2 tries, 1144688 fired transitions, 880 secs || 194161 markings, 249870 edges, 372 markings/sec, 880 secs
lola: STP completed || 2 tries, 1148357 fired transitions, 885 secs || 196252 markings, 252320 edges, 418 markings/sec, 885 secs
lola: STP completed || 2 tries, 1151939 fired transitions, 890 secs || 197827 markings, 254944 edges, 315 markings/sec, 890 secs
lola: STP completed || 2 tries, 1155442 fired transitions, 895 secs || 200429 markings, 258247 edges, 520 markings/sec, 895 secs
lola: STP completed || 2 tries, 1158731 fired transitions, 900 secs || 201829 markings, 260347 edges, 280 markings/sec, 900 secs
lola: STP completed || 2 tries, 1161717 fired transitions, 905 secs || 203248 markings, 262601 edges, 284 markings/sec, 905 secs
lola: STP completed || 2 tries, 1164685 fired transitions, 910 secs || 205147 markings, 265078 edges, 380 markings/sec, 910 secs
lola: STP completed || 2 tries, 1167563 fired transitions, 915 secs || 206401 markings, 267168 edges, 251 markings/sec, 915 secs
lola: STP completed || 2 tries, 1170900 fired transitions, 920 secs || 207999 markings, 269680 edges, 320 markings/sec, 920 secs
lola: STP completed || 2 tries, 1174553 fired transitions, 925 secs || 209660 markings, 272034 edges, 332 markings/sec, 925 secs
lola: STP completed || 2 tries, 1177514 fired transitions, 930 secs || 210840 markings, 274002 edges, 236 markings/sec, 930 secs
lola: STP completed || 2 tries, 1180707 fired transitions, 935 secs || 212874 markings, 276594 edges, 407 markings/sec, 935 secs
lola: STP completed || 2 tries, 1183984 fired transitions, 940 secs || 215081 markings, 279804 edges, 441 markings/sec, 940 secs
lola: STP completed || 2 tries, 1187603 fired transitions, 945 secs || 216315 markings, 281927 edges, 247 markings/sec, 945 secs
lola: STP completed || 2 tries, 1190990 fired transitions, 950 secs || 218798 markings, 285123 edges, 497 markings/sec, 950 secs
lola: STP completed || 2 tries, 1194140 fired transitions, 955 secs || 219523 markings, 286008 edges, 145 markings/sec, 955 secs
lola: STP completed || 2 tries, 1197385 fired transitions, 960 secs || 220163 markings, 287076 edges, 128 markings/sec, 960 secs
lola: STP completed || 2 tries, 1200173 fired transitions, 965 secs || 220795 markings, 288128 edges, 126 markings/sec, 965 secs
lola: STP completed || 2 tries, 1203515 fired transitions, 970 secs || 221367 markings, 289083 edges, 114 markings/sec, 970 secs
lola: STP completed || 2 tries, 1206703 fired transitions, 975 secs || 222540 markings, 290566 edges, 235 markings/sec, 975 secs
lola: STP completed || 2 tries, 1210296 fired transitions, 980 secs || 223136 markings, 291464 edges, 119 markings/sec, 980 secs
lola: STP completed || 2 tries, 1214019 fired transitions, 985 secs || 223827 markings, 292616 edges, 138 markings/sec, 985 secs
lola: STP completed || 2 tries, 1217946 fired transitions, 990 secs || 224454 markings, 293661 edges, 125 markings/sec, 990 secs
lola: STP completed || 2 tries, 1221915 fired transitions, 995 secs || 225021 markings, 294606 edges, 113 markings/sec, 995 secs
lola: STP completed || 2 tries, 1225505 fired transitions, 1000 secs || 225682 markings, 295709 edges, 132 markings/sec, 1000 secs
lola: STP completed || 2 tries, 1229078 fired transitions, 1005 secs || 234384 markings, 304499 edges, 1740 markings/sec, 1005 secs
lola: STP completed || 2 tries, 1232820 fired transitions, 1010 secs || 239937 markings, 310053 edges, 1111 markings/sec, 1010 secs
lola: STP completed || 2 tries, 1235952 fired transitions, 1015 secs || 243851 markings, 313967 edges, 783 markings/sec, 1015 secs
lola: STP completed || 2 tries, 1239069 fired transitions, 1020 secs || 246738 markings, 316853 edges, 577 markings/sec, 1020 secs
lola: STP completed || 2 tries, 1241629 fired transitions, 1025 secs || 248944 markings, 319059 edges, 441 markings/sec, 1025 secs
lola: STP completed || 2 tries, 1244605 fired transitions, 1030 secs || 249607 markings, 319722 edges, 133 markings/sec, 1030 secs
lola: STP completed || 2 tries, 1247882 fired transitions, 1035 secs || 250845 markings, 321821 edges, 248 markings/sec, 1035 secs
lola: STP completed || 2 tries, 1250977 fired transitions, 1040 secs || 253171 markings, 325198 edges, 465 markings/sec, 1040 secs
lola: STP completed || 2 tries, 1254457 fired transitions, 1045 secs || 255451 markings, 328942 edges, 456 markings/sec, 1045 secs
lola: STP completed || 2 tries, 1257770 fired transitions, 1050 secs || 257029 markings, 331047 edges, 316 markings/sec, 1050 secs
lola: STP completed || 2 tries, 1260757 fired transitions, 1055 secs || 258870 markings, 333800 edges, 368 markings/sec, 1055 secs
lola: STP completed || 2 tries, 1264173 fired transitions, 1060 secs || 260295 markings, 336069 edges, 285 markings/sec, 1060 secs
lola: STP completed || 2 tries, 1267212 fired transitions, 1065 secs || 260912 markings, 336893 edges, 123 markings/sec, 1065 secs
lola: STP completed || 2 tries, 1270797 fired transitions, 1070 secs || 262010 markings, 338356 edges, 220 markings/sec, 1070 secs
lola: STP completed || 2 tries, 1274669 fired transitions, 1075 secs || 265180 markings, 342325 edges, 634 markings/sec, 1075 secs
lola: STP completed || 2 tries, 1278421 fired transitions, 1080 secs || 266390 markings, 343737 edges, 242 markings/sec, 1080 secs
lola: STP completed || 2 tries, 1282509 fired transitions, 1085 secs || 270004 markings, 349132 edges, 723 markings/sec, 1085 secs
lola: STP completed || 2 tries, 1287406 fired transitions, 1090 secs || 271361 markings, 351555 edges, 271 markings/sec, 1090 secs
lola: STP completed || 2 tries, 1292287 fired transitions, 1095 secs || 272691 markings, 353459 edges, 266 markings/sec, 1095 secs
lola: STP completed || 2 tries, 1297338 fired transitions, 1100 secs || 275792 markings, 357160 edges, 620 markings/sec, 1100 secs
lola: STP completed || 2 tries, 1302387 fired transitions, 1105 secs || 277450 markings, 359387 edges, 332 markings/sec, 1105 secs
lola: STP completed || 2 tries, 1307222 fired transitions, 1110 secs || 280513 markings, 363256 edges, 613 markings/sec, 1110 secs
lola: STP completed || 2 tries, 1312031 fired transitions, 1115 secs || 281699 markings, 364714 edges, 237 markings/sec, 1115 secs
lola: STP completed || 2 tries, 1316726 fired transitions, 1120 secs || 282881 markings, 366349 edges, 236 markings/sec, 1120 secs
lola: STP completed || 2 tries, 1321581 fired transitions, 1125 secs || 285898 markings, 370012 edges, 603 markings/sec, 1125 secs
lola: STP completed || 2 tries, 1326382 fired transitions, 1130 secs || 286749 markings, 371122 edges, 170 markings/sec, 1130 secs
lola: STP completed || 2 tries, 1331185 fired transitions, 1135 secs || 287781 markings, 372499 edges, 206 markings/sec, 1135 secs
lola: STP completed || 2 tries, 1335998 fired transitions, 1140 secs || 288603 markings, 373594 edges, 164 markings/sec, 1140 secs
lola: STP completed || 2 tries, 1340775 fired transitions, 1145 secs || 289398 markings, 374655 edges, 159 markings/sec, 1145 secs
lola: STP completed || 2 tries, 1345291 fired transitions, 1150 secs || 290373 markings, 375956 edges, 195 markings/sec, 1150 secs
lola: STP completed || 2 tries, 1349906 fired transitions, 1155 secs || 291423 markings, 377356 edges, 210 markings/sec, 1155 secs
lola: STP completed || 2 tries, 1354735 fired transitions, 1160 secs || 292383 markings, 378637 edges, 192 markings/sec, 1160 secs
lola: STP completed || 2 tries, 1359565 fired transitions, 1165 secs || 293358 markings, 379936 edges, 195 markings/sec, 1165 secs
lola: STP completed || 2 tries, 1364408 fired transitions, 1170 secs || 294530 markings, 381499 edges, 234 markings/sec, 1170 secs
lola: STP completed || 2 tries, 1369319 fired transitions, 1175 secs || 295764 markings, 383145 edges, 247 markings/sec, 1175 secs
lola: STP completed || 2 tries, 1374226 fired transitions, 1180 secs || 296976 markings, 384761 edges, 242 markings/sec, 1180 secs
lola: STP completed || 2 tries, 1379146 fired transitions, 1185 secs || 298097 markings, 386256 edges, 224 markings/sec, 1185 secs
lola: STP completed || 2 tries, 1384070 fired transitions, 1190 secs || 299355 markings, 387938 edges, 252 markings/sec, 1190 secs
lola: STP completed || 2 tries, 1388945 fired transitions, 1195 secs || 300393 markings, 389322 edges, 208 markings/sec, 1195 secs
lola: STP completed || 2 tries, 1393790 fired transitions, 1200 secs || 301320 markings, 390568 edges, 185 markings/sec, 1200 secs
lola: STP completed || 2 tries, 1398653 fired transitions, 1205 secs || 302487 markings, 392148 edges, 233 markings/sec, 1205 secs
lola: STP completed || 2 tries, 1403517 fired transitions, 1210 secs || 303566 markings, 393587 edges, 216 markings/sec, 1210 secs
lola: STP completed || 2 tries, 1408412 fired transitions, 1215 secs || 304829 markings, 395273 edges, 253 markings/sec, 1215 secs
lola: STP completed || 2 tries, 1413193 fired transitions, 1220 secs || 306150 markings, 397091 edges, 264 markings/sec, 1220 secs
lola: STP completed || 2 tries, 1418020 fired transitions, 1225 secs || 307634 markings, 399070 edges, 297 markings/sec, 1225 secs
lola: STP completed || 2 tries, 1422928 fired transitions, 1230 secs || 309231 markings, 401256 edges, 319 markings/sec, 1230 secs
lola: STP completed || 2 tries, 1427800 fired transitions, 1235 secs || 310731 markings, 403292 edges, 300 markings/sec, 1235 secs
lola: STP completed || 2 tries, 1432636 fired transitions, 1240 secs || 312186 markings, 405234 edges, 291 markings/sec, 1240 secs
lola: STP completed || 2 tries, 1437482 fired transitions, 1245 secs || 313553 markings, 407087 edges, 273 markings/sec, 1245 secs
lola: STP completed || 2 tries, 1442295 fired transitions, 1250 secs || 314808 markings, 408760 edges, 251 markings/sec, 1250 secs
lola: STP completed || 2 tries, 1447033 fired transitions, 1255 secs || 315867 markings, 410731 edges, 212 markings/sec, 1255 secs
lola: STP completed || 2 tries, 1451707 fired transitions, 1260 secs || 316833 markings, 412673 edges, 193 markings/sec, 1260 secs
lola: STP completed || 2 tries, 1456321 fired transitions, 1265 secs || 321875 markings, 418218 edges, 1008 markings/sec, 1265 secs
lola: STP completed || 2 tries, 1460951 fired transitions, 1270 secs || 329047 markings, 425390 edges, 1434 markings/sec, 1270 secs
lola: STP completed || 2 tries, 1465487 fired transitions, 1275 secs || 333928 markings, 430270 edges, 976 markings/sec, 1275 secs
lola: STP completed || 2 tries, 1470051 fired transitions, 1280 secs || 338108 markings, 434451 edges, 836 markings/sec, 1280 secs
lola: STP completed || 2 tries, 1474758 fired transitions, 1285 secs || 341648 markings, 437990 edges, 708 markings/sec, 1285 secs
lola: STP completed || 2 tries, 1479386 fired transitions, 1290 secs || 344088 markings, 440432 edges, 488 markings/sec, 1290 secs
lola: STP completed || 2 tries, 1483548 fired transitions, 1295 secs || 345895 markings, 443287 edges, 361 markings/sec, 1295 secs
lola: STP completed || 2 tries, 1487911 fired transitions, 1300 secs || 347636 markings, 446091 edges, 348 markings/sec, 1300 secs
lola: STP completed || 2 tries, 1492329 fired transitions, 1305 secs || 349899 markings, 449711 edges, 453 markings/sec, 1305 secs
lola: STP completed || 2 tries, 1496631 fired transitions, 1310 secs || 351809 markings, 452878 edges, 382 markings/sec, 1310 secs
lola: STP completed || 2 tries, 1500803 fired transitions, 1315 secs || 353791 markings, 455999 edges, 396 markings/sec, 1315 secs
lola: STP completed || 2 tries, 1504908 fired transitions, 1320 secs || 355695 markings, 459090 edges, 381 markings/sec, 1320 secs
lola: STP completed || 2 tries, 1508627 fired transitions, 1325 secs || 357305 markings, 461716 edges, 322 markings/sec, 1325 secs
lola: STP completed || 2 tries, 1512408 fired transitions, 1330 secs || 358885 markings, 464212 edges, 316 markings/sec, 1330 secs
lola: STP completed || 2 tries, 1516459 fired transitions, 1335 secs || 360550 markings, 466981 edges, 333 markings/sec, 1335 secs
lola: STP completed || 2 tries, 1520555 fired transitions, 1340 secs || 362346 markings, 469848 edges, 359 markings/sec, 1340 secs
lola: STP completed || 2 tries, 1524741 fired transitions, 1345 secs || 364348 markings, 473145 edges, 400 markings/sec, 1345 secs
lola: STP completed || 2 tries, 1528931 fired transitions, 1350 secs || 366520 markings, 476687 edges, 434 markings/sec, 1350 secs
lola: STP completed || 2 tries, 1532997 fired transitions, 1355 secs || 369022 markings, 480374 edges, 500 markings/sec, 1355 secs
lola: STP completed || 2 tries, 1537037 fired transitions, 1360 secs || 371356 markings, 484109 edges, 467 markings/sec, 1360 secs
lola: STP completed || 2 tries, 1541168 fired transitions, 1365 secs || 373711 markings, 487889 edges, 471 markings/sec, 1365 secs
lola: STP completed || 2 tries, 1545295 fired transitions, 1370 secs || 375472 markings, 490824 edges, 352 markings/sec, 1370 secs
lola: STP completed || 2 tries, 1549437 fired transitions, 1375 secs || 377402 markings, 493875 edges, 386 markings/sec, 1375 secs
lola: STP completed || 2 tries, 1553589 fired transitions, 1380 secs || 379188 markings, 496850 edges, 357 markings/sec, 1380 secs
lola: STP completed || 2 tries, 1557747 fired transitions, 1385 secs || 381098 markings, 499694 edges, 382 markings/sec, 1385 secs
lola: STP completed || 2 tries, 1561936 fired transitions, 1390 secs || 383213 markings, 502652 edges, 423 markings/sec, 1390 secs
lola: STP completed || 2 tries, 1566079 fired transitions, 1395 secs || 385107 markings, 505276 edges, 379 markings/sec, 1395 secs
lola: STP completed || 2 tries, 1570202 fired transitions, 1400 secs || 386997 markings, 507928 edges, 378 markings/sec, 1400 secs
lola: STP completed || 2 tries, 1574346 fired transitions, 1405 secs || 389540 markings, 511485 edges, 509 markings/sec, 1405 secs
lola: STP completed || 2 tries, 1578531 fired transitions, 1410 secs || 392133 markings, 515104 edges, 519 markings/sec, 1410 secs
lola: STP completed || 2 tries, 1582711 fired transitions, 1415 secs || 394745 markings, 518734 edges, 522 markings/sec, 1415 secs
lola: STP completed || 2 tries, 1586899 fired transitions, 1420 secs || 401511 markings, 526151 edges, 1353 markings/sec, 1420 secs
lola: STP completed || 2 tries, 1591082 fired transitions, 1425 secs || 410797 markings, 535437 edges, 1857 markings/sec, 1425 secs
lola: STP completed || 2 tries, 1595235 fired transitions, 1430 secs || 417081 markings, 541721 edges, 1257 markings/sec, 1430 secs
lola: STP completed || 2 tries, 1599329 fired transitions, 1435 secs || 420776 markings, 545415 edges, 739 markings/sec, 1435 secs
lola: STP completed || 2 tries, 1603419 fired transitions, 1440 secs || 422690 markings, 547329 edges, 383 markings/sec, 1440 secs
lola: STP completed || 2 tries, 1607580 fired transitions, 1445 secs || 424559 markings, 549198 edges, 374 markings/sec, 1445 secs
lola: STP completed || 2 tries, 1611745 fired transitions, 1450 secs || 426389 markings, 551055 edges, 366 markings/sec, 1450 secs
lola: STP completed || 2 tries, 1615854 fired transitions, 1455 secs || 428205 markings, 553977 edges, 363 markings/sec, 1455 secs
lola: STP completed || 2 tries, 1619962 fired transitions, 1460 secs || 429633 markings, 556795 edges, 286 markings/sec, 1460 secs
lola: STP completed || 2 tries, 1624093 fired transitions, 1465 secs || 431064 markings, 559612 edges, 286 markings/sec, 1465 secs
lola: STP completed || 2 tries, 1628238 fired transitions, 1470 secs || 432584 markings, 562575 edges, 304 markings/sec, 1470 secs
lola: RESULT
lola: result: yes
lola: produced by: state space
lola: The net has deadlock(s).
lola: 433257 markings, 563672 edges
FORMULA Philosophers-PT-010000-ReachabilityDeadlock-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Kill lola and sara stderr -----
----- Finished stdout -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Philosophers-PT-010000"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="mcc4mcc-full"
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 mcc4mcc-full"
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 r118-csrt-152666479000832"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;