About the Execution of Irma.struct for DLCround-PT-11b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.160 | 3487192.00 | 6910288.00 | 13273.40 | ? | 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 1.9M
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 12K 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 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 1.7M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool irma4mcc-structural
Input is DLCround-PT-11b, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r067-smll-152649739600125
=====================================================================
--------------------
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 DLCround-PT-11b-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526642984399
BK_STOP 1526646471591
--------------------
content from stderr:
Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using DLCround-PT-11b as instance name.
Using DLCround as model name.
Using algorithm or tool decision-tree.
Model characteristics are: {'Examination': 'ReachabilityDeadlock', 'Place/Transition': True, 'Colored': False, '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': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 3550307, 'Memory': 15952.38, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
ReachabilityDeadlock lola DLCround-PT-11b...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
DLCround-PT-11b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DLCround-PT-11b: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
ReachabilityDeadlock @ DLCround-PT-11b @ 3540 seconds
make: [verify] Error 137 (ignored)
----- Start make result stderr -----
Makefile:222: recipe for target 'verify' failed
----- Start make result stdout -----
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 11366/65536 symbol table entries, 3163 collisions
lola: preprocessing...
lola: finding significant places
lola: 4375 places, 6991 transitions, 4131 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 10066 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-11b-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 520 bytes per marking, with 29 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)
----- Kill lola and sara stderr -----
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: computed 16 generators (16 in search tree, 0 by composition)
lola: representing 65536 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 139010 variables and 422755 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 108740 fired transitions, 0 secs || 80069 markings, 90248 edges, 16014 markings/sec, 0 secs
lola: STP completed || 1 tries, 211863 fired transitions, 5 secs || 163016 markings, 184797 edges, 16589 markings/sec, 5 secs
lola: STP completed || 1 tries, 315703 fired transitions, 10 secs || 237943 markings, 268542 edges, 14985 markings/sec, 10 secs
lola: STP completed || 1 tries, 419412 fired transitions, 15 secs || 315901 markings, 357141 edges, 15592 markings/sec, 15 secs
lola: STP completed || 1 tries, 529974 fired transitions, 20 secs || 406061 markings, 462138 edges, 18032 markings/sec, 20 secs
lola: STP completed || 1 tries, 645440 fired transitions, 25 secs || 498555 markings, 571541 edges, 18499 markings/sec, 25 secs
lola: STP completed || 1 tries, 753645 fired transitions, 30 secs || 586336 markings, 674396 edges, 17556 markings/sec, 30 secs
lola: STP completed || 1 tries, 857763 fired transitions, 35 secs || 671662 markings, 772507 edges, 17065 markings/sec, 35 secs
lola: STP completed || 1 tries, 962126 fired transitions, 40 secs || 756000 markings, 869720 edges, 16868 markings/sec, 40 secs
lola: STP completed || 2 tries, 1068026 fired transitions, 45 secs || 842853 markings, 969720 edges, 17371 markings/sec, 45 secs
lola: STP completed || 2 tries, 1169300 fired transitions, 50 secs || 935389 markings, 1076524 edges, 18507 markings/sec, 50 secs
lola: STP completed || 2 tries, 1264764 fired transitions, 55 secs || 1030421 markings, 1187303 edges, 19006 markings/sec, 55 secs
lola: STP completed || 2 tries, 1366943 fired transitions, 60 secs || 1124122 markings, 1296311 edges, 18740 markings/sec, 60 secs
lola: STP completed || 2 tries, 1477147 fired transitions, 65 secs || 1223972 markings, 1413293 edges, 19970 markings/sec, 65 secs
lola: STP completed || 2 tries, 1587599 fired transitions, 70 secs || 1328109 markings, 1536971 edges, 20827 markings/sec, 70 secs
lola: STP completed || 2 tries, 1694037 fired transitions, 75 secs || 1431515 markings, 1660028 edges, 20681 markings/sec, 75 secs
lola: STP completed || 2 tries, 1795409 fired transitions, 80 secs || 1518142 markings, 1760370 edges, 17325 markings/sec, 80 secs
lola: STP completed || 2 tries, 1896626 fired transitions, 85 secs || 1605941 markings, 1861169 edges, 17560 markings/sec, 85 secs
lola: STP completed || 2 tries, 1999202 fired transitions, 90 secs || 1693427 markings, 1961933 edges, 17497 markings/sec, 90 secs
lola: STP completed || 3 tries, 2101466 fired transitions, 95 secs || 1783662 markings, 2068025 edges, 18047 markings/sec, 95 secs
lola: STP completed || 3 tries, 2203341 fired transitions, 100 secs || 1877319 markings, 2176943 edges, 18731 markings/sec, 100 secs
lola: STP completed || 3 tries, 2305259 fired transitions, 105 secs || 1976637 markings, 2294053 edges, 19864 markings/sec, 105 secs
lola: STP completed || 3 tries, 2408485 fired transitions, 110 secs || 2076323 markings, 2411457 edges, 19937 markings/sec, 110 secs
lola: STP completed || 3 tries, 2509478 fired transitions, 115 secs || 2169365 markings, 2520058 edges, 18608 markings/sec, 115 secs
lola: STP completed || 3 tries, 2609840 fired transitions, 120 secs || 2258729 markings, 2623074 edges, 17873 markings/sec, 120 secs
lola: STP completed || 3 tries, 2712483 fired transitions, 125 secs || 2350542 markings, 2729667 edges, 18363 markings/sec, 125 secs
lola: STP completed || 3 tries, 2813201 fired transitions, 130 secs || 2441294 markings, 2834702 edges, 18150 markings/sec, 130 secs
lola: STP completed || 3 tries, 2915382 fired transitions, 135 secs || 2533911 markings, 2943187 edges, 18523 markings/sec, 135 secs
lola: STP completed || 4 tries, 3017673 fired transitions, 140 secs || 2624655 markings, 3048379 edges, 18149 markings/sec, 140 secs
lola: STP completed || 4 tries, 3120444 fired transitions, 145 secs || 2714170 markings, 3152888 edges, 17903 markings/sec, 145 secs
lola: STP completed || 4 tries, 3222312 fired transitions, 150 secs || 2808423 markings, 3263427 edges, 18851 markings/sec, 150 secs
lola: STP completed || 4 tries, 3323819 fired transitions, 155 secs || 2902110 markings, 3373112 edges, 18737 markings/sec, 155 secs
lola: STP completed || 4 tries, 3426548 fired transitions, 160 secs || 2995845 markings, 3481852 edges, 18747 markings/sec, 160 secs
lola: STP completed || 4 tries, 3528758 fired transitions, 165 secs || 3087057 markings, 3587509 edges, 18242 markings/sec, 165 secs
lola: STP completed || 4 tries, 3630611 fired transitions, 170 secs || 3169973 markings, 3683953 edges, 16583 markings/sec, 170 secs
lola: STP completed || 4 tries, 3733466 fired transitions, 175 secs || 3256043 markings, 3783724 edges, 17214 markings/sec, 175 secs
lola: STP completed || 4 tries, 3835580 fired transitions, 180 secs || 3341622 markings, 3882635 edges, 17116 markings/sec, 180 secs
lola: STP completed || 4 tries, 3937551 fired transitions, 185 secs || 3429010 markings, 3983619 edges, 17478 markings/sec, 185 secs
lola: STP completed || 5 tries, 4041389 fired transitions, 190 secs || 3516434 markings, 4084662 edges, 17485 markings/sec, 190 secs
lola: STP completed || 5 tries, 4145243 fired transitions, 195 secs || 3597751 markings, 4179012 edges, 16263 markings/sec, 195 secs
lola: STP completed || 5 tries, 4246274 fired transitions, 200 secs || 3675685 markings, 4268296 edges, 15587 markings/sec, 200 secs
lola: STP completed || 5 tries, 4349010 fired transitions, 205 secs || 3766669 markings, 4372590 edges, 18197 markings/sec, 205 secs
lola: STP completed || 5 tries, 4449218 fired transitions, 210 secs || 3853043 markings, 4469891 edges, 17275 markings/sec, 210 secs
lola: STP completed || 5 tries, 4551012 fired transitions, 215 secs || 3936182 markings, 4562839 edges, 16628 markings/sec, 215 secs
lola: STP completed || 5 tries, 4652864 fired transitions, 220 secs || 4015244 markings, 4650268 edges, 15812 markings/sec, 220 secs
lola: STP completed || 5 tries, 4755123 fired transitions, 225 secs || 4094897 markings, 4738527 edges, 15931 markings/sec, 225 secs
lola: STP completed || 5 tries, 4858785 fired transitions, 230 secs || 4179253 markings, 4833623 edges, 16871 markings/sec, 230 secs
lola: STP completed || 5 tries, 4962815 fired transitions, 235 secs || 4255782 markings, 4917878 edges, 15306 markings/sec, 235 secs
lola: STP completed || 6 tries, 5067855 fired transitions, 240 secs || 4334100 markings, 5004457 edges, 15664 markings/sec, 240 secs
lola: STP completed || 6 tries, 5170817 fired transitions, 245 secs || 4410528 markings, 5088854 edges, 15286 markings/sec, 245 secs
lola: STP completed || 6 tries, 5273761 fired transitions, 250 secs || 4488349 markings, 5174022 edges, 15564 markings/sec, 250 secs
lola: STP completed || 6 tries, 5378901 fired transitions, 255 secs || 4567024 markings, 5261005 edges, 15735 markings/sec, 255 secs
lola: STP completed || 6 tries, 5483344 fired transitions, 260 secs || 4643973 markings, 5345835 edges, 15390 markings/sec, 260 secs
lola: STP completed || 6 tries, 5586870 fired transitions, 265 secs || 4720597 markings, 5430130 edges, 15325 markings/sec, 265 secs
lola: STP completed || 6 tries, 5690681 fired transitions, 270 secs || 4799073 markings, 5516703 edges, 15695 markings/sec, 270 secs
lola: STP completed || 6 tries, 5793727 fired transitions, 275 secs || 4875691 markings, 5601104 edges, 15324 markings/sec, 275 secs
lola: STP completed || 6 tries, 5896628 fired transitions, 280 secs || 4952423 markings, 5686221 edges, 15346 markings/sec, 280 secs
lola: STP completed || 6 tries, 5999963 fired transitions, 285 secs || 5033657 markings, 5776145 edges, 16247 markings/sec, 285 secs
lola: STP completed || 7 tries, 6105763 fired transitions, 290 secs || 5113352 markings, 5863633 edges, 15939 markings/sec, 290 secs
lola: STP completed || 7 tries, 6210648 fired transitions, 295 secs || 5194560 markings, 5953649 edges, 16242 markings/sec, 295 secs
lola: STP completed || 7 tries, 6314678 fired transitions, 300 secs || 5275619 markings, 6043504 edges, 16212 markings/sec, 300 secs
lola: STP completed || 7 tries, 6417477 fired transitions, 305 secs || 5355670 markings, 6131783 edges, 16010 markings/sec, 305 secs
lola: STP completed || 7 tries, 6520863 fired transitions, 310 secs || 5437571 markings, 6222253 edges, 16380 markings/sec, 310 secs
lola: STP completed || 7 tries, 6622054 fired transitions, 315 secs || 5519013 markings, 6312011 edges, 16288 markings/sec, 315 secs
lola: STP completed || 7 tries, 6724204 fired transitions, 320 secs || 5598320 markings, 6399967 edges, 15861 markings/sec, 320 secs
lola: STP completed || 7 tries, 6826294 fired transitions, 325 secs || 5679943 markings, 6490075 edges, 16325 markings/sec, 325 secs
lola: STP completed || 7 tries, 6928194 fired transitions, 330 secs || 5761728 markings, 6580399 edges, 16357 markings/sec, 330 secs
lola: STP completed || 8 tries, 7031749 fired transitions, 335 secs || 5843595 markings, 6671067 edges, 16373 markings/sec, 335 secs
lola: STP completed || 8 tries, 7131580 fired transitions, 340 secs || 5927090 markings, 6764467 edges, 16699 markings/sec, 340 secs
lola: STP completed || 8 tries, 7232858 fired transitions, 345 secs || 6015458 markings, 6863123 edges, 17674 markings/sec, 345 secs
lola: STP completed || 8 tries, 7334966 fired transitions, 350 secs || 6110134 markings, 6970013 edges, 18935 markings/sec, 350 secs
lola: STP completed || 8 tries, 7436994 fired transitions, 355 secs || 6200367 markings, 7071293 edges, 18047 markings/sec, 355 secs
lola: STP completed || 8 tries, 7539173 fired transitions, 360 secs || 6289146 markings, 7170657 edges, 17756 markings/sec, 360 secs
lola: STP completed || 8 tries, 7641239 fired transitions, 365 secs || 6379024 markings, 7271733 edges, 17976 markings/sec, 365 secs
lola: STP completed || 8 tries, 7744633 fired transitions, 370 secs || 6467897 markings, 7371078 edges, 17775 markings/sec, 370 secs
lola: STP completed || 8 tries, 7846938 fired transitions, 375 secs || 6554885 markings, 7468174 edges, 17398 markings/sec, 375 secs
lola: STP completed || 8 tries, 7948368 fired transitions, 380 secs || 6644250 markings, 7568391 edges, 17873 markings/sec, 380 secs
lola: STP completed || 9 tries, 8051682 fired transitions, 385 secs || 6734246 markings, 7669465 edges, 17999 markings/sec, 385 secs
lola: STP completed || 9 tries, 8151919 fired transitions, 390 secs || 6822341 markings, 7768833 edges, 17619 markings/sec, 390 secs
lola: STP completed || 9 tries, 8254657 fired transitions, 395 secs || 6905953 markings, 7863889 edges, 16722 markings/sec, 395 secs
lola: STP completed || 9 tries, 8358190 fired transitions, 400 secs || 6991503 markings, 7959385 edges, 17110 markings/sec, 400 secs
lola: STP completed || 9 tries, 8463014 fired transitions, 405 secs || 7076197 markings, 8054106 edges, 16939 markings/sec, 405 secs
lola: STP completed || 9 tries, 8565327 fired transitions, 410 secs || 7168770 markings, 8158863 edges, 18515 markings/sec, 410 secs
lola: STP completed || 9 tries, 8668700 fired transitions, 415 secs || 7260929 markings, 8262725 edges, 18432 markings/sec, 415 secs
lola: STP completed || 9 tries, 8771108 fired transitions, 420 secs || 7341232 markings, 8352646 edges, 16061 markings/sec, 420 secs
lola: STP completed || 9 tries, 8873224 fired transitions, 425 secs || 7419430 markings, 8438883 edges, 15640 markings/sec, 425 secs
lola: STP completed || 9 tries, 8975785 fired transitions, 430 secs || 7509392 markings, 8539950 edges, 17992 markings/sec, 430 secs
lola: STP completed || 10 tries, 9079554 fired transitions, 435 secs || 7598953 markings, 8641270 edges, 17912 markings/sec, 435 secs
lola: STP completed || 10 tries, 9183039 fired transitions, 440 secs || 7682999 markings, 8734997 edges, 16809 markings/sec, 440 secs
lola: STP completed || 10 tries, 9285693 fired transitions, 445 secs || 7769765 markings, 8832577 edges, 17353 markings/sec, 445 secs
lola: STP completed || 10 tries, 9388936 fired transitions, 450 secs || 7853448 markings, 8927629 edges, 16737 markings/sec, 450 secs
lola: STP completed || 10 tries, 9491273 fired transitions, 455 secs || 7940320 markings, 9029679 edges, 17374 markings/sec, 455 secs
lola: STP completed || 10 tries, 9594974 fired transitions, 460 secs || 8024718 markings, 9124473 edges, 16880 markings/sec, 460 secs
lola: STP completed || 10 tries, 9695878 fired transitions, 465 secs || 8113568 markings, 9223577 edges, 17770 markings/sec, 465 secs
lola: STP completed || 10 tries, 9798534 fired transitions, 470 secs || 8196699 markings, 9317982 edges, 16626 markings/sec, 470 secs
lola: STP completed || 10 tries, 9901033 fired transitions, 475 secs || 8279949 markings, 9410327 edges, 16650 markings/sec, 475 secs
lola: STP completed || 11 tries, 10005185 fired transitions, 480 secs || 8363411 markings, 9502764 edges, 16692 markings/sec, 480 secs
lola: STP completed || 11 tries, 10107479 fired transitions, 485 secs || 8450221 markings, 9601212 edges, 17362 markings/sec, 485 secs
lola: STP completed || 11 tries, 10211842 fired transitions, 490 secs || 8534562 markings, 9695264 edges, 16868 markings/sec, 490 secs
lola: STP completed || 11 tries, 10313628 fired transitions, 495 secs || 8616492 markings, 9786160 edges, 16386 markings/sec, 495 secs
lola: STP completed || 11 tries, 10414521 fired transitions, 500 secs || 8698640 markings, 9877167 edges, 16430 markings/sec, 500 secs
lola: STP completed || 11 tries, 10515331 fired transitions, 505 secs || 8780986 markings, 9968356 edges, 16469 markings/sec, 505 secs
lola: STP completed || 11 tries, 10617647 fired transitions, 510 secs || 8866321 markings, 10063566 edges, 17067 markings/sec, 510 secs
lola: STP completed || 11 tries, 10719680 fired transitions, 515 secs || 8953659 markings, 10161171 edges, 17468 markings/sec, 515 secs
lola: STP completed || 11 tries, 10822834 fired transitions, 520 secs || 9041110 markings, 10258917 edges, 17490 markings/sec, 520 secs
lola: STP completed || 11 tries, 10927671 fired transitions, 525 secs || 9126296 markings, 10353725 edges, 17037 markings/sec, 525 secs
lola: STP completed || 12 tries, 11031415 fired transitions, 530 secs || 9207112 markings, 10442874 edges, 16163 markings/sec, 530 secs
lola: STP completed || 12 tries, 11131471 fired transitions, 535 secs || 9290520 markings, 10535676 edges, 16682 markings/sec, 535 secs
lola: STP completed || 12 tries, 11232348 fired transitions, 540 secs || 9372665 markings, 10626854 edges, 16429 markings/sec, 540 secs
lola: STP completed || 12 tries, 11334883 fired transitions, 545 secs || 9454054 markings, 10716901 edges, 16278 markings/sec, 545 secs
lola: STP completed || 12 tries, 11437544 fired transitions, 550 secs || 9543355 markings, 10817292 edges, 17860 markings/sec, 550 secs
lola: STP completed || 12 tries, 11541408 fired transitions, 555 secs || 9631731 markings, 10916363 edges, 17675 markings/sec, 555 secs
lola: STP completed || 12 tries, 11643307 fired transitions, 560 secs || 9712897 markings, 11006314 edges, 16233 markings/sec, 560 secs
lola: STP completed || 12 tries, 11746217 fired transitions, 565 secs || 9792864 markings, 11094408 edges, 15993 markings/sec, 565 secs
lola: STP completed || 12 tries, 11849157 fired transitions, 570 secs || 9876941 markings, 11187659 edges, 16815 markings/sec, 570 secs
lola: STP completed || 12 tries, 11952765 fired transitions, 575 secs || 9961786 markings, 11281943 edges, 16969 markings/sec, 575 secs
lola: STP completed || 13 tries, 12056074 fired transitions, 580 secs || 10048545 markings, 11378682 edges, 17352 markings/sec, 580 secs
lola: STP completed || 13 tries, 12158160 fired transitions, 585 secs || 10131273 markings, 11470533 edges, 16546 markings/sec, 585 secs
lola: STP completed || 13 tries, 12266818 fired transitions, 590 secs || 10219653 markings, 11569288 edges, 17676 markings/sec, 590 secs
lola: STP completed || 13 tries, 12376265 fired transitions, 595 secs || 10305907 markings, 11665006 edges, 17251 markings/sec, 595 secs
lola: STP completed || 13 tries, 12487645 fired transitions, 600 secs || 10393523 markings, 11762762 edges, 17523 markings/sec, 600 secs
lola: STP completed || 13 tries, 12598013 fired transitions, 605 secs || 10479624 markings, 11858124 edges, 17220 markings/sec, 605 secs
lola: STP completed || 13 tries, 12710112 fired transitions, 610 secs || 10568381 markings, 11957342 edges, 17751 markings/sec, 610 secs
lola: STP completed || 13 tries, 12822377 fired transitions, 615 secs || 10657376 markings, 12056590 edges, 17799 markings/sec, 615 secs
lola: STP completed || 13 tries, 12933513 fired transitions, 620 secs || 10745887 markings, 12155170 edges, 17702 markings/sec, 620 secs
lola: STP completed || 14 tries, 13045936 fired transitions, 625 secs || 10835849 markings, 12255807 edges, 17992 markings/sec, 625 secs
lola: STP completed || 14 tries, 13157113 fired transitions, 630 secs || 10925909 markings, 12356302 edges, 18012 markings/sec, 630 secs
lola: STP completed || 14 tries, 13268822 fired transitions, 635 secs || 11006085 markings, 12444121 edges, 16035 markings/sec, 635 secs
lola: STP completed || 14 tries, 13379803 fired transitions, 640 secs || 11086810 markings, 12532820 edges, 16145 markings/sec, 640 secs
lola: STP completed || 14 tries, 13489786 fired transitions, 645 secs || 11168235 markings, 12622376 edges, 16285 markings/sec, 645 secs
lola: STP completed || 14 tries, 13590841 fired transitions, 650 secs || 11245153 markings, 12706548 edges, 15384 markings/sec, 650 secs
lola: STP completed || 14 tries, 13692238 fired transitions, 655 secs || 11322266 markings, 12791179 edges, 15423 markings/sec, 655 secs
lola: STP completed || 14 tries, 13794143 fired transitions, 660 secs || 11402058 markings, 12878945 edges, 15958 markings/sec, 660 secs
lola: STP completed || 14 tries, 13896246 fired transitions, 665 secs || 11480729 markings, 12965514 edges, 15734 markings/sec, 665 secs
lola: STP completed || 14 tries, 13997547 fired transitions, 670 secs || 11556807 markings, 13048803 edges, 15216 markings/sec, 670 secs
lola: STP completed || 15 tries, 14100076 fired transitions, 675 secs || 11633992 markings, 13133325 edges, 15437 markings/sec, 675 secs
lola: STP completed || 15 tries, 14202184 fired transitions, 680 secs || 11711737 markings, 13218718 edges, 15549 markings/sec, 680 secs
lola: STP completed || 15 tries, 14302230 fired transitions, 685 secs || 11789683 markings, 13304356 edges, 15589 markings/sec, 685 secs
lola: STP completed || 15 tries, 14405031 fired transitions, 690 secs || 11867490 markings, 13389967 edges, 15561 markings/sec, 690 secs
lola: STP completed || 15 tries, 14509180 fired transitions, 695 secs || 11945779 markings, 13476119 edges, 15658 markings/sec, 695 secs
lola: STP completed || 15 tries, 14612357 fired transitions, 700 secs || 12025000 markings, 13563044 edges, 15844 markings/sec, 700 secs
lola: STP completed || 15 tries, 14715221 fired transitions, 705 secs || 12105112 markings, 13651328 edges, 16022 markings/sec, 705 secs
lola: STP completed || 15 tries, 14817628 fired transitions, 710 secs || 12185997 markings, 13740543 edges, 16177 markings/sec, 710 secs
lola: STP completed || 15 tries, 14920968 fired transitions, 715 secs || 12264889 markings, 13827169 edges, 15778 markings/sec, 715 secs
lola: STP completed || 16 tries, 15023090 fired transitions, 720 secs || 12342733 markings, 13912368 edges, 15569 markings/sec, 720 secs
lola: STP completed || 16 tries, 15124754 fired transitions, 725 secs || 12420315 markings, 13997411 edges, 15516 markings/sec, 725 secs
lola: STP completed || 16 tries, 15226989 fired transitions, 730 secs || 12499377 markings, 14084346 edges, 15812 markings/sec, 730 secs
lola: STP completed || 16 tries, 15328742 fired transitions, 735 secs || 12576996 markings, 14169703 edges, 15524 markings/sec, 735 secs
lola: STP completed || 16 tries, 15431261 fired transitions, 740 secs || 12655662 markings, 14256127 edges, 15733 markings/sec, 740 secs
lola: STP completed || 16 tries, 15531627 fired transitions, 745 secs || 12734186 markings, 14342196 edges, 15705 markings/sec, 745 secs
lola: STP completed || 16 tries, 15634321 fired transitions, 750 secs || 12812849 markings, 14428712 edges, 15733 markings/sec, 750 secs
lola: STP completed || 16 tries, 15737346 fired transitions, 755 secs || 12892671 markings, 14516949 edges, 15964 markings/sec, 755 secs
lola: STP completed || 16 tries, 15840752 fired transitions, 760 secs || 12972511 markings, 14604816 edges, 15968 markings/sec, 760 secs
lola: STP completed || 16 tries, 15944787 fired transitions, 765 secs || 13051128 markings, 14691312 edges, 15723 markings/sec, 765 secs
lola: STP completed || 17 tries, 16047968 fired transitions, 770 secs || 13130006 markings, 14778053 edges, 15776 markings/sec, 770 secs
lola: STP completed || 17 tries, 16150012 fired transitions, 775 secs || 13207850 markings, 14863522 edges, 15569 markings/sec, 775 secs
lola: STP completed || 17 tries, 16251859 fired transitions, 780 secs || 13285356 markings, 14948611 edges, 15501 markings/sec, 780 secs
lola: STP completed || 17 tries, 16354366 fired transitions, 785 secs || 13361700 markings, 15032341 edges, 15269 markings/sec, 785 secs
lola: STP completed || 17 tries, 16457214 fired transitions, 790 secs || 13439665 markings, 15117830 edges, 15593 markings/sec, 790 secs
lola: STP completed || 17 tries, 16560624 fired transitions, 795 secs || 13523151 markings, 15210264 edges, 16697 markings/sec, 795 secs
lola: STP completed || 17 tries, 16662441 fired transitions, 800 secs || 13607845 markings, 15304094 edges, 16939 markings/sec, 800 secs
lola: STP completed || 17 tries, 16763162 fired transitions, 805 secs || 13693222 markings, 15399102 edges, 17075 markings/sec, 805 secs
lola: STP completed || 17 tries, 16865494 fired transitions, 810 secs || 13779709 markings, 15495477 edges, 17297 markings/sec, 810 secs
lola: STP completed || 17 tries, 16966819 fired transitions, 815 secs || 13864859 markings, 15590145 edges, 17030 markings/sec, 815 secs
lola: STP completed || 18 tries, 17070393 fired transitions, 820 secs || 13951090 markings, 15685863 edges, 17246 markings/sec, 820 secs
lola: STP completed || 18 tries, 17173821 fired transitions, 825 secs || 14036269 markings, 15780443 edges, 17036 markings/sec, 825 secs
lola: STP completed || 18 tries, 17277096 fired transitions, 830 secs || 14121770 markings, 15875472 edges, 17100 markings/sec, 830 secs
lola: STP completed || 18 tries, 17379910 fired transitions, 835 secs || 14214692 markings, 15979734 edges, 18584 markings/sec, 835 secs
lola: STP completed || 18 tries, 17490009 fired transitions, 840 secs || 14299062 markings, 16072904 edges, 16874 markings/sec, 840 secs
lola: STP completed || 18 tries, 17596199 fired transitions, 845 secs || 14379133 markings, 16161068 edges, 16014 markings/sec, 845 secs
lola: STP completed || 18 tries, 17698757 fired transitions, 850 secs || 14463586 markings, 16254821 edges, 16891 markings/sec, 850 secs
lola: STP completed || 18 tries, 17799653 fired transitions, 855 secs || 14542172 markings, 16341145 edges, 15717 markings/sec, 855 secs
lola: STP completed || 18 tries, 17902210 fired transitions, 860 secs || 14621892 markings, 16428769 edges, 15944 markings/sec, 860 secs
lola: STP completed || 19 tries, 18005862 fired transitions, 865 secs || 14707571 markings, 16524054 edges, 17136 markings/sec, 865 secs
lola: STP completed || 19 tries, 18107802 fired transitions, 870 secs || 14789761 markings, 16615027 edges, 16438 markings/sec, 870 secs
lola: STP completed || 19 tries, 18211092 fired transitions, 875 secs || 14874570 markings, 16709117 edges, 16962 markings/sec, 875 secs
lola: STP completed || 19 tries, 18321901 fired transitions, 880 secs || 14959969 markings, 16803905 edges, 17080 markings/sec, 880 secs
lola: STP completed || 19 tries, 18432304 fired transitions, 885 secs || 15053250 markings, 16908608 edges, 18656 markings/sec, 885 secs
lola: STP completed || 19 tries, 18544188 fired transitions, 890 secs || 15144402 markings, 17010414 edges, 18230 markings/sec, 890 secs
lola: STP completed || 19 tries, 18655883 fired transitions, 895 secs || 15238553 markings, 17115966 edges, 18830 markings/sec, 895 secs
lola: STP completed || 19 tries, 18766262 fired transitions, 900 secs || 15327655 markings, 17215287 edges, 17820 markings/sec, 900 secs
lola: STP completed || 19 tries, 18875713 fired transitions, 905 secs || 15416169 markings, 17313799 edges, 17703 markings/sec, 905 secs
lola: STP completed || 19 tries, 18986181 fired transitions, 910 secs || 15506069 markings, 17413720 edges, 17980 markings/sec, 910 secs
lola: STP completed || 20 tries, 19098491 fired transitions, 915 secs || 15595924 markings, 17513868 edges, 17971 markings/sec, 915 secs
lola: STP completed || 20 tries, 19210009 fired transitions, 920 secs || 15690497 markings, 17619764 edges, 18915 markings/sec, 920 secs
lola: STP completed || 20 tries, 19321803 fired transitions, 925 secs || 15778954 markings, 17718198 edges, 17691 markings/sec, 925 secs
lola: STP completed || 20 tries, 19434801 fired transitions, 930 secs || 15863716 markings, 17812047 edges, 16952 markings/sec, 930 secs
lola: STP completed || 20 tries, 19547260 fired transitions, 935 secs || 15949450 markings, 17906952 edges, 17147 markings/sec, 935 secs
lola: STP completed || 20 tries, 19656496 fired transitions, 940 secs || 16039442 markings, 18007543 edges, 17998 markings/sec, 940 secs
lola: STP completed || 20 tries, 19767601 fired transitions, 945 secs || 16132636 markings, 18111962 edges, 18639 markings/sec, 945 secs
lola: STP completed || 20 tries, 19878677 fired transitions, 950 secs || 16221804 markings, 18211425 edges, 17834 markings/sec, 950 secs
lola: STP completed || 20 tries, 19988850 fired transitions, 955 secs || 16313305 markings, 18313882 edges, 18300 markings/sec, 955 secs
lola: STP completed || 21 tries, 20090980 fired transitions, 960 secs || 16398455 markings, 18408450 edges, 17030 markings/sec, 960 secs
lola: STP completed || 21 tries, 20193853 fired transitions, 965 secs || 16481415 markings, 18500407 edges, 16592 markings/sec, 965 secs
lola: STP completed || 21 tries, 20299721 fired transitions, 970 secs || 16569962 markings, 18599290 edges, 17709 markings/sec, 970 secs
lola: STP completed || 21 tries, 20412039 fired transitions, 975 secs || 16659681 markings, 18699062 edges, 17944 markings/sec, 975 secs
lola: STP completed || 21 tries, 20524482 fired transitions, 980 secs || 16747115 markings, 18796535 edges, 17487 markings/sec, 980 secs
lola: STP completed || 21 tries, 20634599 fired transitions, 985 secs || 16837772 markings, 18897774 edges, 18131 markings/sec, 985 secs
lola: STP completed || 21 tries, 20746003 fired transitions, 990 secs || 16929734 markings, 19001196 edges, 18392 markings/sec, 990 secs
lola: STP completed || 21 tries, 20856874 fired transitions, 995 secs || 17018415 markings, 19100034 edges, 17736 markings/sec, 995 secs
lola: STP completed || 21 tries, 20967815 fired transitions, 1000 secs || 17107501 markings, 19199305 edges, 17817 markings/sec, 1000 secs
lola: STP completed || 22 tries, 21080727 fired transitions, 1005 secs || 17198507 markings, 19300860 edges, 18201 markings/sec, 1005 secs
lola: STP completed || 22 tries, 21191345 fired transitions, 1010 secs || 17290680 markings, 19404364 edges, 18435 markings/sec, 1010 secs
lola: STP completed || 22 tries, 21301488 fired transitions, 1015 secs || 17382501 markings, 19507042 edges, 18364 markings/sec, 1015 secs
lola: STP completed || 22 tries, 21411474 fired transitions, 1020 secs || 17469205 markings, 19603140 edges, 17341 markings/sec, 1020 secs
lola: STP completed || 22 tries, 21523504 fired transitions, 1025 secs || 17556821 markings, 19701667 edges, 17523 markings/sec, 1025 secs
lola: STP completed || 22 tries, 21632699 fired transitions, 1030 secs || 17642476 markings, 19796441 edges, 17131 markings/sec, 1030 secs
lola: STP completed || 22 tries, 21744361 fired transitions, 1035 secs || 17734651 markings, 19900131 edges, 18435 markings/sec, 1035 secs
lola: STP completed || 22 tries, 21857013 fired transitions, 1040 secs || 17826007 markings, 20002314 edges, 18271 markings/sec, 1040 secs
lola: STP completed || 22 tries, 21971354 fired transitions, 1045 secs || 17921641 markings, 20110317 edges, 19127 markings/sec, 1045 secs
lola: STP completed || 23 tries, 22085630 fired transitions, 1050 secs || 18010554 markings, 20209060 edges, 17783 markings/sec, 1050 secs
lola: STP completed || 23 tries, 22199752 fired transitions, 1055 secs || 18098867 markings, 20306751 edges, 17663 markings/sec, 1055 secs
lola: STP completed || 23 tries, 22314953 fired transitions, 1060 secs || 18191046 markings, 20409988 edges, 18436 markings/sec, 1060 secs
lola: STP completed || 23 tries, 22429154 fired transitions, 1065 secs || 18281525 markings, 20510737 edges, 18096 markings/sec, 1065 secs
lola: STP completed || 23 tries, 22542615 fired transitions, 1070 secs || 18376495 markings, 20616846 edges, 18994 markings/sec, 1070 secs
lola: STP completed || 23 tries, 22656986 fired transitions, 1075 secs || 18471174 markings, 20722959 edges, 18936 markings/sec, 1075 secs
lola: STP completed || 23 tries, 22769761 fired transitions, 1080 secs || 18562292 markings, 20824740 edges, 18224 markings/sec, 1080 secs
lola: STP completed || 23 tries, 22884234 fired transitions, 1085 secs || 18650948 markings, 20923912 edges, 17731 markings/sec, 1085 secs
lola: STP completed || 23 tries, 22996509 fired transitions, 1090 secs || 18740448 markings, 21023419 edges, 17900 markings/sec, 1090 secs
lola: STP completed || 24 tries, 23109635 fired transitions, 1095 secs || 18830221 markings, 21123280 edges, 17955 markings/sec, 1095 secs
lola: STP completed || 24 tries, 23221231 fired transitions, 1100 secs || 18921474 markings, 21225377 edges, 18251 markings/sec, 1100 secs
lola: STP completed || 24 tries, 23330867 fired transitions, 1105 secs || 19015385 markings, 21331708 edges, 18782 markings/sec, 1105 secs
lola: STP completed || 24 tries, 23439434 fired transitions, 1110 secs || 19101679 markings, 21427689 edges, 17259 markings/sec, 1110 secs
lola: STP completed || 24 tries, 23549804 fired transitions, 1115 secs || 19191901 markings, 21528652 edges, 18044 markings/sec, 1115 secs
lola: STP completed || 24 tries, 23659013 fired transitions, 1120 secs || 19280330 markings, 21626890 edges, 17686 markings/sec, 1120 secs
lola: STP completed || 24 tries, 23768231 fired transitions, 1125 secs || 19365708 markings, 21721297 edges, 17076 markings/sec, 1125 secs
lola: STP completed || 24 tries, 23878143 fired transitions, 1130 secs || 19451898 markings, 21817216 edges, 17238 markings/sec, 1130 secs
lola: STP completed || 24 tries, 23987658 fired transitions, 1135 secs || 19539241 markings, 21914572 edges, 17469 markings/sec, 1135 secs
lola: STP completed || 25 tries, 24098083 fired transitions, 1140 secs || 19627913 markings, 22014838 edges, 17734 markings/sec, 1140 secs
lola: STP completed || 25 tries, 24206659 fired transitions, 1145 secs || 19715869 markings, 22112972 edges, 17591 markings/sec, 1145 secs
lola: STP completed || 25 tries, 24315922 fired transitions, 1150 secs || 19800545 markings, 22206900 edges, 16935 markings/sec, 1150 secs
lola: STP completed || 25 tries, 24425966 fired transitions, 1155 secs || 19892482 markings, 22309925 edges, 18387 markings/sec, 1155 secs
lola: STP completed || 25 tries, 24535909 fired transitions, 1160 secs || 19975528 markings, 22401375 edges, 16609 markings/sec, 1160 secs
lola: STP completed || 25 tries, 24644731 fired transitions, 1165 secs || 20060839 markings, 22496262 edges, 17062 markings/sec, 1165 secs
lola: STP completed || 25 tries, 24755536 fired transitions, 1170 secs || 20150501 markings, 22598487 edges, 17932 markings/sec, 1170 secs
lola: STP completed || 25 tries, 24865129 fired transitions, 1175 secs || 20237904 markings, 22696092 edges, 17481 markings/sec, 1175 secs
lola: STP completed || 25 tries, 24972993 fired transitions, 1180 secs || 20322423 markings, 22789856 edges, 16904 markings/sec, 1180 secs
lola: STP completed || 26 tries, 25084124 fired transitions, 1185 secs || 20407428 markings, 22884154 edges, 17001 markings/sec, 1185 secs
lola: STP completed || 26 tries, 25193171 fired transitions, 1190 secs || 20491738 markings, 22977175 edges, 16862 markings/sec, 1190 secs
lola: STP completed || 26 tries, 25302250 fired transitions, 1195 secs || 20577653 markings, 23072934 edges, 17183 markings/sec, 1195 secs
lola: STP completed || 26 tries, 25411658 fired transitions, 1200 secs || 20665721 markings, 23171245 edges, 17614 markings/sec, 1200 secs
lola: STP completed || 26 tries, 25521146 fired transitions, 1205 secs || 20753195 markings, 23268778 edges, 17495 markings/sec, 1205 secs
lola: STP completed || 26 tries, 25631054 fired transitions, 1210 secs || 20844775 markings, 23371461 edges, 18316 markings/sec, 1210 secs
lola: STP completed || 26 tries, 25740067 fired transitions, 1215 secs || 20931130 markings, 23467545 edges, 17271 markings/sec, 1215 secs
lola: STP completed || 26 tries, 25848751 fired transitions, 1220 secs || 21021300 markings, 23568269 edges, 18034 markings/sec, 1220 secs
lola: STP completed || 26 tries, 25958942 fired transitions, 1225 secs || 21111759 markings, 23669800 edges, 18092 markings/sec, 1225 secs
lola: STP completed || 27 tries, 26070287 fired transitions, 1230 secs || 21198317 markings, 23766050 edges, 17312 markings/sec, 1230 secs
lola: STP completed || 27 tries, 26179007 fired transitions, 1235 secs || 21281914 markings, 23858099 edges, 16719 markings/sec, 1235 secs
lola: STP completed || 27 tries, 26289716 fired transitions, 1240 secs || 21366635 markings, 23952009 edges, 16944 markings/sec, 1240 secs
lola: STP completed || 27 tries, 26399620 fired transitions, 1245 secs || 21455457 markings, 24051009 edges, 17764 markings/sec, 1245 secs
lola: STP completed || 27 tries, 26513519 fired transitions, 1250 secs || 21544508 markings, 24149978 edges, 17810 markings/sec, 1250 secs
lola: STP completed || 27 tries, 26629238 fired transitions, 1255 secs || 21637522 markings, 24253788 edges, 18603 markings/sec, 1255 secs
lola: STP completed || 27 tries, 26744782 fired transitions, 1260 secs || 21734651 markings, 24362856 edges, 19426 markings/sec, 1260 secs
lola: STP completed || 27 tries, 26859864 fired transitions, 1265 secs || 21831817 markings, 24472186 edges, 19433 markings/sec, 1265 secs
lola: STP completed || 27 tries, 26974347 fired transitions, 1270 secs || 21922664 markings, 24573393 edges, 18169 markings/sec, 1270 secs
lola: STP completed || 28 tries, 27092894 fired transitions, 1275 secs || 22014565 markings, 24675529 edges, 18380 markings/sec, 1275 secs
lola: STP completed || 28 tries, 27209378 fired transitions, 1280 secs || 22107789 markings, 24779720 edges, 18645 markings/sec, 1280 secs
lola: STP completed || 28 tries, 27324808 fired transitions, 1285 secs || 22197937 markings, 24879638 edges, 18030 markings/sec, 1285 secs
lola: STP completed || 28 tries, 27440437 fired transitions, 1290 secs || 22288058 markings, 24979736 edges, 18024 markings/sec, 1290 secs
lola: STP completed || 28 tries, 27551113 fired transitions, 1295 secs || 22373027 markings, 25073787 edges, 16994 markings/sec, 1295 secs
lola: STP completed || 28 tries, 27660980 fired transitions, 1300 secs || 22460894 markings, 25171701 edges, 17573 markings/sec, 1300 secs
lola: STP completed || 28 tries, 27771157 fired transitions, 1305 secs || 22548822 markings, 25269940 edges, 17586 markings/sec, 1305 secs
lola: STP completed || 28 tries, 27880615 fired transitions, 1310 secs || 22637469 markings, 25368745 edges, 17729 markings/sec, 1310 secs
lola: STP completed || 28 tries, 27989211 fired transitions, 1315 secs || 22724572 markings, 25465708 edges, 17421 markings/sec, 1315 secs
lola: STP completed || 29 tries, 28100641 fired transitions, 1320 secs || 22808802 markings, 25559208 edges, 16846 markings/sec, 1320 secs
lola: STP completed || 29 tries, 28208781 fired transitions, 1325 secs || 22894613 markings, 25655928 edges, 17162 markings/sec, 1325 secs
lola: STP completed || 29 tries, 28318061 fired transitions, 1330 secs || 22973489 markings, 25742998 edges, 15775 markings/sec, 1330 secs
lola: STP completed || 29 tries, 28427973 fired transitions, 1335 secs || 23062701 markings, 25843068 edges, 17842 markings/sec, 1335 secs
lola: STP completed || 29 tries, 28536069 fired transitions, 1340 secs || 23145732 markings, 25935090 edges, 16606 markings/sec, 1340 secs
lola: STP completed || 29 tries, 28644073 fired transitions, 1345 secs || 23229797 markings, 26028483 edges, 16813 markings/sec, 1345 secs
lola: STP completed || 29 tries, 28752181 fired transitions, 1350 secs || 23312109 markings, 26119908 edges, 16462 markings/sec, 1350 secs
lola: STP completed || 29 tries, 28861281 fired transitions, 1355 secs || 23398389 markings, 26216279 edges, 17256 markings/sec, 1355 secs
lola: STP completed || 29 tries, 28968998 fired transitions, 1360 secs || 23483366 markings, 26311354 edges, 16995 markings/sec, 1360 secs
lola: STP completed || 30 tries, 29078251 fired transitions, 1365 secs || 23573450 markings, 26412774 edges, 18017 markings/sec, 1365 secs
lola: STP completed || 30 tries, 29186190 fired transitions, 1370 secs || 23657392 markings, 26506339 edges, 16788 markings/sec, 1370 secs
lola: STP completed || 30 tries, 29296969 fired transitions, 1375 secs || 23747198 markings, 26608574 edges, 17961 markings/sec, 1375 secs
lola: STP completed || 30 tries, 29404768 fired transitions, 1380 secs || 23833390 markings, 26705583 edges, 17238 markings/sec, 1380 secs
lola: STP completed || 30 tries, 29515023 fired transitions, 1385 secs || 23917187 markings, 26799188 edges, 16759 markings/sec, 1385 secs
lola: STP completed || 30 tries, 29624867 fired transitions, 1390 secs || 24002525 markings, 26894802 edges, 17068 markings/sec, 1390 secs
lola: STP completed || 30 tries, 29735106 fired transitions, 1395 secs || 24085832 markings, 26987739 edges, 16661 markings/sec, 1395 secs
lola: STP completed || 30 tries, 29843119 fired transitions, 1400 secs || 24167439 markings, 27078883 edges, 16321 markings/sec, 1400 secs
lola: STP completed || 30 tries, 29951077 fired transitions, 1405 secs || 24254284 markings, 27176159 edges, 17369 markings/sec, 1405 secs
lola: STP completed || 31 tries, 30060878 fired transitions, 1410 secs || 24337684 markings, 27268765 edges, 16680 markings/sec, 1410 secs
lola: STP completed || 31 tries, 30170582 fired transitions, 1415 secs || 24420695 markings, 27360705 edges, 16602 markings/sec, 1415 secs
lola: STP completed || 31 tries, 30277166 fired transitions, 1420 secs || 24506525 markings, 27456651 edges, 17166 markings/sec, 1420 secs
lola: STP completed || 31 tries, 30382837 fired transitions, 1425 secs || 24588057 markings, 27547065 edges, 16306 markings/sec, 1425 secs
lola: STP completed || 31 tries, 30490546 fired transitions, 1430 secs || 24676418 markings, 27645833 edges, 17672 markings/sec, 1430 secs
lola: STP completed || 31 tries, 30597560 fired transitions, 1435 secs || 24761695 markings, 27741253 edges, 17055 markings/sec, 1435 secs
lola: STP completed || 31 tries, 30705868 fired transitions, 1440 secs || 24847182 markings, 27836592 edges, 17097 markings/sec, 1440 secs
lola: STP completed || 31 tries, 30815625 fired transitions, 1445 secs || 24936951 markings, 27936768 edges, 17954 markings/sec, 1445 secs
lola: STP completed || 31 tries, 30926146 fired transitions, 1450 secs || 25025179 markings, 28035135 edges, 17646 markings/sec, 1450 secs
lola: STP completed || 32 tries, 31038016 fired transitions, 1455 secs || 25121509 markings, 28143317 edges, 19266 markings/sec, 1455 secs
lola: STP completed || 32 tries, 31150049 fired transitions, 1460 secs || 25211204 markings, 28243461 edges, 17939 markings/sec, 1460 secs
lola: STP completed || 32 tries, 31258645 fired transitions, 1465 secs || 25296158 markings, 28337645 edges, 16991 markings/sec, 1465 secs
lola: STP completed || 32 tries, 31360808 fired transitions, 1470 secs || 25380280 markings, 28431755 edges, 16824 markings/sec, 1470 secs
lola: STP completed || 32 tries, 31462439 fired transitions, 1475 secs || 25466429 markings, 28528433 edges, 17230 markings/sec, 1475 secs
lola: STP completed || 32 tries, 31565751 fired transitions, 1480 secs || 25556752 markings, 28630723 edges, 18065 markings/sec, 1480 secs
lola: STP completed || 32 tries, 31667469 fired transitions, 1485 secs || 25642764 markings, 28726447 edges, 17202 markings/sec, 1485 secs
lola: STP completed || 32 tries, 31770996 fired transitions, 1490 secs || 25734761 markings, 28830155 edges, 18399 markings/sec, 1490 secs
lola: STP completed || 32 tries, 31875468 fired transitions, 1495 secs || 25824392 markings, 28930906 edges, 17926 markings/sec, 1495 secs
lola: STP completed || 32 tries, 31980246 fired transitions, 1500 secs || 25914097 markings, 29032998 edges, 17941 markings/sec, 1500 secs
lola: STP completed || 33 tries, 32085714 fired transitions, 1505 secs || 25999645 markings, 29128390 edges, 17110 markings/sec, 1505 secs
lola: STP completed || 33 tries, 32181235 fired transitions, 1510 secs || 26086165 markings, 29225356 edges, 17304 markings/sec, 1510 secs
lola: STP completed || 33 tries, 32280306 fired transitions, 1515 secs || 26169837 markings, 29318502 edges, 16734 markings/sec, 1515 secs
lola: STP completed || 33 tries, 32381819 fired transitions, 1520 secs || 26252768 markings, 29411594 edges, 16586 markings/sec, 1520 secs
lola: STP completed || 33 tries, 32484713 fired transitions, 1525 secs || 26341056 markings, 29510684 edges, 17658 markings/sec, 1525 secs
lola: STP completed || 33 tries, 32585833 fired transitions, 1530 secs || 26429130 markings, 29608932 edges, 17615 markings/sec, 1530 secs
lola: STP completed || 33 tries, 32689354 fired transitions, 1535 secs || 26514323 markings, 29703945 edges, 17039 markings/sec, 1535 secs
lola: STP completed || 33 tries, 32792035 fired transitions, 1540 secs || 26597261 markings, 29796195 edges, 16588 markings/sec, 1540 secs
lola: STP completed || 33 tries, 32891829 fired transitions, 1545 secs || 26679945 markings, 29888571 edges, 16537 markings/sec, 1545 secs
lola: STP completed || 33 tries, 32995524 fired transitions, 1550 secs || 26764644 markings, 29982302 edges, 16940 markings/sec, 1550 secs
lola: STP completed || 34 tries, 33098625 fired transitions, 1555 secs || 26851682 markings, 30080295 edges, 17408 markings/sec, 1555 secs
lola: STP completed || 34 tries, 33199263 fired transitions, 1560 secs || 26948919 markings, 30190935 edges, 19447 markings/sec, 1560 secs
lola: STP completed || 34 tries, 33305794 fired transitions, 1565 secs || 27041341 markings, 30295868 edges, 18484 markings/sec, 1565 secs
lola: STP completed || 34 tries, 33410928 fired transitions, 1570 secs || 27132072 markings, 30397648 edges, 18146 markings/sec, 1570 secs
lola: STP completed || 34 tries, 33514082 fired transitions, 1575 secs || 27224428 markings, 30501886 edges, 18471 markings/sec, 1575 secs
lola: STP completed || 34 tries, 33618363 fired transitions, 1580 secs || 27315050 markings, 30604822 edges, 18124 markings/sec, 1580 secs
lola: STP completed || 34 tries, 33723891 fired transitions, 1585 secs || 27407124 markings, 30709108 edges, 18415 markings/sec, 1585 secs
lola: STP completed || 34 tries, 33828400 fired transitions, 1590 secs || 27503152 markings, 30819358 edges, 19206 markings/sec, 1590 secs
lola: STP completed || 34 tries, 33932061 fired transitions, 1595 secs || 27605965 markings, 30940072 edges, 20563 markings/sec, 1595 secs
lola: STP completed || 35 tries, 34036926 fired transitions, 1600 secs || 27698319 markings, 31044564 edges, 18471 markings/sec, 1600 secs
lola: STP completed || 35 tries, 34141007 fired transitions, 1605 secs || 27791515 markings, 31150726 edges, 18639 markings/sec, 1605 secs
lola: STP completed || 35 tries, 34244078 fired transitions, 1610 secs || 27883492 markings, 31254750 edges, 18395 markings/sec, 1610 secs
lola: STP completed || 35 tries, 34347425 fired transitions, 1615 secs || 27971945 markings, 31354255 edges, 17691 markings/sec, 1615 secs
lola: STP completed || 35 tries, 34450421 fired transitions, 1620 secs || 28057408 markings, 31450035 edges, 17093 markings/sec, 1620 secs
lola: STP completed || 35 tries, 34554578 fired transitions, 1625 secs || 28151841 markings, 31557126 edges, 18887 markings/sec, 1625 secs
lola: STP completed || 35 tries, 34656584 fired transitions, 1630 secs || 28246902 markings, 31665846 edges, 19012 markings/sec, 1630 secs
lola: STP completed || 35 tries, 34760625 fired transitions, 1635 secs || 28343520 markings, 31776758 edges, 19324 markings/sec, 1635 secs
lola: STP completed || 35 tries, 34864417 fired transitions, 1640 secs || 28435345 markings, 31881046 edges, 18365 markings/sec, 1640 secs
lola: STP completed || 35 tries, 34969141 fired transitions, 1645 secs || 28525280 markings, 31982633 edges, 17987 markings/sec, 1645 secs
lola: STP completed || 36 tries, 35074105 fired transitions, 1650 secs || 28616457 markings, 32085142 edges, 18235 markings/sec, 1650 secs
lola: STP completed || 36 tries, 35180096 fired transitions, 1655 secs || 28708384 markings, 32189568 edges, 18385 markings/sec, 1655 secs
lola: STP completed || 36 tries, 35283441 fired transitions, 1660 secs || 28798764 markings, 32291017 edges, 18076 markings/sec, 1660 secs
lola: STP completed || 36 tries, 35387343 fired transitions, 1665 secs || 28894731 markings, 32400226 edges, 19193 markings/sec, 1665 secs
lola: STP completed || 36 tries, 35492776 fired transitions, 1670 secs || 28994248 markings, 32514284 edges, 19903 markings/sec, 1670 secs
lola: STP completed || 36 tries, 35596876 fired transitions, 1675 secs || 29089379 markings, 32622740 edges, 19026 markings/sec, 1675 secs
lola: STP completed || 36 tries, 35710474 fired transitions, 1680 secs || 29185766 markings, 32732414 edges, 19277 markings/sec, 1680 secs
lola: STP completed || 36 tries, 35824903 fired transitions, 1685 secs || 29282972 markings, 32842810 edges, 19441 markings/sec, 1685 secs
lola: STP completed || 36 tries, 35940066 fired transitions, 1690 secs || 29381747 markings, 32955208 edges, 19755 markings/sec, 1690 secs
lola: STP completed || 37 tries, 36047173 fired transitions, 1695 secs || 29478088 markings, 33065637 edges, 19268 markings/sec, 1695 secs
lola: STP completed || 37 tries, 36150616 fired transitions, 1700 secs || 29570388 markings, 33169649 edges, 18460 markings/sec, 1700 secs
lola: STP completed || 37 tries, 36253919 fired transitions, 1705 secs || 29660362 markings, 33270104 edges, 17995 markings/sec, 1705 secs
lola: STP completed || 37 tries, 36357521 fired transitions, 1710 secs || 29745982 markings, 33365039 edges, 17124 markings/sec, 1710 secs
lola: STP completed || 37 tries, 36461415 fired transitions, 1715 secs || 29835822 markings, 33465802 edges, 17968 markings/sec, 1715 secs
lola: STP completed || 37 tries, 36565620 fired transitions, 1720 secs || 29925433 markings, 33566133 edges, 17922 markings/sec, 1720 secs
lola: STP completed || 37 tries, 36669556 fired transitions, 1725 secs || 30015680 markings, 33667433 edges, 18049 markings/sec, 1725 secs
lola: STP completed || 37 tries, 36772360 fired transitions, 1730 secs || 30100268 markings, 33760955 edges, 16918 markings/sec, 1730 secs
lola: STP completed || 37 tries, 36876989 fired transitions, 1735 secs || 30186402 markings, 33856536 edges, 17227 markings/sec, 1735 secs
lola: STP completed || 37 tries, 36981501 fired transitions, 1740 secs || 30277789 markings, 33958928 edges, 18277 markings/sec, 1740 secs
lola: STP completed || 38 tries, 37086424 fired transitions, 1745 secs || 30366981 markings, 34058275 edges, 17838 markings/sec, 1745 secs
lola: STP completed || 38 tries, 37191720 fired transitions, 1750 secs || 30456576 markings, 34158364 edges, 17919 markings/sec, 1750 secs
lola: STP completed || 38 tries, 37287385 fired transitions, 1755 secs || 30543173 markings, 34255223 edges, 17319 markings/sec, 1755 secs
lola: STP completed || 38 tries, 37392062 fired transitions, 1760 secs || 30632647 markings, 34355446 edges, 17895 markings/sec, 1760 secs
lola: STP completed || 38 tries, 37497361 fired transitions, 1765 secs || 30721370 markings, 34454387 edges, 17745 markings/sec, 1765 secs
lola: STP completed || 38 tries, 37602285 fired transitions, 1770 secs || 30807617 markings, 34550866 edges, 17249 markings/sec, 1770 secs
lola: STP completed || 38 tries, 37706343 fired transitions, 1775 secs || 30892079 markings, 34644381 edges, 16892 markings/sec, 1775 secs
lola: STP completed || 38 tries, 37810903 fired transitions, 1780 secs || 30976901 markings, 34738592 edges, 16964 markings/sec, 1780 secs
lola: STP completed || 38 tries, 37916794 fired transitions, 1785 secs || 31067809 markings, 34840615 edges, 18182 markings/sec, 1785 secs
lola: STP completed || 39 tries, 38022921 fired transitions, 1790 secs || 31157160 markings, 34941639 edges, 17870 markings/sec, 1790 secs
lola: STP completed || 39 tries, 38126991 fired transitions, 1795 secs || 31240380 markings, 35034100 edges, 16644 markings/sec, 1795 secs
lola: STP completed || 39 tries, 38241877 fired transitions, 1800 secs || 31331952 markings, 35136249 edges, 18314 markings/sec, 1800 secs
lola: STP completed || 39 tries, 38355847 fired transitions, 1805 secs || 31425416 markings, 35240864 edges, 18693 markings/sec, 1805 secs
lola: STP completed || 39 tries, 38471247 fired transitions, 1810 secs || 31518220 markings, 35344663 edges, 18561 markings/sec, 1810 secs
lola: STP completed || 39 tries, 38577003 fired transitions, 1815 secs || 31606876 markings, 35443548 edges, 17731 markings/sec, 1815 secs
lola: STP completed || 39 tries, 38682907 fired transitions, 1820 secs || 31694204 markings, 35541083 edges, 17466 markings/sec, 1820 secs
lola: STP completed || 39 tries, 38785204 fired transitions, 1825 secs || 31778430 markings, 35634343 edges, 16845 markings/sec, 1825 secs
lola: STP completed || 39 tries, 38893512 fired transitions, 1830 secs || 31865267 markings, 35731031 edges, 17367 markings/sec, 1830 secs
lola: STP completed || 40 tries, 39008853 fired transitions, 1835 secs || 31954768 markings, 35830620 edges, 17900 markings/sec, 1835 secs
lola: STP completed || 40 tries, 39124840 fired transitions, 1840 secs || 32046714 markings, 35933972 edges, 18389 markings/sec, 1840 secs
lola: STP completed || 40 tries, 39239703 fired transitions, 1845 secs || 32138028 markings, 36036065 edges, 18263 markings/sec, 1845 secs
lola: STP completed || 40 tries, 39354706 fired transitions, 1850 secs || 32227825 markings, 36136280 edges, 17959 markings/sec, 1850 secs
lola: STP completed || 40 tries, 39470253 fired transitions, 1855 secs || 32318750 markings, 36237986 edges, 18185 markings/sec, 1855 secs
lola: STP completed || 40 tries, 39584144 fired transitions, 1860 secs || 32410501 markings, 36340260 edges, 18350 markings/sec, 1860 secs
lola: STP completed || 40 tries, 39699717 fired transitions, 1865 secs || 32502716 markings, 36443661 edges, 18443 markings/sec, 1865 secs
lola: STP completed || 40 tries, 39812801 fired transitions, 1870 secs || 32587484 markings, 36537479 edges, 16954 markings/sec, 1870 secs
lola: STP completed || 40 tries, 39923488 fired transitions, 1875 secs || 32679899 markings, 36641304 edges, 18483 markings/sec, 1875 secs
lola: STP completed || 41 tries, 40036006 fired transitions, 1880 secs || 32767895 markings, 36739305 edges, 17599 markings/sec, 1880 secs
lola: STP completed || 41 tries, 40148838 fired transitions, 1885 secs || 32853090 markings, 36834422 edges, 17039 markings/sec, 1885 secs
lola: STP completed || 41 tries, 40260485 fired transitions, 1890 secs || 32945580 markings, 36938853 edges, 18498 markings/sec, 1890 secs
lola: STP completed || 41 tries, 40372264 fired transitions, 1895 secs || 33034829 markings, 37038818 edges, 17850 markings/sec, 1895 secs
lola: STP completed || 41 tries, 40484583 fired transitions, 1900 secs || 33120358 markings, 37133768 edges, 17106 markings/sec, 1900 secs
lola: STP completed || 41 tries, 40595422 fired transitions, 1905 secs || 33206637 markings, 37229849 edges, 17256 markings/sec, 1905 secs
lola: STP completed || 41 tries, 40705763 fired transitions, 1910 secs || 33292998 markings, 37325854 edges, 17272 markings/sec, 1910 secs
lola: STP completed || 41 tries, 40817293 fired transitions, 1915 secs || 33385733 markings, 37429869 edges, 18547 markings/sec, 1915 secs
lola: STP completed || 41 tries, 40929310 fired transitions, 1920 secs || 33470586 markings, 37523664 edges, 16971 markings/sec, 1920 secs
lola: STP completed || 42 tries, 41042327 fired transitions, 1925 secs || 33556894 markings, 37619929 edges, 17262 markings/sec, 1925 secs
lola: STP completed || 42 tries, 41154884 fired transitions, 1930 secs || 33642957 markings, 37715906 edges, 17213 markings/sec, 1930 secs
lola: STP completed || 42 tries, 41264884 fired transitions, 1935 secs || 33730432 markings, 37813395 edges, 17495 markings/sec, 1935 secs
lola: STP completed || 42 tries, 41375035 fired transitions, 1940 secs || 33815784 markings, 37908458 edges, 17070 markings/sec, 1940 secs
lola: STP completed || 42 tries, 41484932 fired transitions, 1945 secs || 33903635 markings, 38006623 edges, 17570 markings/sec, 1945 secs
lola: STP completed || 42 tries, 41596838 fired transitions, 1950 secs || 33989613 markings, 38101851 edges, 17196 markings/sec, 1950 secs
lola: STP completed || 42 tries, 41707696 fired transitions, 1955 secs || 34080318 markings, 38203351 edges, 18141 markings/sec, 1955 secs
lola: STP completed || 42 tries, 41819661 fired transitions, 1960 secs || 34165143 markings, 38297327 edges, 16965 markings/sec, 1960 secs
lola: STP completed || 42 tries, 41931362 fired transitions, 1965 secs || 34247274 markings, 38388142 edges, 16426 markings/sec, 1965 secs
lola: STP completed || 43 tries, 42043603 fired transitions, 1970 secs || 34333131 markings, 38483550 edges, 17171 markings/sec, 1970 secs
lola: STP completed || 43 tries, 42154634 fired transitions, 1975 secs || 34416723 markings, 38575972 edges, 16718 markings/sec, 1975 secs
lola: STP completed || 43 tries, 42264367 fired transitions, 1980 secs || 34504978 markings, 38674270 edges, 17651 markings/sec, 1980 secs
lola: STP completed || 43 tries, 42376622 fired transitions, 1985 secs || 34591125 markings, 38769784 edges, 17229 markings/sec, 1985 secs
lola: STP completed || 43 tries, 42487650 fired transitions, 1990 secs || 34676230 markings, 38864146 edges, 17021 markings/sec, 1990 secs
lola: STP completed || 43 tries, 42599807 fired transitions, 1995 secs || 34763059 markings, 38960936 edges, 17366 markings/sec, 1995 secs
lola: STP completed || 43 tries, 42711165 fired transitions, 2000 secs || 34849204 markings, 39056862 edges, 17229 markings/sec, 2000 secs
lola: STP completed || 43 tries, 42821282 fired transitions, 2005 secs || 34932871 markings, 39149828 edges, 16733 markings/sec, 2005 secs
lola: STP completed || 43 tries, 42930468 fired transitions, 2010 secs || 35018272 markings, 39244710 edges, 17080 markings/sec, 2010 secs
lola: STP completed || 44 tries, 43041912 fired transitions, 2015 secs || 35102915 markings, 39338762 edges, 16929 markings/sec, 2015 secs
lola: STP completed || 44 tries, 43154755 fired transitions, 2020 secs || 35187510 markings, 39432771 edges, 16919 markings/sec, 2020 secs
lola: STP completed || 44 tries, 43265388 fired transitions, 2025 secs || 35270934 markings, 39525364 edges, 16685 markings/sec, 2025 secs
lola: STP completed || 44 tries, 43375923 fired transitions, 2030 secs || 35352922 markings, 39615873 edges, 16398 markings/sec, 2030 secs
lola: STP completed || 44 tries, 43487796 fired transitions, 2035 secs || 35435810 markings, 39707333 edges, 16578 markings/sec, 2035 secs
lola: STP completed || 44 tries, 43598158 fired transitions, 2040 secs || 35521714 markings, 39802722 edges, 17181 markings/sec, 2040 secs
lola: STP completed || 44 tries, 43710610 fired transitions, 2045 secs || 35604085 markings, 39894094 edges, 16474 markings/sec, 2045 secs
lola: STP completed || 44 tries, 43822087 fired transitions, 2050 secs || 35692170 markings, 39992360 edges, 17617 markings/sec, 2050 secs
lola: STP completed || 44 tries, 43932795 fired transitions, 2055 secs || 35775614 markings, 40084664 edges, 16689 markings/sec, 2055 secs
lola: STP completed || 45 tries, 44046064 fired transitions, 2060 secs || 35861980 markings, 40180617 edges, 17273 markings/sec, 2060 secs
lola: STP completed || 45 tries, 44156310 fired transitions, 2065 secs || 35945071 markings, 40272410 edges, 16618 markings/sec, 2065 secs
lola: STP completed || 45 tries, 44267253 fired transitions, 2070 secs || 36027395 markings, 40363066 edges, 16465 markings/sec, 2070 secs
lola: STP completed || 45 tries, 44378223 fired transitions, 2075 secs || 36112373 markings, 40457399 edges, 16996 markings/sec, 2075 secs
lola: STP completed || 45 tries, 44489724 fired transitions, 2080 secs || 36198408 markings, 40552893 edges, 17207 markings/sec, 2080 secs
lola: STP completed || 45 tries, 44602231 fired transitions, 2085 secs || 36281835 markings, 40645035 edges, 16685 markings/sec, 2085 secs
lola: STP completed || 45 tries, 44712081 fired transitions, 2090 secs || 36366385 markings, 40738905 edges, 16910 markings/sec, 2090 secs
lola: STP completed || 45 tries, 44824958 fired transitions, 2095 secs || 36454457 markings, 40837064 edges, 17614 markings/sec, 2095 secs
lola: STP completed || 45 tries, 44938920 fired transitions, 2100 secs || 36542191 markings, 40934377 edges, 17547 markings/sec, 2100 secs
lola: STP completed || 46 tries, 45046407 fired transitions, 2105 secs || 36622720 markings, 41023383 edges, 16106 markings/sec, 2105 secs
lola: STP completed || 46 tries, 45158187 fired transitions, 2110 secs || 36705609 markings, 41115334 edges, 16578 markings/sec, 2110 secs
lola: STP completed || 46 tries, 45271522 fired transitions, 2115 secs || 36794089 markings, 41213676 edges, 17696 markings/sec, 2115 secs
lola: STP completed || 46 tries, 45387364 fired transitions, 2120 secs || 36879231 markings, 41307816 edges, 17028 markings/sec, 2120 secs
lola: STP completed || 46 tries, 45502905 fired transitions, 2125 secs || 36967039 markings, 41405365 edges, 17562 markings/sec, 2125 secs
lola: STP completed || 46 tries, 45618672 fired transitions, 2130 secs || 37055716 markings, 41504005 edges, 17735 markings/sec, 2130 secs
lola: STP completed || 46 tries, 45734311 fired transitions, 2135 secs || 37143520 markings, 41601665 edges, 17561 markings/sec, 2135 secs
lola: STP completed || 46 tries, 45849458 fired transitions, 2140 secs || 37232786 markings, 41701068 edges, 17853 markings/sec, 2140 secs
lola: STP completed || 46 tries, 45965906 fired transitions, 2145 secs || 37318500 markings, 41795805 edges, 17143 markings/sec, 2145 secs
lola: STP completed || 47 tries, 46080002 fired transitions, 2150 secs || 37407643 markings, 41895422 edges, 17829 markings/sec, 2150 secs
lola: STP completed || 47 tries, 46196692 fired transitions, 2155 secs || 37494195 markings, 41990949 edges, 17310 markings/sec, 2155 secs
lola: STP completed || 47 tries, 46311931 fired transitions, 2160 secs || 37580592 markings, 42086687 edges, 17279 markings/sec, 2160 secs
lola: STP completed || 47 tries, 46428448 fired transitions, 2165 secs || 37668199 markings, 42183869 edges, 17521 markings/sec, 2165 secs
lola: STP completed || 47 tries, 46543387 fired transitions, 2170 secs || 37753650 markings, 42278456 edges, 17090 markings/sec, 2170 secs
lola: STP completed || 47 tries, 46659254 fired transitions, 2175 secs || 37841138 markings, 42375684 edges, 17498 markings/sec, 2175 secs
lola: STP completed || 47 tries, 46775682 fired transitions, 2180 secs || 37928849 markings, 42472249 edges, 17542 markings/sec, 2180 secs
lola: STP completed || 47 tries, 46891767 fired transitions, 2185 secs || 38016390 markings, 42569047 edges, 17508 markings/sec, 2185 secs
lola: STP completed || 48 tries, 47008384 fired transitions, 2190 secs || 38101509 markings, 42662937 edges, 17024 markings/sec, 2190 secs
lola: STP completed || 48 tries, 47124422 fired transitions, 2195 secs || 38186929 markings, 42757699 edges, 17084 markings/sec, 2195 secs
lola: STP completed || 48 tries, 47239518 fired transitions, 2200 secs || 38277790 markings, 42858850 edges, 18172 markings/sec, 2200 secs
lola: STP completed || 48 tries, 47354734 fired transitions, 2205 secs || 38365098 markings, 42955646 edges, 17462 markings/sec, 2205 secs
lola: STP completed || 48 tries, 47470692 fired transitions, 2210 secs || 38453086 markings, 43053138 edges, 17598 markings/sec, 2210 secs
lola: STP completed || 48 tries, 47585212 fired transitions, 2215 secs || 38540649 markings, 43150035 edges, 17513 markings/sec, 2215 secs
lola: STP completed || 48 tries, 47700057 fired transitions, 2220 secs || 38627366 markings, 43246173 edges, 17343 markings/sec, 2220 secs
lola: STP completed || 48 tries, 47815639 fired transitions, 2225 secs || 38713227 markings, 43341236 edges, 17172 markings/sec, 2225 secs
lola: STP completed || 48 tries, 47932203 fired transitions, 2230 secs || 38799971 markings, 43437551 edges, 17349 markings/sec, 2230 secs
lola: STP completed || 49 tries, 48049968 fired transitions, 2235 secs || 38886733 markings, 43533950 edges, 17352 markings/sec, 2235 secs
lola: STP completed || 49 tries, 48166187 fired transitions, 2240 secs || 38973264 markings, 43629935 edges, 17306 markings/sec, 2240 secs
lola: STP completed || 49 tries, 48280631 fired transitions, 2245 secs || 39058974 markings, 43724623 edges, 17142 markings/sec, 2245 secs
lola: STP completed || 49 tries, 48395896 fired transitions, 2250 secs || 39146717 markings, 43821827 edges, 17549 markings/sec, 2250 secs
lola: STP completed || 49 tries, 48510705 fired transitions, 2255 secs || 39237218 markings, 43922383 edges, 18100 markings/sec, 2255 secs
lola: STP completed || 49 tries, 48627588 fired transitions, 2260 secs || 39330866 markings, 44027532 edges, 18730 markings/sec, 2260 secs
lola: STP completed || 49 tries, 48743473 fired transitions, 2265 secs || 39417957 markings, 44124004 edges, 17418 markings/sec, 2265 secs
lola: STP completed || 49 tries, 48860147 fired transitions, 2270 secs || 39506902 markings, 44222930 edges, 17789 markings/sec, 2270 secs
lola: STP completed || 49 tries, 48975660 fired transitions, 2275 secs || 39595601 markings, 44321684 edges, 17740 markings/sec, 2275 secs
lola: STP completed || 50 tries, 49092475 fired transitions, 2280 secs || 39682465 markings, 44418514 edges, 17373 markings/sec, 2280 secs
lola: STP completed || 50 tries, 49207867 fired transitions, 2285 secs || 39771471 markings, 44517371 edges, 17801 markings/sec, 2285 secs
lola: STP completed || 50 tries, 49323585 fired transitions, 2290 secs || 39861406 markings, 44617726 edges, 17987 markings/sec, 2290 secs
lola: STP completed || 50 tries, 49436187 fired transitions, 2295 secs || 39947135 markings, 44713055 edges, 17146 markings/sec, 2295 secs
lola: STP completed || 50 tries, 49549888 fired transitions, 2300 secs || 40033663 markings, 44808883 edges, 17306 markings/sec, 2300 secs
lola: STP completed || 50 tries, 49664215 fired transitions, 2305 secs || 40121599 markings, 44906673 edges, 17587 markings/sec, 2305 secs
lola: STP completed || 50 tries, 49778542 fired transitions, 2310 secs || 40210375 markings, 45005835 edges, 17755 markings/sec, 2310 secs
lola: STP completed || 50 tries, 49891808 fired transitions, 2315 secs || 40295733 markings, 45101236 edges, 17072 markings/sec, 2315 secs
lola: STP completed || 51 tries, 50005685 fired transitions, 2320 secs || 40379701 markings, 45194341 edges, 16794 markings/sec, 2320 secs
lola: STP completed || 51 tries, 50116074 fired transitions, 2325 secs || 40466113 markings, 45290388 edges, 17282 markings/sec, 2325 secs
lola: STP completed || 51 tries, 50228247 fired transitions, 2330 secs || 40548707 markings, 45382278 edges, 16519 markings/sec, 2330 secs
lola: STP completed || 51 tries, 50340733 fired transitions, 2335 secs || 40631809 markings, 45474051 edges, 16620 markings/sec, 2335 secs
lola: STP completed || 51 tries, 50452172 fired transitions, 2340 secs || 40718003 markings, 45569981 edges, 17239 markings/sec, 2340 secs
lola: STP completed || 51 tries, 50562473 fired transitions, 2345 secs || 40802253 markings, 45663262 edges, 16850 markings/sec, 2345 secs
lola: STP completed || 51 tries, 50673318 fired transitions, 2350 secs || 40888836 markings, 45759592 edges, 17317 markings/sec, 2350 secs
lola: STP completed || 51 tries, 50782517 fired transitions, 2355 secs || 40972348 markings, 45852561 edges, 16702 markings/sec, 2355 secs
lola: STP completed || 51 tries, 50893934 fired transitions, 2360 secs || 41056339 markings, 45946013 edges, 16798 markings/sec, 2360 secs
lola: STP completed || 52 tries, 51007157 fired transitions, 2365 secs || 41141548 markings, 46040758 edges, 17042 markings/sec, 2365 secs
lola: STP completed || 52 tries, 51117573 fired transitions, 2370 secs || 41225749 markings, 46134326 edges, 16840 markings/sec, 2370 secs
lola: STP completed || 52 tries, 51227410 fired transitions, 2375 secs || 41309897 markings, 46228012 edges, 16830 markings/sec, 2375 secs
lola: STP completed || 52 tries, 51338931 fired transitions, 2380 secs || 41399293 markings, 46327848 edges, 17879 markings/sec, 2380 secs
lola: STP completed || 52 tries, 51449295 fired transitions, 2385 secs || 41483648 markings, 46421708 edges, 16871 markings/sec, 2385 secs
lola: STP completed || 52 tries, 51560461 fired transitions, 2390 secs || 41563279 markings, 46509740 edges, 15926 markings/sec, 2390 secs
lola: STP completed || 52 tries, 51671533 fired transitions, 2395 secs || 41647942 markings, 46603825 edges, 16933 markings/sec, 2395 secs
lola: STP completed || 52 tries, 51783036 fired transitions, 2400 secs || 41733613 markings, 46699032 edges, 17134 markings/sec, 2400 secs
lola: STP completed || 52 tries, 51893138 fired transitions, 2405 secs || 41820891 markings, 46796560 edges, 17456 markings/sec, 2405 secs
lola: STP completed || 53 tries, 52006854 fired transitions, 2410 secs || 41905070 markings, 46890507 edges, 16836 markings/sec, 2410 secs
lola: STP completed || 53 tries, 52118997 fired transitions, 2415 secs || 41991241 markings, 46986606 edges, 17234 markings/sec, 2415 secs
lola: STP completed || 53 tries, 52230381 fired transitions, 2420 secs || 42080574 markings, 47086313 edges, 17867 markings/sec, 2420 secs
lola: STP completed || 53 tries, 52342890 fired transitions, 2425 secs || 42165728 markings, 47180626 edges, 17031 markings/sec, 2425 secs
lola: STP completed || 53 tries, 52455741 fired transitions, 2430 secs || 42250248 markings, 47274241 edges, 16904 markings/sec, 2430 secs
lola: STP completed || 53 tries, 52571855 fired transitions, 2435 secs || 42341391 markings, 47375714 edges, 18229 markings/sec, 2435 secs
lola: STP completed || 53 tries, 52686452 fired transitions, 2440 secs || 42431484 markings, 47476034 edges, 18019 markings/sec, 2440 secs
lola: STP completed || 53 tries, 52802669 fired transitions, 2445 secs || 42520429 markings, 47574858 edges, 17789 markings/sec, 2445 secs
lola: STP completed || 53 tries, 52917864 fired transitions, 2450 secs || 42606184 markings, 47669635 edges, 17151 markings/sec, 2450 secs
lola: STP completed || 54 tries, 53034829 fired transitions, 2455 secs || 42693544 markings, 47766738 edges, 17472 markings/sec, 2455 secs
lola: STP completed || 54 tries, 53151379 fired transitions, 2460 secs || 42776502 markings, 47857835 edges, 16592 markings/sec, 2460 secs
lola: STP completed || 54 tries, 53265276 fired transitions, 2465 secs || 42861918 markings, 47952054 edges, 17083 markings/sec, 2465 secs
lola: STP completed || 54 tries, 53381631 fired transitions, 2470 secs || 42943813 markings, 48041814 edges, 16379 markings/sec, 2470 secs
lola: STP completed || 54 tries, 53494537 fired transitions, 2475 secs || 43024164 markings, 48130124 edges, 16070 markings/sec, 2475 secs
lola: STP completed || 54 tries, 53607303 fired transitions, 2480 secs || 43105715 markings, 48220184 edges, 16310 markings/sec, 2480 secs
lola: STP completed || 54 tries, 53716855 fired transitions, 2485 secs || 43186045 markings, 48308537 edges, 16066 markings/sec, 2485 secs
lola: STP completed || 54 tries, 53828271 fired transitions, 2490 secs || 43264929 markings, 48395181 edges, 15777 markings/sec, 2490 secs
lola: STP completed || 54 tries, 53939314 fired transitions, 2495 secs || 43344119 markings, 48482113 edges, 15838 markings/sec, 2495 secs
lola: STP completed || 55 tries, 54051660 fired transitions, 2500 secs || 43424767 markings, 48570787 edges, 16130 markings/sec, 2500 secs
lola: STP completed || 55 tries, 54162649 fired transitions, 2505 secs || 43503443 markings, 48657240 edges, 15735 markings/sec, 2505 secs
lola: STP completed || 55 tries, 54272942 fired transitions, 2510 secs || 43587621 markings, 48751551 edges, 16836 markings/sec, 2510 secs
lola: STP completed || 55 tries, 54384049 fired transitions, 2515 secs || 43668649 markings, 48841043 edges, 16206 markings/sec, 2515 secs
lola: STP completed || 55 tries, 54495530 fired transitions, 2520 secs || 43753375 markings, 48934950 edges, 16945 markings/sec, 2520 secs
lola: STP completed || 55 tries, 54606891 fired transitions, 2525 secs || 43836436 markings, 49027107 edges, 16612 markings/sec, 2525 secs
lola: STP completed || 55 tries, 54716716 fired transitions, 2530 secs || 43913802 markings, 49111775 edges, 15473 markings/sec, 2530 secs
lola: STP completed || 55 tries, 54828163 fired transitions, 2535 secs || 43992802 markings, 49198686 edges, 15800 markings/sec, 2535 secs
lola: STP completed || 55 tries, 54939752 fired transitions, 2540 secs || 44072834 markings, 49286955 edges, 16006 markings/sec, 2540 secs
lola: STP completed || 56 tries, 55051157 fired transitions, 2545 secs || 44152545 markings, 49374659 edges, 15942 markings/sec, 2545 secs
lola: STP completed || 56 tries, 55162379 fired transitions, 2550 secs || 44233568 markings, 49464197 edges, 16205 markings/sec, 2550 secs
lola: STP completed || 56 tries, 55272385 fired transitions, 2555 secs || 44313687 markings, 49552388 edges, 16024 markings/sec, 2555 secs
lola: STP completed || 56 tries, 55382369 fired transitions, 2560 secs || 44393000 markings, 49639884 edges, 15863 markings/sec, 2560 secs
lola: STP completed || 56 tries, 55492307 fired transitions, 2565 secs || 44474889 markings, 49730512 edges, 16378 markings/sec, 2565 secs
lola: STP completed || 56 tries, 55606149 fired transitions, 2570 secs || 44554146 markings, 49817659 edges, 15851 markings/sec, 2570 secs
lola: STP completed || 56 tries, 55717147 fired transitions, 2575 secs || 44634088 markings, 49905414 edges, 15988 markings/sec, 2575 secs
lola: STP completed || 56 tries, 55829012 fired transitions, 2580 secs || 44712246 markings, 49991015 edges, 15632 markings/sec, 2580 secs
lola: STP completed || 56 tries, 55941193 fired transitions, 2585 secs || 44791613 markings, 50078110 edges, 15873 markings/sec, 2585 secs
lola: STP completed || 57 tries, 56052927 fired transitions, 2590 secs || 44871266 markings, 50165584 edges, 15931 markings/sec, 2590 secs
lola: STP completed || 57 tries, 56163126 fired transitions, 2595 secs || 44950409 markings, 50252765 edges, 15829 markings/sec, 2595 secs
lola: STP completed || 57 tries, 56274473 fired transitions, 2600 secs || 45029670 markings, 50340263 edges, 15852 markings/sec, 2600 secs
lola: STP completed || 57 tries, 56386150 fired transitions, 2605 secs || 45108644 markings, 50427101 edges, 15795 markings/sec, 2605 secs
lola: STP completed || 57 tries, 56496750 fired transitions, 2610 secs || 45189570 markings, 50516438 edges, 16185 markings/sec, 2610 secs
lola: STP completed || 57 tries, 56609007 fired transitions, 2615 secs || 45269927 markings, 50605112 edges, 16071 markings/sec, 2615 secs
lola: STP completed || 57 tries, 56721015 fired transitions, 2620 secs || 45348751 markings, 50691876 edges, 15765 markings/sec, 2620 secs
lola: STP completed || 57 tries, 56831835 fired transitions, 2625 secs || 45426002 markings, 50776497 edges, 15450 markings/sec, 2625 secs
lola: STP completed || 57 tries, 56941938 fired transitions, 2630 secs || 45506581 markings, 50865627 edges, 16116 markings/sec, 2630 secs
lola: STP completed || 58 tries, 57053328 fired transitions, 2635 secs || 45585464 markings, 50952564 edges, 15777 markings/sec, 2635 secs
lola: STP completed || 58 tries, 57165062 fired transitions, 2640 secs || 45665328 markings, 51040992 edges, 15973 markings/sec, 2640 secs
lola: STP completed || 58 tries, 57266166 fired transitions, 2645 secs || 45748687 markings, 51133217 edges, 16672 markings/sec, 2645 secs
lola: STP completed || 58 tries, 57369690 fired transitions, 2650 secs || 45828125 markings, 51220784 edges, 15888 markings/sec, 2650 secs
lola: STP completed || 58 tries, 57474070 fired transitions, 2655 secs || 45914664 markings, 51317167 edges, 17308 markings/sec, 2655 secs
lola: STP completed || 58 tries, 57578144 fired transitions, 2660 secs || 45994127 markings, 51404514 edges, 15893 markings/sec, 2660 secs
lola: STP completed || 58 tries, 57682481 fired transitions, 2665 secs || 46072359 markings, 51490314 edges, 15646 markings/sec, 2665 secs
lola: STP completed || 58 tries, 57785926 fired transitions, 2670 secs || 46152576 markings, 51578722 edges, 16043 markings/sec, 2670 secs
lola: STP completed || 58 tries, 57890014 fired transitions, 2675 secs || 46230262 markings, 51663861 edges, 15537 markings/sec, 2675 secs
lola: STP completed || 58 tries, 57994973 fired transitions, 2680 secs || 46309419 markings, 51751022 edges, 15831 markings/sec, 2680 secs
lola: STP completed || 59 tries, 58099637 fired transitions, 2685 secs || 46387249 markings, 51836416 edges, 15566 markings/sec, 2685 secs
lola: STP completed || 59 tries, 58202969 fired transitions, 2690 secs || 46469306 markings, 51927092 edges, 16411 markings/sec, 2690 secs
lola: STP completed || 59 tries, 58305921 fired transitions, 2695 secs || 46552124 markings, 52018156 edges, 16564 markings/sec, 2695 secs
lola: STP completed || 59 tries, 58410090 fired transitions, 2700 secs || 46629945 markings, 52103477 edges, 15564 markings/sec, 2700 secs
lola: STP completed || 59 tries, 58514656 fired transitions, 2705 secs || 46706787 markings, 52187696 edges, 15368 markings/sec, 2705 secs
lola: STP completed || 59 tries, 58618555 fired transitions, 2710 secs || 46785599 markings, 52274787 edges, 15762 markings/sec, 2710 secs
lola: STP completed || 59 tries, 58724262 fired transitions, 2715 secs || 46863765 markings, 52360554 edges, 15633 markings/sec, 2715 secs
lola: STP completed || 59 tries, 58828123 fired transitions, 2720 secs || 46946538 markings, 52452125 edges, 16555 markings/sec, 2720 secs
lola: STP completed || 59 tries, 58933260 fired transitions, 2725 secs || 47027013 markings, 52540798 edges, 16095 markings/sec, 2725 secs
lola: STP completed || 60 tries, 59038764 fired transitions, 2730 secs || 47107444 markings, 52629289 edges, 16086 markings/sec, 2730 secs
lola: STP completed || 60 tries, 59143866 fired transitions, 2735 secs || 47185999 markings, 52715730 edges, 15711 markings/sec, 2735 secs
lola: STP completed || 60 tries, 59248499 fired transitions, 2740 secs || 47263316 markings, 52800607 edges, 15463 markings/sec, 2740 secs
lola: STP completed || 60 tries, 59354637 fired transitions, 2745 secs || 47342207 markings, 52887678 edges, 15778 markings/sec, 2745 secs
lola: STP completed || 60 tries, 59460493 fired transitions, 2750 secs || 47423370 markings, 52977362 edges, 16233 markings/sec, 2750 secs
lola: STP completed || 60 tries, 59565466 fired transitions, 2755 secs || 47502148 markings, 53064091 edges, 15756 markings/sec, 2755 secs
lola: STP completed || 60 tries, 59669890 fired transitions, 2760 secs || 47579430 markings, 53148882 edges, 15456 markings/sec, 2760 secs
lola: STP completed || 60 tries, 59775252 fired transitions, 2765 secs || 47658974 markings, 53236484 edges, 15909 markings/sec, 2765 secs
lola: STP completed || 60 tries, 59880620 fired transitions, 2770 secs || 47741191 markings, 53327217 edges, 16443 markings/sec, 2770 secs
lola: STP completed || 60 tries, 59984332 fired transitions, 2775 secs || 47817809 markings, 53411339 edges, 15324 markings/sec, 2775 secs
lola: STP completed || 61 tries, 60090300 fired transitions, 2780 secs || 47893907 markings, 53494931 edges, 15220 markings/sec, 2780 secs
lola: STP completed || 61 tries, 60195025 fired transitions, 2785 secs || 47971229 markings, 53579507 edges, 15464 markings/sec, 2785 secs
lola: STP completed || 61 tries, 60299402 fired transitions, 2790 secs || 48053921 markings, 53671321 edges, 16538 markings/sec, 2790 secs
lola: STP completed || 61 tries, 60404409 fired transitions, 2795 secs || 48136772 markings, 53763428 edges, 16570 markings/sec, 2795 secs
lola: STP completed || 61 tries, 60508241 fired transitions, 2800 secs || 48216458 markings, 53851508 edges, 15937 markings/sec, 2800 secs
lola: STP completed || 61 tries, 60612544 fired transitions, 2805 secs || 48294952 markings, 53938163 edges, 15699 markings/sec, 2805 secs
lola: STP completed || 61 tries, 60716822 fired transitions, 2810 secs || 48376668 markings, 54028869 edges, 16343 markings/sec, 2810 secs
lola: STP completed || 61 tries, 60820477 fired transitions, 2815 secs || 48455488 markings, 54115650 edges, 15764 markings/sec, 2815 secs
lola: STP completed || 61 tries, 60924068 fired transitions, 2820 secs || 48533683 markings, 54201836 edges, 15639 markings/sec, 2820 secs
lola: STP completed || 62 tries, 61028412 fired transitions, 2825 secs || 48612296 markings, 54288533 edges, 15723 markings/sec, 2825 secs
lola: STP completed || 62 tries, 61132436 fired transitions, 2830 secs || 48689765 markings, 54373518 edges, 15494 markings/sec, 2830 secs
lola: STP completed || 62 tries, 61235657 fired transitions, 2835 secs || 48774802 markings, 54468260 edges, 17007 markings/sec, 2835 secs
lola: STP completed || 62 tries, 61339092 fired transitions, 2840 secs || 48855064 markings, 54556909 edges, 16052 markings/sec, 2840 secs
lola: STP completed || 62 tries, 61444564 fired transitions, 2845 secs || 48936844 markings, 54647378 edges, 16356 markings/sec, 2845 secs
lola: STP completed || 62 tries, 61549532 fired transitions, 2850 secs || 49019069 markings, 54738254 edges, 16445 markings/sec, 2850 secs
lola: STP completed || 62 tries, 61654159 fired transitions, 2855 secs || 49098475 markings, 54826467 edges, 15881 markings/sec, 2855 secs
lola: STP completed || 62 tries, 61757674 fired transitions, 2860 secs || 49183038 markings, 54921189 edges, 16913 markings/sec, 2860 secs
lola: STP completed || 62 tries, 61861739 fired transitions, 2865 secs || 49266848 markings, 55014114 edges, 16762 markings/sec, 2865 secs
lola: STP completed || 62 tries, 61965877 fired transitions, 2870 secs || 49351199 markings, 55108049 edges, 16870 markings/sec, 2870 secs
lola: STP completed || 63 tries, 62071728 fired transitions, 2875 secs || 49433867 markings, 55199464 edges, 16534 markings/sec, 2875 secs
lola: STP completed || 63 tries, 62176183 fired transitions, 2880 secs || 49515275 markings, 55289440 edges, 16282 markings/sec, 2880 secs
lola: STP completed || 63 tries, 62280466 fired transitions, 2885 secs || 49595009 markings, 55377521 edges, 15947 markings/sec, 2885 secs
lola: STP completed || 63 tries, 62386001 fired transitions, 2890 secs || 49671875 markings, 55461763 edges, 15373 markings/sec, 2890 secs
lola: STP completed || 63 tries, 62489799 fired transitions, 2895 secs || 49749404 markings, 55546937 edges, 15506 markings/sec, 2895 secs
lola: STP completed || 63 tries, 62594754 fired transitions, 2900 secs || 49825074 markings, 55629763 edges, 15134 markings/sec, 2900 secs
lola: STP completed || 63 tries, 62700531 fired transitions, 2905 secs || 49904886 markings, 55717649 edges, 15962 markings/sec, 2905 secs
lola: STP completed || 63 tries, 62804499 fired transitions, 2910 secs || 49983236 markings, 55803973 edges, 15670 markings/sec, 2910 secs
lola: STP completed || 63 tries, 62908354 fired transitions, 2915 secs || 50059146 markings, 55887140 edges, 15182 markings/sec, 2915 secs
lola: STP completed || 64 tries, 63014714 fired transitions, 2920 secs || 50139258 markings, 55975896 edges, 16022 markings/sec, 2920 secs
lola: STP completed || 64 tries, 63120051 fired transitions, 2925 secs || 50217491 markings, 56062184 edges, 15647 markings/sec, 2925 secs
lola: STP completed || 64 tries, 63224947 fired transitions, 2930 secs || 50294261 markings, 56146540 edges, 15354 markings/sec, 2930 secs
lola: STP completed || 64 tries, 63335726 fired transitions, 2935 secs || 50374601 markings, 56235001 edges, 16068 markings/sec, 2935 secs
lola: STP completed || 64 tries, 63440264 fired transitions, 2940 secs || 50451725 markings, 56319365 edges, 15425 markings/sec, 2940 secs
lola: STP completed || 64 tries, 63545423 fired transitions, 2945 secs || 50530502 markings, 56406302 edges, 15755 markings/sec, 2945 secs
lola: STP completed || 64 tries, 63649779 fired transitions, 2950 secs || 50607888 markings, 56491392 edges, 15477 markings/sec, 2950 secs
lola: STP completed || 64 tries, 63753818 fired transitions, 2955 secs || 50689215 markings, 56581455 edges, 16265 markings/sec, 2955 secs
lola: STP completed || 64 tries, 63859474 fired transitions, 2960 secs || 50771593 markings, 56672933 edges, 16476 markings/sec, 2960 secs
lola: STP completed || 64 tries, 63964228 fired transitions, 2965 secs || 50850887 markings, 56760310 edges, 15859 markings/sec, 2965 secs
lola: STP completed || 65 tries, 64069769 fired transitions, 2970 secs || 50935549 markings, 56854598 edges, 16932 markings/sec, 2970 secs
lola: STP completed || 65 tries, 64172902 fired transitions, 2975 secs || 51011215 markings, 56937823 edges, 15133 markings/sec, 2975 secs
lola: STP completed || 65 tries, 64278812 fired transitions, 2980 secs || 51089495 markings, 57024114 edges, 15656 markings/sec, 2980 secs
lola: STP completed || 65 tries, 64384348 fired transitions, 2985 secs || 51170516 markings, 57113668 edges, 16204 markings/sec, 2985 secs
lola: STP completed || 65 tries, 64489238 fired transitions, 2990 secs || 51248315 markings, 57199312 edges, 15560 markings/sec, 2990 secs
lola: STP completed || 65 tries, 64594276 fired transitions, 2995 secs || 51330354 markings, 57289929 edges, 16408 markings/sec, 2995 secs
lola: STP completed || 65 tries, 64699651 fired transitions, 3000 secs || 51411587 markings, 57379564 edges, 16247 markings/sec, 3000 secs
lola: STP completed || 65 tries, 64804463 fired transitions, 3005 secs || 51492716 markings, 57469081 edges, 16226 markings/sec, 3005 secs
lola: STP completed || 65 tries, 64909666 fired transitions, 3010 secs || 51576330 markings, 57561264 edges, 16723 markings/sec, 3010 secs
lola: STP completed || 66 tries, 65013908 fired transitions, 3015 secs || 51658786 markings, 57651781 edges, 16491 markings/sec, 3015 secs
lola: STP completed || 66 tries, 65118778 fired transitions, 3020 secs || 51741937 markings, 57743367 edges, 16630 markings/sec, 3020 secs
lola: STP completed || 66 tries, 65222279 fired transitions, 3025 secs || 51822705 markings, 57832164 edges, 16154 markings/sec, 3025 secs
lola: STP completed || 66 tries, 65325296 fired transitions, 3030 secs || 51905767 markings, 57923941 edges, 16612 markings/sec, 3030 secs
lola: STP completed || 66 tries, 65428615 fired transitions, 3035 secs || 51986221 markings, 58012387 edges, 16091 markings/sec, 3035 secs
lola: STP completed || 66 tries, 65532165 fired transitions, 3040 secs || 52066448 markings, 58100726 edges, 16045 markings/sec, 3040 secs
lola: STP completed || 66 tries, 65636879 fired transitions, 3045 secs || 52147899 markings, 58190515 edges, 16290 markings/sec, 3045 secs
lola: STP completed || 66 tries, 65742683 fired transitions, 3050 secs || 52224753 markings, 58275156 edges, 15371 markings/sec, 3050 secs
lola: STP completed || 66 tries, 65845591 fired transitions, 3055 secs || 52303622 markings, 58362183 edges, 15774 markings/sec, 3055 secs
lola: STP completed || 66 tries, 65950914 fired transitions, 3060 secs || 52381373 markings, 58447668 edges, 15550 markings/sec, 3060 secs
lola: STP completed || 67 tries, 66057419 fired transitions, 3065 secs || 52460992 markings, 58535459 edges, 15924 markings/sec, 3065 secs
lola: STP completed || 67 tries, 66162611 fired transitions, 3070 secs || 52542829 markings, 58625633 edges, 16367 markings/sec, 3070 secs
lola: STP completed || 67 tries, 66267800 fired transitions, 3075 secs || 52620579 markings, 58711150 edges, 15550 markings/sec, 3075 secs
lola: STP completed || 67 tries, 66372381 fired transitions, 3080 secs || 52697576 markings, 58795758 edges, 15399 markings/sec, 3080 secs
lola: STP completed || 67 tries, 66475974 fired transitions, 3085 secs || 52775233 markings, 58881466 edges, 15531 markings/sec, 3085 secs
lola: STP completed || 67 tries, 66581108 fired transitions, 3090 secs || 52859305 markings, 58974616 edges, 16814 markings/sec, 3090 secs
lola: STP completed || 67 tries, 66685551 fired transitions, 3095 secs || 52937876 markings, 59061191 edges, 15714 markings/sec, 3095 secs
lola: STP completed || 67 tries, 66788788 fired transitions, 3100 secs || 53015631 markings, 59146816 edges, 15551 markings/sec, 3100 secs
lola: STP completed || 67 tries, 66892865 fired transitions, 3105 secs || 53095525 markings, 59234832 edges, 15979 markings/sec, 3105 secs
lola: STP completed || 67 tries, 66999095 fired transitions, 3110 secs || 53175900 markings, 59323661 edges, 16075 markings/sec, 3110 secs
lola: STP completed || 68 tries, 67105835 fired transitions, 3115 secs || 53253686 markings, 59409476 edges, 15557 markings/sec, 3115 secs
lola: STP completed || 68 tries, 67208714 fired transitions, 3120 secs || 53332640 markings, 59496305 edges, 15791 markings/sec, 3120 secs
lola: STP completed || 68 tries, 67313592 fired transitions, 3125 secs || 53417850 markings, 59591340 edges, 17042 markings/sec, 3125 secs
lola: STP completed || 68 tries, 67417991 fired transitions, 3130 secs || 53497912 markings, 59679305 edges, 16012 markings/sec, 3130 secs
lola: STP completed || 68 tries, 67522492 fired transitions, 3135 secs || 53576864 markings, 59766153 edges, 15790 markings/sec, 3135 secs
lola: STP completed || 68 tries, 67627774 fired transitions, 3140 secs || 53653831 markings, 59850984 edges, 15393 markings/sec, 3140 secs
lola: STP completed || 68 tries, 67730826 fired transitions, 3145 secs || 53730336 markings, 59935088 edges, 15301 markings/sec, 3145 secs
lola: STP completed || 68 tries, 67835912 fired transitions, 3150 secs || 53811407 markings, 60024775 edges, 16214 markings/sec, 3150 secs
lola: STP completed || 68 tries, 67940759 fired transitions, 3155 secs || 53890048 markings, 60111404 edges, 15728 markings/sec, 3155 secs
lola: STP completed || 69 tries, 68046636 fired transitions, 3160 secs || 53969624 markings, 60199083 edges, 15915 markings/sec, 3160 secs
lola: STP completed || 69 tries, 68151267 fired transitions, 3165 secs || 54048735 markings, 60286439 edges, 15822 markings/sec, 3165 secs
lola: STP completed || 69 tries, 68255686 fired transitions, 3170 secs || 54125647 markings, 60370681 edges, 15382 markings/sec, 3170 secs
lola: STP completed || 69 tries, 68360718 fired transitions, 3175 secs || 54214101 markings, 60469731 edges, 17691 markings/sec, 3175 secs
lola: STP completed || 69 tries, 68466462 fired transitions, 3180 secs || 54293036 markings, 60556816 edges, 15787 markings/sec, 3180 secs
lola: STP completed || 69 tries, 68570564 fired transitions, 3185 secs || 54375342 markings, 60647570 edges, 16461 markings/sec, 3185 secs
lola: STP completed || 69 tries, 68675337 fired transitions, 3190 secs || 54454515 markings, 60734495 edges, 15835 markings/sec, 3190 secs
lola: STP completed || 69 tries, 68780416 fired transitions, 3195 secs || 54533321 markings, 60821162 edges, 15761 markings/sec, 3195 secs
lola: STP completed || 69 tries, 68885941 fired transitions, 3200 secs || 54614898 markings, 60911736 edges, 16315 markings/sec, 3200 secs
lola: STP completed || 69 tries, 68989915 fired transitions, 3205 secs || 54695950 markings, 61001407 edges, 16210 markings/sec, 3205 secs
lola: STP completed || 70 tries, 69097219 fired transitions, 3210 secs || 54773685 markings, 61087278 edges, 15547 markings/sec, 3210 secs
lola: STP completed || 70 tries, 69202601 fired transitions, 3215 secs || 54852107 markings, 61173770 edges, 15684 markings/sec, 3215 secs
lola: STP completed || 70 tries, 69307543 fired transitions, 3220 secs || 54932831 markings, 61262933 edges, 16145 markings/sec, 3220 secs
lola: STP completed || 70 tries, 69412150 fired transitions, 3225 secs || 55010983 markings, 61348997 edges, 15630 markings/sec, 3225 secs
lola: STP completed || 70 tries, 69516648 fired transitions, 3230 secs || 55092448 markings, 61438971 edges, 16293 markings/sec, 3230 secs
lola: STP completed || 70 tries, 69621938 fired transitions, 3235 secs || 55173520 markings, 61528326 edges, 16214 markings/sec, 3235 secs
lola: STP completed || 70 tries, 69725646 fired transitions, 3240 secs || 55252990 markings, 61615807 edges, 15894 markings/sec, 3240 secs
lola: STP completed || 70 tries, 69829836 fired transitions, 3245 secs || 55332667 markings, 61703557 edges, 15935 markings/sec, 3245 secs
lola: STP completed || 70 tries, 69934673 fired transitions, 3250 secs || 55412470 markings, 61791552 edges, 15961 markings/sec, 3250 secs
lola: STP completed || 71 tries, 70041598 fired transitions, 3255 secs || 55490390 markings, 61877068 edges, 15584 markings/sec, 3255 secs
lola: STP completed || 71 tries, 70145994 fired transitions, 3260 secs || 55570639 markings, 61965453 edges, 16050 markings/sec, 3260 secs
lola: STP completed || 71 tries, 70252281 fired transitions, 3265 secs || 55653128 markings, 62056843 edges, 16498 markings/sec, 3265 secs
lola: STP completed || 71 tries, 70357826 fired transitions, 3270 secs || 55738158 markings, 62151365 edges, 17006 markings/sec, 3270 secs
lola: STP completed || 71 tries, 70460832 fired transitions, 3275 secs || 55818585 markings, 62239688 edges, 16085 markings/sec, 3275 secs
lola: STP completed || 71 tries, 70566431 fired transitions, 3280 secs || 55901336 markings, 62331182 edges, 16550 markings/sec, 3280 secs
lola: STP completed || 71 tries, 70670774 fired transitions, 3285 secs || 55984510 markings, 62422999 edges, 16635 markings/sec, 3285 secs
lola: STP completed || 71 tries, 70775632 fired transitions, 3290 secs || 56064693 markings, 62511333 edges, 16037 markings/sec, 3290 secs
lola: STP completed || 71 tries, 70881342 fired transitions, 3295 secs || 56141566 markings, 62595888 edges, 15375 markings/sec, 3295 secs
lola: STP completed || 71 tries, 70984893 fired transitions, 3300 secs || 56220597 markings, 62683020 edges, 15806 markings/sec, 3300 secs
lola: STP completed || 72 tries, 71090826 fired transitions, 3305 secs || 56297900 markings, 62767936 edges, 15461 markings/sec, 3305 secs
lola: STP completed || 72 tries, 71195643 fired transitions, 3310 secs || 56379524 markings, 62858068 edges, 16325 markings/sec, 3310 secs
lola: STP completed || 72 tries, 71301017 fired transitions, 3315 secs || 56465752 markings, 62953823 edges, 17246 markings/sec, 3315 secs
lola: STP completed || 72 tries, 71406134 fired transitions, 3320 secs || 56547153 markings, 63043921 edges, 16280 markings/sec, 3320 secs
lola: STP completed || 72 tries, 71511415 fired transitions, 3325 secs || 56624557 markings, 63128977 edges, 15481 markings/sec, 3325 secs
lola: STP completed || 72 tries, 71615804 fired transitions, 3330 secs || 56700607 markings, 63212473 edges, 15210 markings/sec, 3330 secs
lola: STP completed || 72 tries, 71720908 fired transitions, 3335 secs || 56782951 markings, 63303829 edges, 16469 markings/sec, 3335 secs
lola: STP completed || 72 tries, 71826810 fired transitions, 3340 secs || 56862760 markings, 63391987 edges, 15962 markings/sec, 3340 secs
lola: STP completed || 72 tries, 71932020 fired transitions, 3345 secs || 56943427 markings, 63480831 edges, 16133 markings/sec, 3345 secs
lola: STP completed || 73 tries, 72038158 fired transitions, 3350 secs || 57027178 markings, 63573258 edges, 16750 markings/sec, 3350 secs
lola: STP completed || 73 tries, 72140091 fired transitions, 3355 secs || 57109006 markings, 63664101 edges, 16366 markings/sec, 3355 secs
lola: STP completed || 73 tries, 72239989 fired transitions, 3360 secs || 57188964 markings, 63752709 edges, 15992 markings/sec, 3360 secs
lola: STP completed || 73 tries, 72343394 fired transitions, 3365 secs || 57265719 markings, 63837291 edges, 15351 markings/sec, 3365 secs
lola: STP completed || 73 tries, 72446962 fired transitions, 3370 secs || 57343360 markings, 63922501 edges, 15528 markings/sec, 3370 secs
lola: STP completed || 73 tries, 72552005 fired transitions, 3375 secs || 57418349 markings, 64005072 edges, 14998 markings/sec, 3375 secs
lola: STP completed || 73 tries, 72657841 fired transitions, 3380 secs || 57493346 markings, 64087409 edges, 14999 markings/sec, 3380 secs
lola: STP completed || 73 tries, 72761315 fired transitions, 3385 secs || 57570585 markings, 64173091 edges, 15448 markings/sec, 3385 secs
lola: STP completed || 73 tries, 72866180 fired transitions, 3390 secs || 57648253 markings, 64258883 edges, 15534 markings/sec, 3390 secs
lola: STP completed || 73 tries, 72970643 fired transitions, 3395 secs || 57723720 markings, 64342111 edges, 15093 markings/sec, 3395 secs
lola: STP completed || 74 tries, 73076327 fired transitions, 3400 secs || 57800092 markings, 64426320 edges, 15274 markings/sec, 3400 secs
lola: STP completed || 74 tries, 73179635 fired transitions, 3405 secs || 57876660 markings, 64510815 edges, 15314 markings/sec, 3405 secs
lola: STP completed || 74 tries, 73284552 fired transitions, 3410 secs || 57956537 markings, 64599385 edges, 15975 markings/sec, 3410 secs
lola: STP completed || 74 tries, 73388604 fired transitions, 3415 secs || 58037141 markings, 64688549 edges, 16121 markings/sec, 3415 secs
lola: STP completed || 74 tries, 73491494 fired transitions, 3420 secs || 58117402 markings, 64777107 edges, 16052 markings/sec, 3420 secs
lola: STP completed || 74 tries, 73594456 fired transitions, 3425 secs || 58195548 markings, 64863477 edges, 15629 markings/sec, 3425 secs
lola: STP completed || 74 tries, 73697924 fired transitions, 3430 secs || 58247646 markings, 64921206 edges, 10420 markings/sec, 3430 secs
lola: STP completed || 74 tries, 73746560 fired transitions, 3435 secs || 58257269 markings, 64931974 edges, 1925 markings/sec, 3435 secs
lola: STP completed || 74 tries, 73751515 fired transitions, 3440 secs || 58257283 markings, 64931990 edges, 3 markings/sec, 3440 secs
lola: STP completed || 74 tries, 73751553 fired transitions, 3445 secs || 58257295 markings, 64932004 edges, 2 markings/sec, 3445 secs
Killed
FORMULA DLCround-PT-11b-ReachabilityDeadlock-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- 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="DLCround-PT-11b"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="irma4mcc-structural"
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/DLCround-PT-11b.tgz
mv DLCround-PT-11b 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 irma4mcc-structural"
echo " Input is DLCround-PT-11b, 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 r067-smll-152649739600125"
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 ;