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-3254
Executing tool lola
Input is PhaseVariation-PT-D30CS010, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-149440869600137
=====================================================================

--------------------
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 PhaseVariation-PT-D30CS010-UpperBounds-0
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-1
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-10
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-11
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-12
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-13
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-14
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-15
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-2
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-3
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-4
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-5
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-6
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-7
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-8
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1494536614613


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PhaseVariation-PT-D30CS010 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 33679/65536 symbol table entries, 10484 collisions
lola: preprocessing...
lola: finding significant places
lola: 2702 places, 30977 transitions, 1801 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2 transition conflict sets
lola: TASK
lola: reading formula from PhaseVariation-PT-D30CS010-UpperBounds.task
lola: MAX(cell___6_23__A_) : MAX(pool__10_7_) : MAX(pool__9_10_) : MAX(pool__12_24_) : MAX(cell___3_30__A_) : MAX(pool__27_20_) : MAX(pool__23_2_) : MAX(pool__18_27_) : MAX(cell___15_23__A_) : MAX(cell___9_24__B_) : MAX(pool__1_15_) : MAX(cell___6_29__A_) : MAX(cell___1_19__B_) : MAX(cell___16_1__A_) : MAX(pool__1_18_) : MAX(cell___9_6__A_)
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(cell___6_23__A_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 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: 379 markings, 562 edges, 76 markings/sec, 0 secs
lola: 652 markings, 1600 edges, 55 markings/sec, 5 secs
lola: 913 markings, 2778 edges, 52 markings/sec, 10 secs
lola: 1207 markings, 4101 edges, 59 markings/sec, 15 secs
lola: 1417 markings, 5046 edges, 42 markings/sec, 20 secs
lola: 1673 markings, 5971 edges, 51 markings/sec, 25 secs
lola: 3412 markings, 19062 edges, 348 markings/sec, 30 secs
lola: 6108 markings, 47325 edges, 539 markings/sec, 35 secs
lola: 8775 markings, 76698 edges, 533 markings/sec, 40 secs
lola: 11379 markings, 108432 edges, 521 markings/sec, 45 secs
lola: 14084 markings, 136388 edges, 541 markings/sec, 50 secs
lola: 16802 markings, 163958 edges, 544 markings/sec, 55 secs
lola: 19364 markings, 197290 edges, 512 markings/sec, 60 secs
lola: 21960 markings, 229424 edges, 519 markings/sec, 65 secs
lola: 24512 markings, 263001 edges, 510 markings/sec, 70 secs
lola: 27047 markings, 297211 edges, 507 markings/sec, 75 secs
lola: 29616 markings, 330067 edges, 514 markings/sec, 80 secs
lola: 32316 markings, 358283 edges, 540 markings/sec, 85 secs
lola: 34989 markings, 387607 edges, 535 markings/sec, 90 secs
lola: 37594 markings, 419447 edges, 521 markings/sec, 95 secs
lola: 40299 markings, 447475 edges, 541 markings/sec, 100 secs
lola: 43015 markings, 474891 edges, 543 markings/sec, 105 secs
lola: 45576 markings, 508130 edges, 512 markings/sec, 110 secs
lola: 48168 markings, 540242 edges, 518 markings/sec, 115 secs
lola: 50717 markings, 573806 edges, 510 markings/sec, 120 secs
lola: 53252 markings, 608018 edges, 507 markings/sec, 125 secs
lola: 55752 markings, 643487 edges, 500 markings/sec, 130 secs
lola: 58321 markings, 676556 edges, 514 markings/sec, 135 secs
lola: 60873 markings, 710134 edges, 510 markings/sec, 140 secs
lola: 63305 markings, 748269 edges, 486 markings/sec, 145 secs
lola: 65896 markings, 780514 edges, 518 markings/sec, 150 secs
lola: 68467 markings, 813401 edges, 514 markings/sec, 155 secs
lola: 70984 markings, 848183 edges, 503 markings/sec, 160 secs
lola: 73428 markings, 885767 edges, 489 markings/sec, 165 secs
lola: 75866 markings, 923569 edges, 488 markings/sec, 170 secs
lola: 78296 markings, 961575 edges, 486 markings/sec, 175 secs
lola: 80620 markings, 1003551 edges, 465 markings/sec, 180 secs
lola: 83320 markings, 1031434 edges, 540 markings/sec, 185 secs
lola: 86022 markings, 1059298 edges, 540 markings/sec, 190 secs
lola: 88654 markings, 1089893 edges, 526 markings/sec, 195 secs
lola: 91328 markings, 1118916 edges, 535 markings/sec, 200 secs
lola: 94004 markings, 1147888 edges, 535 markings/sec, 205 secs
lola: 96663 markings, 1177310 edges, 532 markings/sec, 210 secs
lola: 99224 markings, 1210534 edges, 512 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(pool__10_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 2 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__9_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 3 will run for 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__12_24_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 4 will run for 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___3_30__A_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 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: 396 markings, 791 edges, 79 markings/sec, 0 secs
lola: 688 markings, 1483 edges, 58 markings/sec, 5 secs
lola: 995 markings, 2306 edges, 61 markings/sec, 10 secs
lola: 1351 markings, 3186 edges, 71 markings/sec, 15 secs
lola: 1663 markings, 3958 edges, 62 markings/sec, 20 secs
lola: 1917 markings, 4587 edges, 51 markings/sec, 25 secs
lola: 3005 markings, 9695 edges, 218 markings/sec, 30 secs
lola: 5807 markings, 33189 edges, 560 markings/sec, 35 secs
lola: 8588 markings, 57346 edges, 556 markings/sec, 40 secs
lola: 11242 markings, 86278 edges, 531 markings/sec, 45 secs
lola: 14039 markings, 109884 edges, 559 markings/sec, 50 secs
lola: 16854 markings, 132626 edges, 563 markings/sec, 55 secs
lola: 19529 markings, 160655 edges, 535 markings/sec, 60 secs
lola: 22226 markings, 188061 edges, 539 markings/sec, 65 secs
lola: 24920 markings, 215431 edges, 539 markings/sec, 70 secs
lola: 27519 markings, 246305 edges, 520 markings/sec, 75 secs
lola: 30216 markings, 273389 edges, 539 markings/sec, 80 secs
lola: 33019 markings, 296499 edges, 561 markings/sec, 85 secs
lola: 35742 markings, 322446 edges, 545 markings/sec, 90 secs
lola: 38437 markings, 349259 edges, 539 markings/sec, 95 secs
lola: 41231 markings, 372665 edges, 559 markings/sec, 100 secs
lola: 43991 markings, 397264 edges, 552 markings/sec, 105 secs
lola: 46639 markings, 425939 edges, 530 markings/sec, 110 secs
lola: 49323 markings, 453402 edges, 537 markings/sec, 115 secs
lola: 52004 markings, 481142 edges, 536 markings/sec, 120 secs
lola: 54571 markings, 512821 edges, 513 markings/sec, 125 secs
lola: 57172 markings, 543532 edges, 520 markings/sec, 130 secs
lola: 59767 markings, 574706 edges, 519 markings/sec, 135 secs
lola: 62279 markings, 608859 edges, 502 markings/sec, 140 secs
lola: 64798 markings, 642586 edges, 504 markings/sec, 145 secs
lola: 67393 markings, 673648 edges, 519 markings/sec, 150 secs
lola: 69958 markings, 705883 edges, 513 markings/sec, 155 secs
lola: 72413 markings, 742102 edges, 491 markings/sec, 160 secs
lola: 74938 markings, 776042 edges, 505 markings/sec, 165 secs
lola: 77451 markings, 810497 edges, 503 markings/sec, 170 secs
lola: 79871 markings, 848184 edges, 484 markings/sec, 175 secs
lola: 82467 markings, 879277 edges, 519 markings/sec, 180 secs
lola: 85272 markings, 902747 edges, 561 markings/sec, 185 secs
lola: 88018 markings, 928527 edges, 549 markings/sec, 190 secs
lola: 90731 markings, 955615 edges, 543 markings/sec, 195 secs
lola: 93539 markings, 978832 edges, 562 markings/sec, 200 secs
lola: 96308 markings, 1003469 edges, 554 markings/sec, 205 secs
lola: 98963 markings, 1032440 edges, 531 markings/sec, 210 secs
lola: 101659 markings, 1060059 edges, 539 markings/sec, 215 secs
lola: 104359 markings, 1087494 edges, 540 markings/sec, 220 secs
lola: 106939 markings, 1119158 edges, 516 markings/sec, 225 secs
lola: 109715 markings, 1143491 edges, 555 markings/sec, 230 secs
lola: 112515 markings, 1166675 edges, 560 markings/sec, 235 secs
lola: 115195 markings, 1194209 edges, 536 markings/sec, 240 secs
lola: 117945 markings, 1219136 edges, 550 markings/sec, 245 secs
lola: 120743 markings, 1242298 edges, 560 markings/sec, 250 secs
lola: 123454 markings, 1268751 edges, 542 markings/sec, 255 secs
lola: 126115 markings, 1296855 edges, 532 markings/sec, 260 secs
lola: 128791 markings, 1324331 edges, 535 markings/sec, 265 secs
lola: 131437 markings, 1352984 edges, 529 markings/sec, 270 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 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__27_20_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 6 will run for 304 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__23_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 7 will run for 337 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__18_27_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 8 will run for 380 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___15_23__A_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 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: 476 markings, 828 edges, 95 markings/sec, 0 secs
lola: 744 markings, 1364 edges, 54 markings/sec, 5 secs
lola: 956 markings, 1788 edges, 42 markings/sec, 10 secs
lola: 1166 markings, 2208 edges, 42 markings/sec, 15 secs
lola: 1409 markings, 2694 edges, 49 markings/sec, 20 secs
lola: 1725 markings, 3434 edges, 63 markings/sec, 25 secs
lola: 1984 markings, 4134 edges, 52 markings/sec, 30 secs
lola: 2364 markings, 5342 edges, 76 markings/sec, 35 secs
lola: 4814 markings, 26684 edges, 490 markings/sec, 40 secs
lola: 7515 markings, 53522 edges, 540 markings/sec, 45 secs
lola: 10137 markings, 83249 edges, 524 markings/sec, 50 secs
lola: 12777 markings, 112083 edges, 528 markings/sec, 55 secs
lola: 15477 markings, 138747 edges, 540 markings/sec, 60 secs
lola: 18113 markings, 167657 edges, 527 markings/sec, 65 secs
lola: 20692 markings, 198721 edges, 516 markings/sec, 70 secs
lola: 23284 markings, 229429 edges, 518 markings/sec, 75 secs
lola: 25874 markings, 260185 edges, 518 markings/sec, 80 secs
lola: 28321 markings, 293514 edges, 489 markings/sec, 85 secs
lola: 30985 markings, 321261 edges, 533 markings/sec, 90 secs
lola: 33688 markings, 347788 edges, 541 markings/sec, 95 secs
lola: 36301 markings, 377651 edges, 523 markings/sec, 100 secs
lola: 38936 markings, 406550 edges, 527 markings/sec, 105 secs
lola: 41631 markings, 433320 edges, 539 markings/sec, 110 secs
lola: 44276 markings, 461693 edges, 529 markings/sec, 115 secs
lola: 46835 markings, 493070 edges, 512 markings/sec, 120 secs
lola: 49405 markings, 523242 edges, 514 markings/sec, 125 secs
lola: 51917 markings, 552215 edges, 502 markings/sec, 130 secs
lola: 54465 markings, 587152 edges, 510 markings/sec, 135 secs
lola: 57023 markings, 621903 edges, 512 markings/sec, 140 secs
lola: 59588 markings, 656585 edges, 513 markings/sec, 145 secs
lola: 62093 markings, 693489 edges, 501 markings/sec, 150 secs
lola: 64574 markings, 731138 edges, 496 markings/sec, 155 secs
lola: 67135 markings, 765933 edges, 512 markings/sec, 160 secs
lola: 69683 markings, 801163 edges, 510 markings/sec, 165 secs
lola: 72146 markings, 839552 edges, 493 markings/sec, 170 secs
lola: 74621 markings, 877720 edges, 495 markings/sec, 175 secs
lola: 77101 markings, 915667 edges, 496 markings/sec, 180 secs
lola: 79522 markings, 955729 edges, 484 markings/sec, 185 secs
lola: 81997 markings, 993814 edges, 495 markings/sec, 190 secs
lola: 84764 markings, 1021269 edges, 553 markings/sec, 195 secs
lola: 87514 markings, 1049258 edges, 550 markings/sec, 200 secs
lola: 90140 markings, 1081883 edges, 525 markings/sec, 205 secs
lola: 92907 markings, 1109082 edges, 553 markings/sec, 210 secs
lola: 95687 markings, 1135730 edges, 556 markings/sec, 215 secs
lola: 98330 markings, 1167486 edges, 529 markings/sec, 220 secs
lola: 100996 markings, 1198644 edges, 533 markings/sec, 225 secs
lola: 103659 markings, 1229709 edges, 533 markings/sec, 230 secs
lola: 106238 markings, 1264033 edges, 516 markings/sec, 235 secs
lola: 108897 markings, 1295218 edges, 532 markings/sec, 240 secs
lola: 111653 markings, 1322582 edges, 551 markings/sec, 245 secs
lola: 114355 markings, 1351888 edges, 540 markings/sec, 250 secs
lola: 117020 markings, 1382433 edges, 533 markings/sec, 255 secs
lola: 119777 markings, 1409716 edges, 551 markings/sec, 260 secs
lola: 122515 markings, 1437670 edges, 548 markings/sec, 265 secs
lola: 125125 markings, 1470411 edges, 522 markings/sec, 270 secs
lola: 127791 markings, 1501025 edges, 533 markings/sec, 275 secs
lola: 130457 markings, 1531655 edges, 533 markings/sec, 280 secs
lola: 133008 markings, 1566485 edges, 510 markings/sec, 285 secs
lola: 135568 markings, 1601204 edges, 512 markings/sec, 290 secs
lola: 138134 markings, 1635856 edges, 513 markings/sec, 295 secs
lola: 140642 markings, 1672736 edges, 502 markings/sec, 300 secs
lola: 143120 markings, 1710777 edges, 496 markings/sec, 305 secs
lola: 145678 markings, 1745668 edges, 512 markings/sec, 310 secs
lola: 148243 markings, 1780321 edges, 513 markings/sec, 315 secs
lola: 150713 markings, 1818566 edges, 494 markings/sec, 320 secs
lola: 153183 markings, 1856848 edges, 494 markings/sec, 325 secs
lola: 155661 markings, 1894807 edges, 496 markings/sec, 330 secs
lola: 158084 markings, 1934898 edges, 485 markings/sec, 335 secs
lola: 160488 markings, 1975613 edges, 481 markings/sec, 340 secs
lola: 163029 markings, 2011389 edges, 508 markings/sec, 345 secs
lola: 165597 markings, 2046105 edges, 514 markings/sec, 350 secs
lola: 168053 markings, 2084999 edges, 491 markings/sec, 355 secs
lola: 170569 markings, 2121474 edges, 503 markings/sec, 360 secs
lola: 173116 markings, 2156685 edges, 509 markings/sec, 365 secs
lola: 175603 markings, 2194168 edges, 497 markings/sec, 370 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 380 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___9_24__B_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 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: 377 markings, 376 edges, 75 markings/sec, 0 secs
lola: 637 markings, 777 edges, 52 markings/sec, 5 secs
lola: 897 markings, 1392 edges, 52 markings/sec, 10 secs
lola: 1173 markings, 2553 edges, 55 markings/sec, 15 secs
lola: 1399 markings, 3570 edges, 45 markings/sec, 20 secs
lola: 1611 markings, 4426 edges, 42 markings/sec, 25 secs
lola: 3195 markings, 16357 edges, 317 markings/sec, 30 secs
lola: 5964 markings, 43785 edges, 554 markings/sec, 35 secs
lola: 8685 markings, 72930 edges, 544 markings/sec, 40 secs
lola: 11355 markings, 103863 edges, 534 markings/sec, 45 secs
lola: 14117 markings, 131216 edges, 552 markings/sec, 50 secs
lola: 16864 markings, 159245 edges, 549 markings/sec, 55 secs
lola: 19480 markings, 192017 edges, 523 markings/sec, 60 secs
lola: 22161 markings, 222639 edges, 536 markings/sec, 65 secs
lola: 24833 markings, 253430 edges, 534 markings/sec, 70 secs
lola: 27398 markings, 288340 edges, 513 markings/sec, 75 secs
lola: 30099 markings, 317895 edges, 540 markings/sec, 80 secs
lola: 32863 markings, 344959 edges, 553 markings/sec, 85 secs
lola: 35541 markings, 375203 edges, 536 markings/sec, 90 secs
lola: 38227 markings, 405060 edges, 537 markings/sec, 95 secs
lola: 40983 markings, 432324 edges, 551 markings/sec, 100 secs
lola: 43688 markings, 461450 edges, 541 markings/sec, 105 secs
lola: 46321 markings, 493295 edges, 527 markings/sec, 110 secs
lola: 48975 markings, 524507 edges, 531 markings/sec, 115 secs
lola: 51619 markings, 556055 edges, 529 markings/sec, 120 secs
lola: 54159 markings, 591317 edges, 508 markings/sec, 125 secs
lola: 56736 markings, 625558 edges, 515 markings/sec, 130 secs
lola: 59304 markings, 660228 edges, 514 markings/sec, 135 secs
lola: 61796 markings, 697783 edges, 498 markings/sec, 140 secs
lola: 64292 markings, 735085 edges, 499 markings/sec, 145 secs
lola: 66861 markings, 769613 edges, 514 markings/sec, 150 secs
lola: 69404 markings, 805220 edges, 509 markings/sec, 155 secs
lola: 71840 markings, 844715 edges, 487 markings/sec, 160 secs
lola: 74340 markings, 882166 edges, 500 markings/sec, 165 secs
lola: 76824 markings, 920168 edges, 497 markings/sec, 170 secs
lola: 79237 markings, 960730 edges, 483 markings/sec, 175 secs
lola: 81766 markings, 997014 edges, 506 markings/sec, 180 secs
lola: 84536 markings, 1024467 edges, 554 markings/sec, 185 secs
lola: 87272 markings, 1052891 edges, 547 markings/sec, 190 secs
lola: 89925 markings, 1084512 edges, 531 markings/sec, 195 secs
lola: 92691 markings, 1111793 edges, 553 markings/sec, 200 secs
lola: 95443 markings, 1139485 edges, 550 markings/sec, 205 secs
lola: 98067 markings, 1171881 edges, 525 markings/sec, 210 secs
lola: 100745 markings, 1202546 edges, 536 markings/sec, 215 secs
lola: 103419 markings, 1233320 edges, 535 markings/sec, 220 secs
lola: 105979 markings, 1268277 edges, 512 markings/sec, 225 secs
lola: 108668 markings, 1298224 edges, 538 markings/sec, 230 secs
lola: 111426 markings, 1325540 edges, 552 markings/sec, 235 secs
lola: 114119 markings, 1355238 edges, 539 markings/sec, 240 secs
lola: 116789 markings, 1385614 edges, 534 markings/sec, 245 secs
lola: 119543 markings, 1413074 edges, 551 markings/sec, 250 secs
lola: 122271 markings, 1441289 edges, 546 markings/sec, 255 secs
lola: 124890 markings, 1473563 edges, 524 markings/sec, 260 secs
lola: 127540 markings, 1504770 edges, 530 markings/sec, 265 secs
lola: 130192 markings, 1535971 edges, 530 markings/sec, 270 secs
lola: 132737 markings, 1570969 edges, 509 markings/sec, 275 secs
lola: 135311 markings, 1605447 edges, 515 markings/sec, 280 secs
lola: 137880 markings, 1640014 edges, 514 markings/sec, 285 secs
lola: 140377 markings, 1677286 edges, 499 markings/sec, 290 secs
lola: 142859 markings, 1715179 edges, 496 markings/sec, 295 secs
lola: 145435 markings, 1749554 edges, 515 markings/sec, 300 secs
lola: 147980 markings, 1784995 edges, 509 markings/sec, 305 secs
lola: 150432 markings, 1823877 edges, 490 markings/sec, 310 secs
lola: 152921 markings, 1861670 edges, 498 markings/sec, 315 secs
lola: 155404 markings, 1899694 edges, 497 markings/sec, 320 secs
lola: 157820 markings, 1940033 edges, 483 markings/sec, 325 secs
lola: 160248 markings, 1979960 edges, 486 markings/sec, 330 secs
lola: 162800 markings, 2015419 edges, 510 markings/sec, 335 secs
lola: 165336 markings, 2051427 edges, 507 markings/sec, 340 secs
lola: 167791 markings, 2090510 edges, 491 markings/sec, 345 secs
lola: 170332 markings, 2126073 edges, 508 markings/sec, 350 secs
lola: 172880 markings, 2161249 edges, 510 markings/sec, 355 secs
lola: 175363 markings, 2199061 edges, 497 markings/sec, 360 secs
lola: 177796 markings, 2238713 edges, 487 markings/sec, 365 secs
lola: 180260 markings, 2277391 edges, 493 markings/sec, 370 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 380 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__1_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 11 will run for 456 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___6_29__A_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 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: 374 markings, 746 edges, 75 markings/sec, 0 secs
lola: 610 markings, 1359 edges, 47 markings/sec, 5 secs
lola: 873 markings, 2304 edges, 53 markings/sec, 10 secs
lola: 1230 markings, 3507 edges, 71 markings/sec, 15 secs
lola: 1527 markings, 4602 edges, 59 markings/sec, 20 secs
lola: 1768 markings, 5445 edges, 48 markings/sec, 25 secs
lola: 2637 markings, 9934 edges, 174 markings/sec, 30 secs
lola: 5317 markings, 37607 edges, 536 markings/sec, 35 secs
lola: 8015 markings, 64293 edges, 540 markings/sec, 40 secs
lola: 10566 markings, 96415 edges, 510 markings/sec, 45 secs
lola: 13236 markings, 124192 edges, 534 markings/sec, 50 secs
lola: 15874 markings, 152991 edges, 528 markings/sec, 55 secs
lola: 18520 markings, 181677 edges, 529 markings/sec, 60 secs
lola: 21051 markings, 214551 edges, 506 markings/sec, 65 secs
lola: 23588 markings, 247181 edges, 507 markings/sec, 70 secs
lola: 26108 markings, 280349 edges, 504 markings/sec, 75 secs
lola: 28503 markings, 318167 edges, 479 markings/sec, 80 secs
lola: 31200 markings, 345016 edges, 539 markings/sec, 85 secs
lola: 33889 markings, 371972 edges, 538 markings/sec, 90 secs
lola: 36478 markings, 402680 edges, 518 markings/sec, 95 secs
lola: 39124 markings, 431229 edges, 529 markings/sec, 100 secs
lola: 41768 markings, 459902 edges, 529 markings/sec, 105 secs
lola: 44398 markings, 488924 edges, 526 markings/sec, 110 secs
lola: 46932 markings, 521685 edges, 507 markings/sec, 115 secs
lola: 49472 markings, 554089 edges, 508 markings/sec, 120 secs
lola: 52008 markings, 586457 edges, 507 markings/sec, 125 secs
lola: 54417 markings, 623642 edges, 482 markings/sec, 130 secs
lola: 56964 markings, 655712 edges, 509 markings/sec, 135 secs
lola: 59476 markings, 689093 edges, 502 markings/sec, 140 secs
lola: 61980 markings, 722831 edges, 501 markings/sec, 145 secs
lola: 64432 markings, 758420 edges, 490 markings/sec, 150 secs
lola: 66952 markings, 790614 edges, 504 markings/sec, 155 secs
lola: 69484 markings, 822869 edges, 506 markings/sec, 160 secs
lola: 71888 markings, 859813 edges, 481 markings/sec, 165 secs
lola: 74324 markings, 895630 edges, 487 markings/sec, 170 secs
lola: 76712 markings, 933259 edges, 478 markings/sec, 175 secs
lola: 79080 markings, 971311 edges, 474 markings/sec, 180 secs
lola: 81433 markings, 1009968 edges, 471 markings/sec, 185 secs
lola: 84097 markings, 1037415 edges, 533 markings/sec, 190 secs
lola: 86779 markings, 1064035 edges, 536 markings/sec, 195 secs
lola: 89314 markings, 1096147 edges, 507 markings/sec, 200 secs
lola: 91956 markings, 1123488 edges, 528 markings/sec, 205 secs
lola: 94584 markings, 1152230 edges, 526 markings/sec, 210 secs
lola: 97208 markings, 1180695 edges, 525 markings/sec, 215 secs
lola: 99732 markings, 1213282 edges, 505 markings/sec, 220 secs
lola: 102256 markings, 1245812 edges, 505 markings/sec, 225 secs
lola: 104764 markings, 1278763 edges, 502 markings/sec, 230 secs
lola: 107156 markings, 1316223 edges, 478 markings/sec, 235 secs
lola: 109827 markings, 1343164 edges, 534 markings/sec, 240 secs
lola: 112491 markings, 1370375 edges, 533 markings/sec, 245 secs
lola: 115084 markings, 1400358 edges, 519 markings/sec, 250 secs
lola: 117705 markings, 1429193 edges, 524 markings/sec, 255 secs
lola: 119934 markings, 1453054 edges, 446 markings/sec, 260 secs
lola: 121887 markings, 1473112 edges, 391 markings/sec, 265 secs
lola: 123770 markings, 1495972 edges, 377 markings/sec, 270 secs
lola: 125916 markings, 1523889 edges, 429 markings/sec, 275 secs
lola: 128268 markings, 1554302 edges, 470 markings/sec, 280 secs
lola: 130724 markings, 1585712 edges, 491 markings/sec, 285 secs
lola: 133136 markings, 1622860 edges, 482 markings/sec, 290 secs
lola: 135687 markings, 1655038 edges, 510 markings/sec, 295 secs
lola: 138199 markings, 1688425 edges, 502 markings/sec, 300 secs
lola: 140705 markings, 1722132 edges, 501 markings/sec, 305 secs
lola: 143161 markings, 1757830 edges, 491 markings/sec, 310 secs
lola: 145703 markings, 1790242 edges, 508 markings/sec, 315 secs
lola: 148240 markings, 1822688 edges, 507 markings/sec, 320 secs
lola: 150654 markings, 1859896 edges, 483 markings/sec, 325 secs
lola: 153100 markings, 1895803 edges, 489 markings/sec, 330 secs
lola: 155493 markings, 1933626 edges, 479 markings/sec, 335 secs
lola: 157876 markings, 1971785 edges, 477 markings/sec, 340 secs
lola: 160212 markings, 2010980 edges, 467 markings/sec, 345 secs
lola: 162789 markings, 2042378 edges, 515 markings/sec, 350 secs
lola: 165371 markings, 2073532 edges, 516 markings/sec, 355 secs
lola: 167855 markings, 2108298 edges, 497 markings/sec, 360 secs
lola: 170420 markings, 2140058 edges, 513 markings/sec, 365 secs
lola: 172969 markings, 2172357 edges, 510 markings/sec, 370 secs
lola: 175510 markings, 2204758 edges, 508 markings/sec, 375 secs
lola: 177960 markings, 2240835 edges, 490 markings/sec, 380 secs
lola: 180407 markings, 2276741 edges, 489 markings/sec, 385 secs
lola: 182856 markings, 2312599 edges, 490 markings/sec, 390 secs
lola: 185228 markings, 2351382 edges, 474 markings/sec, 395 secs
lola: 187747 markings, 2384811 edges, 504 markings/sec, 400 secs
lola: 190281 markings, 2416786 edges, 507 markings/sec, 405 secs
lola: 192803 markings, 2449005 edges, 504 markings/sec, 410 secs
lola: 195263 markings, 2483592 edges, 492 markings/sec, 415 secs
lola: 197816 markings, 2514609 edges, 511 markings/sec, 420 secs
lola: 200373 markings, 2545567 edges, 511 markings/sec, 425 secs
lola: 202835 markings, 2580014 edges, 492 markings/sec, 430 secs
lola: 205285 markings, 2614928 edges, 490 markings/sec, 435 secs
lola: 207690 markings, 2651282 edges, 481 markings/sec, 440 secs
lola: 210094 markings, 2687785 edges, 481 markings/sec, 445 secs
lola: 212417 markings, 2727237 edges, 465 markings/sec, 450 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 456 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___1_19__B_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 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: 605 markings, 1594 edges, 121 markings/sec, 0 secs
lola: 1022 markings, 3123 edges, 83 markings/sec, 5 secs
lola: 1412 markings, 4553 edges, 78 markings/sec, 10 secs
lola: 1844 markings, 6137 edges, 86 markings/sec, 15 secs
lola: 2141 markings, 7226 edges, 59 markings/sec, 20 secs
lola: 2465 markings, 8286 edges, 65 markings/sec, 25 secs
lola: 4502 markings, 21748 edges, 407 markings/sec, 30 secs
lola: 7258 markings, 47265 edges, 551 markings/sec, 35 secs
lola: 9994 markings, 73346 edges, 547 markings/sec, 40 secs
lola: 12694 markings, 100938 edges, 540 markings/sec, 45 secs
lola: 15474 markings, 125590 edges, 556 markings/sec, 50 secs
lola: 18218 markings, 151513 edges, 549 markings/sec, 55 secs
lola: 20854 markings, 181273 edges, 527 markings/sec, 60 secs
lola: 23485 markings, 211211 edges, 526 markings/sec, 65 secs
lola: 26136 markings, 240365 edges, 530 markings/sec, 70 secs
lola: 28646 markings, 274873 edges, 502 markings/sec, 75 secs
lola: 31394 markings, 300219 edges, 550 markings/sec, 80 secs
lola: 34162 markings, 325214 edges, 554 markings/sec, 85 secs
lola: 36878 markings, 352146 edges, 543 markings/sec, 90 secs
lola: 39638 markings, 378193 edges, 552 markings/sec, 95 secs
lola: 42400 markings, 404108 edges, 552 markings/sec, 100 secs
lola: 45153 markings, 430229 edges, 551 markings/sec, 105 secs
lola: 47798 markings, 460363 edges, 529 markings/sec, 110 secs
lola: 50442 markings, 490523 edges, 529 markings/sec, 115 secs
lola: 53066 markings, 521551 edges, 525 markings/sec, 120 secs
lola: 55589 markings, 556077 edges, 505 markings/sec, 125 secs
lola: 58238 markings, 586096 edges, 530 markings/sec, 130 secs
lola: 60917 markings, 615069 edges, 536 markings/sec, 135 secs
lola: 63460 markings, 649159 edges, 509 markings/sec, 140 secs
lola: 66105 markings, 679454 edges, 529 markings/sec, 145 secs
lola: 68722 markings, 710490 edges, 523 markings/sec, 150 secs
lola: 71337 markings, 741666 edges, 523 markings/sec, 155 secs
lola: 73844 markings, 776888 edges, 501 markings/sec, 160 secs
lola: 76362 markings, 811655 edges, 504 markings/sec, 165 secs
lola: 78873 markings, 846637 edges, 502 markings/sec, 170 secs
lola: 81266 markings, 886000 edges, 479 markings/sec, 175 secs
lola: 84036 markings, 911330 edges, 554 markings/sec, 180 secs
lola: 86830 markings, 935940 edges, 559 markings/sec, 185 secs
lola: 89530 markings, 963812 edges, 540 markings/sec, 190 secs
lola: 92298 markings, 989334 edges, 554 markings/sec, 195 secs
lola: 95052 markings, 1015359 edges, 551 markings/sec, 200 secs
lola: 97804 markings, 1041345 edges, 550 markings/sec, 205 secs
lola: 100446 markings, 1071235 edges, 528 markings/sec, 210 secs
lola: 103078 markings, 1101610 edges, 526 markings/sec, 215 secs
lola: 105691 markings, 1132881 edges, 523 markings/sec, 220 secs
lola: 108257 markings, 1165744 edges, 513 markings/sec, 225 secs
lola: 111050 markings, 1190365 edges, 559 markings/sec, 230 secs
lola: 113850 markings, 1214791 edges, 560 markings/sec, 235 secs
lola: 116473 markings, 1245429 edges, 525 markings/sec, 240 secs
lola: 119279 markings, 1269377 edges, 561 markings/sec, 245 secs
lola: 122094 markings, 1293221 edges, 563 markings/sec, 250 secs
lola: 124766 markings, 1322310 edges, 534 markings/sec, 255 secs
lola: 127431 markings, 1351622 edges, 533 markings/sec, 260 secs
lola: 130048 markings, 1382701 edges, 523 markings/sec, 265 secs
lola: 132658 markings, 1413710 edges, 522 markings/sec, 270 secs
lola: 135226 markings, 1446394 edges, 514 markings/sec, 275 secs
lola: 137870 markings, 1476528 edges, 529 markings/sec, 280 secs
lola: 140490 markings, 1507463 edges, 524 markings/sec, 285 secs
lola: 143008 markings, 1541955 edges, 504 markings/sec, 290 secs
lola: 145647 markings, 1572092 edges, 528 markings/sec, 295 secs
lola: 148321 markings, 1600830 edges, 535 markings/sec, 300 secs
lola: 150861 markings, 1634555 edges, 508 markings/sec, 305 secs
lola: 153399 markings, 1668519 edges, 508 markings/sec, 310 secs
lola: 155906 markings, 1704353 edges, 501 markings/sec, 315 secs
lola: 158398 markings, 1740705 edges, 498 markings/sec, 320 secs
lola: 160870 markings, 1777816 edges, 494 markings/sec, 325 secs
lola: 163579 markings, 1806488 edges, 542 markings/sec, 330 secs
lola: 166278 markings, 1835527 edges, 540 markings/sec, 335 secs
lola: 168853 markings, 1869182 edges, 515 markings/sec, 340 secs
lola: 171562 markings, 1897856 edges, 542 markings/sec, 345 secs
lola: 174256 markings, 1926900 edges, 539 markings/sec, 350 secs
lola: 176894 markings, 1958143 edges, 528 markings/sec, 355 secs
lola: 179472 markings, 1991659 edges, 516 markings/sec, 360 secs
lola: 182020 markings, 2026105 edges, 510 markings/sec, 365 secs
lola: 184554 markings, 2061127 edges, 507 markings/sec, 370 secs
lola: 187060 markings, 2097249 edges, 501 markings/sec, 375 secs
lola: 189764 markings, 2126012 edges, 541 markings/sec, 380 secs
lola: 192466 markings, 2154934 edges, 540 markings/sec, 385 secs
lola: 195044 markings, 2188516 edges, 516 markings/sec, 390 secs
lola: 197751 markings, 2217119 edges, 541 markings/sec, 395 secs
lola: 200438 markings, 2246457 edges, 537 markings/sec, 400 secs
lola: 203081 markings, 2277334 edges, 529 markings/sec, 405 secs
lola: 205654 markings, 2310901 edges, 515 markings/sec, 410 secs
lola: 208200 markings, 2345350 edges, 509 markings/sec, 415 secs
lola: 210736 markings, 2380176 edges, 507 markings/sec, 420 secs
lola: 213202 markings, 2417554 edges, 493 markings/sec, 425 secs
lola: 215766 markings, 2451368 edges, 513 markings/sec, 430 secs
lola: 218335 markings, 2484946 edges, 514 markings/sec, 435 secs
lola: 220814 markings, 2521983 edges, 496 markings/sec, 440 secs
lola: 223367 markings, 2556089 edges, 511 markings/sec, 445 secs
lola: 225902 markings, 2590766 edges, 507 markings/sec, 450 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 456 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___16_1__A_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 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: 582 markings, 1841 edges, 116 markings/sec, 0 secs
lola: 1008 markings, 3403 edges, 85 markings/sec, 5 secs
lola: 1395 markings, 4822 edges, 77 markings/sec, 10 secs
lola: 1830 markings, 6417 edges, 87 markings/sec, 15 secs
lola: 2130 markings, 7517 edges, 60 markings/sec, 20 secs
lola: 2451 markings, 8574 edges, 64 markings/sec, 25 secs
lola: 4426 markings, 21473 edges, 395 markings/sec, 30 secs
lola: 7180 markings, 46791 edges, 551 markings/sec, 35 secs
lola: 9908 markings, 73045 edges, 546 markings/sec, 40 secs
lola: 12595 markings, 100678 edges, 537 markings/sec, 45 secs
lola: 15372 markings, 124997 edges, 555 markings/sec, 50 secs
lola: 18110 markings, 150680 edges, 548 markings/sec, 55 secs
lola: 20736 markings, 180465 edges, 525 markings/sec, 60 secs
lola: 23362 markings, 210291 edges, 525 markings/sec, 65 secs
lola: 26004 markings, 239165 edges, 528 markings/sec, 70 secs
lola: 28500 markings, 272890 edges, 499 markings/sec, 75 secs
lola: 31216 markings, 298571 edges, 543 markings/sec, 80 secs
lola: 33937 markings, 324026 edges, 544 markings/sec, 85 secs
lola: 36652 markings, 349734 edges, 543 markings/sec, 90 secs
lola: 39348 markings, 376124 edges, 539 markings/sec, 95 secs
lola: 42080 markings, 401275 edges, 546 markings/sec, 100 secs
lola: 44790 markings, 427069 edges, 542 markings/sec, 105 secs
lola: 47399 markings, 456711 edges, 522 markings/sec, 110 secs
lola: 50014 markings, 486166 edges, 523 markings/sec, 115 secs
lola: 52619 markings, 515809 edges, 521 markings/sec, 120 secs
lola: 55091 markings, 550427 edges, 494 markings/sec, 125 secs
lola: 57719 markings, 579435 edges, 526 markings/sec, 130 secs
lola: 60316 markings, 609422 edges, 519 markings/sec, 135 secs
lola: 62884 markings, 640617 edges, 514 markings/sec, 140 secs
lola: 65430 markings, 672404 edges, 509 markings/sec, 145 secs
lola: 68030 markings, 702346 edges, 520 markings/sec, 150 secs
lola: 70611 markings, 733056 edges, 516 markings/sec, 155 secs
lola: 73084 markings, 767745 edges, 495 markings/sec, 160 secs
lola: 75569 markings, 801939 edges, 497 markings/sec, 165 secs
lola: 78065 markings, 835672 edges, 499 markings/sec, 170 secs
lola: 80490 markings, 872014 edges, 485 markings/sec, 175 secs
lola: 83081 markings, 902174 edges, 518 markings/sec, 180 secs
lola: 85814 markings, 927304 edges, 547 markings/sec, 185 secs
lola: 88527 markings, 953113 edges, 543 markings/sec, 190 secs
lola: 91184 markings, 980964 edges, 531 markings/sec, 195 secs
lola: 93940 markings, 1005026 edges, 551 markings/sec, 200 secs
lola: 96669 markings, 1030049 edges, 546 markings/sec, 205 secs
lola: 99269 markings, 1059953 edges, 520 markings/sec, 210 secs
lola: 101877 markings, 1089545 edges, 522 markings/sec, 215 secs
lola: 104509 markings, 1118157 edges, 526 markings/sec, 220 secs
lola: 107026 markings, 1150963 edges, 503 markings/sec, 225 secs
lola: 109716 markings, 1177479 edges, 538 markings/sec, 230 secs
lola: 112435 markings, 1202996 edges, 544 markings/sec, 235 secs
lola: 115148 markings, 1228657 edges, 543 markings/sec, 240 secs
lola: 117819 markings, 1255784 edges, 534 markings/sec, 245 secs
lola: 120564 markings, 1280188 edges, 549 markings/sec, 250 secs
lola: 123271 markings, 1306061 edges, 541 markings/sec, 255 secs
lola: 125880 markings, 1335425 edges, 522 markings/sec, 260 secs
lola: 128480 markings, 1365123 edges, 520 markings/sec, 265 secs
lola: 131105 markings, 1393933 edges, 525 markings/sec, 270 secs
lola: 133589 markings, 1427985 edges, 497 markings/sec, 275 secs
lola: 136196 markings, 1457454 edges, 521 markings/sec, 280 secs
lola: 138777 markings, 1488027 edges, 516 markings/sec, 285 secs
lola: 141353 markings, 1518625 edges, 515 markings/sec, 290 secs
lola: 143882 markings, 1551007 edges, 506 markings/sec, 295 secs
lola: 146488 markings, 1580492 edges, 521 markings/sec, 300 secs
lola: 149076 markings, 1610636 edges, 518 markings/sec, 305 secs
lola: 151532 markings, 1645612 edges, 491 markings/sec, 310 secs
lola: 154033 markings, 1678875 edges, 500 markings/sec, 315 secs
lola: 156499 markings, 1713444 edges, 493 markings/sec, 320 secs
lola: 158938 markings, 1749000 edges, 488 markings/sec, 325 secs
lola: 161413 markings, 1783326 edges, 495 markings/sec, 330 secs
lola: 164063 markings, 1811553 edges, 530 markings/sec, 335 secs
lola: 166680 markings, 1840975 edges, 523 markings/sec, 340 secs
lola: 169208 markings, 1873611 edges, 506 markings/sec, 345 secs
lola: 171860 markings, 1901736 edges, 530 markings/sec, 350 secs
lola: 174448 markings, 1929067 edges, 518 markings/sec, 355 secs
lola: 176684 markings, 1955569 edges, 447 markings/sec, 360 secs
lola: 179232 markings, 1988948 edges, 510 markings/sec, 365 secs
lola: 181763 markings, 2022768 edges, 506 markings/sec, 370 secs
lola: 184275 markings, 2057355 edges, 502 markings/sec, 375 secs
lola: 186720 markings, 2094388 edges, 489 markings/sec, 380 secs
lola: 189397 markings, 2123019 edges, 535 markings/sec, 385 secs
lola: 192086 markings, 2151116 edges, 538 markings/sec, 390 secs
lola: 194667 markings, 2183271 edges, 516 markings/sec, 395 secs
lola: 197333 markings, 2212202 edges, 533 markings/sec, 400 secs
lola: 199975 markings, 2241947 edges, 528 markings/sec, 405 secs
lola: 202616 markings, 2271723 edges, 528 markings/sec, 410 secs
lola: 205156 markings, 2305146 edges, 508 markings/sec, 415 secs
lola: 207688 markings, 2338537 edges, 506 markings/sec, 420 secs
lola: 210206 markings, 2372691 edges, 504 markings/sec, 425 secs
lola: 212628 markings, 2410648 edges, 484 markings/sec, 430 secs
lola: 215186 markings, 2443459 edges, 512 markings/sec, 435 secs
lola: 217706 markings, 2477698 edges, 504 markings/sec, 440 secs
lola: 220212 markings, 2512441 edges, 501 markings/sec, 445 secs
lola: 222692 markings, 2548201 edges, 496 markings/sec, 450 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 456 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__1_18_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 15 will run for 912 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___9_6__A_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 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: 558 markings, 1805 edges, 112 markings/sec, 0 secs
lola: 956 markings, 3401 edges, 80 markings/sec, 5 secs
lola: 1326 markings, 4886 edges, 74 markings/sec, 10 secs
lola: 1739 markings, 6542 edges, 83 markings/sec, 15 secs
lola: 2052 markings, 7799 edges, 63 markings/sec, 20 secs
lola: 2332 markings, 8851 edges, 56 markings/sec, 25 secs
lola: 3650 markings, 18119 edges, 264 markings/sec, 30 secs
lola: 6332 markings, 45667 edges, 536 markings/sec, 35 secs
lola: 9000 markings, 73621 edges, 534 markings/sec, 40 secs
lola: 11526 markings, 106962 edges, 505 markings/sec, 45 secs
lola: 14226 markings, 133899 edges, 540 markings/sec, 50 secs
lola: 16918 markings, 160963 edges, 538 markings/sec, 55 secs
lola: 19510 markings, 191866 edges, 518 markings/sec, 60 secs
lola: 22070 markings, 223837 edges, 512 markings/sec, 65 secs
lola: 24588 markings, 257384 edges, 504 markings/sec, 70 secs
lola: 27092 markings, 291307 edges, 501 markings/sec, 75 secs
lola: 29566 markings, 326262 edges, 495 markings/sec, 80 secs
lola: 32239 markings, 354045 edges, 535 markings/sec, 85 secs
lola: 34930 markings, 381008 edges, 538 markings/sec, 90 secs
lola: 37472 markings, 413726 edges, 508 markings/sec, 95 secs
lola: 40150 markings, 441107 edges, 536 markings/sec, 100 secs
lola: 42808 markings, 469154 edges, 532 markings/sec, 105 secs
lola: 45431 markings, 498549 edges, 525 markings/sec, 110 secs
lola: 47973 markings, 531047 edges, 508 markings/sec, 115 secs
lola: 50494 markings, 564193 edges, 504 markings/sec, 120 secs
lola: 53009 markings, 597616 edges, 503 markings/sec, 125 secs
lola: 55427 markings, 634679 edges, 484 markings/sec, 130 secs
lola: 57978 markings, 667003 edges, 510 markings/sec, 135 secs
lola: 60530 markings, 699212 edges, 510 markings/sec, 140 secs
lola: 63010 markings, 734034 edges, 496 markings/sec, 145 secs
lola: 65506 markings, 768195 edges, 499 markings/sec, 150 secs
lola: 68030 markings, 801316 edges, 505 markings/sec, 155 secs
lola: 70545 markings, 834898 edges, 503 markings/sec, 160 secs
lola: 72954 markings, 872351 edges, 482 markings/sec, 165 secs
lola: 75386 markings, 909012 edges, 486 markings/sec, 170 secs
lola: 77806 markings, 946105 edges, 484 markings/sec, 175 secs
lola: 80185 markings, 984613 edges, 476 markings/sec, 180 secs
lola: 82646 markings, 1019858 edges, 492 markings/sec, 185 secs
lola: 85322 markings, 1047565 edges, 535 markings/sec, 190 secs
lola: 87970 markings, 1076275 edges, 530 markings/sec, 195 secs
lola: 90521 markings, 1108516 edges, 510 markings/sec, 200 secs
lola: 93189 markings, 1136232 edges, 534 markings/sec, 205 secs
lola: 95892 markings, 1162673 edges, 541 markings/sec, 210 secs
lola: 98450 markings, 1194534 edges, 512 markings/sec, 215 secs
lola: 101012 markings, 1226159 edges, 512 markings/sec, 220 secs
lola: 103525 markings, 1259739 edges, 503 markings/sec, 225 secs
lola: 106031 markings, 1293494 edges, 501 markings/sec, 230 secs
lola: 108522 markings, 1327828 edges, 498 markings/sec, 235 secs
lola: 111198 markings, 1355333 edges, 535 markings/sec, 240 secs
lola: 113868 markings, 1383071 edges, 534 markings/sec, 245 secs
lola: 116397 markings, 1416126 edges, 506 markings/sec, 250 secs
lola: 119082 markings, 1443209 edges, 537 markings/sec, 255 secs
lola: 121757 markings, 1470547 edges, 535 markings/sec, 260 secs
lola: 124357 markings, 1500665 edges, 520 markings/sec, 265 secs
lola: 126902 markings, 1532877 edges, 509 markings/sec, 270 secs
lola: 129414 markings, 1566148 edges, 502 markings/sec, 275 secs
lola: 131918 markings, 1599779 edges, 501 markings/sec, 280 secs
lola: 134342 markings, 1636311 edges, 485 markings/sec, 285 secs
lola: 136874 markings, 1669114 edges, 506 markings/sec, 290 secs
lola: 139438 markings, 1700592 edges, 513 markings/sec, 295 secs
lola: 141898 markings, 1736039 edges, 492 markings/sec, 300 secs
lola: 144405 markings, 1769615 edges, 501 markings/sec, 305 secs
lola: 146918 markings, 1802965 edges, 503 markings/sec, 310 secs
lola: 149422 markings, 1836617 edges, 501 markings/sec, 315 secs
lola: 151830 markings, 1873836 edges, 482 markings/sec, 320 secs
lola: 154248 markings, 1910718 edges, 484 markings/sec, 325 secs
lola: 156666 markings, 1947491 edges, 484 markings/sec, 330 secs
lola: 159038 markings, 1986033 edges, 474 markings/sec, 335 secs
lola: 161459 markings, 2022895 edges, 484 markings/sec, 340 secs
lola: 164035 markings, 2054212 edges, 515 markings/sec, 345 secs
lola: 166582 markings, 2086480 edges, 509 markings/sec, 350 secs
lola: 169035 markings, 2122383 edges, 491 markings/sec, 355 secs
lola: 171629 markings, 2153302 edges, 519 markings/sec, 360 secs
lola: 174198 markings, 2184954 edges, 514 markings/sec, 365 secs
lola: 176726 markings, 2218200 edges, 506 markings/sec, 370 secs
lola: 179182 markings, 2254042 edges, 491 markings/sec, 375 secs
lola: 181628 markings, 2290276 edges, 489 markings/sec, 380 secs
lola: 184058 markings, 2327117 edges, 486 markings/sec, 385 secs
lola: 186395 markings, 2367399 edges, 467 markings/sec, 390 secs
lola: 188982 markings, 2398232 edges, 517 markings/sec, 395 secs
lola: 191531 markings, 2429893 edges, 510 markings/sec, 400 secs
lola: 193989 markings, 2461740 edges, 492 markings/sec, 405 secs
lola: 196522 markings, 2495725 edges, 507 markings/sec, 410 secs
lola: 199115 markings, 2527265 edges, 519 markings/sec, 415 secs
lola: 201676 markings, 2559940 edges, 512 markings/sec, 420 secs
lola: 204146 markings, 2596026 edges, 494 markings/sec, 425 secs
lola: 206622 markings, 2631965 edges, 495 markings/sec, 430 secs
lola: 209105 markings, 2668717 edges, 497 markings/sec, 435 secs
lola: 211550 markings, 2706682 edges, 489 markings/sec, 440 secs
lola: 213992 markings, 2745500 edges, 488 markings/sec, 445 secs
lola: 216492 markings, 2782150 edges, 500 markings/sec, 450 secs
lola: 218969 markings, 2819720 edges, 495 markings/sec, 455 secs
lola: 221366 markings, 2860809 edges, 479 markings/sec, 460 secs
lola: 223890 markings, 2896896 edges, 505 markings/sec, 465 secs
lola: 226374 markings, 2934466 edges, 497 markings/sec, 470 secs
lola: 228853 markings, 2972245 edges, 496 markings/sec, 475 secs
lola: 231242 markings, 3013511 edges, 478 markings/sec, 480 secs
lola: 233634 markings, 3054575 edges, 478 markings/sec, 485 secs
lola: 236021 markings, 3095877 edges, 477 markings/sec, 490 secs
lola: 238330 markings, 3140018 edges, 462 markings/sec, 495 secs
lola: 240982 markings, 3171405 edges, 530 markings/sec, 500 secs
lola: 243690 markings, 3200936 edges, 542 markings/sec, 505 secs
lola: 246394 markings, 3230608 edges, 541 markings/sec, 510 secs
lola: 249064 markings, 3261439 edges, 534 markings/sec, 515 secs
lola: 251796 markings, 3290030 edges, 546 markings/sec, 520 secs
lola: 254493 markings, 3319924 edges, 539 markings/sec, 525 secs
lola: 257098 markings, 3353188 edges, 521 markings/sec, 530 secs
lola: 259696 markings, 3386684 edges, 520 markings/sec, 535 secs
lola: 262317 markings, 3419362 edges, 524 markings/sec, 540 secs
lola: 264799 markings, 3457191 edges, 496 markings/sec, 545 secs
lola: 267514 markings, 3486348 edges, 543 markings/sec, 550 secs
lola: 270237 markings, 3515250 edges, 545 markings/sec, 555 secs
lola: 272926 markings, 3545391 edges, 538 markings/sec, 560 secs
lola: 275614 markings, 3575442 edges, 538 markings/sec, 565 secs
lola: 278328 markings, 3604482 edges, 543 markings/sec, 570 secs
lola: 281022 markings, 3634281 edges, 539 markings/sec, 575 secs
lola: 283618 markings, 3667738 edges, 519 markings/sec, 580 secs
lola: 286222 markings, 3700916 edges, 521 markings/sec, 585 secs
lola: 288814 markings, 3734454 edges, 518 markings/sec, 590 secs
lola: 291282 markings, 3772646 edges, 494 markings/sec, 595 secs
lola: 293899 markings, 3805430 edges, 523 markings/sec, 600 secs
lola: 296489 markings, 3839212 edges, 518 markings/sec, 605 secs
lola: 299047 markings, 3874158 edges, 512 markings/sec, 610 secs
lola: 301589 markings, 3909706 edges, 508 markings/sec, 615 secs
lola: 304178 markings, 3943436 edges, 518 markings/sec, 620 secs
lola: 306751 markings, 3977755 edges, 515 markings/sec, 625 secs
lola: 309218 markings, 4016010 edges, 493 markings/sec, 630 secs
lola: 311699 markings, 4053736 edges, 496 markings/sec, 635 secs
lola: 314182 markings, 4091324 edges, 497 markings/sec, 640 secs
lola: 316608 markings, 4131091 edges, 485 markings/sec, 645 secs
lola: 319178 markings, 4165436 edges, 514 markings/sec, 650 secs
lola: 321896 markings, 4194512 edges, 544 markings/sec, 655 secs
lola: 324594 markings, 4224180 edges, 540 markings/sec, 660 secs
lola: 327240 markings, 4255903 edges, 529 markings/sec, 665 secs
lola: 329982 markings, 4284008 edges, 548 markings/sec, 670 secs
lola: 332704 markings, 4312735 edges, 544 markings/sec, 675 secs
lola: 335289 markings, 4346541 edges, 517 markings/sec, 680 secs
lola: 337900 markings, 4379357 edges, 522 markings/sec, 685 secs
lola: 340510 markings, 4412227 edges, 522 markings/sec, 690 secs
lola: 343041 markings, 4448026 edges, 506 markings/sec, 695 secs
lola: 345694 markings, 4479315 edges, 531 markings/sec, 700 secs
lola: 348403 markings, 4508543 edges, 542 markings/sec, 705 secs
lola: 351098 markings, 4538338 edges, 539 markings/sec, 710 secs
lola: 353746 markings, 4569690 edges, 530 markings/sec, 715 secs
lola: 356486 markings, 4597789 edges, 548 markings/sec, 720 secs
lola: 359193 markings, 4627063 edges, 541 markings/sec, 725 secs
lola: 361784 markings, 4660614 edges, 518 markings/sec, 730 secs
lola: 364377 markings, 4694095 edges, 519 markings/sec, 735 secs
lola: 367003 markings, 4726359 edges, 525 markings/sec, 740 secs
lola: 369504 markings, 4763243 edges, 500 markings/sec, 745 secs
lola: 372090 markings, 4797002 edges, 517 markings/sec, 750 secs
lola: 374663 markings, 4831245 edges, 515 markings/sec, 755 secs
lola: 377226 markings, 4865962 edges, 513 markings/sec, 760 secs
lola: 379738 markings, 4902470 edges, 502 markings/sec, 765 secs
lola: 382336 markings, 4935720 edges, 520 markings/sec, 770 secs
lola: 384935 markings, 4968853 edges, 520 markings/sec, 775 secs
lola: 387404 markings, 5006946 edges, 494 markings/sec, 780 secs
lola: 389899 markings, 5043919 edges, 499 markings/sec, 785 secs
lola: 392354 markings, 5082564 edges, 491 markings/sec, 790 secs
lola: 394792 markings, 5121629 edges, 488 markings/sec, 795 secs
lola: 397230 markings, 5160837 edges, 488 markings/sec, 800 secs
lola: 399869 markings, 5192787 edges, 528 markings/sec, 805 secs
lola: 402494 markings, 5225294 edges, 525 markings/sec, 810 secs
lola: 405010 markings, 5261899 edges, 503 markings/sec, 815 secs
lola: 407652 markings, 5293649 edges, 528 markings/sec, 820 secs
lola: 410274 markings, 5326272 edges, 524 markings/sec, 825 secs
lola: 412863 markings, 5359997 edges, 518 markings/sec, 830 secs
lola: 415372 markings, 5396687 edges, 502 markings/sec, 835 secs
lola: 417872 markings, 5433679 edges, 500 markings/sec, 840 secs
lola: 420350 markings, 5471510 edges, 496 markings/sec, 845 secs
lola: 422749 markings, 5512212 edges, 480 markings/sec, 850 secs
lola: 425394 markings, 5543904 edges, 529 markings/sec, 855 secs
lola: 428029 markings, 5575902 edges, 527 markings/sec, 860 secs
lola: 430594 markings, 5610503 edges, 513 markings/sec, 865 secs
lola: 433201 markings, 5643624 edges, 521 markings/sec, 870 secs
lola: 435810 markings, 5676536 edges, 522 markings/sec, 875 secs
lola: 438408 markings, 5709738 edges, 520 markings/sec, 880 secs
lola: 440911 markings, 5746640 edges, 501 markings/sec, 885 secs
lola: 443414 markings, 5783390 edges, 501 markings/sec, 890 secs
lola: 445924 markings, 5820003 edges, 502 markings/sec, 895 secs
lola: 448336 markings, 5860134 edges, 482 markings/sec, 900 secs
lola: 450838 markings, 5897239 edges, 500 markings/sec, 905 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown 1 1 1 unknown 1 1 1 unknown unknown 1 unknown unknown unknown 1 unknown
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-5 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-7 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494540154955

--------------------
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="PhaseVariation-PT-D30CS010"
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/PhaseVariation-PT-D30CS010.tgz
mv PhaseVariation-PT-D30CS010 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is PhaseVariation-PT-D30CS010, 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 r048-smll-149440869600137"
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 ;