About the Execution of LoLA for NeighborGrid-PT-d3n3m1t11
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15373.450 | 2242531.00 | 4572869.00 | 82.70 | F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2019-input.r104-oct2-155272225400093.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 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 NeighborGrid-PT-d3n3m1t11, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r104-oct2-155272225400093
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 212K
-rw-r--r-- 1 mcc users 3.1K Feb 11 23:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Feb 11 23:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 8 00:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 8 00:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 112 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 350 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 00:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 00:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.1K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 4 06:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 4 06:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.2K Feb 1 00:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Feb 1 00:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K 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 10 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rwxr-xr-x 1 mcc users 46K 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 NeighborGrid-PT-d3n3m1t11-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1552772950111
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ NeighborGrid-PT-d3n3m1t11 @ 3570 seconds
FORMULA NeighborGrid-PT-d3n3m1t11-GlobalProperties-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN UNFOLDING_TO_PT
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 1328
rslt: Output for GlobalProperties @ NeighborGrid-PT-d3n3m1t11
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: 189/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 864
lola: finding significant places
lola: 27 places, 162 transitions, 26 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: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computed 35 generators (7 in search tree, 28 by composition)
lola: representing 1296 symmetries
lola: 0 dead branches visited in search tree
lola: 17 tries, 16796921 fired transitions, 0 secs || 1110940 markings, 6664800 edges, 222188 markings/sec, 0 secs
lola: 34 tries, 33626082 fired transitions, 5 secs || 2207840 markings, 13246038 edges, 219380 markings/sec, 5 secs
lola: 51 tries, 50481932 fired transitions, 10 secs || 3313346 markings, 19879379 edges, 221101 markings/sec, 10 secs
lola: 68 tries, 67431797 fired transitions, 15 secs || 4404097 markings, 26423731 edges, 218150 markings/sec, 15 secs
lola: 85 tries, 84392193 fired transitions, 20 secs || 5461263 markings, 32766775 edges, 211433 markings/sec, 20 secs
lola: 102 tries, 101447852 fired transitions, 25 secs || 6507934 markings, 39046825 edges, 209334 markings/sec, 25 secs
lola: 121 tries, 120239127 fired transitions, 30 secs || 7591381 markings, 45547362 edges, 216689 markings/sec, 30 secs
lola: 140 tries, 139199514 fired transitions, 35 secs || 8656139 markings, 51935903 edges, 212952 markings/sec, 35 secs
lola: 159 tries, 158309310 fired transitions, 40 secs || 9718481 markings, 58310379 edges, 212468 markings/sec, 40 secs
lola: 178 tries, 177655076 fired transitions, 45 secs || 10786888 markings, 64720314 edges, 213681 markings/sec, 45 secs
lola: 198 tries, 197097799 fired transitions, 50 secs || 11822916 markings, 70936568 edges, 207206 markings/sec, 50 secs
lola: 217 tries, 216567134 fired transitions, 55 secs || 12845879 markings, 77074394 edges, 204593 markings/sec, 55 secs
lola: 237 tries, 236067510 fired transitions, 60 secs || 13925390 markings, 83551887 edges, 215902 markings/sec, 60 secs
lola: 254 tries, 253236446 fired transitions, 65 secs || 14931282 markings, 89587220 edges, 201178 markings/sec, 65 secs
lola: 271 tries, 270345819 fired transitions, 70 secs || 15942338 markings, 95652723 edges, 202211 markings/sec, 70 secs
lola: 288 tries, 287523399 fired transitions, 75 secs || 16939575 markings, 101636639 edges, 199447 markings/sec, 75 secs
lola: 306 tries, 305011286 fired transitions, 80 secs || 17927472 markings, 107563685 edges, 197579 markings/sec, 80 secs
lola: 323 tries, 322548962 fired transitions, 85 secs || 18916480 markings, 113497771 edges, 197802 markings/sec, 85 secs
lola: 341 tries, 340118383 fired transitions, 90 secs || 19905546 markings, 119432461 edges, 197813 markings/sec, 90 secs
lola: 358 tries, 357363344 fired transitions, 95 secs || 20921981 markings, 125531361 edges, 203287 markings/sec, 95 secs
lola: 376 tries, 375898912 fired transitions, 100 secs || 21929735 markings, 131577921 edges, 201551 markings/sec, 100 secs
lola: 396 tries, 395435489 fired transitions, 105 secs || 22908074 markings, 137447954 edges, 195668 markings/sec, 105 secs
lola: 415 tries, 414825336 fired transitions, 110 secs || 23914588 markings, 143487014 edges, 201303 markings/sec, 110 secs
lola: 435 tries, 434272091 fired transitions, 115 secs || 24988669 markings, 149931597 edges, 214816 markings/sec, 115 secs
lola: 454 tries, 453855795 fired transitions, 120 secs || 26038470 markings, 156230262 edges, 209960 markings/sec, 120 secs
lola: 474 tries, 473355585 fired transitions, 125 secs || 27086186 markings, 162516692 edges, 209543 markings/sec, 125 secs
lola: 493 tries, 492888116 fired transitions, 130 secs || 28129659 markings, 168777411 edges, 208695 markings/sec, 130 secs
lola: 513 tries, 512504748 fired transitions, 135 secs || 29171307 markings, 175027308 edges, 208330 markings/sec, 135 secs
lola: 533 tries, 532030112 fired transitions, 140 secs || 30221193 markings, 181326428 edges, 209977 markings/sec, 140 secs
lola: 552 tries, 551568275 fired transitions, 145 secs || 31301587 markings, 187808458 edges, 216079 markings/sec, 145 secs
lola: 572 tries, 571114880 fired transitions, 150 secs || 32342478 markings, 194053730 edges, 208178 markings/sec, 150 secs
lola: 591 tries, 590271621 fired transitions, 155 secs || 33382060 markings, 200291063 edges, 207916 markings/sec, 155 secs
lola: 610 tries, 609559626 fired transitions, 160 secs || 34428348 markings, 206568739 edges, 209258 markings/sec, 160 secs
lola: 629 tries, 628740327 fired transitions, 165 secs || 35483381 markings, 212899371 edges, 211007 markings/sec, 165 secs
lola: 649 tries, 648168735 fired transitions, 170 secs || 36490447 markings, 218941429 edges, 201413 markings/sec, 170 secs
lola: 668 tries, 667735253 fired transitions, 175 secs || 37557505 markings, 225344137 edges, 213412 markings/sec, 175 secs
lola: 688 tries, 687211724 fired transitions, 180 secs || 38654397 markings, 231925950 edges, 219378 markings/sec, 180 secs
lola: 707 tries, 706712820 fired transitions, 185 secs || 39728896 markings, 238372846 edges, 214900 markings/sec, 185 secs
lola: 727 tries, 726262447 fired transitions, 190 secs || 40795409 markings, 244771745 edges, 213303 markings/sec, 190 secs
lola: 746 tries, 745855785 fired transitions, 195 secs || 41841983 markings, 251051351 edges, 209315 markings/sec, 195 secs
lola: 766 tries, 765427430 fired transitions, 200 secs || 42900311 markings, 257401396 edges, 211666 markings/sec, 200 secs
lola: 784 tries, 783849718 fired transitions, 205 secs || 43935643 markings, 263613258 edges, 207066 markings/sec, 205 secs
lola: 801 tries, 800911997 fired transitions, 210 secs || 44945971 markings, 269675260 edges, 202066 markings/sec, 210 secs
lola: 819 tries, 818029271 fired transitions, 215 secs || 45940213 markings, 275640783 edges, 198848 markings/sec, 215 secs
lola: 836 tries, 835142065 fired transitions, 220 secs || 46948803 markings, 281692171 edges, 201718 markings/sec, 220 secs
lola: 853 tries, 852242056 fired transitions, 225 secs || 47941931 markings, 287651048 edges, 198626 markings/sec, 225 secs
lola: 870 tries, 869174881 fired transitions, 230 secs || 48961631 markings, 293769434 edges, 203940 markings/sec, 230 secs
lola: 886 tries, 885875593 fired transitions, 235 secs || 50004036 markings, 300023933 edges, 208481 markings/sec, 235 secs
lola: 903 tries, 902830832 fired transitions, 240 secs || 51021352 markings, 306127734 edges, 203463 markings/sec, 240 secs
lola: 920 tries, 919537611 fired transitions, 245 secs || 52035789 markings, 312214444 edges, 202887 markings/sec, 245 secs
lola: 937 tries, 936533357 fired transitions, 250 secs || 53035211 markings, 318210910 edges, 199884 markings/sec, 250 secs
lola: 954 tries, 953540918 fired transitions, 255 secs || 54028683 markings, 324171776 edges, 198694 markings/sec, 255 secs
lola: 971 tries, 970535919 fired transitions, 260 secs || 55022729 markings, 330135992 edges, 198809 markings/sec, 260 secs
lola: 988 tries, 987358675 fired transitions, 265 secs || 56013965 markings, 336083482 edges, 198247 markings/sec, 265 secs
lola: 1005 tries, 1004372512 fired transitions, 270 secs || 56971288 markings, 341827358 edges, 191465 markings/sec, 270 secs
lola: 1022 tries, 1021321217 fired transitions, 275 secs || 57943467 markings, 347659953 edges, 194436 markings/sec, 275 secs
lola: 1039 tries, 1038432419 fired transitions, 280 secs || 58966683 markings, 353799328 edges, 204643 markings/sec, 280 secs
lola: 1056 tries, 1055625267 fired transitions, 285 secs || 59966659 markings, 359799120 edges, 199995 markings/sec, 285 secs
lola: 1076 tries, 1075199132 fired transitions, 290 secs || 61009921 markings, 366058594 edges, 208652 markings/sec, 290 secs
lola: 1095 tries, 1094831526 fired transitions, 295 secs || 62046580 markings, 372278494 edges, 207332 markings/sec, 295 secs
lola: 1115 tries, 1114403039 fired transitions, 300 secs || 63067492 markings, 378404525 edges, 204182 markings/sec, 300 secs
lola: 1134 tries, 1133964690 fired transitions, 305 secs || 64083225 markings, 384498561 edges, 203147 markings/sec, 305 secs
lola: 1154 tries, 1153590885 fired transitions, 310 secs || 65065601 markings, 390392651 edges, 196475 markings/sec, 310 secs
lola: 1174 tries, 1173262102 fired transitions, 315 secs || 66072971 markings, 396437356 edges, 201474 markings/sec, 315 secs
lola: 1193 tries, 1192898869 fired transitions, 320 secs || 67057119 markings, 402342292 edges, 196830 markings/sec, 320 secs
lola: 1213 tries, 1212455830 fired transitions, 325 secs || 68089258 markings, 408534967 edges, 206428 markings/sec, 325 secs
lola: 1233 tries, 1232028465 fired transitions, 330 secs || 69089686 markings, 414537654 edges, 200086 markings/sec, 330 secs
lola: 1252 tries, 1251634166 fired transitions, 335 secs || 70098447 markings, 420589460 edges, 201752 markings/sec, 335 secs
lola: 1272 tries, 1271250644 fired transitions, 340 secs || 71114914 markings, 426688275 edges, 203293 markings/sec, 340 secs
lola: 1291 tries, 1290872336 fired transitions, 345 secs || 72118892 markings, 432712330 edges, 200796 markings/sec, 345 secs
lola: 1311 tries, 1310493812 fired transitions, 350 secs || 73146923 markings, 438881151 edges, 205606 markings/sec, 350 secs
lola: 1331 tries, 1330086110 fired transitions, 355 secs || 74171506 markings, 445028353 edges, 204917 markings/sec, 355 secs
lola: 1350 tries, 1349627796 fired transitions, 360 secs || 75158931 markings, 450953186 edges, 197485 markings/sec, 360 secs
lola: 1370 tries, 1369216197 fired transitions, 365 secs || 76173926 markings, 457043025 edges, 202999 markings/sec, 365 secs
lola: 1389 tries, 1388818138 fired transitions, 370 secs || 77174874 markings, 463048827 edges, 200190 markings/sec, 370 secs
lola: 1409 tries, 1408301024 fired transitions, 375 secs || 78194647 markings, 469167597 edges, 203955 markings/sec, 375 secs
lola: 1428 tries, 1427837260 fired transitions, 380 secs || 79231548 markings, 475389040 edges, 207380 markings/sec, 380 secs
lola: 1448 tries, 1447322562 fired transitions, 385 secs || 80262598 markings, 481575289 edges, 206210 markings/sec, 385 secs
lola: 1467 tries, 1466894510 fired transitions, 390 secs || 81255620 markings, 487533287 edges, 198604 markings/sec, 390 secs
lola: 1487 tries, 1486401170 fired transitions, 395 secs || 82277321 markings, 493663528 edges, 204340 markings/sec, 395 secs
lola: 1506 tries, 1505935497 fired transitions, 400 secs || 83282035 markings, 499690969 edges, 200943 markings/sec, 400 secs
lola: 1526 tries, 1525435219 fired transitions, 405 secs || 84357612 markings, 506144715 edges, 215115 markings/sec, 405 secs
lola: 1545 tries, 1544977885 fired transitions, 410 secs || 85392045 markings, 512351833 edges, 206887 markings/sec, 410 secs
lola: 1565 tries, 1564343005 fired transitions, 415 secs || 86388436 markings, 518330092 edges, 199278 markings/sec, 415 secs
lola: 1584 tries, 1583904750 fired transitions, 420 secs || 87396756 markings, 524379999 edges, 201664 markings/sec, 420 secs
lola: 1604 tries, 1603441977 fired transitions, 425 secs || 88409383 markings, 530455537 edges, 202525 markings/sec, 425 secs
lola: 1624 tries, 1623029118 fired transitions, 430 secs || 89435879 markings, 536614806 edges, 205299 markings/sec, 430 secs
lola: 1643 tries, 1642570853 fired transitions, 435 secs || 90438757 markings, 542631996 edges, 200576 markings/sec, 435 secs
lola: 1663 tries, 1662110143 fired transitions, 440 secs || 91451315 markings, 548707520 edges, 202512 markings/sec, 440 secs
lola: 1682 tries, 1681676027 fired transitions, 445 secs || 92478061 markings, 554868160 edges, 205349 markings/sec, 445 secs
lola: 1702 tries, 1701190949 fired transitions, 450 secs || 93483449 markings, 560900393 edges, 201078 markings/sec, 450 secs
lola: 1721 tries, 1720719543 fired transitions, 455 secs || 94496995 markings, 566980853 edges, 202709 markings/sec, 455 secs
lola: 1741 tries, 1740247549 fired transitions, 460 secs || 95594715 markings, 573567823 edges, 219544 markings/sec, 460 secs
lola: 1760 tries, 1759790674 fired transitions, 465 secs || 96648457 markings, 579890399 edges, 210748 markings/sec, 465 secs
lola: 1780 tries, 1779341144 fired transitions, 470 secs || 97717547 markings, 586304103 edges, 213818 markings/sec, 470 secs
lola: 1799 tries, 1798769715 fired transitions, 475 secs || 98786262 markings, 592716927 edges, 213743 markings/sec, 475 secs
lola: 1819 tries, 1818258980 fired transitions, 480 secs || 99860006 markings, 599159727 edges, 214749 markings/sec, 480 secs
lola: 1838 tries, 1837773669 fired transitions, 485 secs || 100915251 markings, 605491148 edges, 211049 markings/sec, 485 secs
lola: 1858 tries, 1857317946 fired transitions, 490 secs || 101964120 markings, 611784446 edges, 209774 markings/sec, 490 secs
lola: 1877 tries, 1876860429 fired transitions, 495 secs || 102975856 markings, 617854883 edges, 202347 markings/sec, 495 secs
lola: 1897 tries, 1896401528 fired transitions, 500 secs || 104051291 markings, 624307098 edges, 215087 markings/sec, 500 secs
lola: 1916 tries, 1915920630 fired transitions, 505 secs || 105105108 markings, 630629885 edges, 210763 markings/sec, 505 secs
lola: 1936 tries, 1935505504 fired transitions, 510 secs || 106149022 markings, 636893145 edges, 208783 markings/sec, 510 secs
lola: 1956 tries, 1955078371 fired transitions, 515 secs || 107174414 markings, 643045968 edges, 205078 markings/sec, 515 secs
lola: 1975 tries, 1974686602 fired transitions, 520 secs || 108185325 markings, 649111494 edges, 202182 markings/sec, 520 secs
lola: 1995 tries, 1994237126 fired transitions, 525 secs || 109229884 markings, 655378729 edges, 208912 markings/sec, 525 secs
lola: 2014 tries, 2013795516 fired transitions, 530 secs || 110256056 markings, 661535753 edges, 205234 markings/sec, 530 secs
lola: 2034 tries, 2033326096 fired transitions, 535 secs || 111287949 markings, 667726864 edges, 206379 markings/sec, 535 secs
lola: 2053 tries, 2052891610 fired transitions, 540 secs || 112323845 markings, 673942190 edges, 207179 markings/sec, 540 secs
lola: 2073 tries, 2072365090 fired transitions, 545 secs || 113381496 markings, 680288477 edges, 211530 markings/sec, 545 secs
lola: 2092 tries, 2091852442 fired transitions, 550 secs || 114409627 markings, 686457208 edges, 205626 markings/sec, 550 secs
lola: 2112 tries, 2111390577 fired transitions, 555 secs || 115440248 markings, 692640878 edges, 206124 markings/sec, 555 secs
lola: 2131 tries, 2130921478 fired transitions, 560 secs || 116475875 markings, 698854884 edges, 207125 markings/sec, 560 secs
lola: 2151 tries, 2150459723 fired transitions, 565 secs || 117506473 markings, 705038553 edges, 206120 markings/sec, 565 secs
lola: 2170 tries, 2169874654 fired transitions, 570 secs || 118559698 markings, 711357923 edges, 210645 markings/sec, 570 secs
lola: 2190 tries, 2189358231 fired transitions, 575 secs || 119597737 markings, 717586179 edges, 207608 markings/sec, 575 secs
lola: 2209 tries, 2208908791 fired transitions, 580 secs || 120622416 markings, 723734106 edges, 204936 markings/sec, 580 secs
lola: 2229 tries, 2228446989 fired transitions, 585 secs || 121644387 markings, 729866075 edges, 204394 markings/sec, 585 secs
lola: 2248 tries, 2247971431 fired transitions, 590 secs || 122629078 markings, 735774233 edges, 196938 markings/sec, 590 secs
lola: 2268 tries, 2267455307 fired transitions, 595 secs || 123661131 markings, 741966246 edges, 206411 markings/sec, 595 secs
lola: 2288 tries, 2287024201 fired transitions, 600 secs || 124670217 markings, 748020323 edges, 201817 markings/sec, 600 secs
lola: 2307 tries, 2306623565 fired transitions, 605 secs || 125668786 markings, 754012316 edges, 199714 markings/sec, 605 secs
lola: 2327 tries, 2326153105 fired transitions, 610 secs || 126668560 markings, 760010785 edges, 199955 markings/sec, 610 secs
lola: 2346 tries, 2345716658 fired transitions, 615 secs || 127687955 markings, 766127170 edges, 203879 markings/sec, 615 secs
lola: 2366 tries, 2365241756 fired transitions, 620 secs || 128688755 markings, 772131754 edges, 200160 markings/sec, 620 secs
lola: 2385 tries, 2384794623 fired transitions, 625 secs || 129699251 markings, 778195222 edges, 202099 markings/sec, 625 secs
lola: 2405 tries, 2404371476 fired transitions, 630 secs || 130709131 markings, 784254500 edges, 201976 markings/sec, 630 secs
lola: 2424 tries, 2423935510 fired transitions, 635 secs || 131698320 markings, 790189612 edges, 197838 markings/sec, 635 secs
lola: 2444 tries, 2443507924 fired transitions, 640 secs || 132691823 markings, 796150168 edges, 198701 markings/sec, 640 secs
lola: 2464 tries, 2463130132 fired transitions, 645 secs || 133670650 markings, 802023523 edges, 195765 markings/sec, 645 secs
lola: 2483 tries, 2482752788 fired transitions, 650 secs || 134646358 markings, 807877647 edges, 195142 markings/sec, 650 secs
lola: 2503 tries, 2502360302 fired transitions, 655 secs || 135619759 markings, 813718270 edges, 194680 markings/sec, 655 secs
lola: 2522 tries, 2521962268 fired transitions, 660 secs || 136590759 markings, 819544228 edges, 194200 markings/sec, 660 secs
lola: 2542 tries, 2541531922 fired transitions, 665 secs || 137614367 markings, 825685668 edges, 204722 markings/sec, 665 secs
lola: 2562 tries, 2561081347 fired transitions, 670 secs || 138671596 markings, 832029393 edges, 211446 markings/sec, 670 secs
lola: 2581 tries, 2580598834 fired transitions, 675 secs || 139694950 markings, 838169387 edges, 204671 markings/sec, 675 secs
lola: 2601 tries, 2600086882 fired transitions, 680 secs || 140681203 markings, 844086944 edges, 197251 markings/sec, 680 secs
lola: 2620 tries, 2619575643 fired transitions, 685 secs || 141762727 markings, 850575782 edges, 216305 markings/sec, 685 secs
lola: 2640 tries, 2639049519 fired transitions, 690 secs || 142804486 markings, 856826398 edges, 208352 markings/sec, 690 secs
lola: 2659 tries, 2658541715 fired transitions, 695 secs || 143831183 markings, 862986522 edges, 205339 markings/sec, 695 secs
lola: 2679 tries, 2678070979 fired transitions, 700 secs || 144824589 markings, 868946935 edges, 198681 markings/sec, 700 secs
lola: 2698 tries, 2697612772 fired transitions, 705 secs || 145860764 markings, 875164066 edges, 207235 markings/sec, 705 secs
lola: 2718 tries, 2717170335 fired transitions, 710 secs || 146880568 markings, 881282901 edges, 203961 markings/sec, 710 secs
lola: 2737 tries, 2736727377 fired transitions, 715 secs || 147927887 markings, 887566710 edges, 209464 markings/sec, 715 secs
lola: 2757 tries, 2756255418 fired transitions, 720 secs || 148957144 markings, 893742087 edges, 205851 markings/sec, 720 secs
lola: 2776 tries, 2775788867 fired transitions, 725 secs || 149972937 markings, 899837147 edges, 203159 markings/sec, 725 secs
lola: 2796 tries, 2795350241 fired transitions, 730 secs || 150987421 markings, 905923845 edges, 202897 markings/sec, 730 secs
lola: 2815 tries, 2814758653 fired transitions, 735 secs || 152044195 markings, 912264901 edges, 211355 markings/sec, 735 secs
lola: 2835 tries, 2834298178 fired transitions, 740 secs || 153078920 markings, 918473146 edges, 206945 markings/sec, 740 secs
lola: 2854 tries, 2853890054 fired transitions, 745 secs || 154101210 markings, 924607007 edges, 204458 markings/sec, 745 secs
lola: 2874 tries, 2873464518 fired transitions, 750 secs || 155119837 markings, 930718598 edges, 203725 markings/sec, 750 secs
lola: 2893 tries, 2892990037 fired transitions, 755 secs || 156137016 markings, 936821734 edges, 203436 markings/sec, 755 secs
lola: 2913 tries, 2912557680 fired transitions, 760 secs || 157127876 markings, 942766806 edges, 198172 markings/sec, 760 secs
lola: 2933 tries, 2932120234 fired transitions, 765 secs || 158097843 markings, 948586886 edges, 193993 markings/sec, 765 secs
lola: 2952 tries, 2951713351 fired transitions, 770 secs || 159113479 markings, 954680219 edges, 203127 markings/sec, 770 secs
lola: 2972 tries, 2971348680 fired transitions, 775 secs || 160092576 markings, 960554899 edges, 195819 markings/sec, 775 secs
lola: 2991 tries, 2990855912 fired transitions, 780 secs || 161082386 markings, 966493187 edges, 197962 markings/sec, 780 secs
lola: 3011 tries, 3010500127 fired transitions, 785 secs || 162072405 markings, 972433742 edges, 198004 markings/sec, 785 secs
lola: 3031 tries, 3030060516 fired transitions, 790 secs || 163075306 markings, 978451600 edges, 200580 markings/sec, 790 secs
lola: 3050 tries, 3049617822 fired transitions, 795 secs || 164077557 markings, 984464985 edges, 200450 markings/sec, 795 secs
lola: 3070 tries, 3069164674 fired transitions, 800 secs || 165058434 markings, 990350298 edges, 196175 markings/sec, 800 secs
lola: 3089 tries, 3088726532 fired transitions, 805 secs || 166043624 markings, 996261320 edges, 197038 markings/sec, 805 secs
lola: 3109 tries, 3108299908 fired transitions, 810 secs || 167089088 markings, 1002534030 edges, 209093 markings/sec, 810 secs
lola: 3128 tries, 3127868823 fired transitions, 815 secs || 168162382 markings, 1008973723 edges, 214659 markings/sec, 815 secs
lola: 3148 tries, 3147393673 fired transitions, 820 secs || 169225386 markings, 1015351943 edges, 212601 markings/sec, 820 secs
lola: 3167 tries, 3166873808 fired transitions, 825 secs || 170262672 markings, 1021575752 edges, 207457 markings/sec, 825 secs
lola: 3187 tries, 3186402142 fired transitions, 830 secs || 171273485 markings, 1027640528 edges, 202163 markings/sec, 830 secs
lola: 3206 tries, 3205965994 fired transitions, 835 secs || 172244666 markings, 1033467630 edges, 194236 markings/sec, 835 secs
lola: 3226 tries, 3225504500 fired transitions, 840 secs || 173245919 markings, 1039475119 edges, 200251 markings/sec, 840 secs
lola: 3246 tries, 3245056511 fired transitions, 845 secs || 174306113 markings, 1045836272 edges, 212039 markings/sec, 845 secs
lola: 3265 tries, 3264529052 fired transitions, 850 secs || 175363675 markings, 1052181668 edges, 211512 markings/sec, 850 secs
lola: 3285 tries, 3284023680 fired transitions, 855 secs || 176438989 markings, 1058633553 edges, 215063 markings/sec, 855 secs
lola: 3304 tries, 3303489823 fired transitions, 860 secs || 177501936 markings, 1065011189 edges, 212589 markings/sec, 860 secs
lola: 3324 tries, 3323028915 fired transitions, 865 secs || 178562575 markings, 1071375187 edges, 212128 markings/sec, 865 secs
lola: 3343 tries, 3342394093 fired transitions, 870 secs || 179629322 markings, 1077775678 edges, 213349 markings/sec, 870 secs
lola: 3362 tries, 3361823978 fired transitions, 875 secs || 180670799 markings, 1084024501 edges, 208295 markings/sec, 875 secs
lola: 3382 tries, 3381300240 fired transitions, 880 secs || 181706326 markings, 1090237518 edges, 207105 markings/sec, 880 secs
lola: 3401 tries, 3400818828 fired transitions, 885 secs || 182707720 markings, 1096245964 edges, 200279 markings/sec, 885 secs
lola: 3421 tries, 3420332798 fired transitions, 890 secs || 183716880 markings, 1102300758 edges, 201832 markings/sec, 890 secs
lola: 3440 tries, 3439900884 fired transitions, 895 secs || 184720561 markings, 1108323015 edges, 200736 markings/sec, 895 secs
lola: 3460 tries, 3459485841 fired transitions, 900 secs || 185727313 markings, 1114363436 edges, 201350 markings/sec, 900 secs
lola: 3480 tries, 3479030928 fired transitions, 905 secs || 186741067 markings, 1120446017 edges, 202751 markings/sec, 905 secs
lola: 3499 tries, 3498558062 fired transitions, 910 secs || 187729461 markings, 1126376467 edges, 197679 markings/sec, 910 secs
lola: 3519 tries, 3518075569 fired transitions, 915 secs || 188746601 markings, 1132479427 edges, 203428 markings/sec, 915 secs
lola: 3538 tries, 3537584548 fired transitions, 920 secs || 189752610 markings, 1138515361 edges, 201202 markings/sec, 920 secs
lola: 3556 tries, 3555824760 fired transitions, 925 secs || 190705711 markings, 1144233952 edges, 190620 markings/sec, 925 secs
lola: 3574 tries, 3573022489 fired transitions, 930 secs || 191616929 markings, 1149701255 edges, 182244 markings/sec, 930 secs
lola: 3591 tries, 3590122366 fired transitions, 935 secs || 192554366 markings, 1155325895 edges, 187487 markings/sec, 935 secs
lola: 3608 tries, 3607379573 fired transitions, 940 secs || 193487024 markings, 1160921695 edges, 186532 markings/sec, 940 secs
lola: 3625 tries, 3624444959 fired transitions, 945 secs || 194424003 markings, 1166543705 edges, 187396 markings/sec, 945 secs
lola: 3642 tries, 3641575705 fired transitions, 950 secs || 195344490 markings, 1172066510 edges, 184097 markings/sec, 950 secs
lola: 3659 tries, 3658529033 fired transitions, 955 secs || 196291668 markings, 1177749589 edges, 189436 markings/sec, 955 secs
lola: 3676 tries, 3675473246 fired transitions, 960 secs || 197291202 markings, 1183746880 edges, 199907 markings/sec, 960 secs
lola: 3693 tries, 3692556764 fired transitions, 965 secs || 198233473 markings, 1189400510 edges, 188454 markings/sec, 965 secs
lola: 3710 tries, 3709683084 fired transitions, 970 secs || 199160758 markings, 1194964127 edges, 185457 markings/sec, 970 secs
lola: 3727 tries, 3726797950 fired transitions, 975 secs || 200097761 markings, 1200586218 edges, 187401 markings/sec, 975 secs
lola: 3744 tries, 3743812686 fired transitions, 980 secs || 201068389 markings, 1206409938 edges, 194126 markings/sec, 980 secs
lola: 3761 tries, 3760767297 fired transitions, 985 secs || 202038290 markings, 1212229298 edges, 193980 markings/sec, 985 secs
lola: 3778 tries, 3777881584 fired transitions, 990 secs || 203008726 markings, 1218052094 edges, 194087 markings/sec, 990 secs
lola: 3795 tries, 3794933642 fired transitions, 995 secs || 203960005 markings, 1223759672 edges, 190256 markings/sec, 995 secs
lola: 3812 tries, 3811993842 fired transitions, 1000 secs || 204899377 markings, 1229395895 edges, 187874 markings/sec, 1000 secs
lola: 3830 tries, 3829163105 fired transitions, 1005 secs || 205813310 markings, 1234879580 edges, 182787 markings/sec, 1005 secs
lola: 3847 tries, 3846352110 fired transitions, 1010 secs || 206722689 markings, 1240335939 edges, 181876 markings/sec, 1010 secs
lola: 3864 tries, 3863506286 fired transitions, 1015 secs || 207657814 markings, 1245946544 edges, 187025 markings/sec, 1015 secs
lola: 3883 tries, 3882725108 fired transitions, 1020 secs || 208642293 markings, 1251853468 edges, 196896 markings/sec, 1020 secs
lola: 3903 tries, 3902275224 fired transitions, 1025 secs || 209638422 markings, 1257830259 edges, 199226 markings/sec, 1025 secs
lola: 3922 tries, 3921880967 fired transitions, 1030 secs || 210613583 markings, 1263681322 edges, 195032 markings/sec, 1030 secs
lola: 3942 tries, 3941486748 fired transitions, 1035 secs || 211582564 markings, 1269495024 edges, 193796 markings/sec, 1035 secs
lola: 3962 tries, 3961067103 fired transitions, 1040 secs || 212548864 markings, 1275292659 edges, 193260 markings/sec, 1040 secs
lola: 3981 tries, 3980604427 fired transitions, 1045 secs || 213553497 markings, 1281320696 edges, 200927 markings/sec, 1045 secs
lola: 4001 tries, 4000177083 fired transitions, 1050 secs || 214503675 markings, 1287021848 edges, 190036 markings/sec, 1050 secs
lola: 4020 tries, 4019722268 fired transitions, 1055 secs || 215527287 markings, 1293163316 edges, 204722 markings/sec, 1055 secs
lola: 4040 tries, 4039237258 fired transitions, 1060 secs || 216557494 markings, 1299344493 edges, 206041 markings/sec, 1060 secs
lola: 4059 tries, 4058779620 fired transitions, 1065 secs || 217587148 markings, 1305522580 edges, 205931 markings/sec, 1065 secs
lola: 4079 tries, 4078304171 fired transitions, 1070 secs || 218592814 markings, 1311556570 edges, 201133 markings/sec, 1070 secs
lola: 4098 tries, 4097921211 fired transitions, 1075 secs || 219574530 markings, 1317446789 edges, 196343 markings/sec, 1075 secs
lola: 4118 tries, 4117509299 fired transitions, 1080 secs || 220543408 markings, 1323260137 edges, 193776 markings/sec, 1080 secs
lola: 4138 tries, 4137122829 fired transitions, 1085 secs || 221508567 markings, 1329050891 edges, 193032 markings/sec, 1085 secs
lola: 4157 tries, 4156715459 fired transitions, 1090 secs || 222469135 markings, 1334814507 edges, 192114 markings/sec, 1090 secs
lola: 4177 tries, 4176328301 fired transitions, 1095 secs || 223454451 markings, 1340726212 edges, 197063 markings/sec, 1095 secs
lola: 4196 tries, 4195863342 fired transitions, 1100 secs || 224449271 markings, 1346695318 edges, 198964 markings/sec, 1100 secs
lola: 4216 tries, 4215449372 fired transitions, 1105 secs || 225421039 markings, 1352525784 edges, 194354 markings/sec, 1105 secs
lola: 4236 tries, 4235006088 fired transitions, 1110 secs || 226412967 markings, 1358477419 edges, 198386 markings/sec, 1110 secs
lola: 4255 tries, 4254542544 fired transitions, 1115 secs || 227435765 markings, 1364614223 edges, 204560 markings/sec, 1115 secs
lola: 4275 tries, 4274150351 fired transitions, 1120 secs || 228380725 markings, 1370283890 edges, 188992 markings/sec, 1120 secs
lola: 4294 tries, 4293742942 fired transitions, 1125 secs || 229318370 markings, 1375909962 edges, 187529 markings/sec, 1125 secs
lola: 4314 tries, 4313329259 fired transitions, 1130 secs || 230285641 markings, 1381713650 edges, 193454 markings/sec, 1130 secs
lola: 4333 tries, 4332911010 fired transitions, 1135 secs || 231244078 markings, 1387464070 edges, 191687 markings/sec, 1135 secs
lola: 4353 tries, 4352506182 fired transitions, 1140 secs || 232210347 markings, 1393261727 edges, 193254 markings/sec, 1140 secs
lola: 4373 tries, 4372037304 fired transitions, 1145 secs || 233165871 markings, 1398994906 edges, 191105 markings/sec, 1145 secs
lola: 4392 tries, 4391588071 fired transitions, 1150 secs || 234151321 markings, 1404907748 edges, 197090 markings/sec, 1150 secs
lola: 4412 tries, 4411102753 fired transitions, 1155 secs || 235154716 markings, 1410928114 edges, 200679 markings/sec, 1155 secs
lola: 4431 tries, 4430601672 fired transitions, 1160 secs || 236164776 markings, 1416988580 edges, 202012 markings/sec, 1160 secs
lola: 4451 tries, 4450077647 fired transitions, 1165 secs || 237173893 markings, 1423043245 edges, 201823 markings/sec, 1165 secs
lola: 4470 tries, 4469651601 fired transitions, 1170 secs || 238246641 markings, 1429479275 edges, 214550 markings/sec, 1170 secs
lola: 4490 tries, 4489288434 fired transitions, 1175 secs || 239265461 markings, 1435592108 edges, 203764 markings/sec, 1175 secs
lola: 4509 tries, 4508902298 fired transitions, 1180 secs || 240266720 markings, 1441598832 edges, 200252 markings/sec, 1180 secs
lola: 4529 tries, 4528515058 fired transitions, 1185 secs || 241259262 markings, 1447554806 edges, 198508 markings/sec, 1185 secs
lola: 4548 tries, 4547965069 fired transitions, 1190 secs || 242226066 markings, 1453355721 edges, 193361 markings/sec, 1190 secs
lola: 4568 tries, 4567568503 fired transitions, 1195 secs || 243198198 markings, 1459188352 edges, 194426 markings/sec, 1195 secs
lola: 4588 tries, 4587233485 fired transitions, 1200 secs || 244159345 markings, 1464955242 edges, 192229 markings/sec, 1200 secs
lola: 4607 tries, 4606882552 fired transitions, 1205 secs || 245130756 markings, 1470784073 edges, 194282 markings/sec, 1205 secs
lola: 4627 tries, 4626478499 fired transitions, 1210 secs || 246075034 markings, 1476449665 edges, 188856 markings/sec, 1210 secs
lola: 4647 tries, 4646138472 fired transitions, 1215 secs || 247038011 markings, 1482227637 edges, 192595 markings/sec, 1215 secs
lola: 4666 tries, 4665797257 fired transitions, 1220 secs || 247984808 markings, 1487908332 edges, 189359 markings/sec, 1220 secs
lola: 4686 tries, 4685477027 fired transitions, 1225 secs || 248943287 markings, 1493659341 edges, 191696 markings/sec, 1225 secs
lola: 4706 tries, 4705151057 fired transitions, 1230 secs || 249926906 markings, 1499560306 edges, 196724 markings/sec, 1230 secs
lola: 4725 tries, 4724726168 fired transitions, 1235 secs || 250901242 markings, 1505406411 edges, 194867 markings/sec, 1235 secs
lola: 4745 tries, 4744400530 fired transitions, 1240 secs || 251882901 markings, 1511296416 edges, 196332 markings/sec, 1240 secs
lola: 4765 tries, 4764002485 fired transitions, 1245 secs || 252879431 markings, 1517276080 edges, 199306 markings/sec, 1245 secs
lola: 4784 tries, 4783696621 fired transitions, 1250 secs || 253843585 markings, 1523060947 edges, 192831 markings/sec, 1250 secs
lola: 4804 tries, 4803405340 fired transitions, 1255 secs || 254808512 markings, 1528850538 edges, 192985 markings/sec, 1255 secs
lola: 4824 tries, 4823068241 fired transitions, 1260 secs || 255768521 markings, 1534610622 edges, 192002 markings/sec, 1260 secs
lola: 4843 tries, 4842751830 fired transitions, 1265 secs || 256718340 markings, 1540309525 edges, 189964 markings/sec, 1265 secs
lola: 4863 tries, 4862377395 fired transitions, 1270 secs || 257690529 markings, 1546142854 edges, 194438 markings/sec, 1270 secs
lola: 4882 tries, 4881967291 fired transitions, 1275 secs || 258660607 markings, 1551963249 edges, 194016 markings/sec, 1275 secs
lola: 4902 tries, 4901561352 fired transitions, 1280 secs || 259626304 markings, 1557757453 edges, 193139 markings/sec, 1280 secs
lola: 4922 tries, 4921168207 fired transitions, 1285 secs || 260568238 markings, 1563409075 edges, 188387 markings/sec, 1285 secs
lola: 4941 tries, 4940793470 fired transitions, 1290 secs || 261530373 markings, 1569181903 edges, 192427 markings/sec, 1290 secs
lola: 4961 tries, 4960428646 fired transitions, 1295 secs || 262477165 markings, 1574862875 edges, 189358 markings/sec, 1295 secs
lola: 4981 tries, 4980052120 fired transitions, 1300 secs || 263509434 markings, 1581055974 edges, 206454 markings/sec, 1300 secs
lola: 5000 tries, 4999706722 fired transitions, 1305 secs || 264504528 markings, 1587026759 edges, 199019 markings/sec, 1305 secs
lola: 5020 tries, 5019336590 fired transitions, 1310 secs || 265472548 markings, 1592834287 edges, 193604 markings/sec, 1310 secs
lola: 5039 tries, 5038934996 fired transitions, 1315 secs || 266428666 markings, 1598571564 edges, 191224 markings/sec, 1315 secs
lola: 5059 tries, 5058552805 fired transitions, 1320 secs || 267383677 markings, 1604301580 edges, 191002 markings/sec, 1320 secs
lola: 5079 tries, 5078191959 fired transitions, 1325 secs || 268380986 markings, 1610285434 edges, 199462 markings/sec, 1325 secs
lola: 5098 tries, 5097884992 fired transitions, 1330 secs || 269346572 markings, 1616078912 edges, 193117 markings/sec, 1330 secs
lola: 5118 tries, 5117560964 fired transitions, 1335 secs || 270302915 markings, 1621816928 edges, 191269 markings/sec, 1335 secs
lola: 5138 tries, 5137164336 fired transitions, 1340 secs || 271275089 markings, 1627650254 edges, 194435 markings/sec, 1340 secs
lola: 5157 tries, 5156772408 fired transitions, 1345 secs || 272239090 markings, 1633434149 edges, 192800 markings/sec, 1345 secs
lola: 5177 tries, 5176353919 fired transitions, 1350 secs || 273195371 markings, 1639172002 edges, 191256 markings/sec, 1350 secs
lola: 5196 tries, 5195914990 fired transitions, 1355 secs || 274206757 markings, 1645240079 edges, 202277 markings/sec, 1355 secs
lola: 5216 tries, 5215462447 fired transitions, 1360 secs || 275224722 markings, 1651347465 edges, 203593 markings/sec, 1360 secs
lola: 5236 tries, 5235044668 fired transitions, 1365 secs || 276216881 markings, 1657300742 edges, 198432 markings/sec, 1365 secs
lola: 5255 tries, 5254687251 fired transitions, 1370 secs || 277224770 markings, 1663348066 edges, 201578 markings/sec, 1370 secs
lola: 5275 tries, 5274250426 fired transitions, 1375 secs || 278217645 markings, 1669305216 edges, 198575 markings/sec, 1375 secs
lola: 5294 tries, 5293744676 fired transitions, 1380 secs || 279230006 markings, 1675379743 edges, 202472 markings/sec, 1380 secs
lola: 5314 tries, 5313260570 fired transitions, 1385 secs || 280225734 markings, 1681354060 edges, 199146 markings/sec, 1385 secs
lola: 5333 tries, 5332851675 fired transitions, 1390 secs || 281212538 markings, 1687274811 edges, 197361 markings/sec, 1390 secs
lola: 5353 tries, 5352448288 fired transitions, 1395 secs || 282182607 markings, 1693095448 edges, 194014 markings/sec, 1395 secs
lola: 5373 tries, 5372065821 fired transitions, 1400 secs || 283171520 markings, 1699028302 edges, 197783 markings/sec, 1400 secs
lola: 5392 tries, 5391669002 fired transitions, 1405 secs || 284143191 markings, 1704858652 edges, 194334 markings/sec, 1405 secs
lola: 5412 tries, 5411341782 fired transitions, 1410 secs || 285103547 markings, 1710620755 edges, 192071 markings/sec, 1410 secs
lola: 5431 tries, 5430960665 fired transitions, 1415 secs || 286065588 markings, 1716392941 edges, 192408 markings/sec, 1415 secs
lola: 5451 tries, 5450607573 fired transitions, 1420 secs || 287055649 markings, 1722333357 edges, 198012 markings/sec, 1420 secs
lola: 5471 tries, 5470259014 fired transitions, 1425 secs || 288019201 markings, 1728114615 edges, 192710 markings/sec, 1425 secs
lola: 5490 tries, 5489925168 fired transitions, 1430 secs || 288983789 markings, 1733902372 edges, 192918 markings/sec, 1430 secs
lola: 5510 tries, 5509521276 fired transitions, 1435 secs || 289963403 markings, 1739780127 edges, 195923 markings/sec, 1435 secs
lola: 5530 tries, 5529125265 fired transitions, 1440 secs || 290917132 markings, 1745502548 edges, 190746 markings/sec, 1440 secs
lola: 5549 tries, 5548701938 fired transitions, 1445 secs || 291877204 markings, 1751263023 edges, 192014 markings/sec, 1445 secs
lola: 5569 tries, 5568289637 fired transitions, 1450 secs || 292863579 markings, 1757180938 edges, 197275 markings/sec, 1450 secs
lola: 5588 tries, 5587835847 fired transitions, 1455 secs || 293839502 markings, 1763036503 edges, 195185 markings/sec, 1455 secs
lola: 5608 tries, 5607440972 fired transitions, 1460 secs || 294815482 markings, 1768892655 edges, 195196 markings/sec, 1460 secs
lola: 5628 tries, 5627066076 fired transitions, 1465 secs || 295784334 markings, 1774705609 edges, 193770 markings/sec, 1465 secs
lola: 5647 tries, 5646702673 fired transitions, 1470 secs || 296772424 markings, 1780634025 edges, 197618 markings/sec, 1470 secs
lola: 5667 tries, 5666317621 fired transitions, 1475 secs || 297754688 markings, 1786527539 edges, 196453 markings/sec, 1475 secs
lola: 5686 tries, 5685884488 fired transitions, 1480 secs || 298747411 markings, 1792484147 edges, 198545 markings/sec, 1480 secs
lola: 5706 tries, 5705460323 fired transitions, 1485 secs || 299710869 markings, 1798264899 edges, 192692 markings/sec, 1485 secs
lola: 5726 tries, 5725099449 fired transitions, 1490 secs || 300683765 markings, 1804101756 edges, 194579 markings/sec, 1490 secs
lola: 5745 tries, 5744766914 fired transitions, 1495 secs || 301626162 markings, 1809756596 edges, 188479 markings/sec, 1495 secs
lola: 5765 tries, 5764440159 fired transitions, 1500 secs || 302567641 markings, 1815405617 edges, 188296 markings/sec, 1500 secs
lola: 5785 tries, 5784134447 fired transitions, 1505 secs || 303516941 markings, 1821101076 edges, 189860 markings/sec, 1505 secs
lola: 5804 tries, 5803780628 fired transitions, 1510 secs || 304472886 markings, 1826837016 edges, 191189 markings/sec, 1510 secs
lola: 5824 tries, 5823394144 fired transitions, 1515 secs || 305439749 markings, 1832638251 edges, 193373 markings/sec, 1515 secs
lola: 5844 tries, 5843026514 fired transitions, 1520 secs || 306391808 markings, 1838350370 edges, 190412 markings/sec, 1520 secs
lola: 5863 tries, 5862594686 fired transitions, 1525 secs || 307342295 markings, 1844053453 edges, 190097 markings/sec, 1525 secs
lola: 5883 tries, 5882139645 fired transitions, 1530 secs || 308308032 markings, 1849847692 edges, 193147 markings/sec, 1530 secs
lola: 5902 tries, 5901679363 fired transitions, 1535 secs || 309355523 markings, 1856132622 edges, 209498 markings/sec, 1535 secs
lola: 5922 tries, 5921186523 fired transitions, 1540 secs || 310397857 markings, 1862386524 edges, 208467 markings/sec, 1540 secs
lola: 5941 tries, 5940694202 fired transitions, 1545 secs || 311415676 markings, 1868493691 edges, 203564 markings/sec, 1545 secs
lola: 5961 tries, 5960131833 fired transitions, 1550 secs || 312405855 markings, 1874434803 edges, 198036 markings/sec, 1550 secs
lola: 5980 tries, 5979712756 fired transitions, 1555 secs || 313400734 markings, 1880404070 edges, 198976 markings/sec, 1555 secs
lola: 6000 tries, 5999301399 fired transitions, 1560 secs || 314347388 markings, 1886084151 edges, 189331 markings/sec, 1560 secs
lola: 6019 tries, 6018928195 fired transitions, 1565 secs || 315304548 markings, 1891826951 edges, 191432 markings/sec, 1565 secs
lola: 6039 tries, 6038544789 fired transitions, 1570 secs || 316262584 markings, 1897575151 edges, 191607 markings/sec, 1570 secs
lola: 6059 tries, 6058064354 fired transitions, 1575 secs || 317222597 markings, 1903335110 edges, 192003 markings/sec, 1575 secs
lola: 6078 tries, 6077716610 fired transitions, 1580 secs || 318177515 markings, 1909064735 edges, 190984 markings/sec, 1580 secs
lola: 6098 tries, 6097311621 fired transitions, 1585 secs || 319136585 markings, 1914819303 edges, 191814 markings/sec, 1585 secs
lola: 6117 tries, 6116988296 fired transitions, 1590 secs || 320070207 markings, 1920420761 edges, 186724 markings/sec, 1590 secs
lola: 6137 tries, 6136581442 fired transitions, 1595 secs || 321033381 markings, 1926200018 edges, 192635 markings/sec, 1595 secs
lola: 6157 tries, 6156156065 fired transitions, 1600 secs || 321998950 markings, 1931993232 edges, 193114 markings/sec, 1600 secs
lola: 6176 tries, 6175723752 fired transitions, 1605 secs || 322971465 markings, 1937828540 edges, 194503 markings/sec, 1605 secs
lola: 6196 tries, 6195311204 fired transitions, 1610 secs || 323941545 markings, 1943648974 edges, 194016 markings/sec, 1610 secs
lola: 6215 tries, 6214936792 fired transitions, 1615 secs || 324893151 markings, 1949358605 edges, 190321 markings/sec, 1615 secs
lola: 6235 tries, 6234475893 fired transitions, 1620 secs || 325892601 markings, 1955355253 edges, 199890 markings/sec, 1620 secs
lola: 6255 tries, 6254105865 fired transitions, 1625 secs || 326893677 markings, 1961361775 edges, 200215 markings/sec, 1625 secs
lola: 6274 tries, 6273694717 fired transitions, 1630 secs || 327867873 markings, 1967206929 edges, 194839 markings/sec, 1630 secs
lola: 6294 tries, 6293310783 fired transitions, 1635 secs || 328828082 markings, 1972968096 edges, 192042 markings/sec, 1635 secs
lola: 6313 tries, 6312967749 fired transitions, 1640 secs || 329784537 markings, 1978706806 edges, 191291 markings/sec, 1640 secs
lola: 6333 tries, 6332575810 fired transitions, 1645 secs || 330752837 markings, 1984516698 edges, 193660 markings/sec, 1645 secs
lola: 6353 tries, 6352112042 fired transitions, 1650 secs || 331715740 markings, 1990294149 edges, 192581 markings/sec, 1650 secs
lola: 6372 tries, 6371741164 fired transitions, 1655 secs || 332674390 markings, 1996045998 edges, 191730 markings/sec, 1655 secs
lola: 6392 tries, 6391324998 fired transitions, 1660 secs || 333650674 markings, 2001903788 edges, 195257 markings/sec, 1660 secs
lola: 6411 tries, 6410909520 fired transitions, 1665 secs || 334620014 markings, 2007719594 edges, 193868 markings/sec, 1665 secs
lola: 6431 tries, 6430450374 fired transitions, 1670 secs || 335602918 markings, 2013617190 edges, 196581 markings/sec, 1670 secs
lola: 6451 tries, 6450099656 fired transitions, 1675 secs || 336549865 markings, 2019298860 edges, 189389 markings/sec, 1675 secs
lola: 6470 tries, 6469729091 fired transitions, 1680 secs || 337502813 markings, 2025016480 edges, 190590 markings/sec, 1680 secs
lola: 6490 tries, 6489395700 fired transitions, 1685 secs || 338442194 markings, 2030652834 edges, 187876 markings/sec, 1685 secs
lola: 6510 tries, 6509047510 fired transitions, 1690 secs || 339366341 markings, 2036197561 edges, 184829 markings/sec, 1690 secs
lola: 6529 tries, 6528552117 fired transitions, 1695 secs || 340300794 markings, 2041804395 edges, 186891 markings/sec, 1695 secs
lola: 6549 tries, 6548113860 fired transitions, 1700 secs || 341290379 markings, 2047741943 edges, 197917 markings/sec, 1700 secs
lola: 6568 tries, 6567450507 fired transitions, 1705 secs || 342255659 markings, 2053533584 edges, 193056 markings/sec, 1705 secs
lola: 6587 tries, 6586943534 fired transitions, 1710 secs || 343193310 markings, 2059159224 edges, 187530 markings/sec, 1710 secs
lola: 6607 tries, 6606191934 fired transitions, 1715 secs || 344137555 markings, 2064825094 edges, 188849 markings/sec, 1715 secs
lola: 6626 tries, 6625821108 fired transitions, 1720 secs || 345080962 markings, 2070485583 edges, 188681 markings/sec, 1720 secs
lola: 6646 tries, 6645360012 fired transitions, 1725 secs || 346027867 markings, 2076167002 edges, 189381 markings/sec, 1725 secs
lola: 6665 tries, 6664904214 fired transitions, 1730 secs || 346992398 markings, 2081954168 edges, 192906 markings/sec, 1730 secs
lola: 6685 tries, 6684473647 fired transitions, 1735 secs || 347973573 markings, 2087841339 edges, 196235 markings/sec, 1735 secs
lola: 6705 tries, 6704054835 fired transitions, 1740 secs || 348999866 markings, 2093998886 edges, 205259 markings/sec, 1740 secs
lola: 6724 tries, 6723619584 fired transitions, 1745 secs || 350030878 markings, 2100184882 edges, 206202 markings/sec, 1745 secs
lola: 6744 tries, 6743245604 fired transitions, 1750 secs || 351036239 markings, 2106216742 edges, 201072 markings/sec, 1750 secs
lola: 6763 tries, 6762342582 fired transitions, 1755 secs || 351979231 markings, 2111874899 edges, 188598 markings/sec, 1755 secs
lola: 6782 tries, 6781435772 fired transitions, 1760 secs || 352905617 markings, 2117432892 edges, 185277 markings/sec, 1760 secs
lola: 6802 tries, 6801114931 fired transitions, 1765 secs || 353867159 markings, 2123202343 edges, 192308 markings/sec, 1765 secs
lola: 6821 tries, 6820783910 fired transitions, 1770 secs || 354837264 markings, 2129023096 edges, 194021 markings/sec, 1770 secs
lola: 6841 tries, 6840428031 fired transitions, 1775 secs || 355799517 markings, 2134796652 edges, 192451 markings/sec, 1775 secs
lola: 6861 tries, 6860058364 fired transitions, 1780 secs || 356781140 markings, 2140685906 edges, 196325 markings/sec, 1780 secs
lola: 6880 tries, 6879651539 fired transitions, 1785 secs || 357789674 markings, 2146737556 edges, 201707 markings/sec, 1785 secs
lola: 6899 tries, 6898395816 fired transitions, 1790 secs || 358736519 markings, 2152418568 edges, 189369 markings/sec, 1790 secs
lola: 6916 tries, 6915890123 fired transitions, 1795 secs || 359645672 markings, 2157873579 edges, 181831 markings/sec, 1795 secs
lola: 6934 tries, 6933323653 fired transitions, 1800 secs || 360553415 markings, 2163319849 edges, 181549 markings/sec, 1800 secs
lola: 6951 tries, 6950661994 fired transitions, 1805 secs || 361480529 markings, 2168882921 edges, 185423 markings/sec, 1805 secs
lola: 6968 tries, 6967874816 fired transitions, 1810 secs || 362416346 markings, 2174497699 edges, 187163 markings/sec, 1810 secs
lola: 6986 tries, 6985280766 fired transitions, 1815 secs || 363338746 markings, 2180032219 edges, 184480 markings/sec, 1815 secs
lola: 7003 tries, 7002539648 fired transitions, 1820 secs || 364254959 markings, 2185529608 edges, 183243 markings/sec, 1820 secs
lola: 7021 tries, 7020321004 fired transitions, 1825 secs || 365116686 markings, 2190699720 edges, 172345 markings/sec, 1825 secs
lola: 7039 tries, 7038508757 fired transitions, 1830 secs || 365942935 markings, 2195657258 edges, 165250 markings/sec, 1830 secs
lola: 7058 tries, 7057316475 fired transitions, 1835 secs || 366823885 markings, 2200943033 edges, 176190 markings/sec, 1835 secs
lola: 7077 tries, 7076888401 fired transitions, 1840 secs || 367759946 markings, 2206559345 edges, 187212 markings/sec, 1840 secs
lola: 7097 tries, 7096221340 fired transitions, 1845 secs || 368752883 markings, 2212516489 edges, 198587 markings/sec, 1845 secs
lola: 7116 tries, 7115693685 fired transitions, 1850 secs || 369779966 markings, 2218678824 edges, 205417 markings/sec, 1850 secs
lola: 7136 tries, 7135170308 fired transitions, 1855 secs || 370768125 markings, 2224607866 edges, 197632 markings/sec, 1855 secs
lola: 7155 tries, 7154538835 fired transitions, 1860 secs || 371731031 markings, 2230385744 edges, 192581 markings/sec, 1860 secs
lola: 7174 tries, 7173952918 fired transitions, 1865 secs || 372710404 markings, 2236261876 edges, 195875 markings/sec, 1865 secs
lola: 7194 tries, 7193479465 fired transitions, 1870 secs || 373723650 markings, 2242341292 edges, 202649 markings/sec, 1870 secs
lola: 7214 tries, 7213047676 fired transitions, 1875 secs || 374713905 markings, 2248282972 edges, 198051 markings/sec, 1875 secs
lola: 7233 tries, 7232571447 fired transitions, 1880 secs || 375727716 markings, 2254365890 edges, 202762 markings/sec, 1880 secs
lola: 7253 tries, 7252028315 fired transitions, 1885 secs || 376745717 markings, 2260474007 edges, 203600 markings/sec, 1885 secs
lola: 7272 tries, 7271276974 fired transitions, 1890 secs || 377751568 markings, 2266508997 edges, 201170 markings/sec, 1890 secs
lola: 7291 tries, 7290768179 fired transitions, 1895 secs || 378729577 markings, 2272376964 edges, 195602 markings/sec, 1895 secs
lola: 7311 tries, 7310310437 fired transitions, 1900 secs || 379696344 markings, 2278177644 edges, 193353 markings/sec, 1900 secs
lola: 7330 tries, 7329918768 fired transitions, 1905 secs || 380679269 markings, 2284075304 edges, 196585 markings/sec, 1905 secs
lola: 7350 tries, 7349375749 fired transitions, 1910 secs || 381645106 markings, 2289870260 edges, 193167 markings/sec, 1910 secs
lola: 7369 tries, 7368936984 fired transitions, 1915 secs || 382597532 markings, 2295584719 edges, 190485 markings/sec, 1915 secs
lola: 7389 tries, 7388288258 fired transitions, 1920 secs || 383542793 markings, 2301256445 edges, 189052 markings/sec, 1920 secs
lola: 7408 tries, 7407536306 fired transitions, 1925 secs || 384543623 markings, 2307261181 edges, 200166 markings/sec, 1925 secs
lola: 7428 tries, 7427205304 fired transitions, 1930 secs || 385527024 markings, 2313161515 edges, 196680 markings/sec, 1930 secs
lola: 7447 tries, 7446801163 fired transitions, 1935 secs || 386480543 markings, 2318882760 edges, 190704 markings/sec, 1935 secs
lola: 7467 tries, 7466197302 fired transitions, 1940 secs || 387445002 markings, 2324669728 edges, 192892 markings/sec, 1940 secs
lola: 7486 tries, 7485829410 fired transitions, 1945 secs || 388427393 markings, 2330563728 edges, 196478 markings/sec, 1945 secs
lola: 7506 tries, 7505382441 fired transitions, 1950 secs || 389389836 markings, 2336338451 edges, 192489 markings/sec, 1950 secs
lola: 7525 tries, 7524550387 fired transitions, 1955 secs || 390382696 markings, 2342295872 edges, 198572 markings/sec, 1955 secs
lola: 7544 tries, 7543774250 fired transitions, 1960 secs || 391383229 markings, 2348298983 edges, 200107 markings/sec, 1960 secs
lola: 7563 tries, 7562993423 fired transitions, 1965 secs || 392368643 markings, 2354211598 edges, 197083 markings/sec, 1965 secs
lola: 7583 tries, 7582526212 fired transitions, 1970 secs || 393355841 markings, 2360134586 edges, 197440 markings/sec, 1970 secs
lola: 7603 tries, 7602139199 fired transitions, 1975 secs || 394319781 markings, 2365918354 edges, 192788 markings/sec, 1975 secs
lola: 7622 tries, 7621697157 fired transitions, 1980 secs || 395285692 markings, 2371713845 edges, 193182 markings/sec, 1980 secs
lola: 7642 tries, 7641292287 fired transitions, 1985 secs || 396246138 markings, 2377476539 edges, 192089 markings/sec, 1985 secs
lola: 7661 tries, 7660899958 fired transitions, 1990 secs || 397188247 markings, 2383129010 edges, 188422 markings/sec, 1990 secs
lola: 7681 tries, 7680460887 fired transitions, 1995 secs || 398147896 markings, 2388886602 edges, 191930 markings/sec, 1995 secs
lola: 7700 tries, 7699939607 fired transitions, 2000 secs || 399229221 markings, 2395374655 edges, 216265 markings/sec, 2000 secs
lola: 7720 tries, 7719420039 fired transitions, 2005 secs || 400283678 markings, 2401701562 edges, 210891 markings/sec, 2005 secs
lola: 7739 tries, 7738980437 fired transitions, 2010 secs || 401355519 markings, 2408132510 edges, 214368 markings/sec, 2010 secs
lola: 7759 tries, 7758492619 fired transitions, 2015 secs || 402383174 markings, 2414298633 edges, 205531 markings/sec, 2015 secs
lola: 7779 tries, 7778023097 fired transitions, 2020 secs || 403382289 markings, 2420293334 edges, 199823 markings/sec, 2020 secs
lola: 7798 tries, 7797520334 fired transitions, 2025 secs || 404396822 markings, 2426380601 edges, 202907 markings/sec, 2025 secs
lola: 7818 tries, 7817067687 fired transitions, 2030 secs || 405352809 markings, 2432116702 edges, 191197 markings/sec, 2030 secs
lola: 7837 tries, 7836572122 fired transitions, 2035 secs || 406382345 markings, 2438293759 edges, 205907 markings/sec, 2035 secs
lola: 7857 tries, 7856113307 fired transitions, 2040 secs || 407322809 markings, 2443936488 edges, 188093 markings/sec, 2040 secs
lola: 7876 tries, 7875669739 fired transitions, 2045 secs || 408266224 markings, 2449597006 edges, 188683 markings/sec, 2045 secs
lola: 7896 tries, 7895158561 fired transitions, 2050 secs || 409208066 markings, 2455247981 edges, 188368 markings/sec, 2050 secs
lola: 7915 tries, 7914784528 fired transitions, 2055 secs || 410166142 markings, 2460996500 edges, 191615 markings/sec, 2055 secs
lola: 7935 tries, 7934377416 fired transitions, 2060 secs || 411130014 markings, 2466779645 edges, 192774 markings/sec, 2060 secs
lola: 7954 tries, 7953974613 fired transitions, 2065 secs || 412101281 markings, 2472607378 edges, 194253 markings/sec, 2065 secs
lola: 7974 tries, 7973592489 fired transitions, 2070 secs || 413047027 markings, 2478281811 edges, 189149 markings/sec, 2070 secs
lola: 7994 tries, 7993135912 fired transitions, 2075 secs || 414007993 markings, 2484047760 edges, 192193 markings/sec, 2075 secs
lola: 8013 tries, 8012744075 fired transitions, 2080 secs || 414939436 markings, 2489636252 edges, 186289 markings/sec, 2080 secs
lola: 8033 tries, 8032333435 fired transitions, 2085 secs || 415900074 markings, 2495400134 edges, 192128 markings/sec, 2085 secs
lola: 8052 tries, 8051900766 fired transitions, 2090 secs || 416866683 markings, 2501199649 edges, 193322 markings/sec, 2090 secs
lola: 8072 tries, 8071373825 fired transitions, 2095 secs || 417888444 markings, 2507330267 edges, 204352 markings/sec, 2095 secs
lola: 8091 tries, 8090918337 fired transitions, 2100 secs || 418911119 markings, 2513466363 edges, 204535 markings/sec, 2100 secs
lola: 8111 tries, 8110462500 fired transitions, 2105 secs || 419888052 markings, 2519327936 edges, 195387 markings/sec, 2105 secs
lola: 8131 tries, 8130076270 fired transitions, 2110 secs || 420851913 markings, 2525111099 edges, 192772 markings/sec, 2110 secs
lola: 8150 tries, 8149687221 fired transitions, 2115 secs || 421815041 markings, 2530889841 edges, 192626 markings/sec, 2115 secs
lola: 8170 tries, 8169307633 fired transitions, 2120 secs || 422772841 markings, 2536636489 edges, 191560 markings/sec, 2120 secs
lola: 8189 tries, 8188902229 fired transitions, 2125 secs || 423728039 markings, 2542367977 edges, 191040 markings/sec, 2125 secs
lola: 8209 tries, 8208518656 fired transitions, 2130 secs || 424702320 markings, 2548213417 edges, 194856 markings/sec, 2130 secs
lola: 8229 tries, 8228101296 fired transitions, 2135 secs || 425687336 markings, 2554123585 edges, 197003 markings/sec, 2135 secs
lola: 8248 tries, 8247726895 fired transitions, 2140 secs || 426650015 markings, 2559899837 edges, 192536 markings/sec, 2140 secs
lola: 8268 tries, 8267352061 fired transitions, 2145 secs || 427594376 markings, 2565565903 edges, 188872 markings/sec, 2145 secs
lola: 8287 tries, 8286844304 fired transitions, 2150 secs || 428520281 markings, 2571121385 edges, 185181 markings/sec, 2150 secs
lola: 8307 tries, 8306503660 fired transitions, 2155 secs || 429448504 markings, 2576690730 edges, 185645 markings/sec, 2155 secs
lola: 8327 tries, 8326124173 fired transitions, 2160 secs || 430407859 markings, 2582446727 edges, 191871 markings/sec, 2160 secs
lola: 8346 tries, 8345724755 fired transitions, 2165 secs || 431384501 markings, 2588306580 edges, 195328 markings/sec, 2165 secs
lola: 8366 tries, 8365245946 fired transitions, 2170 secs || 432440474 markings, 2594642621 edges, 211195 markings/sec, 2170 secs
lola: 8385 tries, 8384877463 fired transitions, 2175 secs || 433387990 markings, 2600327534 edges, 189503 markings/sec, 2175 secs
lola: 8405 tries, 8404488832 fired transitions, 2180 secs || 434322414 markings, 2605934082 edges, 186885 markings/sec, 2180 secs
lola: 8425 tries, 8424124799 fired transitions, 2185 secs || 435256530 markings, 2611538626 edges, 186823 markings/sec, 2185 secs
lola: 8444 tries, 8443710837 fired transitions, 2190 secs || 436192714 markings, 2617155975 edges, 187237 markings/sec, 2190 secs
lola: 8464 tries, 8463344906 fired transitions, 2195 secs || 437128161 markings, 2622768698 edges, 187089 markings/sec, 2195 secs
lola: 8483 tries, 8482920071 fired transitions, 2200 secs || 438064990 markings, 2628389739 edges, 187366 markings/sec, 2200 secs
lola: 8503 tries, 8502488721 fired transitions, 2205 secs || 438992881 markings, 2633956941 edges, 185578 markings/sec, 2205 secs
lola: 8523 tries, 8522071961 fired transitions, 2210 secs || 439941387 markings, 2639648165 edges, 189701 markings/sec, 2210 secs
lola: 8542 tries, 8541640273 fired transitions, 2215 secs || 440901207 markings, 2645407029 edges, 191964 markings/sec, 2215 secs
lola: 8562 tries, 8561176878 fired transitions, 2220 secs || 441886009 markings, 2651315871 edges, 196960 markings/sec, 2220 secs
lola: 8581 tries, 8580633737 fired transitions, 2225 secs || 442860893 markings, 2657165277 edges, 194977 markings/sec, 2225 secs
lola: 8601 tries, 8600165261 fired transitions, 2230 secs || 443811214 markings, 2662867202 edges, 190064 markings/sec, 2230 secs
lola: RESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 444378237 markings, 2666269422 edges
Segmentation fault
rslt: finished
BK_STOP 1552775192642
--------------------
content from stderr:
grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 139 (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="NeighborGrid-PT-d3n3m1t11"
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 NeighborGrid-PT-d3n3m1t11, 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 r104-oct2-155272225400093"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NeighborGrid-PT-d3n3m1t11.tgz
mv NeighborGrid-PT-d3n3m1t11 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 ;