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

About the Execution of LoLA for TCPcondis-PT-35

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15919.230 1118394.00 2179354.00 12479.30 [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 180K
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K 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.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K 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.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K 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-35, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r172-smll-152708743100223
=====================================================================


--------------------
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-35-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1527263764491

info: Time: 3600 - MCC
===========================================================================================
prep: translating TCPcondis-PT-35 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating TCPcondis-PT-35 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ TCPcondis-PT-35 @ 3570 seconds
lola: LoLA will run for 3570 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-35-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: findpath: transitions are chosen randomly
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: STP: formula with 748 variables and 2338 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 8 tries, 7178624 fired transitions, 0 secs || 1858350 markings, 2429048 edges, 371670 markings/sec, 0 secs
lola: STP completed || 15 tries, 14413477 fired transitions, 5 secs || 3367493 markings, 4553593 edges, 301829 markings/sec, 5 secs
lola: STP completed || 22 tries, 21916821 fired transitions, 10 secs || 4776047 markings, 6577177 edges, 281711 markings/sec, 10 secs
lola: STP completed || 30 tries, 29158895 fired transitions, 15 secs || 6270767 markings, 8759374 edges, 298944 markings/sec, 15 secs
lola: STP completed || 37 tries, 36475358 fired transitions, 20 secs || 7738930 markings, 10931655 edges, 293633 markings/sec, 20 secs
lola: STP completed || 44 tries, 43855784 fired transitions, 25 secs || 9180638 markings, 13082009 edges, 288342 markings/sec, 25 secs
lola: STP completed || 52 tries, 51266972 fired transitions, 30 secs || 10604653 markings, 15225691 edges, 284803 markings/sec, 30 secs
lola: STP completed || 59 tries, 58673536 fired transitions, 35 secs || 12013463 markings, 17360325 edges, 281762 markings/sec, 35 secs
lola: STP completed || 67 tries, 66105468 fired transitions, 40 secs || 13410811 markings, 19489702 edges, 279470 markings/sec, 40 secs
lola: STP completed || 74 tries, 73549717 fired transitions, 45 secs || 14795217 markings, 21603787 edges, 276881 markings/sec, 45 secs
lola: STP completed || 82 tries, 81022223 fired transitions, 50 secs || 16169117 markings, 23710511 edges, 274780 markings/sec, 50 secs
lola: STP completed || 89 tries, 88529629 fired transitions, 55 secs || 17528090 markings, 25810356 edges, 271795 markings/sec, 55 secs
lola: STP completed || 97 tries, 96064236 fired transitions, 60 secs || 18876195 markings, 27898520 edges, 269621 markings/sec, 60 secs
lola: STP completed || 104 tries, 103604667 fired transitions, 65 secs || 20219124 markings, 29978376 edges, 268586 markings/sec, 65 secs
lola: STP completed || 112 tries, 111155078 fired transitions, 70 secs || 21556901 markings, 32054776 edges, 267555 markings/sec, 70 secs
lola: STP completed || 119 tries, 118730417 fired transitions, 75 secs || 22883040 markings, 34118920 edges, 265228 markings/sec, 75 secs
lola: STP completed || 127 tries, 126342159 fired transitions, 80 secs || 24194388 markings, 36178081 edges, 262270 markings/sec, 80 secs
lola: STP completed || 134 tries, 133952667 fired transitions, 85 secs || 25502974 markings, 38223153 edges, 261717 markings/sec, 85 secs
lola: STP completed || 142 tries, 141589156 fired transitions, 90 secs || 26799064 markings, 40266035 edges, 259218 markings/sec, 90 secs
lola: STP completed || 150 tries, 149253113 fired transitions, 95 secs || 28088872 markings, 42303635 edges, 257962 markings/sec, 95 secs
lola: STP completed || 157 tries, 156887009 fired transitions, 100 secs || 29379129 markings, 44337291 edges, 258051 markings/sec, 100 secs
lola: STP completed || 165 tries, 164559404 fired transitions, 105 secs || 30662195 markings, 46361673 edges, 256613 markings/sec, 105 secs
lola: STP completed || 173 tries, 172225792 fired transitions, 110 secs || 31941811 markings, 48385543 edges, 255923 markings/sec, 110 secs
lola: STP completed || 180 tries, 179916875 fired transitions, 115 secs || 33207536 markings, 50398495 edges, 253145 markings/sec, 115 secs
lola: STP completed || 188 tries, 187601384 fired transitions, 120 secs || 34472769 markings, 52413622 edges, 253047 markings/sec, 120 secs
lola: STP completed || 196 tries, 195321467 fired transitions, 125 secs || 35730729 markings, 54416903 edges, 251592 markings/sec, 125 secs
lola: STP completed || 204 tries, 203054297 fired transitions, 130 secs || 36982262 markings, 56422079 edges, 250307 markings/sec, 130 secs
lola: STP completed || 211 tries, 210771479 fired transitions, 135 secs || 38229428 markings, 58413795 edges, 249433 markings/sec, 135 secs
lola: STP completed || 219 tries, 218524527 fired transitions, 140 secs || 39473031 markings, 60403121 edges, 248721 markings/sec, 140 secs
lola: STP completed || 227 tries, 226256408 fired transitions, 145 secs || 40712353 markings, 62385028 edges, 247864 markings/sec, 145 secs
lola: STP completed || 234 tries, 233997982 fired transitions, 150 secs || 41948661 markings, 64360505 edges, 247262 markings/sec, 150 secs
lola: STP completed || 242 tries, 241742961 fired transitions, 155 secs || 43182308 markings, 66326657 edges, 246729 markings/sec, 155 secs
lola: STP completed || 250 tries, 249515917 fired transitions, 160 secs || 44403371 markings, 68295852 edges, 244213 markings/sec, 160 secs
lola: STP completed || 258 tries, 257278090 fired transitions, 165 secs || 45624664 markings, 70266887 edges, 244259 markings/sec, 165 secs
lola: STP completed || 266 tries, 265042119 fired transitions, 170 secs || 46847123 markings, 72231140 edges, 244492 markings/sec, 170 secs
lola: STP completed || 273 tries, 272825557 fired transitions, 175 secs || 48060262 markings, 74187695 edges, 242628 markings/sec, 175 secs
lola: STP completed || 281 tries, 280604650 fired transitions, 180 secs || 49276975 markings, 76148731 edges, 243343 markings/sec, 180 secs
lola: STP completed || 289 tries, 288425667 fired transitions, 185 secs || 50475546 markings, 78093722 edges, 239714 markings/sec, 185 secs
lola: STP completed || 297 tries, 296228273 fired transitions, 190 secs || 51675896 markings, 80030937 edges, 240070 markings/sec, 190 secs
lola: STP completed || 305 tries, 304041254 fired transitions, 195 secs || 52877891 markings, 81965829 edges, 240399 markings/sec, 195 secs
lola: STP completed || 312 tries, 311863440 fired transitions, 200 secs || 54070923 markings, 83899108 edges, 238606 markings/sec, 200 secs
lola: STP completed || 320 tries, 319768384 fired transitions, 205 secs || 55278665 markings, 85849605 edges, 241548 markings/sec, 205 secs
lola: STP completed || 329 tries, 328825386 fired transitions, 210 secs || 56667925 markings, 88101932 edges, 277852 markings/sec, 210 secs
lola: STP completed || 338 tries, 337907955 fired transitions, 215 secs || 58042423 markings, 90337221 edges, 274900 markings/sec, 215 secs
lola: STP completed || 346 tries, 345776893 fired transitions, 220 secs || 59223877 markings, 92252355 edges, 236291 markings/sec, 220 secs
lola: STP completed || 354 tries, 353682364 fired transitions, 225 secs || 60398174 markings, 94164453 edges, 234859 markings/sec, 225 secs
lola: STP completed || 362 tries, 361588262 fired transitions, 230 secs || 61571835 markings, 96070814 edges, 234732 markings/sec, 230 secs
lola: STP completed || 370 tries, 369520134 fired transitions, 235 secs || 62738455 markings, 97973708 edges, 233324 markings/sec, 235 secs
lola: STP completed || 379 tries, 378153812 fired transitions, 240 secs || 63912154 markings, 99884087 edges, 234740 markings/sec, 240 secs
lola: STP completed || 387 tries, 386438144 fired transitions, 245 secs || 64848025 markings, 101407552 edges, 187174 markings/sec, 245 secs
lola: STP completed || 395 tries, 394132457 fired transitions, 250 secs || 65783189 markings, 102935130 edges, 187033 markings/sec, 250 secs
lola: STP completed || 403 tries, 402439958 fired transitions, 255 secs || 66709601 markings, 104450643 edges, 185282 markings/sec, 255 secs
lola: STP completed || 411 tries, 410352085 fired transitions, 260 secs || 67708094 markings, 106080826 edges, 199699 markings/sec, 260 secs
lola: STP completed || 419 tries, 418630828 fired transitions, 265 secs || 68636566 markings, 107596180 edges, 185694 markings/sec, 265 secs
lola: STP completed || 428 tries, 427475793 fired transitions, 270 secs || 69834673 markings, 109550897 edges, 239621 markings/sec, 270 secs
lola: STP completed || 437 tries, 436583111 fired transitions, 275 secs || 71160012 markings, 111709733 edges, 265068 markings/sec, 275 secs
lola: STP completed || 445 tries, 444895896 fired transitions, 280 secs || 72072932 markings, 113208868 edges, 182584 markings/sec, 280 secs
lola: STP completed || 454 tries, 453221178 fired transitions, 285 secs || 72986154 markings, 114706517 edges, 182644 markings/sec, 285 secs
lola: STP completed || 462 tries, 461520729 fired transitions, 290 secs || 73909958 markings, 116212922 edges, 184761 markings/sec, 290 secs
lola: STP completed || 470 tries, 469836450 fired transitions, 295 secs || 74825255 markings, 117714095 edges, 183059 markings/sec, 295 secs
lola: STP completed || 479 tries, 478147335 fired transitions, 300 secs || 75734528 markings, 119205932 edges, 181855 markings/sec, 300 secs
lola: STP completed || 487 tries, 486458547 fired transitions, 305 secs || 76652283 markings, 120705581 edges, 183551 markings/sec, 305 secs
lola: STP completed || 495 tries, 494773303 fired transitions, 310 secs || 77567191 markings, 122197213 edges, 182982 markings/sec, 310 secs
lola: STP completed || 504 tries, 503087454 fired transitions, 315 secs || 78480758 markings, 123690245 edges, 182713 markings/sec, 315 secs
lola: STP completed || 513 tries, 512199265 fired transitions, 320 secs || 79759478 markings, 125792832 edges, 255744 markings/sec, 320 secs
lola: STP completed || 521 tries, 520521579 fired transitions, 325 secs || 80668143 markings, 127289360 edges, 181733 markings/sec, 325 secs
lola: STP completed || 529 tries, 528832555 fired transitions, 330 secs || 81575908 markings, 128783603 edges, 181553 markings/sec, 330 secs
lola: STP completed || 538 tries, 537141139 fired transitions, 335 secs || 82486649 markings, 130276872 edges, 182148 markings/sec, 335 secs
lola: STP completed || 546 tries, 545614250 fired transitions, 340 secs || 83463261 markings, 131881345 edges, 195322 markings/sec, 340 secs
lola: STP completed || 555 tries, 554211081 fired transitions, 345 secs || 84492235 markings, 133575399 edges, 205795 markings/sec, 345 secs
lola: STP completed || 564 tries, 563159672 fired transitions, 350 secs || 85679415 markings, 135524423 edges, 237436 markings/sec, 350 secs
lola: STP completed || 573 tries, 572114985 fired transitions, 355 secs || 86886262 markings, 137505818 edges, 241369 markings/sec, 355 secs
lola: STP completed || 582 tries, 581097641 fired transitions, 360 secs || 87977617 markings, 139307214 edges, 218271 markings/sec, 360 secs
lola: STP completed || 590 tries, 589119196 fired transitions, 365 secs || 88883259 markings, 140801220 edges, 181128 markings/sec, 365 secs
lola: STP completed || 598 tries, 597446249 fired transitions, 370 secs || 89789459 markings, 142291215 edges, 181240 markings/sec, 370 secs
lola: STP completed || 606 tries, 605796553 fired transitions, 375 secs || 90694119 markings, 143786455 edges, 180932 markings/sec, 375 secs
lola: STP completed || 615 tries, 614152545 fired transitions, 380 secs || 91591410 markings, 145276309 edges, 179458 markings/sec, 380 secs
lola: STP completed || 623 tries, 622491765 fired transitions, 385 secs || 92492380 markings, 146766839 edges, 180194 markings/sec, 385 secs
lola: STP completed || 631 tries, 630833935 fired transitions, 390 secs || 93397426 markings, 148259424 edges, 181009 markings/sec, 390 secs
lola: STP completed || 640 tries, 639176667 fired transitions, 395 secs || 94299565 markings, 149747730 edges, 180428 markings/sec, 395 secs
lola: STP completed || 648 tries, 647551140 fired transitions, 400 secs || 95189527 markings, 151228028 edges, 177992 markings/sec, 400 secs
lola: STP completed || 656 tries, 655917461 fired transitions, 405 secs || 96083911 markings, 152711930 edges, 178877 markings/sec, 405 secs
lola: STP completed || 665 tries, 664258929 fired transitions, 410 secs || 96984432 markings, 154196279 edges, 180104 markings/sec, 410 secs
lola: STP completed || 673 tries, 672616531 fired transitions, 415 secs || 97881042 markings, 155681383 edges, 179322 markings/sec, 415 secs
lola: STP completed || 681 tries, 680979986 fired transitions, 420 secs || 98773974 markings, 157160713 edges, 178586 markings/sec, 420 secs
lola: STP completed || 690 tries, 689356173 fired transitions, 425 secs || 99662921 markings, 158635544 edges, 177789 markings/sec, 425 secs
lola: STP completed || 698 tries, 697711251 fired transitions, 430 secs || 100553433 markings, 160110939 edges, 178102 markings/sec, 430 secs
lola: STP completed || 707 tries, 706063536 fired transitions, 435 secs || 101446503 markings, 161591206 edges, 178614 markings/sec, 435 secs
lola: STP completed || 715 tries, 714424847 fired transitions, 440 secs || 102336598 markings, 163063396 edges, 178019 markings/sec, 440 secs
lola: STP completed || 723 tries, 722797435 fired transitions, 445 secs || 103222589 markings, 164536479 edges, 177198 markings/sec, 445 secs
lola: STP completed || 732 tries, 731154833 fired transitions, 450 secs || 104115560 markings, 166012214 edges, 178594 markings/sec, 450 secs
lola: STP completed || 740 tries, 739545929 fired transitions, 455 secs || 104995096 markings, 167476941 edges, 175907 markings/sec, 455 secs
lola: STP completed || 748 tries, 747927582 fired transitions, 460 secs || 105881083 markings, 168947824 edges, 177197 markings/sec, 460 secs
lola: STP completed || 757 tries, 756322441 fired transitions, 465 secs || 106760361 markings, 170413042 edges, 175856 markings/sec, 465 secs
lola: STP completed || 765 tries, 764708771 fired transitions, 470 secs || 107649988 markings, 171885752 edges, 177925 markings/sec, 470 secs
lola: STP completed || 774 tries, 773091445 fired transitions, 475 secs || 108527587 markings, 173344108 edges, 175520 markings/sec, 475 secs
lola: STP completed || 782 tries, 781459800 fired transitions, 480 secs || 109407795 markings, 174801111 edges, 176042 markings/sec, 480 secs
lola: STP completed || 790 tries, 789853567 fired transitions, 485 secs || 110286823 markings, 176258690 edges, 175806 markings/sec, 485 secs
lola: STP completed || 799 tries, 798226878 fired transitions, 490 secs || 111167556 markings, 177721326 edges, 176147 markings/sec, 490 secs
lola: STP completed || 806 tries, 805911931 fired transitions, 495 secs || 112048849 markings, 179187417 edges, 176259 markings/sec, 495 secs
lola: STP completed || 815 tries, 814046479 fired transitions, 500 secs || 112921583 markings, 180645017 edges, 174547 markings/sec, 500 secs
lola: STP completed || 823 tries, 822429162 fired transitions, 505 secs || 113798676 markings, 182107609 edges, 175419 markings/sec, 505 secs
lola: STP completed || 831 tries, 830822820 fired transitions, 510 secs || 114675716 markings, 183570658 edges, 175408 markings/sec, 510 secs
lola: STP completed || 840 tries, 839205615 fired transitions, 515 secs || 115553149 markings, 185031661 edges, 175487 markings/sec, 515 secs
lola: STP completed || 848 tries, 847601172 fired transitions, 520 secs || 116428379 markings, 186489585 edges, 175046 markings/sec, 520 secs
lola: STP completed || 856 tries, 855984482 fired transitions, 525 secs || 117309030 markings, 187954412 edges, 176130 markings/sec, 525 secs
lola: STP completed || 865 tries, 864383904 fired transitions, 530 secs || 118176198 markings, 189405447 edges, 173434 markings/sec, 530 secs
lola: STP completed || 873 tries, 872773812 fired transitions, 535 secs || 119051668 markings, 190859635 edges, 175094 markings/sec, 535 secs
lola: STP completed || 882 tries, 881185609 fired transitions, 540 secs || 119922532 markings, 192313090 edges, 174173 markings/sec, 540 secs
lola: STP completed || 890 tries, 889299661 fired transitions, 545 secs || 120923767 markings, 193992686 edges, 200247 markings/sec, 545 secs
lola: STP completed || 898 tries, 897445533 fired transitions, 550 secs || 121946184 markings, 195694823 edges, 204483 markings/sec, 550 secs
lola: STP completed || 906 tries, 905550148 fired transitions, 555 secs || 122967221 markings, 197403883 edges, 204207 markings/sec, 555 secs
lola: STP completed || 914 tries, 913714841 fired transitions, 560 secs || 123968411 markings, 199075866 edges, 200238 markings/sec, 560 secs
lola: STP completed || 922 tries, 921858156 fired transitions, 565 secs || 124998663 markings, 200801600 edges, 206050 markings/sec, 565 secs
lola: STP completed || 930 tries, 929988354 fired transitions, 570 secs || 126032738 markings, 202525843 edges, 206815 markings/sec, 570 secs
lola: STP completed || 939 tries, 938122342 fired transitions, 575 secs || 127063720 markings, 204250245 edges, 206196 markings/sec, 575 secs
lola: STP completed || 947 tries, 946256848 fired transitions, 580 secs || 128094457 markings, 205969254 edges, 206147 markings/sec, 580 secs
lola: STP completed || 955 tries, 954424551 fired transitions, 585 secs || 129120908 markings, 207685907 edges, 205290 markings/sec, 585 secs
lola: STP completed || 963 tries, 962573597 fired transitions, 590 secs || 130146732 markings, 209394463 edges, 205165 markings/sec, 590 secs
lola: STP completed || 971 tries, 970725351 fired transitions, 595 secs || 131170479 markings, 211105976 edges, 204749 markings/sec, 595 secs
lola: STP completed || 979 tries, 978850207 fired transitions, 600 secs || 132199341 markings, 212824204 edges, 205772 markings/sec, 600 secs
lola: STP completed || 987 tries, 986998913 fired transitions, 605 secs || 133222043 markings, 214538160 edges, 204540 markings/sec, 605 secs
lola: STP completed || 996 tries, 995161124 fired transitions, 610 secs || 134244504 markings, 216259993 edges, 204492 markings/sec, 610 secs
lola: STP completed || 1004 tries, 1003331249 fired transitions, 615 secs || 135238835 markings, 217920560 edges, 198866 markings/sec, 615 secs
lola: STP completed || 1012 tries, 1011488168 fired transitions, 620 secs || 136253019 markings, 219617287 edges, 202837 markings/sec, 620 secs
lola: STP completed || 1020 tries, 1019642696 fired transitions, 625 secs || 137268209 markings, 221315860 edges, 203038 markings/sec, 625 secs
lola: STP completed || 1028 tries, 1027787890 fired transitions, 630 secs || 138260456 markings, 222981590 edges, 198449 markings/sec, 630 secs
lola: STP completed || 1036 tries, 1035931242 fired transitions, 635 secs || 139281832 markings, 224692206 edges, 204275 markings/sec, 635 secs
lola: STP completed || 1045 tries, 1044112940 fired transitions, 640 secs || 140295623 markings, 226399776 edges, 202758 markings/sec, 640 secs
lola: STP completed || 1053 tries, 1052264537 fired transitions, 645 secs || 141312935 markings, 228105813 edges, 203462 markings/sec, 645 secs
lola: STP completed || 1061 tries, 1060435510 fired transitions, 650 secs || 142328187 markings, 229813084 edges, 203050 markings/sec, 650 secs
lola: STP completed || 1069 tries, 1068606548 fired transitions, 655 secs || 143342986 markings, 231516528 edges, 202960 markings/sec, 655 secs
lola: STP completed || 1077 tries, 1076783116 fired transitions, 660 secs || 144350906 markings, 233219708 edges, 201584 markings/sec, 660 secs
lola: STP completed || 1085 tries, 1084964924 fired transitions, 665 secs || 145361568 markings, 234931347 edges, 202132 markings/sec, 665 secs
lola: STP completed || 1094 tries, 1093143487 fired transitions, 670 secs || 146378855 markings, 236637072 edges, 203457 markings/sec, 670 secs
lola: STP completed || 1102 tries, 1101270985 fired transitions, 675 secs || 147388558 markings, 238336481 edges, 201941 markings/sec, 675 secs
lola: STP completed || 1110 tries, 1109363082 fired transitions, 680 secs || 148404302 markings, 240040007 edges, 203149 markings/sec, 680 secs
lola: STP completed || 1118 tries, 1117463107 fired transitions, 685 secs || 149418639 markings, 241749450 edges, 202867 markings/sec, 685 secs
lola: STP completed || 1126 tries, 1125554340 fired transitions, 690 secs || 150437235 markings, 243458312 edges, 203719 markings/sec, 690 secs
lola: STP completed || 1134 tries, 1133658529 fired transitions, 695 secs || 151445788 markings, 245153179 edges, 201711 markings/sec, 695 secs
lola: STP completed || 1142 tries, 1141760676 fired transitions, 700 secs || 152454821 markings, 246849995 edges, 201807 markings/sec, 700 secs
lola: STP completed || 1150 tries, 1149878715 fired transitions, 705 secs || 153461500 markings, 248546425 edges, 201336 markings/sec, 705 secs
lola: STP completed || 1158 tries, 1157997334 fired transitions, 710 secs || 154468099 markings, 250240737 edges, 201320 markings/sec, 710 secs
lola: STP completed || 1167 tries, 1166104232 fired transitions, 715 secs || 155474279 markings, 251929358 edges, 201236 markings/sec, 715 secs
lola: STP completed || 1175 tries, 1174199301 fired transitions, 720 secs || 156483708 markings, 253622566 edges, 201886 markings/sec, 720 secs
lola: STP completed || 1183 tries, 1182303876 fired transitions, 725 secs || 157483033 markings, 255314503 edges, 199865 markings/sec, 725 secs
lola: STP completed || 1191 tries, 1190423741 fired transitions, 730 secs || 158491365 markings, 257010990 edges, 201666 markings/sec, 730 secs
lola: STP completed || 1199 tries, 1198537184 fired transitions, 735 secs || 159500600 markings, 258702789 edges, 201847 markings/sec, 735 secs
lola: STP completed || 1207 tries, 1206660117 fired transitions, 740 secs || 160501104 markings, 260388938 edges, 200101 markings/sec, 740 secs
lola: STP completed || 1215 tries, 1214777457 fired transitions, 745 secs || 161499994 markings, 262071140 edges, 199778 markings/sec, 745 secs
lola: STP completed || 1223 tries, 1222803081 fired transitions, 750 secs || 162497275 markings, 263759406 edges, 199456 markings/sec, 750 secs
lola: STP completed || 1231 tries, 1230366663 fired transitions, 755 secs || 163491999 markings, 265440251 edges, 198945 markings/sec, 755 secs
lola: STP completed || 1239 tries, 1238163337 fired transitions, 760 secs || 164476725 markings, 267110995 edges, 196945 markings/sec, 760 secs
lola: STP completed || 1246 tries, 1245437786 fired transitions, 765 secs || 165472673 markings, 268781484 edges, 199190 markings/sec, 765 secs
lola: STP completed || 1253 tries, 1252977237 fired transitions, 770 secs || 166468059 markings, 270461528 edges, 199077 markings/sec, 770 secs
lola: STP completed || 1261 tries, 1260526261 fired transitions, 775 secs || 167457837 markings, 272127640 edges, 197956 markings/sec, 775 secs
lola: STP completed || 1268 tries, 1267576814 fired transitions, 780 secs || 168439589 markings, 273785553 edges, 196350 markings/sec, 780 secs
lola: STP completed || 1275 tries, 1274684297 fired transitions, 785 secs || 169427481 markings, 275457600 edges, 197578 markings/sec, 785 secs
lola: STP completed || 1283 tries, 1282410376 fired transitions, 790 secs || 170400698 markings, 277094149 edges, 194643 markings/sec, 790 secs
lola: STP completed || 1290 tries, 1289961111 fired transitions, 795 secs || 171388891 markings, 278760886 edges, 197639 markings/sec, 795 secs
lola: STP completed || 1298 tries, 1297527887 fired transitions, 800 secs || 172368851 markings, 280419260 edges, 195992 markings/sec, 800 secs
lola: STP completed || 1305 tries, 1304806140 fired transitions, 805 secs || 173350035 markings, 282080908 edges, 196237 markings/sec, 805 secs
lola: STP completed || 1313 tries, 1312366840 fired transitions, 810 secs || 174328210 markings, 283741886 edges, 195635 markings/sec, 810 secs
lola: STP completed || 1321 tries, 1320522389 fired transitions, 815 secs || 175308645 markings, 285405281 edges, 196087 markings/sec, 815 secs
lola: STP completed || 1330 tries, 1329255047 fired transitions, 820 secs || 176384964 markings, 287223060 edges, 215264 markings/sec, 820 secs
lola: STP completed || 1338 tries, 1337685966 fired transitions, 825 secs || 177219279 markings, 288636474 edges, 166863 markings/sec, 825 secs
lola: STP completed || 1347 tries, 1346145350 fired transitions, 830 secs || 178047252 markings, 290040519 edges, 165595 markings/sec, 830 secs
lola: STP completed || 1355 tries, 1354599078 fired transitions, 835 secs || 178874050 markings, 291442365 edges, 165360 markings/sec, 835 secs
lola: STP completed || 1364 tries, 1363038751 fired transitions, 840 secs || 179712278 markings, 292851647 edges, 167646 markings/sec, 840 secs
lola: STP completed || 1372 tries, 1371513043 fired transitions, 845 secs || 180539058 markings, 294252613 edges, 165356 markings/sec, 845 secs
lola: STP completed || 1381 tries, 1380127610 fired transitions, 850 secs || 181529083 markings, 295932942 edges, 198005 markings/sec, 850 secs
lola: STP completed || 1389 tries, 1388268514 fired transitions, 855 secs || 182507781 markings, 297600167 edges, 195740 markings/sec, 855 secs
lola: STP completed || 1397 tries, 1396419918 fired transitions, 860 secs || 183482005 markings, 299248596 edges, 194845 markings/sec, 860 secs
lola: STP completed || 1405 tries, 1404570774 fired transitions, 865 secs || 184457600 markings, 300900683 edges, 195119 markings/sec, 865 secs
lola: STP completed || 1413 tries, 1412724380 fired transitions, 870 secs || 185434021 markings, 302553379 edges, 195284 markings/sec, 870 secs
lola: STP completed || 1421 tries, 1420882009 fired transitions, 875 secs || 186404770 markings, 304207573 edges, 194150 markings/sec, 875 secs
lola: STP completed || 1430 tries, 1429025944 fired transitions, 880 secs || 187378252 markings, 305869421 edges, 194696 markings/sec, 880 secs
lola: STP completed || 1438 tries, 1437170143 fired transitions, 885 secs || 188350976 markings, 307524317 edges, 194545 markings/sec, 885 secs
lola: STP completed || 1446 tries, 1445706291 fired transitions, 890 secs || 189385838 markings, 309273717 edges, 206972 markings/sec, 890 secs
lola: STP completed || 1455 tries, 1454794571 fired transitions, 895 secs || 190500668 markings, 311153486 edges, 222966 markings/sec, 895 secs
lola: STP completed || 1464 tries, 1463257917 fired transitions, 900 secs || 191331256 markings, 312559877 edges, 166118 markings/sec, 900 secs
lola: STP completed || 1472 tries, 1471713289 fired transitions, 905 secs || 192160697 markings, 313958291 edges, 165888 markings/sec, 905 secs
lola: STP completed || 1481 tries, 1480168035 fired transitions, 910 secs || 192986110 markings, 315350301 edges, 165083 markings/sec, 910 secs
lola: STP completed || 1489 tries, 1488638424 fired transitions, 915 secs || 193818791 markings, 316757144 edges, 166536 markings/sec, 915 secs
lola: STP completed || 1498 tries, 1497473508 fired transitions, 920 secs || 194809331 markings, 318427214 edges, 198108 markings/sec, 920 secs
lola: STP completed || 1507 tries, 1506580273 fired transitions, 925 secs || 195880072 markings, 320238357 edges, 214148 markings/sec, 925 secs
lola: STP completed || 1516 tries, 1515429791 fired transitions, 930 secs || 196867217 markings, 321908435 edges, 197429 markings/sec, 930 secs
lola: STP completed || 1525 tries, 1524476566 fired transitions, 935 secs || 197923362 markings, 323694813 edges, 211229 markings/sec, 935 secs
lola: STP completed || 1534 tries, 1533580951 fired transitions, 940 secs || 199012215 markings, 325548082 edges, 217771 markings/sec, 940 secs
lola: STP completed || 1543 tries, 1542049855 fired transitions, 945 secs || 199835041 markings, 326940322 edges, 164565 markings/sec, 945 secs
lola: STP completed || 1551 tries, 1550522113 fired transitions, 950 secs || 200658315 markings, 328339301 edges, 164655 markings/sec, 950 secs
lola: STP completed || 1560 tries, 1559002328 fired transitions, 955 secs || 201482067 markings, 329744055 edges, 164750 markings/sec, 955 secs
lola: STP completed || 1568 tries, 1567487094 fired transitions, 960 secs || 202306395 markings, 331141854 edges, 164866 markings/sec, 960 secs
lola: STP completed || 1576 tries, 1575969933 fired transitions, 965 secs || 203132093 markings, 332544157 edges, 165140 markings/sec, 965 secs
lola: STP completed || 1585 tries, 1584451316 fired transitions, 970 secs || 203964455 markings, 333963623 edges, 166472 markings/sec, 970 secs
lola: STP completed || 1593 tries, 1592922810 fired transitions, 975 secs || 204783767 markings, 335358124 edges, 163862 markings/sec, 975 secs
lola: STP completed || 1602 tries, 1601384064 fired transitions, 980 secs || 205607470 markings, 336758386 edges, 164741 markings/sec, 980 secs
lola: STP completed || 1610 tries, 1609737454 fired transitions, 985 secs || 206579195 markings, 338407581 edges, 194345 markings/sec, 985 secs
lola: STP completed || 1618 tries, 1617920658 fired transitions, 990 secs || 207536143 markings, 340030005 edges, 191390 markings/sec, 990 secs
lola: STP completed || 1627 tries, 1626126089 fired transitions, 995 secs || 208481886 markings, 341639965 edges, 189149 markings/sec, 995 secs
lola: STP completed || 1635 tries, 1634314251 fired transitions, 1000 secs || 209431521 markings, 343257488 edges, 189927 markings/sec, 1000 secs
lola: STP completed || 1643 tries, 1642501900 fired transitions, 1005 secs || 210383073 markings, 344874747 edges, 190310 markings/sec, 1005 secs
lola: STP completed || 1651 tries, 1650688980 fired transitions, 1010 secs || 211331132 markings, 346486786 edges, 189612 markings/sec, 1010 secs
lola: STP completed || 1659 tries, 1658884524 fired transitions, 1015 secs || 212280153 markings, 348096114 edges, 189804 markings/sec, 1015 secs
lola: STP completed || 1668 tries, 1667062566 fired transitions, 1020 secs || 213229446 markings, 349715400 edges, 189859 markings/sec, 1020 secs
lola: STP completed || 1676 tries, 1675275746 fired transitions, 1025 secs || 214173770 markings, 351321521 edges, 188865 markings/sec, 1025 secs
lola: STP completed || 1684 tries, 1683465423 fired transitions, 1030 secs || 215120342 markings, 352928220 edges, 189314 markings/sec, 1030 secs
lola: STP completed || 1692 tries, 1691672661 fired transitions, 1035 secs || 216064853 markings, 354534735 edges, 188902 markings/sec, 1035 secs
lola: STP completed || 1700 tries, 1699894798 fired transitions, 1040 secs || 217005461 markings, 356138650 edges, 188122 markings/sec, 1040 secs
lola: STP completed || 1709 tries, 1708086299 fired transitions, 1045 secs || 217938208 markings, 357721072 edges, 186549 markings/sec, 1045 secs
lola: STP completed || 1717 tries, 1716283927 fired transitions, 1050 secs || 218864249 markings, 359296456 edges, 185208 markings/sec, 1050 secs
lola: STP completed || 1725 tries, 1724321604 fired transitions, 1055 secs || 219750458 markings, 360808097 edges, 177242 markings/sec, 1055 secs
lola: STP completed || 1726 tries, 1725287414 fired transitions, 1060 secs || 219773749 markings, 360846519 edges, 4658 markings/sec, 1060 secs
lola: STP completed || 1728 tries, 1727125615 fired transitions, 1065 secs || 219788847 markings, 360872032 edges, 3020 markings/sec, 1065 secs
lola: STP completed || 1730 tries, 1729356915 fired transitions, 1070 secs || 219803030 markings, 360896070 edges, 2837 markings/sec, 1070 secs
lola: STP completed || 1732 tries, 1731298560 fired transitions, 1075 secs || 219839876 markings, 360958452 edges, 7369 markings/sec, 1075 secs
lola: STP completed || 1732 tries, 1731764473 fired transitions, 1080 secs || 219860944 markings, 360994366 edges, 4214 markings/sec, 1080 secs
lola: STP completed || 1733 tries, 1732935388 fired transitions, 1085 secs || 219879551 markings, 361025414 edges, 3721 markings/sec, 1085 secs
lola: STP completed || 1737 tries, 1736145939 fired transitions, 1090 secs || 219894603 markings, 361049664 edges, 3010 markings/sec, 1090 secs
lola: STP completed || 1738 tries, 1737642775 fired transitions, 1095 secs || 219921751 markings, 361097145 edges, 5430 markings/sec, 1095 secs
lola: STP completed || 1740 tries, 1739883598 fired transitions, 1100 secs || 219941866 markings, 361132101 edges, 4023 markings/sec, 1100 secs
lola: STP completed || 1742 tries, 1741908544 fired transitions, 1105 secs || 219947021 markings, 361141272 edges, 1031 markings/sec, 1105 secs

BK_STOP 1527264882885

--------------------
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-35"
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-35.tgz
mv TCPcondis-PT-35 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-35, 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-152708743100223"
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 ;