About the Execution of LoLA for HospitalTriage-PT-none
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.180 | 2282960.00 | 4632866.00 | 2658.20 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2019-input.r082-csrt-155246549700606.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is HospitalTriage-PT-none, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r082-csrt-155246549700606
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 232K
-rw-r--r-- 1 mcc users 3.1K Feb 11 01:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 11 01:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 7 01:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 7 01:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 23:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.8K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 3 08:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 3 08:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Jan 31 03:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 31 03:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 0 Jan 29 09:34 model-fix.log
-rw-r--r-- 1 mcc users 78K Mar 10 17:31 model.pnml
--------------------
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 HospitalTriage-PT-none-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1552671575684
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ HospitalTriage-PT-none @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 1287
rslt: Output for GlobalProperties @ HospitalTriage-PT-none
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 473/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 7840
lola: finding significant places
lola: 245 places, 228 transitions, 204 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computed 18 generators (15 in search tree, 3 by composition)
lola: representing 13824 symmetries
lola: 0 dead branches visited in search tree
lola: 4 tries, 3630562 fired transitions, 0 secs || 633495 markings, 784260 edges, 126699 markings/sec, 0 secs
lola: 8 tries, 7349396 fired transitions, 5 secs || 1319725 markings, 1632031 edges, 137246 markings/sec, 5 secs
lola: 12 tries, 11145957 fired transitions, 10 secs || 1987564 markings, 2456481 edges, 133568 markings/sec, 10 secs
lola: 15 tries, 14993477 fired transitions, 15 secs || 2632389 markings, 3255683 edges, 128965 markings/sec, 15 secs
lola: 19 tries, 18758087 fired transitions, 20 secs || 3257202 markings, 4033796 edges, 124963 markings/sec, 20 secs
lola: 23 tries, 22701287 fired transitions, 25 secs || 3872415 markings, 4799426 edges, 123043 markings/sec, 25 secs
lola: 27 tries, 26619617 fired transitions, 30 secs || 4493240 markings, 5573773 edges, 124165 markings/sec, 30 secs
lola: 31 tries, 30453782 fired transitions, 35 secs || 5109764 markings, 6342545 edges, 123305 markings/sec, 35 secs
lola: 35 tries, 34308997 fired transitions, 40 secs || 5727791 markings, 7114699 edges, 123605 markings/sec, 40 secs
lola: 39 tries, 38190968 fired transitions, 45 secs || 6338863 markings, 7881063 edges, 122214 markings/sec, 45 secs
lola: 43 tries, 42068587 fired transitions, 50 secs || 6961907 markings, 8661963 edges, 124609 markings/sec, 50 secs
lola: 47 tries, 46048092 fired transitions, 55 secs || 7608976 markings, 9476004 edges, 129414 markings/sec, 55 secs
lola: 51 tries, 50064287 fired transitions, 60 secs || 8265493 markings, 10300941 edges, 131303 markings/sec, 60 secs
lola: 55 tries, 54151559 fired transitions, 65 secs || 8915556 markings, 11119168 edges, 130013 markings/sec, 65 secs
lola: 59 tries, 58218937 fired transitions, 70 secs || 9582083 markings, 11958478 edges, 133305 markings/sec, 70 secs
lola: 63 tries, 62279102 fired transitions, 75 secs || 10244795 markings, 12793328 edges, 132542 markings/sec, 75 secs
lola: 67 tries, 66317922 fired transitions, 80 secs || 10869536 markings, 13579793 edges, 124948 markings/sec, 80 secs
lola: 71 tries, 70331057 fired transitions, 85 secs || 11492639 markings, 14365942 edges, 124621 markings/sec, 85 secs
lola: 75 tries, 74417897 fired transitions, 90 secs || 12106702 markings, 15142904 edges, 122813 markings/sec, 90 secs
lola: 79 tries, 78491252 fired transitions, 95 secs || 12726046 markings, 15925214 edges, 123869 markings/sec, 95 secs
lola: 83 tries, 82572921 fired transitions, 100 secs || 13348292 markings, 16713511 edges, 124449 markings/sec, 100 secs
lola: 87 tries, 86667832 fired transitions, 105 secs || 13965900 markings, 17495333 edges, 123522 markings/sec, 105 secs
lola: 91 tries, 90306170 fired transitions, 110 secs || 14533509 markings, 18214612 edges, 113522 markings/sec, 110 secs
lola: 95 tries, 94444767 fired transitions, 115 secs || 15148174 markings, 18993706 edges, 122933 markings/sec, 115 secs
lola: 99 tries, 98687004 fired transitions, 120 secs || 15751584 markings, 19759650 edges, 120682 markings/sec, 120 secs
lola: 103 tries, 102950473 fired transitions, 125 secs || 16354966 markings, 20525641 edges, 120676 markings/sec, 125 secs
lola: 108 tries, 107208108 fired transitions, 130 secs || 16959490 markings, 21293196 edges, 120905 markings/sec, 130 secs
lola: 112 tries, 111471932 fired transitions, 135 secs || 17561887 markings, 22058609 edges, 120479 markings/sec, 135 secs
lola: 116 tries, 115657097 fired transitions, 140 secs || 18162100 markings, 22822372 edges, 120043 markings/sec, 140 secs
lola: 120 tries, 119822464 fired transitions, 145 secs || 18763637 markings, 23587608 edges, 120307 markings/sec, 145 secs
lola: 125 tries, 124011429 fired transitions, 150 secs || 19355287 markings, 24340498 edges, 118330 markings/sec, 150 secs
lola: 129 tries, 128324092 fired transitions, 155 secs || 19950990 markings, 25099150 edges, 119141 markings/sec, 155 secs
lola: 133 tries, 132638452 fired transitions, 160 secs || 20543100 markings, 25854215 edges, 118422 markings/sec, 160 secs
lola: 137 tries, 136944092 fired transitions, 165 secs || 21141265 markings, 26617230 edges, 119633 markings/sec, 165 secs
lola: 142 tries, 141145962 fired transitions, 170 secs || 21738302 markings, 27379178 edges, 119407 markings/sec, 170 secs
lola: 146 tries, 145299337 fired transitions, 175 secs || 22344267 markings, 28153757 edges, 121193 markings/sec, 175 secs
lola: 150 tries, 149507607 fired transitions, 180 secs || 22945491 markings, 28921408 edges, 120245 markings/sec, 180 secs
lola: 154 tries, 153708105 fired transitions, 185 secs || 23542302 markings, 29683844 edges, 119362 markings/sec, 185 secs
lola: 158 tries, 157931057 fired transitions, 190 secs || 24139080 markings, 30446541 edges, 119356 markings/sec, 190 secs
lola: 163 tries, 162065272 fired transitions, 195 secs || 24728562 markings, 31198758 edges, 117896 markings/sec, 195 secs
lola: 167 tries, 166220112 fired transitions, 200 secs || 25336627 markings, 31977017 edges, 121613 markings/sec, 200 secs
lola: 171 tries, 170382262 fired transitions, 205 secs || 25913040 markings, 32713974 edges, 115283 markings/sec, 205 secs
lola: 175 tries, 174585452 fired transitions, 210 secs || 26513812 markings, 33483993 edges, 120154 markings/sec, 210 secs
lola: 179 tries, 178945777 fired transitions, 215 secs || 27101365 markings, 34236033 edges, 117511 markings/sec, 215 secs
lola: 184 tries, 183095062 fired transitions, 220 secs || 27669566 markings, 34963187 edges, 113640 markings/sec, 220 secs
lola: 188 tries, 187304357 fired transitions, 225 secs || 28266102 markings, 35727090 edges, 119307 markings/sec, 225 secs
lola: 192 tries, 191655652 fired transitions, 230 secs || 28854795 markings, 36481515 edges, 117739 markings/sec, 230 secs
lola: 196 tries, 195840792 fired transitions, 235 secs || 29447269 markings, 37240537 edges, 118495 markings/sec, 235 secs
lola: 201 tries, 200202392 fired transitions, 240 secs || 30034721 markings, 37993720 edges, 117490 markings/sec, 240 secs
lola: 205 tries, 204554749 fired transitions, 245 secs || 30625309 markings, 38750791 edges, 118118 markings/sec, 245 secs
lola: 209 tries, 208890937 fired transitions, 250 secs || 31219801 markings, 39513665 edges, 118898 markings/sec, 250 secs
lola: 214 tries, 213247077 fired transitions, 255 secs || 31807178 markings, 40267812 edges, 117475 markings/sec, 255 secs
lola: 218 tries, 217583022 fired transitions, 260 secs || 32400385 markings, 41030598 edges, 118641 markings/sec, 260 secs
lola: 222 tries, 221788277 fired transitions, 265 secs || 32997098 markings, 41797564 edges, 119343 markings/sec, 265 secs
lola: 227 tries, 226074447 fired transitions, 270 secs || 33593210 markings, 42563574 edges, 119222 markings/sec, 270 secs
lola: 231 tries, 230348682 fired transitions, 275 secs || 34196825 markings, 43339674 edges, 120723 markings/sec, 275 secs
lola: 235 tries, 234624262 fired transitions, 280 secs || 34799165 markings, 44114058 edges, 120468 markings/sec, 280 secs
lola: 239 tries, 238916537 fired transitions, 285 secs || 35402101 markings, 44889474 edges, 120587 markings/sec, 285 secs
lola: 244 tries, 243225352 fired transitions, 290 secs || 35991525 markings, 45647860 edges, 117885 markings/sec, 290 secs
lola: 248 tries, 247585491 fired transitions, 295 secs || 36578574 markings, 46403525 edges, 117410 markings/sec, 295 secs
lola: 253 tries, 252008589 fired transitions, 300 secs || 37160293 markings, 47153557 edges, 116344 markings/sec, 300 secs
lola: 257 tries, 256399917 fired transitions, 305 secs || 37745613 markings, 47907915 edges, 117064 markings/sec, 305 secs
lola: 261 tries, 260789467 fired transitions, 310 secs || 38329597 markings, 48660079 edges, 116797 markings/sec, 310 secs
lola: 266 tries, 265096567 fired transitions, 315 secs || 38909407 markings, 49406904 edges, 115962 markings/sec, 315 secs
lola: 270 tries, 269450827 fired transitions, 320 secs || 39487769 markings, 50152270 edges, 115672 markings/sec, 320 secs
lola: 274 tries, 273648692 fired transitions, 325 secs || 40072790 markings, 50907401 edges, 117004 markings/sec, 325 secs
lola: 278 tries, 277842463 fired transitions, 330 secs || 40658138 markings, 51661656 edges, 117070 markings/sec, 330 secs
lola: 283 tries, 282048807 fired transitions, 335 secs || 41247493 markings, 52422437 edges, 117871 markings/sec, 335 secs
lola: 287 tries, 286257038 fired transitions, 340 secs || 41829312 markings, 53173953 edges, 116364 markings/sec, 340 secs
lola: 291 tries, 290446210 fired transitions, 345 secs || 42413456 markings, 53928135 edges, 116829 markings/sec, 345 secs
lola: 295 tries, 294652453 fired transitions, 350 secs || 42997195 markings, 54682177 edges, 116748 markings/sec, 350 secs
lola: 299 tries, 298876342 fired transitions, 355 secs || 43580035 markings, 55435808 edges, 116568 markings/sec, 355 secs
lola: 304 tries, 303001227 fired transitions, 360 secs || 44165519 markings, 56191519 edges, 117097 markings/sec, 360 secs
lola: 308 tries, 307109205 fired transitions, 365 secs || 44734514 markings, 56927295 edges, 113799 markings/sec, 365 secs
lola: 312 tries, 311440277 fired transitions, 370 secs || 45314235 markings, 57677019 edges, 115944 markings/sec, 370 secs
lola: 316 tries, 315797048 fired transitions, 375 secs || 45894711 markings, 58427946 edges, 116095 markings/sec, 375 secs
lola: 321 tries, 320150992 fired transitions, 380 secs || 46477291 markings, 59181160 edges, 116516 markings/sec, 380 secs
lola: 325 tries, 324418067 fired transitions, 385 secs || 47062412 markings, 59936703 edges, 117024 markings/sec, 385 secs
lola: 329 tries, 328753042 fired transitions, 390 secs || 47644288 markings, 60689579 edges, 116375 markings/sec, 390 secs
lola: 334 tries, 333117260 fired transitions, 395 secs || 48225396 markings, 61441476 edges, 116222 markings/sec, 395 secs
lola: 338 tries, 337479837 fired transitions, 400 secs || 48805793 markings, 62193671 edges, 116079 markings/sec, 400 secs
lola: 342 tries, 341844082 fired transitions, 405 secs || 49388096 markings, 62947155 edges, 116461 markings/sec, 405 secs
lola: 347 tries, 346203722 fired transitions, 410 secs || 49971850 markings, 63702633 edges, 116751 markings/sec, 410 secs
lola: 351 tries, 350492337 fired transitions, 415 secs || 50550598 markings, 64452287 edges, 115750 markings/sec, 415 secs
lola: 355 tries, 354878599 fired transitions, 420 secs || 51131951 markings, 65206561 edges, 116271 markings/sec, 420 secs
lola: 360 tries, 359285931 fired transitions, 425 secs || 51686292 markings, 65925014 edges, 110868 markings/sec, 425 secs
lola: 364 tries, 363581971 fired transitions, 430 secs || 52270886 markings, 66684159 edges, 116919 markings/sec, 430 secs
lola: 368 tries, 367873677 fired transitions, 435 secs || 52854352 markings, 67440555 edges, 116693 markings/sec, 435 secs
lola: 373 tries, 372256047 fired transitions, 440 secs || 53428899 markings, 68185806 edges, 114909 markings/sec, 440 secs
lola: 377 tries, 376667227 fired transitions, 445 secs || 54008965 markings, 68939700 edges, 116013 markings/sec, 445 secs
lola: 382 tries, 381053147 fired transitions, 450 secs || 54588716 markings, 69691953 edges, 115950 markings/sec, 450 secs
lola: 386 tries, 385468834 fired transitions, 455 secs || 55162577 markings, 70437854 edges, 114772 markings/sec, 455 secs
lola: 390 tries, 389951721 fired transitions, 460 secs || 55733891 markings, 71181540 edges, 114263 markings/sec, 460 secs
lola: 395 tries, 394430702 fired transitions, 465 secs || 56305700 markings, 71925088 edges, 114362 markings/sec, 465 secs
lola: 399 tries, 398885667 fired transitions, 470 secs || 56881471 markings, 72674163 edges, 115154 markings/sec, 470 secs
lola: 404 tries, 403275516 fired transitions, 475 secs || 57459553 markings, 73425008 edges, 115616 markings/sec, 475 secs
lola: 408 tries, 407691722 fired transitions, 480 secs || 58037548 markings, 74175981 edges, 115599 markings/sec, 480 secs
lola: 413 tries, 412119317 fired transitions, 485 secs || 58612178 markings, 74922974 edges, 114926 markings/sec, 485 secs
lola: 417 tries, 416533157 fired transitions, 490 secs || 59185548 markings, 75669384 edges, 114674 markings/sec, 490 secs
lola: 421 tries, 420921548 fired transitions, 495 secs || 59753551 markings, 76407971 edges, 113601 markings/sec, 495 secs
lola: 426 tries, 425321232 fired transitions, 500 secs || 60333066 markings, 77162515 edges, 115903 markings/sec, 500 secs
lola: 430 tries, 429707329 fired transitions, 505 secs || 60914236 markings, 77918040 edges, 116234 markings/sec, 505 secs
lola: 435 tries, 434029808 fired transitions, 510 secs || 61491638 markings, 78670188 edges, 115480 markings/sec, 510 secs
lola: 439 tries, 438371320 fired transitions, 515 secs || 62070615 markings, 79424792 edges, 115795 markings/sec, 515 secs
lola: 443 tries, 442722648 fired transitions, 520 secs || 62644422 markings, 80171996 edges, 114761 markings/sec, 520 secs
lola: 447 tries, 446805224 fired transitions, 525 secs || 63204073 markings, 80901153 edges, 111930 markings/sec, 525 secs
lola: 451 tries, 450846525 fired transitions, 530 secs || 63767186 markings, 81635057 edges, 112623 markings/sec, 530 secs
lola: 455 tries, 454538302 fired transitions, 535 secs || 64276479 markings, 82298008 edges, 101859 markings/sec, 535 secs
lola: 459 tries, 458733562 fired transitions, 540 secs || 64843359 markings, 83036170 edges, 113376 markings/sec, 540 secs
lola: 464 tries, 463141549 fired transitions, 545 secs || 65413882 markings, 83779510 edges, 114105 markings/sec, 545 secs
lola: 467 tries, 466829292 fired transitions, 550 secs || 65878890 markings, 84385884 edges, 93002 markings/sec, 550 secs
lola: 472 tries, 471304006 fired transitions, 555 secs || 66444261 markings, 85123730 edges, 113074 markings/sec, 555 secs
lola: 476 tries, 475439217 fired transitions, 560 secs || 67028157 markings, 85883978 edges, 116779 markings/sec, 560 secs
lola: 480 tries, 479708522 fired transitions, 565 secs || 67570648 markings, 86592027 edges, 108498 markings/sec, 565 secs
lola: 484 tries, 483850657 fired transitions, 570 secs || 68127325 markings, 87319249 edges, 111335 markings/sec, 570 secs
lola: 489 tries, 488273352 fired transitions, 575 secs || 68677134 markings, 88036832 edges, 109962 markings/sec, 575 secs
lola: 493 tries, 492577302 fired transitions, 580 secs || 69255596 markings, 88790999 edges, 115692 markings/sec, 580 secs
lola: 498 tries, 497123182 fired transitions, 585 secs || 69807119 markings, 89511068 edges, 110305 markings/sec, 585 secs
lola: 502 tries, 501631185 fired transitions, 590 secs || 70365911 markings, 90240809 edges, 111758 markings/sec, 590 secs
lola: 507 tries, 506259627 fired transitions, 595 secs || 70907433 markings, 90948107 edges, 108304 markings/sec, 595 secs
lola: 511 tries, 510669535 fired transitions, 600 secs || 71476713 markings, 91691402 edges, 113856 markings/sec, 600 secs
lola: 516 tries, 515131210 fired transitions, 605 secs || 72034618 markings, 92420437 edges, 111581 markings/sec, 605 secs
lola: 520 tries, 519408707 fired transitions, 610 secs || 72617899 markings, 93182227 edges, 116656 markings/sec, 610 secs
lola: 524 tries, 523735148 fired transitions, 615 secs || 73183630 markings, 93920262 edges, 113146 markings/sec, 615 secs
lola: 529 tries, 528207877 fired transitions, 620 secs || 73727254 markings, 94631439 edges, 108725 markings/sec, 620 secs
lola: 533 tries, 532686263 fired transitions, 625 secs || 74280251 markings, 95355570 edges, 110599 markings/sec, 625 secs
lola: 538 tries, 537207153 fired transitions, 630 secs || 74829970 markings, 96074450 edges, 109944 markings/sec, 630 secs
lola: 542 tries, 541698257 fired transitions, 635 secs || 75397811 markings, 96817418 edges, 113568 markings/sec, 635 secs
lola: 547 tries, 546219792 fired transitions, 640 secs || 75996287 markings, 97601359 edges, 119695 markings/sec, 640 secs
lola: 551 tries, 550818257 fired transitions, 645 secs || 76586580 markings, 98373209 edges, 118059 markings/sec, 645 secs
lola: 556 tries, 555384172 fired transitions, 650 secs || 77167671 markings, 99134731 edges, 116218 markings/sec, 650 secs
lola: 560 tries, 559684432 fired transitions, 655 secs || 77741875 markings, 99885162 edges, 114841 markings/sec, 655 secs
lola: 564 tries, 563930381 fired transitions, 660 secs || 78318517 markings, 100640623 edges, 115328 markings/sec, 660 secs
lola: 569 tries, 568573912 fired transitions, 665 secs || 78896331 markings, 101397214 edges, 115563 markings/sec, 665 secs
lola: 574 tries, 573191787 fired transitions, 670 secs || 79478456 markings, 102158355 edges, 116425 markings/sec, 670 secs
lola: 578 tries, 577721372 fired transitions, 675 secs || 80070513 markings, 102933900 edges, 118411 markings/sec, 675 secs
lola: 583 tries, 582301147 fired transitions, 680 secs || 80656142 markings, 103700152 edges, 117126 markings/sec, 680 secs
lola: 587 tries, 586862337 fired transitions, 685 secs || 81222789 markings, 104442645 edges, 113329 markings/sec, 685 secs
lola: 592 tries, 591583857 fired transitions, 690 secs || 81793285 markings, 105190271 edges, 114099 markings/sec, 690 secs
lola: 597 tries, 596346234 fired transitions, 695 secs || 82341316 markings, 105907893 edges, 109606 markings/sec, 695 secs
lola: 601 tries, 600893447 fired transitions, 700 secs || 82892534 markings, 106630726 edges, 110244 markings/sec, 700 secs
lola: 606 tries, 605146312 fired transitions, 705 secs || 83441506 markings, 107350945 edges, 109794 markings/sec, 705 secs
lola: 610 tries, 609411057 fired transitions, 710 secs || 83992971 markings, 108074575 edges, 110293 markings/sec, 710 secs
lola: 614 tries, 613663582 fired transitions, 715 secs || 84543382 markings, 108795746 edges, 110082 markings/sec, 715 secs
lola: 619 tries, 618085381 fired transitions, 720 secs || 85120750 markings, 109552974 edges, 115474 markings/sec, 720 secs
lola: 623 tries, 622706152 fired transitions, 725 secs || 85705236 markings, 110320540 edges, 116897 markings/sec, 725 secs
lola: 628 tries, 627297277 fired transitions, 730 secs || 86291987 markings, 111092334 edges, 117350 markings/sec, 730 secs
lola: 633 tries, 632094142 fired transitions, 735 secs || 86844821 markings, 111818310 edges, 110567 markings/sec, 735 secs
lola: 637 tries, 636910992 fired transitions, 740 secs || 87394176 markings, 112540365 edges, 109871 markings/sec, 740 secs
lola: 642 tries, 641568012 fired transitions, 745 secs || 87967994 markings, 113293843 edges, 114764 markings/sec, 745 secs
lola: 647 tries, 646277232 fired transitions, 750 secs || 88551975 markings, 114061144 edges, 116796 markings/sec, 750 secs
lola: 651 tries, 650982016 fired transitions, 755 secs || 89132330 markings, 114823276 edges, 116071 markings/sec, 755 secs
lola: 656 tries, 655566878 fired transitions, 760 secs || 89707759 markings, 115579171 edges, 115086 markings/sec, 760 secs
lola: 660 tries, 659799301 fired transitions, 765 secs || 90264332 markings, 116310043 edges, 111315 markings/sec, 765 secs
lola: 665 tries, 664164807 fired transitions, 770 secs || 90829227 markings, 117053132 edges, 112979 markings/sec, 770 secs
lola: 669 tries, 668757762 fired transitions, 775 secs || 91414442 markings, 117822230 edges, 117043 markings/sec, 775 secs
lola: 674 tries, 673454201 fired transitions, 780 secs || 91993175 markings, 118583697 edges, 115747 markings/sec, 780 secs
lola: 679 tries, 678076472 fired transitions, 785 secs || 92583362 markings, 119358574 edges, 118037 markings/sec, 785 secs
lola: 683 tries, 682669235 fired transitions, 790 secs || 93169015 markings, 120128926 edges, 117131 markings/sec, 790 secs
lola: 688 tries, 687176228 fired transitions, 795 secs || 93743559 markings, 120884790 edges, 114909 markings/sec, 795 secs
lola: 692 tries, 691414300 fired transitions, 800 secs || 94318644 markings, 121641480 edges, 115017 markings/sec, 800 secs
lola: 696 tries, 695807522 fired transitions, 805 secs || 94876829 markings, 122376108 edges, 111637 markings/sec, 805 secs
lola: 701 tries, 700056682 fired transitions, 810 secs || 95427659 markings, 123102300 edges, 110166 markings/sec, 810 secs
lola: 705 tries, 704207602 fired transitions, 815 secs || 95983903 markings, 123835797 edges, 111249 markings/sec, 815 secs
lola: 709 tries, 708353182 fired transitions, 820 secs || 96543476 markings, 124572595 edges, 111915 markings/sec, 820 secs
lola: 713 tries, 712356212 fired transitions, 825 secs || 97074786 markings, 125272181 edges, 106262 markings/sec, 825 secs
lola: 717 tries, 716361461 fired transitions, 830 secs || 97601553 markings, 125967077 edges, 105353 markings/sec, 830 secs
lola: 721 tries, 720909821 fired transitions, 835 secs || 98107068 markings, 126633946 edges, 101103 markings/sec, 835 secs
lola: 726 tries, 725119232 fired transitions, 840 secs || 98627185 markings, 127318619 edges, 104023 markings/sec, 840 secs
lola: 730 tries, 729564558 fired transitions, 845 secs || 99190454 markings, 128059331 edges, 112654 markings/sec, 845 secs
lola: 734 tries, 733993537 fired transitions, 850 secs || 99759895 markings, 128809389 edges, 113888 markings/sec, 850 secs
lola: 739 tries, 738462637 fired transitions, 855 secs || 100325772 markings, 129554638 edges, 113175 markings/sec, 855 secs
lola: 743 tries, 742667467 fired transitions, 860 secs || 100869865 markings, 130270659 edges, 108819 markings/sec, 860 secs
lola: 748 tries, 747084662 fired transitions, 865 secs || 101441307 markings, 131023173 edges, 114288 markings/sec, 865 secs
lola: 752 tries, 751486784 fired transitions, 870 secs || 102008647 markings, 131771870 edges, 113468 markings/sec, 870 secs
lola: 756 tries, 755986537 fired transitions, 875 secs || 102570177 markings, 132513379 edges, 112306 markings/sec, 875 secs
lola: 761 tries, 760413516 fired transitions, 880 secs || 103139624 markings, 133263989 edges, 113889 markings/sec, 880 secs
lola: 765 tries, 764914747 fired transitions, 885 secs || 103699130 markings, 134002256 edges, 111901 markings/sec, 885 secs
lola: 770 tries, 769033062 fired transitions, 890 secs || 104222126 markings, 134691550 edges, 104599 markings/sec, 890 secs
lola: 774 tries, 773535229 fired transitions, 895 secs || 104794450 markings, 135445421 edges, 114465 markings/sec, 895 secs
lola: 778 tries, 777923029 fired transitions, 900 secs || 105341612 markings, 136167537 edges, 109432 markings/sec, 900 secs
lola: 783 tries, 782440182 fired transitions, 905 secs || 105906301 markings, 136912900 edges, 112938 markings/sec, 905 secs
lola: 788 tries, 787013284 fired transitions, 910 secs || 106469998 markings, 137656849 edges, 112739 markings/sec, 910 secs
lola: 792 tries, 791449641 fired transitions, 915 secs || 107041059 markings, 138410755 edges, 114212 markings/sec, 915 secs
lola: 796 tries, 795923817 fired transitions, 920 secs || 107612535 markings, 139164995 edges, 114295 markings/sec, 920 secs
lola: 801 tries, 800389947 fired transitions, 925 secs || 108187232 markings, 139925118 edges, 114939 markings/sec, 925 secs
lola: 805 tries, 804769497 fired transitions, 930 secs || 108767115 markings, 140690240 edges, 115977 markings/sec, 930 secs
lola: 810 tries, 809049222 fired transitions, 935 secs || 109299119 markings, 141391798 edges, 106401 markings/sec, 935 secs
lola: 814 tries, 813558078 fired transitions, 940 secs || 109869103 markings, 142145707 edges, 113997 markings/sec, 940 secs
lola: 819 tries, 818105952 fired transitions, 945 secs || 110431591 markings, 142889479 edges, 112498 markings/sec, 945 secs
lola: 823 tries, 822705387 fired transitions, 950 secs || 110980331 markings, 143616784 edges, 109748 markings/sec, 950 secs
lola: 828 tries, 827274255 fired transitions, 955 secs || 111534701 markings, 144348879 edges, 110874 markings/sec, 955 secs
lola: 832 tries, 831783782 fired transitions, 960 secs || 112105864 markings, 145104304 edges, 114233 markings/sec, 960 secs
lola: 837 tries, 836330262 fired transitions, 965 secs || 112664618 markings, 145844139 edges, 111751 markings/sec, 965 secs
lola: 841 tries, 840847240 fired transitions, 970 secs || 113230084 markings, 146593484 edges, 113093 markings/sec, 970 secs
lola: 846 tries, 845433187 fired transitions, 975 secs || 113790216 markings, 147333738 edges, 112026 markings/sec, 975 secs
lola: 850 tries, 849986162 fired transitions, 980 secs || 114352962 markings, 148077281 edges, 112549 markings/sec, 980 secs
lola: 855 tries, 854574312 fired transitions, 985 secs || 114912199 markings, 148816984 edges, 111847 markings/sec, 985 secs
lola: 860 tries, 859102852 fired transitions, 990 secs || 115471475 markings, 149556836 edges, 111855 markings/sec, 990 secs
lola: 864 tries, 863571932 fired transitions, 995 secs || 116025178 markings, 150290517 edges, 110741 markings/sec, 995 secs
lola: 869 tries, 868157268 fired transitions, 1000 secs || 116585748 markings, 151033977 edges, 112114 markings/sec, 1000 secs
lola: 873 tries, 872689097 fired transitions, 1005 secs || 117152986 markings, 151785704 edges, 113448 markings/sec, 1005 secs
lola: 878 tries, 877173652 fired transitions, 1010 secs || 117716344 markings, 152531680 edges, 112672 markings/sec, 1010 secs
lola: 882 tries, 881765312 fired transitions, 1015 secs || 118274258 markings, 153270647 edges, 111583 markings/sec, 1015 secs
lola: 887 tries, 886332299 fired transitions, 1020 secs || 118836993 markings, 154017529 edges, 112547 markings/sec, 1020 secs
lola: 891 tries, 890893107 fired transitions, 1025 secs || 119399167 markings, 154761970 edges, 112435 markings/sec, 1025 secs
lola: 896 tries, 895381202 fired transitions, 1030 secs || 119970627 markings, 155519623 edges, 114292 markings/sec, 1030 secs
lola: 900 tries, 899887052 fired transitions, 1035 secs || 120540061 markings, 156273775 edges, 113887 markings/sec, 1035 secs
lola: 905 tries, 904355007 fired transitions, 1040 secs || 121109147 markings, 157028012 edges, 113817 markings/sec, 1040 secs
lola: 909 tries, 908867517 fired transitions, 1045 secs || 121672257 markings, 157773754 edges, 112622 markings/sec, 1045 secs
lola: 914 tries, 913295173 fired transitions, 1050 secs || 122233546 markings, 158517430 edges, 112258 markings/sec, 1050 secs
lola: 918 tries, 917696747 fired transitions, 1055 secs || 122804556 markings, 159274881 edges, 114202 markings/sec, 1055 secs
lola: 922 tries, 921800947 fired transitions, 1060 secs || 123318009 markings, 159954345 edges, 102691 markings/sec, 1060 secs
lola: 927 tries, 926093417 fired transitions, 1065 secs || 123842931 markings, 160649237 edges, 104984 markings/sec, 1065 secs
lola: 931 tries, 930081757 fired transitions, 1070 secs || 124356690 markings, 161329592 edges, 102752 markings/sec, 1070 secs
lola: 935 tries, 934422192 fired transitions, 1075 secs || 124929971 markings, 162089956 edges, 114656 markings/sec, 1075 secs
lola: 939 tries, 938629592 fired transitions, 1080 secs || 125453814 markings, 162784942 edges, 104769 markings/sec, 1080 secs
lola: 943 tries, 942806357 fired transitions, 1085 secs || 125983668 markings, 163488023 edges, 105971 markings/sec, 1085 secs
lola: 948 tries, 947154683 fired transitions, 1090 secs || 126494468 markings, 164165341 edges, 102160 markings/sec, 1090 secs
lola: 952 tries, 951680327 fired transitions, 1095 secs || 127059520 markings, 164915197 edges, 113010 markings/sec, 1095 secs
lola: 957 tries, 956303065 fired transitions, 1100 secs || 127637548 markings, 165683519 edges, 115606 markings/sec, 1100 secs
lola: 961 tries, 960859697 fired transitions, 1105 secs || 128198841 markings, 166428254 edges, 112259 markings/sec, 1105 secs
lola: 966 tries, 965152562 fired transitions, 1110 secs || 128698553 markings, 167093694 edges, 99942 markings/sec, 1110 secs
lola: 970 tries, 969253332 fired transitions, 1115 secs || 129187563 markings, 167743897 edges, 97802 markings/sec, 1115 secs
lola: 973 tries, 972839007 fired transitions, 1120 secs || 129646674 markings, 168352710 edges, 91822 markings/sec, 1120 secs
lola: 978 tries, 977407874 fired transitions, 1125 secs || 130194853 markings, 169080461 edges, 109636 markings/sec, 1125 secs
lola: 982 tries, 981556507 fired transitions, 1130 secs || 130718252 markings, 169775654 edges, 104680 markings/sec, 1130 secs
lola: 986 tries, 985641439 fired transitions, 1135 secs || 131222353 markings, 170445560 edges, 100820 markings/sec, 1135 secs
lola: 990 tries, 989226787 fired transitions, 1140 secs || 131695345 markings, 171073351 edges, 94598 markings/sec, 1140 secs
lola: 993 tries, 992373761 fired transitions, 1145 secs || 132106277 markings, 171617765 edges, 82186 markings/sec, 1145 secs
lola: 996 tries, 995365522 fired transitions, 1150 secs || 132500722 markings, 172139536 edges, 78889 markings/sec, 1150 secs
lola: 1000 tries, 999331741 fired transitions, 1155 secs || 132994584 markings, 172795344 edges, 98772 markings/sec, 1155 secs
lola: 1004 tries, 1003716418 fired transitions, 1160 secs || 133535154 markings, 173514098 edges, 108114 markings/sec, 1160 secs
lola: 1009 tries, 1008057207 fired transitions, 1165 secs || 134060849 markings, 174213567 edges, 105139 markings/sec, 1165 secs
lola: 1012 tries, 1011821425 fired transitions, 1170 secs || 134537785 markings, 174846996 edges, 95387 markings/sec, 1170 secs
lola: 1015 tries, 1014934167 fired transitions, 1175 secs || 134938241 markings, 175378290 edges, 80091 markings/sec, 1175 secs
lola: 1019 tries, 1018926167 fired transitions, 1180 secs || 135475408 markings, 176091949 edges, 107433 markings/sec, 1180 secs
lola: 1024 tries, 1023391606 fired transitions, 1185 secs || 136029565 markings, 176828877 edges, 110831 markings/sec, 1185 secs
lola: 1028 tries, 1027713568 fired transitions, 1190 secs || 136560776 markings, 177535957 edges, 106242 markings/sec, 1190 secs
lola: 1033 tries, 1032233452 fired transitions, 1195 secs || 137090720 markings, 178241894 edges, 105989 markings/sec, 1195 secs
lola: 1037 tries, 1036491412 fired transitions, 1200 secs || 137606016 markings, 178927296 edges, 103059 markings/sec, 1200 secs
lola: 1041 tries, 1040818087 fired transitions, 1205 secs || 138135543 markings, 179632116 edges, 105905 markings/sec, 1205 secs
lola: 1046 tries, 1045013787 fired transitions, 1210 secs || 138676566 markings, 180352851 edges, 108205 markings/sec, 1210 secs
lola: 1050 tries, 1049204927 fired transitions, 1215 secs || 139212237 markings, 181065815 edges, 107134 markings/sec, 1215 secs
lola: 1054 tries, 1053384063 fired transitions, 1220 secs || 139741988 markings, 181772402 edges, 105950 markings/sec, 1220 secs
lola: 1058 tries, 1057633607 fired transitions, 1225 secs || 140278418 markings, 182485994 edges, 107286 markings/sec, 1225 secs
lola: 1062 tries, 1061865322 fired transitions, 1230 secs || 140813897 markings, 183199923 edges, 107096 markings/sec, 1230 secs
lola: 1067 tries, 1066121507 fired transitions, 1235 secs || 141359957 markings, 183928258 edges, 109212 markings/sec, 1235 secs
lola: 1071 tries, 1070260727 fired transitions, 1240 secs || 141879715 markings, 184620542 edges, 103952 markings/sec, 1240 secs
lola: 1075 tries, 1074534862 fired transitions, 1245 secs || 142408656 markings, 185324380 edges, 105788 markings/sec, 1245 secs
lola: 1079 tries, 1078794617 fired transitions, 1250 secs || 142942860 markings, 186036104 edges, 106841 markings/sec, 1250 secs
lola: 1083 tries, 1082910672 fired transitions, 1255 secs || 143481760 markings, 186755437 edges, 107780 markings/sec, 1255 secs
lola: 1088 tries, 1087060693 fired transitions, 1260 secs || 144012073 markings, 187462505 edges, 106063 markings/sec, 1260 secs
lola: 1092 tries, 1091265347 fired transitions, 1265 secs || 144535049 markings, 188160143 edges, 104595 markings/sec, 1265 secs
lola: 1096 tries, 1095503907 fired transitions, 1270 secs || 145046808 markings, 188843073 edges, 102352 markings/sec, 1270 secs
lola: 1100 tries, 1099808439 fired transitions, 1275 secs || 145586191 markings, 189561472 edges, 107877 markings/sec, 1275 secs
lola: 1104 tries, 1103971192 fired transitions, 1280 secs || 146121736 markings, 190276445 edges, 107109 markings/sec, 1280 secs
lola: 1109 tries, 1108491572 fired transitions, 1285 secs || 146657758 markings, 190992435 edges, 107204 markings/sec, 1285 secs
lola: 1114 tries, 1113026987 fired transitions, 1290 secs || 147204944 markings, 191723170 edges, 109437 markings/sec, 1290 secs
lola: 1118 tries, 1117468812 fired transitions, 1295 secs || 147748012 markings, 192446966 edges, 108614 markings/sec, 1295 secs
lola: 1122 tries, 1121787012 fired transitions, 1300 secs || 148284468 markings, 193162118 edges, 107291 markings/sec, 1300 secs
lola: 1127 tries, 1126332132 fired transitions, 1305 secs || 148840542 markings, 193903823 edges, 111215 markings/sec, 1305 secs
lola: 1131 tries, 1130841892 fired transitions, 1310 secs || 149381337 markings, 194626198 edges, 108159 markings/sec, 1310 secs
lola: 1136 tries, 1135166142 fired transitions, 1315 secs || 149913482 markings, 195338532 edges, 106429 markings/sec, 1315 secs
lola: 1140 tries, 1139650527 fired transitions, 1320 secs || 150442562 markings, 196046866 edges, 105816 markings/sec, 1320 secs
lola: 1145 tries, 1144480112 fired transitions, 1325 secs || 150991804 markings, 196781165 edges, 109848 markings/sec, 1325 secs
lola: 1150 tries, 1149335457 fired transitions, 1330 secs || 151553335 markings, 197530466 edges, 112306 markings/sec, 1330 secs
lola: 1155 tries, 1154167232 fired transitions, 1335 secs || 152120951 markings, 198289941 edges, 113523 markings/sec, 1335 secs
lola: 1159 tries, 1158922032 fired transitions, 1340 secs || 152690168 markings, 199050111 edges, 113843 markings/sec, 1340 secs
lola: 1164 tries, 1163684597 fired transitions, 1345 secs || 153253360 markings, 199803160 edges, 112638 markings/sec, 1345 secs
lola: 1169 tries, 1168317107 fired transitions, 1350 secs || 153824138 markings, 200566079 edges, 114156 markings/sec, 1350 secs
lola: 1173 tries, 1172946599 fired transitions, 1355 secs || 154391241 markings, 201324307 edges, 113421 markings/sec, 1355 secs
lola: 1178 tries, 1177720622 fired transitions, 1360 secs || 154949454 markings, 202072292 edges, 111643 markings/sec, 1360 secs
lola: 1183 tries, 1182415505 fired transitions, 1365 secs || 155516944 markings, 202832273 edges, 113498 markings/sec, 1365 secs
lola: 1187 tries, 1186843782 fired transitions, 1370 secs || 156074021 markings, 203577796 edges, 111415 markings/sec, 1370 secs
lola: 1192 tries, 1191033327 fired transitions, 1375 secs || 156614908 markings, 204302021 edges, 108177 markings/sec, 1375 secs
lola: 1196 tries, 1195259540 fired transitions, 1380 secs || 157150072 markings, 205018680 edges, 107033 markings/sec, 1380 secs
lola: 1200 tries, 1199418472 fired transitions, 1385 secs || 157692941 markings, 205745087 edges, 108574 markings/sec, 1385 secs
lola: 1204 tries, 1203587223 fired transitions, 1390 secs || 158234738 markings, 206470981 edges, 108359 markings/sec, 1390 secs
lola: 1208 tries, 1207742370 fired transitions, 1395 secs || 158769753 markings, 207188362 edges, 107003 markings/sec, 1395 secs
lola: 1213 tries, 1212083574 fired transitions, 1400 secs || 159326151 markings, 207932910 edges, 111280 markings/sec, 1400 secs
lola: 1217 tries, 1216526942 fired transitions, 1405 secs || 159872168 markings, 208665013 edges, 109203 markings/sec, 1405 secs
lola: 1221 tries, 1220715367 fired transitions, 1410 secs || 160424251 markings, 209404517 edges, 110417 markings/sec, 1410 secs
lola: 1226 tries, 1225075622 fired transitions, 1415 secs || 160976510 markings, 210146302 edges, 110452 markings/sec, 1415 secs
lola: 1230 tries, 1229304802 fired transitions, 1420 secs || 161526016 markings, 210882691 edges, 109901 markings/sec, 1420 secs
lola: 1234 tries, 1233592427 fired transitions, 1425 secs || 162068489 markings, 211610724 edges, 108495 markings/sec, 1425 secs
lola: 1238 tries, 1237965037 fired transitions, 1430 secs || 162612875 markings, 212340773 edges, 108877 markings/sec, 1430 secs
lola: 1243 tries, 1242725902 fired transitions, 1435 secs || 163173542 markings, 213092422 edges, 112133 markings/sec, 1435 secs
lola: 1248 tries, 1247014337 fired transitions, 1440 secs || 163727231 markings, 213835447 edges, 110738 markings/sec, 1440 secs
lola: 1252 tries, 1251259339 fired transitions, 1445 secs || 164272492 markings, 214567049 edges, 109052 markings/sec, 1445 secs
lola: 1256 tries, 1255547252 fired transitions, 1450 secs || 164821455 markings, 215303949 edges, 109793 markings/sec, 1450 secs
lola: 1260 tries, 1259816437 fired transitions, 1455 secs || 165371504 markings, 216041906 edges, 110010 markings/sec, 1455 secs
lola: 1265 tries, 1264113572 fired transitions, 1460 secs || 165914016 markings, 216770014 edges, 108502 markings/sec, 1460 secs
lola: 1269 tries, 1268388431 fired transitions, 1465 secs || 166465691 markings, 217510606 edges, 110335 markings/sec, 1465 secs
lola: 1273 tries, 1272671903 fired transitions, 1470 secs || 167016580 markings, 218249318 edges, 110178 markings/sec, 1470 secs
lola: 1277 tries, 1276958462 fired transitions, 1475 secs || 167565073 markings, 218986760 edges, 109699 markings/sec, 1475 secs
lola: 1282 tries, 1281242521 fired transitions, 1480 secs || 168114664 markings, 219724284 edges, 109918 markings/sec, 1480 secs
lola: 1286 tries, 1285578270 fired transitions, 1485 secs || 168667428 markings, 220465623 edges, 110553 markings/sec, 1485 secs
lola: 1290 tries, 1289862775 fired transitions, 1490 secs || 169215288 markings, 221202351 edges, 109572 markings/sec, 1490 secs
lola: 1295 tries, 1294152592 fired transitions, 1495 secs || 169763517 markings, 221938943 edges, 109646 markings/sec, 1495 secs
lola: 1299 tries, 1298443777 fired transitions, 1500 secs || 170310227 markings, 222674733 edges, 109342 markings/sec, 1500 secs
lola: 1303 tries, 1302910273 fired transitions, 1505 secs || 170871511 markings, 223428953 edges, 112257 markings/sec, 1505 secs
lola: 1308 tries, 1307424372 fired transitions, 1510 secs || 171439435 markings, 224193064 edges, 113585 markings/sec, 1510 secs
lola: 1312 tries, 1311930072 fired transitions, 1515 secs || 172009698 markings, 224959100 edges, 114053 markings/sec, 1515 secs
lola: 1317 tries, 1316424737 fired transitions, 1520 secs || 172576352 markings, 225722145 edges, 113331 markings/sec, 1520 secs
lola: 1321 tries, 1320938172 fired transitions, 1525 secs || 173136277 markings, 226475691 edges, 111985 markings/sec, 1525 secs
lola: 1326 tries, 1325657767 fired transitions, 1530 secs || 173698358 markings, 227232254 edges, 112416 markings/sec, 1530 secs
lola: 1331 tries, 1330354160 fired transitions, 1535 secs || 174266900 markings, 227995406 edges, 113708 markings/sec, 1535 secs
lola: 1336 tries, 1335010285 fired transitions, 1540 secs || 174835166 markings, 228761158 edges, 113653 markings/sec, 1540 secs
lola: 1340 tries, 1339667382 fired transitions, 1545 secs || 175407237 markings, 229531077 edges, 114414 markings/sec, 1545 secs
lola: 1345 tries, 1344307747 fired transitions, 1550 secs || 175977957 markings, 230300281 edges, 114144 markings/sec, 1550 secs
lola: 1349 tries, 1348964592 fired transitions, 1555 secs || 176544808 markings, 231065043 edges, 113370 markings/sec, 1555 secs
lola: 1354 tries, 1353616919 fired transitions, 1560 secs || 177111953 markings, 231828444 edges, 113429 markings/sec, 1560 secs
lola: 1359 tries, 1358278122 fired transitions, 1565 secs || 177678712 markings, 232592362 edges, 113352 markings/sec, 1565 secs
lola: 1363 tries, 1362952744 fired transitions, 1570 secs || 178248715 markings, 233360628 edges, 114001 markings/sec, 1570 secs
lola: 1368 tries, 1367623987 fired transitions, 1575 secs || 178817908 markings, 234128673 edges, 113839 markings/sec, 1575 secs
lola: 1373 tries, 1372311537 fired transitions, 1580 secs || 179382398 markings, 234890288 edges, 112898 markings/sec, 1580 secs
lola: 1378 tries, 1377001207 fired transitions, 1585 secs || 179950433 markings, 235657165 edges, 113607 markings/sec, 1585 secs
lola: 1382 tries, 1381700187 fired transitions, 1590 secs || 180517696 markings, 236422907 edges, 113453 markings/sec, 1590 secs
lola: 1387 tries, 1386379555 fired transitions, 1595 secs || 181087496 markings, 237191458 edges, 113960 markings/sec, 1595 secs
lola: 1392 tries, 1391062477 fired transitions, 1600 secs || 181649888 markings, 237951073 edges, 112478 markings/sec, 1600 secs
lola: 1396 tries, 1395842227 fired transitions, 1605 secs || 182206637 markings, 238702592 edges, 111350 markings/sec, 1605 secs
lola: 1401 tries, 1400601417 fired transitions, 1610 secs || 182765516 markings, 239457827 edges, 111776 markings/sec, 1610 secs
lola: 1406 tries, 1405356272 fired transitions, 1615 secs || 183323378 markings, 240210166 edges, 111572 markings/sec, 1615 secs
lola: 1411 tries, 1410135570 fired transitions, 1620 secs || 183880518 markings, 240963856 edges, 111428 markings/sec, 1620 secs
lola: 1415 tries, 1414930522 fired transitions, 1625 secs || 184440039 markings, 241719355 edges, 111904 markings/sec, 1625 secs
lola: 1420 tries, 1419727522 fired transitions, 1630 secs || 184995612 markings, 242470937 edges, 111115 markings/sec, 1630 secs
lola: 1425 tries, 1424535487 fired transitions, 1635 secs || 185549735 markings, 243221038 edges, 110825 markings/sec, 1635 secs
lola: 1430 tries, 1429335397 fired transitions, 1640 secs || 186101004 markings, 243966277 edges, 110254 markings/sec, 1640 secs
lola: 1435 tries, 1434164327 fired transitions, 1645 secs || 186651930 markings, 244711187 edges, 110185 markings/sec, 1645 secs
lola: 1440 tries, 1439028683 fired transitions, 1650 secs || 187201316 markings, 245453855 edges, 109877 markings/sec, 1650 secs
lola: 1444 tries, 1443788197 fired transitions, 1655 secs || 187759084 markings, 246208648 edges, 111554 markings/sec, 1655 secs
lola: 1449 tries, 1448484842 fired transitions, 1660 secs || 188322872 markings, 246971947 edges, 112758 markings/sec, 1660 secs
lola: 1454 tries, 1453180137 fired transitions, 1665 secs || 188886448 markings, 247734382 edges, 112715 markings/sec, 1665 secs
lola: 1458 tries, 1457886997 fired transitions, 1670 secs || 189448682 markings, 248495859 edges, 112447 markings/sec, 1670 secs
lola: 1463 tries, 1462603617 fired transitions, 1675 secs || 190012738 markings, 249260142 edges, 112811 markings/sec, 1675 secs
lola: 1468 tries, 1467255682 fired transitions, 1680 secs || 190588565 markings, 250040433 edges, 115165 markings/sec, 1680 secs
lola: 1472 tries, 1471885037 fired transitions, 1685 secs || 191167116 markings, 250823192 edges, 115710 markings/sec, 1685 secs
lola: 1477 tries, 1476598608 fired transitions, 1690 secs || 191731869 markings, 251588143 edges, 112951 markings/sec, 1690 secs
lola: 1482 tries, 1481251857 fired transitions, 1695 secs || 192306677 markings, 252366031 edges, 114962 markings/sec, 1695 secs
lola: 1486 tries, 1485923792 fired transitions, 1700 secs || 192890274 markings, 253156469 edges, 116719 markings/sec, 1700 secs
lola: 1491 tries, 1490604677 fired transitions, 1705 secs || 193469043 markings, 253941069 edges, 115754 markings/sec, 1705 secs
lola: 1496 tries, 1495282792 fired transitions, 1710 secs || 194047979 markings, 254726054 edges, 115787 markings/sec, 1710 secs
lola: 1500 tries, 1499976788 fired transitions, 1715 secs || 194624700 markings, 255508860 edges, 115344 markings/sec, 1715 secs
lola: 1505 tries, 1504669448 fired transitions, 1720 secs || 195202185 markings, 256291476 edges, 115497 markings/sec, 1720 secs
lola: 1510 tries, 1509399752 fired transitions, 1725 secs || 195761588 markings, 257051506 edges, 111881 markings/sec, 1725 secs
lola: 1515 tries, 1514211809 fired transitions, 1730 secs || 196320944 markings, 257808680 edges, 111871 markings/sec, 1730 secs
lola: 1519 tries, 1518890147 fired transitions, 1735 secs || 196896580 markings, 258590057 edges, 115127 markings/sec, 1735 secs
lola: 1524 tries, 1523714371 fired transitions, 1740 secs || 197458853 markings, 259354552 edges, 112455 markings/sec, 1740 secs
lola: 1529 tries, 1528524407 fired transitions, 1745 secs || 198021623 markings, 260120744 edges, 112554 markings/sec, 1745 secs
lola: 1534 tries, 1533387970 fired transitions, 1750 secs || 198589728 markings, 260891934 edges, 113621 markings/sec, 1750 secs
lola: 1539 tries, 1538208021 fired transitions, 1755 secs || 199167235 markings, 261677064 edges, 115501 markings/sec, 1755 secs
lola: 1544 tries, 1543029007 fired transitions, 1760 secs || 199742951 markings, 262459765 edges, 115143 markings/sec, 1760 secs
lola: 1548 tries, 1547837512 fired transitions, 1765 secs || 200312531 markings, 263233832 edges, 113916 markings/sec, 1765 secs
lola: 1553 tries, 1552655127 fired transitions, 1770 secs || 200876644 markings, 263999660 edges, 112823 markings/sec, 1770 secs
lola: 1558 tries, 1557444976 fired transitions, 1775 secs || 201438820 markings, 264760891 edges, 112435 markings/sec, 1775 secs
lola: 1563 tries, 1562189422 fired transitions, 1780 secs || 201985648 markings, 265503501 edges, 109366 markings/sec, 1780 secs
lola: 1567 tries, 1566947245 fired transitions, 1785 secs || 202551312 markings, 266273007 edges, 113133 markings/sec, 1785 secs
lola: 1572 tries, 1571038032 fired transitions, 1790 secs || 203098430 markings, 267016398 edges, 109424 markings/sec, 1790 secs
lola: 1576 tries, 1575093659 fired transitions, 1795 secs || 203637869 markings, 267750753 edges, 107888 markings/sec, 1795 secs
lola: 1580 tries, 1579586977 fired transitions, 1800 secs || 204199406 markings, 268512093 edges, 112307 markings/sec, 1800 secs
lola: 1585 tries, 1584222192 fired transitions, 1805 secs || 204767960 markings, 269285883 edges, 113711 markings/sec, 1805 secs
lola: 1589 tries, 1588868712 fired transitions, 1810 secs || 205314504 markings, 270031117 edges, 109309 markings/sec, 1810 secs
lola: 1594 tries, 1593454775 fired transitions, 1815 secs || 205891681 markings, 270818374 edges, 115435 markings/sec, 1815 secs
lola: 1598 tries, 1597793602 fired transitions, 1820 secs || 206441989 markings, 271567743 edges, 110062 markings/sec, 1820 secs
lola: 1603 tries, 1602354955 fired transitions, 1825 secs || 206995979 markings, 272322287 edges, 110798 markings/sec, 1825 secs
lola: 1607 tries, 1606713417 fired transitions, 1830 secs || 207543473 markings, 273069242 edges, 109499 markings/sec, 1830 secs
lola: 1612 tries, 1611060217 fired transitions, 1835 secs || 208087663 markings, 273810428 edges, 108838 markings/sec, 1835 secs
lola: 1616 tries, 1615776772 fired transitions, 1840 secs || 208653796 markings, 274582249 edges, 113227 markings/sec, 1840 secs
lola: 1621 tries, 1620528626 fired transitions, 1845 secs || 209222006 markings, 275355340 edges, 113642 markings/sec, 1845 secs
lola: 1626 tries, 1625277842 fired transitions, 1850 secs || 209789515 markings, 276128845 edges, 113502 markings/sec, 1850 secs
lola: 1631 tries, 1630019757 fired transitions, 1855 secs || 210362783 markings, 276908700 edges, 114654 markings/sec, 1855 secs
lola: 1635 tries, 1634694627 fired transitions, 1860 secs || 210928865 markings, 277681156 edges, 113216 markings/sec, 1860 secs
lola: 1640 tries, 1639394459 fired transitions, 1865 secs || 211497285 markings, 278456349 edges, 113684 markings/sec, 1865 secs
lola: 1644 tries, 1643874537 fired transitions, 1870 secs || 212056161 markings, 279217014 edges, 111775 markings/sec, 1870 secs
lola: 1649 tries, 1648201197 fired transitions, 1875 secs || 212602589 markings, 279962104 edges, 109286 markings/sec, 1875 secs
lola: 1653 tries, 1652779242 fired transitions, 1880 secs || 213145594 markings, 280703559 edges, 108601 markings/sec, 1880 secs
lola: 1658 tries, 1657276792 fired transitions, 1885 secs || 213699642 markings, 281460383 edges, 110810 markings/sec, 1885 secs
lola: 1662 tries, 1661915895 fired transitions, 1890 secs || 214244257 markings, 282204673 edges, 108923 markings/sec, 1890 secs
lola: 1667 tries, 1666277629 fired transitions, 1895 secs || 214791667 markings, 282952330 edges, 109482 markings/sec, 1895 secs
lola: 1671 tries, 1670645179 fired transitions, 1900 secs || 215335937 markings, 283695731 edges, 108854 markings/sec, 1900 secs
lola: 1676 tries, 1675092087 fired transitions, 1905 secs || 215879922 markings, 284439463 edges, 108797 markings/sec, 1905 secs
lola: 1680 tries, 1679682972 fired transitions, 1910 secs || 216444050 markings, 285212495 edges, 112826 markings/sec, 1910 secs
lola: 1685 tries, 1684097737 fired transitions, 1915 secs || 216981037 markings, 285947613 edges, 107397 markings/sec, 1915 secs
lola: 1689 tries, 1688515092 fired transitions, 1920 secs || 217521519 markings, 286686718 edges, 108096 markings/sec, 1920 secs
lola: 1694 tries, 1693046602 fired transitions, 1925 secs || 218073730 markings, 287442399 edges, 110442 markings/sec, 1925 secs
lola: 1698 tries, 1697474542 fired transitions, 1930 secs || 218618478 markings, 288187143 edges, 108950 markings/sec, 1930 secs
lola: 1703 tries, 1702068887 fired transitions, 1935 secs || 219163579 markings, 288934422 edges, 109020 markings/sec, 1935 secs
lola: 1707 tries, 1706839677 fired transitions, 1940 secs || 219723039 markings, 289699635 edges, 111892 markings/sec, 1940 secs
lola: 1712 tries, 1711637812 fired transitions, 1945 secs || 220287793 markings, 290474535 edges, 112951 markings/sec, 1945 secs
lola: 1717 tries, 1716411740 fired transitions, 1950 secs || 220856369 markings, 291255767 edges, 113715 markings/sec, 1950 secs
lola: 1722 tries, 1721255427 fired transitions, 1955 secs || 221421080 markings, 292029751 edges, 112942 markings/sec, 1955 secs
lola: 1727 tries, 1726119207 fired transitions, 1960 secs || 221986071 markings, 292803371 edges, 112998 markings/sec, 1960 secs
lola: 1731 tries, 1730905829 fired transitions, 1965 secs || 222554504 markings, 293582211 edges, 113687 markings/sec, 1965 secs
lola: 1736 tries, 1735674372 fired transitions, 1970 secs || 223123448 markings, 294363167 edges, 113789 markings/sec, 1970 secs
lola: 1741 tries, 1740440208 fired transitions, 1975 secs || 223692068 markings, 295142786 edges, 113724 markings/sec, 1975 secs
lola: 1746 tries, 1745232022 fired transitions, 1980 secs || 224259140 markings, 295920815 edges, 113414 markings/sec, 1980 secs
lola: 1751 tries, 1750010477 fired transitions, 1985 secs || 224834300 markings, 296709503 edges, 115032 markings/sec, 1985 secs
lola: 1755 tries, 1754834504 fired transitions, 1990 secs || 225400050 markings, 297486717 edges, 113150 markings/sec, 1990 secs
lola: 1760 tries, 1759533339 fired transitions, 1995 secs || 225968030 markings, 298265862 edges, 113596 markings/sec, 1995 secs
lola: 1765 tries, 1764354622 fired transitions, 2000 secs || 226533742 markings, 299043226 edges, 113142 markings/sec, 2000 secs
lola: 1770 tries, 1769119022 fired transitions, 2005 secs || 227110219 markings, 299835652 edges, 115295 markings/sec, 2005 secs
lola: 1774 tries, 1773873827 fired transitions, 2010 secs || 227683010 markings, 300623723 edges, 114558 markings/sec, 2010 secs
lola: 1779 tries, 1778658948 fired transitions, 2015 secs || 228253726 markings, 301407939 edges, 114143 markings/sec, 2015 secs
lola: 1784 tries, 1783463402 fired transitions, 2020 secs || 228823336 markings, 302191486 edges, 113922 markings/sec, 2020 secs
lola: 1789 tries, 1788178163 fired transitions, 2025 secs || 229397966 markings, 302983431 edges, 114926 markings/sec, 2025 secs
lola: 1793 tries, 1792878027 fired transitions, 2030 secs || 229979624 markings, 303784677 edges, 116332 markings/sec, 2030 secs
lola: 1798 tries, 1797634412 fired transitions, 2035 secs || 230553584 markings, 304576198 edges, 114792 markings/sec, 2035 secs
lola: 1803 tries, 1802402627 fired transitions, 2040 secs || 231124352 markings, 305363290 edges, 114154 markings/sec, 2040 secs
lola: 1808 tries, 1807117602 fired transitions, 2045 secs || 231704769 markings, 306162944 edges, 116083 markings/sec, 2045 secs
lola: 1812 tries, 1811847490 fired transitions, 2050 secs || 232283675 markings, 306960208 edges, 115781 markings/sec, 2050 secs
lola: 1817 tries, 1816581047 fired transitions, 2055 secs || 232861477 markings, 307757355 edges, 115560 markings/sec, 2055 secs
lola: 1822 tries, 1821314947 fired transitions, 2060 secs || 233442292 markings, 308558836 edges, 116163 markings/sec, 2060 secs
lola: 1827 tries, 1826063957 fired transitions, 2065 secs || 234021973 markings, 309358347 edges, 115936 markings/sec, 2065 secs
lola: 1831 tries, 1830815462 fired transitions, 2070 secs || 234602255 markings, 310159064 edges, 116056 markings/sec, 2070 secs
lola: 1836 tries, 1835564847 fired transitions, 2075 secs || 235184856 markings, 310964191 edges, 116520 markings/sec, 2075 secs
lola: 1841 tries, 1840304162 fired transitions, 2080 secs || 235769490 markings, 311772176 edges, 116927 markings/sec, 2080 secs
lola: 1846 tries, 1845049573 fired transitions, 2085 secs || 236348069 markings, 312572288 edges, 115716 markings/sec, 2085 secs
lola: 1850 tries, 1849802821 fired transitions, 2090 secs || 236927142 markings, 313372770 edges, 115815 markings/sec, 2090 secs
lola: 1855 tries, 1854494536 fired transitions, 2095 secs || 237503808 markings, 314171165 edges, 115333 markings/sec, 2095 secs
lola: 1860 tries, 1859029983 fired transitions, 2100 secs || 238069570 markings, 314953767 edges, 113152 markings/sec, 2100 secs
lola: 1864 tries, 1863900587 fired transitions, 2105 secs || 238644449 markings, 315750789 edges, 114976 markings/sec, 2105 secs
lola: 1869 tries, 1868762339 fired transitions, 2110 secs || 239200145 markings, 316520185 edges, 111139 markings/sec, 2110 secs
lola: 1874 tries, 1873536722 fired transitions, 2115 secs || 239775495 markings, 317319184 edges, 115070 markings/sec, 2115 secs
lola: 1879 tries, 1878274442 fired transitions, 2120 secs || 240347871 markings, 318111891 edges, 114475 markings/sec, 2120 secs
lola: 1884 tries, 1883096657 fired transitions, 2125 secs || 240924922 markings, 318912053 edges, 115410 markings/sec, 2125 secs
lola: 1888 tries, 1887774477 fired transitions, 2130 secs || 241493834 markings, 319701763 edges, 113782 markings/sec, 2130 secs
lola: 1893 tries, 1892388902 fired transitions, 2135 secs || 242066444 markings, 320496478 edges, 114522 markings/sec, 2135 secs
lola: 1897 tries, 1896816284 fired transitions, 2140 secs || 242621477 markings, 321268078 edges, 111007 markings/sec, 2140 secs
lola: 1902 tries, 1901237053 fired transitions, 2145 secs || 243175217 markings, 322037395 edges, 110748 markings/sec, 2145 secs
lola: 1906 tries, 1905678347 fired transitions, 2150 secs || 243730085 markings, 322809701 edges, 110974 markings/sec, 2150 secs
lola: 1911 tries, 1910458903 fired transitions, 2155 secs || 244307939 markings, 323613529 edges, 115571 markings/sec, 2155 secs
lola: 1916 tries, 1915198102 fired transitions, 2160 secs || 244884788 markings, 324417141 edges, 115370 markings/sec, 2160 secs
lola: 1920 tries, 1919825757 fired transitions, 2165 secs || 245457088 markings, 325214235 edges, 114460 markings/sec, 2165 secs
lola: 1925 tries, 1924724957 fired transitions, 2170 secs || 246038817 markings, 326026094 edges, 116346 markings/sec, 2170 secs
lola: 1930 tries, 1929629308 fired transitions, 2175 secs || 246616946 markings, 326833032 edges, 115626 markings/sec, 2175 secs
lola: 1935 tries, 1934513193 fired transitions, 2180 secs || 247199260 markings, 327644563 edges, 116463 markings/sec, 2180 secs
lola: 1940 tries, 1939415112 fired transitions, 2185 secs || 247781940 markings, 328458003 edges, 116536 markings/sec, 2185 secs
lola: 1945 tries, 1944106372 fired transitions, 2190 secs || 248358926 markings, 329267632 edges, 115397 markings/sec, 2190 secs
lola: 1949 tries, 1948833182 fired transitions, 2195 secs || 248938635 markings, 330078081 edges, 115942 markings/sec, 2195 secs
lola: 1954 tries, 1953576692 fired transitions, 2200 secs || 249519439 markings, 330889376 edges, 116161 markings/sec, 2200 secs
lola: 1959 tries, 1958388627 fired transitions, 2205 secs || 250099202 markings, 331701067 edges, 115953 markings/sec, 2205 secs
lola: 1964 tries, 1963319349 fired transitions, 2210 secs || 250683028 markings, 332519741 edges, 116765 markings/sec, 2210 secs
lola: 1969 tries, 1968270872 fired transitions, 2215 secs || 251264022 markings, 333334087 edges, 116199 markings/sec, 2215 secs
lola: 1974 tries, 1973212112 fired transitions, 2220 secs || 251849460 markings, 334156362 edges, 117088 markings/sec, 2220 secs
lola: 1979 tries, 1978031027 fired transitions, 2225 secs || 252430963 markings, 334971201 edges, 116301 markings/sec, 2225 secs
lola: 1983 tries, 1982966652 fired transitions, 2230 secs || 252993609 markings, 335762262 edges, 112529 markings/sec, 2230 secs
lola: 1988 tries, 1987945377 fired transitions, 2235 secs || 253550669 markings, 336546169 edges, 111412 markings/sec, 2235 secs
lola: 1994 tries, 1993792977 fired transitions, 2240 secs || 253783152 markings, 336872418 edges, 46497 markings/sec, 2240 secs
lola: 2000 tries, 1999473382 fired transitions, 2245 secs || 253991950 markings, 337166296 edges, 41760 markings/sec, 2245 secs
lola: 2002 tries, 2001210121 fired transitions, 2250 secs || 254035038 markings, 337227051 edges, 8618 markings/sec, 2250 secs
lola: 2004 tries, 2003826487 fired transitions, 2255 secs || 254086501 markings, 337299435 edges, 10293 markings/sec, 2255 secs
lola: 2008 tries, 2007179527 fired transitions, 2260 secs || 254167130 markings, 337413105 edges, 16126 markings/sec, 2260 secs
lola: 2010 tries, 2009743712 fired transitions, 2265 secs || 254224403 markings, 337493403 edges, 11455 markings/sec, 2265 secs
Killed
rslt: finished
BK_STOP 1552673858644
--------------------
content from stderr:
grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 137 (ignored)
grep: GenericPropertiesVerdict.xml: No such file or directory
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="HospitalTriage-PT-none"
export BK_EXAMINATION="GlobalProperties"
export BK_TOOL="lola"
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
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is HospitalTriage-PT-none, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r082-csrt-155246549700606"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HospitalTriage-PT-none.tgz
mv HospitalTriage-PT-none execution
cd execution
if [ "GlobalProperties" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "GlobalProperties" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "GlobalProperties" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "GlobalProperties" != "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 "GlobalProperties.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property GlobalProperties.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "GlobalProperties.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 ;