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 '
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 ;