MCC'2018 - Execution of r071-smll-152649743900097

About the Execution of M4M.struct for DLCround-PT-09b

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
5817.120	1280750.00	2525465.00	3966.10	T	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
........................
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
==
Generated by BenchKit 2-3637
Executing tool
Input is DLCround-PT-09b,
Time confinement
Memory confinement
Number of cores is 4
Run identifier
========================

--------------------
content from stdout:

=== Data for post

The expected result
BOOL_VECTOR

here is the order
FORMULA_NAME DLCround-PT

=== Now, execution

BK_START 1526683238013

BK_STOP 1526684518763

--------------------
content from stderr:

Prefix is 75f5f979.
Reading known information
Reading learned
Reading value translations
Using directory
Using DLCround-PT-09b
Using DLCround as model name.
Using algorithm
Model characteristics
Known tools are:
Learned tools are:
Learned tool lola
ReachabilityDeadlock
----- Start make

Time: 3600 - MCC
----- Start make
========================
DLCround-PT-09b:
========================
translating PT Petri net complete

checking for too many tokens
========================
DLCround-PT-09b:
========================
translating formula complete
touch formulae;
----- Start make
----- Start make
ReachabilityDeadlock
----- Start make
----- Start make
lola: NET
lola: reading
lola: finished parsing
lola: closed
lola: 8934/65536
lola: preprocessing...
lola: finding
lola: 3495 places,
lola: computing
lola: computing
lola: 7698 transition
lola: TASK
lola: reading
lola: E (F (DEADLOCK))
lola: E (F (DEADLOCK))
lola: checking
lola: Planning:
lola: STORE
lola: using a
lola: using 416
lola: using a
lola: SEARCH (state space)
lola: state space:
lola: state space:
lola: SEARCH (findpath)
lola: findpath:
lola: RUNNING
lola: findpath:
lola: findpath:
lola: findpath:
lola: findpath:
lola: computing
lola: time limit
lola: computed
lola: representing
lola: 0 dead
lola: STP: formula
lola: stp: The
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: RESULT
lola: result: yes
lola: produced by: findpath
lola: The net has deadlock(s).
FORMULA DLCround-PT-0
----- Kill
----- Kill lola
----- Finished stdout -----
----- Finished stderr -----
be ready (probing ssh) ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... users 3.5K May 15 18:54 CTLCardinality.txt 19K May 15 18:54 CTLCardinality.xml users 2.5K May 15 18:54 CTLFireability.txt 16K May 15 18:54 CTLFireability.xml users 4.0K May 15 18:50 GenericPropertiesDefinition.xml users 5.9K May 15 18:50 GenericPropertiesVerdict.xml users 2.3K May 15 18:54 LTLCardinality.txt users 9.9K May 15 18:54 LTLCardinality.xml users 1.9K May 15 18:54 LTLFireability.txt users 9.2K May 15 18:54 LTLFireability.xml users 3.6K May 15 18:54 ReachabilityCardinality.txt 19K May 15 18:54 ReachabilityCardinality.xml 106 May 15 18:54 ReachabilityDeadlock.txt 344 May 15 18:54 ReachabilityDeadlock.xml users 2.8K May 15 18:54 ReachabilityFireability.txt 17K May 15 18:54 ReachabilityFireability.xml users 1.6K May 15 18:54 UpperBounds.txt users 3.6K May 15 18:54 UpperBounds.xml 6 May 15 18:50 equiv_col 4 May 15 18:50 instance 6 May 15 18:50 iscolored users 1.3M May 15 18:50 model.pnml =================================================================== mcc4mcc-structural examination is ReachabilityDeadlock is 3600 seconds is 16384 MBytes is r071-smll-152649743900097 ============================================= analysis generated by BenchKit (invocation template) is a vector of booleans used to build the result vector(from text file) -09b-ReachabilityDeadlock-0 of the tool begins in /usr/share/mcc4mcc/75f5f979-known.json. information in /usr/share/mcc4mcc/75f5f979-learned.json. in /usr/share/mcc4mcc/75f5f979-values.json. /home/mcc/execution for input, as it contains a model.pnml file. as instance name. or tool decision-tree. 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}. [{'Time': 669627, 'Memory': 3391.4, 'Tool': 'lola'}]. [{'Tool': 'lola'}]. is 1.0x far from the best tool lola. lola DLCround-PT-09b... prepare stderr ----- prepare stdout ----- =================================================================== translating PT Petri net model.pnml into LoLA format =================================================================== =================================================================== translating PT formula ReachabilityDeadlock into LoLA format =================================================================== result stdout ----- result stderr ----- @ DLCround-PT-09b @ 3540 seconds result stderr ----- result stdout ----- net from model.pnml.lola net file model.pnml.lola symbol table entries, 2001 collisions significant places 5439 transitions, 3311 significant places forward-conflicting sets back-conflicting sets conflict sets formula from DLCround-PT-09b-ReachabilityDeadlock.task reachability of deadlocks workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par) bit-perfect encoder (--encoder=bit) bytes per marking, with 17 unused bits prefix tree store (--store=prefix) using reachability graph (--search=depth) using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan) using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan) starting randomized, memory-less exploration (--search=findpath) searching for paths with maximal depth 1000000 (--depthlimit) no retry limit given (--retrylimit) transitions are chosen randomly symmetries (--symmetry) for symmetry computation of 300 seconds given (--symmtimelimit) 14 generators (14 in search tree, 0 by composition) 16384 symmetries branches visited in search tree with 109154 variables and 328259 clauses shipped to Minisat siphon/trap property does not hold 1 tries, 138914 fired transitions, 0 secs || 109973 markings, 123458 edges, 21995 markings/sec, 0 secs 1 tries, 278107 fired transitions, 5 secs || 238576 markings, 272347 edges, 25721 markings/sec, 5 secs 1 tries, 415261 fired transitions, 10 secs || 355442 markings, 405745 edges, 23373 markings/sec, 10 secs 1 tries, 554178 fired transitions, 15 secs || 481764 markings, 551846 edges, 25264 markings/sec, 15 secs 1 tries, 692091 fired transitions, 20 secs || 605364 markings, 692922 edges, 24720 markings/sec, 20 secs 1 tries, 831180 fired transitions, 25 secs || 729692 markings, 835701 edges, 24866 markings/sec, 25 secs 1 tries, 969245 fired transitions, 30 secs || 854000 markings, 978767 edges, 24862 markings/sec, 30 secs 2 tries, 1109306 fired transitions, 35 secs || 978529 markings, 1121881 edges, 24906 markings/sec, 35 secs 2 tries, 1247665 fired transitions, 40 secs || 1109038 markings, 1272826 edges, 26102 markings/sec, 40 secs 2 tries, 1384289 fired transitions, 45 secs || 1225692 markings, 1405271 edges, 23331 markings/sec, 45 secs 2 tries, 1522977 fired transitions, 50 secs || 1341111 markings, 1534714 edges, 23084 markings/sec, 50 secs 2 tries, 1662100 fired transitions, 55 secs || 1462689 markings, 1671591 edges, 24316 markings/sec, 55 secs 2 tries, 1800517 fired transitions, 60 secs || 1578172 markings, 1803790 edges, 23097 markings/sec, 60 secs 2 tries, 1939691 fired transitions, 65 secs || 1704207 markings, 1952019 edges, 25207 markings/sec, 65 secs 3 tries, 2079255 fired transitions, 70 secs || 1831115 markings, 2100393 edges, 25382 markings/sec, 70 secs 3 tries, 2219395 fired transitions, 75 secs || 1957856 markings, 2248415 edges, 25348 markings/sec, 75 secs 3 tries, 2359388 fired transitions, 80 secs || 2084486 markings, 2397237 edges, 25326 markings/sec, 80 secs 3 tries, 2498707 fired transitions, 85 secs || 2197059 markings, 2525624 edges, 22515 markings/sec, 85 secs 3 tries, 2638775 fired transitions, 90 secs || 2314055 markings, 2658657 edges, 23399 markings/sec, 90 secs 3 tries, 2776903 fired transitions, 95 secs || 2431493 markings, 2793207 edges, 23488 markings/sec, 95 secs 3 tries, 2915271 fired transitions, 100 secs || 2552789 markings, 2933832 edges, 24259 markings/sec, 100 secs 4 tries, 3056678 fired transitions, 105 secs || 2678967 markings, 3081357 edges, 25236 markings/sec, 105 secs 4 tries, 3195875 fired transitions, 110 secs || 2804398 markings, 3227382 edges, 25086 markings/sec, 110 secs 4 tries, 3334453 fired transitions, 115 secs || 2929270 markings, 3372554 edges, 24974 markings/sec, 115 secs 4 tries, 3476274 fired transitions, 120 secs || 3043586 markings, 3504035 edges, 22863 markings/sec, 120 secs 4 tries, 3617531 fired transitions, 125 secs || 3159257 markings, 3637429 edges, 23134 markings/sec, 125 secs 4 tries, 3760830 fired transitions, 130 secs || 3277914 markings, 3774717 edges, 23731 markings/sec, 130 secs 4 tries, 3904590 fired transitions, 135 secs || 3404937 markings, 3922942 edges, 25405 markings/sec, 135 secs 5 tries, 4046554 fired transitions, 140 secs || 3521868 markings, 4058391 edges, 23386 markings/sec, 140 secs 5 tries, 4188298 fired transitions, 145 secs || 3643452 markings, 4200808 edges, 24317 markings/sec, 145 secs 5 tries, 4332653 fired transitions, 150 secs || 3753374 markings, 4327574 edges, 21984 markings/sec, 150 secs 5 tries, 4470616 fired transitions, 155 secs || 3869700 markings, 4464604 edges, 23265 markings/sec, 155 secs 5 tries, 4610931 fired transitions, 160 secs || 3989599 markings, 4605669 edges, 23980 markings/sec, 160 secs 5 tries, 4752391 fired transitions, 165 secs || 4112786 markings, 4750388 edges, 24637 markings/sec, 165 secs 5 tries, 4893115 fired transitions, 170 secs || 4240231 markings, 4900048 edges, 25489 markings/sec, 170 secs 6 tries, 5033672 fired transitions, 175 secs || 4362828 markings, 5043394 edges, 24519 markings/sec, 175 secs 6 tries, 5172700 fired transitions, 180 secs || 4484084 markings, 5184886 edges, 24251 markings/sec, 180 secs 6 tries, 5310760 fired transitions, 185 secs || 4604510 markings, 5324978 edges, 24085 markings/sec, 185 secs 6 tries, 5449589 fired transitions, 190 secs || 4727814 markings, 5469387 edges, 24661 markings/sec, 190 secs 6 tries, 5588292 fired transitions, 195 secs || 4851983 markings, 5615999 edges, 24834 markings/sec, 195 secs 6 tries, 5727973 fired transitions, 200 secs || 4977303 markings, 5763359 edges, 25064 markings/sec, 200 secs 6 tries, 5866246 fired transitions, 205 secs || 5091371 markings, 5893471 edges, 22814 markings/sec, 205 secs 7 tries, 6008520 fired transitions, 210 secs || 5224704 markings, 6052170 edges, 26667 markings/sec, 210 secs 7 tries, 6145221 fired transitions, 215 secs || 5353657 markings, 6205936 edges, 25791 markings/sec, 215 secs 7 tries, 6283848 fired transitions, 220 secs || 5473681 markings, 6347006 edges, 24005 markings/sec, 220 secs 7 tries, 6420574 fired transitions, 225 secs || 5598852 markings, 6495924 edges, 25034 markings/sec, 225 secs 7 tries, 6559163 fired transitions, 230 secs || 5725304 markings, 6647225 edges, 25290 markings/sec, 230 secs 7 tries, 6698856 fired transitions, 235 secs || 5837556 markings, 6776866 edges, 22450 markings/sec, 235 secs 7 tries, 6836482 fired transitions, 240 secs || 5954600 markings, 6914358 edges, 23409 markings/sec, 240 secs 7 tries, 6975497 fired transitions, 245 secs || 6075953 markings, 7057815 edges, 24271 markings/sec, 245 secs 8 tries, 7118255 fired transitions, 250 secs || 6195282 markings, 7195477 edges, 23866 markings/sec, 250 secs 8 tries, 7259182 fired transitions, 255 secs || 6316022 markings, 7335288 edges, 24148 markings/sec, 255 secs 8 tries, 7399689 fired transitions, 260 secs || 6441960 markings, 7482027 edges, 25188 markings/sec, 260 secs 8 tries, 7538817 fired transitions, 265 secs || 6564979 markings, 7625508 edges, 24604 markings/sec, 265 secs 8 tries, 7678330 fired transitions, 270 secs || 6689039 markings, 7769206 edges, 24812 markings/sec, 270 secs 8 tries, 7817678 fired transitions, 275 secs || 6816604 markings, 7919108 edges, 25513 markings/sec, 275 secs 8 tries, 7958371 fired transitions, 280 secs || 6946207 markings, 8072260 edges, 25921 markings/sec, 280 secs 9 tries, 8100515 fired transitions, 285 secs || 7075219 markings, 8224367 edges, 25802 markings/sec, 285 secs 9 tries, 8238858 fired transitions, 290 secs || 7207475 markings, 8381713 edges, 26451 markings/sec, 290 secs 9 tries, 8378183 fired transitions, 295 secs || 7332773 markings, 8527431 edges, 25060 markings/sec, 295 secs 9 tries, 8515764 fired transitions, 300 secs || 7460388 markings, 8676628 edges, 25523 markings/sec, 300 secs 9 tries, 8654077 fired transitions, 305 secs || 7581456 markings, 8816795 edges, 24214 markings/sec, 305 secs 9 tries, 8795175 fired transitions, 310 secs || 7699968 markings, 8953820 edges, 23702 markings/sec, 310 secs 9 tries, 8940544 fired transitions, 315 secs || 7830590 markings, 9105523 edges, 26124 markings/sec, 315 secs 10 tries, 9087889 fired transitions, 320 secs || 7959709 markings, 9255252 edges, 25824 markings/sec, 320 secs 10 tries, 9234663 fired transitions, 325 secs || 8091274 markings, 9408236 edges, 26313 markings/sec, 325 secs 10 tries, 9381449 fired transitions, 330 secs || 8216894 markings, 9553921 edges, 25124 markings/sec, 330 secs 10 tries, 9526625 fired transitions, 335 secs || 8340871 markings, 9697133 edges, 24795 markings/sec, 335 secs 10 tries, 9673211 fired transitions, 340 secs || 8466505 markings, 9842433 edges, 25127 markings/sec, 340 secs 10 tries, 9818434 fired transitions, 345 secs || 8596264 markings, 9993404 edges, 25952 markings/sec, 345 secs 10 tries, 9964415 fired transitions, 350 secs || 8724400 markings, 10142764 edges, 25627 markings/sec, 350 secs 11 tries, 10110109 fired transitions, 355 secs || 8853138 markings, 10293099 edges, 25748 markings/sec, 355 secs 11 tries, 10255487 fired transitions, 360 secs || 8981727 markings, 10442262 edges, 25718 markings/sec, 360 secs 11 tries, 10402144 fired transitions, 365 secs || 9108340 markings, 10590273 edges, 25323 markings/sec, 365 secs 11 tries, 10546469 fired transitions, 370 secs || 9240525 markings, 10745046 edges, 26437 markings/sec, 370 secs 11 tries, 10691542 fired transitions, 375 secs || 9370386 markings, 10897205 edges, 25972 markings/sec, 375 secs 11 tries, 10839215 fired transitions, 380 secs || 9503890 markings, 11053137 edges, 26701 markings/sec, 380 secs 11 tries, 10984816 fired transitions, 385 secs || 9638421 markings, 11210249 edges, 26906 markings/sec, 385 secs 12 tries, 11131167 fired transitions, 390 secs || 9768025 markings, 11361834 edges, 25921 markings/sec, 390 secs 12 tries, 11278017 fired transitions, 395 secs || 9895992 markings, 11510684 edges, 25593 markings/sec, 395 secs 12 tries, 11425895 fired transitions, 400 secs || 10023447 markings, 11658936 edges, 25491 markings/sec, 400 secs 12 tries, 11573277 fired transitions, 405 secs || 10150753 markings, 11806753 edges, 25461 markings/sec, 405 secs 12 tries, 11719179 fired transitions, 410 secs || 10277949 markings, 11955442 edges, 25439 markings/sec, 410 secs 12 tries, 11866464 fired transitions, 415 secs || 10411786 markings, 12112744 edges, 26767 markings/sec, 415 secs 13 tries, 12012197 fired transitions, 420 secs || 10540835 markings, 12263549 edges, 25810 markings/sec, 420 secs 13 tries, 12159604 fired transitions, 425 secs || 10667249 markings, 12409903 edges, 25283 markings/sec, 425 secs 13 tries, 12304687 fired transitions, 430 secs || 10799884 markings, 12565387 edges, 26527 markings/sec, 430 secs 13 tries, 12451161 fired transitions, 435 secs || 10929553 markings, 12716838 edges, 25934 markings/sec, 435 secs 13 tries, 12596367 fired transitions, 440 secs || 11058098 markings, 12865450 edges, 25709 markings/sec, 440 secs 13 tries, 12741568 fired transitions, 445 secs || 11186438 markings, 13015331 edges, 25668 markings/sec, 445 secs 13 tries, 12888270 fired transitions, 450 secs || 11322728 markings, 13175053 edges, 27258 markings/sec, 450 secs 14 tries, 13036056 fired transitions, 455 secs || 11453016 markings, 13327030 edges, 26058 markings/sec, 455 secs 14 tries, 13182024 fired transitions, 460 secs || 11582216 markings, 13477686 edges, 25840 markings/sec, 460 secs 14 tries, 13328213 fired transitions, 465 secs || 11710363 markings, 13626192 edges, 25629 markings/sec, 465 secs 14 tries, 13474670 fired transitions, 470 secs || 11838420 markings, 13775836 edges, 25611 markings/sec, 470 secs 14 tries, 13620902 fired transitions, 475 secs || 11967332 markings, 13926852 edges, 25782 markings/sec, 475 secs 14 tries, 13766721 fired transitions, 480 secs || 12099797 markings, 14082386 edges, 26493 markings/sec, 480 secs 14 tries, 13912694 fired transitions, 485 secs || 12231397 markings, 14237344 edges, 26320 markings/sec, 485 secs 15 tries, 14059997 fired transitions, 490 secs || 12362613 markings, 14391755 edges, 26243 markings/sec, 490 secs 15 tries, 14207995 fired transitions, 495 secs || 12493648 markings, 14545430 edges, 26207 markings/sec, 495 secs 15 tries, 14354107 fired transitions, 500 secs || 12624753 markings, 14697613 edges, 26221 markings/sec, 500 secs 15 tries, 14501612 fired transitions, 505 secs || 12761415 markings, 14859387 edges, 27332 markings/sec, 505 secs 15 tries, 14647831 fired transitions, 510 secs || 12893136 markings, 15014119 edges, 26344 markings/sec, 510 secs 15 tries, 14793181 fired transitions, 515 secs || 13028793 markings, 15174085 edges, 27131 markings/sec, 515 secs 15 tries, 14940110 fired transitions, 520 secs || 13158577 markings, 15325481 edges, 25957 markings/sec, 520 secs 16 tries, 15089033 fired transitions, 525 secs || 13290656 markings, 15481600 edges, 26416 markings/sec, 525 secs 16 tries, 15236659 fired transitions, 530 secs || 13422096 markings, 15635450 edges, 26288 markings/sec, 530 secs 16 tries, 15383211 fired transitions, 535 secs || 13556003 markings, 15792699 edges, 26781 markings/sec, 535 secs 16 tries, 15529067 fired transitions, 540 secs || 13688946 markings, 15949536 edges, 26589 markings/sec, 540 secs 16 tries, 15676260 fired transitions, 545 secs || 13816456 markings, 16098215 edges, 25502 markings/sec, 545 secs 16 tries, 15822390 fired transitions, 550 secs || 13938647 markings, 16240547 edges, 24438 markings/sec, 550 secs 16 tries, 15967691 fired transitions, 555 secs || 14069183 markings, 16394319 edges, 26107 markings/sec, 555 secs 17 tries, 16114432 fired transitions, 560 secs || 14200380 markings, 16549003 edges, 26239 markings/sec, 560 secs 17 tries, 16263086 fired transitions, 565 secs || 14334895 markings, 16707713 edges, 26903 markings/sec, 565 secs 17 tries, 16409534 fired transitions, 570 secs || 14470218 markings, 16867699 edges, 27065 markings/sec, 570 secs 17 tries, 16555466 fired transitions, 575 secs || 14597407 markings, 17016084 edges, 25438 markings/sec, 575 secs 17 tries, 16700829 fired transitions, 580 secs || 14732972 markings, 17176631 edges, 27113 markings/sec, 580 secs 17 tries, 16846845 fired transitions, 585 secs || 14870090 markings, 17338614 edges, 27424 markings/sec, 585 secs 17 tries, 16994008 fired transitions, 590 secs || 15001285 markings, 17492058 edges, 26239 markings/sec, 590 secs 18 tries, 17141473 fired transitions, 595 secs || 15133663 markings, 17648015 edges, 26476 markings/sec, 595 secs 18 tries, 17287932 fired transitions, 600 secs || 15265490 markings, 17802727 edges, 26365 markings/sec, 600 secs 18 tries, 17437416 fired transitions, 605 secs || 15399499 markings, 17960707 edges, 26802 markings/sec, 605 secs 18 tries, 17585224 fired transitions, 610 secs || 15527675 markings, 18110041 edges, 25635 markings/sec, 610 secs 18 tries, 17730280 fired transitions, 615 secs || 15659612 markings, 18265876 edges, 26387 markings/sec, 615 secs 18 tries, 17875269 fired transitions, 620 secs || 15790668 markings, 18420395 edges, 26211 markings/sec, 620 secs 19 tries, 18021466 fired transitions, 625 secs || 15919572 markings, 18571575 edges, 25781 markings/sec, 625 secs 19 tries, 18167378 fired transitions, 630 secs || 16050998 markings, 18725100 edges, 26285 markings/sec, 630 secs 19 tries, 18312428 fired transitions, 635 secs || 16180940 markings, 18878056 edges, 25988 markings/sec, 635 secs 19 tries, 18457742 fired transitions, 640 secs || 16310597 markings, 19029609 edges, 25931 markings/sec, 640 secs 19 tries, 18603729 fired transitions, 645 secs || 16440851 markings, 19182173 edges, 26051 markings/sec, 645 secs 19 tries, 18750369 fired transitions, 650 secs || 16576928 markings, 19343924 edges, 27215 markings/sec, 650 secs 19 tries, 18894594 fired transitions, 655 secs || 16706579 markings, 19495527 edges, 25930 markings/sec, 655 secs 20 tries, 19040794 fired transitions, 660 secs || 16836856 markings, 19648329 edges, 26055 markings/sec, 660 secs 20 tries, 19186234 fired transitions, 665 secs || 16967109 markings, 19801197 edges, 26051 markings/sec, 665 secs 20 tries, 19330611 fired transitions, 670 secs || 17100330 markings, 19959179 edges, 26644 markings/sec, 670 secs 20 tries, 19477468 fired transitions, 675 secs || 17230048 markings, 20111683 edges, 25944 markings/sec, 675 secs 20 tries, 19621242 fired transitions, 680 secs || 17358609 markings, 20262566 edges, 25712 markings/sec, 680 secs 20 tries, 19767882 fired transitions, 685 secs || 17491616 markings, 20419515 edges, 26601 markings/sec, 685 secs 20 tries, 19914852 fired transitions, 690 secs || 17623946 markings, 20575586 edges, 26466 markings/sec, 690 secs 21 tries, 20061886 fired transitions, 695 secs || 17752987 markings, 20726926 edges, 25808 markings/sec, 695 secs 21 tries, 20206753 fired transitions, 700 secs || 17883267 markings, 20879312 edges, 26056 markings/sec, 700 secs 21 tries, 20354324 fired transitions, 705 secs || 18016331 markings, 21036544 edges, 26613 markings/sec, 705 secs 21 tries, 20500966 fired transitions, 710 secs || 18149283 markings, 21192276 edges, 26590 markings/sec, 710 secs 21 tries, 20648055 fired transitions, 715 secs || 18285551 markings, 21353163 edges, 27254 markings/sec, 715 secs 21 tries, 20794791 fired transitions, 720 secs || 18415521 markings, 21505320 edges, 25994 markings/sec, 720 secs 21 tries, 20941079 fired transitions, 725 secs || 18549964 markings, 21662814 edges, 26889 markings/sec, 725 secs 22 tries, 21088283 fired transitions, 730 secs || 18683032 markings, 21818988 edges, 26614 markings/sec, 730 secs 22 tries, 21232877 fired transitions, 735 secs || 18817932 markings, 21977817 edges, 26980 markings/sec, 735 secs 22 tries, 21380435 fired transitions, 740 secs || 18951687 markings, 22135794 edges, 26751 markings/sec, 740 secs 22 tries, 21525416 fired transitions, 745 secs || 19083756 markings, 22291340 edges, 26414 markings/sec, 745 secs 22 tries, 21671120 fired transitions, 750 secs || 19212885 markings, 22442027 edges, 25826 markings/sec, 750 secs 22 tries, 21817979 fired transitions, 755 secs || 19342900 markings, 22593646 edges, 26003 markings/sec, 755 secs 22 tries, 21966374 fired transitions, 760 secs || 19473766 markings, 22747654 edges, 26173 markings/sec, 760 secs 23 tries, 22114818 fired transitions, 765 secs || 19607277 markings, 22904939 edges, 26702 markings/sec, 765 secs 23 tries, 22260687 fired transitions, 770 secs || 19743837 markings, 23067045 edges, 27312 markings/sec, 770 secs 23 tries, 22407583 fired transitions, 775 secs || 19874579 markings, 23220715 edges, 26148 markings/sec, 775 secs 23 tries, 22553697 fired transitions, 780 secs || 20007902 markings, 23378400 edges, 26665 markings/sec, 780 secs 23 tries, 22700006 fired transitions, 785 secs || 20143493 markings, 23538494 edges, 27118 markings/sec, 785 secs 23 tries, 22846628 fired transitions, 790 secs || 20281914 markings, 23702488 edges, 27684 markings/sec, 790 secs 23 tries, 22992313 fired transitions, 795 secs || 20412837 markings, 23856813 edges, 26185 markings/sec, 795 secs 24 tries, 23139127 fired transitions, 800 secs || 20551042 markings, 24020347 edges, 27641 markings/sec, 800 secs 24 tries, 23284690 fired transitions, 805 secs || 20682881 markings, 24175163 edges, 26368 markings/sec, 805 secs 24 tries, 23430916 fired transitions, 810 secs || 20813595 markings, 24328956 edges, 26143 markings/sec, 810 secs 24 tries, 23579214 fired transitions, 815 secs || 20944125 markings, 24482056 edges, 26106 markings/sec, 815 secs 24 tries, 23726071 fired transitions, 820 secs || 21072516 markings, 24631732 edges, 25678 markings/sec, 820 secs 24 tries, 23872318 fired transitions, 825 secs || 21206915 markings, 24790443 edges, 26880 markings/sec, 825 secs 25 tries, 24018678 fired transitions, 830 secs || 21340188 markings, 24947001 edges, 26655 markings/sec, 830 secs 25 tries, 24165236 fired transitions, 835 secs || 21464406 markings, 25090445 edges, 24844 markings/sec, 835 secs 25 tries, 24310600 fired transitions, 840 secs || 21585316 markings, 25230288 edges, 24182 markings/sec, 840 secs 25 tries, 24459046 fired transitions, 845 secs || 21709474 markings, 25373826 edges, 24832 markings/sec, 845 secs 25 tries, 24605602 fired transitions, 850 secs || 21833532 markings, 25518034 edges, 24812 markings/sec, 850 secs 25 tries, 24750734 fired transitions, 855 secs || 21960019 markings, 25665316 edges, 25297 markings/sec, 855 secs 25 tries, 24897932 fired transitions, 860 secs || 22086866 markings, 25813291 edges, 25369 markings/sec, 860 secs 26 tries, 25043574 fired transitions, 865 secs || 22210185 markings, 25957048 edges, 24664 markings/sec, 865 secs 26 tries, 25188449 fired transitions, 870 secs || 22333384 markings, 26100127 edges, 24640 markings/sec, 870 secs 26 tries, 25335150 fired transitions, 875 secs || 22462641 markings, 26250937 edges, 25851 markings/sec, 875 secs 26 tries, 25482169 fired transitions, 880 secs || 22587780 markings, 26396136 edges, 25028 markings/sec, 880 secs 26 tries, 25627958 fired transitions, 885 secs || 22715423 markings, 26543853 edges, 25529 markings/sec, 885 secs 26 tries, 25774775 fired transitions, 890 secs || 22840311 markings, 26688456 edges, 24978 markings/sec, 890 secs 26 tries, 25920096 fired transitions, 895 secs || 22970638 markings, 26840934 edges, 26065 markings/sec, 895 secs 27 tries, 26067767 fired transitions, 900 secs || 23096377 markings, 26987568 edges, 25148 markings/sec, 900 secs 27 tries, 26214001 fired transitions, 905 secs || 23219573 markings, 27130623 edges, 24639 markings/sec, 905 secs 27 tries, 26361270 fired transitions, 910 secs || 23347497 markings, 27279358 edges, 25585 markings/sec, 910 secs 27 tries, 26509303 fired transitions, 915 secs || 23471365 markings, 27422853 edges, 24774 markings/sec, 915 secs 27 tries, 26655553 fired transitions, 920 secs || 23593240 markings, 27564916 edges, 24375 markings/sec, 920 secs 27 tries, 26801179 fired transitions, 925 secs || 23714697 markings, 27705679 edges, 24291 markings/sec, 925 secs 27 tries, 26948077 fired transitions, 930 secs || 23839509 markings, 27850386 edges, 24962 markings/sec, 930 secs 28 tries, 27095348 fired transitions, 935 secs || 23970197 markings, 28002836 edges, 26138 markings/sec, 935 secs 28 tries, 27242918 fired transitions, 940 secs || 24097413 markings, 28150532 edges, 25443 markings/sec, 940 secs 28 tries, 27389155 fired transitions, 945 secs || 24219845 markings, 28291100 edges, 24486 markings/sec, 945 secs 28 tries, 27536775 fired transitions, 950 secs || 24346813 markings, 28438459 edges, 25394 markings/sec, 950 secs 28 tries, 27682075 fired transitions, 955 secs || 24480345 markings, 28595229 edges, 26706 markings/sec, 955 secs 28 tries, 27829906 fired transitions, 960 secs || 24603931 markings, 28738413 edges, 24717 markings/sec, 960 secs 28 tries, 27975301 fired transitions, 965 secs || 24730924 markings, 28886267 edges, 25399 markings/sec, 965 secs 29 tries, 28124770 fired transitions, 970 secs || 24853517 markings, 29027202 edges, 24519 markings/sec, 970 secs 29 tries, 28271693 fired transitions, 975 secs || 24978980 markings, 29173592 edges, 25093 markings/sec, 975 secs 29 tries, 28419469 fired transitions, 980 secs || 25107624 markings, 29323528 edges, 25729 markings/sec, 980 secs 29 tries, 28564837 fired transitions, 985 secs || 25233977 markings, 29470140 edges, 25271 markings/sec, 985 secs 29 tries, 28711496 fired transitions, 990 secs || 25366556 markings, 29626189 edges, 26516 markings/sec, 990 secs 29 tries, 28857296 fired transitions, 995 secs || 25495091 markings, 29776146 edges, 25707 markings/sec, 995 secs 30 tries, 29005082 fired transitions, 1000 secs || 25621333 markings, 29923114 edges, 25248 markings/sec, 1000 secs 30 tries, 29152725 fired transitions, 1005 secs || 25743833 markings, 30063733 edges, 24500 markings/sec, 1005 secs 30 tries, 29298376 fired transitions, 1010 secs || 25866215 markings, 30205370 edges, 24476 markings/sec, 1010 secs 30 tries, 29443721 fired transitions, 1015 secs || 25994445 markings, 30354417 edges, 25646 markings/sec, 1015 secs 30 tries, 29589592 fired transitions, 1020 secs || 26117162 markings, 30496740 edges, 24543 markings/sec, 1020 secs 30 tries, 29736755 fired transitions, 1025 secs || 26242177 markings, 30642042 edges, 25003 markings/sec, 1025 secs 30 tries, 29883042 fired transitions, 1030 secs || 26367474 markings, 30787295 edges, 25059 markings/sec, 1030 secs 31 tries, 30032377 fired transitions, 1035 secs || 26494203 markings, 30934729 edges, 25346 markings/sec, 1035 secs 31 tries, 30178776 fired transitions, 1040 secs || 26621831 markings, 31083373 edges, 25526 markings/sec, 1040 secs 31 tries, 30325224 fired transitions, 1045 secs || 26748115 markings, 31231358 edges, 25257 markings/sec, 1045 secs 31 tries, 30471275 fired transitions, 1050 secs || 26873764 markings, 31377980 edges, 25130 markings/sec, 1050 secs 31 tries, 30616638 fired transitions, 1055 secs || 26996467 markings, 31521231 edges, 24541 markings/sec, 1055 secs 31 tries, 30762634 fired transitions, 1060 secs || 27123686 markings, 31669525 edges, 25444 markings/sec, 1060 secs 31 tries, 30907844 fired transitions, 1065 secs || 27247996 markings, 31814599 edges, 24862 markings/sec, 1065 secs 32 tries, 31054725 fired transitions, 1070 secs || 27376252 markings, 31963923 edges, 25651 markings/sec, 1070 secs 32 tries, 31199893 fired transitions, 1075 secs || 27502586 markings, 32111150 edges, 25267 markings/sec, 1075 secs 32 tries, 31345702 fired transitions, 1080 secs || 27629455 markings, 32259783 edges, 25374 markings/sec, 1080 secs 32 tries, 31488957 fired transitions, 1085 secs || 27756513 markings, 32408103 edges, 25412 markings/sec, 1085 secs 32 tries, 31633850 fired transitions, 1090 secs || 27885352 markings, 32559167 edges, 25768 markings/sec, 1090 secs 32 tries, 31778307 fired transitions, 1095 secs || 28011280 markings, 32705982 edges, 25186 markings/sec, 1095 secs 32 tries, 31924151 fired transitions, 1100 secs || 28137862 markings, 32854170 edges, 25316 markings/sec, 1100 secs 33 tries, 32072302 fired transitions, 1105 secs || 28264616 markings, 33002443 edges, 25351 markings/sec, 1105 secs 33 tries, 32218667 fired transitions, 1110 secs || 28394421 markings, 33154794 edges, 25961 markings/sec, 1110 secs 33 tries, 32364255 fired transitions, 1115 secs || 28522083 markings, 33303069 edges, 25532 markings/sec, 1115 secs 33 tries, 32510373 fired transitions, 1120 secs || 28649866 markings, 33452380 edges, 25557 markings/sec, 1120 secs 33 tries, 32656264 fired transitions, 1125 secs || 28778915 markings, 33604242 edges, 25810 markings/sec, 1125 secs 33 tries, 32799723 fired transitions, 1130 secs || 28912023 markings, 33760696 edges, 26622 markings/sec, 1130 secs 33 tries, 32945943 fired transitions, 1135 secs || 29037718 markings, 33906128 edges, 25139 markings/sec, 1135 secs 34 tries, 33092884 fired transitions, 1140 secs || 29170455 markings, 34062996 edges, 26547 markings/sec, 1140 secs 34 tries, 33239406 fired transitions, 1145 secs || 29301090 markings, 34216586 edges, 26127 markings/sec, 1145 secs 34 tries, 33387558 fired transitions, 1150 secs || 29429987 markings, 34367624 edges, 25779 markings/sec, 1150 secs 34 tries, 33532574 fired transitions, 1155 secs || 29557277 markings, 34516297 edges, 25458 markings/sec, 1155 secs 34 tries, 33679433 fired transitions, 1160 secs || 29679585 markings, 34658539 edges, 24462 markings/sec, 1160 secs 34 tries, 33824608 fired transitions, 1165 secs || 29808783 markings, 34810418 edges, 25840 markings/sec, 1165 secs 34 tries, 33971882 fired transitions, 1170 secs || 29938896 markings, 34963032 edges, 26023 markings/sec, 1170 secs 35 tries, 34118170 fired transitions, 1175 secs || 30067810 markings, 35114260 edges, 25783 markings/sec, 1175 secs 35 tries, 34263627 fired transitions, 1180 secs || 30199476 markings, 35269259 edges, 26333 markings/sec, 1180 secs 35 tries, 34409161 fired transitions, 1185 secs || 30329751 markings, 35421181 edges, 26055 markings/sec, 1185 secs 35 tries, 34554698 fired transitions, 1190 secs || 30462765 markings, 35577893 edges, 26603 markings/sec, 1190 secs 35 tries, 34701185 fired transitions, 1195 secs || 30592522 markings, 35730076 edges, 25951 markings/sec, 1195 secs 35 tries, 34847246 fired transitions, 1200 secs || 30721695 markings, 35882086 edges, 25835 markings/sec, 1200 secs 35 tries, 34992846 fired transitions, 1205 secs || 30848998 markings, 36031782 edges, 25461 markings/sec, 1205 secs 36 tries, 35139866 fired transitions, 1210 secs || 30980932 markings, 36186291 edges, 26387 markings/sec, 1210 secs 36 tries, 35286808 fired transitions, 1215 secs || 31109553 markings, 36337493 edges, 25724 markings/sec, 1215 secs 36 tries, 35433694 fired transitions, 1220 secs || 31234640 markings, 36482431 edges, 25017 markings/sec, 1220 secs 36 tries, 35579078 fired transitions, 1225 secs || 31362064 markings, 36631691 edges, 25485 markings/sec, 1225 secs 36 tries, 35726219 fired transitions, 1230 secs || 31490628 markings, 36782202 edges, 25713 markings/sec, 1230 secs 9b-ReachabilityDeadlock-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN lola and sara stdout ----- and sara stderr -----

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-09b"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="mcc4mcc-structural"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

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