About the Execution of M4M.full for MultiwaySync-PT-none
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.380 | 3500161.00 | 6594678.00 | 4679.90 | ? | 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 264K
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K 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.8K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.1K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 6.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 111 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 349 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 5 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 111K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is MultiwaySync-PT-none, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r118-csrt-152666478100202
=====================================================================
--------------------
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 MultiwaySync-PT-none-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527291005199
BK_STOP 1527294505360
--------------------
content from stderr:
Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using MultiwaySync-PT-none as instance name.
Using MultiwaySync as model name.
Using algorithm or tool bmdt.
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': False, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 2159, 'Memory': 2207.47, 'Tool': 'marcie'}, {'Time': 2322, 'Memory': 2207.28, 'Tool': 'marcie'}, {'Time': 2744, 'Memory': 251.45, 'Tool': 'itstools'}, {'Time': 2799, 'Memory': 246.58, 'Tool': 'itstools'}, {'Time': 4959, 'Memory': 216.89, 'Tool': 'gspn'}, {'Time': 8537, 'Memory': 244.97, 'Tool': 'gspn'}, {'Time': 2066755, 'Memory': 15948.6, 'Tool': 'lola'}, {'Time': 2072352, 'Memory': 15952.74, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 957.2742010189903x far from the best tool marcie.
ReachabilityDeadlock lola MultiwaySync-PT-none...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
MultiwaySync-PT-none: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
MultiwaySync-PT-none: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
ReachabilityDeadlock @ MultiwaySync-PT-none @ 3540 seconds
make: [verify] Error 137 (ignored)
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished 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: 694/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 222 places, 472 transitions, 197 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 547 transition conflict sets
lola: TASK
lola: reading formula from MultiwaySync-PT-none-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 28 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: STP: formula with 8580 variables and 28925 clauses shipped to Minisat
lola: computed 102 generators (24 in search tree, 78 by composition)
lola: representing 1.78541E+14 symmetries
lola: 0 dead branches visited in search tree
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 416346 fired transitions, 0 secs || 363082 markings, 1636732 edges, 72616 markings/sec, 0 secs
lola: STP completed || 1 tries, 887313 fired transitions, 5 secs || 784640 markings, 3451311 edges, 84312 markings/sec, 5 secs
lola: STP completed || 2 tries, 1337021 fired transitions, 10 secs || 1103810 markings, 4497896 edges, 63834 markings/sec, 10 secs
lola: STP completed || 2 tries, 1750602 fired transitions, 15 secs || 1392877 markings, 5484418 edges, 57813 markings/sec, 15 secs
lola: STP completed || 3 tries, 2160018 fired transitions, 20 secs || 1680660 markings, 6484355 edges, 57557 markings/sec, 20 secs
lola: STP completed || 3 tries, 2607715 fired transitions, 25 secs || 2093424 markings, 8710147 edges, 82553 markings/sec, 25 secs
lola: STP completed || 4 tries, 3047351 fired transitions, 30 secs || 2392936 markings, 9804631 edges, 59902 markings/sec, 30 secs
lola: STP completed || 4 tries, 3518734 fired transitions, 35 secs || 2777397 markings, 11754507 edges, 76892 markings/sec, 35 secs
lola: STP completed || 4 tries, 3980800 fired transitions, 40 secs || 3101817 markings, 13183848 edges, 64884 markings/sec, 40 secs
lola: STP completed || 5 tries, 4444402 fired transitions, 45 secs || 3467564 markings, 15213341 edges, 73149 markings/sec, 45 secs
lola: STP completed || 5 tries, 4860549 fired transitions, 50 secs || 3793603 markings, 16761896 edges, 65208 markings/sec, 50 secs
lola: STP completed || 6 tries, 5256685 fired transitions, 55 secs || 4072064 markings, 17747057 edges, 55692 markings/sec, 55 secs
lola: STP completed || 6 tries, 5661548 fired transitions, 60 secs || 4371493 markings, 18917036 edges, 59886 markings/sec, 60 secs
lola: STP completed || 7 tries, 6105122 fired transitions, 65 secs || 4738315 markings, 20948310 edges, 73364 markings/sec, 65 secs
lola: STP completed || 7 tries, 6521427 fired transitions, 70 secs || 5060448 markings, 22490688 edges, 64427 markings/sec, 70 secs
lola: STP completed || 7 tries, 6939345 fired transitions, 75 secs || 5397642 markings, 24145627 edges, 67439 markings/sec, 75 secs
lola: STP completed || 8 tries, 7373281 fired transitions, 80 secs || 5793119 markings, 26246147 edges, 79095 markings/sec, 80 secs
lola: STP completed || 8 tries, 7803311 fired transitions, 85 secs || 6194815 markings, 28454328 edges, 80339 markings/sec, 85 secs
lola: STP completed || 9 tries, 8227067 fired transitions, 90 secs || 6563850 markings, 30303306 edges, 73807 markings/sec, 90 secs
lola: STP completed || 9 tries, 8647828 fired transitions, 95 secs || 6956226 markings, 32435384 edges, 78475 markings/sec, 95 secs
lola: STP completed || 10 tries, 9082427 fired transitions, 100 secs || 7379104 markings, 34846361 edges, 84576 markings/sec, 100 secs
lola: STP completed || 10 tries, 9534996 fired transitions, 105 secs || 7820939 markings, 37409875 edges, 88367 markings/sec, 105 secs
lola: STP completed || 10 tries, 9986801 fired transitions, 110 secs || 8255927 markings, 39999967 edges, 86998 markings/sec, 110 secs
lola: STP completed || 11 tries, 10432091 fired transitions, 115 secs || 8737422 markings, 42641788 edges, 96299 markings/sec, 115 secs
lola: STP completed || 11 tries, 10861370 fired transitions, 120 secs || 9178072 markings, 45209343 edges, 88130 markings/sec, 120 secs
lola: STP completed || 12 tries, 11284594 fired transitions, 125 secs || 9616886 markings, 47568617 edges, 87763 markings/sec, 125 secs
lola: STP completed || 12 tries, 11711132 fired transitions, 130 secs || 10046280 markings, 50026834 edges, 85879 markings/sec, 130 secs
lola: STP completed || 13 tries, 12137275 fired transitions, 135 secs || 10471966 markings, 52390258 edges, 85137 markings/sec, 135 secs
lola: STP completed || 13 tries, 12586551 fired transitions, 140 secs || 10935034 markings, 55076800 edges, 92614 markings/sec, 140 secs
lola: STP completed || 14 tries, 13053060 fired transitions, 145 secs || 11421540 markings, 57873869 edges, 97301 markings/sec, 145 secs
lola: STP completed || 14 tries, 13496723 fired transitions, 150 secs || 11884832 markings, 60522110 edges, 92658 markings/sec, 150 secs
lola: STP completed || 14 tries, 13924805 fired transitions, 155 secs || 12352140 markings, 63204295 edges, 93462 markings/sec, 155 secs
lola: STP completed || 15 tries, 14346124 fired transitions, 160 secs || 12798747 markings, 65732860 edges, 89321 markings/sec, 160 secs
lola: STP completed || 15 tries, 14791952 fired transitions, 165 secs || 13285925 markings, 68436963 edges, 97436 markings/sec, 165 secs
lola: STP completed || 16 tries, 15266357 fired transitions, 170 secs || 13800506 markings, 71302337 edges, 102916 markings/sec, 170 secs
lola: STP completed || 16 tries, 15736238 fired transitions, 175 secs || 14317976 markings, 74156853 edges, 103494 markings/sec, 175 secs
lola: STP completed || 17 tries, 16178165 fired transitions, 180 secs || 14801118 markings, 76805918 edges, 96628 markings/sec, 180 secs
lola: STP completed || 17 tries, 16599659 fired transitions, 185 secs || 15301264 markings, 79474899 edges, 100029 markings/sec, 185 secs
lola: STP completed || 18 tries, 17017065 fired transitions, 190 secs || 15785959 markings, 82136472 edges, 96939 markings/sec, 190 secs
lola: STP completed || 18 tries, 17451315 fired transitions, 195 secs || 16276497 markings, 84870962 edges, 98108 markings/sec, 195 secs
lola: STP completed || 18 tries, 17879568 fired transitions, 200 secs || 16712603 markings, 87214458 edges, 87221 markings/sec, 200 secs
lola: STP completed || 19 tries, 18292764 fired transitions, 205 secs || 17089722 markings, 89108028 edges, 75424 markings/sec, 205 secs
lola: STP completed || 19 tries, 18693855 fired transitions, 210 secs || 17374684 markings, 90190986 edges, 56992 markings/sec, 210 secs
lola: STP completed || 20 tries, 19095361 fired transitions, 215 secs || 17645059 markings, 91195261 edges, 54075 markings/sec, 215 secs
lola: STP completed || 20 tries, 19495403 fired transitions, 220 secs || 17911677 markings, 92221577 edges, 53324 markings/sec, 220 secs
lola: STP completed || 20 tries, 19913463 fired transitions, 225 secs || 18192900 markings, 93315266 edges, 56245 markings/sec, 225 secs
lola: STP completed || 21 tries, 20321514 fired transitions, 230 secs || 18526973 markings, 94967725 edges, 66815 markings/sec, 230 secs
lola: STP completed || 21 tries, 20727885 fired transitions, 235 secs || 18840419 markings, 96511367 edges, 62689 markings/sec, 235 secs
lola: STP completed || 22 tries, 21149157 fired transitions, 240 secs || 19165069 markings, 98364031 edges, 64930 markings/sec, 240 secs
lola: STP completed || 22 tries, 21574938 fired transitions, 245 secs || 19480458 markings, 100077529 edges, 63078 markings/sec, 245 secs
lola: STP completed || 22 tries, 21993490 fired transitions, 250 secs || 19830531 markings, 101881324 edges, 70015 markings/sec, 250 secs
lola: STP completed || 23 tries, 22365968 fired transitions, 255 secs || 20110736 markings, 103256961 edges, 56041 markings/sec, 255 secs
lola: STP completed || 23 tries, 22632469 fired transitions, 260 secs || 20295504 markings, 104005463 edges, 36954 markings/sec, 260 secs
lola: STP completed || 24 tries, 23029248 fired transitions, 265 secs || 20565104 markings, 105108430 edges, 53920 markings/sec, 265 secs
lola: STP completed || 24 tries, 23453791 fired transitions, 270 secs || 20901747 markings, 107049696 edges, 67329 markings/sec, 270 secs
lola: STP completed || 24 tries, 23871212 fired transitions, 275 secs || 21204862 markings, 108610907 edges, 60623 markings/sec, 275 secs
lola: STP completed || 25 tries, 24253812 fired transitions, 280 secs || 21471663 markings, 109660188 edges, 53360 markings/sec, 280 secs
lola: STP completed || 25 tries, 24609502 fired transitions, 285 secs || 21753087 markings, 111086467 edges, 56285 markings/sec, 285 secs
lola: STP completed || 26 tries, 25061266 fired transitions, 290 secs || 22139394 markings, 113010606 edges, 77261 markings/sec, 290 secs
lola: STP completed || 26 tries, 25477025 fired transitions, 295 secs || 22488101 markings, 114847600 edges, 69741 markings/sec, 295 secs
lola: STP completed || 26 tries, 25921364 fired transitions, 300 secs || 22842596 markings, 116804828 edges, 70899 markings/sec, 300 secs
lola: STP completed || 27 tries, 26343184 fired transitions, 305 secs || 23206135 markings, 118719433 edges, 72708 markings/sec, 305 secs
lola: STP completed || 27 tries, 26762261 fired transitions, 310 secs || 23554566 markings, 120760498 edges, 69686 markings/sec, 310 secs
lola: STP completed || 28 tries, 27205251 fired transitions, 315 secs || 23924428 markings, 122820786 edges, 73972 markings/sec, 315 secs
lola: STP completed || 28 tries, 27633819 fired transitions, 320 secs || 24282462 markings, 124721750 edges, 71607 markings/sec, 320 secs
lola: STP completed || 29 tries, 28051698 fired transitions, 325 secs || 24672061 markings, 126932445 edges, 77920 markings/sec, 325 secs
lola: STP completed || 29 tries, 28452865 fired transitions, 330 secs || 25095884 markings, 129411006 edges, 84765 markings/sec, 330 secs
lola: STP completed || 29 tries, 28738495 fired transitions, 335 secs || 25360268 markings, 130994768 edges, 52877 markings/sec, 335 secs
lola: STP completed || 29 tries, 28972748 fired transitions, 340 secs || 25561889 markings, 132172490 edges, 40324 markings/sec, 340 secs
lola: STP completed || 30 tries, 29244557 fired transitions, 345 secs || 25788715 markings, 133496731 edges, 45365 markings/sec, 345 secs
lola: STP completed || 30 tries, 29489273 fired transitions, 350 secs || 26011142 markings, 134710333 edges, 44485 markings/sec, 350 secs
lola: STP completed || 30 tries, 29734168 fired transitions, 355 secs || 26238923 markings, 135973052 edges, 45556 markings/sec, 355 secs
lola: STP completed || 30 tries, 29985892 fired transitions, 360 secs || 26457836 markings, 137237738 edges, 43783 markings/sec, 360 secs
lola: STP completed || 31 tries, 30413250 fired transitions, 365 secs || 26869059 markings, 139681884 edges, 82245 markings/sec, 365 secs
lola: STP completed || 31 tries, 30900875 fired transitions, 370 secs || 27272933 markings, 142083534 edges, 80775 markings/sec, 370 secs
lola: STP completed || 32 tries, 31319646 fired transitions, 375 secs || 27688291 markings, 144543390 edges, 83072 markings/sec, 375 secs
lola: STP completed || 32 tries, 31732427 fired transitions, 380 secs || 28117292 markings, 146991014 edges, 85800 markings/sec, 380 secs
lola: STP completed || 33 tries, 32150410 fired transitions, 385 secs || 28549639 markings, 149501689 edges, 86469 markings/sec, 385 secs
lola: STP completed || 33 tries, 32605943 fired transitions, 390 secs || 29037415 markings, 152270607 edges, 97555 markings/sec, 390 secs
lola: STP completed || 33 tries, 32878613 fired transitions, 395 secs || 29284314 markings, 153670722 edges, 49380 markings/sec, 395 secs
lola: STP completed || 34 tries, 33142527 fired transitions, 400 secs || 29521089 markings, 155048171 edges, 47355 markings/sec, 400 secs
lola: STP completed || 34 tries, 33418191 fired transitions, 405 secs || 29783138 markings, 156496524 edges, 52410 markings/sec, 405 secs
lola: STP completed || 34 tries, 33691478 fired transitions, 410 secs || 30035835 markings, 157905687 edges, 50539 markings/sec, 410 secs
lola: STP completed || 34 tries, 33966329 fired transitions, 415 secs || 30300120 markings, 159407267 edges, 52857 markings/sec, 415 secs
lola: STP completed || 35 tries, 34240706 fired transitions, 420 secs || 30552516 markings, 160784797 edges, 50479 markings/sec, 420 secs
lola: STP completed || 35 tries, 34517147 fired transitions, 425 secs || 30811962 markings, 162220944 edges, 51889 markings/sec, 425 secs
lola: STP completed || 35 tries, 34765858 fired transitions, 430 secs || 31064173 markings, 163591452 edges, 50442 markings/sec, 430 secs
lola: STP completed || 35 tries, 34996808 fired transitions, 435 secs || 31307634 markings, 164895075 edges, 48692 markings/sec, 435 secs
lola: STP completed || 36 tries, 35228708 fired transitions, 440 secs || 31525308 markings, 166143504 edges, 43535 markings/sec, 440 secs
lola: STP completed || 36 tries, 35498045 fired transitions, 445 secs || 31783298 markings, 167585285 edges, 51598 markings/sec, 445 secs
lola: STP completed || 36 tries, 35783761 fired transitions, 450 secs || 32049425 markings, 169034253 edges, 53225 markings/sec, 450 secs
lola: STP completed || 37 tries, 36058664 fired transitions, 455 secs || 32311610 markings, 170481062 edges, 52437 markings/sec, 455 secs
lola: STP completed || 37 tries, 36329902 fired transitions, 460 secs || 32582932 markings, 172035277 edges, 54264 markings/sec, 460 secs
lola: STP completed || 37 tries, 36596459 fired transitions, 465 secs || 32824260 markings, 173409849 edges, 48266 markings/sec, 465 secs
lola: STP completed || 37 tries, 36862939 fired transitions, 470 secs || 33075598 markings, 174818841 edges, 50268 markings/sec, 470 secs
lola: STP completed || 38 tries, 37127695 fired transitions, 475 secs || 33303418 markings, 176004199 edges, 45564 markings/sec, 475 secs
lola: STP completed || 38 tries, 37393965 fired transitions, 480 secs || 33510635 markings, 176888793 edges, 41443 markings/sec, 480 secs
lola: STP completed || 38 tries, 37726223 fired transitions, 485 secs || 33775490 markings, 178143141 edges, 52971 markings/sec, 485 secs
lola: STP completed || 39 tries, 38124539 fired transitions, 490 secs || 34054639 markings, 179098475 edges, 55830 markings/sec, 490 secs
lola: STP completed || 39 tries, 38524029 fired transitions, 495 secs || 34321791 markings, 180043732 edges, 53430 markings/sec, 495 secs
lola: STP completed || 39 tries, 38833027 fired transitions, 500 secs || 34542396 markings, 181055761 edges, 44121 markings/sec, 500 secs
lola: STP completed || 40 tries, 39101622 fired transitions, 505 secs || 34737036 markings, 182060951 edges, 38928 markings/sec, 505 secs
lola: STP completed || 40 tries, 39379436 fired transitions, 510 secs || 34934192 markings, 183045831 edges, 39431 markings/sec, 510 secs
lola: STP completed || 40 tries, 39658484 fired transitions, 515 secs || 35110132 markings, 183697503 edges, 35188 markings/sec, 515 secs
lola: STP completed || 40 tries, 39935613 fired transitions, 520 secs || 35320157 markings, 184845036 edges, 42005 markings/sec, 520 secs
lola: STP completed || 41 tries, 40206678 fired transitions, 525 secs || 35517577 markings, 185930087 edges, 39484 markings/sec, 525 secs
lola: STP completed || 41 tries, 40473929 fired transitions, 530 secs || 35695297 markings, 186619758 edges, 35544 markings/sec, 530 secs
lola: STP completed || 41 tries, 40748556 fired transitions, 535 secs || 35877890 markings, 187299605 edges, 36519 markings/sec, 535 secs
lola: STP completed || 42 tries, 41025789 fired transitions, 540 secs || 36047221 markings, 187947497 edges, 33866 markings/sec, 540 secs
lola: STP completed || 42 tries, 41264895 fired transitions, 545 secs || 36213286 markings, 188561716 edges, 33213 markings/sec, 545 secs
lola: STP completed || 42 tries, 41509374 fired transitions, 550 secs || 36371200 markings, 189137199 edges, 31583 markings/sec, 550 secs
lola: STP completed || 42 tries, 41753349 fired transitions, 555 secs || 36541257 markings, 190073510 edges, 34011 markings/sec, 555 secs
lola: STP completed || 43 tries, 42028810 fired transitions, 560 secs || 36719080 markings, 191099092 edges, 35565 markings/sec, 560 secs
lola: STP completed || 43 tries, 42298322 fired transitions, 565 secs || 36892769 markings, 191981563 edges, 34738 markings/sec, 565 secs
lola: STP completed || 43 tries, 42535283 fired transitions, 570 secs || 37056369 markings, 192842687 edges, 32720 markings/sec, 570 secs
lola: STP completed || 43 tries, 42762695 fired transitions, 575 secs || 37211604 markings, 193442884 edges, 31047 markings/sec, 575 secs
lola: STP completed || 43 tries, 42993401 fired transitions, 580 secs || 37381028 markings, 194132013 edges, 33885 markings/sec, 580 secs
lola: STP completed || 44 tries, 43257437 fired transitions, 585 secs || 37538768 markings, 194714633 edges, 31548 markings/sec, 585 secs
lola: STP completed || 44 tries, 43529955 fired transitions, 590 secs || 37714793 markings, 195652240 edges, 35205 markings/sec, 590 secs
lola: STP completed || 44 tries, 43797271 fired transitions, 595 secs || 37884957 markings, 196630803 edges, 34033 markings/sec, 595 secs
lola: STP completed || 45 tries, 44244654 fired transitions, 600 secs || 38215094 markings, 198384125 edges, 66027 markings/sec, 600 secs
lola: STP completed || 45 tries, 44685299 fired transitions, 605 secs || 38580845 markings, 200109572 edges, 73150 markings/sec, 605 secs
lola: STP completed || 46 tries, 45136866 fired transitions, 610 secs || 38964022 markings, 202156089 edges, 76635 markings/sec, 610 secs
lola: STP completed || 46 tries, 45520167 fired transitions, 615 secs || 39246263 markings, 203689536 edges, 56448 markings/sec, 615 secs
lola: STP completed || 46 tries, 45790225 fired transitions, 620 secs || 39445956 markings, 204752132 edges, 39939 markings/sec, 620 secs
lola: STP completed || 47 tries, 46223267 fired transitions, 625 secs || 39787718 markings, 206542967 edges, 68352 markings/sec, 625 secs
lola: STP completed || 47 tries, 46679252 fired transitions, 630 secs || 40162501 markings, 208636333 edges, 74957 markings/sec, 630 secs
lola: STP completed || 48 tries, 47142469 fired transitions, 635 secs || 40515069 markings, 210512834 edges, 70514 markings/sec, 635 secs
lola: STP completed || 48 tries, 47613980 fired transitions, 640 secs || 40914694 markings, 212864251 edges, 79925 markings/sec, 640 secs
lola: STP completed || 49 tries, 48076724 fired transitions, 645 secs || 41327435 markings, 215127734 edges, 82548 markings/sec, 645 secs
lola: STP completed || 49 tries, 48525171 fired transitions, 650 secs || 41727463 markings, 217492883 edges, 80006 markings/sec, 650 secs
lola: STP completed || 49 tries, 48973703 fired transitions, 655 secs || 42128838 markings, 219893949 edges, 80275 markings/sec, 655 secs
lola: STP completed || 50 tries, 49402627 fired transitions, 660 secs || 42517986 markings, 222213442 edges, 77830 markings/sec, 660 secs
lola: STP completed || 50 tries, 49830682 fired transitions, 665 secs || 42927558 markings, 224572652 edges, 81914 markings/sec, 665 secs
lola: STP completed || 51 tries, 50265540 fired transitions, 670 secs || 43320588 markings, 226863997 edges, 78606 markings/sec, 670 secs
lola: STP completed || 51 tries, 50736729 fired transitions, 675 secs || 43736534 markings, 229254787 edges, 83189 markings/sec, 675 secs
lola: STP completed || 52 tries, 51200225 fired transitions, 680 secs || 44186598 markings, 231853648 edges, 90013 markings/sec, 680 secs
lola: STP completed || 52 tries, 51662475 fired transitions, 685 secs || 44639067 markings, 234466688 edges, 90494 markings/sec, 685 secs
lola: STP completed || 53 tries, 52127585 fired transitions, 690 secs || 45090016 markings, 237043030 edges, 90190 markings/sec, 690 secs
lola: STP completed || 53 tries, 52608992 fired transitions, 695 secs || 45530754 markings, 239592532 edges, 88148 markings/sec, 695 secs
lola: STP completed || 54 tries, 53084731 fired transitions, 700 secs || 45993744 markings, 242203338 edges, 92598 markings/sec, 700 secs
lola: STP completed || 54 tries, 53552403 fired transitions, 705 secs || 46479114 markings, 244912482 edges, 97074 markings/sec, 705 secs
lola: STP completed || 55 tries, 54021050 fired transitions, 710 secs || 46966578 markings, 247622115 edges, 97493 markings/sec, 710 secs
lola: STP completed || 55 tries, 54486357 fired transitions, 715 secs || 47459171 markings, 250383385 edges, 98519 markings/sec, 715 secs
lola: STP completed || 55 tries, 54904161 fired transitions, 720 secs || 47893519 markings, 252752104 edges, 86870 markings/sec, 720 secs
lola: STP completed || 56 tries, 55164407 fired transitions, 725 secs || 48148742 markings, 254106483 edges, 51045 markings/sec, 725 secs
lola: STP completed || 56 tries, 55424686 fired transitions, 730 secs || 48396738 markings, 255458056 edges, 49599 markings/sec, 730 secs
lola: STP completed || 56 tries, 55690094 fired transitions, 735 secs || 48640766 markings, 256834554 edges, 48806 markings/sec, 735 secs
lola: STP completed || 56 tries, 55958414 fired transitions, 740 secs || 48890921 markings, 258181782 edges, 50031 markings/sec, 740 secs
lola: STP completed || 57 tries, 56233850 fired transitions, 745 secs || 49162383 markings, 259683130 edges, 54292 markings/sec, 745 secs
lola: STP completed || 57 tries, 56505288 fired transitions, 750 secs || 49400813 markings, 261040060 edges, 47686 markings/sec, 750 secs
lola: STP completed || 57 tries, 56777890 fired transitions, 755 secs || 49643289 markings, 262389555 edges, 48495 markings/sec, 755 secs
lola: STP completed || 58 tries, 57052273 fired transitions, 760 secs || 49893507 markings, 263685288 edges, 50044 markings/sec, 760 secs
lola: STP completed || 58 tries, 57325306 fired transitions, 765 secs || 50138308 markings, 264948666 edges, 48960 markings/sec, 765 secs
lola: STP completed || 58 tries, 57600185 fired transitions, 770 secs || 50372216 markings, 266173960 edges, 46782 markings/sec, 770 secs
lola: STP completed || 58 tries, 57874656 fired transitions, 775 secs || 50558839 markings, 266879219 edges, 37325 markings/sec, 775 secs
lola: STP completed || 59 tries, 58149550 fired transitions, 780 secs || 50748783 markings, 267631324 edges, 37989 markings/sec, 780 secs
lola: STP completed || 59 tries, 58401485 fired transitions, 785 secs || 50981648 markings, 268858322 edges, 46573 markings/sec, 785 secs
lola: STP completed || 59 tries, 58632108 fired transitions, 790 secs || 51202252 markings, 270052185 edges, 44121 markings/sec, 790 secs
lola: STP completed || 59 tries, 58863747 fired transitions, 795 secs || 51410529 markings, 271188074 edges, 41655 markings/sec, 795 secs
lola: STP completed || 60 tries, 59125437 fired transitions, 800 secs || 51635088 markings, 272346062 edges, 44912 markings/sec, 800 secs
lola: STP completed || 60 tries, 59392784 fired transitions, 805 secs || 51854160 markings, 273486399 edges, 43814 markings/sec, 805 secs
lola: STP completed || 60 tries, 59620926 fired transitions, 810 secs || 52037559 markings, 274246589 edges, 36680 markings/sec, 810 secs
lola: STP completed || 60 tries, 59849050 fired transitions, 815 secs || 52267061 markings, 275370300 edges, 45900 markings/sec, 815 secs
lola: STP completed || 61 tries, 60206787 fired transitions, 820 secs || 52569929 markings, 276871540 edges, 60574 markings/sec, 820 secs
lola: STP completed || 61 tries, 60645444 fired transitions, 825 secs || 53048994 markings, 279332858 edges, 95813 markings/sec, 825 secs
lola: STP completed || 62 tries, 61087039 fired transitions, 830 secs || 53447746 markings, 281086872 edges, 79750 markings/sec, 830 secs
lola: STP completed || 62 tries, 61499962 fired transitions, 835 secs || 53772140 markings, 282599599 edges, 64879 markings/sec, 835 secs
lola: STP completed || 62 tries, 61760122 fired transitions, 840 secs || 53990270 markings, 283882392 edges, 43626 markings/sec, 840 secs
lola: STP completed || 63 tries, 62030992 fired transitions, 845 secs || 54225987 markings, 285250785 edges, 47143 markings/sec, 845 secs
lola: STP completed || 63 tries, 62313984 fired transitions, 850 secs || 54494150 markings, 286734838 edges, 53633 markings/sec, 850 secs
lola: STP completed || 63 tries, 62587653 fired transitions, 855 secs || 54748250 markings, 288170167 edges, 50820 markings/sec, 855 secs
lola: STP completed || 63 tries, 62865119 fired transitions, 860 secs || 55013532 markings, 289621630 edges, 53056 markings/sec, 860 secs
lola: STP completed || 64 tries, 63144210 fired transitions, 865 secs || 55191980 markings, 290543885 edges, 35690 markings/sec, 865 secs
lola: STP completed || 64 tries, 63415564 fired transitions, 870 secs || 55408767 markings, 291564185 edges, 43357 markings/sec, 870 secs
lola: STP completed || 64 tries, 63654608 fired transitions, 875 secs || 55620802 markings, 292613209 edges, 42407 markings/sec, 875 secs
lola: STP completed || 64 tries, 63886451 fired transitions, 880 secs || 55828331 markings, 293675488 edges, 41506 markings/sec, 880 secs
lola: STP completed || 65 tries, 64119748 fired transitions, 885 secs || 56047885 markings, 294696878 edges, 43911 markings/sec, 885 secs
lola: STP completed || 65 tries, 64351820 fired transitions, 890 secs || 56236564 markings, 295437347 edges, 37736 markings/sec, 890 secs
lola: STP completed || 65 tries, 64618336 fired transitions, 895 secs || 56424610 markings, 296134315 edges, 37609 markings/sec, 895 secs
lola: STP completed || 65 tries, 64852876 fired transitions, 900 secs || 56611485 markings, 297143501 edges, 37375 markings/sec, 900 secs
lola: STP completed || 66 tries, 65086016 fired transitions, 905 secs || 56815953 markings, 298328476 edges, 40894 markings/sec, 905 secs
lola: STP completed || 66 tries, 65321699 fired transitions, 910 secs || 57018152 markings, 299535226 edges, 40440 markings/sec, 910 secs
lola: STP completed || 66 tries, 65554831 fired transitions, 915 secs || 57240002 markings, 300773190 edges, 44370 markings/sec, 915 secs
lola: STP completed || 66 tries, 65788405 fired transitions, 920 secs || 57454497 markings, 302000126 edges, 42899 markings/sec, 920 secs
lola: STP completed || 67 tries, 66021343 fired transitions, 925 secs || 57679678 markings, 303241140 edges, 45036 markings/sec, 925 secs
lola: STP completed || 67 tries, 66254300 fired transitions, 930 secs || 57890944 markings, 304304618 edges, 42253 markings/sec, 930 secs
lola: STP completed || 67 tries, 66482617 fired transitions, 935 secs || 58056451 markings, 305246049 edges, 33101 markings/sec, 935 secs
lola: STP completed || 67 tries, 66714120 fired transitions, 940 secs || 58248685 markings, 306223524 edges, 38447 markings/sec, 940 secs
lola: STP completed || 67 tries, 66946223 fired transitions, 945 secs || 58436275 markings, 307038788 edges, 37518 markings/sec, 945 secs
lola: STP completed || 68 tries, 67220596 fired transitions, 950 secs || 58611473 markings, 307718555 edges, 35040 markings/sec, 950 secs
lola: STP completed || 68 tries, 67496883 fired transitions, 955 secs || 58807231 markings, 308796085 edges, 39152 markings/sec, 955 secs
lola: STP completed || 68 tries, 67769259 fired transitions, 960 secs || 59034104 markings, 310088201 edges, 45375 markings/sec, 960 secs
lola: STP completed || 69 tries, 68033695 fired transitions, 965 secs || 59258564 markings, 311377935 edges, 44892 markings/sec, 965 secs
lola: STP completed || 69 tries, 68302652 fired transitions, 970 secs || 59488557 markings, 312697446 edges, 45999 markings/sec, 970 secs
lola: STP completed || 69 tries, 68536806 fired transitions, 975 secs || 59712997 markings, 313921812 edges, 44888 markings/sec, 975 secs
lola: STP completed || 69 tries, 68771597 fired transitions, 980 secs || 59937433 markings, 315155686 edges, 44887 markings/sec, 980 secs
lola: STP completed || 70 tries, 69007016 fired transitions, 985 secs || 60130989 markings, 316061761 edges, 38711 markings/sec, 985 secs
lola: STP completed || 70 tries, 69357866 fired transitions, 990 secs || 60467487 markings, 317962102 edges, 67300 markings/sec, 990 secs
lola: STP completed || 70 tries, 69666295 fired transitions, 995 secs || 60693385 markings, 319065640 edges, 45180 markings/sec, 995 secs
lola: STP completed || 71 tries, 70124604 fired transitions, 1000 secs || 61066144 markings, 321024808 edges, 74552 markings/sec, 1000 secs
lola: STP completed || 71 tries, 70576067 fired transitions, 1005 secs || 61467485 markings, 323161573 edges, 80268 markings/sec, 1005 secs
lola: STP completed || 72 tries, 71019585 fired transitions, 1010 secs || 61835593 markings, 324919376 edges, 73622 markings/sec, 1010 secs
lola: STP completed || 72 tries, 71444763 fired transitions, 1015 secs || 62107264 markings, 325969007 edges, 54334 markings/sec, 1015 secs
lola: STP completed || 72 tries, 71911568 fired transitions, 1020 secs || 62528938 markings, 328399337 edges, 84335 markings/sec, 1020 secs
lola: STP completed || 73 tries, 72379103 fired transitions, 1025 secs || 62987197 markings, 331008991 edges, 91652 markings/sec, 1025 secs
lola: STP completed || 73 tries, 72849439 fired transitions, 1030 secs || 63458728 markings, 333606224 edges, 94306 markings/sec, 1030 secs
lola: STP completed || 74 tries, 73318142 fired transitions, 1035 secs || 63820224 markings, 335535973 edges, 72299 markings/sec, 1035 secs
lola: STP completed || 74 tries, 73758731 fired transitions, 1040 secs || 64223108 markings, 337823386 edges, 80577 markings/sec, 1040 secs
lola: STP completed || 75 tries, 74198236 fired transitions, 1045 secs || 64631852 markings, 340203612 edges, 81749 markings/sec, 1045 secs
lola: STP completed || 75 tries, 74631472 fired transitions, 1050 secs || 65064543 markings, 342646995 edges, 86538 markings/sec, 1050 secs
lola: STP completed || 76 tries, 75074060 fired transitions, 1055 secs || 65527114 markings, 345173533 edges, 92514 markings/sec, 1055 secs
lola: STP completed || 76 tries, 75514187 fired transitions, 1060 secs || 65895663 markings, 346857992 edges, 73710 markings/sec, 1060 secs
lola: STP completed || 76 tries, 75937228 fired transitions, 1065 secs || 66194523 markings, 347818197 edges, 59772 markings/sec, 1065 secs
lola: STP completed || 77 tries, 76378090 fired transitions, 1070 secs || 66543160 markings, 349418626 edges, 69727 markings/sec, 1070 secs
lola: STP completed || 77 tries, 76821733 fired transitions, 1075 secs || 66887693 markings, 351022013 edges, 68907 markings/sec, 1075 secs
lola: STP completed || 78 tries, 77242525 fired transitions, 1080 secs || 67190379 markings, 352035731 edges, 60537 markings/sec, 1080 secs
lola: STP completed || 78 tries, 77564173 fired transitions, 1085 secs || 67404369 markings, 352826475 edges, 42798 markings/sec, 1085 secs
lola: STP completed || 78 tries, 77816266 fired transitions, 1090 secs || 67583468 markings, 353826552 edges, 35820 markings/sec, 1090 secs
lola: STP completed || 79 tries, 78071251 fired transitions, 1095 secs || 67768677 markings, 354881865 edges, 37042 markings/sec, 1095 secs
lola: STP completed || 79 tries, 78336097 fired transitions, 1100 secs || 67939199 markings, 355756774 edges, 34104 markings/sec, 1100 secs
lola: STP completed || 79 tries, 78600576 fired transitions, 1105 secs || 68119349 markings, 356534072 edges, 36030 markings/sec, 1105 secs
lola: STP completed || 79 tries, 78866405 fired transitions, 1110 secs || 68300979 markings, 357190179 edges, 36326 markings/sec, 1110 secs
lola: STP completed || 80 tries, 79106528 fired transitions, 1115 secs || 68478662 markings, 357801252 edges, 35537 markings/sec, 1115 secs
lola: STP completed || 80 tries, 79337640 fired transitions, 1120 secs || 68671273 markings, 358823388 edges, 38522 markings/sec, 1120 secs
lola: STP completed || 80 tries, 79568260 fired transitions, 1125 secs || 68858742 markings, 359777978 edges, 37494 markings/sec, 1125 secs
lola: STP completed || 80 tries, 79804923 fired transitions, 1130 secs || 69042532 markings, 360595644 edges, 36758 markings/sec, 1130 secs
lola: STP completed || 81 tries, 80062842 fired transitions, 1135 secs || 69230231 markings, 361263343 edges, 37540 markings/sec, 1135 secs
lola: STP completed || 81 tries, 80321345 fired transitions, 1140 secs || 69410160 markings, 362034165 edges, 35986 markings/sec, 1140 secs
lola: STP completed || 81 tries, 80575525 fired transitions, 1145 secs || 69586266 markings, 363041614 edges, 35221 markings/sec, 1145 secs
lola: STP completed || 81 tries, 80843718 fired transitions, 1150 secs || 69769378 markings, 363978516 edges, 36622 markings/sec, 1150 secs
lola: STP completed || 82 tries, 81086949 fired transitions, 1155 secs || 69936291 markings, 364918882 edges, 33383 markings/sec, 1155 secs
lola: STP completed || 82 tries, 81342352 fired transitions, 1160 secs || 70107659 markings, 365594491 edges, 34274 markings/sec, 1160 secs
lola: STP completed || 82 tries, 81568045 fired transitions, 1165 secs || 70272034 markings, 366179071 edges, 32875 markings/sec, 1165 secs
lola: STP completed || 82 tries, 81801167 fired transitions, 1170 secs || 70438715 markings, 366793490 edges, 33336 markings/sec, 1170 secs
lola: STP completed || 83 tries, 82026020 fired transitions, 1175 secs || 70607840 markings, 367567018 edges, 33825 markings/sec, 1175 secs
lola: STP completed || 83 tries, 82258181 fired transitions, 1180 secs || 70785362 markings, 368514437 edges, 35504 markings/sec, 1180 secs
lola: STP completed || 83 tries, 82489973 fired transitions, 1185 secs || 70970807 markings, 369493892 edges, 37089 markings/sec, 1185 secs
lola: STP completed || 83 tries, 82720664 fired transitions, 1190 secs || 71151681 markings, 370483539 edges, 36175 markings/sec, 1190 secs
lola: STP completed || 83 tries, 82968560 fired transitions, 1195 secs || 71361391 markings, 371658771 edges, 41942 markings/sec, 1195 secs
lola: STP completed || 84 tries, 83238692 fired transitions, 1200 secs || 71563899 markings, 372788578 edges, 40502 markings/sec, 1200 secs
lola: STP completed || 84 tries, 83509547 fired transitions, 1205 secs || 71767388 markings, 373902447 edges, 40698 markings/sec, 1205 secs
lola: STP completed || 84 tries, 83788328 fired transitions, 1210 secs || 71968976 markings, 374904339 edges, 40318 markings/sec, 1210 secs
lola: STP completed || 85 tries, 84068760 fired transitions, 1215 secs || 72172181 markings, 375962395 edges, 40641 markings/sec, 1215 secs
lola: STP completed || 85 tries, 84408434 fired transitions, 1220 secs || 72481165 markings, 377703251 edges, 61797 markings/sec, 1220 secs
lola: STP completed || 85 tries, 84856066 fired transitions, 1225 secs || 72896168 markings, 380085900 edges, 83001 markings/sec, 1225 secs
lola: STP completed || 86 tries, 85317240 fired transitions, 1230 secs || 73316546 markings, 382437935 edges, 84076 markings/sec, 1230 secs
lola: STP completed || 86 tries, 85769835 fired transitions, 1235 secs || 73722340 markings, 384678154 edges, 81159 markings/sec, 1235 secs
lola: STP completed || 87 tries, 86128578 fired transitions, 1240 secs || 74071883 markings, 386699704 edges, 69909 markings/sec, 1240 secs
lola: STP completed || 87 tries, 86449880 fired transitions, 1245 secs || 74370359 markings, 388410347 edges, 59695 markings/sec, 1245 secs
lola: STP completed || 87 tries, 86880506 fired transitions, 1250 secs || 74808995 markings, 390982601 edges, 87727 markings/sec, 1250 secs
lola: STP completed || 88 tries, 87332845 fired transitions, 1255 secs || 75279610 markings, 393713030 edges, 94123 markings/sec, 1255 secs
lola: STP completed || 88 tries, 87765760 fired transitions, 1260 secs || 75709158 markings, 396167827 edges, 85910 markings/sec, 1260 secs
lola: STP completed || 89 tries, 88198967 fired transitions, 1265 secs || 76121784 markings, 398559205 edges, 82525 markings/sec, 1265 secs
lola: STP completed || 89 tries, 88626332 fired transitions, 1270 secs || 76554296 markings, 401044174 edges, 86502 markings/sec, 1270 secs
lola: STP completed || 90 tries, 89093454 fired transitions, 1275 secs || 77017284 markings, 403697436 edges, 92598 markings/sec, 1275 secs
lola: STP completed || 90 tries, 89529680 fired transitions, 1280 secs || 77439369 markings, 406080066 edges, 84417 markings/sec, 1280 secs
lola: STP completed || 90 tries, 89996550 fired transitions, 1285 secs || 77904628 markings, 408578573 edges, 93052 markings/sec, 1285 secs
lola: STP completed || 91 tries, 90455129 fired transitions, 1290 secs || 78365391 markings, 411163020 edges, 92153 markings/sec, 1290 secs
lola: STP completed || 91 tries, 90905276 fired transitions, 1295 secs || 78813017 markings, 413664099 edges, 89525 markings/sec, 1295 secs
lola: STP completed || 92 tries, 91375751 fired transitions, 1300 secs || 79258405 markings, 416114237 edges, 89078 markings/sec, 1300 secs
lola: STP completed || 92 tries, 91849032 fired transitions, 1305 secs || 79689658 markings, 418524795 edges, 86251 markings/sec, 1305 secs
lola: STP completed || 93 tries, 92276010 fired transitions, 1310 secs || 80140887 markings, 420999450 edges, 90246 markings/sec, 1310 secs
lola: STP completed || 93 tries, 92731069 fired transitions, 1315 secs || 80620003 markings, 423568744 edges, 95823 markings/sec, 1315 secs
lola: STP completed || 94 tries, 93151945 fired transitions, 1320 secs || 81071248 markings, 426036518 edges, 90249 markings/sec, 1320 secs
lola: STP completed || 94 tries, 93580300 fired transitions, 1325 secs || 81524148 markings, 428558278 edges, 90580 markings/sec, 1325 secs
lola: STP completed || 95 tries, 94002321 fired transitions, 1330 secs || 81930591 markings, 430652664 edges, 81289 markings/sec, 1330 secs
lola: STP completed || 95 tries, 94401034 fired transitions, 1335 secs || 82281021 markings, 432245057 edges, 70086 markings/sec, 1335 secs
lola: STP completed || 95 tries, 94743629 fired transitions, 1340 secs || 82523569 markings, 433040640 edges, 48510 markings/sec, 1340 secs
lola: STP completed || 96 tries, 95010127 fired transitions, 1345 secs || 82714006 markings, 433669432 edges, 38087 markings/sec, 1345 secs
lola: STP completed || 96 tries, 95298911 fired transitions, 1350 secs || 82912146 markings, 434354336 edges, 39628 markings/sec, 1350 secs
lola: STP completed || 96 tries, 95702872 fired transitions, 1355 secs || 83229756 markings, 435794483 edges, 63522 markings/sec, 1355 secs
lola: STP completed || 97 tries, 96122610 fired transitions, 1360 secs || 83566795 markings, 437453501 edges, 67408 markings/sec, 1360 secs
lola: STP completed || 97 tries, 96569748 fired transitions, 1365 secs || 83922532 markings, 439091744 edges, 71147 markings/sec, 1365 secs
lola: STP completed || 98 tries, 97017907 fired transitions, 1370 secs || 84267030 markings, 440718154 edges, 68900 markings/sec, 1370 secs
lola: STP completed || 98 tries, 97431831 fired transitions, 1375 secs || 84555190 markings, 441731767 edges, 57632 markings/sec, 1375 secs
lola: STP completed || 98 tries, 97850900 fired transitions, 1380 secs || 84853460 markings, 443172681 edges, 59654 markings/sec, 1380 secs
lola: STP completed || 99 tries, 98277399 fired transitions, 1385 secs || 85159173 markings, 444812103 edges, 61143 markings/sec, 1385 secs
lola: STP completed || 99 tries, 98688979 fired transitions, 1390 secs || 85447326 markings, 446103961 edges, 57631 markings/sec, 1390 secs
lola: STP completed || 100 tries, 99085964 fired transitions, 1395 secs || 85712378 markings, 447051599 edges, 53010 markings/sec, 1395 secs
lola: STP completed || 100 tries, 99500063 fired transitions, 1400 secs || 86013851 markings, 448498618 edges, 60295 markings/sec, 1400 secs
lola: STP completed || 100 tries, 99919445 fired transitions, 1405 secs || 86323883 markings, 450170938 edges, 62006 markings/sec, 1405 secs
lola: STP completed || 101 tries, 100359964 fired transitions, 1410 secs || 86624698 markings, 451491552 edges, 60163 markings/sec, 1410 secs
lola: STP completed || 101 tries, 100801976 fired transitions, 1415 secs || 86948851 markings, 452985508 edges, 64831 markings/sec, 1415 secs
lola: STP completed || 102 tries, 101263589 fired transitions, 1420 secs || 87301256 markings, 454902343 edges, 70481 markings/sec, 1420 secs
lola: STP completed || 102 tries, 101722256 fired transitions, 1425 secs || 87660372 markings, 456736429 edges, 71823 markings/sec, 1425 secs
lola: STP completed || 103 tries, 102163591 fired transitions, 1430 secs || 88013357 markings, 458638284 edges, 70597 markings/sec, 1430 secs
lola: STP completed || 103 tries, 102624576 fired transitions, 1435 secs || 88380537 markings, 460643787 edges, 73436 markings/sec, 1435 secs
lola: STP completed || 104 tries, 103079916 fired transitions, 1440 secs || 88736708 markings, 462497112 edges, 71234 markings/sec, 1440 secs
lola: STP completed || 104 tries, 103538153 fired transitions, 1445 secs || 89125505 markings, 464731335 edges, 77759 markings/sec, 1445 secs
lola: STP completed || 104 tries, 103993644 fired transitions, 1450 secs || 89533116 markings, 466952309 edges, 81522 markings/sec, 1450 secs
lola: STP completed || 105 tries, 104461640 fired transitions, 1455 secs || 89941750 markings, 469301560 edges, 81727 markings/sec, 1455 secs
lola: STP completed || 105 tries, 104929939 fired transitions, 1460 secs || 90373996 markings, 471850897 edges, 86449 markings/sec, 1460 secs
lola: STP completed || 106 tries, 105408408 fired transitions, 1465 secs || 90771359 markings, 474053646 edges, 79473 markings/sec, 1465 secs
lola: STP completed || 106 tries, 105884681 fired transitions, 1470 secs || 91203210 markings, 476450990 edges, 86370 markings/sec, 1470 secs
lola: STP completed || 107 tries, 106357863 fired transitions, 1475 secs || 91620577 markings, 478790557 edges, 83473 markings/sec, 1475 secs
lola: STP completed || 107 tries, 106831879 fired transitions, 1480 secs || 92055516 markings, 481274285 edges, 86988 markings/sec, 1480 secs
lola: STP completed || 108 tries, 107320665 fired transitions, 1485 secs || 92497749 markings, 483833374 edges, 88447 markings/sec, 1485 secs
lola: STP completed || 108 tries, 107799225 fired transitions, 1490 secs || 92919536 markings, 486305294 edges, 84357 markings/sec, 1490 secs
lola: STP completed || 109 tries, 108267218 fired transitions, 1495 secs || 93358097 markings, 488837539 edges, 87712 markings/sec, 1495 secs
lola: STP completed || 109 tries, 108722565 fired transitions, 1500 secs || 93805633 markings, 491363485 edges, 89507 markings/sec, 1500 secs
lola: STP completed || 110 tries, 109177629 fired transitions, 1505 secs || 94257422 markings, 493908171 edges, 90358 markings/sec, 1505 secs
lola: STP completed || 110 tries, 109628027 fired transitions, 1510 secs || 94704092 markings, 496446679 edges, 89334 markings/sec, 1510 secs
lola: STP completed || 111 tries, 110086062 fired transitions, 1515 secs || 95160805 markings, 498989312 edges, 91343 markings/sec, 1515 secs
lola: STP completed || 111 tries, 110544032 fired transitions, 1520 secs || 95627678 markings, 501599132 edges, 93375 markings/sec, 1520 secs
lola: STP completed || 111 tries, 110998610 fired transitions, 1525 secs || 96101541 markings, 504148159 edges, 94773 markings/sec, 1525 secs
lola: STP completed || 112 tries, 111455145 fired transitions, 1530 secs || 96559846 markings, 506661865 edges, 91661 markings/sec, 1530 secs
lola: STP completed || 112 tries, 111916622 fired transitions, 1535 secs || 96996847 markings, 509101818 edges, 87400 markings/sec, 1535 secs
lola: STP completed || 113 tries, 112381209 fired transitions, 1540 secs || 97459152 markings, 511623058 edges, 92461 markings/sec, 1540 secs
lola: STP completed || 113 tries, 112841310 fired transitions, 1545 secs || 97942695 markings, 514317073 edges, 96709 markings/sec, 1545 secs
lola: STP completed || 114 tries, 113227610 fired transitions, 1550 secs || 98301809 markings, 516054857 edges, 71823 markings/sec, 1550 secs
lola: STP completed || 114 tries, 113481704 fired transitions, 1555 secs || 98505370 markings, 517155935 edges, 40712 markings/sec, 1555 secs
lola: STP completed || 114 tries, 113752937 fired transitions, 1560 secs || 98683424 markings, 517764217 edges, 35611 markings/sec, 1560 secs
lola: STP completed || 115 tries, 114085023 fired transitions, 1565 secs || 98904158 markings, 518530305 edges, 44147 markings/sec, 1565 secs
lola: STP completed || 115 tries, 114476686 fired transitions, 1570 secs || 99173365 markings, 519486286 edges, 53841 markings/sec, 1570 secs
lola: STP completed || 115 tries, 114715731 fired transitions, 1575 secs || 99332031 markings, 520074936 edges, 31733 markings/sec, 1575 secs
lola: STP completed || 115 tries, 114944987 fired transitions, 1580 secs || 99489740 markings, 520648792 edges, 31542 markings/sec, 1580 secs
lola: STP completed || 116 tries, 115197408 fired transitions, 1585 secs || 99682559 markings, 521733221 edges, 38564 markings/sec, 1585 secs
lola: STP completed || 116 tries, 115457583 fired transitions, 1590 secs || 99863623 markings, 522689727 edges, 36213 markings/sec, 1590 secs
lola: STP completed || 116 tries, 115719151 fired transitions, 1595 secs || 100037983 markings, 523423364 edges, 34872 markings/sec, 1595 secs
lola: STP completed || 116 tries, 115985979 fired transitions, 1600 secs || 100238663 markings, 524505387 edges, 40136 markings/sec, 1600 secs
lola: STP completed || 117 tries, 116239282 fired transitions, 1605 secs || 100424660 markings, 525469920 edges, 37199 markings/sec, 1605 secs
lola: STP completed || 117 tries, 116498107 fired transitions, 1610 secs || 100607545 markings, 526279351 edges, 36577 markings/sec, 1610 secs
lola: STP completed || 117 tries, 116760367 fired transitions, 1615 secs || 100777182 markings, 526913346 edges, 33927 markings/sec, 1615 secs
lola: STP completed || 118 tries, 117023627 fired transitions, 1620 secs || 100938912 markings, 527523079 edges, 32346 markings/sec, 1620 secs
lola: STP completed || 118 tries, 117289635 fired transitions, 1625 secs || 101112268 markings, 528173507 edges, 34671 markings/sec, 1625 secs
lola: STP completed || 118 tries, 117546668 fired transitions, 1630 secs || 101276346 markings, 528773820 edges, 32816 markings/sec, 1630 secs
lola: STP completed || 118 tries, 117945122 fired transitions, 1635 secs || 101557100 markings, 530208553 edges, 56151 markings/sec, 1635 secs
lola: STP completed || 119 tries, 118387363 fired transitions, 1640 secs || 101884252 markings, 531990710 edges, 65430 markings/sec, 1640 secs
lola: STP completed || 119 tries, 118815713 fired transitions, 1645 secs || 102172489 markings, 533254521 edges, 57647 markings/sec, 1645 secs
lola: STP completed || 120 tries, 119257521 fired transitions, 1650 secs || 102486789 markings, 534922201 edges, 62860 markings/sec, 1650 secs
lola: STP completed || 120 tries, 119715066 fired transitions, 1655 secs || 102813090 markings, 536679540 edges, 65260 markings/sec, 1655 secs
lola: STP completed || 121 tries, 120159917 fired transitions, 1660 secs || 103120919 markings, 538106257 edges, 61566 markings/sec, 1660 secs
lola: STP completed || 121 tries, 120610792 fired transitions, 1665 secs || 103466181 markings, 539937726 edges, 69052 markings/sec, 1665 secs
lola: STP completed || 122 tries, 121064365 fired transitions, 1670 secs || 103801030 markings, 541790530 edges, 66970 markings/sec, 1670 secs
lola: STP completed || 122 tries, 121503554 fired transitions, 1675 secs || 104181757 markings, 543855812 edges, 76145 markings/sec, 1675 secs
lola: STP completed || 122 tries, 121925429 fired transitions, 1680 secs || 104520606 markings, 545583462 edges, 67770 markings/sec, 1680 secs
lola: STP completed || 123 tries, 122402607 fired transitions, 1685 secs || 104901871 markings, 547734025 edges, 76253 markings/sec, 1685 secs
lola: STP completed || 123 tries, 122679030 fired transitions, 1690 secs || 105089461 markings, 548661053 edges, 37518 markings/sec, 1690 secs
lola: STP completed || 123 tries, 122960023 fired transitions, 1695 secs || 105279124 markings, 549703639 edges, 37933 markings/sec, 1695 secs
lola: STP completed || 124 tries, 123234354 fired transitions, 1700 secs || 105486231 markings, 550921222 edges, 41421 markings/sec, 1700 secs
lola: STP completed || 124 tries, 123506272 fired transitions, 1705 secs || 105684465 markings, 551991023 edges, 39647 markings/sec, 1705 secs
lola: STP completed || 124 tries, 123775962 fired transitions, 1710 secs || 105885614 markings, 553192863 edges, 40230 markings/sec, 1710 secs
lola: STP completed || 125 tries, 124050280 fired transitions, 1715 secs || 106101269 markings, 554431571 edges, 43131 markings/sec, 1715 secs
lola: STP completed || 125 tries, 124324685 fired transitions, 1720 secs || 106299143 markings, 555626563 edges, 39575 markings/sec, 1720 secs
lola: STP completed || 125 tries, 124601313 fired transitions, 1725 secs || 106511761 markings, 556823843 edges, 42524 markings/sec, 1725 secs
lola: STP completed || 125 tries, 124877351 fired transitions, 1730 secs || 106730998 markings, 558039392 edges, 43847 markings/sec, 1730 secs
lola: STP completed || 126 tries, 125152674 fired transitions, 1735 secs || 106942753 markings, 559281090 edges, 42351 markings/sec, 1735 secs
lola: STP completed || 126 tries, 125612792 fired transitions, 1740 secs || 107350674 markings, 561661757 edges, 81584 markings/sec, 1740 secs
lola: STP completed || 127 tries, 126047426 fired transitions, 1745 secs || 107739205 markings, 563922078 edges, 77706 markings/sec, 1745 secs
lola: STP completed || 127 tries, 126480985 fired transitions, 1750 secs || 108107263 markings, 566018897 edges, 73612 markings/sec, 1750 secs
lola: STP completed || 127 tries, 126945335 fired transitions, 1755 secs || 108485604 markings, 568125412 edges, 75668 markings/sec, 1755 secs
lola: STP completed || 128 tries, 127425855 fired transitions, 1760 secs || 108903815 markings, 570566988 edges, 83642 markings/sec, 1760 secs
lola: STP completed || 128 tries, 127892481 fired transitions, 1765 secs || 109318293 markings, 572939884 edges, 82896 markings/sec, 1765 secs
lola: STP completed || 129 tries, 128333494 fired transitions, 1770 secs || 109746733 markings, 575395062 edges, 85688 markings/sec, 1770 secs
lola: STP completed || 129 tries, 128775385 fired transitions, 1775 secs || 110144955 markings, 577651036 edges, 79644 markings/sec, 1775 secs
lola: STP completed || 130 tries, 129246907 fired transitions, 1780 secs || 110538297 markings, 579910714 edges, 78668 markings/sec, 1780 secs
lola: STP completed || 130 tries, 129718068 fired transitions, 1785 secs || 110968660 markings, 582356493 edges, 86073 markings/sec, 1785 secs
lola: STP completed || 131 tries, 130180135 fired transitions, 1790 secs || 111395588 markings, 584730464 edges, 85386 markings/sec, 1790 secs
lola: STP completed || 131 tries, 130632365 fired transitions, 1795 secs || 111845911 markings, 587243733 edges, 90065 markings/sec, 1795 secs
lola: STP completed || 132 tries, 131084105 fired transitions, 1800 secs || 112300523 markings, 589739730 edges, 90922 markings/sec, 1800 secs
lola: STP completed || 132 tries, 131522362 fired transitions, 1805 secs || 112734630 markings, 592161176 edges, 86821 markings/sec, 1805 secs
lola: STP completed || 132 tries, 131963961 fired transitions, 1810 secs || 113178554 markings, 594564773 edges, 88785 markings/sec, 1810 secs
lola: STP completed || 133 tries, 132390616 fired transitions, 1815 secs || 113609125 markings, 596886043 edges, 86114 markings/sec, 1815 secs
lola: STP completed || 133 tries, 132828447 fired transitions, 1820 secs || 114020512 markings, 599213752 edges, 82277 markings/sec, 1820 secs
lola: STP completed || 134 tries, 133268841 fired transitions, 1825 secs || 114433818 markings, 601523599 edges, 82661 markings/sec, 1825 secs
lola: STP completed || 134 tries, 133694901 fired transitions, 1830 secs || 114799904 markings, 603301030 edges, 73217 markings/sec, 1830 secs
lola: STP completed || 135 tries, 134100329 fired transitions, 1835 secs || 115078754 markings, 604221062 edges, 55770 markings/sec, 1835 secs
lola: STP completed || 135 tries, 134506246 fired transitions, 1840 secs || 115358090 markings, 605124298 edges, 55867 markings/sec, 1840 secs
lola: STP completed || 135 tries, 134923273 fired transitions, 1845 secs || 115674691 markings, 606551101 edges, 63320 markings/sec, 1845 secs
lola: STP completed || 136 tries, 135340277 fired transitions, 1850 secs || 116005179 markings, 608187670 edges, 66098 markings/sec, 1850 secs
lola: STP completed || 136 tries, 135743332 fired transitions, 1855 secs || 116328486 markings, 609716297 edges, 64661 markings/sec, 1855 secs
lola: STP completed || 137 tries, 136164837 fired transitions, 1860 secs || 116649529 markings, 611252499 edges, 64209 markings/sec, 1860 secs
lola: STP completed || 137 tries, 136574413 fired transitions, 1865 secs || 116937291 markings, 612266281 edges, 57552 markings/sec, 1865 secs
lola: STP completed || 137 tries, 136979736 fired transitions, 1870 secs || 117223747 markings, 613267272 edges, 57291 markings/sec, 1870 secs
lola: STP completed || 138 tries, 137391919 fired transitions, 1875 secs || 117510567 markings, 614294723 edges, 57364 markings/sec, 1875 secs
lola: STP completed || 138 tries, 137825468 fired transitions, 1880 secs || 117836940 markings, 615823363 edges, 65275 markings/sec, 1880 secs
lola: STP completed || 139 tries, 138283041 fired transitions, 1885 secs || 118172045 markings, 617636810 edges, 67021 markings/sec, 1885 secs
lola: STP completed || 139 tries, 138714604 fired transitions, 1890 secs || 118468932 markings, 618917932 edges, 59377 markings/sec, 1890 secs
lola: STP completed || 140 tries, 139145916 fired transitions, 1895 secs || 118792815 markings, 620397141 edges, 64777 markings/sec, 1895 secs
lola: STP completed || 140 tries, 139595071 fired transitions, 1900 secs || 119152020 markings, 622148521 edges, 71841 markings/sec, 1900 secs
lola: STP completed || 141 tries, 140032898 fired transitions, 1905 secs || 119528820 markings, 624065398 edges, 75360 markings/sec, 1905 secs
lola: STP completed || 141 tries, 140494457 fired transitions, 1910 secs || 119880950 markings, 626068868 edges, 70426 markings/sec, 1910 secs
lola: STP completed || 141 tries, 140941152 fired transitions, 1915 secs || 120203729 markings, 627707469 edges, 64556 markings/sec, 1915 secs
lola: STP completed || 142 tries, 141252567 fired transitions, 1920 secs || 120454137 markings, 628999809 edges, 50082 markings/sec, 1920 secs
lola: STP completed || 142 tries, 141578971 fired transitions, 1925 secs || 120747505 markings, 630680336 edges, 58674 markings/sec, 1925 secs
lola: STP completed || 142 tries, 141996692 fired transitions, 1930 secs || 121100592 markings, 632631839 edges, 70617 markings/sec, 1930 secs
lola: STP completed || 143 tries, 142421843 fired transitions, 1935 secs || 121444338 markings, 634378450 edges, 68749 markings/sec, 1935 secs
lola: STP completed || 143 tries, 142851899 fired transitions, 1940 secs || 121833854 markings, 636606287 edges, 77903 markings/sec, 1940 secs
lola: STP completed || 144 tries, 143285860 fired transitions, 1945 secs || 122251880 markings, 639045079 edges, 83605 markings/sec, 1945 secs
lola: STP completed || 144 tries, 143716597 fired transitions, 1950 secs || 122656127 markings, 641260903 edges, 80849 markings/sec, 1950 secs
lola: STP completed || 145 tries, 144163320 fired transitions, 1955 secs || 123074458 markings, 643686751 edges, 83666 markings/sec, 1955 secs
lola: STP completed || 145 tries, 144609694 fired transitions, 1960 secs || 123483966 markings, 646106598 edges, 81902 markings/sec, 1960 secs
lola: STP completed || 146 tries, 145031426 fired transitions, 1965 secs || 123921215 markings, 648603479 edges, 87450 markings/sec, 1965 secs
lola: STP completed || 146 tries, 145460239 fired transitions, 1970 secs || 124358284 markings, 650951080 edges, 87414 markings/sec, 1970 secs
lola: STP completed || 146 tries, 145892231 fired transitions, 1975 secs || 124815271 markings, 653453388 edges, 91397 markings/sec, 1975 secs
lola: STP completed || 147 tries, 146319310 fired transitions, 1980 secs || 125270866 markings, 656098927 edges, 91119 markings/sec, 1980 secs
lola: STP completed || 147 tries, 146752281 fired transitions, 1985 secs || 125710603 markings, 658649390 edges, 87947 markings/sec, 1985 secs
lola: STP completed || 148 tries, 147188152 fired transitions, 1990 secs || 126152480 markings, 661209543 edges, 88375 markings/sec, 1990 secs
lola: STP completed || 148 tries, 147629451 fired transitions, 1995 secs || 126616272 markings, 663827313 edges, 92758 markings/sec, 1995 secs
lola: STP completed || 149 tries, 148065846 fired transitions, 2000 secs || 127062781 markings, 666313519 edges, 89302 markings/sec, 2000 secs
lola: STP completed || 149 tries, 148545765 fired transitions, 2005 secs || 127474055 markings, 668660079 edges, 82255 markings/sec, 2005 secs
lola: STP completed || 149 tries, 148982646 fired transitions, 2010 secs || 127918319 markings, 671131618 edges, 88853 markings/sec, 2010 secs
lola: STP completed || 150 tries, 149412721 fired transitions, 2015 secs || 128358303 markings, 673552751 edges, 87997 markings/sec, 2015 secs
lola: STP completed || 150 tries, 149844259 fired transitions, 2020 secs || 128801427 markings, 675932573 edges, 88625 markings/sec, 2020 secs
lola: STP completed || 151 tries, 150273044 fired transitions, 2025 secs || 129252881 markings, 678351072 edges, 90291 markings/sec, 2025 secs
lola: STP completed || 151 tries, 150723854 fired transitions, 2030 secs || 129716361 markings, 680913416 edges, 92696 markings/sec, 2030 secs
lola: STP completed || 152 tries, 151165867 fired transitions, 2035 secs || 130178001 markings, 683491687 edges, 92328 markings/sec, 2035 secs
lola: STP completed || 152 tries, 151610628 fired transitions, 2040 secs || 130663867 markings, 686214792 edges, 97173 markings/sec, 2040 secs
lola: STP completed || 153 tries, 152042562 fired transitions, 2045 secs || 131081330 markings, 688331188 edges, 83493 markings/sec, 2045 secs
lola: STP completed || 153 tries, 152457515 fired transitions, 2050 secs || 131390094 markings, 689539716 edges, 61753 markings/sec, 2050 secs
lola: STP completed || 153 tries, 152867044 fired transitions, 2055 secs || 131673451 markings, 690588708 edges, 56671 markings/sec, 2055 secs
lola: STP completed || 154 tries, 153276698 fired transitions, 2060 secs || 131947553 markings, 691646123 edges, 54820 markings/sec, 2060 secs
lola: STP completed || 154 tries, 153674834 fired transitions, 2065 secs || 132255738 markings, 693028042 edges, 61637 markings/sec, 2065 secs
lola: STP completed || 155 tries, 154083133 fired transitions, 2070 secs || 132618430 markings, 694960799 edges, 72538 markings/sec, 2070 secs
lola: STP completed || 155 tries, 154472840 fired transitions, 2075 secs || 132889439 markings, 696011961 edges, 54202 markings/sec, 2075 secs
lola: STP completed || 155 tries, 154893610 fired transitions, 2080 secs || 133277328 markings, 698153952 edges, 77578 markings/sec, 2080 secs
lola: STP completed || 156 tries, 155293202 fired transitions, 2085 secs || 133552761 markings, 699316504 edges, 55087 markings/sec, 2085 secs
lola: STP completed || 156 tries, 155691033 fired transitions, 2090 secs || 133816392 markings, 700366920 edges, 52726 markings/sec, 2090 secs
lola: STP completed || 157 tries, 156093141 fired transitions, 2095 secs || 134068146 markings, 701366330 edges, 50351 markings/sec, 2095 secs
lola: STP completed || 157 tries, 156518138 fired transitions, 2100 secs || 134376387 markings, 702839106 edges, 61648 markings/sec, 2100 secs
lola: STP completed || 157 tries, 156953892 fired transitions, 2105 secs || 134702978 markings, 704575381 edges, 65318 markings/sec, 2105 secs
lola: STP completed || 158 tries, 157379921 fired transitions, 2110 secs || 135018984 markings, 706151885 edges, 63201 markings/sec, 2110 secs
lola: STP completed || 158 tries, 157806504 fired transitions, 2115 secs || 135370168 markings, 708155943 edges, 70237 markings/sec, 2115 secs
lola: STP completed || 159 tries, 158245808 fired transitions, 2120 secs || 135702802 markings, 709885942 edges, 66527 markings/sec, 2120 secs
lola: STP completed || 159 tries, 158674470 fired transitions, 2125 secs || 136019479 markings, 711410342 edges, 63335 markings/sec, 2125 secs
lola: STP completed || 160 tries, 159110636 fired transitions, 2130 secs || 136360071 markings, 713198663 edges, 68118 markings/sec, 2130 secs
lola: STP completed || 160 tries, 159542070 fired transitions, 2135 secs || 136738104 markings, 715241325 edges, 75607 markings/sec, 2135 secs
lola: STP completed || 160 tries, 159965068 fired transitions, 2140 secs || 137076393 markings, 717108443 edges, 67658 markings/sec, 2140 secs
lola: STP completed || 161 tries, 160389230 fired transitions, 2145 secs || 137425099 markings, 719045952 edges, 69741 markings/sec, 2145 secs
lola: STP completed || 161 tries, 160826967 fired transitions, 2150 secs || 137800691 markings, 721243989 edges, 75118 markings/sec, 2150 secs
lola: STP completed || 162 tries, 161276957 fired transitions, 2155 secs || 138180825 markings, 723531563 edges, 76027 markings/sec, 2155 secs
lola: STP completed || 162 tries, 161734640 fired transitions, 2160 secs || 138561302 markings, 725779404 edges, 76095 markings/sec, 2160 secs
lola: STP completed || 163 tries, 162161360 fired transitions, 2165 secs || 138971994 markings, 728043111 edges, 82138 markings/sec, 2165 secs
lola: STP completed || 163 tries, 162593961 fired transitions, 2170 secs || 139364998 markings, 730339863 edges, 78601 markings/sec, 2170 secs
lola: STP completed || 164 tries, 163019102 fired transitions, 2175 secs || 139766745 markings, 732568795 edges, 80349 markings/sec, 2175 secs
lola: STP completed || 164 tries, 163456278 fired transitions, 2180 secs || 140198633 markings, 735089651 edges, 86378 markings/sec, 2180 secs
lola: STP completed || 164 tries, 163880315 fired transitions, 2185 secs || 140585670 markings, 737403734 edges, 77407 markings/sec, 2185 secs
lola: STP completed || 165 tries, 164306822 fired transitions, 2190 secs || 140998591 markings, 739829746 edges, 82584 markings/sec, 2190 secs
lola: STP completed || 165 tries, 164731922 fired transitions, 2195 secs || 141397519 markings, 742173327 edges, 79786 markings/sec, 2195 secs
lola: STP completed || 166 tries, 165165609 fired transitions, 2200 secs || 141775265 markings, 744316222 edges, 75549 markings/sec, 2200 secs
lola: STP completed || 166 tries, 165611175 fired transitions, 2205 secs || 142207257 markings, 746771315 edges, 86398 markings/sec, 2205 secs
lola: STP completed || 167 tries, 166061551 fired transitions, 2210 secs || 142625839 markings, 749203902 edges, 83716 markings/sec, 2210 secs
lola: STP completed || 167 tries, 166508675 fired transitions, 2215 secs || 143043472 markings, 751590262 edges, 83527 markings/sec, 2215 secs
lola: STP completed || 167 tries, 166956376 fired transitions, 2220 secs || 143465324 markings, 753995596 edges, 84370 markings/sec, 2220 secs
lola: STP completed || 168 tries, 167418592 fired transitions, 2225 secs || 143904184 markings, 756450848 edges, 87772 markings/sec, 2225 secs
lola: STP completed || 168 tries, 167875731 fired transitions, 2230 secs || 144341831 markings, 758893996 edges, 87529 markings/sec, 2230 secs
lola: STP completed || 169 tries, 168323964 fired transitions, 2235 secs || 144799483 markings, 761376477 edges, 91530 markings/sec, 2235 secs
lola: STP completed || 169 tries, 168745771 fired transitions, 2240 secs || 145231089 markings, 763775746 edges, 86321 markings/sec, 2240 secs
lola: STP completed || 170 tries, 169172627 fired transitions, 2245 secs || 145659864 markings, 766135889 edges, 85755 markings/sec, 2245 secs
lola: STP completed || 170 tries, 169600105 fired transitions, 2250 secs || 146109423 markings, 768630170 edges, 89912 markings/sec, 2250 secs
lola: STP completed || 171 tries, 170036749 fired transitions, 2255 secs || 146543445 markings, 771070514 edges, 86804 markings/sec, 2255 secs
lola: STP completed || 171 tries, 170476590 fired transitions, 2260 secs || 147005613 markings, 773675145 edges, 92434 markings/sec, 2260 secs
lola: STP completed || 171 tries, 170908320 fired transitions, 2265 secs || 147389274 markings, 775587730 edges, 76732 markings/sec, 2265 secs
lola: STP completed || 172 tries, 171322926 fired transitions, 2270 secs || 147682602 markings, 776711686 edges, 58666 markings/sec, 2270 secs
lola: STP completed || 172 tries, 171739367 fired transitions, 2275 secs || 147948208 markings, 777630222 edges, 53121 markings/sec, 2275 secs
lola: STP completed || 173 tries, 172149296 fired transitions, 2280 secs || 148212446 markings, 778578559 edges, 52848 markings/sec, 2280 secs
lola: STP completed || 173 tries, 172596297 fired transitions, 2285 secs || 148517871 markings, 780000255 edges, 61085 markings/sec, 2285 secs
lola: STP completed || 174 tries, 173043278 fired transitions, 2290 secs || 148840320 markings, 781648886 edges, 64490 markings/sec, 2290 secs
lola: STP completed || 174 tries, 173470963 fired transitions, 2295 secs || 149089562 markings, 782574441 edges, 49848 markings/sec, 2295 secs
lola: STP completed || 174 tries, 173882202 fired transitions, 2300 secs || 149341479 markings, 783493946 edges, 50383 markings/sec, 2300 secs
lola: STP completed || 175 tries, 174302851 fired transitions, 2305 secs || 149659765 markings, 785107350 edges, 63657 markings/sec, 2305 secs
lola: STP completed || 175 tries, 174719196 fired transitions, 2310 secs || 149950160 markings, 786520018 edges, 58079 markings/sec, 2310 secs
lola: STP completed || 176 tries, 175131994 fired transitions, 2315 secs || 150243542 markings, 787972327 edges, 58676 markings/sec, 2315 secs
lola: STP completed || 176 tries, 175544129 fired transitions, 2320 secs || 150543096 markings, 789547644 edges, 59911 markings/sec, 2320 secs
lola: STP completed || 176 tries, 175970128 fired transitions, 2325 secs || 150830636 markings, 790926034 edges, 57508 markings/sec, 2325 secs
lola: STP completed || 177 tries, 176409115 fired transitions, 2330 secs || 151083216 markings, 791893081 edges, 50516 markings/sec, 2330 secs
lola: STP completed || 177 tries, 176822183 fired transitions, 2335 secs || 151366361 markings, 793245725 edges, 56629 markings/sec, 2335 secs
lola: STP completed || 178 tries, 177248132 fired transitions, 2340 secs || 151672192 markings, 794887371 edges, 61166 markings/sec, 2340 secs
lola: STP completed || 178 tries, 177669248 fired transitions, 2345 secs || 151953465 markings, 796294901 edges, 56255 markings/sec, 2345 secs
lola: STP completed || 179 tries, 178129026 fired transitions, 2350 secs || 152236846 markings, 797509582 edges, 56676 markings/sec, 2350 secs
lola: STP completed || 179 tries, 178575897 fired transitions, 2355 secs || 152569497 markings, 799364474 edges, 66530 markings/sec, 2355 secs
lola: STP completed || 180 tries, 179006283 fired transitions, 2360 secs || 152900430 markings, 801033768 edges, 66187 markings/sec, 2360 secs
lola: STP completed || 180 tries, 179409509 fired transitions, 2365 secs || 153250015 markings, 802976077 edges, 69917 markings/sec, 2365 secs
lola: STP completed || 180 tries, 179833528 fired transitions, 2370 secs || 153569100 markings, 804696327 edges, 63817 markings/sec, 2370 secs
lola: STP completed || 181 tries, 180329770 fired transitions, 2375 secs || 153909546 markings, 806553509 edges, 68089 markings/sec, 2375 secs
lola: STP completed || 181 tries, 180836871 fired transitions, 2380 secs || 154274949 markings, 808670932 edges, 73081 markings/sec, 2380 secs
lola: STP completed || 182 tries, 181323641 fired transitions, 2385 secs || 154637948 markings, 810835110 edges, 72600 markings/sec, 2385 secs
lola: STP completed || 182 tries, 181756490 fired transitions, 2390 secs || 155006203 markings, 812944135 edges, 73651 markings/sec, 2390 secs
lola: STP completed || 183 tries, 182178622 fired transitions, 2395 secs || 155375395 markings, 815154848 edges, 73838 markings/sec, 2395 secs
lola: STP completed || 183 tries, 182606189 fired transitions, 2400 secs || 155764142 markings, 817390507 edges, 77749 markings/sec, 2400 secs
lola: STP completed || 184 tries, 183053797 fired transitions, 2405 secs || 156158343 markings, 819529825 edges, 78840 markings/sec, 2405 secs
lola: STP completed || 184 tries, 183518587 fired transitions, 2410 secs || 156551161 markings, 821810002 edges, 78564 markings/sec, 2410 secs
lola: STP completed || 184 tries, 183949445 fired transitions, 2415 secs || 156924727 markings, 824031937 edges, 74713 markings/sec, 2415 secs
lola: STP completed || 185 tries, 184389060 fired transitions, 2420 secs || 157327909 markings, 826374803 edges, 80636 markings/sec, 2420 secs
lola: STP completed || 185 tries, 184824691 fired transitions, 2425 secs || 157720299 markings, 828483214 edges, 78478 markings/sec, 2425 secs
lola: STP completed || 186 tries, 185269401 fired transitions, 2430 secs || 158120559 markings, 830771192 edges, 80052 markings/sec, 2430 secs
lola: STP completed || 186 tries, 185716786 fired transitions, 2435 secs || 158527913 markings, 833110595 edges, 81471 markings/sec, 2435 secs
lola: STP completed || 187 tries, 186161096 fired transitions, 2440 secs || 158929572 markings, 835401088 edges, 80332 markings/sec, 2440 secs
lola: STP completed || 187 tries, 186601625 fired transitions, 2445 secs || 159348704 markings, 837831101 edges, 83826 markings/sec, 2445 secs
lola: STP completed || 188 tries, 187041683 fired transitions, 2450 secs || 159756875 markings, 840119341 edges, 81634 markings/sec, 2450 secs
lola: STP completed || 188 tries, 187472412 fired transitions, 2455 secs || 160173226 markings, 842431625 edges, 83270 markings/sec, 2455 secs
lola: STP completed || 188 tries, 187896693 fired transitions, 2460 secs || 160590987 markings, 844822299 edges, 83552 markings/sec, 2460 secs
lola: STP completed || 189 tries, 188342123 fired transitions, 2465 secs || 161008415 markings, 847127874 edges, 83486 markings/sec, 2465 secs
lola: STP completed || 189 tries, 188809040 fired transitions, 2470 secs || 161430447 markings, 849430144 edges, 84406 markings/sec, 2470 secs
lola: STP completed || 190 tries, 189246572 fired transitions, 2475 secs || 161878171 markings, 851829602 edges, 89545 markings/sec, 2475 secs
lola: STP completed || 190 tries, 189681970 fired transitions, 2480 secs || 162307195 markings, 854227386 edges, 85805 markings/sec, 2480 secs
lola: STP completed || 191 tries, 190161106 fired transitions, 2485 secs || 162716458 markings, 856505071 edges, 81853 markings/sec, 2485 secs
lola: STP completed || 191 tries, 190600317 fired transitions, 2490 secs || 163126646 markings, 858833459 edges, 82038 markings/sec, 2490 secs
lola: STP completed || 192 tries, 191021400 fired transitions, 2495 secs || 163524427 markings, 860886369 edges, 79556 markings/sec, 2495 secs
lola: STP completed || 192 tries, 191428700 fired transitions, 2500 secs || 163872045 markings, 862480475 edges, 69524 markings/sec, 2500 secs
lola: STP completed || 192 tries, 191836225 fired transitions, 2505 secs || 164154334 markings, 863398871 edges, 56458 markings/sec, 2505 secs
lola: STP completed || 193 tries, 192235509 fired transitions, 2510 secs || 164435338 markings, 864326376 edges, 56201 markings/sec, 2510 secs
lola: STP completed || 193 tries, 192650015 fired transitions, 2515 secs || 164725423 markings, 865465343 edges, 58017 markings/sec, 2515 secs
lola: STP completed || 194 tries, 193075439 fired transitions, 2520 secs || 165092563 markings, 867430185 edges, 73428 markings/sec, 2520 secs
lola: STP completed || 194 tries, 193480814 fired transitions, 2525 secs || 165434213 markings, 869045813 edges, 68330 markings/sec, 2525 secs
lola: STP completed || 194 tries, 193887156 fired transitions, 2530 secs || 165762170 markings, 870589789 edges, 65591 markings/sec, 2530 secs
lola: STP completed || 195 tries, 194293242 fired transitions, 2535 secs || 166077107 markings, 871992730 edges, 62987 markings/sec, 2535 secs
lola: STP completed || 195 tries, 194715191 fired transitions, 2540 secs || 166402902 markings, 873729134 edges, 65159 markings/sec, 2540 secs
lola: STP completed || 196 tries, 195124620 fired transitions, 2545 secs || 166708783 markings, 875140978 edges, 61176 markings/sec, 2545 secs
lola: STP completed || 196 tries, 195517134 fired transitions, 2550 secs || 166979626 markings, 876083491 edges, 54169 markings/sec, 2550 secs
lola: STP completed || 196 tries, 195911855 fired transitions, 2555 secs || 167252549 markings, 877077593 edges, 54585 markings/sec, 2555 secs
lola: STP completed || 197 tries, 196306727 fired transitions, 2560 secs || 167538711 markings, 878141313 edges, 57232 markings/sec, 2560 secs
lola: STP completed || 197 tries, 196727080 fired transitions, 2565 secs || 167920002 markings, 880056167 edges, 76258 markings/sec, 2565 secs
lola: STP completed || 198 tries, 197142895 fired transitions, 2570 secs || 168249334 markings, 881620437 edges, 65866 markings/sec, 2570 secs
lola: STP completed || 198 tries, 197570474 fired transitions, 2575 secs || 168618271 markings, 883595777 edges, 73787 markings/sec, 2575 secs
lola: STP completed || 198 tries, 197998071 fired transitions, 2580 secs || 168950523 markings, 885258859 edges, 66450 markings/sec, 2580 secs
lola: STP completed || 199 tries, 198435570 fired transitions, 2585 secs || 169284428 markings, 887084289 edges, 66781 markings/sec, 2585 secs
lola: STP completed || 199 tries, 198864459 fired transitions, 2590 secs || 169598688 markings, 888712311 edges, 62852 markings/sec, 2590 secs
lola: STP completed || 200 tries, 199289959 fired transitions, 2595 secs || 169983211 markings, 890894803 edges, 76905 markings/sec, 2595 secs
lola: STP completed || 200 tries, 199704253 fired transitions, 2600 secs || 170328883 markings, 892681994 edges, 69134 markings/sec, 2600 secs
lola: STP completed || 201 tries, 200123970 fired transitions, 2605 secs || 170675975 markings, 894572888 edges, 69418 markings/sec, 2605 secs
lola: STP completed || 201 tries, 200544201 fired transitions, 2610 secs || 171067689 markings, 896938689 edges, 78343 markings/sec, 2610 secs
lola: STP completed || 201 tries, 200985218 fired transitions, 2615 secs || 171454800 markings, 899191104 edges, 77422 markings/sec, 2615 secs
lola: STP completed || 202 tries, 201427012 fired transitions, 2620 secs || 171861778 markings, 901459530 edges, 81396 markings/sec, 2620 secs
lola: STP completed || 202 tries, 201868890 fired transitions, 2625 secs || 172255223 markings, 903776545 edges, 78689 markings/sec, 2625 secs
lola: STP completed || 203 tries, 202301213 fired transitions, 2630 secs || 172654682 markings, 906098991 edges, 79892 markings/sec, 2630 secs
lola: STP completed || 203 tries, 202744683 fired transitions, 2635 secs || 173066586 markings, 908462834 edges, 82381 markings/sec, 2635 secs
lola: STP completed || 204 tries, 203186528 fired transitions, 2640 secs || 173484385 markings, 910693036 edges, 83560 markings/sec, 2640 secs
lola: STP completed || 204 tries, 203620833 fired transitions, 2645 secs || 173905866 markings, 913058133 edges, 84296 markings/sec, 2645 secs
lola: STP completed || 205 tries, 204054315 fired transitions, 2650 secs || 174320567 markings, 915441032 edges, 82940 markings/sec, 2650 secs
lola: STP completed || 205 tries, 204501936 fired transitions, 2655 secs || 174737991 markings, 917829368 edges, 83485 markings/sec, 2655 secs
lola: STP completed || 205 tries, 204956514 fired transitions, 2660 secs || 175167023 markings, 920295637 edges, 85806 markings/sec, 2660 secs
lola: STP completed || 206 tries, 205408119 fired transitions, 2665 secs || 175586884 markings, 922688150 edges, 83972 markings/sec, 2665 secs
lola: STP completed || 206 tries, 205839417 fired transitions, 2670 secs || 176025339 markings, 925150773 edges, 87691 markings/sec, 2670 secs
lola: STP completed || 207 tries, 206261025 fired transitions, 2675 secs || 176469900 markings, 927643120 edges, 88912 markings/sec, 2675 secs
lola: STP completed || 207 tries, 206676985 fired transitions, 2680 secs || 176918664 markings, 930129594 edges, 89753 markings/sec, 2680 secs
lola: STP completed || 208 tries, 207108256 fired transitions, 2685 secs || 177369566 markings, 932586160 edges, 90180 markings/sec, 2685 secs
lola: STP completed || 208 tries, 207559455 fired transitions, 2690 secs || 177838039 markings, 935133094 edges, 93695 markings/sec, 2690 secs
lola: STP completed || 209 tries, 208006944 fired transitions, 2695 secs || 178271791 markings, 937511640 edges, 86750 markings/sec, 2695 secs
lola: STP completed || 209 tries, 208433722 fired transitions, 2700 secs || 178703142 markings, 939813889 edges, 86270 markings/sec, 2700 secs
lola: STP completed || 209 tries, 208863670 fired transitions, 2705 secs || 179112416 markings, 942158207 edges, 81855 markings/sec, 2705 secs
lola: STP completed || 210 tries, 209283542 fired transitions, 2710 secs || 179562978 markings, 944687294 edges, 90112 markings/sec, 2710 secs
lola: STP completed || 210 tries, 209691322 fired transitions, 2715 secs || 179949221 markings, 946579280 edges, 77249 markings/sec, 2715 secs
lola: STP completed || 211 tries, 210093744 fired transitions, 2720 secs || 180267453 markings, 947964459 edges, 63646 markings/sec, 2720 secs
lola: STP completed || 211 tries, 210369676 fired transitions, 2725 secs || 180457166 markings, 948616669 edges, 37943 markings/sec, 2725 secs
lola: STP completed || 211 tries, 210602434 fired transitions, 2730 secs || 180620634 markings, 949200781 edges, 32694 markings/sec, 2730 secs
lola: STP completed || 211 tries, 210835175 fired transitions, 2735 secs || 180778020 markings, 949757041 edges, 31477 markings/sec, 2735 secs
lola: STP completed || 212 tries, 211066977 fired transitions, 2740 secs || 180938431 markings, 950340709 edges, 32082 markings/sec, 2740 secs
lola: STP completed || 212 tries, 211293636 fired transitions, 2745 secs || 181131422 markings, 951422681 edges, 38598 markings/sec, 2745 secs
lola: STP completed || 212 tries, 211534600 fired transitions, 2750 secs || 181318354 markings, 952418545 edges, 37386 markings/sec, 2750 secs
lola: STP completed || 212 tries, 211763740 fired transitions, 2755 secs || 181500538 markings, 953301416 edges, 36437 markings/sec, 2755 secs
lola: STP completed || 212 tries, 211992657 fired transitions, 2760 secs || 181679176 markings, 954222587 edges, 35728 markings/sec, 2760 secs
lola: STP completed || 213 tries, 212236318 fired transitions, 2765 secs || 181865853 markings, 955273389 edges, 37335 markings/sec, 2765 secs
lola: STP completed || 213 tries, 212471787 fired transitions, 2770 secs || 182027614 markings, 955854901 edges, 32352 markings/sec, 2770 secs
lola: STP completed || 213 tries, 212705945 fired transitions, 2775 secs || 182178231 markings, 956430366 edges, 30123 markings/sec, 2775 secs
lola: STP completed || 213 tries, 212940611 fired transitions, 2780 secs || 182333742 markings, 957018042 edges, 31102 markings/sec, 2780 secs
lola: STP completed || 214 tries, 213204310 fired transitions, 2785 secs || 182493783 markings, 957674280 edges, 32008 markings/sec, 2785 secs
lola: STP completed || 214 tries, 213461427 fired transitions, 2790 secs || 182660776 markings, 958609821 edges, 33399 markings/sec, 2790 secs
lola: STP completed || 214 tries, 213720295 fired transitions, 2795 secs || 182832233 markings, 959611761 edges, 34291 markings/sec, 2795 secs
lola: STP completed || 214 tries, 213966990 fired transitions, 2800 secs || 182991149 markings, 960421079 edges, 31783 markings/sec, 2800 secs
lola: STP completed || 215 tries, 214206138 fired transitions, 2805 secs || 183155470 markings, 961216012 edges, 32864 markings/sec, 2805 secs
lola: STP completed || 215 tries, 214439204 fired transitions, 2810 secs || 183310087 markings, 961799222 edges, 30923 markings/sec, 2810 secs
lola: STP completed || 215 tries, 214685474 fired transitions, 2815 secs || 183470857 markings, 962400171 edges, 32154 markings/sec, 2815 secs
lola: STP completed || 215 tries, 214949088 fired transitions, 2820 secs || 183636638 markings, 963031417 edges, 33156 markings/sec, 2820 secs
lola: STP completed || 216 tries, 215209767 fired transitions, 2825 secs || 183799145 markings, 963648027 edges, 32501 markings/sec, 2825 secs
lola: STP completed || 216 tries, 215467714 fired transitions, 2830 secs || 183966202 markings, 964281105 edges, 33411 markings/sec, 2830 secs
lola: STP completed || 216 tries, 215723087 fired transitions, 2835 secs || 184142136 markings, 965285137 edges, 35187 markings/sec, 2835 secs
lola: STP completed || 216 tries, 215974565 fired transitions, 2840 secs || 184310047 markings, 966255729 edges, 33582 markings/sec, 2840 secs
lola: STP completed || 217 tries, 216232657 fired transitions, 2845 secs || 184476511 markings, 967098096 edges, 33293 markings/sec, 2845 secs
lola: STP completed || 217 tries, 216489211 fired transitions, 2850 secs || 184637147 markings, 967923079 edges, 32127 markings/sec, 2850 secs
lola: STP completed || 217 tries, 216743455 fired transitions, 2855 secs || 184816592 markings, 968744112 edges, 35889 markings/sec, 2855 secs
lola: STP completed || 218 tries, 217000111 fired transitions, 2860 secs || 185014204 markings, 969792709 edges, 39522 markings/sec, 2860 secs
lola: STP completed || 218 tries, 217253049 fired transitions, 2865 secs || 185209846 markings, 970725301 edges, 39128 markings/sec, 2865 secs
lola: STP completed || 218 tries, 217511509 fired transitions, 2870 secs || 185391784 markings, 971725591 edges, 36388 markings/sec, 2870 secs
lola: STP completed || 218 tries, 217772343 fired transitions, 2875 secs || 185608085 markings, 972849600 edges, 43260 markings/sec, 2875 secs
lola: STP completed || 219 tries, 218034275 fired transitions, 2880 secs || 185794871 markings, 973760792 edges, 37357 markings/sec, 2880 secs
lola: STP completed || 219 tries, 218290006 fired transitions, 2885 secs || 185973866 markings, 974734986 edges, 35799 markings/sec, 2885 secs
lola: STP completed || 219 tries, 218560959 fired transitions, 2890 secs || 186174213 markings, 975903398 edges, 40069 markings/sec, 2890 secs
lola: STP completed || 219 tries, 218834304 fired transitions, 2895 secs || 186347733 markings, 976824498 edges, 34704 markings/sec, 2895 secs
lola: STP completed || 220 tries, 219103449 fired transitions, 2900 secs || 186515627 markings, 977762410 edges, 33579 markings/sec, 2900 secs
lola: STP completed || 220 tries, 219330473 fired transitions, 2905 secs || 186678797 markings, 978631083 edges, 32634 markings/sec, 2905 secs
lola: STP completed || 220 tries, 219558640 fired transitions, 2910 secs || 186858494 markings, 979659924 edges, 35939 markings/sec, 2910 secs
lola: STP completed || 220 tries, 219784784 fired transitions, 2915 secs || 187039467 markings, 980675134 edges, 36195 markings/sec, 2915 secs
lola: STP completed || 221 tries, 220015012 fired transitions, 2920 secs || 187225114 markings, 981794953 edges, 37129 markings/sec, 2920 secs
lola: STP completed || 221 tries, 220278001 fired transitions, 2925 secs || 187444831 markings, 983062596 edges, 43943 markings/sec, 2925 secs
lola: STP completed || 221 tries, 220545154 fired transitions, 2930 secs || 187642866 markings, 984201998 edges, 39607 markings/sec, 2930 secs
lola: STP completed || 221 tries, 220814604 fired transitions, 2935 secs || 187847449 markings, 985348742 edges, 40917 markings/sec, 2935 secs
lola: STP completed || 222 tries, 221073266 fired transitions, 2940 secs || 188037760 markings, 986505963 edges, 38062 markings/sec, 2940 secs
lola: STP completed || 222 tries, 221316013 fired transitions, 2945 secs || 188249286 markings, 987728292 edges, 42305 markings/sec, 2945 secs
lola: STP completed || 222 tries, 221573687 fired transitions, 2950 secs || 188442965 markings, 988878305 edges, 38736 markings/sec, 2950 secs
lola: STP completed || 222 tries, 221834076 fired transitions, 2955 secs || 188644345 markings, 990010354 edges, 40276 markings/sec, 2955 secs
lola: STP completed || 223 tries, 222105491 fired transitions, 2960 secs || 188845623 markings, 991171934 edges, 40256 markings/sec, 2960 secs
lola: STP completed || 223 tries, 222367599 fired transitions, 2965 secs || 189034202 markings, 992309557 edges, 37716 markings/sec, 2965 secs
lola: STP completed || 223 tries, 222616759 fired transitions, 2970 secs || 189226344 markings, 993407526 edges, 38428 markings/sec, 2970 secs
lola: STP completed || 223 tries, 222934033 fired transitions, 2975 secs || 189505562 markings, 994982890 edges, 55844 markings/sec, 2975 secs
lola: STP completed || 224 tries, 223360587 fired transitions, 2980 secs || 189885938 markings, 997251525 edges, 76075 markings/sec, 2980 secs
lola: STP completed || 224 tries, 223786950 fired transitions, 2985 secs || 190268961 markings, 999488357 edges, 76605 markings/sec, 2985 secs
lola: STP completed || 225 tries, 224210640 fired transitions, 2990 secs || 190665935 markings, 1001790283 edges, 79395 markings/sec, 2990 secs
lola: STP completed || 225 tries, 224643905 fired transitions, 2995 secs || 191051874 markings, 1004004664 edges, 77188 markings/sec, 2995 secs
lola: STP completed || 226 tries, 225070427 fired transitions, 3000 secs || 191436738 markings, 1006233937 edges, 76973 markings/sec, 3000 secs
lola: STP completed || 226 tries, 225495801 fired transitions, 3005 secs || 191840411 markings, 1008511790 edges, 80735 markings/sec, 3005 secs
lola: STP completed || 226 tries, 225928899 fired transitions, 3010 secs || 192240973 markings, 1010764550 edges, 80112 markings/sec, 3010 secs
lola: STP completed || 227 tries, 226351878 fired transitions, 3015 secs || 192640322 markings, 1012996894 edges, 79870 markings/sec, 3015 secs
lola: STP completed || 227 tries, 226772342 fired transitions, 3020 secs || 193036075 markings, 1015149710 edges, 79151 markings/sec, 3020 secs
lola: STP completed || 228 tries, 227191633 fired transitions, 3025 secs || 193434400 markings, 1017376337 edges, 79665 markings/sec, 3025 secs
lola: STP completed || 228 tries, 227613167 fired transitions, 3030 secs || 193840374 markings, 1019678554 edges, 81195 markings/sec, 3030 secs
lola: STP completed || 229 tries, 228033465 fired transitions, 3035 secs || 194253126 markings, 1021939704 edges, 82550 markings/sec, 3035 secs
lola: STP completed || 229 tries, 228452499 fired transitions, 3040 secs || 194674854 markings, 1024249760 edges, 84346 markings/sec, 3040 secs
lola: STP completed || 229 tries, 228871266 fired transitions, 3045 secs || 195108585 markings, 1026627441 edges, 86746 markings/sec, 3045 secs
lola: STP completed || 230 tries, 229293357 fired transitions, 3050 secs || 195529010 markings, 1028967448 edges, 84085 markings/sec, 3050 secs
lola: STP completed || 230 tries, 229721617 fired transitions, 3055 secs || 195974351 markings, 1031454429 edges, 89068 markings/sec, 3055 secs
lola: STP completed || 231 tries, 230138554 fired transitions, 3060 secs || 196360370 markings, 1033345046 edges, 77204 markings/sec, 3060 secs
lola: STP completed || 231 tries, 230539741 fired transitions, 3065 secs || 196663823 markings, 1034418270 edges, 60691 markings/sec, 3065 secs
lola: STP completed || 231 tries, 230800752 fired transitions, 3070 secs || 196847433 markings, 1035011160 edges, 36722 markings/sec, 3070 secs
lola: STP completed || 232 tries, 231038327 fired transitions, 3075 secs || 197014599 markings, 1035582036 edges, 33433 markings/sec, 3075 secs
lola: STP completed || 232 tries, 231271885 fired transitions, 3080 secs || 197181018 markings, 1036142673 edges, 33284 markings/sec, 3080 secs
lola: STP completed || 232 tries, 231504705 fired transitions, 3085 secs || 197356124 markings, 1036950146 edges, 35021 markings/sec, 3085 secs
lola: STP completed || 232 tries, 231740553 fired transitions, 3090 secs || 197531491 markings, 1037834807 edges, 35073 markings/sec, 3090 secs
lola: STP completed || 232 tries, 231977273 fired transitions, 3095 secs || 197705932 markings, 1038792798 edges, 34888 markings/sec, 3095 secs
lola: STP completed || 233 tries, 232218574 fired transitions, 3100 secs || 197873039 markings, 1039427489 edges, 33421 markings/sec, 3100 secs
lola: STP completed || 233 tries, 232451272 fired transitions, 3105 secs || 198053541 markings, 1040394586 edges, 36100 markings/sec, 3105 secs
lola: STP completed || 233 tries, 232683974 fired transitions, 3110 secs || 198226678 markings, 1041334345 edges, 34627 markings/sec, 3110 secs
lola: STP completed || 233 tries, 232919514 fired transitions, 3115 secs || 198397700 markings, 1042007539 edges, 34204 markings/sec, 3115 secs
lola: STP completed || 234 tries, 233158499 fired transitions, 3120 secs || 198549780 markings, 1042562101 edges, 30416 markings/sec, 3120 secs
lola: STP completed || 234 tries, 233393274 fired transitions, 3125 secs || 198704878 markings, 1043125396 edges, 31020 markings/sec, 3125 secs
lola: STP completed || 234 tries, 233610515 fired transitions, 3130 secs || 198847541 markings, 1043640343 edges, 28533 markings/sec, 3130 secs
lola: STP completed || 234 tries, 233832815 fired transitions, 3135 secs || 199012532 markings, 1044191823 edges, 32998 markings/sec, 3135 secs
lola: STP completed || 235 tries, 234059354 fired transitions, 3140 secs || 199163699 markings, 1044828892 edges, 30233 markings/sec, 3140 secs
lola: STP completed || 235 tries, 234282629 fired transitions, 3145 secs || 199317747 markings, 1045690473 edges, 30810 markings/sec, 3145 secs
lola: STP completed || 235 tries, 234510906 fired transitions, 3150 secs || 199477745 markings, 1046615426 edges, 32000 markings/sec, 3150 secs
lola: STP completed || 235 tries, 234758119 fired transitions, 3155 secs || 199635258 markings, 1047395336 edges, 31503 markings/sec, 3155 secs
lola: STP completed || 235 tries, 234980674 fired transitions, 3160 secs || 199785388 markings, 1048153040 edges, 30026 markings/sec, 3160 secs
lola: STP completed || 236 tries, 235200098 fired transitions, 3165 secs || 199937607 markings, 1048673541 edges, 30444 markings/sec, 3165 secs
lola: STP completed || 236 tries, 235455805 fired transitions, 3170 secs || 200104648 markings, 1049623007 edges, 33408 markings/sec, 3170 secs
lola: STP completed || 236 tries, 235701674 fired transitions, 3175 secs || 200263171 markings, 1050495503 edges, 31705 markings/sec, 3175 secs
lola: STP completed || 236 tries, 235939017 fired transitions, 3180 secs || 200416269 markings, 1051243874 edges, 30620 markings/sec, 3180 secs
lola: STP completed || 237 tries, 236186055 fired transitions, 3185 secs || 200579337 markings, 1052172231 edges, 32614 markings/sec, 3185 secs
lola: STP completed || 237 tries, 236429494 fired transitions, 3190 secs || 200734235 markings, 1052755138 edges, 30980 markings/sec, 3190 secs
lola: STP completed || 237 tries, 236672393 fired transitions, 3195 secs || 200922085 markings, 1053624509 edges, 37570 markings/sec, 3195 secs
lola: STP completed || 237 tries, 236916505 fired transitions, 3200 secs || 201097973 markings, 1054457178 edges, 35178 markings/sec, 3200 secs
lola: STP completed || 238 tries, 237154959 fired transitions, 3205 secs || 201287279 markings, 1055323522 edges, 37861 markings/sec, 3205 secs
lola: STP completed || 238 tries, 237394552 fired transitions, 3210 secs || 201462136 markings, 1056321879 edges, 34971 markings/sec, 3210 secs
lola: STP completed || 238 tries, 237593219 fired transitions, 3215 secs || 201604277 markings, 1056964278 edges, 28428 markings/sec, 3215 secs
lola: STP completed || 238 tries, 237719825 fired transitions, 3220 secs || 201672813 markings, 1057388927 edges, 13707 markings/sec, 3220 secs
lola: STP completed || 238 tries, 237842841 fired transitions, 3225 secs || 201738043 markings, 1057799213 edges, 13046 markings/sec, 3225 secs
lola: STP completed || 238 tries, 237988363 fired transitions, 3230 secs || 201818131 markings, 1058288438 edges, 16018 markings/sec, 3230 secs
lola: STP completed || 239 tries, 238125725 fired transitions, 3235 secs || 201872672 markings, 1058620432 edges, 10908 markings/sec, 3235 secs
lola: STP completed || 239 tries, 238272151 fired transitions, 3240 secs || 201908076 markings, 1058786388 edges, 7081 markings/sec, 3240 secs
lola: STP completed || 239 tries, 238421284 fired transitions, 3245 secs || 201912795 markings, 1058802202 edges, 944 markings/sec, 3245 secs
lola: STP completed || 239 tries, 238444650 fired transitions, 3250 secs || 201912799 markings, 1058802221 edges, 1 markings/sec, 3250 secs
lola: STP completed || 239 tries, 238474066 fired transitions, 3255 secs || 201912805 markings, 1058802234 edges, 1 markings/sec, 3255 secs
lola: STP completed || 239 tries, 238542822 fired transitions, 3260 secs || 201912808 markings, 1058802253 edges, 1 markings/sec, 3260 secs
lola: STP completed || 239 tries, 238623401 fired transitions, 3265 secs || 201913102 markings, 1058803235 edges, 59 markings/sec, 3265 secs
lola: STP completed || 239 tries, 238766419 fired transitions, 3270 secs || 201913108 markings, 1058803252 edges, 1 markings/sec, 3270 secs
lola: STP completed || 239 tries, 238912866 fired transitions, 3275 secs || 201913112 markings, 1058803271 edges, 1 markings/sec, 3275 secs
lola: STP completed || 240 tries, 239019048 fired transitions, 3280 secs || 201913227 markings, 1058803663 edges, 23 markings/sec, 3280 secs
lola: STP completed || 240 tries, 239088279 fired transitions, 3285 secs || 201914545 markings, 1058808407 edges, 264 markings/sec, 3285 secs
Killed
FORMULA MultiwaySync-PT-none-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 -----
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="MultiwaySync-PT-none"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="mcc4mcc-full"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/MultiwaySync-PT-none.tgz
mv MultiwaySync-PT-none execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool mcc4mcc-full"
echo " Input is MultiwaySync-PT-none, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r118-csrt-152666478100202"
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 ;