fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r172-smll-152708743100209
Last Updated
June 26, 2018

About the Execution of LoLA for TCPcondis-PT-25

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15919.240 1145387.00 2244946.00 14620.40 [undef] Cannot compute

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
......................
/home/mcc/execution
total 184K
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.2K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.5K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rwxr-xr-x 1 mcc users 24K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is TCPcondis-PT-25, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r172-smll-152708743100209
=====================================================================


--------------------
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 TCPcondis-PT-25-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1527253257935

info: Time: 3600 - MCC
===========================================================================================
prep: translating TCPcondis-PT-25 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating TCPcondis-PT-25 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ TCPcondis-PT-25 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 62/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 960
lola: finding significant places
lola: 30 places, 32 transitions, 21 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 48 transition conflict sets
lola: TASK
lola: reading formula from TCPcondis-PT-25-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
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 deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 1 generators (1 in search tree, 0 by composition)
lola: representing 2 symmetries
lola: 0 dead branches visited in search tree
lola: findpath: transitions are chosen randomly
lola: STP: formula with 748 variables and 2338 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 7 tries, 6425756 fired transitions, 0 secs || 1643152 markings, 2237267 edges, 328630 markings/sec, 0 secs
lola: STP completed || 14 tries, 13398550 fired transitions, 5 secs || 3192606 markings, 4501769 edges, 309891 markings/sec, 5 secs
lola: STP completed || 21 tries, 20765358 fired transitions, 10 secs || 4667384 markings, 6704569 edges, 294956 markings/sec, 10 secs
lola: STP completed || 29 tries, 28213012 fired transitions, 15 secs || 6110871 markings, 8889915 edges, 288697 markings/sec, 15 secs
lola: STP completed || 36 tries, 35741829 fired transitions, 20 secs || 7527527 markings, 11058559 edges, 283331 markings/sec, 20 secs
lola: STP completed || 44 tries, 43019199 fired transitions, 25 secs || 8927534 markings, 13223872 edges, 280001 markings/sec, 25 secs
lola: STP completed || 51 tries, 50638463 fired transitions, 30 secs || 10308541 markings, 15360480 edges, 276201 markings/sec, 30 secs
lola: STP completed || 59 tries, 58300686 fired transitions, 35 secs || 11669145 markings, 17491749 edges, 272121 markings/sec, 35 secs
lola: STP completed || 66 tries, 65981201 fired transitions, 40 secs || 13013959 markings, 19600381 edges, 268963 markings/sec, 40 secs
lola: STP completed || 74 tries, 73708282 fired transitions, 45 secs || 14350141 markings, 21697307 edges, 267236 markings/sec, 45 secs
lola: STP completed || 82 tries, 81458016 fired transitions, 50 secs || 15669914 markings, 23788762 edges, 263955 markings/sec, 50 secs
lola: STP completed || 90 tries, 89225138 fired transitions, 55 secs || 16981401 markings, 25870721 edges, 262297 markings/sec, 55 secs
lola: STP completed || 97 tries, 96995495 fired transitions, 60 secs || 18284703 markings, 27940501 edges, 260660 markings/sec, 60 secs
lola: STP completed || 105 tries, 104781578 fired transitions, 65 secs || 19579033 markings, 30008529 edges, 258866 markings/sec, 65 secs
lola: STP completed || 113 tries, 112591999 fired transitions, 70 secs || 20864618 markings, 32072163 edges, 257117 markings/sec, 70 secs
lola: STP completed || 121 tries, 120410724 fired transitions, 75 secs || 22150482 markings, 34123549 edges, 257173 markings/sec, 75 secs
lola: STP completed || 129 tries, 128271648 fired transitions, 80 secs || 23419097 markings, 36166412 edges, 253723 markings/sec, 80 secs
lola: STP completed || 137 tries, 136143787 fired transitions, 85 secs || 24678818 markings, 38197563 edges, 251944 markings/sec, 85 secs
lola: STP completed || 145 tries, 144012475 fired transitions, 90 secs || 25933596 markings, 40224526 edges, 250956 markings/sec, 90 secs
lola: STP completed || 152 tries, 151904944 fired transitions, 95 secs || 27182160 markings, 42243442 edges, 249713 markings/sec, 95 secs
lola: STP completed || 160 tries, 159806548 fired transitions, 100 secs || 28421794 markings, 44251893 edges, 247927 markings/sec, 100 secs
lola: STP completed || 168 tries, 167702775 fired transitions, 105 secs || 29661751 markings, 46264095 edges, 247991 markings/sec, 105 secs
lola: STP completed || 176 tries, 175628468 fired transitions, 110 secs || 30893023 markings, 48269071 edges, 246254 markings/sec, 110 secs
lola: STP completed || 184 tries, 183546159 fired transitions, 115 secs || 32120504 markings, 50263341 edges, 245496 markings/sec, 115 secs
lola: STP completed || 192 tries, 191471939 fired transitions, 120 secs || 33346341 markings, 52248754 edges, 245167 markings/sec, 120 secs
lola: STP completed || 200 tries, 199411263 fired transitions, 125 secs || 34563677 markings, 54241676 edges, 243467 markings/sec, 125 secs
lola: STP completed || 208 tries, 207361326 fired transitions, 130 secs || 35776607 markings, 56223473 edges, 242586 markings/sec, 130 secs
lola: STP completed || 216 tries, 215324533 fired transitions, 135 secs || 36982114 markings, 58192543 edges, 241101 markings/sec, 135 secs
lola: STP completed || 224 tries, 223290175 fired transitions, 140 secs || 38191018 markings, 60168739 edges, 241781 markings/sec, 140 secs
lola: STP completed || 232 tries, 231266241 fired transitions, 145 secs || 39389793 markings, 62137005 edges, 239755 markings/sec, 145 secs
lola: STP completed || 240 tries, 239247033 fired transitions, 150 secs || 40586297 markings, 64097575 edges, 239301 markings/sec, 150 secs
lola: STP completed || 248 tries, 247225465 fired transitions, 155 secs || 41780583 markings, 66061088 edges, 238857 markings/sec, 155 secs
lola: STP completed || 256 tries, 255216543 fired transitions, 160 secs || 42969155 markings, 68017034 edges, 237714 markings/sec, 160 secs
lola: STP completed || 264 tries, 263231383 fired transitions, 165 secs || 44153440 markings, 69963235 edges, 236857 markings/sec, 165 secs
lola: STP completed || 272 tries, 271235176 fired transitions, 170 secs || 45334308 markings, 71910411 edges, 236174 markings/sec, 170 secs
lola: STP completed || 280 tries, 279252177 fired transitions, 175 secs || 46510009 markings, 73846305 edges, 235140 markings/sec, 175 secs
lola: STP completed || 288 tries, 287283077 fired transitions, 180 secs || 47676150 markings, 75769043 edges, 233228 markings/sec, 180 secs
lola: STP completed || 296 tries, 295311169 fired transitions, 185 secs || 48834514 markings, 77681641 edges, 231673 markings/sec, 185 secs
lola: STP completed || 304 tries, 303338433 fired transitions, 190 secs || 50000076 markings, 79606278 edges, 233112 markings/sec, 190 secs
lola: STP completed || 312 tries, 311354401 fired transitions, 195 secs || 51164127 markings, 81526012 edges, 232810 markings/sec, 195 secs
lola: STP completed || 320 tries, 319391217 fired transitions, 200 secs || 52323174 markings, 83441673 edges, 231809 markings/sec, 200 secs
lola: STP completed || 328 tries, 327444518 fired transitions, 205 secs || 53472298 markings, 85348730 edges, 229825 markings/sec, 205 secs
lola: STP completed || 336 tries, 335493214 fired transitions, 210 secs || 54622978 markings, 87258545 edges, 230136 markings/sec, 210 secs
lola: STP completed || 344 tries, 343982474 fired transitions, 215 secs || 55748150 markings, 89132482 edges, 225034 markings/sec, 215 secs
lola: STP completed || 353 tries, 352958754 fired transitions, 220 secs || 56922011 markings, 91076999 edges, 234772 markings/sec, 220 secs
lola: STP completed || 362 tries, 361852246 fired transitions, 225 secs || 58110411 markings, 93048341 edges, 237680 markings/sec, 225 secs
lola: STP completed || 370 tries, 369827197 fired transitions, 230 secs || 59232014 markings, 94914822 edges, 224321 markings/sec, 230 secs
lola: STP completed || 378 tries, 377931046 fired transitions, 235 secs || 60273548 markings, 96648453 edges, 208307 markings/sec, 235 secs
lola: STP completed || 387 tries, 386071185 fired transitions, 240 secs || 61264248 markings, 98293234 edges, 198140 markings/sec, 240 secs
lola: STP completed || 395 tries, 394193558 fired transitions, 245 secs || 62300828 markings, 100017654 edges, 207316 markings/sec, 245 secs
lola: STP completed || 403 tries, 402310329 fired transitions, 250 secs || 63335844 markings, 101742732 edges, 207003 markings/sec, 250 secs
lola: STP completed || 411 tries, 410445351 fired transitions, 255 secs || 64371386 markings, 103464786 edges, 207108 markings/sec, 255 secs
lola: STP completed || 419 tries, 418565791 fired transitions, 260 secs || 65408062 markings, 105187454 edges, 207335 markings/sec, 260 secs
lola: STP completed || 427 tries, 426720630 fired transitions, 265 secs || 66432650 markings, 106904397 edges, 204918 markings/sec, 265 secs
lola: STP completed || 435 tries, 434847944 fired transitions, 270 secs || 67467715 markings, 108628473 edges, 207013 markings/sec, 270 secs
lola: STP completed || 443 tries, 442991652 fired transitions, 275 secs || 68498831 markings, 110349559 edges, 206223 markings/sec, 275 secs
lola: STP completed || 452 tries, 451123779 fired transitions, 280 secs || 69527079 markings, 112067853 edges, 205650 markings/sec, 280 secs
lola: STP completed || 460 tries, 459273044 fired transitions, 285 secs || 70552556 markings, 113786506 edges, 205095 markings/sec, 285 secs
lola: STP completed || 468 tries, 467421955 fired transitions, 290 secs || 71570870 markings, 115497721 edges, 203663 markings/sec, 290 secs
lola: STP completed || 476 tries, 475568185 fired transitions, 295 secs || 72594936 markings, 117207617 edges, 204813 markings/sec, 295 secs
lola: STP completed || 484 tries, 483717737 fired transitions, 300 secs || 73613939 markings, 118912777 edges, 203801 markings/sec, 300 secs
lola: STP completed || 492 tries, 491873441 fired transitions, 305 secs || 74635600 markings, 120619401 edges, 204332 markings/sec, 305 secs
lola: STP completed || 501 tries, 500021479 fired transitions, 310 secs || 75656411 markings, 122325691 edges, 204162 markings/sec, 310 secs
lola: STP completed || 509 tries, 508179218 fired transitions, 315 secs || 76675215 markings, 124031361 edges, 203761 markings/sec, 315 secs
lola: STP completed || 517 tries, 516352570 fired transitions, 320 secs || 77691989 markings, 125734326 edges, 203355 markings/sec, 320 secs
lola: STP completed || 525 tries, 524525543 fired transitions, 325 secs || 78706264 markings, 127435784 edges, 202855 markings/sec, 325 secs
lola: STP completed || 533 tries, 532697326 fired transitions, 330 secs || 79713413 markings, 129128126 edges, 201430 markings/sec, 330 secs
lola: STP completed || 541 tries, 540871129 fired transitions, 335 secs || 80721301 markings, 130818868 edges, 201578 markings/sec, 335 secs
lola: STP completed || 550 tries, 549044609 fired transitions, 340 secs || 81728842 markings, 132510431 edges, 201508 markings/sec, 340 secs
lola: STP completed || 558 tries, 557220553 fired transitions, 345 secs || 82736502 markings, 134200074 edges, 201532 markings/sec, 345 secs
lola: STP completed || 566 tries, 565394161 fired transitions, 350 secs || 83740682 markings, 135891651 edges, 200836 markings/sec, 350 secs
lola: STP completed || 574 tries, 573582885 fired transitions, 355 secs || 84743894 markings, 137580790 edges, 200642 markings/sec, 355 secs
lola: STP completed || 582 tries, 581773770 fired transitions, 360 secs || 85747959 markings, 139272966 edges, 200813 markings/sec, 360 secs
lola: STP completed || 590 tries, 589952295 fired transitions, 365 secs || 86751890 markings, 140956765 edges, 200786 markings/sec, 365 secs
lola: STP completed || 599 tries, 598145579 fired transitions, 370 secs || 87753537 markings, 142642153 edges, 200329 markings/sec, 370 secs
lola: STP completed || 607 tries, 606341094 fired transitions, 375 secs || 88749463 markings, 144325340 edges, 199185 markings/sec, 375 secs
lola: STP completed || 615 tries, 614541025 fired transitions, 380 secs || 89745012 markings, 146010228 edges, 199110 markings/sec, 380 secs
lola: STP completed || 623 tries, 622742226 fired transitions, 385 secs || 90735601 markings, 147683090 edges, 198118 markings/sec, 385 secs
lola: STP completed || 631 tries, 630944116 fired transitions, 390 secs || 91726376 markings, 149354950 edges, 198155 markings/sec, 390 secs
lola: STP completed || 640 tries, 639126342 fired transitions, 395 secs || 92724464 markings, 151032137 edges, 199618 markings/sec, 395 secs
lola: STP completed || 648 tries, 647324215 fired transitions, 400 secs || 93717055 markings, 152701860 edges, 198518 markings/sec, 400 secs
lola: STP completed || 656 tries, 655551228 fired transitions, 405 secs || 94697832 markings, 154363308 edges, 196155 markings/sec, 405 secs
lola: STP completed || 664 tries, 663757221 fired transitions, 410 secs || 95686067 markings, 156033615 edges, 197647 markings/sec, 410 secs
lola: STP completed || 672 tries, 671966719 fired transitions, 415 secs || 96674289 markings, 157704701 edges, 197644 markings/sec, 415 secs
lola: STP completed || 681 tries, 680204694 fired transitions, 420 secs || 97656463 markings, 159367689 edges, 196435 markings/sec, 420 secs
lola: STP completed || 689 tries, 688412557 fired transitions, 425 secs || 98643340 markings, 161035438 edges, 197375 markings/sec, 425 secs
lola: STP completed || 697 tries, 696637365 fired transitions, 430 secs || 99623491 markings, 162697008 edges, 196030 markings/sec, 430 secs
lola: STP completed || 705 tries, 704847502 fired transitions, 435 secs || 100606294 markings, 164361150 edges, 196561 markings/sec, 435 secs
lola: STP completed || 714 tries, 713078746 fired transitions, 440 secs || 101586575 markings, 166017291 edges, 196056 markings/sec, 440 secs
lola: STP completed || 722 tries, 721295994 fired transitions, 445 secs || 102568615 markings, 167674182 edges, 196408 markings/sec, 445 secs
lola: STP completed || 730 tries, 729484415 fired transitions, 450 secs || 103551511 markings, 169333187 edges, 196579 markings/sec, 450 secs
lola: STP completed || 738 tries, 737700775 fired transitions, 455 secs || 104531326 markings, 170993520 edges, 195963 markings/sec, 455 secs
lola: STP completed || 746 tries, 745920762 fired transitions, 460 secs || 105511992 markings, 172653190 edges, 196133 markings/sec, 460 secs
lola: STP completed || 755 tries, 754167431 fired transitions, 465 secs || 106481393 markings, 174305306 edges, 193880 markings/sec, 465 secs
lola: STP completed || 763 tries, 762388475 fired transitions, 470 secs || 107458948 markings, 175963639 edges, 195511 markings/sec, 470 secs
lola: STP completed || 771 tries, 770622753 fired transitions, 475 secs || 108433989 markings, 177616258 edges, 195008 markings/sec, 475 secs
lola: STP completed || 779 tries, 778853878 fired transitions, 480 secs || 109405496 markings, 179262396 edges, 194301 markings/sec, 480 secs
lola: STP completed || 788 tries, 787083541 fired transitions, 485 secs || 110380136 markings, 180908882 edges, 194928 markings/sec, 485 secs
lola: STP completed || 796 tries, 795309987 fired transitions, 490 secs || 111350418 markings, 182558789 edges, 194056 markings/sec, 490 secs
lola: STP completed || 804 tries, 803546544 fired transitions, 495 secs || 112323183 markings, 184205149 edges, 194553 markings/sec, 495 secs
lola: STP completed || 812 tries, 811245867 fired transitions, 500 secs || 113294508 markings, 185855277 edges, 194265 markings/sec, 500 secs
lola: STP completed || 820 tries, 819047916 fired transitions, 505 secs || 114260912 markings, 187497326 edges, 193281 markings/sec, 505 secs
lola: STP completed || 828 tries, 827295984 fired transitions, 510 secs || 115233558 markings, 189141146 edges, 194529 markings/sec, 510 secs
lola: STP completed || 836 tries, 835564791 fired transitions, 515 secs || 116194864 markings, 190775232 edges, 192261 markings/sec, 515 secs
lola: STP completed || 844 tries, 843818400 fired transitions, 520 secs || 117158206 markings, 192409404 edges, 192668 markings/sec, 520 secs
lola: STP completed || 853 tries, 852071877 fired transitions, 525 secs || 118122978 markings, 194042766 edges, 192954 markings/sec, 525 secs
lola: STP completed || 861 tries, 860299915 fired transitions, 530 secs || 119089335 markings, 195679368 edges, 193271 markings/sec, 530 secs
lola: STP completed || 869 tries, 868549431 fired transitions, 535 secs || 120051756 markings, 197312379 edges, 192484 markings/sec, 535 secs
lola: STP completed || 877 tries, 876793678 fired transitions, 540 secs || 121017500 markings, 198944897 edges, 193149 markings/sec, 540 secs
lola: STP completed || 886 tries, 885062071 fired transitions, 545 secs || 121975292 markings, 200573507 edges, 191558 markings/sec, 545 secs
lola: STP completed || 894 tries, 893310521 fired transitions, 550 secs || 122935887 markings, 202197284 edges, 192119 markings/sec, 550 secs
lola: STP completed || 902 tries, 901541831 fired transitions, 555 secs || 123900445 markings, 203830223 edges, 192912 markings/sec, 555 secs
lola: STP completed || 910 tries, 909794890 fired transitions, 560 secs || 124864895 markings, 205464066 edges, 192890 markings/sec, 560 secs
lola: STP completed || 919 tries, 918053679 fired transitions, 565 secs || 125823886 markings, 207096339 edges, 191798 markings/sec, 565 secs
lola: STP completed || 927 tries, 926319541 fired transitions, 570 secs || 126778972 markings, 208721278 edges, 191017 markings/sec, 570 secs
lola: STP completed || 935 tries, 934587163 fired transitions, 575 secs || 127737649 markings, 210339945 edges, 191735 markings/sec, 575 secs
lola: STP completed || 943 tries, 942857004 fired transitions, 580 secs || 128688716 markings, 211961845 edges, 190213 markings/sec, 580 secs
lola: STP completed || 952 tries, 951138252 fired transitions, 585 secs || 129638114 markings, 213581368 edges, 189880 markings/sec, 585 secs
lola: STP completed || 960 tries, 959418793 fired transitions, 590 secs || 130590181 markings, 215203280 edges, 190413 markings/sec, 590 secs
lola: STP completed || 968 tries, 967690665 fired transitions, 595 secs || 131543100 markings, 216815291 edges, 190584 markings/sec, 595 secs
lola: STP completed || 976 tries, 975972949 fired transitions, 600 secs || 132494224 markings, 218435444 edges, 190225 markings/sec, 600 secs
lola: STP completed || 985 tries, 984248032 fired transitions, 605 secs || 133441088 markings, 220053787 edges, 189373 markings/sec, 605 secs
lola: STP completed || 993 tries, 992523034 fired transitions, 610 secs || 134390487 markings, 221674973 edges, 189880 markings/sec, 610 secs
lola: STP completed || 1001 tries, 1000799534 fired transitions, 615 secs || 135341042 markings, 223291792 edges, 190111 markings/sec, 615 secs
lola: STP completed || 1010 tries, 1009099289 fired transitions, 620 secs || 136281358 markings, 224902501 edges, 188063 markings/sec, 620 secs
lola: STP completed || 1018 tries, 1017371074 fired transitions, 625 secs || 137230238 markings, 226517331 edges, 189776 markings/sec, 625 secs
lola: STP completed || 1026 tries, 1025302342 fired transitions, 630 secs || 138176052 markings, 228127823 edges, 189163 markings/sec, 630 secs
lola: STP completed || 1034 tries, 1033574151 fired transitions, 635 secs || 139117730 markings, 229738135 edges, 188336 markings/sec, 635 secs
lola: STP completed || 1042 tries, 1041846063 fired transitions, 640 secs || 140066226 markings, 231349838 edges, 189699 markings/sec, 640 secs
lola: STP completed || 1051 tries, 1050109396 fired transitions, 645 secs || 141013797 markings, 232962769 edges, 189514 markings/sec, 645 secs
lola: STP completed || 1059 tries, 1058393262 fired transitions, 650 secs || 141957243 markings, 234573180 edges, 188689 markings/sec, 650 secs
lola: STP completed || 1067 tries, 1066692031 fired transitions, 655 secs || 142906409 markings, 236190658 edges, 189833 markings/sec, 655 secs
lola: STP completed || 1075 tries, 1074958241 fired transitions, 660 secs || 143847149 markings, 237795842 edges, 188148 markings/sec, 660 secs
lola: STP completed || 1084 tries, 1083254695 fired transitions, 665 secs || 144786097 markings, 239397103 edges, 187790 markings/sec, 665 secs
lola: STP completed || 1092 tries, 1091537682 fired transitions, 670 secs || 145726502 markings, 241003410 edges, 188081 markings/sec, 670 secs
lola: STP completed || 1101 tries, 1100193545 fired transitions, 675 secs || 146759900 markings, 242768127 edges, 206680 markings/sec, 675 secs
lola: STP completed || 1110 tries, 1109224606 fired transitions, 680 secs || 147805581 markings, 244550192 edges, 209136 markings/sec, 680 secs
lola: STP completed || 1119 tries, 1118264428 fired transitions, 685 secs || 148848274 markings, 246329825 edges, 208539 markings/sec, 685 secs
lola: STP completed || 1128 tries, 1127314283 fired transitions, 690 secs || 149892040 markings, 248107057 edges, 208753 markings/sec, 690 secs
lola: STP completed || 1137 tries, 1136376229 fired transitions, 695 secs || 150938355 markings, 249892994 edges, 209263 markings/sec, 695 secs
lola: STP completed || 1146 tries, 1145428776 fired transitions, 700 secs || 151975335 markings, 251664108 edges, 207396 markings/sec, 700 secs
lola: STP completed || 1155 tries, 1154483336 fired transitions, 705 secs || 153010022 markings, 253436661 edges, 206937 markings/sec, 705 secs
lola: STP completed || 1164 tries, 1163518782 fired transitions, 710 secs || 154046559 markings, 255203301 edges, 207307 markings/sec, 710 secs
lola: STP completed || 1173 tries, 1172564368 fired transitions, 715 secs || 155083045 markings, 256970833 edges, 207297 markings/sec, 715 secs
lola: STP completed || 1181 tries, 1180945307 fired transitions, 720 secs || 155995029 markings, 258535171 edges, 182397 markings/sec, 720 secs
lola: STP completed || 1190 tries, 1189277536 fired transitions, 725 secs || 156954049 markings, 260172789 edges, 191804 markings/sec, 725 secs
lola: STP completed || 1198 tries, 1197601601 fired transitions, 730 secs || 157907542 markings, 261805538 edges, 190699 markings/sec, 730 secs
lola: STP completed || 1206 tries, 1205944128 fired transitions, 735 secs || 158860045 markings, 263434646 edges, 190501 markings/sec, 735 secs
lola: STP completed || 1215 tries, 1214284206 fired transitions, 740 secs || 159814048 markings, 265070546 edges, 190801 markings/sec, 740 secs
lola: STP completed || 1223 tries, 1222626846 fired transitions, 745 secs || 160767804 markings, 266701964 edges, 190751 markings/sec, 745 secs
lola: STP completed || 1232 tries, 1231618439 fired transitions, 750 secs || 161747511 markings, 268375682 edges, 195941 markings/sec, 750 secs
lola: STP completed || 1240 tries, 1239970049 fired transitions, 755 secs || 162691406 markings, 269997248 edges, 188779 markings/sec, 755 secs
lola: STP completed || 1249 tries, 1248292079 fired transitions, 760 secs || 163646991 markings, 271631190 edges, 191117 markings/sec, 760 secs
lola: STP completed || 1257 tries, 1256613654 fired transitions, 765 secs || 164606022 markings, 273266267 edges, 191806 markings/sec, 765 secs
lola: STP completed || 1265 tries, 1264946413 fired transitions, 770 secs || 165564121 markings, 274906529 edges, 191620 markings/sec, 770 secs
lola: STP completed || 1274 tries, 1273278884 fired transitions, 775 secs || 166514286 markings, 276531984 edges, 190033 markings/sec, 775 secs
lola: STP completed || 1282 tries, 1281615264 fired transitions, 780 secs || 167465062 markings, 278160758 edges, 190155 markings/sec, 780 secs
lola: STP completed || 1290 tries, 1289958738 fired transitions, 785 secs || 168413597 markings, 279786985 edges, 189707 markings/sec, 785 secs
lola: STP completed || 1299 tries, 1298310789 fired transitions, 790 secs || 169363077 markings, 281412081 edges, 189896 markings/sec, 790 secs
lola: STP completed || 1307 tries, 1306652359 fired transitions, 795 secs || 170315336 markings, 283037288 edges, 190452 markings/sec, 795 secs
lola: STP completed || 1315 tries, 1314998838 fired transitions, 800 secs || 171260934 markings, 284659481 edges, 189120 markings/sec, 800 secs
lola: STP completed || 1324 tries, 1323361989 fired transitions, 805 secs || 172202531 markings, 286280194 edges, 188319 markings/sec, 805 secs
lola: STP completed || 1332 tries, 1331710022 fired transitions, 810 secs || 173154052 markings, 287919651 edges, 190304 markings/sec, 810 secs
lola: STP completed || 1341 tries, 1340054612 fired transitions, 815 secs || 174104080 markings, 289545030 edges, 190006 markings/sec, 815 secs
lola: STP completed || 1349 tries, 1348396832 fired transitions, 820 secs || 175049598 markings, 291168200 edges, 189104 markings/sec, 820 secs
lola: STP completed || 1357 tries, 1356743711 fired transitions, 825 secs || 175996763 markings, 292793176 edges, 189433 markings/sec, 825 secs
lola: STP completed || 1366 tries, 1365092942 fired transitions, 830 secs || 176944734 markings, 294419764 edges, 189594 markings/sec, 830 secs
lola: STP completed || 1374 tries, 1373446614 fired transitions, 835 secs || 177889327 markings, 296037695 edges, 188919 markings/sec, 835 secs
lola: STP completed || 1382 tries, 1381784265 fired transitions, 840 secs || 178839383 markings, 297661667 edges, 190011 markings/sec, 840 secs
lola: STP completed || 1391 tries, 1390148501 fired transitions, 845 secs || 179777349 markings, 299281589 edges, 187593 markings/sec, 845 secs
lola: STP completed || 1399 tries, 1398134824 fired transitions, 850 secs || 180725131 markings, 300901370 edges, 189556 markings/sec, 850 secs
lola: STP completed || 1407 tries, 1406472957 fired transitions, 855 secs || 181666794 markings, 302515320 edges, 188333 markings/sec, 855 secs
lola: STP completed || 1415 tries, 1414195815 fired transitions, 860 secs || 182613797 markings, 304140791 edges, 189401 markings/sec, 860 secs
lola: STP completed || 1423 tries, 1422604723 fired transitions, 865 secs || 183488084 markings, 305643964 edges, 174857 markings/sec, 865 secs
lola: STP completed || 1431 tries, 1430936274 fired transitions, 870 secs || 184391694 markings, 307191541 edges, 180722 markings/sec, 870 secs
lola: STP completed || 1440 tries, 1439278556 fired transitions, 875 secs || 185290040 markings, 308742744 edges, 179669 markings/sec, 875 secs
lola: STP completed || 1448 tries, 1447613528 fired transitions, 880 secs || 186193650 markings, 310292482 edges, 180722 markings/sec, 880 secs
lola: STP completed || 1456 tries, 1455958903 fired transitions, 885 secs || 187090278 markings, 311837145 edges, 179326 markings/sec, 885 secs
lola: STP completed || 1465 tries, 1464296972 fired transitions, 890 secs || 187989614 markings, 313387964 edges, 179867 markings/sec, 890 secs
lola: STP completed || 1474 tries, 1473343480 fired transitions, 895 secs || 188991623 markings, 315100933 edges, 200402 markings/sec, 895 secs
lola: STP completed || 1482 tries, 1481324584 fired transitions, 900 secs || 189883724 markings, 316643493 edges, 178420 markings/sec, 900 secs
lola: STP completed || 1490 tries, 1489667570 fired transitions, 905 secs || 190759148 markings, 318159476 edges, 175085 markings/sec, 905 secs
lola: STP completed || 1499 tries, 1498009103 fired transitions, 910 secs || 191656480 markings, 319707782 edges, 179466 markings/sec, 910 secs
lola: STP completed || 1507 tries, 1506363821 fired transitions, 915 secs || 192552173 markings, 321253563 edges, 179139 markings/sec, 915 secs
lola: STP completed || 1515 tries, 1514701187 fired transitions, 920 secs || 193447266 markings, 322801301 edges, 179019 markings/sec, 920 secs
lola: STP completed || 1524 tries, 1523041166 fired transitions, 925 secs || 194347435 markings, 324343536 edges, 180034 markings/sec, 925 secs
lola: STP completed || 1532 tries, 1531390475 fired transitions, 930 secs || 195246660 markings, 325887490 edges, 179845 markings/sec, 930 secs
lola: STP completed || 1540 tries, 1539738226 fired transitions, 935 secs || 196141831 markings, 327425180 edges, 179034 markings/sec, 935 secs
lola: STP completed || 1549 tries, 1548074712 fired transitions, 940 secs || 197039821 markings, 328966680 edges, 179598 markings/sec, 940 secs
lola: STP completed || 1557 tries, 1556413192 fired transitions, 945 secs || 197936710 markings, 330507303 edges, 179378 markings/sec, 945 secs
lola: STP completed || 1565 tries, 1564742793 fired transitions, 950 secs || 198836832 markings, 332052469 edges, 180024 markings/sec, 950 secs
lola: STP completed || 1574 tries, 1573080766 fired transitions, 955 secs || 199737112 markings, 333608522 edges, 180056 markings/sec, 955 secs
lola: STP completed || 1582 tries, 1581430024 fired transitions, 960 secs || 200632878 markings, 335149104 edges, 179153 markings/sec, 960 secs
lola: STP completed || 1590 tries, 1589424503 fired transitions, 965 secs || 201536442 markings, 336701289 edges, 180713 markings/sec, 965 secs
lola: STP completed || 1598 tries, 1597772883 fired transitions, 970 secs || 202432727 markings, 338241732 edges, 179257 markings/sec, 970 secs
lola: STP completed || 1607 tries, 1606107905 fired transitions, 975 secs || 203328866 markings, 339782360 edges, 179228 markings/sec, 975 secs
lola: STP completed || 1615 tries, 1614467365 fired transitions, 980 secs || 204217799 markings, 341320439 edges, 177787 markings/sec, 980 secs
lola: STP completed || 1623 tries, 1622827674 fired transitions, 985 secs || 205109251 markings, 342855456 edges, 178290 markings/sec, 985 secs
lola: STP completed || 1632 tries, 1631649976 fired transitions, 990 secs || 206079830 markings, 344521716 edges, 194116 markings/sec, 990 secs
lola: STP completed || 1641 tries, 1640017943 fired transitions, 995 secs || 206927301 markings, 345980016 edges, 169494 markings/sec, 995 secs
lola: STP completed || 1649 tries, 1648343751 fired transitions, 1000 secs || 207832138 markings, 347537726 edges, 180967 markings/sec, 1000 secs
lola: STP completed || 1657 tries, 1656691148 fired transitions, 1005 secs || 208737279 markings, 349090947 edges, 181028 markings/sec, 1005 secs
lola: STP completed || 1666 tries, 1665033104 fired transitions, 1010 secs || 209634897 markings, 350641278 edges, 179524 markings/sec, 1010 secs
lola: STP completed || 1674 tries, 1673382264 fired transitions, 1015 secs || 210537877 markings, 352198314 edges, 180596 markings/sec, 1015 secs
lola: STP completed || 1682 tries, 1681738466 fired transitions, 1020 secs || 211434959 markings, 353741694 edges, 179416 markings/sec, 1020 secs
lola: STP completed || 1691 tries, 1690089057 fired transitions, 1025 secs || 212334223 markings, 355294292 edges, 179853 markings/sec, 1025 secs
lola: STP completed || 1699 tries, 1698428066 fired transitions, 1030 secs || 213233712 markings, 356847404 edges, 179898 markings/sec, 1030 secs
lola: STP completed || 1707 tries, 1706764435 fired transitions, 1035 secs || 214134330 markings, 358394298 edges, 180124 markings/sec, 1035 secs
lola: STP completed || 1716 tries, 1715087231 fired transitions, 1040 secs || 215036809 markings, 359942488 edges, 180496 markings/sec, 1040 secs
lola: STP completed || 1724 tries, 1723434500 fired transitions, 1045 secs || 215934020 markings, 361498101 edges, 179442 markings/sec, 1045 secs
lola: STP completed || 1732 tries, 1731777741 fired transitions, 1050 secs || 216833844 markings, 363050653 edges, 179965 markings/sec, 1050 secs
lola: STP completed || 1741 tries, 1740169454 fired transitions, 1055 secs || 217704020 markings, 364554678 edges, 174035 markings/sec, 1055 secs
lola: STP completed || 1749 tries, 1748525898 fired transitions, 1060 secs || 218593774 markings, 366088679 edges, 177951 markings/sec, 1060 secs
lola: STP completed || 1757 tries, 1756895026 fired transitions, 1065 secs || 219478734 markings, 367616731 edges, 176992 markings/sec, 1065 secs
lola: STP completed || 1766 tries, 1765266004 fired transitions, 1070 secs || 220360306 markings, 369143648 edges, 176314 markings/sec, 1070 secs
lola: STP completed || 1774 tries, 1773625318 fired transitions, 1075 secs || 221244543 markings, 370671484 edges, 176847 markings/sec, 1075 secs
lola: STP completed || 1782 tries, 1781977833 fired transitions, 1080 secs || 222131019 markings, 372201539 edges, 177295 markings/sec, 1080 secs
lola: STP completed || 1790 tries, 1789759837 fired transitions, 1085 secs || 222854564 markings, 373456600 edges, 144709 markings/sec, 1085 secs
lola: STP completed || 1793 tries, 1792258123 fired transitions, 1090 secs || 222877938 markings, 373496576 edges, 4675 markings/sec, 1090 secs
lola: STP completed || 1795 tries, 1794000031 fired transitions, 1095 secs || 222891628 markings, 373519841 edges, 2738 markings/sec, 1095 secs
lola: STP completed || 1797 tries, 1796282054 fired transitions, 1100 secs || 222907852 markings, 373547579 edges, 3245 markings/sec, 1100 secs
lola: STP completed || 1798 tries, 1797975576 fired transitions, 1105 secs || 222946179 markings, 373614306 edges, 7665 markings/sec, 1105 secs
lola: STP completed || 1800 tries, 1799059536 fired transitions, 1110 secs || 222961185 markings, 373639498 edges, 3001 markings/sec, 1110 secs
lola: STP completed || 1801 tries, 1800438868 fired transitions, 1115 secs || 222982248 markings, 373675124 edges, 4213 markings/sec, 1115 secs
lola: STP completed || 1803 tries, 1802036333 fired transitions, 1120 secs || 223019274 markings, 373739495 edges, 7405 markings/sec, 1120 secs
lola: STP completed || 1804 tries, 1803783423 fired transitions, 1125 secs || 223048836 markings, 373790797 edges, 5912 markings/sec, 1125 secs
lola: STP completed || 1806 tries, 1805547104 fired transitions, 1130 secs || 223075963 markings, 373837253 edges, 5425 markings/sec, 1130 secs

BK_STOP 1527254403322

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

Killed

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="TCPcondis-PT-25"
export BK_EXAMINATION="ReachabilityDeadlock"
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

tar xzf /home/mcc/BenchKit/INPUTS/TCPcondis-PT-25.tgz
mv TCPcondis-PT-25 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is TCPcondis-PT-25, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r172-smll-152708743100209"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;