About the Execution of M4M.full for Raft-PT-08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.330 | 2633643.00 | 5301687.00 | 12989.40 | ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................
/home/mcc/execution
total 332K
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K 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 19K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.1K May 26 09:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.1K May 26 09:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 26 09:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.9K May 26 09:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 101 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 339 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 24K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K 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 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 156K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is Raft-PT-08, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r142-qhx2-152673583700153
=====================================================================
--------------------
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 Raft-PT-08-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527955040054
BK_STOP 1527957673697
--------------------
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 Raft-PT-08 as instance name.
Using Raft 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': True, 'Loop Free': False, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 1724, 'Memory': 149.32, 'Tool': 'gspn'}, {'Time': 3489, 'Memory': 299.73, 'Tool': 'itstools'}, {'Time': 3665, 'Memory': 348.39, 'Tool': 'itstools'}, {'Time': 4658, 'Memory': 181.78, 'Tool': 'gspn'}, {'Time': 120849, 'Memory': 3212.74, 'Tool': 'marcie'}, {'Time': 138075, 'Memory': 3212.77, 'Tool': 'marcie'}, {'Time': 1553364, 'Memory': 15948.96, 'Tool': 'lola'}, {'Time': 1555619, 'Memory': 15948.68, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 901.0232018561485x far from the best tool gspn.
ReachabilityDeadlock lola Raft-PT-08...
----- Start make prepare stderr -----
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
Raft-PT-08: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
Raft-PT-08: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
ReachabilityDeadlock @ Raft-PT-08 @ 3538 seconds
Makefile:222: recipe for target 'verify' failed
----- Start make result stdout -----
make: [verify] Error 137 (ignored)
----- Start make result stderr -----
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 896/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 328 places, 568 transitions, 264 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 559 transition conflict sets
lola: TASK
lola: reading formula from Raft-PT-08-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 36 bytes per marking, with 24 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: computed 90 generators (8 in search tree, 82 by composition)
lola: representing 40320 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 10994 variables and 40003 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 83471 fired transitions, 0 secs || 67718 markings, 533560 edges, 13544 markings/sec, 0 secs
lola: STP completed || 1 tries, 169574 fired transitions, 5 secs || 137504 markings, 1080951 edges, 13957 markings/sec, 5 secs
lola: STP completed || 1 tries, 255677 fired transitions, 10 secs || 207710 markings, 1628377 edges, 14041 markings/sec, 10 secs
lola: STP completed || 1 tries, 333958 fired transitions, 15 secs || 271663 markings, 2125581 edges, 12791 markings/sec, 15 secs
lola: STP completed || 1 tries, 412449 fired transitions, 20 secs || 334929 markings, 2622999 edges, 12653 markings/sec, 20 secs
lola: STP completed || 1 tries, 494849 fired transitions, 25 secs || 401016 markings, 3161453 edges, 13217 markings/sec, 25 secs
lola: STP completed || 1 tries, 581453 fired transitions, 30 secs || 467238 markings, 3776597 edges, 13244 markings/sec, 30 secs
lola: STP completed || 1 tries, 663330 fired transitions, 35 secs || 529627 markings, 4351713 edges, 12478 markings/sec, 35 secs
lola: STP completed || 1 tries, 750310 fired transitions, 40 secs || 596531 markings, 4970874 edges, 13381 markings/sec, 40 secs
lola: STP completed || 1 tries, 837091 fired transitions, 45 secs || 661871 markings, 5587077 edges, 13068 markings/sec, 45 secs
lola: STP completed || 1 tries, 923966 fired transitions, 50 secs || 730195 markings, 6205354 edges, 13665 markings/sec, 50 secs
lola: STP completed || 2 tries, 1011397 fired transitions, 55 secs || 800390 markings, 6825563 edges, 14039 markings/sec, 55 secs
lola: STP completed || 2 tries, 1099185 fired transitions, 60 secs || 866902 markings, 7446598 edges, 13302 markings/sec, 60 secs
lola: STP completed || 2 tries, 1186639 fired transitions, 65 secs || 933785 markings, 8062169 edges, 13377 markings/sec, 65 secs
lola: STP completed || 2 tries, 1274360 fired transitions, 70 secs || 1001294 markings, 8678384 edges, 13502 markings/sec, 70 secs
lola: STP completed || 2 tries, 1361399 fired transitions, 75 secs || 1066335 markings, 9290987 edges, 13008 markings/sec, 75 secs
lola: STP completed || 2 tries, 1441275 fired transitions, 80 secs || 1126598 markings, 9837814 edges, 12053 markings/sec, 80 secs
lola: STP completed || 2 tries, 1526421 fired transitions, 85 secs || 1193164 markings, 10439344 edges, 13313 markings/sec, 85 secs
lola: STP completed || 2 tries, 1611741 fired transitions, 90 secs || 1258602 markings, 11038018 edges, 13088 markings/sec, 90 secs
lola: STP completed || 2 tries, 1695040 fired transitions, 95 secs || 1322042 markings, 11623857 edges, 12688 markings/sec, 95 secs
lola: STP completed || 2 tries, 1780429 fired transitions, 100 secs || 1386368 markings, 12230355 edges, 12865 markings/sec, 100 secs
lola: STP completed || 2 tries, 1863937 fired transitions, 105 secs || 1449077 markings, 12815781 edges, 12542 markings/sec, 105 secs
lola: STP completed || 2 tries, 1945811 fired transitions, 110 secs || 1511016 markings, 13388956 edges, 12388 markings/sec, 110 secs
lola: STP completed || 3 tries, 2032307 fired transitions, 115 secs || 1576354 markings, 13996125 edges, 13068 markings/sec, 115 secs
lola: STP completed || 3 tries, 2119993 fired transitions, 120 secs || 1646689 markings, 14606698 edges, 14067 markings/sec, 120 secs
lola: STP completed || 3 tries, 2205148 fired transitions, 125 secs || 1712979 markings, 15197297 edges, 13258 markings/sec, 125 secs
lola: STP completed || 3 tries, 2288214 fired transitions, 130 secs || 1778502 markings, 15785962 edges, 13105 markings/sec, 130 secs
lola: STP completed || 3 tries, 2376122 fired transitions, 135 secs || 1844466 markings, 16405715 edges, 13193 markings/sec, 135 secs
lola: STP completed || 3 tries, 2464009 fired transitions, 140 secs || 1912289 markings, 17031684 edges, 13565 markings/sec, 140 secs
lola: STP completed || 3 tries, 2552101 fired transitions, 145 secs || 1981162 markings, 17656480 edges, 13775 markings/sec, 145 secs
lola: STP completed || 3 tries, 2640143 fired transitions, 150 secs || 2049108 markings, 18278376 edges, 13589 markings/sec, 150 secs
lola: STP completed || 3 tries, 2728436 fired transitions, 155 secs || 2115147 markings, 18894662 edges, 13208 markings/sec, 155 secs
lola: STP completed || 3 tries, 2816368 fired transitions, 160 secs || 2182463 markings, 19514787 edges, 13463 markings/sec, 160 secs
lola: STP completed || 3 tries, 2904388 fired transitions, 165 secs || 2250050 markings, 20140043 edges, 13517 markings/sec, 165 secs
lola: STP completed || 3 tries, 2992730 fired transitions, 170 secs || 2318999 markings, 20760303 edges, 13790 markings/sec, 170 secs
lola: STP completed || 4 tries, 3081475 fired transitions, 175 secs || 2390051 markings, 21383267 edges, 14210 markings/sec, 175 secs
lola: STP completed || 4 tries, 3170008 fired transitions, 180 secs || 2459314 markings, 22007254 edges, 13853 markings/sec, 180 secs
lola: STP completed || 4 tries, 3258462 fired transitions, 185 secs || 2529773 markings, 22632374 edges, 14092 markings/sec, 185 secs
lola: STP completed || 4 tries, 3346899 fired transitions, 190 secs || 2597440 markings, 23262039 edges, 13533 markings/sec, 190 secs
lola: STP completed || 4 tries, 3435014 fired transitions, 195 secs || 2667448 markings, 23885192 edges, 14002 markings/sec, 195 secs
lola: STP completed || 4 tries, 3523659 fired transitions, 200 secs || 2736866 markings, 24513214 edges, 13884 markings/sec, 200 secs
lola: STP completed || 4 tries, 3612506 fired transitions, 205 secs || 2809225 markings, 25138211 edges, 14472 markings/sec, 205 secs
lola: STP completed || 4 tries, 3701278 fired transitions, 210 secs || 2881676 markings, 25769877 edges, 14490 markings/sec, 210 secs
lola: STP completed || 4 tries, 3789280 fired transitions, 215 secs || 2948124 markings, 26388177 edges, 13290 markings/sec, 215 secs
lola: STP completed || 4 tries, 3876781 fired transitions, 220 secs || 3015350 markings, 26999987 edges, 13445 markings/sec, 220 secs
lola: STP completed || 4 tries, 3957617 fired transitions, 225 secs || 3075617 markings, 27551496 edges, 12053 markings/sec, 225 secs
lola: STP completed || 5 tries, 4044860 fired transitions, 230 secs || 3140920 markings, 28161010 edges, 13061 markings/sec, 230 secs
lola: STP completed || 5 tries, 4126881 fired transitions, 235 secs || 3201512 markings, 28729937 edges, 12118 markings/sec, 235 secs
lola: STP completed || 5 tries, 4206133 fired transitions, 240 secs || 3261992 markings, 29277540 edges, 12096 markings/sec, 240 secs
lola: STP completed || 5 tries, 4285541 fired transitions, 245 secs || 3324203 markings, 29825496 edges, 12442 markings/sec, 245 secs
lola: STP completed || 5 tries, 4372475 fired transitions, 250 secs || 3390769 markings, 30430244 edges, 13313 markings/sec, 250 secs
lola: STP completed || 5 tries, 4456899 fired transitions, 255 secs || 3455586 markings, 31020690 edges, 12963 markings/sec, 255 secs
lola: STP completed || 5 tries, 4543330 fired transitions, 260 secs || 3521248 markings, 31627946 edges, 13132 markings/sec, 260 secs
lola: STP completed || 5 tries, 4631835 fired transitions, 265 secs || 3587147 markings, 32251246 edges, 13180 markings/sec, 265 secs
lola: STP completed || 5 tries, 4720576 fired transitions, 270 secs || 3657550 markings, 32874587 edges, 14081 markings/sec, 270 secs
lola: STP completed || 5 tries, 4808873 fired transitions, 275 secs || 3722731 markings, 33486679 edges, 13036 markings/sec, 275 secs
lola: STP completed || 5 tries, 4896745 fired transitions, 280 secs || 3791020 markings, 34104687 edges, 13658 markings/sec, 280 secs
lola: STP completed || 5 tries, 4985192 fired transitions, 285 secs || 3860160 markings, 34731544 edges, 13828 markings/sec, 285 secs
lola: STP completed || 6 tries, 5065975 fired transitions, 290 secs || 3930413 markings, 35383417 edges, 14051 markings/sec, 290 secs
lola: STP completed || 6 tries, 5151648 fired transitions, 295 secs || 4006759 markings, 36113325 edges, 15269 markings/sec, 295 secs
lola: STP completed || 6 tries, 5238329 fired transitions, 300 secs || 4085273 markings, 36846653 edges, 15703 markings/sec, 300 secs
lola: STP completed || 6 tries, 5316047 fired transitions, 305 secs || 4152990 markings, 37497411 edges, 13543 markings/sec, 305 secs
lola: STP completed || 6 tries, 5394145 fired transitions, 310 secs || 4223563 markings, 38154757 edges, 14115 markings/sec, 310 secs
lola: STP completed || 6 tries, 5471731 fired transitions, 315 secs || 4291963 markings, 38800360 edges, 13680 markings/sec, 315 secs
lola: STP completed || 6 tries, 5550069 fired transitions, 320 secs || 4360434 markings, 39455008 edges, 13694 markings/sec, 320 secs
lola: STP completed || 6 tries, 5628358 fired transitions, 325 secs || 4432263 markings, 40127047 edges, 14366 markings/sec, 325 secs
lola: STP completed || 6 tries, 5706803 fired transitions, 330 secs || 4503822 markings, 40781914 edges, 14312 markings/sec, 330 secs
lola: STP completed || 6 tries, 5784953 fired transitions, 335 secs || 4573575 markings, 41425552 edges, 13951 markings/sec, 335 secs
lola: STP completed || 6 tries, 5863351 fired transitions, 340 secs || 4641792 markings, 42065939 edges, 13643 markings/sec, 340 secs
lola: STP completed || 6 tries, 5941017 fired transitions, 345 secs || 4709607 markings, 42714337 edges, 13563 markings/sec, 345 secs
lola: STP completed || 7 tries, 6018560 fired transitions, 350 secs || 4778179 markings, 43366658 edges, 13714 markings/sec, 350 secs
lola: STP completed || 7 tries, 6096669 fired transitions, 355 secs || 4848171 markings, 44025837 edges, 13998 markings/sec, 355 secs
lola: STP completed || 7 tries, 6174324 fired transitions, 360 secs || 4916291 markings, 44674905 edges, 13624 markings/sec, 360 secs
lola: STP completed || 7 tries, 6252451 fired transitions, 365 secs || 4984756 markings, 45332602 edges, 13693 markings/sec, 365 secs
lola: STP completed || 7 tries, 6332811 fired transitions, 370 secs || 5054794 markings, 45997061 edges, 14008 markings/sec, 370 secs
lola: STP completed || 7 tries, 6410436 fired transitions, 375 secs || 5126231 markings, 46647849 edges, 14287 markings/sec, 375 secs
lola: STP completed || 7 tries, 6488270 fired transitions, 380 secs || 5193736 markings, 47286014 edges, 13501 markings/sec, 380 secs
lola: STP completed || 7 tries, 6566297 fired transitions, 385 secs || 5260583 markings, 47924973 edges, 13369 markings/sec, 385 secs
lola: STP completed || 7 tries, 6643584 fired transitions, 390 secs || 5329908 markings, 48564422 edges, 13865 markings/sec, 390 secs
lola: STP completed || 7 tries, 6722086 fired transitions, 395 secs || 5400096 markings, 49229171 edges, 14038 markings/sec, 395 secs
lola: STP completed || 7 tries, 6801281 fired transitions, 400 secs || 5471713 markings, 49878921 edges, 14323 markings/sec, 400 secs
lola: STP completed || 7 tries, 6889574 fired transitions, 405 secs || 5549385 markings, 50610534 edges, 15534 markings/sec, 405 secs
lola: STP completed || 7 tries, 6976673 fired transitions, 410 secs || 5624496 markings, 51318560 edges, 15022 markings/sec, 410 secs
lola: STP completed || 8 tries, 7061448 fired transitions, 415 secs || 5700381 markings, 52017487 edges, 15177 markings/sec, 415 secs
lola: STP completed || 8 tries, 7148184 fired transitions, 420 secs || 5776921 markings, 52740009 edges, 15308 markings/sec, 420 secs
lola: STP completed || 8 tries, 7232011 fired transitions, 425 secs || 5851158 markings, 53431943 edges, 14847 markings/sec, 425 secs
lola: STP completed || 8 tries, 7320209 fired transitions, 430 secs || 5930674 markings, 54165473 edges, 15903 markings/sec, 430 secs
lola: STP completed || 8 tries, 7408401 fired transitions, 435 secs || 6008207 markings, 54896387 edges, 15507 markings/sec, 435 secs
lola: STP completed || 8 tries, 7490578 fired transitions, 440 secs || 6081059 markings, 55584281 edges, 14570 markings/sec, 440 secs
lola: STP completed || 8 tries, 7577728 fired transitions, 445 secs || 6157810 markings, 56309102 edges, 15350 markings/sec, 445 secs
lola: STP completed || 8 tries, 7665785 fired transitions, 450 secs || 6236311 markings, 57043932 edges, 15700 markings/sec, 450 secs
lola: STP completed || 8 tries, 7754097 fired transitions, 455 secs || 6314816 markings, 57784371 edges, 15701 markings/sec, 455 secs
lola: STP completed || 8 tries, 7842389 fired transitions, 460 secs || 6392419 markings, 58520124 edges, 15521 markings/sec, 460 secs
lola: STP completed || 8 tries, 7930917 fired transitions, 465 secs || 6469862 markings, 59255838 edges, 15489 markings/sec, 465 secs
lola: STP completed || 9 tries, 8019396 fired transitions, 470 secs || 6549055 markings, 59997138 edges, 15839 markings/sec, 470 secs
lola: STP completed || 9 tries, 8107818 fired transitions, 475 secs || 6627478 markings, 60726813 edges, 15685 markings/sec, 475 secs
lola: STP completed || 9 tries, 8191414 fired transitions, 480 secs || 6701931 markings, 61430133 edges, 14891 markings/sec, 480 secs
lola: STP completed || 9 tries, 8278880 fired transitions, 485 secs || 6780035 markings, 62155955 edges, 15621 markings/sec, 485 secs
lola: STP completed || 9 tries, 8366748 fired transitions, 490 secs || 6856771 markings, 62885503 edges, 15347 markings/sec, 490 secs
lola: STP completed || 9 tries, 8450022 fired transitions, 495 secs || 6929679 markings, 63578459 edges, 14582 markings/sec, 495 secs
lola: STP completed || 9 tries, 8528487 fired transitions, 500 secs || 6998105 markings, 64225624 edges, 13685 markings/sec, 500 secs
lola: STP completed || 9 tries, 8606645 fired transitions, 505 secs || 7067126 markings, 64881231 edges, 13804 markings/sec, 505 secs
lola: STP completed || 9 tries, 8684590 fired transitions, 510 secs || 7134434 markings, 65514617 edges, 13462 markings/sec, 510 secs
lola: STP completed || 9 tries, 8762131 fired transitions, 515 secs || 7201110 markings, 66146663 edges, 13335 markings/sec, 515 secs
lola: STP completed || 9 tries, 8840604 fired transitions, 520 secs || 7268830 markings, 66786018 edges, 13544 markings/sec, 520 secs
lola: STP completed || 9 tries, 8919194 fired transitions, 525 secs || 7339332 markings, 67445514 edges, 14100 markings/sec, 525 secs
lola: STP completed || 9 tries, 8997851 fired transitions, 530 secs || 7408117 markings, 68092872 edges, 13757 markings/sec, 530 secs
lola: STP completed || 10 tries, 9075933 fired transitions, 535 secs || 7477767 markings, 68742271 edges, 13930 markings/sec, 535 secs
lola: STP completed || 10 tries, 9154558 fired transitions, 540 secs || 7546274 markings, 69381932 edges, 13701 markings/sec, 540 secs
lola: STP completed || 10 tries, 9233199 fired transitions, 545 secs || 7615505 markings, 70022528 edges, 13846 markings/sec, 545 secs
lola: STP completed || 10 tries, 9311730 fired transitions, 550 secs || 7681836 markings, 70644037 edges, 13266 markings/sec, 550 secs
lola: STP completed || 10 tries, 9390074 fired transitions, 555 secs || 7749031 markings, 71275635 edges, 13439 markings/sec, 555 secs
lola: STP completed || 10 tries, 9468836 fired transitions, 560 secs || 7817156 markings, 71926080 edges, 13625 markings/sec, 560 secs
lola: STP completed || 10 tries, 9547486 fired transitions, 565 secs || 7886260 markings, 72560625 edges, 13821 markings/sec, 565 secs
lola: STP completed || 10 tries, 9625680 fired transitions, 570 secs || 7954846 markings, 73208613 edges, 13717 markings/sec, 570 secs
lola: STP completed || 10 tries, 9704042 fired transitions, 575 secs || 8025766 markings, 73855174 edges, 14184 markings/sec, 575 secs
lola: STP completed || 10 tries, 9781904 fired transitions, 580 secs || 8094713 markings, 74498647 edges, 13789 markings/sec, 580 secs
lola: STP completed || 10 tries, 9860292 fired transitions, 585 secs || 8164205 markings, 75143359 edges, 13898 markings/sec, 585 secs
lola: STP completed || 10 tries, 9938283 fired transitions, 590 secs || 8232195 markings, 75790094 edges, 13598 markings/sec, 590 secs
lola: STP completed || 11 tries, 10016237 fired transitions, 595 secs || 8301201 markings, 76439317 edges, 13801 markings/sec, 595 secs
lola: STP completed || 11 tries, 10094733 fired transitions, 600 secs || 8368848 markings, 77067969 edges, 13529 markings/sec, 600 secs
lola: STP completed || 11 tries, 10172944 fired transitions, 605 secs || 8437643 markings, 77708013 edges, 13759 markings/sec, 605 secs
lola: STP completed || 11 tries, 10251145 fired transitions, 610 secs || 8506008 markings, 78353935 edges, 13673 markings/sec, 610 secs
lola: STP completed || 11 tries, 10329408 fired transitions, 615 secs || 8574429 markings, 79003459 edges, 13684 markings/sec, 615 secs
lola: STP completed || 11 tries, 10407696 fired transitions, 620 secs || 8642917 markings, 79653524 edges, 13698 markings/sec, 620 secs
lola: STP completed || 11 tries, 10486125 fired transitions, 625 secs || 8711426 markings, 80302763 edges, 13702 markings/sec, 625 secs
lola: STP completed || 11 tries, 10564312 fired transitions, 630 secs || 8780279 markings, 80953147 edges, 13771 markings/sec, 630 secs
lola: STP completed || 11 tries, 10643156 fired transitions, 635 secs || 8847460 markings, 81599197 edges, 13436 markings/sec, 635 secs
lola: STP completed || 11 tries, 10721803 fired transitions, 640 secs || 8918012 markings, 82255336 edges, 14110 markings/sec, 640 secs
lola: STP completed || 11 tries, 10800464 fired transitions, 645 secs || 8988984 markings, 82911427 edges, 14194 markings/sec, 645 secs
lola: STP completed || 11 tries, 10879313 fired transitions, 650 secs || 9060406 markings, 83566057 edges, 14284 markings/sec, 650 secs
lola: STP completed || 11 tries, 10957875 fired transitions, 655 secs || 9128915 markings, 84212777 edges, 13702 markings/sec, 655 secs
lola: STP completed || 12 tries, 11044790 fired transitions, 660 secs || 9203411 markings, 84935431 edges, 14899 markings/sec, 660 secs
lola: STP completed || 12 tries, 11131581 fired transitions, 665 secs || 9280453 markings, 85665228 edges, 15408 markings/sec, 665 secs
lola: STP completed || 12 tries, 11218343 fired transitions, 670 secs || 9355596 markings, 86384480 edges, 15029 markings/sec, 670 secs
lola: STP completed || 12 tries, 11305074 fired transitions, 675 secs || 9433668 markings, 87107114 edges, 15614 markings/sec, 675 secs
lola: STP completed || 12 tries, 11392088 fired transitions, 680 secs || 9511940 markings, 87840395 edges, 15654 markings/sec, 680 secs
lola: STP completed || 12 tries, 11478958 fired transitions, 685 secs || 9590054 markings, 88564454 edges, 15623 markings/sec, 685 secs
lola: STP completed || 12 tries, 11565984 fired transitions, 690 secs || 9667698 markings, 89281144 edges, 15529 markings/sec, 690 secs
lola: STP completed || 12 tries, 11652435 fired transitions, 695 secs || 9743620 markings, 90003453 edges, 15184 markings/sec, 695 secs
lola: STP completed || 12 tries, 11739571 fired transitions, 700 secs || 9820466 markings, 90732621 edges, 15369 markings/sec, 700 secs
lola: STP completed || 12 tries, 11826632 fired transitions, 705 secs || 9897109 markings, 91451181 edges, 15329 markings/sec, 705 secs
lola: STP completed || 12 tries, 11913741 fired transitions, 710 secs || 9973459 markings, 92172948 edges, 15270 markings/sec, 710 secs
lola: STP completed || 13 tries, 12000987 fired transitions, 715 secs || 10051329 markings, 92904530 edges, 15574 markings/sec, 715 secs
lola: STP completed || 13 tries, 12088960 fired transitions, 720 secs || 10127415 markings, 93628665 edges, 15217 markings/sec, 720 secs
lola: STP completed || 13 tries, 12175375 fired transitions, 725 secs || 10203736 markings, 94347645 edges, 15264 markings/sec, 725 secs
lola: STP completed || 13 tries, 12264094 fired transitions, 730 secs || 10281301 markings, 95092308 edges, 15513 markings/sec, 730 secs
lola: STP completed || 13 tries, 12347299 fired transitions, 735 secs || 10357879 markings, 95790667 edges, 15316 markings/sec, 735 secs
lola: STP completed || 13 tries, 12434274 fired transitions, 740 secs || 10436666 markings, 96518489 edges, 15757 markings/sec, 740 secs
lola: STP completed || 13 tries, 12519575 fired transitions, 745 secs || 10512285 markings, 97219054 edges, 15124 markings/sec, 745 secs
lola: STP completed || 13 tries, 12606720 fired transitions, 750 secs || 10590325 markings, 97931350 edges, 15608 markings/sec, 750 secs
lola: STP completed || 13 tries, 12693834 fired transitions, 755 secs || 10668376 markings, 98647418 edges, 15610 markings/sec, 755 secs
lola: STP completed || 13 tries, 12776892 fired transitions, 760 secs || 10739598 markings, 99328884 edges, 14244 markings/sec, 760 secs
lola: STP completed || 13 tries, 12863887 fired transitions, 765 secs || 10815172 markings, 100045350 edges, 15115 markings/sec, 765 secs
lola: STP completed || 13 tries, 12951268 fired transitions, 770 secs || 10891007 markings, 100760256 edges, 15167 markings/sec, 770 secs
lola: STP completed || 14 tries, 13038244 fired transitions, 775 secs || 10969403 markings, 101484341 edges, 15679 markings/sec, 775 secs
lola: STP completed || 14 tries, 13125307 fired transitions, 780 secs || 11045532 markings, 102202667 edges, 15226 markings/sec, 780 secs
lola: STP completed || 14 tries, 13212502 fired transitions, 785 secs || 11122432 markings, 102919520 edges, 15380 markings/sec, 785 secs
lola: STP completed || 14 tries, 13299679 fired transitions, 790 secs || 11199408 markings, 103638037 edges, 15395 markings/sec, 790 secs
lola: STP completed || 14 tries, 13387045 fired transitions, 795 secs || 11276207 markings, 104361316 edges, 15360 markings/sec, 795 secs
lola: STP completed || 14 tries, 13473415 fired transitions, 800 secs || 11353326 markings, 105087272 edges, 15424 markings/sec, 800 secs
lola: STP completed || 14 tries, 13557533 fired transitions, 805 secs || 11427331 markings, 105775985 edges, 14801 markings/sec, 805 secs
lola: STP completed || 14 tries, 13646237 fired transitions, 810 secs || 11504505 markings, 106512779 edges, 15435 markings/sec, 810 secs
lola: STP completed || 14 tries, 13734368 fired transitions, 815 secs || 11582052 markings, 107244619 edges, 15509 markings/sec, 815 secs
lola: STP completed || 14 tries, 13821276 fired transitions, 820 secs || 11659400 markings, 107962340 edges, 15470 markings/sec, 820 secs
lola: STP completed || 14 tries, 13908802 fired transitions, 825 secs || 11738989 markings, 108690094 edges, 15918 markings/sec, 825 secs
lola: STP completed || 14 tries, 13993330 fired transitions, 830 secs || 11813477 markings, 109389238 edges, 14898 markings/sec, 830 secs
lola: STP completed || 15 tries, 14080750 fired transitions, 835 secs || 11891521 markings, 110104285 edges, 15609 markings/sec, 835 secs
lola: STP completed || 15 tries, 14168798 fired transitions, 840 secs || 11970492 markings, 110822642 edges, 15794 markings/sec, 840 secs
lola: STP completed || 15 tries, 14255750 fired transitions, 845 secs || 12048404 markings, 111516415 edges, 15582 markings/sec, 845 secs
lola: STP completed || 15 tries, 14337222 fired transitions, 850 secs || 12121786 markings, 112193797 edges, 14676 markings/sec, 850 secs
lola: STP completed || 15 tries, 14416922 fired transitions, 855 secs || 12193332 markings, 112854668 edges, 14309 markings/sec, 855 secs
lola: STP completed || 15 tries, 14503799 fired transitions, 860 secs || 12270856 markings, 113574043 edges, 15505 markings/sec, 860 secs
lola: STP completed || 15 tries, 14591086 fired transitions, 865 secs || 12346965 markings, 114294999 edges, 15222 markings/sec, 865 secs
lola: STP completed || 15 tries, 14678224 fired transitions, 870 secs || 12426006 markings, 115013832 edges, 15808 markings/sec, 870 secs
lola: STP completed || 15 tries, 14765472 fired transitions, 875 secs || 12502078 markings, 115739250 edges, 15214 markings/sec, 875 secs
lola: STP completed || 15 tries, 14852724 fired transitions, 880 secs || 12577976 markings, 116453738 edges, 15180 markings/sec, 880 secs
lola: STP completed || 15 tries, 14941414 fired transitions, 885 secs || 12652655 markings, 117170834 edges, 14936 markings/sec, 885 secs
lola: STP completed || 16 tries, 15029889 fired transitions, 890 secs || 12728323 markings, 117890641 edges, 15134 markings/sec, 890 secs
lola: STP completed || 16 tries, 15113173 fired transitions, 895 secs || 12800260 markings, 118575082 edges, 14387 markings/sec, 895 secs
lola: STP completed || 16 tries, 15193738 fired transitions, 900 secs || 12869403 markings, 119232511 edges, 13829 markings/sec, 900 secs
lola: STP completed || 16 tries, 15282218 fired transitions, 905 secs || 12946435 markings, 119962869 edges, 15406 markings/sec, 905 secs
lola: STP completed || 16 tries, 15370833 fired transitions, 910 secs || 13023881 markings, 120686017 edges, 15489 markings/sec, 910 secs
lola: STP completed || 16 tries, 15459638 fired transitions, 915 secs || 13101454 markings, 121403883 edges, 15515 markings/sec, 915 secs
lola: STP completed || 16 tries, 15548357 fired transitions, 920 secs || 13179224 markings, 122112737 edges, 15554 markings/sec, 920 secs
lola: STP completed || 16 tries, 15635897 fired transitions, 925 secs || 13254644 markings, 122810101 edges, 15084 markings/sec, 925 secs
lola: STP completed || 16 tries, 15723233 fired transitions, 930 secs || 13329340 markings, 123521787 edges, 14939 markings/sec, 930 secs
lola: STP completed || 16 tries, 15810334 fired transitions, 935 secs || 13403624 markings, 124234980 edges, 14857 markings/sec, 935 secs
lola: STP completed || 16 tries, 15897567 fired transitions, 940 secs || 13481333 markings, 124952111 edges, 15542 markings/sec, 940 secs
lola: STP completed || 16 tries, 15984827 fired transitions, 945 secs || 13558380 markings, 125674528 edges, 15409 markings/sec, 945 secs
lola: STP completed || 17 tries, 16071354 fired transitions, 950 secs || 13634494 markings, 126395334 edges, 15223 markings/sec, 950 secs
lola: STP completed || 17 tries, 16158490 fired transitions, 955 secs || 13709817 markings, 127109594 edges, 15065 markings/sec, 955 secs
lola: STP completed || 17 tries, 16246918 fired transitions, 960 secs || 13784736 markings, 127825358 edges, 14984 markings/sec, 960 secs
lola: STP completed || 17 tries, 16334472 fired transitions, 965 secs || 13861049 markings, 128541507 edges, 15263 markings/sec, 965 secs
lola: STP completed || 17 tries, 16419895 fired transitions, 970 secs || 13934903 markings, 129239763 edges, 14771 markings/sec, 970 secs
lola: STP completed || 17 tries, 16507747 fired transitions, 975 secs || 14011176 markings, 129947710 edges, 15255 markings/sec, 975 secs
lola: STP completed || 17 tries, 16591319 fired transitions, 980 secs || 14083515 markings, 130614751 edges, 14468 markings/sec, 980 secs
lola: STP completed || 17 tries, 16677360 fired transitions, 985 secs || 14158940 markings, 131304927 edges, 15085 markings/sec, 985 secs
lola: STP completed || 17 tries, 16757527 fired transitions, 990 secs || 14226969 markings, 131949978 edges, 13606 markings/sec, 990 secs
lola: STP completed || 17 tries, 16846278 fired transitions, 995 secs || 14304092 markings, 132667198 edges, 15425 markings/sec, 995 secs
lola: STP completed || 17 tries, 16934572 fired transitions, 1000 secs || 14379930 markings, 133372904 edges, 15168 markings/sec, 1000 secs
lola: STP completed || 18 tries, 17022817 fired transitions, 1005 secs || 14455435 markings, 134080731 edges, 15101 markings/sec, 1005 secs
lola: STP completed || 18 tries, 17111559 fired transitions, 1010 secs || 14532950 markings, 134798191 edges, 15503 markings/sec, 1010 secs
lola: STP completed || 18 tries, 17200599 fired transitions, 1015 secs || 14609727 markings, 135519304 edges, 15355 markings/sec, 1015 secs
lola: STP completed || 18 tries, 17289424 fired transitions, 1020 secs || 14685462 markings, 136232446 edges, 15147 markings/sec, 1020 secs
lola: STP completed || 18 tries, 17378179 fired transitions, 1025 secs || 14762274 markings, 136955577 edges, 15362 markings/sec, 1025 secs
lola: STP completed || 18 tries, 17463831 fired transitions, 1030 secs || 14835556 markings, 137656115 edges, 14656 markings/sec, 1030 secs
lola: STP completed || 18 tries, 17551181 fired transitions, 1035 secs || 14911034 markings, 138368819 edges, 15096 markings/sec, 1035 secs
lola: STP completed || 18 tries, 17638538 fired transitions, 1040 secs || 14987222 markings, 139081210 edges, 15238 markings/sec, 1040 secs
lola: STP completed || 18 tries, 17725958 fired transitions, 1045 secs || 15061920 markings, 139781617 edges, 14940 markings/sec, 1045 secs
lola: STP completed || 18 tries, 17812950 fired transitions, 1050 secs || 15138587 markings, 140496173 edges, 15333 markings/sec, 1050 secs
lola: STP completed || 18 tries, 17897640 fired transitions, 1055 secs || 15212315 markings, 141195642 edges, 14746 markings/sec, 1055 secs
lola: STP completed || 18 tries, 17986004 fired transitions, 1060 secs || 15288865 markings, 141923686 edges, 15310 markings/sec, 1060 secs
lola: STP completed || 19 tries, 18073165 fired transitions, 1065 secs || 15364505 markings, 142634223 edges, 15128 markings/sec, 1065 secs
lola: STP completed || 19 tries, 18160415 fired transitions, 1070 secs || 15439976 markings, 143355694 edges, 15094 markings/sec, 1070 secs
lola: STP completed || 19 tries, 18247505 fired transitions, 1075 secs || 15516555 markings, 144073307 edges, 15316 markings/sec, 1075 secs
lola: STP completed || 19 tries, 18334833 fired transitions, 1080 secs || 15595108 markings, 144800782 edges, 15711 markings/sec, 1080 secs
lola: STP completed || 19 tries, 18423741 fired transitions, 1085 secs || 15672048 markings, 145520794 edges, 15388 markings/sec, 1085 secs
lola: STP completed || 19 tries, 18512335 fired transitions, 1090 secs || 15749537 markings, 146239868 edges, 15498 markings/sec, 1090 secs
lola: STP completed || 19 tries, 18600973 fired transitions, 1095 secs || 15825102 markings, 146954973 edges, 15113 markings/sec, 1095 secs
lola: STP completed || 19 tries, 18689922 fired transitions, 1100 secs || 15901315 markings, 147683826 edges, 15243 markings/sec, 1100 secs
lola: STP completed || 19 tries, 18778415 fired transitions, 1105 secs || 15979560 markings, 148414455 edges, 15649 markings/sec, 1105 secs
lola: STP completed || 19 tries, 18865722 fired transitions, 1110 secs || 16055950 markings, 149140456 edges, 15278 markings/sec, 1110 secs
lola: STP completed || 19 tries, 18953125 fired transitions, 1115 secs || 16135066 markings, 149868946 edges, 15823 markings/sec, 1115 secs
lola: STP completed || 20 tries, 19039982 fired transitions, 1120 secs || 16211575 markings, 150585384 edges, 15302 markings/sec, 1120 secs
lola: STP completed || 20 tries, 19127063 fired transitions, 1125 secs || 16286163 markings, 151297918 edges, 14918 markings/sec, 1125 secs
lola: STP completed || 20 tries, 19214367 fired transitions, 1130 secs || 16362346 markings, 152018689 edges, 15237 markings/sec, 1130 secs
lola: STP completed || 20 tries, 19301415 fired transitions, 1135 secs || 16438835 markings, 152731862 edges, 15298 markings/sec, 1135 secs
lola: STP completed || 20 tries, 19388761 fired transitions, 1140 secs || 16514844 markings, 153442095 edges, 15202 markings/sec, 1140 secs
lola: STP completed || 20 tries, 19476100 fired transitions, 1145 secs || 16590674 markings, 154149369 edges, 15166 markings/sec, 1145 secs
lola: STP completed || 20 tries, 19563101 fired transitions, 1150 secs || 16666938 markings, 154859538 edges, 15253 markings/sec, 1150 secs
lola: STP completed || 20 tries, 19650443 fired transitions, 1155 secs || 16742125 markings, 155566632 edges, 15037 markings/sec, 1155 secs
lola: STP completed || 20 tries, 19737576 fired transitions, 1160 secs || 16817147 markings, 156266516 edges, 15004 markings/sec, 1160 secs
lola: STP completed || 20 tries, 19826110 fired transitions, 1165 secs || 16893629 markings, 156983797 edges, 15296 markings/sec, 1165 secs
lola: STP completed || 20 tries, 19914802 fired transitions, 1170 secs || 16971151 markings, 157709291 edges, 15504 markings/sec, 1170 secs
lola: STP completed || 21 tries, 20003016 fired transitions, 1175 secs || 17047465 markings, 158425189 edges, 15263 markings/sec, 1175 secs
lola: STP completed || 21 tries, 20090722 fired transitions, 1180 secs || 17122933 markings, 159147219 edges, 15094 markings/sec, 1180 secs
lola: STP completed || 21 tries, 20178412 fired transitions, 1185 secs || 17199457 markings, 159854004 edges, 15305 markings/sec, 1185 secs
lola: STP completed || 21 tries, 20266580 fired transitions, 1190 secs || 17275709 markings, 160564275 edges, 15250 markings/sec, 1190 secs
lola: STP completed || 21 tries, 20354488 fired transitions, 1195 secs || 17350296 markings, 161278663 edges, 14917 markings/sec, 1195 secs
lola: STP completed || 21 tries, 20442995 fired transitions, 1200 secs || 17428778 markings, 162002197 edges, 15696 markings/sec, 1200 secs
lola: STP completed || 21 tries, 20531811 fired transitions, 1205 secs || 17507627 markings, 162732051 edges, 15770 markings/sec, 1205 secs
lola: STP completed || 21 tries, 20620449 fired transitions, 1210 secs || 17583531 markings, 163456217 edges, 15181 markings/sec, 1210 secs
lola: STP completed || 21 tries, 20709030 fired transitions, 1215 secs || 17659685 markings, 164183103 edges, 15231 markings/sec, 1215 secs
lola: STP completed || 21 tries, 20796127 fired transitions, 1220 secs || 17736582 markings, 164903491 edges, 15379 markings/sec, 1220 secs
lola: STP completed || 21 tries, 20883621 fired transitions, 1225 secs || 17814016 markings, 165628167 edges, 15487 markings/sec, 1225 secs
lola: STP completed || 21 tries, 20970789 fired transitions, 1230 secs || 17890576 markings, 166333653 edges, 15312 markings/sec, 1230 secs
lola: STP completed || 22 tries, 21058040 fired transitions, 1235 secs || 17965483 markings, 167041310 edges, 14981 markings/sec, 1235 secs
lola: STP completed || 22 tries, 21145494 fired transitions, 1240 secs || 18039400 markings, 167748164 edges, 14783 markings/sec, 1240 secs
lola: STP completed || 22 tries, 21233508 fired transitions, 1245 secs || 18115530 markings, 168466430 edges, 15226 markings/sec, 1245 secs
lola: STP completed || 22 tries, 21320494 fired transitions, 1250 secs || 18189048 markings, 169171451 edges, 14704 markings/sec, 1250 secs
lola: STP completed || 22 tries, 21405091 fired transitions, 1255 secs || 18261573 markings, 169849523 edges, 14505 markings/sec, 1255 secs
lola: STP completed || 22 tries, 21492130 fired transitions, 1260 secs || 18335150 markings, 170552078 edges, 14715 markings/sec, 1260 secs
lola: STP completed || 22 tries, 21579347 fired transitions, 1265 secs || 18411588 markings, 171255929 edges, 15288 markings/sec, 1265 secs
lola: STP completed || 22 tries, 21666687 fired transitions, 1270 secs || 18488658 markings, 171969095 edges, 15414 markings/sec, 1270 secs
lola: STP completed || 22 tries, 21753902 fired transitions, 1275 secs || 18564628 markings, 172687868 edges, 15194 markings/sec, 1275 secs
lola: STP completed || 22 tries, 21840801 fired transitions, 1280 secs || 18640440 markings, 173402413 edges, 15162 markings/sec, 1280 secs
lola: STP completed || 22 tries, 21927852 fired transitions, 1285 secs || 18717626 markings, 174112093 edges, 15437 markings/sec, 1285 secs
lola: STP completed || 23 tries, 22013193 fired transitions, 1290 secs || 18792243 markings, 174811168 edges, 14923 markings/sec, 1290 secs
lola: STP completed || 23 tries, 22092683 fired transitions, 1295 secs || 18862118 markings, 175461117 edges, 13975 markings/sec, 1295 secs
lola: STP completed || 23 tries, 22181641 fired transitions, 1300 secs || 18939271 markings, 176180821 edges, 15431 markings/sec, 1300 secs
lola: STP completed || 23 tries, 22270447 fired transitions, 1305 secs || 19016453 markings, 176904047 edges, 15436 markings/sec, 1305 secs
lola: STP completed || 23 tries, 22359382 fired transitions, 1310 secs || 19094916 markings, 177627992 edges, 15693 markings/sec, 1310 secs
lola: STP completed || 23 tries, 22442524 fired transitions, 1315 secs || 19165440 markings, 178291758 edges, 14105 markings/sec, 1315 secs
lola: STP completed || 23 tries, 22531219 fired transitions, 1320 secs || 19241297 markings, 179004477 edges, 15171 markings/sec, 1320 secs
lola: STP completed || 23 tries, 22619942 fired transitions, 1325 secs || 19317474 markings, 179722333 edges, 15235 markings/sec, 1325 secs
lola: STP completed || 23 tries, 22708737 fired transitions, 1330 secs || 19394979 markings, 180436436 edges, 15501 markings/sec, 1330 secs
lola: STP completed || 23 tries, 22796685 fired transitions, 1335 secs || 19470390 markings, 181141080 edges, 15082 markings/sec, 1335 secs
lola: STP completed || 23 tries, 22876163 fired transitions, 1340 secs || 19539601 markings, 181786889 edges, 13842 markings/sec, 1340 secs
lola: STP completed || 23 tries, 22964959 fired transitions, 1345 secs || 19615946 markings, 182516002 edges, 15269 markings/sec, 1345 secs
lola: STP completed || 24 tries, 23053396 fired transitions, 1350 secs || 19691803 markings, 183237509 edges, 15171 markings/sec, 1350 secs
lola: STP completed || 24 tries, 23142315 fired transitions, 1355 secs || 19769044 markings, 183964556 edges, 15448 markings/sec, 1355 secs
lola: STP completed || 24 tries, 23231208 fired transitions, 1360 secs || 19847747 markings, 184694523 edges, 15741 markings/sec, 1360 secs
lola: STP completed || 24 tries, 23319865 fired transitions, 1365 secs || 19923900 markings, 185413355 edges, 15231 markings/sec, 1365 secs
lola: STP completed || 24 tries, 23408188 fired transitions, 1370 secs || 20001191 markings, 186103834 edges, 15458 markings/sec, 1370 secs
lola: STP completed || 24 tries, 23497150 fired transitions, 1375 secs || 20078513 markings, 186823183 edges, 15464 markings/sec, 1375 secs
lola: STP completed || 24 tries, 23585996 fired transitions, 1380 secs || 20155275 markings, 187539961 edges, 15352 markings/sec, 1380 secs
lola: STP completed || 24 tries, 23675138 fired transitions, 1385 secs || 20233144 markings, 188267374 edges, 15574 markings/sec, 1385 secs
lola: STP completed || 24 tries, 23764050 fired transitions, 1390 secs || 20309511 markings, 188985932 edges, 15273 markings/sec, 1390 secs
lola: STP completed || 24 tries, 23853180 fired transitions, 1395 secs || 20386859 markings, 189713190 edges, 15470 markings/sec, 1395 secs
lola: STP completed || 24 tries, 23940796 fired transitions, 1400 secs || 20464102 markings, 190427275 edges, 15449 markings/sec, 1400 secs
lola: STP completed || 25 tries, 24019927 fired transitions, 1405 secs || 20533358 markings, 191074052 edges, 13851 markings/sec, 1405 secs
lola: STP completed || 25 tries, 24108011 fired transitions, 1410 secs || 20610732 markings, 191813106 edges, 15475 markings/sec, 1410 secs
lola: STP completed || 25 tries, 24196193 fired transitions, 1415 secs || 20688712 markings, 192551291 edges, 15596 markings/sec, 1415 secs
lola: STP completed || 25 tries, 24283141 fired transitions, 1420 secs || 20765618 markings, 193273983 edges, 15381 markings/sec, 1420 secs
lola: STP completed || 25 tries, 24370027 fired transitions, 1425 secs || 20843546 markings, 193992235 edges, 15586 markings/sec, 1425 secs
lola: STP completed || 25 tries, 24459034 fired transitions, 1430 secs || 20921504 markings, 194712452 edges, 15592 markings/sec, 1430 secs
lola: STP completed || 25 tries, 24548021 fired transitions, 1435 secs || 20998768 markings, 195438005 edges, 15453 markings/sec, 1435 secs
lola: STP completed || 25 tries, 24636258 fired transitions, 1440 secs || 21076067 markings, 196163847 edges, 15460 markings/sec, 1440 secs
lola: STP completed || 25 tries, 24723761 fired transitions, 1445 secs || 21151355 markings, 196879424 edges, 15058 markings/sec, 1445 secs
lola: STP completed || 25 tries, 24812746 fired transitions, 1450 secs || 21228826 markings, 197612666 edges, 15494 markings/sec, 1450 secs
lola: STP completed || 25 tries, 24901198 fired transitions, 1455 secs || 21305309 markings, 198337846 edges, 15297 markings/sec, 1455 secs
lola: STP completed || 25 tries, 24989094 fired transitions, 1460 secs || 21381961 markings, 199058949 edges, 15330 markings/sec, 1460 secs
lola: STP completed || 26 tries, 25076179 fired transitions, 1465 secs || 21457761 markings, 199784235 edges, 15160 markings/sec, 1465 secs
lola: STP completed || 26 tries, 25162868 fired transitions, 1470 secs || 21533134 markings, 200490383 edges, 15075 markings/sec, 1470 secs
lola: STP completed || 26 tries, 25249721 fired transitions, 1475 secs || 21609837 markings, 201217484 edges, 15341 markings/sec, 1475 secs
lola: STP completed || 26 tries, 25335668 fired transitions, 1480 secs || 21686145 markings, 201929629 edges, 15262 markings/sec, 1480 secs
lola: STP completed || 26 tries, 25422548 fired transitions, 1485 secs || 21765115 markings, 202651133 edges, 15794 markings/sec, 1485 secs
lola: STP completed || 26 tries, 25508998 fired transitions, 1490 secs || 21840190 markings, 203359624 edges, 15015 markings/sec, 1490 secs
lola: STP completed || 26 tries, 25597185 fired transitions, 1495 secs || 21916630 markings, 204077436 edges, 15288 markings/sec, 1495 secs
lola: STP completed || 26 tries, 25685667 fired transitions, 1500 secs || 21992661 markings, 204800268 edges, 15206 markings/sec, 1500 secs
lola: STP completed || 26 tries, 25773806 fired transitions, 1505 secs || 22069022 markings, 205526660 edges, 15272 markings/sec, 1505 secs
lola: STP completed || 26 tries, 25861946 fired transitions, 1510 secs || 22148160 markings, 206268182 edges, 15828 markings/sec, 1510 secs
lola: STP completed || 26 tries, 25950158 fired transitions, 1515 secs || 22224690 markings, 206992454 edges, 15306 markings/sec, 1515 secs
lola: STP completed || 27 tries, 26038117 fired transitions, 1520 secs || 22300925 markings, 207710056 edges, 15247 markings/sec, 1520 secs
lola: STP completed || 27 tries, 26125935 fired transitions, 1525 secs || 22377604 markings, 208446386 edges, 15336 markings/sec, 1525 secs
lola: STP completed || 27 tries, 26213978 fired transitions, 1530 secs || 22456018 markings, 209173759 edges, 15683 markings/sec, 1530 secs
lola: STP completed || 27 tries, 26295358 fired transitions, 1535 secs || 22526481 markings, 209838845 edges, 14093 markings/sec, 1535 secs
lola: STP completed || 27 tries, 26383200 fired transitions, 1540 secs || 22602463 markings, 210556775 edges, 15196 markings/sec, 1540 secs
lola: STP completed || 27 tries, 26462734 fired transitions, 1545 secs || 22670776 markings, 211191843 edges, 13663 markings/sec, 1545 secs
lola: STP completed || 27 tries, 26551330 fired transitions, 1550 secs || 22749270 markings, 211921111 edges, 15699 markings/sec, 1550 secs
lola: STP completed || 27 tries, 26640043 fired transitions, 1555 secs || 22826280 markings, 212641754 edges, 15402 markings/sec, 1555 secs
lola: STP completed || 27 tries, 26728757 fired transitions, 1560 secs || 22904781 markings, 213377639 edges, 15700 markings/sec, 1560 secs
lola: STP completed || 27 tries, 26817351 fired transitions, 1565 secs || 22983102 markings, 214110178 edges, 15664 markings/sec, 1565 secs
lola: STP completed || 27 tries, 26905791 fired transitions, 1570 secs || 23061297 markings, 214839100 edges, 15639 markings/sec, 1570 secs
lola: STP completed || 27 tries, 26994230 fired transitions, 1575 secs || 23137104 markings, 215548497 edges, 15161 markings/sec, 1575 secs
lola: STP completed || 28 tries, 27082773 fired transitions, 1580 secs || 23214175 markings, 216284924 edges, 15414 markings/sec, 1580 secs
lola: STP completed || 28 tries, 27171375 fired transitions, 1585 secs || 23292024 markings, 217023031 edges, 15570 markings/sec, 1585 secs
lola: STP completed || 28 tries, 27259586 fired transitions, 1590 secs || 23369663 markings, 217757061 edges, 15528 markings/sec, 1590 secs
lola: STP completed || 28 tries, 27348182 fired transitions, 1595 secs || 23449782 markings, 218497109 edges, 16024 markings/sec, 1595 secs
lola: STP completed || 28 tries, 27436593 fired transitions, 1600 secs || 23525878 markings, 219211069 edges, 15219 markings/sec, 1600 secs
lola: STP completed || 28 tries, 27525118 fired transitions, 1605 secs || 23604060 markings, 219936693 edges, 15636 markings/sec, 1605 secs
lola: STP completed || 28 tries, 27613782 fired transitions, 1610 secs || 23681908 markings, 220655049 edges, 15570 markings/sec, 1610 secs
lola: STP completed || 28 tries, 27702534 fired transitions, 1615 secs || 23759486 markings, 221372384 edges, 15516 markings/sec, 1615 secs
lola: STP completed || 28 tries, 27791549 fired transitions, 1620 secs || 23836135 markings, 222092916 edges, 15330 markings/sec, 1620 secs
lola: STP completed || 28 tries, 27880652 fired transitions, 1625 secs || 23913635 markings, 222818245 edges, 15500 markings/sec, 1625 secs
lola: STP completed || 28 tries, 27969449 fired transitions, 1630 secs || 23992464 markings, 223541367 edges, 15766 markings/sec, 1630 secs
lola: STP completed || 29 tries, 28058390 fired transitions, 1635 secs || 24068622 markings, 224263470 edges, 15232 markings/sec, 1635 secs
lola: STP completed || 29 tries, 28147302 fired transitions, 1640 secs || 24146164 markings, 224993197 edges, 15508 markings/sec, 1640 secs
lola: STP completed || 29 tries, 28236038 fired transitions, 1645 secs || 24221731 markings, 225719574 edges, 15113 markings/sec, 1645 secs
lola: STP completed || 29 tries, 28324827 fired transitions, 1650 secs || 24300062 markings, 226450709 edges, 15666 markings/sec, 1650 secs
lola: STP completed || 29 tries, 28413702 fired transitions, 1655 secs || 24377491 markings, 227168545 edges, 15486 markings/sec, 1655 secs
lola: STP completed || 29 tries, 28502564 fired transitions, 1660 secs || 24454273 markings, 227877781 edges, 15356 markings/sec, 1660 secs
lola: STP completed || 29 tries, 28591530 fired transitions, 1665 secs || 24530353 markings, 228592114 edges, 15216 markings/sec, 1665 secs
lola: STP completed || 29 tries, 28680112 fired transitions, 1670 secs || 24605637 markings, 229303989 edges, 15057 markings/sec, 1670 secs
lola: STP completed || 29 tries, 28768046 fired transitions, 1675 secs || 24681072 markings, 230014357 edges, 15087 markings/sec, 1675 secs
lola: STP completed || 29 tries, 28855862 fired transitions, 1680 secs || 24755149 markings, 230723377 edges, 14815 markings/sec, 1680 secs
lola: STP completed || 29 tries, 28944111 fired transitions, 1685 secs || 24831277 markings, 231439778 edges, 15226 markings/sec, 1685 secs
lola: STP completed || 30 tries, 29032437 fired transitions, 1690 secs || 24906514 markings, 232155407 edges, 15047 markings/sec, 1690 secs
lola: STP completed || 30 tries, 29120764 fired transitions, 1695 secs || 24981280 markings, 232862263 edges, 14953 markings/sec, 1695 secs
lola: STP completed || 30 tries, 29208861 fired transitions, 1700 secs || 25057553 markings, 233588934 edges, 15255 markings/sec, 1700 secs
lola: STP completed || 30 tries, 29296901 fired transitions, 1705 secs || 25135102 markings, 234306380 edges, 15510 markings/sec, 1705 secs
lola: STP completed || 30 tries, 29385047 fired transitions, 1710 secs || 25212618 markings, 235013851 edges, 15503 markings/sec, 1710 secs
lola: STP completed || 30 tries, 29473282 fired transitions, 1715 secs || 25288759 markings, 235734829 edges, 15228 markings/sec, 1715 secs
lola: STP completed || 30 tries, 29561234 fired transitions, 1720 secs || 25365396 markings, 236450391 edges, 15327 markings/sec, 1720 secs
lola: STP completed || 30 tries, 29649592 fired transitions, 1725 secs || 25443180 markings, 237170748 edges, 15557 markings/sec, 1725 secs
lola: STP completed || 30 tries, 29738021 fired transitions, 1730 secs || 25519363 markings, 237888958 edges, 15237 markings/sec, 1730 secs
lola: STP completed || 30 tries, 29826471 fired transitions, 1735 secs || 25595493 markings, 238610521 edges, 15226 markings/sec, 1735 secs
lola: STP completed || 30 tries, 29914633 fired transitions, 1740 secs || 25672318 markings, 239330333 edges, 15365 markings/sec, 1740 secs
lola: STP completed || 31 tries, 30002812 fired transitions, 1745 secs || 25747276 markings, 240028017 edges, 14992 markings/sec, 1745 secs
lola: STP completed || 31 tries, 30090979 fired transitions, 1750 secs || 25823501 markings, 240737167 edges, 15245 markings/sec, 1750 secs
lola: STP completed || 31 tries, 30179222 fired transitions, 1755 secs || 25899815 markings, 241451512 edges, 15263 markings/sec, 1755 secs
lola: STP completed || 31 tries, 30267474 fired transitions, 1760 secs || 25977387 markings, 242166030 edges, 15514 markings/sec, 1760 secs
lola: STP completed || 31 tries, 30356047 fired transitions, 1765 secs || 26054460 markings, 242887598 edges, 15415 markings/sec, 1765 secs
lola: STP completed || 31 tries, 30444850 fired transitions, 1770 secs || 26129472 markings, 243603124 edges, 15002 markings/sec, 1770 secs
lola: STP completed || 31 tries, 30532669 fired transitions, 1775 secs || 26204105 markings, 244303750 edges, 14927 markings/sec, 1775 secs
lola: STP completed || 31 tries, 30620642 fired transitions, 1780 secs || 26279964 markings, 245016990 edges, 15172 markings/sec, 1780 secs
lola: STP completed || 31 tries, 30708563 fired transitions, 1785 secs || 26354767 markings, 245726002 edges, 14961 markings/sec, 1785 secs
lola: STP completed || 31 tries, 30796937 fired transitions, 1790 secs || 26431336 markings, 246449199 edges, 15314 markings/sec, 1790 secs
lola: STP completed || 31 tries, 30884660 fired transitions, 1795 secs || 26505656 markings, 247158594 edges, 14864 markings/sec, 1795 secs
lola: STP completed || 31 tries, 30972648 fired transitions, 1800 secs || 26581317 markings, 247874504 edges, 15132 markings/sec, 1800 secs
lola: STP completed || 32 tries, 31060307 fired transitions, 1805 secs || 26657567 markings, 248584950 edges, 15250 markings/sec, 1805 secs
lola: STP completed || 32 tries, 31147684 fired transitions, 1810 secs || 26732995 markings, 249299001 edges, 15086 markings/sec, 1810 secs
lola: STP completed || 32 tries, 31236269 fired transitions, 1815 secs || 26809136 markings, 250022198 edges, 15228 markings/sec, 1815 secs
lola: STP completed || 32 tries, 31325015 fired transitions, 1820 secs || 26884884 markings, 250746995 edges, 15150 markings/sec, 1820 secs
lola: STP completed || 32 tries, 31413473 fired transitions, 1825 secs || 26961234 markings, 251466874 edges, 15270 markings/sec, 1825 secs
lola: STP completed || 32 tries, 31502072 fired transitions, 1830 secs || 27035265 markings, 252181637 edges, 14806 markings/sec, 1830 secs
lola: STP completed || 32 tries, 31590550 fired transitions, 1835 secs || 27112169 markings, 252893434 edges, 15381 markings/sec, 1835 secs
lola: STP completed || 32 tries, 31679086 fired transitions, 1840 secs || 27187602 markings, 253607119 edges, 15087 markings/sec, 1840 secs
lola: STP completed || 32 tries, 31767555 fired transitions, 1845 secs || 27265351 markings, 254330613 edges, 15550 markings/sec, 1845 secs
lola: STP completed || 32 tries, 31856200 fired transitions, 1850 secs || 27342685 markings, 255049345 edges, 15467 markings/sec, 1850 secs
lola: STP completed || 32 tries, 31944757 fired transitions, 1855 secs || 27419514 markings, 255761740 edges, 15366 markings/sec, 1855 secs
lola: STP completed || 33 tries, 32033096 fired transitions, 1860 secs || 27494346 markings, 256463810 edges, 14966 markings/sec, 1860 secs
lola: STP completed || 33 tries, 32121976 fired transitions, 1865 secs || 27570074 markings, 257182143 edges, 15146 markings/sec, 1865 secs
lola: STP completed || 33 tries, 32210149 fired transitions, 1870 secs || 27646374 markings, 257905296 edges, 15260 markings/sec, 1870 secs
lola: STP completed || 33 tries, 32298673 fired transitions, 1875 secs || 27724136 markings, 258618598 edges, 15552 markings/sec, 1875 secs
lola: STP completed || 33 tries, 32386626 fired transitions, 1880 secs || 27798766 markings, 259327287 edges, 14926 markings/sec, 1880 secs
lola: STP completed || 33 tries, 32475221 fired transitions, 1885 secs || 27876039 markings, 260050032 edges, 15455 markings/sec, 1885 secs
lola: STP completed || 33 tries, 32563060 fired transitions, 1890 secs || 27952538 markings, 260763688 edges, 15300 markings/sec, 1890 secs
lola: STP completed || 33 tries, 32651687 fired transitions, 1895 secs || 28029569 markings, 261471244 edges, 15406 markings/sec, 1895 secs
lola: STP completed || 33 tries, 32740384 fired transitions, 1900 secs || 28104529 markings, 262175329 edges, 14992 markings/sec, 1900 secs
lola: STP completed || 33 tries, 32828657 fired transitions, 1905 secs || 28179221 markings, 262880048 edges, 14938 markings/sec, 1905 secs
lola: STP completed || 33 tries, 32917442 fired transitions, 1910 secs || 28256504 markings, 263584675 edges, 15457 markings/sec, 1910 secs
lola: STP completed || 34 tries, 33002018 fired transitions, 1915 secs || 28328253 markings, 264254695 edges, 14350 markings/sec, 1915 secs
lola: STP completed || 34 tries, 33081046 fired transitions, 1920 secs || 28397006 markings, 264899345 edges, 13751 markings/sec, 1920 secs
lola: STP completed || 34 tries, 33160179 fired transitions, 1925 secs || 28464379 markings, 265533090 edges, 13475 markings/sec, 1925 secs
lola: STP completed || 34 tries, 33239160 fired transitions, 1930 secs || 28532947 markings, 266163977 edges, 13714 markings/sec, 1930 secs
lola: STP completed || 34 tries, 33317991 fired transitions, 1935 secs || 28602272 markings, 266809516 edges, 13865 markings/sec, 1935 secs
lola: STP completed || 34 tries, 33397071 fired transitions, 1940 secs || 28670413 markings, 267440799 edges, 13628 markings/sec, 1940 secs
lola: STP completed || 34 tries, 33476269 fired transitions, 1945 secs || 28737657 markings, 268078969 edges, 13449 markings/sec, 1945 secs
lola: STP completed || 34 tries, 33555509 fired transitions, 1950 secs || 28805036 markings, 268718708 edges, 13476 markings/sec, 1950 secs
lola: STP completed || 34 tries, 33634869 fired transitions, 1955 secs || 28872495 markings, 269351889 edges, 13492 markings/sec, 1955 secs
lola: STP completed || 34 tries, 33713561 fired transitions, 1960 secs || 28938911 markings, 269988479 edges, 13283 markings/sec, 1960 secs
lola: STP completed || 34 tries, 33792444 fired transitions, 1965 secs || 29006008 markings, 270623663 edges, 13419 markings/sec, 1965 secs
lola: STP completed || 34 tries, 33871374 fired transitions, 1970 secs || 29073543 markings, 271253930 edges, 13507 markings/sec, 1970 secs
lola: STP completed || 34 tries, 33950453 fired transitions, 1975 secs || 29142118 markings, 271893239 edges, 13715 markings/sec, 1975 secs
lola: STP completed || 35 tries, 34029320 fired transitions, 1980 secs || 29208352 markings, 272515983 edges, 13247 markings/sec, 1980 secs
lola: STP completed || 35 tries, 34108030 fired transitions, 1985 secs || 29275478 markings, 273148223 edges, 13425 markings/sec, 1985 secs
lola: STP completed || 35 tries, 34186272 fired transitions, 1990 secs || 29341486 markings, 273773176 edges, 13202 markings/sec, 1990 secs
lola: STP completed || 35 tries, 34264215 fired transitions, 1995 secs || 29407597 markings, 274395615 edges, 13222 markings/sec, 1995 secs
lola: STP completed || 35 tries, 34342401 fired transitions, 2000 secs || 29475406 markings, 275040149 edges, 13562 markings/sec, 2000 secs
lola: STP completed || 35 tries, 34420944 fired transitions, 2005 secs || 29542764 markings, 275673534 edges, 13472 markings/sec, 2005 secs
lola: STP completed || 35 tries, 34499608 fired transitions, 2010 secs || 29610560 markings, 276308851 edges, 13559 markings/sec, 2010 secs
lola: STP completed || 35 tries, 34578264 fired transitions, 2015 secs || 29677165 markings, 276931851 edges, 13321 markings/sec, 2015 secs
lola: STP completed || 35 tries, 34656839 fired transitions, 2020 secs || 29745587 markings, 277556695 edges, 13684 markings/sec, 2020 secs
lola: STP completed || 35 tries, 34735206 fired transitions, 2025 secs || 29812188 markings, 278185786 edges, 13320 markings/sec, 2025 secs
lola: STP completed || 35 tries, 34813915 fired transitions, 2030 secs || 29879644 markings, 278817520 edges, 13491 markings/sec, 2030 secs
lola: STP completed || 35 tries, 34892554 fired transitions, 2035 secs || 29946956 markings, 279444376 edges, 13462 markings/sec, 2035 secs
lola: STP completed || 35 tries, 34971240 fired transitions, 2040 secs || 30012812 markings, 280068205 edges, 13171 markings/sec, 2040 secs
lola: STP completed || 36 tries, 35050510 fired transitions, 2045 secs || 30078509 markings, 280696213 edges, 13139 markings/sec, 2045 secs
lola: STP completed || 36 tries, 35129924 fired transitions, 2050 secs || 30146964 markings, 281329328 edges, 13691 markings/sec, 2050 secs
lola: STP completed || 36 tries, 35209811 fired transitions, 2055 secs || 30214807 markings, 281975804 edges, 13569 markings/sec, 2055 secs
lola: STP completed || 36 tries, 35298494 fired transitions, 2060 secs || 30290791 markings, 282681368 edges, 15197 markings/sec, 2060 secs
lola: STP completed || 36 tries, 35386624 fired transitions, 2065 secs || 30365388 markings, 283388959 edges, 14919 markings/sec, 2065 secs
lola: STP completed || 36 tries, 35474515 fired transitions, 2070 secs || 30441014 markings, 284095160 edges, 15125 markings/sec, 2070 secs
lola: STP completed || 36 tries, 35562860 fired transitions, 2075 secs || 30517411 markings, 284806572 edges, 15279 markings/sec, 2075 secs
lola: STP completed || 36 tries, 35650579 fired transitions, 2080 secs || 30592687 markings, 285513871 edges, 15055 markings/sec, 2080 secs
lola: STP completed || 36 tries, 35739018 fired transitions, 2085 secs || 30668522 markings, 286220543 edges, 15167 markings/sec, 2085 secs
lola: STP completed || 36 tries, 35827704 fired transitions, 2090 secs || 30744951 markings, 286929442 edges, 15286 markings/sec, 2090 secs
lola: STP completed || 36 tries, 35916719 fired transitions, 2095 secs || 30819630 markings, 287634499 edges, 14936 markings/sec, 2095 secs
lola: STP completed || 37 tries, 36005508 fired transitions, 2100 secs || 30895013 markings, 288348988 edges, 15077 markings/sec, 2100 secs
lola: STP completed || 37 tries, 36094401 fired transitions, 2105 secs || 30970701 markings, 289065229 edges, 15138 markings/sec, 2105 secs
lola: STP completed || 37 tries, 36183187 fired transitions, 2110 secs || 31046811 markings, 289778215 edges, 15222 markings/sec, 2110 secs
lola: STP completed || 37 tries, 36271765 fired transitions, 2115 secs || 31122512 markings, 290495295 edges, 15140 markings/sec, 2115 secs
lola: STP completed || 37 tries, 36360173 fired transitions, 2120 secs || 31198636 markings, 291206883 edges, 15225 markings/sec, 2120 secs
lola: STP completed || 37 tries, 36449090 fired transitions, 2125 secs || 31276192 markings, 291923119 edges, 15511 markings/sec, 2125 secs
lola: STP completed || 37 tries, 36536691 fired transitions, 2130 secs || 31350860 markings, 292625847 edges, 14934 markings/sec, 2130 secs
lola: STP completed || 37 tries, 36624040 fired transitions, 2135 secs || 31425735 markings, 293326566 edges, 14975 markings/sec, 2135 secs
lola: STP completed || 37 tries, 36712239 fired transitions, 2140 secs || 31500745 markings, 294033386 edges, 15002 markings/sec, 2140 secs
lola: STP completed || 37 tries, 36800802 fired transitions, 2145 secs || 31575479 markings, 294740973 edges, 14947 markings/sec, 2145 secs
lola: STP completed || 37 tries, 36889638 fired transitions, 2150 secs || 31651602 markings, 295459556 edges, 15225 markings/sec, 2150 secs
lola: STP completed || 37 tries, 36977487 fired transitions, 2155 secs || 31724687 markings, 296161276 edges, 14617 markings/sec, 2155 secs
lola: STP completed || 38 tries, 37065785 fired transitions, 2160 secs || 31802402 markings, 296882997 edges, 15543 markings/sec, 2160 secs
lola: STP completed || 38 tries, 37154172 fired transitions, 2165 secs || 31878652 markings, 297593332 edges, 15250 markings/sec, 2165 secs
lola: STP completed || 38 tries, 37243296 fired transitions, 2170 secs || 31954376 markings, 298317464 edges, 15145 markings/sec, 2170 secs
lola: STP completed || 38 tries, 37331831 fired transitions, 2175 secs || 32031580 markings, 299041086 edges, 15441 markings/sec, 2175 secs
lola: STP completed || 38 tries, 37420687 fired transitions, 2180 secs || 32109836 markings, 299770439 edges, 15651 markings/sec, 2180 secs
lola: STP completed || 38 tries, 37509310 fired transitions, 2185 secs || 32186590 markings, 300490146 edges, 15351 markings/sec, 2185 secs
lola: STP completed || 38 tries, 37597679 fired transitions, 2190 secs || 32264040 markings, 301213581 edges, 15490 markings/sec, 2190 secs
lola: STP completed || 38 tries, 37686037 fired transitions, 2195 secs || 32340939 markings, 301914155 edges, 15380 markings/sec, 2195 secs
lola: STP completed || 38 tries, 37774753 fired transitions, 2200 secs || 32415653 markings, 302627556 edges, 14943 markings/sec, 2200 secs
lola: STP completed || 38 tries, 37863263 fired transitions, 2205 secs || 32491402 markings, 303350528 edges, 15150 markings/sec, 2205 secs
lola: STP completed || 38 tries, 37951696 fired transitions, 2210 secs || 32566516 markings, 304060154 edges, 15023 markings/sec, 2210 secs
lola: STP completed || 39 tries, 38040213 fired transitions, 2215 secs || 32642337 markings, 304774573 edges, 15164 markings/sec, 2215 secs
lola: STP completed || 39 tries, 38129123 fired transitions, 2220 secs || 32719097 markings, 305490704 edges, 15352 markings/sec, 2220 secs
lola: STP completed || 39 tries, 38217634 fired transitions, 2225 secs || 32795470 markings, 306204522 edges, 15275 markings/sec, 2225 secs
lola: STP completed || 39 tries, 38306656 fired transitions, 2230 secs || 32872539 markings, 306922807 edges, 15414 markings/sec, 2230 secs
lola: STP completed || 39 tries, 38395391 fired transitions, 2235 secs || 32949044 markings, 307636539 edges, 15301 markings/sec, 2235 secs
lola: STP completed || 39 tries, 38483964 fired transitions, 2240 secs || 33027076 markings, 308353157 edges, 15606 markings/sec, 2240 secs
lola: STP completed || 39 tries, 38572755 fired transitions, 2245 secs || 33104004 markings, 309069694 edges, 15386 markings/sec, 2245 secs
lola: STP completed || 39 tries, 38661414 fired transitions, 2250 secs || 33179695 markings, 309794301 edges, 15138 markings/sec, 2250 secs
lola: STP completed || 39 tries, 38750088 fired transitions, 2255 secs || 33256103 markings, 310509090 edges, 15282 markings/sec, 2255 secs
lola: STP completed || 39 tries, 38838498 fired transitions, 2260 secs || 33331094 markings, 311219309 edges, 14998 markings/sec, 2260 secs
lola: STP completed || 39 tries, 38927629 fired transitions, 2265 secs || 33406787 markings, 311939541 edges, 15139 markings/sec, 2265 secs
lola: STP completed || 40 tries, 39016222 fired transitions, 2270 secs || 33482607 markings, 312655310 edges, 15164 markings/sec, 2270 secs
lola: STP completed || 40 tries, 39105196 fired transitions, 2275 secs || 33559565 markings, 313376697 edges, 15392 markings/sec, 2275 secs
lola: STP completed || 40 tries, 39194128 fired transitions, 2280 secs || 33635786 markings, 314092778 edges, 15244 markings/sec, 2280 secs
lola: STP completed || 40 tries, 39283174 fired transitions, 2285 secs || 33711046 markings, 314811905 edges, 15052 markings/sec, 2285 secs
lola: STP completed || 40 tries, 39371958 fired transitions, 2290 secs || 33786502 markings, 315526570 edges, 15091 markings/sec, 2290 secs
lola: STP completed || 40 tries, 39460314 fired transitions, 2295 secs || 33862749 markings, 316249511 edges, 15249 markings/sec, 2295 secs
lola: STP completed || 40 tries, 39549098 fired transitions, 2300 secs || 33938719 markings, 316956782 edges, 15194 markings/sec, 2300 secs
lola: STP completed || 40 tries, 39637200 fired transitions, 2305 secs || 34013138 markings, 317663696 edges, 14884 markings/sec, 2305 secs
lola: STP completed || 40 tries, 39725906 fired transitions, 2310 secs || 34088114 markings, 318381351 edges, 14995 markings/sec, 2310 secs
lola: STP completed || 40 tries, 39814668 fired transitions, 2315 secs || 34164096 markings, 319102605 edges, 15196 markings/sec, 2315 secs
lola: STP completed || 40 tries, 39903441 fired transitions, 2320 secs || 34240978 markings, 319824223 edges, 15376 markings/sec, 2320 secs
lola: STP completed || 40 tries, 39991828 fired transitions, 2325 secs || 34318084 markings, 320539741 edges, 15421 markings/sec, 2325 secs
lola: STP completed || 41 tries, 40080243 fired transitions, 2330 secs || 34396630 markings, 321249270 edges, 15709 markings/sec, 2330 secs
lola: STP completed || 41 tries, 40168027 fired transitions, 2335 secs || 34472103 markings, 321953156 edges, 15095 markings/sec, 2335 secs
lola: STP completed || 41 tries, 40256346 fired transitions, 2340 secs || 34549238 markings, 322661192 edges, 15427 markings/sec, 2340 secs
lola: STP completed || 41 tries, 40344556 fired transitions, 2345 secs || 34625021 markings, 323369363 edges, 15157 markings/sec, 2345 secs
lola: STP completed || 41 tries, 40432099 fired transitions, 2350 secs || 34698076 markings, 324073815 edges, 14611 markings/sec, 2350 secs
lola: STP completed || 41 tries, 40520259 fired transitions, 2355 secs || 34773643 markings, 324781207 edges, 15113 markings/sec, 2355 secs
lola: STP completed || 41 tries, 40608400 fired transitions, 2360 secs || 34849915 markings, 325489993 edges, 15254 markings/sec, 2360 secs
lola: STP completed || 41 tries, 40696698 fired transitions, 2365 secs || 34927214 markings, 326201776 edges, 15460 markings/sec, 2365 secs
lola: STP completed || 41 tries, 40785215 fired transitions, 2370 secs || 35003377 markings, 326909705 edges, 15233 markings/sec, 2370 secs
lola: STP completed || 41 tries, 40870817 fired transitions, 2375 secs || 35077388 markings, 327601832 edges, 14802 markings/sec, 2375 secs
lola: STP completed || 41 tries, 40958145 fired transitions, 2380 secs || 35151998 markings, 328305656 edges, 14922 markings/sec, 2380 secs
lola: STP completed || 42 tries, 41046743 fired transitions, 2385 secs || 35227672 markings, 329025621 edges, 15135 markings/sec, 2385 secs
lola: STP completed || 42 tries, 41126945 fired transitions, 2390 secs || 35296385 markings, 329669551 edges, 13743 markings/sec, 2390 secs
lola: STP completed || 42 tries, 41214124 fired transitions, 2395 secs || 35372444 markings, 330379393 edges, 15212 markings/sec, 2395 secs
lola: STP completed || 42 tries, 41301435 fired transitions, 2400 secs || 35447135 markings, 331078443 edges, 14938 markings/sec, 2400 secs
lola: STP completed || 42 tries, 41389265 fired transitions, 2405 secs || 35523883 markings, 331787723 edges, 15350 markings/sec, 2405 secs
lola: STP completed || 42 tries, 41476471 fired transitions, 2410 secs || 35599177 markings, 332496514 edges, 15059 markings/sec, 2410 secs
lola: STP completed || 42 tries, 41563147 fired transitions, 2415 secs || 35673786 markings, 333195275 edges, 14922 markings/sec, 2415 secs
lola: STP completed || 42 tries, 41649965 fired transitions, 2420 secs || 35747944 markings, 333891728 edges, 14832 markings/sec, 2420 secs
lola: STP completed || 42 tries, 41737002 fired transitions, 2425 secs || 35823389 markings, 334602218 edges, 15089 markings/sec, 2425 secs
lola: STP completed || 42 tries, 41823501 fired transitions, 2430 secs || 35897567 markings, 335307375 edges, 14836 markings/sec, 2430 secs
lola: STP completed || 42 tries, 41910936 fired transitions, 2435 secs || 35972975 markings, 336015819 edges, 15082 markings/sec, 2435 secs
lola: STP completed || 42 tries, 41998383 fired transitions, 2440 secs || 36046262 markings, 336716274 edges, 14657 markings/sec, 2440 secs
lola: STP completed || 43 tries, 42085291 fired transitions, 2445 secs || 36119619 markings, 337417021 edges, 14671 markings/sec, 2445 secs
lola: STP completed || 43 tries, 42172185 fired transitions, 2450 secs || 36192239 markings, 338105939 edges, 14524 markings/sec, 2450 secs
lola: STP completed || 43 tries, 42258707 fired transitions, 2455 secs || 36266785 markings, 338798927 edges, 14909 markings/sec, 2455 secs
lola: STP completed || 43 tries, 42345763 fired transitions, 2460 secs || 36341547 markings, 339487270 edges, 14952 markings/sec, 2460 secs
lola: STP completed || 43 tries, 42432869 fired transitions, 2465 secs || 36416934 markings, 340184970 edges, 15077 markings/sec, 2465 secs
lola: STP completed || 43 tries, 42520076 fired transitions, 2470 secs || 36491047 markings, 340883466 edges, 14823 markings/sec, 2470 secs
lola: STP completed || 43 tries, 42606714 fired transitions, 2475 secs || 36565777 markings, 341585531 edges, 14946 markings/sec, 2475 secs
lola: STP completed || 43 tries, 42693679 fired transitions, 2480 secs || 36641393 markings, 342281538 edges, 15123 markings/sec, 2480 secs
lola: STP completed || 43 tries, 42780992 fired transitions, 2485 secs || 36716592 markings, 342985764 edges, 15040 markings/sec, 2485 secs
lola: STP completed || 43 tries, 42867843 fired transitions, 2490 secs || 36790460 markings, 343674839 edges, 14774 markings/sec, 2490 secs
lola: STP completed || 43 tries, 42954773 fired transitions, 2495 secs || 36864143 markings, 344363832 edges, 14737 markings/sec, 2495 secs
lola: STP completed || 44 tries, 43042761 fired transitions, 2500 secs || 36938325 markings, 345067280 edges, 14836 markings/sec, 2500 secs
lola: STP completed || 44 tries, 43131207 fired transitions, 2505 secs || 37012998 markings, 345777075 edges, 14935 markings/sec, 2505 secs
lola: STP completed || 44 tries, 43219584 fired transitions, 2510 secs || 37089879 markings, 346483964 edges, 15376 markings/sec, 2510 secs
lola: STP completed || 44 tries, 43308206 fired transitions, 2515 secs || 37166559 markings, 347193232 edges, 15336 markings/sec, 2515 secs
lola: STP completed || 44 tries, 43396676 fired transitions, 2520 secs || 37241379 markings, 347912056 edges, 14964 markings/sec, 2520 secs
lola: STP completed || 44 tries, 43485184 fired transitions, 2525 secs || 37316959 markings, 348634144 edges, 15116 markings/sec, 2525 secs
lola: STP completed || 44 tries, 43570897 fired transitions, 2530 secs || 37392300 markings, 349347201 edges, 15068 markings/sec, 2530 secs
lola: STP completed || 44 tries, 43656351 fired transitions, 2535 secs || 37466825 markings, 350048133 edges, 14905 markings/sec, 2535 secs
lola: STP completed || 44 tries, 43744899 fired transitions, 2540 secs || 37545251 markings, 350785009 edges, 15685 markings/sec, 2540 secs
lola: STP completed || 44 tries, 43832716 fired transitions, 2545 secs || 37622900 markings, 351499283 edges, 15530 markings/sec, 2545 secs
lola: STP completed || 44 tries, 43921086 fired transitions, 2550 secs || 37700947 markings, 352227148 edges, 15609 markings/sec, 2550 secs
lola: STP completed || 45 tries, 44006645 fired transitions, 2555 secs || 37776306 markings, 352924432 edges, 15072 markings/sec, 2555 secs
lola: STP completed || 45 tries, 44094849 fired transitions, 2560 secs || 37853055 markings, 353646532 edges, 15350 markings/sec, 2560 secs
lola: STP completed || 45 tries, 44175570 fired transitions, 2565 secs || 37924244 markings, 354307887 edges, 14238 markings/sec, 2565 secs
lola: STP completed || 45 tries, 44257671 fired transitions, 2570 secs || 37993292 markings, 354947850 edges, 13810 markings/sec, 2570 secs
lola: STP completed || 45 tries, 44312080 fired transitions, 2575 secs || 38011335 markings, 355127134 edges, 3609 markings/sec, 2575 secs
lola: STP completed || 45 tries, 44378311 fired transitions, 2580 secs || 38011957 markings, 355132603 edges, 124 markings/sec, 2580 secs
lola: STP completed || 45 tries, 44454242 fired transitions, 2585 secs || 38012922 markings, 355142264 edges, 193 markings/sec, 2585 secs
Killed
FORMULA Raft-PT-08-ReachabilityDeadlock-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN
----- Kill lola and sara stderr -----
----- Kill lola and sara stdout -----
----- Finished stderr -----
----- Finished stdout -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Raft-PT-08"
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/Raft-PT-08.tgz
mv Raft-PT-08 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 Raft-PT-08, 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 r142-qhx2-152673583700153"
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 ;