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)
..................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is S_Dekker-PT-100, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455600209
=====================================================================

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

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Dekker-PT-100-UpperBounds-0
FORMULA_NAME Dekker-PT-100-UpperBounds-1
FORMULA_NAME Dekker-PT-100-UpperBounds-10
FORMULA_NAME Dekker-PT-100-UpperBounds-11
FORMULA_NAME Dekker-PT-100-UpperBounds-12
FORMULA_NAME Dekker-PT-100-UpperBounds-13
FORMULA_NAME Dekker-PT-100-UpperBounds-14
FORMULA_NAME Dekker-PT-100-UpperBounds-15
FORMULA_NAME Dekker-PT-100-UpperBounds-2
FORMULA_NAME Dekker-PT-100-UpperBounds-3
FORMULA_NAME Dekker-PT-100-UpperBounds-4
FORMULA_NAME Dekker-PT-100-UpperBounds-5
FORMULA_NAME Dekker-PT-100-UpperBounds-6
FORMULA_NAME Dekker-PT-100-UpperBounds-7
FORMULA_NAME Dekker-PT-100-UpperBounds-8
FORMULA_NAME Dekker-PT-100-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496448782867


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_Dekker-PT-100: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_Dekker-PT-100: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_Dekker-PT-100 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 10700/65536 symbol table entries, 4008 collisions
lola: preprocessing...
lola: finding significant places
lola: 500 places, 10200 transitions, 200 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 20300 transition conflict sets
lola: TASK
lola: reading formula from Dekker-PT-100-UpperBounds.task
lola: MAX(p3_7) : MAX(p3_28) : MAX(p1_23) : MAX(flag_1_42) : MAX(p0_90) : MAX(p0_91) : MAX(flag_1_61) : MAX(p0_59) : MAX(flag_0_41) : MAX(p3_10) : MAX(flag_1_27) : MAX(p1_66) : MAX(flag_0_28) : MAX(p3_70) : MAX(p1_44) : MAX(flag_1_16)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 800 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1841 markings, 11798 edges, 368 markings/sec, 0 secs
lola: 3693 markings, 25802 edges, 370 markings/sec, 5 secs
lola: 5566 markings, 44301 edges, 375 markings/sec, 10 secs
lola: 7425 markings, 68616 edges, 372 markings/sec, 15 secs
lola: 9276 markings, 93610 edges, 370 markings/sec, 20 secs
lola: 11144 markings, 123045 edges, 374 markings/sec, 25 secs
lola: 12972 markings, 151001 edges, 366 markings/sec, 30 secs
lola: 14833 markings, 178926 edges, 372 markings/sec, 35 secs
lola: 16711 markings, 205481 edges, 376 markings/sec, 40 secs
lola: 18575 markings, 234073 edges, 373 markings/sec, 45 secs
lola: 20454 markings, 260042 edges, 376 markings/sec, 50 secs
lola: 22332 markings, 288726 edges, 376 markings/sec, 55 secs
lola: 24191 markings, 323072 edges, 372 markings/sec, 60 secs
lola: 26064 markings, 352290 edges, 375 markings/sec, 65 secs
lola: 27963 markings, 369606 edges, 380 markings/sec, 70 secs
lola: 29829 markings, 400103 edges, 373 markings/sec, 75 secs
lola: 31704 markings, 419199 edges, 375 markings/sec, 80 secs
lola: 33562 markings, 443504 edges, 372 markings/sec, 85 secs
lola: 35437 markings, 461690 edges, 375 markings/sec, 90 secs
lola: 37304 markings, 482919 edges, 373 markings/sec, 95 secs
lola: 39177 markings, 500509 edges, 375 markings/sec, 100 secs
lola: 41034 markings, 524427 edges, 371 markings/sec, 105 secs
lola: 42908 markings, 546953 edges, 375 markings/sec, 110 secs
lola: 44782 markings, 575559 edges, 375 markings/sec, 115 secs
lola: 46651 markings, 606137 edges, 374 markings/sec, 120 secs
lola: 48519 markings, 636944 edges, 374 markings/sec, 125 secs
lola: 50393 markings, 659698 edges, 375 markings/sec, 130 secs
lola: 52262 markings, 678180 edges, 374 markings/sec, 135 secs
lola: 54119 markings, 703632 edges, 371 markings/sec, 140 secs
lola: 55975 markings, 733983 edges, 371 markings/sec, 145 secs
lola: 57822 markings, 763681 edges, 369 markings/sec, 150 secs
lola: 59675 markings, 785188 edges, 371 markings/sec, 155 secs
lola: 61532 markings, 809934 edges, 371 markings/sec, 160 secs
lola: 63380 markings, 838270 edges, 370 markings/sec, 165 secs
lola: 65235 markings, 869542 edges, 371 markings/sec, 170 secs
lola: 67099 markings, 901278 edges, 373 markings/sec, 175 secs
lola: 68952 markings, 933017 edges, 371 markings/sec, 180 secs
lola: 70844 markings, 960180 edges, 378 markings/sec, 185 secs
lola: 72719 markings, 990422 edges, 375 markings/sec, 190 secs
lola: 74585 markings, 1021424 edges, 373 markings/sec, 195 secs
lola: 76448 markings, 1051339 edges, 373 markings/sec, 200 secs
lola: 78300 markings, 1083392 edges, 370 markings/sec, 205 secs
lola: 80163 markings, 1114366 edges, 373 markings/sec, 210 secs
lola: 82034 markings, 1148035 edges, 374 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3_28)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 800 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1875 markings, 11910 edges, 375 markings/sec, 0 secs
lola: 3763 markings, 24610 edges, 378 markings/sec, 5 secs
lola: 5648 markings, 45869 edges, 377 markings/sec, 10 secs
lola: 7523 markings, 70131 edges, 375 markings/sec, 15 secs
lola: 9400 markings, 97406 edges, 375 markings/sec, 20 secs
lola: 11273 markings, 122047 edges, 375 markings/sec, 25 secs
lola: 13141 markings, 151434 edges, 374 markings/sec, 30 secs
lola: 14999 markings, 181342 edges, 372 markings/sec, 35 secs
lola: 16855 markings, 210425 edges, 371 markings/sec, 40 secs
lola: 18713 markings, 239053 edges, 372 markings/sec, 45 secs
lola: 20561 markings, 269806 edges, 370 markings/sec, 50 secs
lola: 22448 markings, 285267 edges, 377 markings/sec, 55 secs
lola: 24330 markings, 301142 edges, 376 markings/sec, 60 secs
lola: 26205 markings, 320000 edges, 375 markings/sec, 65 secs
lola: 28083 markings, 338028 edges, 376 markings/sec, 70 secs
lola: 29939 markings, 367553 edges, 371 markings/sec, 75 secs
lola: 31787 markings, 400209 edges, 370 markings/sec, 80 secs
lola: 33629 markings, 433811 edges, 368 markings/sec, 85 secs
lola: 35488 markings, 457881 edges, 372 markings/sec, 90 secs
lola: 37373 markings, 482402 edges, 377 markings/sec, 95 secs
lola: 39242 markings, 512931 edges, 374 markings/sec, 100 secs
lola: 41110 markings, 544046 edges, 374 markings/sec, 105 secs
lola: 42981 markings, 567186 edges, 374 markings/sec, 110 secs
lola: 44839 markings, 597355 edges, 372 markings/sec, 115 secs
lola: 46714 markings, 618291 edges, 375 markings/sec, 120 secs
lola: 48586 markings, 640015 edges, 374 markings/sec, 125 secs
lola: 50452 markings, 663359 edges, 373 markings/sec, 130 secs
lola: 52318 markings, 685522 edges, 373 markings/sec, 135 secs
lola: 54193 markings, 710072 edges, 375 markings/sec, 140 secs
lola: 56058 markings, 740642 edges, 373 markings/sec, 145 secs
lola: 57923 markings, 761260 edges, 373 markings/sec, 150 secs
lola: 59791 markings, 785445 edges, 374 markings/sec, 155 secs
lola: 61649 markings, 815878 edges, 372 markings/sec, 160 secs
lola: 63540 markings, 841481 edges, 378 markings/sec, 165 secs
lola: 65420 markings, 872295 edges, 376 markings/sec, 170 secs
lola: 67295 markings, 903699 edges, 375 markings/sec, 175 secs
lola: 69175 markings, 933662 edges, 376 markings/sec, 180 secs
lola: 71042 markings, 962691 edges, 373 markings/sec, 185 secs
lola: 72908 markings, 997021 edges, 373 markings/sec, 190 secs
lola: 74766 markings, 1027902 edges, 372 markings/sec, 195 secs
lola: 76623 markings, 1057522 edges, 371 markings/sec, 200 secs
lola: 78497 markings, 1088580 edges, 375 markings/sec, 205 secs
lola: 80361 markings, 1123861 edges, 373 markings/sec, 210 secs
lola: 82229 markings, 1156613 edges, 374 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1_23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 800 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1928 markings, 8448 edges, 386 markings/sec, 0 secs
lola: 3849 markings, 18665 edges, 384 markings/sec, 5 secs
lola: 5769 markings, 29041 edges, 384 markings/sec, 10 secs
lola: 7678 markings, 40146 edges, 382 markings/sec, 15 secs
lola: 9589 markings, 52180 edges, 382 markings/sec, 20 secs
lola: 11507 markings, 64062 edges, 384 markings/sec, 25 secs
lola: 13415 markings, 76446 edges, 382 markings/sec, 30 secs
lola: 15318 markings, 89702 edges, 381 markings/sec, 35 secs
lola: 17231 markings, 102046 edges, 383 markings/sec, 40 secs
lola: 19149 markings, 114604 edges, 384 markings/sec, 45 secs
lola: 21060 markings, 128652 edges, 382 markings/sec, 50 secs
lola: 22967 markings, 142611 edges, 381 markings/sec, 55 secs
lola: 24882 markings, 157006 edges, 383 markings/sec, 60 secs
lola: 26789 markings, 172942 edges, 381 markings/sec, 65 secs
lola: 28706 markings, 186290 edges, 383 markings/sec, 70 secs
lola: 30619 markings, 199856 edges, 383 markings/sec, 75 secs
lola: 32525 markings, 214705 edges, 381 markings/sec, 80 secs
lola: 34430 markings, 229547 edges, 381 markings/sec, 85 secs
lola: 36337 markings, 244396 edges, 381 markings/sec, 90 secs
lola: 38250 markings, 258006 edges, 383 markings/sec, 95 secs
lola: 40166 markings, 270849 edges, 383 markings/sec, 100 secs
lola: 42070 markings, 285697 edges, 381 markings/sec, 105 secs
lola: 43976 markings, 300305 edges, 381 markings/sec, 110 secs
lola: 45875 markings, 316181 edges, 380 markings/sec, 115 secs
lola: 47750 markings, 333792 edges, 375 markings/sec, 120 secs
lola: 49628 markings, 350436 edges, 376 markings/sec, 125 secs
lola: 51508 markings, 366524 edges, 376 markings/sec, 130 secs
lola: 53396 markings, 381156 edges, 378 markings/sec, 135 secs
lola: 55275 markings, 397359 edges, 376 markings/sec, 140 secs
lola: 57156 markings, 413286 edges, 376 markings/sec, 145 secs
lola: 59024 markings, 432159 edges, 374 markings/sec, 150 secs
lola: 60923 markings, 446363 edges, 380 markings/sec, 155 secs
lola: 62812 markings, 461820 edges, 378 markings/sec, 160 secs
lola: 64692 markings, 479195 edges, 376 markings/sec, 165 secs
lola: 66569 markings, 497155 edges, 375 markings/sec, 170 secs
lola: 68436 markings, 516620 edges, 373 markings/sec, 175 secs
lola: 70335 markings, 530325 edges, 380 markings/sec, 180 secs
lola: 72238 markings, 542839 edges, 381 markings/sec, 185 secs
lola: 74116 markings, 557128 edges, 376 markings/sec, 190 secs
lola: 76011 markings, 571657 edges, 379 markings/sec, 195 secs
lola: 77904 markings, 585908 edges, 379 markings/sec, 200 secs
lola: 79790 markings, 601193 edges, 377 markings/sec, 205 secs
lola: 81672 markings, 617534 edges, 376 markings/sec, 210 secs
lola: 83562 markings, 634312 edges, 378 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(flag_1_42)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 800 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1918 markings, 9566 edges, 384 markings/sec, 0 secs
lola: 3821 markings, 22678 edges, 381 markings/sec, 5 secs
lola: 5721 markings, 36936 edges, 380 markings/sec, 10 secs
lola: 7622 markings, 50561 edges, 380 markings/sec, 15 secs
lola: 9524 markings, 64616 edges, 380 markings/sec, 20 secs
lola: 11413 markings, 79629 edges, 378 markings/sec, 25 secs
lola: 13290 markings, 95633 edges, 375 markings/sec, 30 secs
lola: 15170 markings, 109935 edges, 376 markings/sec, 35 secs
lola: 17050 markings, 125017 edges, 376 markings/sec, 40 secs
lola: 18934 markings, 139599 edges, 377 markings/sec, 45 secs
lola: 20824 markings, 155680 edges, 378 markings/sec, 50 secs
lola: 22718 markings, 171278 edges, 379 markings/sec, 55 secs
lola: 24605 markings, 187813 edges, 377 markings/sec, 60 secs
lola: 26490 markings, 204954 edges, 377 markings/sec, 65 secs
lola: 28370 markings, 218321 edges, 376 markings/sec, 70 secs
lola: 30192 markings, 233978 edges, 364 markings/sec, 75 secs
lola: 32014 markings, 249794 edges, 364 markings/sec, 80 secs
lola: 33835 markings, 266435 edges, 364 markings/sec, 85 secs
lola: 35660 markings, 282242 edges, 365 markings/sec, 90 secs
lola: 37482 markings, 298444 edges, 364 markings/sec, 95 secs
lola: 39299 markings, 315058 edges, 363 markings/sec, 100 secs
lola: 41112 markings, 332494 edges, 363 markings/sec, 105 secs
lola: 42923 markings, 349233 edges, 362 markings/sec, 110 secs
lola: 44739 markings, 366476 edges, 363 markings/sec, 115 secs
lola: 46566 markings, 381843 edges, 365 markings/sec, 120 secs
lola: 48390 markings, 397345 edges, 365 markings/sec, 125 secs
lola: 50209 markings, 413215 edges, 364 markings/sec, 130 secs
lola: 52031 markings, 429444 edges, 364 markings/sec, 135 secs
lola: 53843 markings, 446666 edges, 362 markings/sec, 140 secs
lola: 55680 markings, 461333 edges, 367 markings/sec, 145 secs
lola: 57551 markings, 475383 edges, 374 markings/sec, 150 secs
lola: 59414 markings, 490622 edges, 373 markings/sec, 155 secs
lola: 61282 markings, 507632 edges, 374 markings/sec, 160 secs
lola: 63157 markings, 524924 edges, 375 markings/sec, 165 secs
lola: 65039 markings, 541316 edges, 376 markings/sec, 170 secs
lola: 66906 markings, 556785 edges, 373 markings/sec, 175 secs
lola: 68755 markings, 574397 edges, 370 markings/sec, 180 secs
lola: 70609 markings, 591708 edges, 371 markings/sec, 185 secs
lola: 72464 markings, 607381 edges, 371 markings/sec, 190 secs
lola: 74286 markings, 624548 edges, 364 markings/sec, 195 secs
lola: 76120 markings, 640586 edges, 367 markings/sec, 200 secs
lola: 77959 markings, 656107 edges, 368 markings/sec, 205 secs
lola: 79803 markings, 671003 edges, 369 markings/sec, 210 secs
lola: 81656 markings, 683759 edges, 371 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0_90)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 800 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1912 markings, 8464 edges, 382 markings/sec, 0 secs
lola: 3813 markings, 18152 edges, 380 markings/sec, 5 secs
lola: 5716 markings, 28498 edges, 381 markings/sec, 10 secs
lola: 7614 markings, 40886 edges, 380 markings/sec, 15 secs
lola: 9511 markings, 53342 edges, 379 markings/sec, 20 secs
lola: 11409 markings, 66197 edges, 380 markings/sec, 25 secs
lola: 13300 markings, 79910 edges, 378 markings/sec, 30 secs
lola: 15211 markings, 93517 edges, 382 markings/sec, 35 secs
lola: 17103 markings, 107939 edges, 378 markings/sec, 40 secs
lola: 19001 markings, 122688 edges, 380 markings/sec, 45 secs
lola: 20894 markings, 136886 edges, 379 markings/sec, 50 secs
lola: 22789 markings, 151224 edges, 379 markings/sec, 55 secs
lola: 24689 markings, 165571 edges, 380 markings/sec, 60 secs
lola: 26588 markings, 177999 edges, 380 markings/sec, 65 secs
lola: 28487 markings, 188350 edges, 380 markings/sec, 70 secs
lola: 30381 markings, 200920 edges, 379 markings/sec, 75 secs
lola: 32265 markings, 216447 edges, 377 markings/sec, 80 secs
lola: 34160 markings, 230961 edges, 379 markings/sec, 85 secs
lola: 36043 markings, 246881 edges, 377 markings/sec, 90 secs
lola: 37936 markings, 260791 edges, 379 markings/sec, 95 secs
lola: 39820 markings, 277106 edges, 377 markings/sec, 100 secs
lola: 41712 markings, 290925 edges, 378 markings/sec, 105 secs
lola: 43602 markings, 305765 edges, 378 markings/sec, 110 secs
lola: 45499 markings, 318830 edges, 379 markings/sec, 115 secs
lola: 47409 markings, 332438 edges, 382 markings/sec, 120 secs
lola: 49311 markings, 347838 edges, 380 markings/sec, 125 secs
lola: 51220 markings, 363268 edges, 382 markings/sec, 130 secs
lola: 53120 markings, 378886 edges, 380 markings/sec, 135 secs
lola: 55014 markings, 395035 edges, 379 markings/sec, 140 secs
lola: 56915 markings, 409231 edges, 380 markings/sec, 145 secs
lola: 58811 markings, 424832 edges, 379 markings/sec, 150 secs
lola: 60705 markings, 440787 edges, 379 markings/sec, 155 secs
lola: 62607 markings, 454905 edges, 380 markings/sec, 160 secs
lola: 64509 markings, 469798 edges, 380 markings/sec, 165 secs
lola: 66410 markings, 485934 edges, 380 markings/sec, 170 secs
lola: 68302 markings, 503405 edges, 378 markings/sec, 175 secs
lola: 70199 markings, 518337 edges, 379 markings/sec, 180 secs
lola: 72096 markings, 533972 edges, 379 markings/sec, 185 secs
lola: 73991 markings, 550605 edges, 379 markings/sec, 190 secs
lola: 75902 markings, 566105 edges, 382 markings/sec, 195 secs
lola: 77802 markings, 583855 edges, 380 markings/sec, 200 secs
lola: 79691 markings, 600640 edges, 378 markings/sec, 205 secs
lola: 81582 markings, 616143 edges, 378 markings/sec, 210 secs
lola: 83469 markings, 632942 edges, 377 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0_91)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 800 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1914 markings, 10950 edges, 383 markings/sec, 0 secs
lola: 3802 markings, 23602 edges, 378 markings/sec, 5 secs
lola: 5703 markings, 37105 edges, 380 markings/sec, 10 secs
lola: 7613 markings, 49070 edges, 382 markings/sec, 15 secs
lola: 9515 markings, 63139 edges, 380 markings/sec, 20 secs
lola: 11417 markings, 77888 edges, 380 markings/sec, 25 secs
lola: 13319 markings, 92578 edges, 380 markings/sec, 30 secs
lola: 15228 markings, 105392 edges, 382 markings/sec, 35 secs
lola: 17133 markings, 119271 edges, 381 markings/sec, 40 secs
lola: 19033 markings, 134315 edges, 380 markings/sec, 45 secs
lola: 20932 markings, 150374 edges, 380 markings/sec, 50 secs
lola: 22834 markings, 166216 edges, 380 markings/sec, 55 secs
lola: 24730 markings, 182196 edges, 379 markings/sec, 60 secs
lola: 26623 markings, 198699 edges, 379 markings/sec, 65 secs
lola: 28520 markings, 214750 edges, 379 markings/sec, 70 secs
lola: 30409 markings, 232717 edges, 378 markings/sec, 75 secs
lola: 32304 markings, 249805 edges, 379 markings/sec, 80 secs
lola: 34208 markings, 263662 edges, 381 markings/sec, 85 secs
lola: 36105 markings, 278382 edges, 379 markings/sec, 90 secs
lola: 37993 markings, 295524 edges, 378 markings/sec, 95 secs
lola: 39883 markings, 312945 edges, 378 markings/sec, 100 secs
lola: 41782 markings, 327887 edges, 380 markings/sec, 105 secs
lola: 43675 markings, 343699 edges, 379 markings/sec, 110 secs
lola: 45568 markings, 359847 edges, 379 markings/sec, 115 secs
lola: 47463 markings, 375927 edges, 379 markings/sec, 120 secs
lola: 49359 markings, 390353 edges, 379 markings/sec, 125 secs
lola: 51249 markings, 407267 edges, 378 markings/sec, 130 secs
lola: 53136 markings, 424419 edges, 377 markings/sec, 135 secs
lola: 55019 markings, 442474 edges, 377 markings/sec, 140 secs
lola: 56909 markings, 458465 edges, 378 markings/sec, 145 secs
lola: 58793 markings, 476009 edges, 377 markings/sec, 150 secs
lola: 60689 markings, 490980 edges, 379 markings/sec, 155 secs
lola: 62584 markings, 506627 edges, 379 markings/sec, 160 secs
lola: 64473 markings, 523312 edges, 378 markings/sec, 165 secs
lola: 66364 markings, 540211 edges, 378 markings/sec, 170 secs
lola: 68252 markings, 557778 edges, 378 markings/sec, 175 secs
lola: 70144 markings, 574757 edges, 378 markings/sec, 180 secs
lola: 72035 markings, 592763 edges, 378 markings/sec, 185 secs
lola: 73930 markings, 609972 edges, 379 markings/sec, 190 secs
lola: 75827 markings, 626122 edges, 379 markings/sec, 195 secs
lola: 77702 markings, 643699 edges, 375 markings/sec, 200 secs
lola: 79578 markings, 660842 edges, 375 markings/sec, 205 secs
lola: 81444 markings, 679196 edges, 373 markings/sec, 210 secs
lola: 83313 markings, 696761 edges, 374 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(flag_1_61)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 800 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1895 markings, 8952 edges, 379 markings/sec, 0 secs
lola: 3782 markings, 20215 edges, 377 markings/sec, 5 secs
lola: 5672 markings, 31320 edges, 378 markings/sec, 10 secs
lola: 7569 markings, 44273 edges, 379 markings/sec, 15 secs
lola: 9467 markings, 57994 edges, 380 markings/sec, 20 secs
lola: 11363 markings, 73379 edges, 379 markings/sec, 25 secs
lola: 13261 markings, 89005 edges, 380 markings/sec, 30 secs
lola: 15150 markings, 104471 edges, 378 markings/sec, 35 secs
lola: 17040 markings, 120771 edges, 378 markings/sec, 40 secs
lola: 18932 markings, 137912 edges, 378 markings/sec, 45 secs
lola: 20827 markings, 154270 edges, 379 markings/sec, 50 secs
lola: 22716 markings, 172393 edges, 378 markings/sec, 55 secs
lola: 24601 markings, 191848 edges, 377 markings/sec, 60 secs
lola: 26487 markings, 209449 edges, 377 markings/sec, 65 secs
lola: 28373 markings, 226526 edges, 377 markings/sec, 70 secs
lola: 30253 markings, 244936 edges, 376 markings/sec, 75 secs
lola: 32142 markings, 255753 edges, 378 markings/sec, 80 secs
lola: 34023 markings, 270332 edges, 376 markings/sec, 85 secs
lola: 35897 markings, 287786 edges, 375 markings/sec, 90 secs
lola: 37764 markings, 306758 edges, 373 markings/sec, 95 secs
lola: 39635 markings, 324986 edges, 374 markings/sec, 100 secs
lola: 41527 markings, 336933 edges, 378 markings/sec, 105 secs
lola: 43402 markings, 351212 edges, 375 markings/sec, 110 secs
lola: 45277 markings, 368111 edges, 375 markings/sec, 115 secs
lola: 47147 markings, 386193 edges, 374 markings/sec, 120 secs
lola: 49017 markings, 403898 edges, 374 markings/sec, 125 secs
lola: 50889 markings, 418503 edges, 374 markings/sec, 130 secs
lola: 52766 markings, 435980 edges, 375 markings/sec, 135 secs
lola: 54632 markings, 454264 edges, 373 markings/sec, 140 secs
lola: 56493 markings, 471719 edges, 372 markings/sec, 145 secs
lola: 58358 markings, 487926 edges, 373 markings/sec, 150 secs
lola: 60224 markings, 506852 edges, 373 markings/sec, 155 secs
lola: 62092 markings, 524848 edges, 374 markings/sec, 160 secs
lola: 63982 markings, 536755 edges, 378 markings/sec, 165 secs
lola: 65861 markings, 551194 edges, 376 markings/sec, 170 secs
lola: 67734 markings, 569222 edges, 375 markings/sec, 175 secs
lola: 69599 markings, 589386 edges, 373 markings/sec, 180 secs
lola: 71480 markings, 604522 edges, 376 markings/sec, 185 secs
lola: 73356 markings, 620145 edges, 375 markings/sec, 190 secs
lola: 75212 markings, 639433 edges, 371 markings/sec, 195 secs
lola: 77095 markings, 654278 edges, 377 markings/sec, 200 secs
lola: 78957 markings, 675525 edges, 372 markings/sec, 205 secs
lola: 80840 markings, 691486 edges, 377 markings/sec, 210 secs
lola: 82727 markings, 703936 edges, 377 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0_59)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 800 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1897 markings, 9448 edges, 379 markings/sec, 0 secs
lola: 3797 markings, 19524 edges, 380 markings/sec, 5 secs
lola: 5685 markings, 31670 edges, 378 markings/sec, 10 secs
lola: 7565 markings, 44799 edges, 376 markings/sec, 15 secs
lola: 9449 markings, 57920 edges, 377 markings/sec, 20 secs
lola: 11337 markings, 72628 edges, 378 markings/sec, 25 secs
lola: 13227 markings, 88628 edges, 378 markings/sec, 30 secs
lola: 15123 markings, 103559 edges, 379 markings/sec, 35 secs
lola: 17008 markings, 120399 edges, 377 markings/sec, 40 secs
lola: 18889 markings, 138758 edges, 376 markings/sec, 45 secs
lola: 20794 markings, 153573 edges, 381 markings/sec, 50 secs
lola: 22683 markings, 172300 edges, 378 markings/sec, 55 secs
lola: 24567 markings, 189502 edges, 377 markings/sec, 60 secs
lola: 26433 markings, 205173 edges, 373 markings/sec, 65 secs
lola: 28309 markings, 222687 edges, 375 markings/sec, 70 secs
lola: 30190 markings, 239774 edges, 376 markings/sec, 75 secs
lola: 32078 markings, 255869 edges, 378 markings/sec, 80 secs
lola: 33963 markings, 271695 edges, 377 markings/sec, 85 secs
lola: 35839 markings, 288866 edges, 375 markings/sec, 90 secs
lola: 37712 markings, 306980 edges, 375 markings/sec, 95 secs
lola: 39601 markings, 320988 edges, 378 markings/sec, 100 secs
lola: 41500 markings, 332062 edges, 380 markings/sec, 105 secs
lola: 43391 markings, 345235 edges, 378 markings/sec, 110 secs
lola: 45272 markings, 363069 edges, 376 markings/sec, 115 secs
lola: 47166 markings, 375103 edges, 379 markings/sec, 120 secs
lola: 49058 markings, 389056 edges, 378 markings/sec, 125 secs
lola: 50935 markings, 407118 edges, 375 markings/sec, 130 secs
lola: 52831 markings, 420084 edges, 379 markings/sec, 135 secs
lola: 54710 markings, 438978 edges, 376 markings/sec, 140 secs
lola: 56594 markings, 455558 edges, 377 markings/sec, 145 secs
lola: 58471 markings, 473747 edges, 375 markings/sec, 150 secs
lola: 60336 markings, 491010 edges, 373 markings/sec, 155 secs
lola: 62208 markings, 511651 edges, 374 markings/sec, 160 secs
lola: 64092 markings, 527064 edges, 377 markings/sec, 165 secs
lola: 65977 markings, 542398 edges, 377 markings/sec, 170 secs
lola: 67864 markings, 557084 edges, 377 markings/sec, 175 secs
lola: 69739 markings, 575937 edges, 375 markings/sec, 180 secs
lola: 71611 markings, 595440 edges, 374 markings/sec, 185 secs
lola: 73479 markings, 616887 edges, 374 markings/sec, 190 secs
lola: 75355 markings, 634724 edges, 375 markings/sec, 195 secs
lola: 77223 markings, 655907 edges, 374 markings/sec, 200 secs
lola: 79118 markings, 669180 edges, 379 markings/sec, 205 secs
lola: 81023 markings, 684749 edges, 381 markings/sec, 210 secs
lola: 82916 markings, 703838 edges, 379 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(flag_0_41)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 800 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1929 markings, 9099 edges, 386 markings/sec, 0 secs
lola: 3843 markings, 20559 edges, 383 markings/sec, 5 secs
lola: 5754 markings, 31803 edges, 382 markings/sec, 10 secs
lola: 7633 markings, 44744 edges, 376 markings/sec, 15 secs
lola: 9536 markings, 58552 edges, 381 markings/sec, 20 secs
lola: 11443 markings, 73875 edges, 381 markings/sec, 25 secs
lola: 13351 markings, 89949 edges, 382 markings/sec, 30 secs
lola: 15249 markings, 105384 edges, 380 markings/sec, 35 secs
lola: 17150 markings, 121893 edges, 380 markings/sec, 40 secs
lola: 19053 markings, 138892 edges, 381 markings/sec, 45 secs
lola: 20956 markings, 155435 edges, 381 markings/sec, 50 secs
lola: 22848 markings, 173857 edges, 378 markings/sec, 55 secs
lola: 24727 markings, 193242 edges, 376 markings/sec, 60 secs
lola: 26585 markings, 210013 edges, 372 markings/sec, 65 secs
lola: 28468 markings, 227151 edges, 377 markings/sec, 70 secs
lola: 30348 markings, 244282 edges, 376 markings/sec, 75 secs
lola: 32219 markings, 263165 edges, 374 markings/sec, 80 secs
lola: 34100 markings, 280523 edges, 376 markings/sec, 85 secs
lola: 35984 markings, 296306 edges, 377 markings/sec, 90 secs
lola: 37864 markings, 313314 edges, 376 markings/sec, 95 secs
lola: 39736 markings, 331513 edges, 374 markings/sec, 100 secs
lola: 41604 markings, 350160 edges, 374 markings/sec, 105 secs
lola: 43474 markings, 367621 edges, 374 markings/sec, 110 secs
lola: 45361 markings, 379245 edges, 377 markings/sec, 115 secs
lola: 47244 markings, 391285 edges, 377 markings/sec, 120 secs
lola: 49125 markings, 404091 edges, 376 markings/sec, 125 secs
lola: 51002 markings, 417303 edges, 375 markings/sec, 130 secs
lola: 52875 markings, 430707 edges, 375 markings/sec, 135 secs
lola: 54747 markings, 446629 edges, 374 markings/sec, 140 secs
lola: 56604 markings, 466225 edges, 371 markings/sec, 145 secs
lola: 58476 markings, 482547 edges, 374 markings/sec, 150 secs
lola: 60356 markings, 495435 edges, 376 markings/sec, 155 secs
lola: 62218 markings, 513721 edges, 372 markings/sec, 160 secs
lola: 64076 markings, 533203 edges, 372 markings/sec, 165 secs
lola: 65958 markings, 549861 edges, 376 markings/sec, 170 secs
lola: 67867 markings, 565261 edges, 382 markings/sec, 175 secs
lola: 69762 markings, 583844 edges, 379 markings/sec, 180 secs
lola: 71660 markings, 601302 edges, 380 markings/sec, 185 secs
lola: 73549 markings, 620423 edges, 378 markings/sec, 190 secs
lola: 75442 markings, 638482 edges, 379 markings/sec, 195 secs
lola: 77330 markings, 658163 edges, 378 markings/sec, 200 secs
lola: 79211 markings, 679400 edges, 376 markings/sec, 205 secs
lola: 81089 markings, 698111 edges, 376 markings/sec, 210 secs
lola: 82962 markings, 716685 edges, 375 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 800 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1915 markings, 9842 edges, 383 markings/sec, 0 secs
lola: 3806 markings, 21612 edges, 378 markings/sec, 5 secs
lola: 5695 markings, 33795 edges, 378 markings/sec, 10 secs
lola: 7579 markings, 52799 edges, 377 markings/sec, 15 secs
lola: 9463 markings, 75578 edges, 377 markings/sec, 20 secs
lola: 11349 markings, 99689 edges, 377 markings/sec, 25 secs
lola: 13222 markings, 122782 edges, 375 markings/sec, 30 secs
lola: 15099 markings, 144976 edges, 375 markings/sec, 35 secs
lola: 16972 markings, 172889 edges, 375 markings/sec, 40 secs
lola: 18833 markings, 202258 edges, 372 markings/sec, 45 secs
lola: 20686 markings, 231179 edges, 371 markings/sec, 50 secs
lola: 22547 markings, 258279 edges, 372 markings/sec, 55 secs
lola: 24419 markings, 280204 edges, 374 markings/sec, 60 secs
lola: 26305 markings, 294219 edges, 377 markings/sec, 65 secs
lola: 28184 markings, 311047 edges, 376 markings/sec, 70 secs
lola: 30062 markings, 329437 edges, 376 markings/sec, 75 secs
lola: 31916 markings, 355218 edges, 371 markings/sec, 80 secs
lola: 33759 markings, 388084 edges, 369 markings/sec, 85 secs
lola: 35622 markings, 410727 edges, 373 markings/sec, 90 secs
lola: 37490 markings, 436147 edges, 374 markings/sec, 95 secs
lola: 39369 markings, 461505 edges, 376 markings/sec, 100 secs
lola: 41238 markings, 490362 edges, 374 markings/sec, 105 secs
lola: 43114 markings, 509112 edges, 375 markings/sec, 110 secs
lola: 44985 markings, 525804 edges, 374 markings/sec, 115 secs
lola: 46848 markings, 545762 edges, 373 markings/sec, 120 secs
lola: 48701 markings, 570061 edges, 371 markings/sec, 125 secs
lola: 50565 markings, 589139 edges, 373 markings/sec, 130 secs
lola: 52429 markings, 613314 edges, 373 markings/sec, 135 secs
lola: 54277 markings, 632431 edges, 370 markings/sec, 140 secs
lola: 56126 markings, 650507 edges, 370 markings/sec, 145 secs
lola: 57984 markings, 671194 edges, 372 markings/sec, 150 secs
lola: 59848 markings, 695466 edges, 373 markings/sec, 155 secs
lola: 61705 markings, 723061 edges, 371 markings/sec, 160 secs
lola: 63557 markings, 751472 edges, 370 markings/sec, 165 secs
lola: 65402 markings, 780184 edges, 369 markings/sec, 170 secs
lola: 67243 markings, 805327 edges, 368 markings/sec, 175 secs
lola: 69088 markings, 832398 edges, 369 markings/sec, 180 secs
lola: 70940 markings, 860772 edges, 370 markings/sec, 185 secs
lola: 72780 markings, 891685 edges, 368 markings/sec, 190 secs
lola: 74618 markings, 919259 edges, 368 markings/sec, 195 secs
lola: 76462 markings, 947839 edges, 369 markings/sec, 200 secs
lola: 78302 markings, 975918 edges, 368 markings/sec, 205 secs
lola: 80137 markings, 1003684 edges, 367 markings/sec, 210 secs
lola: 81980 markings, 1033643 edges, 369 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(flag_1_27)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 800 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1906 markings, 9455 edges, 381 markings/sec, 0 secs
lola: 3811 markings, 22642 edges, 381 markings/sec, 5 secs
lola: 5710 markings, 36818 edges, 380 markings/sec, 10 secs
lola: 7598 markings, 50356 edges, 378 markings/sec, 15 secs
lola: 9482 markings, 64234 edges, 377 markings/sec, 20 secs
lola: 11362 markings, 79229 edges, 376 markings/sec, 25 secs
lola: 13253 markings, 95382 edges, 378 markings/sec, 30 secs
lola: 15151 markings, 109787 edges, 380 markings/sec, 35 secs
lola: 17045 markings, 124975 edges, 379 markings/sec, 40 secs
lola: 18943 markings, 139634 edges, 380 markings/sec, 45 secs
lola: 20832 markings, 155777 edges, 378 markings/sec, 50 secs
lola: 22726 markings, 171346 edges, 379 markings/sec, 55 secs
lola: 24616 markings, 187908 edges, 378 markings/sec, 60 secs
lola: 26504 markings, 205114 edges, 378 markings/sec, 65 secs
lola: 28407 markings, 218580 edges, 381 markings/sec, 70 secs
lola: 30298 markings, 234966 edges, 378 markings/sec, 75 secs
lola: 32187 markings, 251216 edges, 378 markings/sec, 80 secs
lola: 34074 markings, 268383 edges, 377 markings/sec, 85 secs
lola: 35967 markings, 284756 edges, 379 markings/sec, 90 secs
lola: 37855 markings, 301779 edges, 378 markings/sec, 95 secs
lola: 39738 markings, 319208 edges, 377 markings/sec, 100 secs
lola: 41618 markings, 337803 edges, 376 markings/sec, 105 secs
lola: 43506 markings, 354770 edges, 378 markings/sec, 110 secs
lola: 45396 markings, 370975 edges, 378 markings/sec, 115 secs
lola: 47285 markings, 387575 edges, 378 markings/sec, 120 secs
lola: 49176 markings, 404327 edges, 378 markings/sec, 125 secs
lola: 51069 markings, 420535 edges, 379 markings/sec, 130 secs
lola: 52929 markings, 438637 edges, 372 markings/sec, 135 secs
lola: 54823 markings, 454104 edges, 379 markings/sec, 140 secs
lola: 56716 markings, 470526 edges, 379 markings/sec, 145 secs
lola: 58620 markings, 483588 edges, 381 markings/sec, 150 secs
lola: 60494 markings, 500484 edges, 375 markings/sec, 155 secs
lola: 62381 markings, 517483 edges, 377 markings/sec, 160 secs
lola: 64271 markings, 534479 edges, 378 markings/sec, 165 secs
lola: 66170 markings, 549655 edges, 380 markings/sec, 170 secs
lola: 68041 markings, 567443 edges, 374 markings/sec, 175 secs
lola: 69923 markings, 585217 edges, 376 markings/sec, 180 secs
lola: 71813 markings, 601351 edges, 378 markings/sec, 185 secs
lola: 73694 markings, 619021 edges, 376 markings/sec, 190 secs
lola: 75582 markings, 635432 edges, 378 markings/sec, 195 secs
lola: 77473 markings, 652198 edges, 378 markings/sec, 200 secs
lola: 79370 markings, 667279 edges, 379 markings/sec, 205 secs
lola: 81269 markings, 681307 edges, 380 markings/sec, 210 secs
lola: 83167 markings, 696253 edges, 380 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1_66)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 800 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1928 markings, 9650 edges, 386 markings/sec, 0 secs
lola: 3839 markings, 22742 edges, 382 markings/sec, 5 secs
lola: 5746 markings, 37147 edges, 381 markings/sec, 10 secs
lola: 7653 markings, 50846 edges, 381 markings/sec, 15 secs
lola: 9561 markings, 64863 edges, 382 markings/sec, 20 secs
lola: 11461 markings, 80082 edges, 380 markings/sec, 25 secs
lola: 13350 markings, 96134 edges, 378 markings/sec, 30 secs
lola: 15236 markings, 110506 edges, 377 markings/sec, 35 secs
lola: 17122 markings, 125685 edges, 377 markings/sec, 40 secs
lola: 19012 markings, 140083 edges, 378 markings/sec, 45 secs
lola: 20891 markings, 156204 edges, 376 markings/sec, 50 secs
lola: 22775 markings, 171832 edges, 377 markings/sec, 55 secs
lola: 24652 markings, 188276 edges, 375 markings/sec, 60 secs
lola: 26527 markings, 205266 edges, 375 markings/sec, 65 secs
lola: 28418 markings, 218647 edges, 378 markings/sec, 70 secs
lola: 30296 markings, 234949 edges, 376 markings/sec, 75 secs
lola: 32173 markings, 251088 edges, 375 markings/sec, 80 secs
lola: 34046 markings, 268113 edges, 375 markings/sec, 85 secs
lola: 35923 markings, 284338 edges, 375 markings/sec, 90 secs
lola: 37798 markings, 301216 edges, 375 markings/sec, 95 secs
lola: 39669 markings, 318604 edges, 374 markings/sec, 100 secs
lola: 41537 markings, 336848 edges, 374 markings/sec, 105 secs
lola: 43411 markings, 353860 edges, 375 markings/sec, 110 secs
lola: 45288 markings, 370151 edges, 375 markings/sec, 115 secs
lola: 47166 markings, 386616 edges, 376 markings/sec, 120 secs
lola: 49042 markings, 402883 edges, 375 markings/sec, 125 secs
lola: 50924 markings, 419341 edges, 376 markings/sec, 130 secs
lola: 52809 markings, 437521 edges, 377 markings/sec, 135 secs
lola: 54702 markings, 452900 edges, 379 markings/sec, 140 secs
lola: 56594 markings, 469971 edges, 378 markings/sec, 145 secs
lola: 58500 markings, 482577 edges, 381 markings/sec, 150 secs
lola: 60390 markings, 499483 edges, 378 markings/sec, 155 secs
lola: 62277 markings, 516691 edges, 377 markings/sec, 160 secs
lola: 64162 markings, 533811 edges, 377 markings/sec, 165 secs
lola: 66061 markings, 548667 edges, 380 markings/sec, 170 secs
lola: 67946 markings, 566319 edges, 377 markings/sec, 175 secs
lola: 69830 markings, 584521 edges, 377 markings/sec, 180 secs
lola: 71725 markings, 600580 edges, 379 markings/sec, 185 secs
lola: 73606 markings, 618421 edges, 376 markings/sec, 190 secs
lola: 75468 markings, 634465 edges, 372 markings/sec, 195 secs
lola: 77352 markings, 651013 edges, 377 markings/sec, 200 secs
lola: 79245 markings, 666147 edges, 379 markings/sec, 205 secs
lola: 81140 markings, 680721 edges, 379 markings/sec, 210 secs
lola: 83032 markings, 695401 edges, 378 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(flag_0_28)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 800 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1929 markings, 9099 edges, 386 markings/sec, 0 secs
lola: 3844 markings, 20560 edges, 383 markings/sec, 5 secs
lola: 5762 markings, 31840 edges, 384 markings/sec, 10 secs
lola: 7671 markings, 45012 edges, 382 markings/sec, 15 secs
lola: 9584 markings, 58859 edges, 383 markings/sec, 20 secs
lola: 11499 markings, 74240 edges, 383 markings/sec, 25 secs
lola: 13418 markings, 90507 edges, 384 markings/sec, 30 secs
lola: 15327 markings, 106063 edges, 382 markings/sec, 35 secs
lola: 17237 markings, 122778 edges, 382 markings/sec, 40 secs
lola: 19145 markings, 139633 edges, 382 markings/sec, 45 secs
lola: 21055 markings, 156318 edges, 382 markings/sec, 50 secs
lola: 22964 markings, 174916 edges, 382 markings/sec, 55 secs
lola: 24868 markings, 194633 edges, 381 markings/sec, 60 secs
lola: 26773 markings, 211549 edges, 381 markings/sec, 65 secs
lola: 28668 markings, 229276 edges, 379 markings/sec, 70 secs
lola: 30565 markings, 246472 edges, 379 markings/sec, 75 secs
lola: 32453 markings, 265755 edges, 378 markings/sec, 80 secs
lola: 34356 markings, 282454 edges, 381 markings/sec, 85 secs
lola: 36258 markings, 298637 edges, 380 markings/sec, 90 secs
lola: 38152 markings, 316327 edges, 379 markings/sec, 95 secs
lola: 40043 markings, 334758 edges, 378 markings/sec, 100 secs
lola: 41934 markings, 353338 edges, 378 markings/sec, 105 secs
lola: 43838 markings, 369751 edges, 381 markings/sec, 110 secs
lola: 45742 markings, 381692 edges, 381 markings/sec, 115 secs
lola: 47638 markings, 393672 edges, 379 markings/sec, 120 secs
lola: 49525 markings, 406689 edges, 377 markings/sec, 125 secs
lola: 51411 markings, 420058 edges, 377 markings/sec, 130 secs
lola: 53294 markings, 433761 edges, 377 markings/sec, 135 secs
lola: 55175 markings, 450891 edges, 376 markings/sec, 140 secs
lola: 57047 markings, 470642 edges, 374 markings/sec, 145 secs
lola: 58946 markings, 485743 edges, 380 markings/sec, 150 secs
lola: 60848 markings, 499765 edges, 380 markings/sec, 155 secs
lola: 62735 markings, 518923 edges, 377 markings/sec, 160 secs
lola: 64618 markings, 538836 edges, 377 markings/sec, 165 secs
lola: 66498 markings, 553596 edges, 376 markings/sec, 170 secs
lola: 68413 markings, 569986 edges, 383 markings/sec, 175 secs
lola: 70320 markings, 588515 edges, 381 markings/sec, 180 secs
lola: 72228 markings, 606958 edges, 382 markings/sec, 185 secs
lola: 74136 markings, 625605 edges, 382 markings/sec, 190 secs
lola: 76038 markings, 644318 edges, 380 markings/sec, 195 secs
lola: 77932 markings, 664807 edges, 379 markings/sec, 200 secs
lola: 79811 markings, 684448 edges, 376 markings/sec, 205 secs
lola: 81680 markings, 705198 edges, 374 markings/sec, 210 secs
lola: 83558 markings, 721734 edges, 376 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3_70)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 800 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1894 markings, 12103 edges, 379 markings/sec, 0 secs
lola: 3779 markings, 24754 edges, 377 markings/sec, 5 secs
lola: 5640 markings, 45517 edges, 372 markings/sec, 10 secs
lola: 7515 markings, 69976 edges, 375 markings/sec, 15 secs
lola: 9404 markings, 95386 edges, 378 markings/sec, 20 secs
lola: 11277 markings, 125807 edges, 375 markings/sec, 25 secs
lola: 13153 markings, 151979 edges, 375 markings/sec, 30 secs
lola: 15026 markings, 179062 edges, 375 markings/sec, 35 secs
lola: 16897 markings, 206139 edges, 374 markings/sec, 40 secs
lola: 18761 markings, 236084 edges, 373 markings/sec, 45 secs
lola: 20631 markings, 259764 edges, 374 markings/sec, 50 secs
lola: 22503 markings, 284704 edges, 374 markings/sec, 55 secs
lola: 24366 markings, 310240 edges, 373 markings/sec, 60 secs
lola: 26222 markings, 340691 edges, 371 markings/sec, 65 secs
lola: 28087 markings, 365858 edges, 373 markings/sec, 70 secs
lola: 29965 markings, 393695 edges, 376 markings/sec, 75 secs
lola: 31854 markings, 422995 edges, 378 markings/sec, 80 secs
lola: 33740 markings, 453510 edges, 377 markings/sec, 85 secs
lola: 35628 markings, 475259 edges, 378 markings/sec, 90 secs
lola: 37508 markings, 498691 edges, 376 markings/sec, 95 secs
lola: 39396 markings, 520095 edges, 378 markings/sec, 100 secs
lola: 41277 markings, 540592 edges, 376 markings/sec, 105 secs
lola: 43157 markings, 561572 edges, 376 markings/sec, 110 secs
lola: 45037 markings, 584289 edges, 376 markings/sec, 115 secs
lola: 46914 markings, 613851 edges, 375 markings/sec, 120 secs
lola: 48777 markings, 643114 edges, 373 markings/sec, 125 secs
lola: 50646 markings, 675483 edges, 374 markings/sec, 130 secs
lola: 52513 markings, 701820 edges, 373 markings/sec, 135 secs
lola: 54392 markings, 721755 edges, 376 markings/sec, 140 secs
lola: 56264 markings, 743553 edges, 374 markings/sec, 145 secs
lola: 58131 markings, 767190 edges, 373 markings/sec, 150 secs
lola: 60002 markings, 795553 edges, 374 markings/sec, 155 secs
lola: 61872 markings, 818898 edges, 374 markings/sec, 160 secs
lola: 63755 markings, 847714 edges, 377 markings/sec, 165 secs
lola: 65643 markings, 876097 edges, 378 markings/sec, 170 secs
lola: 67526 markings, 905496 edges, 377 markings/sec, 175 secs
lola: 69405 markings, 937131 edges, 376 markings/sec, 180 secs
lola: 71290 markings, 966261 edges, 377 markings/sec, 185 secs
lola: 73157 markings, 997650 edges, 373 markings/sec, 190 secs
lola: 75025 markings, 1030316 edges, 374 markings/sec, 195 secs
lola: 76890 markings, 1060147 edges, 373 markings/sec, 200 secs
lola: 78759 markings, 1093782 edges, 374 markings/sec, 205 secs
lola: 80626 markings, 1128575 edges, 373 markings/sec, 210 secs
lola: 82486 markings, 1162793 edges, 372 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1_44)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 800 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1913 markings, 9537 edges, 383 markings/sec, 0 secs
lola: 3810 markings, 22634 edges, 379 markings/sec, 5 secs
lola: 5702 markings, 36741 edges, 378 markings/sec, 10 secs
lola: 7594 markings, 50327 edges, 378 markings/sec, 15 secs
lola: 9486 markings, 64267 edges, 378 markings/sec, 20 secs
lola: 11376 markings, 79335 edges, 378 markings/sec, 25 secs
lola: 13262 markings, 95471 edges, 377 markings/sec, 30 secs
lola: 15154 markings, 109801 edges, 378 markings/sec, 35 secs
lola: 17041 markings, 124939 edges, 377 markings/sec, 40 secs
lola: 18932 markings, 139580 edges, 378 markings/sec, 45 secs
lola: 20816 markings, 155615 edges, 377 markings/sec, 50 secs
lola: 22702 markings, 171126 edges, 377 markings/sec, 55 secs
lola: 24585 markings, 187622 edges, 377 markings/sec, 60 secs
lola: 26467 markings, 204719 edges, 376 markings/sec, 65 secs
lola: 28362 markings, 218224 edges, 379 markings/sec, 70 secs
lola: 30246 markings, 234515 edges, 377 markings/sec, 75 secs
lola: 32130 markings, 250692 edges, 377 markings/sec, 80 secs
lola: 34007 markings, 267852 edges, 375 markings/sec, 85 secs
lola: 35888 markings, 284045 edges, 376 markings/sec, 90 secs
lola: 37767 markings, 300957 edges, 376 markings/sec, 95 secs
lola: 39642 markings, 318454 edges, 375 markings/sec, 100 secs
lola: 41463 markings, 336069 edges, 364 markings/sec, 105 secs
lola: 43325 markings, 353210 edges, 372 markings/sec, 110 secs
lola: 45189 markings, 369421 edges, 373 markings/sec, 115 secs
lola: 47054 markings, 385754 edges, 373 markings/sec, 120 secs
lola: 48920 markings, 401808 edges, 373 markings/sec, 125 secs
lola: 50781 markings, 418421 edges, 372 markings/sec, 130 secs
lola: 52624 markings, 435592 edges, 369 markings/sec, 135 secs
lola: 54487 markings, 450982 edges, 373 markings/sec, 140 secs
lola: 56354 markings, 467588 edges, 373 markings/sec, 145 secs
lola: 58247 markings, 480670 edges, 379 markings/sec, 150 secs
lola: 60127 markings, 497368 edges, 376 markings/sec, 155 secs
lola: 62005 markings, 514014 edges, 376 markings/sec, 160 secs
lola: 63875 markings, 531023 edges, 374 markings/sec, 165 secs
lola: 65722 markings, 545715 edges, 369 markings/sec, 170 secs
lola: 67580 markings, 562641 edges, 372 markings/sec, 175 secs
lola: 69432 markings, 580402 edges, 370 markings/sec, 180 secs
lola: 71289 markings, 596948 edges, 371 markings/sec, 185 secs
lola: 73141 markings, 613923 edges, 370 markings/sec, 190 secs
lola: 74994 markings, 630538 edges, 371 markings/sec, 195 secs
lola: 76854 markings, 647165 edges, 372 markings/sec, 200 secs
lola: 78723 markings, 662696 edges, 374 markings/sec, 205 secs
lola: 80595 markings, 676495 edges, 374 markings/sec, 210 secs
lola: 82471 markings, 690289 edges, 375 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(flag_1_16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 800 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1895 markings, 8491 edges, 379 markings/sec, 0 secs
lola: 3792 markings, 18538 edges, 379 markings/sec, 5 secs
lola: 5694 markings, 30754 edges, 380 markings/sec, 10 secs
lola: 7613 markings, 43437 edges, 384 markings/sec, 15 secs
lola: 9505 markings, 56391 edges, 378 markings/sec, 20 secs
lola: 11388 markings, 71229 edges, 377 markings/sec, 25 secs
lola: 13286 markings, 88287 edges, 380 markings/sec, 30 secs
lola: 15198 markings, 100669 edges, 382 markings/sec, 35 secs
lola: 17097 markings, 116297 edges, 380 markings/sec, 40 secs
lola: 18998 markings, 130264 edges, 380 markings/sec, 45 secs
lola: 20909 markings, 141745 edges, 382 markings/sec, 50 secs
lola: 22814 markings, 154878 edges, 381 markings/sec, 55 secs
lola: 24726 markings, 166289 edges, 382 markings/sec, 60 secs
lola: 26625 markings, 180489 edges, 380 markings/sec, 65 secs
lola: 28517 markings, 197701 edges, 378 markings/sec, 70 secs
lola: 30419 markings, 212339 edges, 380 markings/sec, 75 secs
lola: 32329 markings, 226774 edges, 382 markings/sec, 80 secs
lola: 34232 markings, 242454 edges, 381 markings/sec, 85 secs
lola: 36130 markings, 258645 edges, 380 markings/sec, 90 secs
lola: 38025 markings, 274358 edges, 379 markings/sec, 95 secs
lola: 39919 markings, 292034 edges, 379 markings/sec, 100 secs
lola: 41818 markings, 305308 edges, 380 markings/sec, 105 secs
lola: 43716 markings, 319514 edges, 380 markings/sec, 110 secs
lola: 45603 markings, 337981 edges, 377 markings/sec, 115 secs
lola: 47490 markings, 355401 edges, 377 markings/sec, 120 secs
lola: 49383 markings, 372434 edges, 379 markings/sec, 125 secs
lola: 51270 markings, 388750 edges, 377 markings/sec, 130 secs
lola: 53139 markings, 406330 edges, 374 markings/sec, 135 secs
lola: 55015 markings, 425568 edges, 375 markings/sec, 140 secs
lola: 56906 markings, 443807 edges, 378 markings/sec, 145 secs
lola: 58818 markings, 457750 edges, 382 markings/sec, 150 secs
lola: 60726 markings, 472670 edges, 382 markings/sec, 155 secs
lola: 62628 markings, 489450 edges, 380 markings/sec, 160 secs
lola: 64531 markings, 505920 edges, 381 markings/sec, 165 secs
lola: 66423 markings, 524617 edges, 378 markings/sec, 170 secs
lola: 68298 markings, 541851 edges, 375 markings/sec, 175 secs
lola: 70188 markings, 558967 edges, 378 markings/sec, 180 secs
lola: 72076 markings, 578854 edges, 378 markings/sec, 185 secs
lola: 73964 markings, 598637 edges, 378 markings/sec, 190 secs
lola: 75843 markings, 618412 edges, 376 markings/sec, 195 secs
lola: 77740 markings, 634164 edges, 379 markings/sec, 200 secs
lola: 79623 markings, 653351 edges, 377 markings/sec, 205 secs
lola: 81529 markings, 668979 edges, 381 markings/sec, 210 secs
lola: 83416 markings, 688226 edges, 377 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA Dekker-PT-100-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Dekker-PT-100-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496452322201

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

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_Dekker-PT-100"
export BK_EXAMINATION="UpperBounds"
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/S_Dekker-PT-100.tgz
mv S_Dekker-PT-100 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_Dekker-PT-100, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r098-ebro-149488455600209"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 '' UpperBounds.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 ;