fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r094-blw7-152650006200160
Last Updated
June 26, 2018

About the Execution of M4M.full for FlexibleBarrier-PT-12a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15919.070 2400996.00 4830362.00 3240.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 292K
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 26 09:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 26 09:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 26 09:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3K May 26 09:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K 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 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 128K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is FlexibleBarrier-PT-12a, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r094-blw7-152650006200160
=====================================================================


--------------------
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 FlexibleBarrier-PT-12a-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1527501714051


BK_STOP 1527504115047

--------------------
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 FlexibleBarrier-PT-12a as instance name.
Using FlexibleBarrier 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': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 3122, 'Memory': 264.19, 'Tool': 'itstools'}, {'Time': 4309, 'Memory': 185.19, 'Tool': 'gspn'}, {'Time': 2817572, 'Memory': 15952.91, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 902.4894298526585x far from the best tool itstools.
ReachabilityDeadlock lola FlexibleBarrier-PT-12a...
----- Start make prepare stderr -----

Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
FlexibleBarrier-PT-12a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
FlexibleBarrier-PT-12a: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
ReachabilityDeadlock @ FlexibleBarrier-PT-12a @ 3540 seconds
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: 595/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 147 places, 448 transitions, 133 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 352 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-12a-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 20 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 7443 variables and 33056 clauses shipped to Minisat
lola: computed 55 generators (22 in search tree, 33 by composition)
lola: representing 3.99168E+07 symmetries
lola: 0 dead branches visited in search tree
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 162301 fired transitions, 0 secs || 226960 markings, 352011 edges, 45392 markings/sec, 0 secs
lola: STP completed || 1 tries, 325208 fired transitions, 5 secs || 455152 markings, 708259 edges, 45638 markings/sec, 5 secs
lola: STP completed || 1 tries, 491492 fired transitions, 10 secs || 680681 markings, 1059540 edges, 45106 markings/sec, 10 secs
lola: STP completed || 1 tries, 658649 fired transitions, 15 secs || 913156 markings, 1434427 edges, 46495 markings/sec, 15 secs
lola: STP completed || 1 tries, 825298 fired transitions, 20 secs || 1133764 markings, 1787741 edges, 44122 markings/sec, 20 secs
lola: STP completed || 1 tries, 993859 fired transitions, 25 secs || 1359636 markings, 2161600 edges, 45174 markings/sec, 25 secs
lola: STP completed || 2 tries, 1181687 fired transitions, 30 secs || 1617213 markings, 2578713 edges, 51515 markings/sec, 30 secs
lola: STP completed || 2 tries, 1353782 fired transitions, 35 secs || 1833360 markings, 2923633 edges, 43229 markings/sec, 35 secs
lola: STP completed || 2 tries, 1523380 fired transitions, 40 secs || 2056698 markings, 3281059 edges, 44668 markings/sec, 40 secs
lola: STP completed || 2 tries, 1692382 fired transitions, 45 secs || 2286204 markings, 3652239 edges, 45901 markings/sec, 45 secs
lola: STP completed || 2 tries, 1865681 fired transitions, 50 secs || 2528181 markings, 4052517 edges, 48395 markings/sec, 50 secs
lola: STP completed || 3 tries, 2043963 fired transitions, 55 secs || 2781525 markings, 4460042 edges, 50669 markings/sec, 55 secs
lola: STP completed || 3 tries, 2240259 fired transitions, 60 secs || 3061693 markings, 4919172 edges, 56034 markings/sec, 60 secs
lola: STP completed || 3 tries, 2437429 fired transitions, 65 secs || 3337855 markings, 5373143 edges, 55232 markings/sec, 65 secs
lola: STP completed || 3 tries, 2634747 fired transitions, 70 secs || 3621192 markings, 5848087 edges, 56667 markings/sec, 70 secs
lola: STP completed || 3 tries, 2832777 fired transitions, 75 secs || 3905684 markings, 6337252 edges, 56898 markings/sec, 75 secs
lola: STP completed || 4 tries, 3028693 fired transitions, 80 secs || 4186751 markings, 6814545 edges, 56213 markings/sec, 80 secs
lola: STP completed || 4 tries, 3199058 fired transitions, 85 secs || 4407919 markings, 7192005 edges, 44234 markings/sec, 85 secs
lola: STP completed || 4 tries, 3362183 fired transitions, 90 secs || 4649678 markings, 7594809 edges, 48352 markings/sec, 90 secs
lola: STP completed || 4 tries, 3539561 fired transitions, 95 secs || 4901755 markings, 7995324 edges, 50415 markings/sec, 95 secs
lola: STP completed || 4 tries, 3727587 fired transitions, 100 secs || 5172663 markings, 8465505 edges, 54182 markings/sec, 100 secs
lola: STP completed || 4 tries, 3917140 fired transitions, 105 secs || 5446939 markings, 8944875 edges, 54855 markings/sec, 105 secs
lola: STP completed || 5 tries, 4107142 fired transitions, 110 secs || 5718821 markings, 9404401 edges, 54376 markings/sec, 110 secs
lola: STP completed || 5 tries, 4296757 fired transitions, 115 secs || 5990757 markings, 9861868 edges, 54387 markings/sec, 115 secs
lola: STP completed || 5 tries, 4466831 fired transitions, 120 secs || 6235353 markings, 10258567 edges, 48919 markings/sec, 120 secs
lola: STP completed || 5 tries, 4636858 fired transitions, 125 secs || 6467465 markings, 10647592 edges, 46422 markings/sec, 125 secs
lola: STP completed || 5 tries, 4807508 fired transitions, 130 secs || 6700868 markings, 11052288 edges, 46681 markings/sec, 130 secs
lola: STP completed || 5 tries, 4978071 fired transitions, 135 secs || 6930318 markings, 11433785 edges, 45890 markings/sec, 135 secs
lola: STP completed || 6 tries, 5147836 fired transitions, 140 secs || 7156723 markings, 11792325 edges, 45281 markings/sec, 140 secs
lola: STP completed || 6 tries, 5318732 fired transitions, 145 secs || 7386503 markings, 12176759 edges, 45956 markings/sec, 145 secs
lola: STP completed || 6 tries, 5494304 fired transitions, 150 secs || 7630871 markings, 12595519 edges, 48874 markings/sec, 150 secs
lola: STP completed || 6 tries, 5684511 fired transitions, 155 secs || 7908363 markings, 13076932 edges, 55498 markings/sec, 155 secs
lola: STP completed || 6 tries, 5874182 fired transitions, 160 secs || 8175936 markings, 13514596 edges, 53515 markings/sec, 160 secs
lola: STP completed || 7 tries, 6063685 fired transitions, 165 secs || 8444958 markings, 13961650 edges, 53804 markings/sec, 165 secs
lola: STP completed || 7 tries, 6253514 fired transitions, 170 secs || 8715040 markings, 14413255 edges, 54016 markings/sec, 170 secs
lola: STP completed || 7 tries, 6444007 fired transitions, 175 secs || 8984177 markings, 14856607 edges, 53827 markings/sec, 175 secs
lola: STP completed || 7 tries, 6631347 fired transitions, 180 secs || 9237067 markings, 15274515 edges, 50578 markings/sec, 180 secs
lola: STP completed || 7 tries, 6820713 fired transitions, 185 secs || 9507332 markings, 15725068 edges, 54053 markings/sec, 185 secs
lola: STP completed || 8 tries, 7009651 fired transitions, 190 secs || 9777405 markings, 16167154 edges, 54015 markings/sec, 190 secs
lola: STP completed || 8 tries, 7199183 fired transitions, 195 secs || 10049384 markings, 16633487 edges, 54396 markings/sec, 195 secs
lola: STP completed || 8 tries, 7387448 fired transitions, 200 secs || 10322780 markings, 17111415 edges, 54679 markings/sec, 200 secs
lola: STP completed || 8 tries, 7578247 fired transitions, 205 secs || 10592992 markings, 17571704 edges, 54042 markings/sec, 205 secs
lola: STP completed || 8 tries, 7750780 fired transitions, 210 secs || 10837200 markings, 17982880 edges, 48842 markings/sec, 210 secs
lola: STP completed || 8 tries, 7921037 fired transitions, 215 secs || 11071046 markings, 18377444 edges, 46769 markings/sec, 215 secs
lola: STP completed || 9 tries, 8089286 fired transitions, 220 secs || 11309911 markings, 18799203 edges, 47773 markings/sec, 220 secs
lola: STP completed || 9 tries, 8270485 fired transitions, 225 secs || 11582460 markings, 19263966 edges, 54510 markings/sec, 225 secs
lola: STP completed || 9 tries, 8437806 fired transitions, 230 secs || 11823754 markings, 19663082 edges, 48259 markings/sec, 230 secs
lola: STP completed || 9 tries, 8606864 fired transitions, 235 secs || 12061132 markings, 20084712 edges, 47476 markings/sec, 235 secs
lola: STP completed || 9 tries, 8780749 fired transitions, 240 secs || 12311355 markings, 20509991 edges, 50045 markings/sec, 240 secs
lola: STP completed || 9 tries, 8952024 fired transitions, 245 secs || 12555062 markings, 20923745 edges, 48741 markings/sec, 245 secs
lola: STP completed || 10 tries, 9142103 fired transitions, 250 secs || 12824944 markings, 21373748 edges, 53976 markings/sec, 250 secs
lola: STP completed || 10 tries, 9324908 fired transitions, 255 secs || 13090642 markings, 21838319 edges, 53140 markings/sec, 255 secs
lola: STP completed || 10 tries, 9495404 fired transitions, 260 secs || 13320009 markings, 22232041 edges, 45873 markings/sec, 260 secs
lola: STP completed || 10 tries, 9666403 fired transitions, 265 secs || 13554299 markings, 22646869 edges, 46858 markings/sec, 265 secs
lola: STP completed || 10 tries, 9837728 fired transitions, 270 secs || 13800220 markings, 23086226 edges, 49184 markings/sec, 270 secs
lola: STP completed || 11 tries, 10029319 fired transitions, 275 secs || 14076449 markings, 23569214 edges, 55246 markings/sec, 275 secs
lola: STP completed || 11 tries, 10219975 fired transitions, 280 secs || 14349594 markings, 24047754 edges, 54629 markings/sec, 280 secs
lola: STP completed || 11 tries, 10390980 fired transitions, 285 secs || 14568926 markings, 24434512 edges, 43866 markings/sec, 285 secs
lola: STP completed || 11 tries, 10581282 fired transitions, 290 secs || 14839176 markings, 24912849 edges, 54050 markings/sec, 290 secs
lola: STP completed || 11 tries, 10766576 fired transitions, 295 secs || 15103979 markings, 25373967 edges, 52961 markings/sec, 295 secs
lola: STP completed || 11 tries, 10936528 fired transitions, 300 secs || 15340780 markings, 25778240 edges, 47360 markings/sec, 300 secs
lola: STP completed || 12 tries, 11105417 fired transitions, 305 secs || 15584048 markings, 26203229 edges, 48654 markings/sec, 305 secs
lola: STP completed || 12 tries, 11288436 fired transitions, 310 secs || 15848345 markings, 26649541 edges, 52859 markings/sec, 310 secs
lola: STP completed || 12 tries, 11478662 fired transitions, 315 secs || 16116731 markings, 27117815 edges, 53677 markings/sec, 315 secs
lola: STP completed || 12 tries, 11668221 fired transitions, 320 secs || 16388596 markings, 27580285 edges, 54373 markings/sec, 320 secs
lola: STP completed || 12 tries, 11855937 fired transitions, 325 secs || 16657194 markings, 28041387 edges, 53720 markings/sec, 325 secs
lola: STP completed || 13 tries, 12034093 fired transitions, 330 secs || 16913520 markings, 28464212 edges, 51265 markings/sec, 330 secs
lola: STP completed || 13 tries, 12202782 fired transitions, 335 secs || 17150243 markings, 28869935 edges, 47345 markings/sec, 335 secs
lola: STP completed || 13 tries, 12393723 fired transitions, 340 secs || 17422802 markings, 29338045 edges, 54512 markings/sec, 340 secs
lola: STP completed || 13 tries, 12582824 fired transitions, 345 secs || 17693608 markings, 29812048 edges, 54161 markings/sec, 345 secs
lola: STP completed || 13 tries, 12772851 fired transitions, 350 secs || 17970793 markings, 30311923 edges, 55437 markings/sec, 350 secs
lola: STP completed || 13 tries, 12962163 fired transitions, 355 secs || 18239995 markings, 30772722 edges, 53840 markings/sec, 355 secs
lola: STP completed || 14 tries, 13119426 fired transitions, 360 secs || 18480393 markings, 31184967 edges, 48080 markings/sec, 360 secs
lola: STP completed || 14 tries, 13289622 fired transitions, 365 secs || 18710594 markings, 31585619 edges, 46040 markings/sec, 365 secs
lola: STP completed || 14 tries, 13459252 fired transitions, 370 secs || 18942311 markings, 31995193 edges, 46343 markings/sec, 370 secs
lola: STP completed || 14 tries, 13630708 fired transitions, 375 secs || 19175483 markings, 32386785 edges, 46634 markings/sec, 375 secs
lola: STP completed || 14 tries, 13801838 fired transitions, 380 secs || 19409565 markings, 32804956 edges, 46816 markings/sec, 380 secs
lola: STP completed || 14 tries, 13980265 fired transitions, 385 secs || 19670346 markings, 33264315 edges, 52156 markings/sec, 385 secs
lola: STP completed || 15 tries, 14170130 fired transitions, 390 secs || 19939920 markings, 33743546 edges, 53915 markings/sec, 390 secs
lola: STP completed || 15 tries, 14359426 fired transitions, 395 secs || 20215397 markings, 34231346 edges, 55095 markings/sec, 395 secs
lola: STP completed || 15 tries, 14549325 fired transitions, 400 secs || 20486794 markings, 34678889 edges, 54279 markings/sec, 400 secs
lola: STP completed || 15 tries, 14738336 fired transitions, 405 secs || 20758303 markings, 35129844 edges, 54302 markings/sec, 405 secs
lola: STP completed || 15 tries, 14908056 fired transitions, 410 secs || 20989609 markings, 35523346 edges, 46261 markings/sec, 410 secs
lola: STP completed || 16 tries, 15074605 fired transitions, 415 secs || 21217079 markings, 35916875 edges, 45494 markings/sec, 415 secs
lola: STP completed || 16 tries, 15240749 fired transitions, 420 secs || 21441619 markings, 36303993 edges, 44908 markings/sec, 420 secs
lola: STP completed || 16 tries, 15407984 fired transitions, 425 secs || 21666912 markings, 36684432 edges, 45059 markings/sec, 425 secs
lola: STP completed || 16 tries, 15575933 fired transitions, 430 secs || 21902670 markings, 37106953 edges, 47152 markings/sec, 430 secs
lola: STP completed || 16 tries, 15742984 fired transitions, 435 secs || 22129368 markings, 37515403 edges, 45340 markings/sec, 435 secs
lola: STP completed || 16 tries, 15913981 fired transitions, 440 secs || 22354444 markings, 37911541 edges, 45015 markings/sec, 440 secs
lola: STP completed || 17 tries, 16083458 fired transitions, 445 secs || 22580494 markings, 38295833 edges, 45210 markings/sec, 445 secs
lola: STP completed || 17 tries, 16250925 fired transitions, 450 secs || 22807083 markings, 38664063 edges, 45318 markings/sec, 450 secs
lola: STP completed || 17 tries, 16419664 fired transitions, 455 secs || 23038188 markings, 39045417 edges, 46221 markings/sec, 455 secs
lola: STP completed || 17 tries, 16588988 fired transitions, 460 secs || 23269734 markings, 39422908 edges, 46309 markings/sec, 460 secs
lola: STP completed || 17 tries, 16756749 fired transitions, 465 secs || 23501327 markings, 39807542 edges, 46319 markings/sec, 465 secs
lola: STP completed || 17 tries, 16926526 fired transitions, 470 secs || 23720078 markings, 40163425 edges, 43750 markings/sec, 470 secs
lola: STP completed || 18 tries, 17095913 fired transitions, 475 secs || 23945735 markings, 40525644 edges, 45131 markings/sec, 475 secs
lola: STP completed || 18 tries, 17265169 fired transitions, 480 secs || 24168644 markings, 40898855 edges, 44582 markings/sec, 480 secs
lola: STP completed || 18 tries, 17434319 fired transitions, 485 secs || 24396136 markings, 41271097 edges, 45498 markings/sec, 485 secs
lola: STP completed || 18 tries, 17603524 fired transitions, 490 secs || 24621494 markings, 41638119 edges, 45072 markings/sec, 490 secs
lola: STP completed || 18 tries, 17773060 fired transitions, 495 secs || 24847902 markings, 42019697 edges, 45282 markings/sec, 495 secs
lola: STP completed || 18 tries, 17943356 fired transitions, 500 secs || 25076098 markings, 42410346 edges, 45639 markings/sec, 500 secs
lola: STP completed || 19 tries, 18108768 fired transitions, 505 secs || 25305416 markings, 42785654 edges, 45864 markings/sec, 505 secs
lola: STP completed || 19 tries, 18284420 fired transitions, 510 secs || 25565736 markings, 43234023 edges, 52064 markings/sec, 510 secs
lola: STP completed || 19 tries, 18475438 fired transitions, 515 secs || 25845855 markings, 43724551 edges, 56024 markings/sec, 515 secs
lola: STP completed || 19 tries, 18644519 fired transitions, 520 secs || 26071183 markings, 44102714 edges, 45066 markings/sec, 520 secs
lola: STP completed || 19 tries, 18814774 fired transitions, 525 secs || 26319130 markings, 44534612 edges, 49589 markings/sec, 525 secs
lola: STP completed || 20 tries, 19004478 fired transitions, 530 secs || 26593769 markings, 45022892 edges, 54928 markings/sec, 530 secs
lola: STP completed || 20 tries, 19178758 fired transitions, 535 secs || 26833824 markings, 45419888 edges, 48011 markings/sec, 535 secs
lola: STP completed || 20 tries, 19347356 fired transitions, 540 secs || 27061429 markings, 45804234 edges, 45521 markings/sec, 540 secs
lola: STP completed || 20 tries, 19518148 fired transitions, 545 secs || 27291039 markings, 46195220 edges, 45922 markings/sec, 545 secs
lola: STP completed || 20 tries, 19689472 fired transitions, 550 secs || 27514334 markings, 46573561 edges, 44659 markings/sec, 550 secs
lola: STP completed || 20 tries, 19861904 fired transitions, 555 secs || 27738141 markings, 46960973 edges, 44761 markings/sec, 555 secs
lola: STP completed || 21 tries, 20035314 fired transitions, 560 secs || 27968229 markings, 47373491 edges, 46018 markings/sec, 560 secs
lola: STP completed || 21 tries, 20208098 fired transitions, 565 secs || 28197295 markings, 47794404 edges, 45813 markings/sec, 565 secs
lola: STP completed || 21 tries, 20380137 fired transitions, 570 secs || 28427032 markings, 48207909 edges, 45947 markings/sec, 570 secs
lola: STP completed || 21 tries, 20552357 fired transitions, 575 secs || 28650166 markings, 48597258 edges, 44627 markings/sec, 575 secs
lola: STP completed || 21 tries, 20724318 fired transitions, 580 secs || 28875236 markings, 48974028 edges, 45014 markings/sec, 580 secs
lola: STP completed || 21 tries, 20895989 fired transitions, 585 secs || 29101982 markings, 49383838 edges, 45349 markings/sec, 585 secs
lola: STP completed || 22 tries, 21066314 fired transitions, 590 secs || 29331521 markings, 49806488 edges, 45908 markings/sec, 590 secs
lola: STP completed || 22 tries, 21231642 fired transitions, 595 secs || 29564685 markings, 50214599 edges, 46633 markings/sec, 595 secs
lola: STP completed || 22 tries, 21404529 fired transitions, 600 secs || 29795414 markings, 50638488 edges, 46146 markings/sec, 600 secs
lola: STP completed || 22 tries, 21577522 fired transitions, 605 secs || 30029145 markings, 51064217 edges, 46746 markings/sec, 605 secs
lola: STP completed || 22 tries, 21750631 fired transitions, 610 secs || 30253217 markings, 51458199 edges, 44814 markings/sec, 610 secs
lola: STP completed || 22 tries, 21923570 fired transitions, 615 secs || 30479179 markings, 51856223 edges, 45192 markings/sec, 615 secs
lola: STP completed || 23 tries, 22095847 fired transitions, 620 secs || 30709770 markings, 52263602 edges, 46118 markings/sec, 620 secs
lola: STP completed || 23 tries, 22269321 fired transitions, 625 secs || 30939275 markings, 52669508 edges, 45901 markings/sec, 625 secs
lola: STP completed || 23 tries, 22442432 fired transitions, 630 secs || 31168967 markings, 53085497 edges, 45938 markings/sec, 630 secs
lola: STP completed || 23 tries, 22624492 fired transitions, 635 secs || 31434950 markings, 53554923 edges, 53197 markings/sec, 635 secs
lola: STP completed || 23 tries, 22815029 fired transitions, 640 secs || 31713063 markings, 54067968 edges, 55623 markings/sec, 640 secs
lola: STP completed || 24 tries, 23004538 fired transitions, 645 secs || 31991297 markings, 54584488 edges, 55647 markings/sec, 645 secs
lola: STP completed || 24 tries, 23194968 fired transitions, 650 secs || 32265086 markings, 55079811 edges, 54758 markings/sec, 650 secs
lola: STP completed || 24 tries, 23385212 fired transitions, 655 secs || 32540398 markings, 55585523 edges, 55062 markings/sec, 655 secs
lola: STP completed || 24 tries, 23575990 fired transitions, 660 secs || 32813647 markings, 56066123 edges, 54650 markings/sec, 660 secs
lola: STP completed || 24 tries, 23766073 fired transitions, 665 secs || 33088473 markings, 56563312 edges, 54965 markings/sec, 665 secs
lola: STP completed || 24 tries, 23955697 fired transitions, 670 secs || 33359051 markings, 57029867 edges, 54116 markings/sec, 670 secs
lola: STP completed || 25 tries, 24145750 fired transitions, 675 secs || 33631203 markings, 57527010 edges, 54430 markings/sec, 675 secs
lola: STP completed || 25 tries, 24335768 fired transitions, 680 secs || 33903495 markings, 58012491 edges, 54458 markings/sec, 680 secs
lola: STP completed || 25 tries, 24525152 fired transitions, 685 secs || 34173765 markings, 58493867 edges, 54054 markings/sec, 685 secs
lola: STP completed || 25 tries, 24715160 fired transitions, 690 secs || 34445367 markings, 58986537 edges, 54320 markings/sec, 690 secs
lola: STP completed || 25 tries, 24904973 fired transitions, 695 secs || 34712964 markings, 59455543 edges, 53519 markings/sec, 695 secs
lola: STP completed || 26 tries, 25095433 fired transitions, 700 secs || 34985505 markings, 59928758 edges, 54508 markings/sec, 700 secs
lola: STP completed || 26 tries, 25286120 fired transitions, 705 secs || 35259279 markings, 60430934 edges, 54755 markings/sec, 705 secs
lola: STP completed || 26 tries, 25476200 fired transitions, 710 secs || 35530869 markings, 60906309 edges, 54318 markings/sec, 710 secs
lola: STP completed || 26 tries, 25664442 fired transitions, 715 secs || 35803006 markings, 61373012 edges, 54427 markings/sec, 715 secs
lola: STP completed || 26 tries, 25855013 fired transitions, 720 secs || 36071924 markings, 61828212 edges, 53784 markings/sec, 720 secs
lola: STP completed || 27 tries, 26045297 fired transitions, 725 secs || 36343296 markings, 62323653 edges, 54274 markings/sec, 725 secs
lola: STP completed || 27 tries, 26236873 fired transitions, 730 secs || 36614870 markings, 62780625 edges, 54315 markings/sec, 730 secs
lola: STP completed || 27 tries, 26427373 fired transitions, 735 secs || 36891420 markings, 63283711 edges, 55310 markings/sec, 735 secs
lola: STP completed || 27 tries, 26616966 fired transitions, 740 secs || 37162330 markings, 63773851 edges, 54182 markings/sec, 740 secs
lola: STP completed || 27 tries, 26807027 fired transitions, 745 secs || 37433444 markings, 64246883 edges, 54223 markings/sec, 745 secs
lola: STP completed || 27 tries, 26996469 fired transitions, 750 secs || 37704746 markings, 64729878 edges, 54260 markings/sec, 750 secs
lola: STP completed || 28 tries, 27186634 fired transitions, 755 secs || 37974856 markings, 65204218 edges, 54022 markings/sec, 755 secs
lola: STP completed || 28 tries, 27376369 fired transitions, 760 secs || 38246357 markings, 65699984 edges, 54300 markings/sec, 760 secs
lola: STP completed || 28 tries, 27566824 fired transitions, 765 secs || 38518128 markings, 66190008 edges, 54354 markings/sec, 765 secs
lola: STP completed || 28 tries, 27755437 fired transitions, 770 secs || 38790221 markings, 66657771 edges, 54419 markings/sec, 770 secs
lola: STP completed || 28 tries, 27945583 fired transitions, 775 secs || 39059344 markings, 67113232 edges, 53825 markings/sec, 775 secs
lola: STP completed || 29 tries, 28135611 fired transitions, 780 secs || 39333343 markings, 67618881 edges, 54800 markings/sec, 780 secs
lola: STP completed || 29 tries, 28326766 fired transitions, 785 secs || 39605504 markings, 68113459 edges, 54432 markings/sec, 785 secs
lola: STP completed || 29 tries, 28517225 fired transitions, 790 secs || 39882104 markings, 68605844 edges, 55320 markings/sec, 790 secs
lola: STP completed || 29 tries, 28707805 fired transitions, 795 secs || 40155938 markings, 69109983 edges, 54767 markings/sec, 795 secs
lola: STP completed || 29 tries, 28899016 fired transitions, 800 secs || 40428226 markings, 69590317 edges, 54458 markings/sec, 800 secs
lola: STP completed || 30 tries, 29088924 fired transitions, 805 secs || 40701808 markings, 70082744 edges, 54716 markings/sec, 805 secs
lola: STP completed || 30 tries, 29280166 fired transitions, 810 secs || 40974384 markings, 70577334 edges, 54515 markings/sec, 810 secs
lola: STP completed || 30 tries, 29470822 fired transitions, 815 secs || 41246461 markings, 71058258 edges, 54415 markings/sec, 815 secs
lola: STP completed || 30 tries, 29661426 fired transitions, 820 secs || 41519490 markings, 71545388 edges, 54606 markings/sec, 820 secs
lola: STP completed || 30 tries, 29851807 fired transitions, 825 secs || 41789701 markings, 72019691 edges, 54042 markings/sec, 825 secs
lola: STP completed || 31 tries, 30041496 fired transitions, 830 secs || 42062085 markings, 72504868 edges, 54477 markings/sec, 830 secs
lola: STP completed || 31 tries, 30229890 fired transitions, 835 secs || 42336060 markings, 73013254 edges, 54795 markings/sec, 835 secs
lola: STP completed || 31 tries, 30402519 fired transitions, 840 secs || 42578684 markings, 73455552 edges, 48525 markings/sec, 840 secs
lola: STP completed || 31 tries, 30568853 fired transitions, 845 secs || 42805696 markings, 73861545 edges, 45402 markings/sec, 845 secs
lola: STP completed || 31 tries, 30742402 fired transitions, 850 secs || 43036960 markings, 74293016 edges, 46253 markings/sec, 850 secs
lola: STP completed || 31 tries, 30914383 fired transitions, 855 secs || 43266294 markings, 74721940 edges, 45867 markings/sec, 855 secs
lola: STP completed || 32 tries, 31086556 fired transitions, 860 secs || 43495608 markings, 75139694 edges, 45863 markings/sec, 860 secs
lola: STP completed || 32 tries, 31258253 fired transitions, 865 secs || 43723990 markings, 75558947 edges, 45676 markings/sec, 865 secs
lola: STP completed || 32 tries, 31431058 fired transitions, 870 secs || 43957171 markings, 75996163 edges, 46636 markings/sec, 870 secs
lola: STP completed || 32 tries, 31603705 fired transitions, 875 secs || 44192761 markings, 76434699 edges, 47118 markings/sec, 875 secs
lola: STP completed || 32 tries, 31776696 fired transitions, 880 secs || 44425857 markings, 76860157 edges, 46619 markings/sec, 880 secs
lola: STP completed || 32 tries, 31950012 fired transitions, 885 secs || 44660223 markings, 77294999 edges, 46873 markings/sec, 885 secs
lola: STP completed || 33 tries, 32123287 fired transitions, 890 secs || 44890394 markings, 77715717 edges, 46034 markings/sec, 890 secs
lola: STP completed || 33 tries, 32295268 fired transitions, 895 secs || 45122511 markings, 78149137 edges, 46423 markings/sec, 895 secs
lola: STP completed || 33 tries, 32466111 fired transitions, 900 secs || 45348887 markings, 78516601 edges, 45275 markings/sec, 900 secs
lola: STP completed || 33 tries, 32637537 fired transitions, 905 secs || 45581956 markings, 78898019 edges, 46614 markings/sec, 905 secs
lola: STP completed || 33 tries, 32806172 fired transitions, 910 secs || 45808486 markings, 79267248 edges, 45306 markings/sec, 910 secs
lola: STP completed || 33 tries, 32975266 fired transitions, 915 secs || 46032567 markings, 79628301 edges, 44816 markings/sec, 915 secs
lola: STP completed || 34 tries, 33142900 fired transitions, 920 secs || 46257888 markings, 79995939 edges, 45064 markings/sec, 920 secs
lola: STP completed || 34 tries, 33312990 fired transitions, 925 secs || 46487342 markings, 80378128 edges, 45891 markings/sec, 925 secs
lola: STP completed || 34 tries, 33481474 fired transitions, 930 secs || 46715845 markings, 80758321 edges, 45701 markings/sec, 930 secs
lola: STP completed || 34 tries, 33654213 fired transitions, 935 secs || 46960574 markings, 81164011 edges, 48946 markings/sec, 935 secs
lola: STP completed || 34 tries, 33846306 fired transitions, 940 secs || 47237638 markings, 81633904 edges, 55413 markings/sec, 940 secs
lola: STP completed || 35 tries, 34035545 fired transitions, 945 secs || 47511568 markings, 82073546 edges, 54786 markings/sec, 945 secs
lola: STP completed || 35 tries, 34226708 fired transitions, 950 secs || 47784604 markings, 82517960 edges, 54607 markings/sec, 950 secs
lola: STP completed || 35 tries, 34417680 fired transitions, 955 secs || 48055420 markings, 82983005 edges, 54163 markings/sec, 955 secs
lola: STP completed || 35 tries, 34590740 fired transitions, 960 secs || 48303989 markings, 83400100 edges, 49714 markings/sec, 960 secs
lola: STP completed || 35 tries, 34758314 fired transitions, 965 secs || 48528842 markings, 83771887 edges, 44971 markings/sec, 965 secs
lola: STP completed || 35 tries, 34929010 fired transitions, 970 secs || 48757600 markings, 84147899 edges, 45752 markings/sec, 970 secs
lola: STP completed || 36 tries, 35099718 fired transitions, 975 secs || 48989904 markings, 84550239 edges, 46461 markings/sec, 975 secs
lola: STP completed || 36 tries, 35269736 fired transitions, 980 secs || 49218352 markings, 84931433 edges, 45690 markings/sec, 980 secs
lola: STP completed || 36 tries, 35441145 fired transitions, 985 secs || 49450279 markings, 85337970 edges, 46385 markings/sec, 985 secs
lola: STP completed || 36 tries, 35612370 fired transitions, 990 secs || 49682293 markings, 85733886 edges, 46403 markings/sec, 990 secs
lola: STP completed || 36 tries, 35778436 fired transitions, 995 secs || 49911915 markings, 86132520 edges, 45924 markings/sec, 995 secs
lola: STP completed || 36 tries, 35945730 fired transitions, 1000 secs || 50150203 markings, 86572910 edges, 47658 markings/sec, 1000 secs
lola: STP completed || 37 tries, 36117627 fired transitions, 1005 secs || 50382711 markings, 87016842 edges, 46502 markings/sec, 1005 secs
lola: STP completed || 37 tries, 36296924 fired transitions, 1010 secs || 50641796 markings, 87496134 edges, 51817 markings/sec, 1010 secs
lola: STP completed || 37 tries, 36488368 fired transitions, 1015 secs || 50915905 markings, 87992324 edges, 54822 markings/sec, 1015 secs
lola: STP completed || 37 tries, 36678475 fired transitions, 1020 secs || 51184912 markings, 88473017 edges, 53801 markings/sec, 1020 secs
lola: STP completed || 37 tries, 36859284 fired transitions, 1025 secs || 51448424 markings, 88976836 edges, 52702 markings/sec, 1025 secs
lola: STP completed || 38 tries, 37040808 fired transitions, 1030 secs || 51713837 markings, 89434026 edges, 53083 markings/sec, 1030 secs
lola: STP completed || 38 tries, 37231393 fired transitions, 1035 secs || 51984976 markings, 89922379 edges, 54228 markings/sec, 1035 secs
lola: STP completed || 38 tries, 37422673 fired transitions, 1040 secs || 52257039 markings, 90425643 edges, 54413 markings/sec, 1040 secs
lola: STP completed || 38 tries, 37613736 fired transitions, 1045 secs || 52530021 markings, 90915358 edges, 54596 markings/sec, 1045 secs
lola: STP completed || 38 tries, 37804832 fired transitions, 1050 secs || 52803656 markings, 91431431 edges, 54727 markings/sec, 1050 secs
lola: STP completed || 38 tries, 37994205 fired transitions, 1055 secs || 53073792 markings, 91916189 edges, 54027 markings/sec, 1055 secs
lola: STP completed || 39 tries, 38183767 fired transitions, 1060 secs || 53346943 markings, 92434365 edges, 54630 markings/sec, 1060 secs
lola: STP completed || 39 tries, 38373944 fired transitions, 1065 secs || 53621750 markings, 92932470 edges, 54961 markings/sec, 1065 secs
lola: STP completed || 39 tries, 38564056 fired transitions, 1070 secs || 53893802 markings, 93435208 edges, 54410 markings/sec, 1070 secs
lola: STP completed || 39 tries, 38754350 fired transitions, 1075 secs || 54164595 markings, 93925070 edges, 54159 markings/sec, 1075 secs
lola: STP completed || 39 tries, 38927051 fired transitions, 1080 secs || 54418628 markings, 94386388 edges, 50807 markings/sec, 1080 secs
lola: STP completed || 40 tries, 39097009 fired transitions, 1085 secs || 54649639 markings, 94824424 edges, 46202 markings/sec, 1085 secs
lola: STP completed || 40 tries, 39270032 fired transitions, 1090 secs || 54882245 markings, 95259960 edges, 46521 markings/sec, 1090 secs
lola: STP completed || 40 tries, 39442895 fired transitions, 1095 secs || 55115352 markings, 95697675 edges, 46621 markings/sec, 1095 secs
lola: STP completed || 40 tries, 39615095 fired transitions, 1100 secs || 55345686 markings, 96127550 edges, 46067 markings/sec, 1100 secs
lola: STP completed || 40 tries, 39787038 fired transitions, 1105 secs || 55582298 markings, 96575490 edges, 47322 markings/sec, 1105 secs
lola: STP completed || 40 tries, 39971706 fired transitions, 1110 secs || 55855555 markings, 97093752 edges, 54651 markings/sec, 1110 secs
lola: STP completed || 41 tries, 40162493 fired transitions, 1115 secs || 56126111 markings, 97568592 edges, 54111 markings/sec, 1115 secs
lola: STP completed || 41 tries, 40351264 fired transitions, 1120 secs || 56399141 markings, 98074196 edges, 54606 markings/sec, 1120 secs
lola: STP completed || 41 tries, 40541872 fired transitions, 1125 secs || 56668185 markings, 98571679 edges, 53809 markings/sec, 1125 secs
lola: STP completed || 41 tries, 40732178 fired transitions, 1130 secs || 56941493 markings, 99077391 edges, 54662 markings/sec, 1130 secs
lola: STP completed || 41 tries, 40921534 fired transitions, 1135 secs || 57215967 markings, 99572851 edges, 54895 markings/sec, 1135 secs
lola: STP completed || 42 tries, 41112676 fired transitions, 1140 secs || 57489515 markings, 100079239 edges, 54710 markings/sec, 1140 secs
lola: STP completed || 42 tries, 41299083 fired transitions, 1145 secs || 57758574 markings, 100581035 edges, 53812 markings/sec, 1145 secs
lola: STP completed || 42 tries, 41466842 fired transitions, 1150 secs || 57987712 markings, 100995088 edges, 45828 markings/sec, 1150 secs
lola: STP completed || 42 tries, 41635477 fired transitions, 1155 secs || 58217149 markings, 101409880 edges, 45887 markings/sec, 1155 secs
lola: STP completed || 42 tries, 41805216 fired transitions, 1160 secs || 58444415 markings, 101824307 edges, 45453 markings/sec, 1160 secs
lola: STP completed || 42 tries, 41974714 fired transitions, 1165 secs || 58676209 markings, 102242900 edges, 46359 markings/sec, 1165 secs
lola: STP completed || 43 tries, 42145910 fired transitions, 1170 secs || 58906357 markings, 102659356 edges, 46030 markings/sec, 1170 secs
lola: STP completed || 43 tries, 42318721 fired transitions, 1175 secs || 59136342 markings, 103093059 edges, 45997 markings/sec, 1175 secs
lola: STP completed || 43 tries, 42493631 fired transitions, 1180 secs || 59394380 markings, 103558119 edges, 51608 markings/sec, 1180 secs
lola: STP completed || 43 tries, 42683678 fired transitions, 1185 secs || 59663928 markings, 104049710 edges, 53910 markings/sec, 1185 secs
lola: STP completed || 43 tries, 42873391 fired transitions, 1190 secs || 59934643 markings, 104560299 edges, 54143 markings/sec, 1190 secs
lola: STP completed || 44 tries, 43064606 fired transitions, 1195 secs || 60212149 markings, 105071883 edges, 55501 markings/sec, 1195 secs
lola: STP completed || 44 tries, 43254223 fired transitions, 1200 secs || 60487427 markings, 105571860 edges, 55056 markings/sec, 1200 secs
lola: STP completed || 44 tries, 43444729 fired transitions, 1205 secs || 60759759 markings, 106079599 edges, 54466 markings/sec, 1205 secs
lola: STP completed || 44 tries, 43634471 fired transitions, 1210 secs || 61028417 markings, 106552227 edges, 53732 markings/sec, 1210 secs
lola: STP completed || 44 tries, 43825091 fired transitions, 1215 secs || 61299740 markings, 107051767 edges, 54265 markings/sec, 1215 secs
lola: STP completed || 45 tries, 44014786 fired transitions, 1220 secs || 61576367 markings, 107566372 edges, 55325 markings/sec, 1220 secs
lola: STP completed || 45 tries, 44205291 fired transitions, 1225 secs || 61848676 markings, 108076958 edges, 54462 markings/sec, 1225 secs
lola: STP completed || 45 tries, 44395653 fired transitions, 1230 secs || 62122219 markings, 108590654 edges, 54709 markings/sec, 1230 secs
lola: STP completed || 45 tries, 44586485 fired transitions, 1235 secs || 62393751 markings, 109079536 edges, 54306 markings/sec, 1235 secs
lola: STP completed || 45 tries, 44775814 fired transitions, 1240 secs || 62664619 markings, 109568014 edges, 54174 markings/sec, 1240 secs
lola: STP completed || 45 tries, 44966639 fired transitions, 1245 secs || 62937344 markings, 110062956 edges, 54545 markings/sec, 1245 secs
lola: STP completed || 46 tries, 45157645 fired transitions, 1250 secs || 63211965 markings, 110579080 edges, 54924 markings/sec, 1250 secs
lola: STP completed || 46 tries, 45347512 fired transitions, 1255 secs || 63484911 markings, 111088014 edges, 54589 markings/sec, 1255 secs
lola: STP completed || 46 tries, 45516592 fired transitions, 1260 secs || 63727660 markings, 111527655 edges, 48550 markings/sec, 1260 secs
lola: STP completed || 46 tries, 45687292 fired transitions, 1265 secs || 63966746 markings, 111959867 edges, 47817 markings/sec, 1265 secs
lola: STP completed || 46 tries, 45862926 fired transitions, 1270 secs || 64234706 markings, 112434892 edges, 53592 markings/sec, 1270 secs
lola: STP completed || 47 tries, 46032494 fired transitions, 1275 secs || 64468620 markings, 112848385 edges, 46783 markings/sec, 1275 secs
lola: STP completed || 47 tries, 46201609 fired transitions, 1280 secs || 64697917 markings, 113253165 edges, 45859 markings/sec, 1280 secs
lola: STP completed || 47 tries, 46370938 fired transitions, 1285 secs || 64927278 markings, 113664992 edges, 45872 markings/sec, 1285 secs
lola: STP completed || 47 tries, 46541088 fired transitions, 1290 secs || 65151750 markings, 114076779 edges, 44894 markings/sec, 1290 secs
lola: STP completed || 47 tries, 46712848 fired transitions, 1295 secs || 65379021 markings, 114494553 edges, 45454 markings/sec, 1295 secs
lola: STP completed || 47 tries, 46886676 fired transitions, 1300 secs || 65606155 markings, 114898421 edges, 45427 markings/sec, 1300 secs
lola: STP completed || 48 tries, 47058164 fired transitions, 1305 secs || 65833544 markings, 115306456 edges, 45478 markings/sec, 1305 secs
lola: STP completed || 48 tries, 47228150 fired transitions, 1310 secs || 66056280 markings, 115672011 edges, 44547 markings/sec, 1310 secs
lola: STP completed || 48 tries, 47399139 fired transitions, 1315 secs || 66282204 markings, 116058716 edges, 45185 markings/sec, 1315 secs
lola: STP completed || 48 tries, 47569559 fired transitions, 1320 secs || 66504272 markings, 116433128 edges, 44414 markings/sec, 1320 secs
lola: STP completed || 48 tries, 47739111 fired transitions, 1325 secs || 66728730 markings, 116815103 edges, 44892 markings/sec, 1325 secs
lola: STP completed || 48 tries, 47909638 fired transitions, 1330 secs || 66951099 markings, 117178368 edges, 44474 markings/sec, 1330 secs
lola: STP completed || 49 tries, 48081071 fired transitions, 1335 secs || 67180724 markings, 117585860 edges, 45925 markings/sec, 1335 secs
lola: STP completed || 49 tries, 48252999 fired transitions, 1340 secs || 67408597 markings, 117991467 edges, 45575 markings/sec, 1340 secs
lola: STP completed || 49 tries, 48423442 fired transitions, 1345 secs || 67632847 markings, 118359902 edges, 44850 markings/sec, 1345 secs
lola: STP completed || 49 tries, 48594164 fired transitions, 1350 secs || 67861463 markings, 118741942 edges, 45723 markings/sec, 1350 secs
lola: STP completed || 49 tries, 48766261 fired transitions, 1355 secs || 68094163 markings, 119146295 edges, 46540 markings/sec, 1355 secs
lola: STP completed || 49 tries, 48937731 fired transitions, 1360 secs || 68324653 markings, 119533517 edges, 46098 markings/sec, 1360 secs
lola: STP completed || 50 tries, 49110765 fired transitions, 1365 secs || 68554467 markings, 119948544 edges, 45963 markings/sec, 1365 secs
lola: STP completed || 50 tries, 49283250 fired transitions, 1370 secs || 68786164 markings, 120374254 edges, 46339 markings/sec, 1370 secs
lola: STP completed || 50 tries, 49456033 fired transitions, 1375 secs || 69018550 markings, 120797988 edges, 46477 markings/sec, 1375 secs
lola: STP completed || 50 tries, 49628961 fired transitions, 1380 secs || 69255403 markings, 121246088 edges, 47371 markings/sec, 1380 secs
lola: STP completed || 50 tries, 49800774 fired transitions, 1385 secs || 69486055 markings, 121658758 edges, 46130 markings/sec, 1385 secs
lola: STP completed || 50 tries, 49974780 fired transitions, 1390 secs || 69703015 markings, 122051932 edges, 43392 markings/sec, 1390 secs
lola: STP completed || 51 tries, 50145172 fired transitions, 1395 secs || 69935334 markings, 122484728 edges, 46464 markings/sec, 1395 secs
lola: STP completed || 51 tries, 50314564 fired transitions, 1400 secs || 70163166 markings, 122906765 edges, 45566 markings/sec, 1400 secs
lola: STP completed || 51 tries, 50483110 fired transitions, 1405 secs || 70386691 markings, 123289018 edges, 44705 markings/sec, 1405 secs
lola: STP completed || 51 tries, 50655500 fired transitions, 1410 secs || 70616819 markings, 123683316 edges, 46026 markings/sec, 1410 secs
lola: STP completed || 51 tries, 50826091 fired transitions, 1415 secs || 70853283 markings, 124111466 edges, 47293 markings/sec, 1415 secs
lola: STP completed || 52 tries, 51015665 fired transitions, 1420 secs || 71121070 markings, 124600175 edges, 53557 markings/sec, 1420 secs
lola: STP completed || 52 tries, 51206724 fired transitions, 1425 secs || 71392593 markings, 125097320 edges, 54305 markings/sec, 1425 secs
lola: STP completed || 52 tries, 51397617 fired transitions, 1430 secs || 71666750 markings, 125614377 edges, 54831 markings/sec, 1430 secs
lola: STP completed || 52 tries, 51589743 fired transitions, 1435 secs || 71936189 markings, 126095355 edges, 53888 markings/sec, 1435 secs
lola: STP completed || 52 tries, 51779299 fired transitions, 1440 secs || 72205426 markings, 126596392 edges, 53847 markings/sec, 1440 secs
lola: STP completed || 52 tries, 51969138 fired transitions, 1445 secs || 72478436 markings, 127114993 edges, 54602 markings/sec, 1445 secs
lola: STP completed || 53 tries, 52145020 fired transitions, 1450 secs || 72734975 markings, 127598724 edges, 51308 markings/sec, 1450 secs
lola: STP completed || 53 tries, 52316764 fired transitions, 1455 secs || 72966767 markings, 128028704 edges, 46358 markings/sec, 1455 secs
lola: STP completed || 53 tries, 52488488 fired transitions, 1460 secs || 73196107 markings, 128445600 edges, 45868 markings/sec, 1460 secs
lola: STP completed || 53 tries, 52659775 fired transitions, 1465 secs || 73426712 markings, 128886083 edges, 46121 markings/sec, 1465 secs
lola: STP completed || 53 tries, 52833042 fired transitions, 1470 secs || 73658730 markings, 129323765 edges, 46404 markings/sec, 1470 secs
lola: STP completed || 54 tries, 53002709 fired transitions, 1475 secs || 73897197 markings, 129740576 edges, 47693 markings/sec, 1475 secs
lola: STP completed || 54 tries, 53192816 fired transitions, 1480 secs || 74168193 markings, 130212018 edges, 54199 markings/sec, 1480 secs
lola: STP completed || 54 tries, 53358661 fired transitions, 1485 secs || 74398956 markings, 130618162 edges, 46153 markings/sec, 1485 secs
lola: STP completed || 54 tries, 53534335 fired transitions, 1490 secs || 74649226 markings, 131044386 edges, 50054 markings/sec, 1490 secs
lola: STP completed || 54 tries, 53724014 fired transitions, 1495 secs || 74924635 markings, 131534055 edges, 55082 markings/sec, 1495 secs
lola: STP completed || 54 tries, 53914973 fired transitions, 1500 secs || 75199859 markings, 132034632 edges, 55045 markings/sec, 1500 secs
lola: STP completed || 55 tries, 54105621 fired transitions, 1505 secs || 75470810 markings, 132491908 edges, 54190 markings/sec, 1505 secs
lola: STP completed || 55 tries, 54280772 fired transitions, 1510 secs || 75729930 markings, 132954645 edges, 51824 markings/sec, 1510 secs
lola: STP completed || 55 tries, 54470238 fired transitions, 1515 secs || 76000977 markings, 133415628 edges, 54209 markings/sec, 1515 secs
lola: STP completed || 55 tries, 54660146 fired transitions, 1520 secs || 76272851 markings, 133902166 edges, 54375 markings/sec, 1520 secs
lola: STP completed || 55 tries, 54850802 fired transitions, 1525 secs || 76543338 markings, 134342899 edges, 54097 markings/sec, 1525 secs
lola: STP completed || 56 tries, 55040471 fired transitions, 1530 secs || 76817315 markings, 134817897 edges, 54795 markings/sec, 1530 secs
lola: STP completed || 56 tries, 55230588 fired transitions, 1535 secs || 77089685 markings, 135296851 edges, 54474 markings/sec, 1535 secs
lola: STP completed || 56 tries, 55422315 fired transitions, 1540 secs || 77365960 markings, 135797195 edges, 55255 markings/sec, 1540 secs
lola: STP completed || 56 tries, 55612565 fired transitions, 1545 secs || 77642173 markings, 136301545 edges, 55243 markings/sec, 1545 secs
lola: STP completed || 56 tries, 55802698 fired transitions, 1550 secs || 77916785 markings, 136778038 edges, 54922 markings/sec, 1550 secs
lola: STP completed || 56 tries, 55993709 fired transitions, 1555 secs || 78186357 markings, 137239531 edges, 53914 markings/sec, 1555 secs
lola: STP completed || 57 tries, 56183625 fired transitions, 1560 secs || 78460725 markings, 137737703 edges, 54874 markings/sec, 1560 secs
lola: STP completed || 57 tries, 56373488 fired transitions, 1565 secs || 78736426 markings, 138250811 edges, 55140 markings/sec, 1565 secs
lola: STP completed || 57 tries, 56563225 fired transitions, 1570 secs || 79007278 markings, 138755287 edges, 54170 markings/sec, 1570 secs
lola: STP completed || 57 tries, 56754532 fired transitions, 1575 secs || 79280709 markings, 139256280 edges, 54686 markings/sec, 1575 secs
lola: STP completed || 57 tries, 56945262 fired transitions, 1580 secs || 79553889 markings, 139774253 edges, 54636 markings/sec, 1580 secs
lola: STP completed || 58 tries, 57136918 fired transitions, 1585 secs || 79826075 markings, 140268564 edges, 54437 markings/sec, 1585 secs
lola: STP completed || 58 tries, 57327458 fired transitions, 1590 secs || 80096211 markings, 140752549 edges, 54027 markings/sec, 1590 secs
lola: STP completed || 58 tries, 57518254 fired transitions, 1595 secs || 80369159 markings, 141229160 edges, 54590 markings/sec, 1595 secs
lola: STP completed || 58 tries, 57707806 fired transitions, 1600 secs || 80645763 markings, 141750828 edges, 55321 markings/sec, 1600 secs
lola: STP completed || 58 tries, 57897266 fired transitions, 1605 secs || 80919077 markings, 142241908 edges, 54663 markings/sec, 1605 secs
lola: STP completed || 59 tries, 58086032 fired transitions, 1610 secs || 81193439 markings, 142721660 edges, 54872 markings/sec, 1610 secs
lola: STP completed || 59 tries, 58275433 fired transitions, 1615 secs || 81468421 markings, 143205466 edges, 54996 markings/sec, 1615 secs
lola: STP completed || 59 tries, 58465326 fired transitions, 1620 secs || 81738183 markings, 143684281 edges, 53952 markings/sec, 1620 secs
lola: STP completed || 59 tries, 58654345 fired transitions, 1625 secs || 82011977 markings, 144188273 edges, 54759 markings/sec, 1625 secs
lola: STP completed || 59 tries, 58843663 fired transitions, 1630 secs || 82285419 markings, 144701194 edges, 54688 markings/sec, 1630 secs
lola: STP completed || 60 tries, 59033487 fired transitions, 1635 secs || 82561932 markings, 145229121 edges, 55303 markings/sec, 1635 secs
lola: STP completed || 60 tries, 59224446 fired transitions, 1640 secs || 82832957 markings, 145688996 edges, 54205 markings/sec, 1640 secs
lola: STP completed || 60 tries, 59414761 fired transitions, 1645 secs || 83107341 markings, 146208090 edges, 54877 markings/sec, 1645 secs
lola: STP completed || 60 tries, 59604858 fired transitions, 1650 secs || 83380936 markings, 146730042 edges, 54719 markings/sec, 1650 secs
lola: STP completed || 60 tries, 59795285 fired transitions, 1655 secs || 83654509 markings, 147240279 edges, 54715 markings/sec, 1655 secs
lola: STP completed || 60 tries, 59984788 fired transitions, 1660 secs || 83926220 markings, 147739046 edges, 54342 markings/sec, 1660 secs
lola: STP completed || 61 tries, 60174777 fired transitions, 1665 secs || 84200715 markings, 148247216 edges, 54899 markings/sec, 1665 secs
lola: STP completed || 61 tries, 60364437 fired transitions, 1670 secs || 84474204 markings, 148718614 edges, 54698 markings/sec, 1670 secs
lola: STP completed || 61 tries, 60552934 fired transitions, 1675 secs || 84749151 markings, 149223688 edges, 54989 markings/sec, 1675 secs
lola: STP completed || 61 tries, 60742905 fired transitions, 1680 secs || 85022169 markings, 149738524 edges, 54604 markings/sec, 1680 secs
lola: STP completed || 61 tries, 60932996 fired transitions, 1685 secs || 85294734 markings, 150256782 edges, 54513 markings/sec, 1685 secs
lola: STP completed || 62 tries, 61124185 fired transitions, 1690 secs || 85570843 markings, 150779824 edges, 55222 markings/sec, 1690 secs
lola: STP completed || 62 tries, 61313321 fired transitions, 1695 secs || 85841200 markings, 151286743 edges, 54071 markings/sec, 1695 secs
lola: STP completed || 62 tries, 61503720 fired transitions, 1700 secs || 86113747 markings, 151779076 edges, 54509 markings/sec, 1700 secs
lola: STP completed || 62 tries, 61693806 fired transitions, 1705 secs || 86382289 markings, 152287497 edges, 53708 markings/sec, 1705 secs
lola: STP completed || 62 tries, 61879104 fired transitions, 1710 secs || 86652517 markings, 152794651 edges, 54046 markings/sec, 1710 secs
lola: STP completed || 63 tries, 62050801 fired transitions, 1715 secs || 86882132 markings, 153211688 edges, 45923 markings/sec, 1715 secs
lola: STP completed || 63 tries, 62223420 fired transitions, 1720 secs || 87114904 markings, 153653667 edges, 46554 markings/sec, 1720 secs
lola: STP completed || 63 tries, 62395795 fired transitions, 1725 secs || 87346114 markings, 154070368 edges, 46242 markings/sec, 1725 secs
lola: STP completed || 63 tries, 62567376 fired transitions, 1730 secs || 87578707 markings, 154505880 edges, 46519 markings/sec, 1730 secs
lola: STP completed || 63 tries, 62738445 fired transitions, 1735 secs || 87810001 markings, 154921068 edges, 46259 markings/sec, 1735 secs
lola: STP completed || 63 tries, 62921526 fired transitions, 1740 secs || 88076247 markings, 155375452 edges, 53249 markings/sec, 1740 secs
lola: STP completed || 64 tries, 63112545 fired transitions, 1745 secs || 88348985 markings, 155865428 edges, 54548 markings/sec, 1745 secs
lola: STP completed || 64 tries, 63303348 fired transitions, 1750 secs || 88620345 markings, 156376224 edges, 54272 markings/sec, 1750 secs
lola: STP completed || 64 tries, 63494094 fired transitions, 1755 secs || 88893844 markings, 156863668 edges, 54700 markings/sec, 1755 secs
lola: STP completed || 64 tries, 63685046 fired transitions, 1760 secs || 89162885 markings, 157323029 edges, 53808 markings/sec, 1760 secs
lola: STP completed || 64 tries, 63875978 fired transitions, 1765 secs || 89433984 markings, 157786621 edges, 54220 markings/sec, 1765 secs
lola: STP completed || 65 tries, 64066360 fired transitions, 1770 secs || 89706287 markings, 158281475 edges, 54461 markings/sec, 1770 secs
lola: STP completed || 65 tries, 64256405 fired transitions, 1775 secs || 89978918 markings, 158787409 edges, 54526 markings/sec, 1775 secs
lola: STP completed || 65 tries, 64446399 fired transitions, 1780 secs || 90253597 markings, 159310273 edges, 54936 markings/sec, 1780 secs
lola: STP completed || 65 tries, 64636946 fired transitions, 1785 secs || 90523416 markings, 159770503 edges, 53964 markings/sec, 1785 secs
lola: STP completed || 65 tries, 64827415 fired transitions, 1790 secs || 90796201 markings, 160253461 edges, 54557 markings/sec, 1790 secs
lola: STP completed || 66 tries, 65017546 fired transitions, 1795 secs || 91071878 markings, 160768505 edges, 55135 markings/sec, 1795 secs
lola: STP completed || 66 tries, 65206305 fired transitions, 1800 secs || 91344857 markings, 161269064 edges, 54596 markings/sec, 1800 secs
lola: STP completed || 66 tries, 65396823 fired transitions, 1805 secs || 91617550 markings, 161776629 edges, 54539 markings/sec, 1805 secs
lola: STP completed || 66 tries, 65586139 fired transitions, 1810 secs || 91889573 markings, 162270950 edges, 54405 markings/sec, 1810 secs
lola: STP completed || 66 tries, 65776673 fired transitions, 1815 secs || 92160615 markings, 162786250 edges, 54208 markings/sec, 1815 secs
lola: STP completed || 66 tries, 65967129 fired transitions, 1820 secs || 92431449 markings, 163275328 edges, 54167 markings/sec, 1820 secs
lola: STP completed || 67 tries, 66156668 fired transitions, 1825 secs || 92705670 markings, 163768117 edges, 54844 markings/sec, 1825 secs
lola: STP completed || 67 tries, 66347566 fired transitions, 1830 secs || 92983303 markings, 164288727 edges, 55527 markings/sec, 1830 secs
lola: STP completed || 67 tries, 66538293 fired transitions, 1835 secs || 93255064 markings, 164783187 edges, 54352 markings/sec, 1835 secs
lola: STP completed || 67 tries, 66728530 fired transitions, 1840 secs || 93530067 markings, 165292648 edges, 55001 markings/sec, 1840 secs
lola: STP completed || 67 tries, 66919708 fired transitions, 1845 secs || 93802771 markings, 165800373 edges, 54541 markings/sec, 1845 secs
lola: STP completed || 68 tries, 67110311 fired transitions, 1850 secs || 94076861 markings, 166299475 edges, 54818 markings/sec, 1850 secs
lola: STP completed || 68 tries, 67299474 fired transitions, 1855 secs || 94346647 markings, 166770156 edges, 53957 markings/sec, 1855 secs
lola: STP completed || 68 tries, 67491151 fired transitions, 1860 secs || 94617721 markings, 167253788 edges, 54215 markings/sec, 1860 secs
lola: STP completed || 68 tries, 67681425 fired transitions, 1865 secs || 94889372 markings, 167734118 edges, 54330 markings/sec, 1865 secs
lola: STP completed || 68 tries, 67870962 fired transitions, 1870 secs || 95161243 markings, 168250107 edges, 54374 markings/sec, 1870 secs
lola: STP completed || 69 tries, 68060831 fired transitions, 1875 secs || 95429780 markings, 168738568 edges, 53707 markings/sec, 1875 secs
lola: STP completed || 69 tries, 68250535 fired transitions, 1880 secs || 95702709 markings, 169242370 edges, 54586 markings/sec, 1880 secs
lola: STP completed || 69 tries, 68417055 fired transitions, 1885 secs || 95939129 markings, 169673522 edges, 47284 markings/sec, 1885 secs
lola: STP completed || 69 tries, 68581910 fired transitions, 1890 secs || 96167089 markings, 170057476 edges, 45592 markings/sec, 1890 secs
lola: STP completed || 69 tries, 68754943 fired transitions, 1895 secs || 96402913 markings, 170499407 edges, 47165 markings/sec, 1895 secs
lola: STP completed || 69 tries, 68925244 fired transitions, 1900 secs || 96631724 markings, 170909656 edges, 45762 markings/sec, 1900 secs
lola: STP completed || 70 tries, 69099226 fired transitions, 1905 secs || 96881490 markings, 171350714 edges, 49953 markings/sec, 1905 secs
lola: STP completed || 70 tries, 69289692 fired transitions, 1910 secs || 97153043 markings, 171823723 edges, 54311 markings/sec, 1910 secs
lola: STP completed || 70 tries, 69478784 fired transitions, 1915 secs || 97425570 markings, 172340886 edges, 54505 markings/sec, 1915 secs
lola: STP completed || 70 tries, 69670178 fired transitions, 1920 secs || 97697335 markings, 172841973 edges, 54353 markings/sec, 1920 secs
lola: STP completed || 70 tries, 69858221 fired transitions, 1925 secs || 97967000 markings, 173323696 edges, 53933 markings/sec, 1925 secs
lola: STP completed || 71 tries, 70048531 fired transitions, 1930 secs || 98241269 markings, 173823382 edges, 54854 markings/sec, 1930 secs
lola: STP completed || 71 tries, 70221089 fired transitions, 1935 secs || 98489437 markings, 174281384 edges, 49634 markings/sec, 1935 secs
lola: STP completed || 71 tries, 70392150 fired transitions, 1940 secs || 98720823 markings, 174704753 edges, 46277 markings/sec, 1940 secs
lola: STP completed || 71 tries, 70569484 fired transitions, 1945 secs || 98975662 markings, 175175257 edges, 50968 markings/sec, 1945 secs
lola: STP completed || 71 tries, 70759285 fired transitions, 1950 secs || 99251231 markings, 175711062 edges, 55114 markings/sec, 1950 secs
lola: STP completed || 71 tries, 70949686 fired transitions, 1955 secs || 99521539 markings, 176220413 edges, 54062 markings/sec, 1955 secs
lola: STP completed || 72 tries, 71139549 fired transitions, 1960 secs || 99794482 markings, 176732877 edges, 54589 markings/sec, 1960 secs
lola: STP completed || 72 tries, 71329883 fired transitions, 1965 secs || 100062176 markings, 177225970 edges, 53539 markings/sec, 1965 secs
lola: STP completed || 72 tries, 71520254 fired transitions, 1970 secs || 100332248 markings, 177730344 edges, 54014 markings/sec, 1970 secs
lola: STP completed || 72 tries, 71711115 fired transitions, 1975 secs || 100604377 markings, 178246164 edges, 54426 markings/sec, 1975 secs
lola: STP completed || 72 tries, 71902463 fired transitions, 1980 secs || 100875682 markings, 178753705 edges, 54261 markings/sec, 1980 secs
lola: STP completed || 73 tries, 72093600 fired transitions, 1985 secs || 101151550 markings, 179285477 edges, 55174 markings/sec, 1985 secs
lola: STP completed || 73 tries, 72283316 fired transitions, 1990 secs || 101422199 markings, 179772227 edges, 54130 markings/sec, 1990 secs
lola: STP completed || 73 tries, 72474649 fired transitions, 1995 secs || 101692523 markings, 180266613 edges, 54065 markings/sec, 1995 secs
lola: STP completed || 73 tries, 72664904 fired transitions, 2000 secs || 101970148 markings, 180793063 edges, 55525 markings/sec, 2000 secs
lola: STP completed || 73 tries, 72856884 fired transitions, 2005 secs || 102242031 markings, 181278039 edges, 54377 markings/sec, 2005 secs
lola: STP completed || 74 tries, 73048524 fired transitions, 2010 secs || 102514669 markings, 181792242 edges, 54528 markings/sec, 2010 secs
lola: STP completed || 74 tries, 73239283 fired transitions, 2015 secs || 102783551 markings, 182304074 edges, 53776 markings/sec, 2015 secs
lola: STP completed || 74 tries, 73429764 fired transitions, 2020 secs || 103049768 markings, 182780096 edges, 53243 markings/sec, 2020 secs
lola: STP completed || 74 tries, 73619451 fired transitions, 2025 secs || 103319210 markings, 183249974 edges, 53888 markings/sec, 2025 secs
lola: STP completed || 74 tries, 73809476 fired transitions, 2030 secs || 103594648 markings, 183763329 edges, 55088 markings/sec, 2030 secs
lola: STP completed || 74 tries, 73999866 fired transitions, 2035 secs || 103864083 markings, 184248792 edges, 53887 markings/sec, 2035 secs
lola: STP completed || 75 tries, 74189709 fired transitions, 2040 secs || 104134936 markings, 184758204 edges, 54171 markings/sec, 2040 secs
lola: STP completed || 75 tries, 74380716 fired transitions, 2045 secs || 104407027 markings, 185258699 edges, 54418 markings/sec, 2045 secs
lola: STP completed || 75 tries, 74571365 fired transitions, 2050 secs || 104680214 markings, 185784040 edges, 54637 markings/sec, 2050 secs
lola: STP completed || 75 tries, 74761482 fired transitions, 2055 secs || 104956502 markings, 186295469 edges, 55258 markings/sec, 2055 secs
lola: STP completed || 75 tries, 74952369 fired transitions, 2060 secs || 105231154 markings, 186825301 edges, 54930 markings/sec, 2060 secs
lola: STP completed || 76 tries, 75143809 fired transitions, 2065 secs || 105501471 markings, 187338253 edges, 54063 markings/sec, 2065 secs
lola: STP completed || 76 tries, 75334035 fired transitions, 2070 secs || 105776327 markings, 187862690 edges, 54971 markings/sec, 2070 secs
lola: STP completed || 76 tries, 75526240 fired transitions, 2075 secs || 106050455 markings, 188328420 edges, 54826 markings/sec, 2075 secs
lola: STP completed || 76 tries, 75716657 fired transitions, 2080 secs || 106318981 markings, 188786656 edges, 53705 markings/sec, 2080 secs
lola: STP completed || 76 tries, 75905359 fired transitions, 2085 secs || 106593013 markings, 189281160 edges, 54806 markings/sec, 2085 secs
lola: STP completed || 77 tries, 76095556 fired transitions, 2090 secs || 106865037 markings, 189788518 edges, 54405 markings/sec, 2090 secs
lola: STP completed || 77 tries, 76285998 fired transitions, 2095 secs || 107137552 markings, 190290757 edges, 54503 markings/sec, 2095 secs
lola: STP completed || 77 tries, 76477362 fired transitions, 2100 secs || 107405594 markings, 190782682 edges, 53608 markings/sec, 2100 secs
lola: STP completed || 77 tries, 76668446 fired transitions, 2105 secs || 107679311 markings, 191289368 edges, 54743 markings/sec, 2105 secs
lola: STP completed || 77 tries, 76860213 fired transitions, 2110 secs || 107953118 markings, 191806132 edges, 54761 markings/sec, 2110 secs
lola: STP completed || 78 tries, 77050929 fired transitions, 2115 secs || 108225557 markings, 192306836 edges, 54488 markings/sec, 2115 secs
lola: STP completed || 78 tries, 77240772 fired transitions, 2120 secs || 108498637 markings, 192805144 edges, 54616 markings/sec, 2120 secs
lola: STP completed || 78 tries, 77430593 fired transitions, 2125 secs || 108769224 markings, 193284195 edges, 54117 markings/sec, 2125 secs
lola: STP completed || 78 tries, 77621506 fired transitions, 2130 secs || 109040837 markings, 193792549 edges, 54323 markings/sec, 2130 secs
lola: STP completed || 78 tries, 77811732 fired transitions, 2135 secs || 109310370 markings, 194302940 edges, 53907 markings/sec, 2135 secs
lola: STP completed || 79 tries, 78003664 fired transitions, 2140 secs || 109581643 markings, 194809442 edges, 54255 markings/sec, 2140 secs
lola: STP completed || 79 tries, 78194120 fired transitions, 2145 secs || 109853275 markings, 195303102 edges, 54326 markings/sec, 2145 secs
lola: STP completed || 79 tries, 78384671 fired transitions, 2150 secs || 110126041 markings, 195824650 edges, 54553 markings/sec, 2150 secs
lola: STP completed || 79 tries, 78574563 fired transitions, 2155 secs || 110400883 markings, 196339378 edges, 54968 markings/sec, 2155 secs
lola: STP completed || 79 tries, 78764131 fired transitions, 2160 secs || 110675322 markings, 196849594 edges, 54888 markings/sec, 2160 secs
lola: STP completed || 79 tries, 78954212 fired transitions, 2165 secs || 110947202 markings, 197352361 edges, 54376 markings/sec, 2165 secs
lola: STP completed || 80 tries, 79143453 fired transitions, 2170 secs || 111220423 markings, 197857810 edges, 54644 markings/sec, 2170 secs
lola: STP completed || 80 tries, 79333766 fired transitions, 2175 secs || 111496330 markings, 198378664 edges, 55181 markings/sec, 2175 secs
lola: STP completed || 80 tries, 79524199 fired transitions, 2180 secs || 111776386 markings, 198855942 edges, 56011 markings/sec, 2180 secs
lola: STP completed || 80 tries, 79713153 fired transitions, 2185 secs || 112051256 markings, 199307699 edges, 54974 markings/sec, 2185 secs
lola: STP completed || 80 tries, 79901826 fired transitions, 2190 secs || 112320346 markings, 199786569 edges, 53818 markings/sec, 2190 secs
lola: STP completed || 81 tries, 80092174 fired transitions, 2195 secs || 112595915 markings, 200285732 edges, 55114 markings/sec, 2195 secs
lola: STP completed || 81 tries, 80282065 fired transitions, 2200 secs || 112866205 markings, 200793088 edges, 54058 markings/sec, 2200 secs
lola: STP completed || 81 tries, 80472076 fired transitions, 2205 secs || 113137794 markings, 201285033 edges, 54318 markings/sec, 2205 secs
lola: STP completed || 81 tries, 80662204 fired transitions, 2210 secs || 113414393 markings, 201805466 edges, 55320 markings/sec, 2210 secs
lola: STP completed || 81 tries, 80852225 fired transitions, 2215 secs || 113686744 markings, 202330178 edges, 54470 markings/sec, 2215 secs
lola: STP completed || 82 tries, 81042138 fired transitions, 2220 secs || 113958965 markings, 202838944 edges, 54444 markings/sec, 2220 secs
lola: STP completed || 82 tries, 81233117 fired transitions, 2225 secs || 114228509 markings, 203349078 edges, 53909 markings/sec, 2225 secs
lola: STP completed || 82 tries, 81424152 fired transitions, 2230 secs || 114498260 markings, 203827275 edges, 53950 markings/sec, 2230 secs
lola: STP completed || 82 tries, 81597061 fired transitions, 2235 secs || 114706847 markings, 204210047 edges, 41717 markings/sec, 2235 secs
lola: STP completed || 82 tries, 81768929 fired transitions, 2240 secs || 114939578 markings, 204639662 edges, 46546 markings/sec, 2240 secs
lola: STP completed || 82 tries, 81940388 fired transitions, 2245 secs || 115170677 markings, 205069633 edges, 46220 markings/sec, 2245 secs
lola: STP completed || 83 tries, 82112015 fired transitions, 2250 secs || 115401887 markings, 205489676 edges, 46242 markings/sec, 2250 secs
lola: STP completed || 83 tries, 82284088 fired transitions, 2255 secs || 115636491 markings, 205928113 edges, 46921 markings/sec, 2255 secs
lola: STP completed || 83 tries, 82455531 fired transitions, 2260 secs || 115869424 markings, 206354859 edges, 46587 markings/sec, 2260 secs
lola: STP completed || 83 tries, 82627378 fired transitions, 2265 secs || 116102291 markings, 206796931 edges, 46573 markings/sec, 2265 secs
lola: STP completed || 83 tries, 82800422 fired transitions, 2270 secs || 116334950 markings, 207237068 edges, 46532 markings/sec, 2270 secs
lola: STP completed || 83 tries, 82973599 fired transitions, 2275 secs || 116567729 markings, 207680630 edges, 46556 markings/sec, 2275 secs
lola: STP completed || 84 tries, 83146142 fired transitions, 2280 secs || 116799994 markings, 208104409 edges, 46453 markings/sec, 2280 secs
lola: STP completed || 84 tries, 83316776 fired transitions, 2285 secs || 117025616 markings, 208480559 edges, 45124 markings/sec, 2285 secs
lola: STP completed || 84 tries, 83486321 fired transitions, 2290 secs || 117260856 markings, 208914561 edges, 47048 markings/sec, 2290 secs
lola: STP completed || 84 tries, 83655975 fired transitions, 2295 secs || 117493287 markings, 209345517 edges, 46486 markings/sec, 2295 secs
lola: STP completed || 84 tries, 83826891 fired transitions, 2300 secs || 117725833 markings, 209762780 edges, 46509 markings/sec, 2300 secs
lola: STP completed || 84 tries, 83999428 fired transitions, 2305 secs || 117960075 markings, 210207990 edges, 46848 markings/sec, 2305 secs
lola: STP completed || 85 tries, 84171417 fired transitions, 2310 secs || 118192560 markings, 210657536 edges, 46497 markings/sec, 2310 secs
lola: STP completed || 85 tries, 84343479 fired transitions, 2315 secs || 118421502 markings, 211101673 edges, 45788 markings/sec, 2315 secs
lola: STP completed || 85 tries, 84515377 fired transitions, 2320 secs || 118651426 markings, 211536367 edges, 45985 markings/sec, 2320 secs
lola: STP completed || 85 tries, 84686638 fired transitions, 2325 secs || 118882798 markings, 211984441 edges, 46274 markings/sec, 2325 secs
lola: STP completed || 85 tries, 84859916 fired transitions, 2330 secs || 119111245 markings, 212412919 edges, 45689 markings/sec, 2330 secs
lola: STP completed || 86 tries, 85031476 fired transitions, 2335 secs || 119345364 markings, 212858223 edges, 46824 markings/sec, 2335 secs
lola: STP completed || 86 tries, 85209565 fired transitions, 2340 secs || 119600942 markings, 213334040 edges, 51116 markings/sec, 2340 secs
lola: STP completed || 86 tries, 85399916 fired transitions, 2345 secs || 119874951 markings, 213857511 edges, 54802 markings/sec, 2345 secs
lola: STP completed || 86 tries, 85590205 fired transitions, 2350 secs || 120151456 markings, 214387249 edges, 55301 markings/sec, 2350 secs
lola: STP completed || 86 tries, 85779820 fired transitions, 2355 secs || 120423039 markings, 214901784 edges, 54317 markings/sec, 2355 secs
lola: STP completed || 86 tries, 85969739 fired transitions, 2360 secs || 120694083 markings, 215405033 edges, 54209 markings/sec, 2360 secs
lola: STP completed || 87 tries, 86159467 fired transitions, 2365 secs || 120968464 markings, 215921348 edges, 54876 markings/sec, 2365 secs
lola: STP completed || 87 tries, 86348228 fired transitions, 2370 secs || 121239941 markings, 216424068 edges, 54295 markings/sec, 2370 secs
lola: STP completed || 87 tries, 86529359 fired transitions, 2375 secs || 121503074 markings, 216911790 edges, 52627 markings/sec, 2375 secs
lola: STP completed || 87 tries, 86618351 fired transitions, 2380 secs || 121627598 markings, 217145827 edges, 24905 markings/sec, 2380 secs
Killed
FORMULA FlexibleBarrier-PT-12a-ReachabilityDeadlock-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
make: [verify] Error 137 (ignored)
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stdout -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

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

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