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_CloudDeployment-PT-5a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455400020
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496437915893


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


checking for too many tokens
===========================================================================================
S_CloudDeployment-PT-5a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_CloudDeployment-PT-5a @ 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: 855/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 180 places, 675 transitions, 150 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 594 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-5a-UpperBounds.task
lola: MAX(p45) : MAX(p2) : MAX(p46) : MAX(p60) : MAX(p116) : MAX(p78) : MAX(p149) : MAX(p78) : MAX(p10) : MAX(p121) : MAX(p61) : MAX(p155) : MAX(p115) : MAX(p63) : MAX(p52) : MAX(p84)
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(p45)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 10 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: 48774 markings, 2529576 edges, 9755 markings/sec, 0 secs
lola: 151569 markings, 4616904 edges, 20559 markings/sec, 5 secs
lola: 190404 markings, 7285451 edges, 7767 markings/sec, 10 secs
lola: 229765 markings, 9653599 edges, 7872 markings/sec, 15 secs
lola: 269391 markings, 12023137 edges, 7925 markings/sec, 20 secs
lola: 312024 markings, 14360826 edges, 8527 markings/sec, 25 secs
lola: 350264 markings, 16830030 edges, 7648 markings/sec, 30 secs
lola: 387654 markings, 19115007 edges, 7478 markings/sec, 35 secs
lola: 425332 markings, 21397981 edges, 7536 markings/sec, 40 secs
lola: 468651 markings, 23553139 edges, 8664 markings/sec, 45 secs
lola: 506276 markings, 26170956 edges, 7525 markings/sec, 50 secs
lola: 543967 markings, 28497611 edges, 7538 markings/sec, 55 secs
lola: 581789 markings, 30787507 edges, 7564 markings/sec, 60 secs
lola: 622076 markings, 32903980 edges, 8057 markings/sec, 65 secs
lola: 661944 markings, 35439288 edges, 7974 markings/sec, 70 secs
lola: 698869 markings, 37760213 edges, 7385 markings/sec, 75 secs
lola: 736181 markings, 40000587 edges, 7462 markings/sec, 80 secs
lola: 772068 markings, 42217378 edges, 7177 markings/sec, 85 secs
lola: 815475 markings, 44658147 edges, 8681 markings/sec, 90 secs
lola: 851544 markings, 46956182 edges, 7214 markings/sec, 95 secs
lola: 888634 markings, 49204622 edges, 7418 markings/sec, 100 secs
lola: 925191 markings, 51367747 edges, 7311 markings/sec, 105 secs
lola: 962178 markings, 53490508 edges, 7397 markings/sec, 110 secs
lola: 990275 markings, 55641498 edges, 5619 markings/sec, 115 secs
lola: 1019908 markings, 57756996 edges, 5927 markings/sec, 120 secs
lola: 1051758 markings, 59911176 edges, 6370 markings/sec, 125 secs
lola: 1088167 markings, 61914150 edges, 7282 markings/sec, 130 secs
lola: 1117446 markings, 64133836 edges, 5856 markings/sec, 135 secs
lola: 1148208 markings, 66101251 edges, 6152 markings/sec, 140 secs
lola: 1176535 markings, 68317007 edges, 5665 markings/sec, 145 secs
lola: 1206511 markings, 70414011 edges, 5995 markings/sec, 150 secs
lola: 1248418 markings, 72398981 edges, 8381 markings/sec, 155 secs
lola: 1272946 markings, 74672973 edges, 4906 markings/sec, 160 secs
lola: 1301710 markings, 76740415 edges, 5753 markings/sec, 165 secs
lola: 1332567 markings, 78878959 edges, 6171 markings/sec, 170 secs
lola: 1362844 markings, 80953924 edges, 6055 markings/sec, 175 secs
lola: 1400450 markings, 82985048 edges, 7521 markings/sec, 180 secs
lola: 1426920 markings, 85131834 edges, 5294 markings/sec, 185 secs
lola: 1456078 markings, 87222620 edges, 5832 markings/sec, 190 secs
lola: 1487149 markings, 89389184 edges, 6214 markings/sec, 195 secs
lola: 1523905 markings, 91364696 edges, 7351 markings/sec, 200 secs
lola: 1552389 markings, 93540976 edges, 5697 markings/sec, 205 secs
lola: 1581399 markings, 95494064 edges, 5802 markings/sec, 210 secs
lola: 1609896 markings, 97650257 edges, 5699 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(p2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 10 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p46)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 10 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: 48579 markings, 2518703 edges, 9716 markings/sec, 0 secs
lola: 150792 markings, 4607959 edges, 20443 markings/sec, 5 secs
lola: 189989 markings, 7253036 edges, 7839 markings/sec, 10 secs
lola: 228717 markings, 9593556 edges, 7746 markings/sec, 15 secs
lola: 267860 markings, 11904140 edges, 7829 markings/sec, 20 secs
lola: 307980 markings, 14215856 edges, 8024 markings/sec, 25 secs
lola: 346806 markings, 16652117 edges, 7765 markings/sec, 30 secs
lola: 384234 markings, 18909837 edges, 7486 markings/sec, 35 secs
lola: 421357 markings, 21159936 edges, 7425 markings/sec, 40 secs
lola: 460381 markings, 23289169 edges, 7805 markings/sec, 45 secs
lola: 503260 markings, 25757069 edges, 8576 markings/sec, 50 secs
lola: 537694 markings, 28122158 edges, 6887 markings/sec, 55 secs
lola: 574560 markings, 30354477 edges, 7373 markings/sec, 60 secs
lola: 610913 markings, 32516729 edges, 7271 markings/sec, 65 secs
lola: 652057 markings, 34932534 edges, 8229 markings/sec, 70 secs
lola: 690710 markings, 37146433 edges, 7731 markings/sec, 75 secs
lola: 726348 markings, 39420403 edges, 7128 markings/sec, 80 secs
lola: 762349 markings, 41613262 edges, 7200 markings/sec, 85 secs
lola: 803375 markings, 43916621 edges, 8205 markings/sec, 90 secs
lola: 839505 markings, 46233253 edges, 7226 markings/sec, 95 secs
lola: 876676 markings, 48459917 edges, 7434 markings/sec, 100 secs
lola: 912934 markings, 50647438 edges, 7252 markings/sec, 105 secs
lola: 956437 markings, 52591492 edges, 8701 markings/sec, 110 secs
lola: 980542 markings, 54854250 edges, 4821 markings/sec, 115 secs
lola: 1008955 markings, 56912650 edges, 5683 markings/sec, 120 secs
lola: 1038421 markings, 59054048 edges, 5893 markings/sec, 125 secs
lola: 1067683 markings, 61050847 edges, 5852 markings/sec, 130 secs
lola: 1103946 markings, 63117733 edges, 7253 markings/sec, 135 secs
lola: 1132817 markings, 65228437 edges, 5774 markings/sec, 140 secs
lola: 1161252 markings, 67271031 edges, 5687 markings/sec, 145 secs
lola: 1192587 markings, 69407739 edges, 6267 markings/sec, 150 secs
lola: 1225834 markings, 71429477 edges, 6649 markings/sec, 155 secs
lola: 1257354 markings, 73539925 edges, 6304 markings/sec, 160 secs
lola: 1285217 markings, 75548094 edges, 5573 markings/sec, 165 secs
lola: 1314475 markings, 77655669 edges, 5852 markings/sec, 170 secs
lola: 1344809 markings, 79759665 edges, 6067 markings/sec, 175 secs
lola: 1383511 markings, 81705768 edges, 7740 markings/sec, 180 secs
lola: 1411299 markings, 83880403 edges, 5558 markings/sec, 185 secs
lola: 1439218 markings, 85821416 edges, 5584 markings/sec, 190 secs
lola: 1466438 markings, 87952249 edges, 5444 markings/sec, 195 secs
lola: 1495824 markings, 89972903 edges, 5877 markings/sec, 200 secs
lola: 1538272 markings, 91862174 edges, 8490 markings/sec, 205 secs
lola: 1560669 markings, 94087694 edges, 4479 markings/sec, 210 secs
lola: 1588081 markings, 96086400 edges, 5482 markings/sec, 215 secs
lola: 1617230 markings, 98166373 edges, 5830 markings/sec, 220 secs
lola: 1646263 markings, 100137786 edges, 5807 markings/sec, 225 secs
lola: 1678856 markings, 102188226 edges, 6519 markings/sec, 230 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p60)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 10 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 256 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p116)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 10 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 5 will run for 280 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p78)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 10 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: 52966 markings, 2476680 edges, 10593 markings/sec, 0 secs
lola: 95917 markings, 5009503 edges, 8590 markings/sec, 5 secs
lola: 133253 markings, 7191217 edges, 7467 markings/sec, 10 secs
lola: 171560 markings, 9462513 edges, 7661 markings/sec, 15 secs
lola: 211025 markings, 11789534 edges, 7893 markings/sec, 20 secs
lola: 247199 markings, 13926045 edges, 7235 markings/sec, 25 secs
lola: 287028 markings, 16271667 edges, 7966 markings/sec, 30 secs
lola: 320999 markings, 18271007 edges, 6794 markings/sec, 35 secs
lola: 360458 markings, 20587251 edges, 7892 markings/sec, 40 secs
lola: 394131 markings, 22541136 edges, 6735 markings/sec, 45 secs
lola: 431126 markings, 24766433 edges, 7399 markings/sec, 50 secs
lola: 465253 markings, 26779044 edges, 6825 markings/sec, 55 secs
lola: 499707 markings, 28813343 edges, 6891 markings/sec, 60 secs
lola: 537662 markings, 31047090 edges, 7591 markings/sec, 65 secs
lola: 576184 markings, 33301770 edges, 7704 markings/sec, 70 secs
lola: 612981 markings, 35492856 edges, 7359 markings/sec, 75 secs
lola: 650761 markings, 37700742 edges, 7556 markings/sec, 80 secs
lola: 687232 markings, 39872933 edges, 7294 markings/sec, 85 secs
lola: 722422 markings, 41947647 edges, 7038 markings/sec, 90 secs
lola: 757896 markings, 44039026 edges, 7095 markings/sec, 95 secs
lola: 796095 markings, 46271135 edges, 7640 markings/sec, 100 secs
lola: 837616 markings, 48684697 edges, 8304 markings/sec, 105 secs
lola: 877297 markings, 51041424 edges, 7936 markings/sec, 110 secs
lola: 915044 markings, 53314137 edges, 7549 markings/sec, 115 secs
lola: 984289 markings, 55545557 edges, 13849 markings/sec, 120 secs
lola: 1055772 markings, 57610883 edges, 14297 markings/sec, 125 secs
lola: 1126184 markings, 59641552 edges, 14082 markings/sec, 130 secs
lola: 1197028 markings, 61853490 edges, 14169 markings/sec, 135 secs
lola: 1238700 markings, 64133056 edges, 8334 markings/sec, 140 secs
lola: 1278149 markings, 66290228 edges, 7890 markings/sec, 145 secs
lola: 1318754 markings, 68510942 edges, 8121 markings/sec, 150 secs
lola: 1395909 markings, 70876170 edges, 15431 markings/sec, 155 secs
lola: 1473274 markings, 73096036 edges, 15473 markings/sec, 160 secs
lola: 1553357 markings, 75398168 edges, 16017 markings/sec, 165 secs
lola: 1629640 markings, 77676774 edges, 15257 markings/sec, 170 secs
lola: 1696075 markings, 79550874 edges, 13287 markings/sec, 175 secs
lola: 1724627 markings, 81836401 edges, 5710 markings/sec, 180 secs
lola: 1758335 markings, 83897855 edges, 6742 markings/sec, 185 secs
lola: 1791744 markings, 85896550 edges, 6682 markings/sec, 190 secs
lola: 1827158 markings, 87804722 edges, 7083 markings/sec, 195 secs
lola: 1868461 markings, 90212869 edges, 8261 markings/sec, 200 secs
lola: 1904738 markings, 92603107 edges, 7255 markings/sec, 205 secs
lola: 1941173 markings, 94869464 edges, 7287 markings/sec, 210 secs
lola: 1988153 markings, 97000408 edges, 9396 markings/sec, 215 secs
lola: 2020811 markings, 99614528 edges, 6532 markings/sec, 220 secs
lola: 2059188 markings, 101904467 edges, 7675 markings/sec, 225 secs
lola: 2096358 markings, 104192454 edges, 7434 markings/sec, 230 secs
lola: 2132531 markings, 106300798 edges, 7235 markings/sec, 235 secs
lola: 2174431 markings, 108401916 edges, 8380 markings/sec, 240 secs
lola: 2209251 markings, 110927050 edges, 6964 markings/sec, 245 secs
lola: 2246954 markings, 113214687 edges, 7541 markings/sec, 250 secs
lola: 2285089 markings, 115476780 edges, 7627 markings/sec, 255 secs
lola: 2330945 markings, 117521534 edges, 9171 markings/sec, 260 secs
lola: 2361798 markings, 120086920 edges, 6171 markings/sec, 265 secs
lola: 2398626 markings, 122329477 edges, 7366 markings/sec, 270 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 280 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p149)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 10 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: 48642 markings, 2639003 edges, 9728 markings/sec, 0 secs
lola: 96298 markings, 5257979 edges, 9531 markings/sec, 5 secs
lola: 143906 markings, 7806368 edges, 9522 markings/sec, 10 secs
lola: 186284 markings, 10227162 edges, 8476 markings/sec, 15 secs
lola: 232979 markings, 12796336 edges, 9339 markings/sec, 20 secs
lola: 279961 markings, 15378524 edges, 9396 markings/sec, 25 secs
lola: 327545 markings, 17992752 edges, 9517 markings/sec, 30 secs
lola: 373798 markings, 20467670 edges, 9251 markings/sec, 35 secs
lola: 421528 markings, 22899710 edges, 9546 markings/sec, 40 secs
lola: 463712 markings, 25408619 edges, 8437 markings/sec, 45 secs
lola: 505056 markings, 27731496 edges, 8269 markings/sec, 50 secs
lola: 550581 markings, 30132490 edges, 9105 markings/sec, 55 secs
lola: 590756 markings, 32480840 edges, 8035 markings/sec, 60 secs
lola: 634949 markings, 34939643 edges, 8839 markings/sec, 65 secs
lola: 679562 markings, 37416066 edges, 8923 markings/sec, 70 secs
lola: 725814 markings, 39984534 edges, 9250 markings/sec, 75 secs
lola: 774806 markings, 42657101 edges, 9798 markings/sec, 80 secs
lola: 822703 markings, 45258275 edges, 9579 markings/sec, 85 secs
lola: 867282 markings, 47748584 edges, 8916 markings/sec, 90 secs
lola: 913485 markings, 50283558 edges, 9241 markings/sec, 95 secs
lola: 960244 markings, 52882898 edges, 9352 markings/sec, 100 secs
lola: 1007487 markings, 55480946 edges, 9449 markings/sec, 105 secs
lola: 1055301 markings, 58045927 edges, 9563 markings/sec, 110 secs
lola: 1098904 markings, 60453591 edges, 8721 markings/sec, 115 secs
lola: 1141912 markings, 62895059 edges, 8602 markings/sec, 120 secs
lola: 1184137 markings, 65235187 edges, 8445 markings/sec, 125 secs
lola: 1226625 markings, 67581838 edges, 8498 markings/sec, 130 secs
lola: 1270370 markings, 70007468 edges, 8749 markings/sec, 135 secs
lola: 1314662 markings, 72479338 edges, 8858 markings/sec, 140 secs
lola: 1360281 markings, 75004991 edges, 9124 markings/sec, 145 secs
lola: 1406575 markings, 77355351 edges, 9259 markings/sec, 150 secs
lola: 1447127 markings, 79689647 edges, 8110 markings/sec, 155 secs
lola: 1490795 markings, 82207069 edges, 8734 markings/sec, 160 secs
lola: 1544986 markings, 84420226 edges, 10838 markings/sec, 165 secs
lola: 1587368 markings, 86655553 edges, 8476 markings/sec, 170 secs
lola: 1638162 markings, 88924188 edges, 10159 markings/sec, 175 secs
lola: 1679458 markings, 91295995 edges, 8259 markings/sec, 180 secs
lola: 1731920 markings, 93493634 edges, 10492 markings/sec, 185 secs
lola: 1782572 markings, 95676540 edges, 10130 markings/sec, 190 secs
lola: 1832165 markings, 97880671 edges, 9919 markings/sec, 195 secs
lola: 1879340 markings, 100084205 edges, 9435 markings/sec, 200 secs
lola: 1906222 markings, 102552912 edges, 5376 markings/sec, 205 secs
lola: 1906874 markings, 105493622 edges, 130 markings/sec, 210 secs
lola: 1961791 markings, 107823476 edges, 10983 markings/sec, 215 secs
lola: 2012839 markings, 110116630 edges, 10210 markings/sec, 220 secs
lola: 2044766 markings, 112629772 edges, 6385 markings/sec, 225 secs
lola: 2078546 markings, 115199482 edges, 6756 markings/sec, 230 secs
lola: 2122818 markings, 117370821 edges, 8854 markings/sec, 235 secs
lola: 2168720 markings, 119602461 edges, 9180 markings/sec, 240 secs
lola: 2215287 markings, 121791203 edges, 9313 markings/sec, 245 secs
lola: 2241763 markings, 124265695 edges, 5295 markings/sec, 250 secs
lola: 2281218 markings, 126632976 edges, 7891 markings/sec, 255 secs
lola: 2325146 markings, 128844094 edges, 8786 markings/sec, 260 secs
lola: 2363220 markings, 131129820 edges, 7615 markings/sec, 265 secs
lola: 2402474 markings, 133409172 edges, 7851 markings/sec, 270 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 280 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p78)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 10 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: 52720 markings, 2462289 edges, 10544 markings/sec, 0 secs
lola: 95821 markings, 5000775 edges, 8620 markings/sec, 5 secs
lola: 133154 markings, 7187617 edges, 7467 markings/sec, 10 secs
lola: 171447 markings, 9458142 edges, 7659 markings/sec, 15 secs
lola: 210969 markings, 11784856 edges, 7904 markings/sec, 20 secs
lola: 247170 markings, 13921029 edges, 7240 markings/sec, 25 secs
lola: 286972 markings, 16266767 edges, 7960 markings/sec, 30 secs
lola: 320804 markings, 18261803 edges, 6766 markings/sec, 35 secs
lola: 360436 markings, 20574898 edges, 7926 markings/sec, 40 secs
lola: 394125 markings, 22536210 edges, 6738 markings/sec, 45 secs
lola: 431372 markings, 24780647 edges, 7449 markings/sec, 50 secs
lola: 465769 markings, 26808542 edges, 6879 markings/sec, 55 secs
lola: 500619 markings, 28862070 edges, 6970 markings/sec, 60 secs
lola: 539126 markings, 31082545 edges, 7701 markings/sec, 65 secs
lola: 576840 markings, 33360890 edges, 7543 markings/sec, 70 secs
lola: 613912 markings, 35536638 edges, 7414 markings/sec, 75 secs
lola: 651289 markings, 37750753 edges, 7475 markings/sec, 80 secs
lola: 687739 markings, 39903627 edges, 7290 markings/sec, 85 secs
lola: 722638 markings, 41958912 edges, 6980 markings/sec, 90 secs
lola: 757891 markings, 44037238 edges, 7051 markings/sec, 95 secs
lola: 796003 markings, 46236658 edges, 7622 markings/sec, 100 secs
lola: 837001 markings, 48656169 edges, 8200 markings/sec, 105 secs
lola: 876145 markings, 51009263 edges, 7829 markings/sec, 110 secs
lola: 914426 markings, 53258162 edges, 7656 markings/sec, 115 secs
lola: 982188 markings, 55484922 edges, 13552 markings/sec, 120 secs
lola: 1054292 markings, 57566120 edges, 14421 markings/sec, 125 secs
lola: 1124232 markings, 59584979 edges, 13988 markings/sec, 130 secs
lola: 1195606 markings, 61775686 edges, 14275 markings/sec, 135 secs
lola: 1237367 markings, 64060401 edges, 8352 markings/sec, 140 secs
lola: 1276861 markings, 66220788 edges, 7899 markings/sec, 145 secs
lola: 1317175 markings, 68426945 edges, 8063 markings/sec, 150 secs
lola: 1392798 markings, 70787289 edges, 15125 markings/sec, 155 secs
lola: 1470370 markings, 73013703 edges, 15514 markings/sec, 160 secs
lola: 1549478 markings, 75283998 edges, 15822 markings/sec, 165 secs
lola: 1626234 markings, 77548187 edges, 15351 markings/sec, 170 secs
lola: 1692360 markings, 79428746 edges, 13225 markings/sec, 175 secs
lola: 1724190 markings, 81626050 edges, 6366 markings/sec, 180 secs
lola: 1755748 markings, 83685000 edges, 6312 markings/sec, 185 secs
lola: 1788860 markings, 85669153 edges, 6622 markings/sec, 190 secs
lola: 1820668 markings, 87628488 edges, 6362 markings/sec, 195 secs
lola: 1864054 markings, 90053679 edges, 8677 markings/sec, 200 secs
lola: 1900938 markings, 92423452 edges, 7377 markings/sec, 205 secs
lola: 1938449 markings, 94700148 edges, 7502 markings/sec, 210 secs
lola: 1983985 markings, 96811417 edges, 9107 markings/sec, 215 secs
lola: 2017252 markings, 99402011 edges, 6653 markings/sec, 220 secs
lola: 2054967 markings, 101703620 edges, 7543 markings/sec, 225 secs
lola: 2093518 markings, 103955979 edges, 7710 markings/sec, 230 secs
lola: 2129072 markings, 106148583 edges, 7111 markings/sec, 235 secs
lola: 2173697 markings, 108129918 edges, 8925 markings/sec, 240 secs
lola: 2206260 markings, 110740004 edges, 6513 markings/sec, 245 secs
lola: 2244668 markings, 113016932 edges, 7682 markings/sec, 250 secs
lola: 2281716 markings, 115312482 edges, 7410 markings/sec, 255 secs
lola: 2325336 markings, 117407132 edges, 8724 markings/sec, 260 secs
lola: 2359557 markings, 119902490 edges, 6844 markings/sec, 265 secs
lola: 2396253 markings, 122174219 edges, 7339 markings/sec, 270 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 280 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 10 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: 45878 markings, 2519175 edges, 9176 markings/sec, 0 secs
lola: 85032 markings, 5013809 edges, 7831 markings/sec, 5 secs
lola: 127424 markings, 7532720 edges, 8478 markings/sec, 10 secs
lola: 170828 markings, 10102436 edges, 8681 markings/sec, 15 secs
lola: 210441 markings, 12525223 edges, 7923 markings/sec, 20 secs
lola: 253629 markings, 15119713 edges, 8638 markings/sec, 25 secs
lola: 299096 markings, 17724961 edges, 9093 markings/sec, 30 secs
lola: 341961 markings, 20344074 edges, 8573 markings/sec, 35 secs
lola: 389170 markings, 22686221 edges, 9442 markings/sec, 40 secs
lola: 447483 markings, 24378059 edges, 11663 markings/sec, 45 secs
lola: 516046 markings, 25839598 edges, 13713 markings/sec, 50 secs
lola: 562348 markings, 28087134 edges, 9260 markings/sec, 55 secs
lola: 575977 markings, 31289899 edges, 2726 markings/sec, 60 secs
lola: 588904 markings, 34527117 edges, 2585 markings/sec, 65 secs
lola: 639171 markings, 36730324 edges, 10053 markings/sec, 70 secs
lola: 670563 markings, 39582489 edges, 6278 markings/sec, 75 secs
lola: 710457 markings, 42197518 edges, 7979 markings/sec, 80 secs
lola: 751089 markings, 44720541 edges, 8126 markings/sec, 85 secs
lola: 788836 markings, 47093743 edges, 7549 markings/sec, 90 secs
lola: 846807 markings, 48771680 edges, 11594 markings/sec, 95 secs
lola: 863542 markings, 51723475 edges, 3347 markings/sec, 100 secs
lola: 900663 markings, 54223011 edges, 7424 markings/sec, 105 secs
lola: 941022 markings, 56480507 edges, 8072 markings/sec, 110 secs
lola: 978509 markings, 58788434 edges, 7497 markings/sec, 115 secs
lola: 1015641 markings, 61086619 edges, 7426 markings/sec, 120 secs
lola: 1051949 markings, 63388347 edges, 7262 markings/sec, 125 secs
lola: 1089835 markings, 65563086 edges, 7577 markings/sec, 130 secs
lola: 1124402 markings, 67923366 edges, 6913 markings/sec, 135 secs
lola: 1175140 markings, 70062538 edges, 10148 markings/sec, 140 secs
lola: 1219478 markings, 72420091 edges, 8868 markings/sec, 145 secs
lola: 1249864 markings, 75285833 edges, 6077 markings/sec, 150 secs
lola: 1292110 markings, 77712454 edges, 8449 markings/sec, 155 secs
lola: 1327387 markings, 80239720 edges, 7055 markings/sec, 160 secs
lola: 1364513 markings, 82553721 edges, 7425 markings/sec, 165 secs
lola: 1409108 markings, 84729402 edges, 8919 markings/sec, 170 secs
lola: 1443817 markings, 87350185 edges, 6942 markings/sec, 175 secs
lola: 1485630 markings, 89773074 edges, 8363 markings/sec, 180 secs
lola: 1524876 markings, 92258982 edges, 7849 markings/sec, 185 secs
lola: 1566526 markings, 94773277 edges, 8330 markings/sec, 190 secs
lola: 1611822 markings, 97071372 edges, 9059 markings/sec, 195 secs
lola: 1649300 markings, 99756680 edges, 7496 markings/sec, 200 secs
lola: 1688673 markings, 102260533 edges, 7875 markings/sec, 205 secs
lola: 1727198 markings, 104579279 edges, 7705 markings/sec, 210 secs
lola: 1768752 markings, 107026212 edges, 8311 markings/sec, 215 secs
lola: 1827864 markings, 108636962 edges, 11822 markings/sec, 220 secs
lola: 1847369 markings, 111518288 edges, 3901 markings/sec, 225 secs
lola: 1884733 markings, 113993962 edges, 7473 markings/sec, 230 secs
lola: 1926711 markings, 116170365 edges, 8396 markings/sec, 235 secs
lola: 1958440 markings, 118626743 edges, 6346 markings/sec, 240 secs
lola: 1996210 markings, 120826176 edges, 7554 markings/sec, 245 secs
lola: 2030888 markings, 123070178 edges, 6936 markings/sec, 250 secs
lola: 2072895 markings, 125388543 edges, 8401 markings/sec, 255 secs
lola: 2109343 markings, 127861576 edges, 7290 markings/sec, 260 secs
lola: 2147493 markings, 130187244 edges, 7630 markings/sec, 265 secs
lola: 2187256 markings, 132596462 edges, 7953 markings/sec, 270 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 280 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p121)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 10 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: 42885 markings, 2497050 edges, 8577 markings/sec, 0 secs
lola: 84709 markings, 5004423 edges, 8365 markings/sec, 5 secs
lola: 122578 markings, 7235745 edges, 7574 markings/sec, 10 secs
lola: 164810 markings, 9711078 edges, 8446 markings/sec, 15 secs
lola: 206819 markings, 12316009 edges, 8402 markings/sec, 20 secs
lola: 247477 markings, 14722066 edges, 8132 markings/sec, 25 secs
lola: 291657 markings, 17164594 edges, 8836 markings/sec, 30 secs
lola: 335987 markings, 19892097 edges, 8866 markings/sec, 35 secs
lola: 376684 markings, 22382670 edges, 8139 markings/sec, 40 secs
lola: 422183 markings, 24830093 edges, 9100 markings/sec, 45 secs
lola: 478284 markings, 26639874 edges, 11220 markings/sec, 50 secs
lola: 513942 markings, 29027071 edges, 7132 markings/sec, 55 secs
lola: 581403 markings, 30443917 edges, 13492 markings/sec, 60 secs
lola: 632111 markings, 32524668 edges, 10142 markings/sec, 65 secs
lola: 675787 markings, 34980629 edges, 8735 markings/sec, 70 secs
lola: 718489 markings, 37304562 edges, 8540 markings/sec, 75 secs
lola: 776050 markings, 39136760 edges, 11512 markings/sec, 80 secs
lola: 846057 markings, 40544455 edges, 14001 markings/sec, 85 secs
lola: 886979 markings, 42858818 edges, 8184 markings/sec, 90 secs
lola: 899736 markings, 45932603 edges, 2551 markings/sec, 95 secs
lola: 912058 markings, 49038717 edges, 2464 markings/sec, 100 secs
lola: 954120 markings, 51288530 edges, 8412 markings/sec, 105 secs
lola: 967539 markings, 54270133 edges, 2684 markings/sec, 110 secs
lola: 979902 markings, 57327370 edges, 2473 markings/sec, 115 secs
lola: 1007245 markings, 59994208 edges, 5469 markings/sec, 120 secs
lola: 1067114 markings, 61815189 edges, 11974 markings/sec, 125 secs
lola: 1113884 markings, 64178963 edges, 9354 markings/sec, 130 secs
lola: 1163267 markings, 66299129 edges, 9877 markings/sec, 135 secs
lola: 1176883 markings, 69562233 edges, 2723 markings/sec, 140 secs
lola: 1207511 markings, 72252661 edges, 6126 markings/sec, 145 secs
lola: 1247756 markings, 74660397 edges, 8049 markings/sec, 150 secs
lola: 1283219 markings, 77225356 edges, 7093 markings/sec, 155 secs
lola: 1326605 markings, 79493086 edges, 8677 markings/sec, 160 secs
lola: 1366344 markings, 81842030 edges, 7948 markings/sec, 165 secs
lola: 1403588 markings, 84208158 edges, 7449 markings/sec, 170 secs
lola: 1445449 markings, 86454950 edges, 8372 markings/sec, 175 secs
lola: 1495075 markings, 88534163 edges, 9925 markings/sec, 180 secs
lola: 1524588 markings, 91234498 edges, 5903 markings/sec, 185 secs
lola: 1558024 markings, 93958793 edges, 6687 markings/sec, 190 secs
lola: 1600752 markings, 96313406 edges, 8546 markings/sec, 195 secs
lola: 1641979 markings, 98781247 edges, 8245 markings/sec, 200 secs
lola: 1680518 markings, 101368233 edges, 7708 markings/sec, 205 secs
lola: 1720415 markings, 103994529 edges, 7979 markings/sec, 210 secs
lola: 1771333 markings, 105832887 edges, 10184 markings/sec, 215 secs
lola: 1808564 markings, 108060794 edges, 7446 markings/sec, 220 secs
lola: 1840326 markings, 110456696 edges, 6352 markings/sec, 225 secs
lola: 1871593 markings, 112964700 edges, 6253 markings/sec, 230 secs
lola: 1908007 markings, 115220570 edges, 7283 markings/sec, 235 secs
lola: 1946129 markings, 117571451 edges, 7624 markings/sec, 240 secs
lola: 1983641 markings, 120019024 edges, 7502 markings/sec, 245 secs
lola: 2020885 markings, 122241250 edges, 7449 markings/sec, 250 secs
lola: 2059163 markings, 124462885 edges, 7656 markings/sec, 255 secs
lola: 2094516 markings, 126685830 edges, 7071 markings/sec, 260 secs
lola: 2135228 markings, 128793999 edges, 8142 markings/sec, 265 secs
lola: 2167028 markings, 131106124 edges, 6360 markings/sec, 270 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 280 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p61)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 10 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: 51952 markings, 2430656 edges, 10390 markings/sec, 0 secs
lola: 94942 markings, 4960707 edges, 8598 markings/sec, 5 secs
lola: 132176 markings, 7135058 edges, 7447 markings/sec, 10 secs
lola: 170155 markings, 9388722 edges, 7596 markings/sec, 15 secs
lola: 209830 markings, 11719676 edges, 7935 markings/sec, 20 secs
lola: 245656 markings, 13840495 edges, 7165 markings/sec, 25 secs
lola: 285626 markings, 16183476 edges, 7994 markings/sec, 30 secs
lola: 319057 markings, 18155719 edges, 6686 markings/sec, 35 secs
lola: 359130 markings, 20472993 edges, 8015 markings/sec, 40 secs
lola: 392308 markings, 22463026 edges, 6636 markings/sec, 45 secs
lola: 429922 markings, 24694913 edges, 7523 markings/sec, 50 secs
lola: 464460 markings, 26724097 edges, 6908 markings/sec, 55 secs
lola: 498232 markings, 28733939 edges, 6754 markings/sec, 60 secs
lola: 535665 markings, 30939494 edges, 7487 markings/sec, 65 secs
lola: 574099 markings, 33145630 edges, 7687 markings/sec, 70 secs
lola: 609811 markings, 35310163 edges, 7142 markings/sec, 75 secs
lola: 646634 markings, 37484432 edges, 7365 markings/sec, 80 secs
lola: 682647 markings, 39595400 edges, 7203 markings/sec, 85 secs
lola: 716869 markings, 41632649 edges, 6844 markings/sec, 90 secs
lola: 753010 markings, 43685947 edges, 7228 markings/sec, 95 secs
lola: 788254 markings, 45800939 edges, 7049 markings/sec, 100 secs
lola: 828863 markings, 48212244 edges, 8122 markings/sec, 105 secs
lola: 867960 markings, 50538025 edges, 7819 markings/sec, 110 secs
lola: 906090 markings, 52757647 edges, 7626 markings/sec, 115 secs
lola: 964881 markings, 54978644 edges, 11758 markings/sec, 120 secs
lola: 1037856 markings, 57085485 edges, 14595 markings/sec, 125 secs
lola: 1106472 markings, 59067515 edges, 13723 markings/sec, 130 secs
lola: 1177584 markings, 61121532 edges, 14222 markings/sec, 135 secs
lola: 1225915 markings, 63427479 edges, 9666 markings/sec, 140 secs
lola: 1265211 markings, 65576956 edges, 7859 markings/sec, 145 secs
lola: 1303671 markings, 67680431 edges, 7692 markings/sec, 150 secs
lola: 1365540 markings, 69998718 edges, 12374 markings/sec, 155 secs
lola: 1442204 markings, 72197597 edges, 15333 markings/sec, 160 secs
lola: 1518840 markings, 74398915 edges, 15327 markings/sec, 165 secs
lola: 1596035 markings, 76635733 edges, 15439 markings/sec, 170 secs
lola: 1661601 markings, 78663087 edges, 13113 markings/sec, 175 secs
lola: 1698386 markings, 80813121 edges, 7357 markings/sec, 180 secs
lola: 1733663 markings, 82840463 edges, 7055 markings/sec, 185 secs
lola: 1765996 markings, 84888780 edges, 6467 markings/sec, 190 secs
lola: 1798468 markings, 86863492 edges, 6494 markings/sec, 195 secs
lola: 1838714 markings, 89196351 edges, 8049 markings/sec, 200 secs
lola: 1879086 markings, 91513114 edges, 8074 markings/sec, 205 secs
lola: 1915801 markings, 93838219 edges, 7343 markings/sec, 210 secs
lola: 1955270 markings, 96083212 edges, 7894 markings/sec, 215 secs
lola: 1996950 markings, 98499428 edges, 8336 markings/sec, 220 secs
lola: 2033159 markings, 100877479 edges, 7242 markings/sec, 225 secs
lola: 2069535 markings, 103140572 edges, 7275 markings/sec, 230 secs
lola: 2106136 markings, 105330199 edges, 7320 markings/sec, 235 secs
lola: 2146507 markings, 107376481 edges, 8074 markings/sec, 240 secs
lola: 2183172 markings, 109867921 edges, 7333 markings/sec, 245 secs
lola: 2220806 markings, 112180236 edges, 7527 markings/sec, 250 secs
lola: 2257945 markings, 114424939 edges, 7428 markings/sec, 255 secs
lola: 2296538 markings, 116604042 edges, 7719 markings/sec, 260 secs
lola: 2336073 markings, 118995755 edges, 7907 markings/sec, 265 secs
lola: 2372521 markings, 121256903 edges, 7290 markings/sec, 270 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 280 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p155)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 10 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: 66181 markings, 2663674 edges, 13236 markings/sec, 0 secs
lola: 125105 markings, 5261764 edges, 11785 markings/sec, 5 secs
lola: 170526 markings, 7874957 edges, 9084 markings/sec, 10 secs
lola: 217399 markings, 10423109 edges, 9375 markings/sec, 15 secs
lola: 266250 markings, 13059082 edges, 9770 markings/sec, 20 secs
lola: 319473 markings, 15736248 edges, 10645 markings/sec, 25 secs
lola: 367489 markings, 18292879 edges, 9603 markings/sec, 30 secs
lola: 416770 markings, 20887778 edges, 9856 markings/sec, 35 secs
lola: 467076 markings, 23450413 edges, 10061 markings/sec, 40 secs
lola: 515696 markings, 25940460 edges, 9724 markings/sec, 45 secs
lola: 561875 markings, 28305212 edges, 9236 markings/sec, 50 secs
lola: 605613 markings, 30626853 edges, 8748 markings/sec, 55 secs
lola: 656799 markings, 33312633 edges, 10237 markings/sec, 60 secs
lola: 702696 markings, 35737943 edges, 9179 markings/sec, 65 secs
lola: 749767 markings, 38319239 edges, 9414 markings/sec, 70 secs
lola: 785684 markings, 40817328 edges, 7183 markings/sec, 75 secs
lola: 813218 markings, 43184707 edges, 5507 markings/sec, 80 secs
lola: 834231 markings, 45726445 edges, 4203 markings/sec, 85 secs
lola: 862546 markings, 48273046 edges, 5663 markings/sec, 90 secs
lola: 885657 markings, 50713584 edges, 4622 markings/sec, 95 secs
lola: 910287 markings, 53080067 edges, 4926 markings/sec, 100 secs
lola: 936309 markings, 55376633 edges, 5204 markings/sec, 105 secs
lola: 962020 markings, 57791645 edges, 5142 markings/sec, 110 secs
lola: 988738 markings, 60104313 edges, 5344 markings/sec, 115 secs
lola: 1014591 markings, 62393859 edges, 5171 markings/sec, 120 secs
lola: 1039906 markings, 64656668 edges, 5063 markings/sec, 125 secs
lola: 1066312 markings, 66903931 edges, 5281 markings/sec, 130 secs
lola: 1090144 markings, 69154096 edges, 4766 markings/sec, 135 secs
lola: 1138731 markings, 71669298 edges, 9717 markings/sec, 140 secs
lola: 1189112 markings, 74353677 edges, 10076 markings/sec, 145 secs
lola: 1237992 markings, 77024325 edges, 9776 markings/sec, 150 secs
lola: 1287282 markings, 79632204 edges, 9858 markings/sec, 155 secs
lola: 1336336 markings, 82176844 edges, 9811 markings/sec, 160 secs
lola: 1383035 markings, 84676610 edges, 9340 markings/sec, 165 secs
lola: 1429501 markings, 87153068 edges, 9293 markings/sec, 170 secs
lola: 1468940 markings, 89292750 edges, 7888 markings/sec, 175 secs
lola: 1483848 markings, 92047163 edges, 2982 markings/sec, 180 secs
lola: 1509188 markings, 94580229 edges, 5068 markings/sec, 185 secs
lola: 1534843 markings, 97033431 edges, 5131 markings/sec, 190 secs
lola: 1559314 markings, 99458541 edges, 4894 markings/sec, 195 secs
lola: 1583875 markings, 101762532 edges, 4912 markings/sec, 200 secs
lola: 1624116 markings, 103986986 edges, 8048 markings/sec, 205 secs
lola: 1663442 markings, 106295031 edges, 7865 markings/sec, 210 secs
lola: 1704308 markings, 108493855 edges, 8173 markings/sec, 215 secs
lola: 1745067 markings, 110774545 edges, 8152 markings/sec, 220 secs
lola: 1769886 markings, 113288791 edges, 4964 markings/sec, 225 secs
lola: 1794066 markings, 115810713 edges, 4836 markings/sec, 230 secs
lola: 1828941 markings, 118419988 edges, 6975 markings/sec, 235 secs
lola: 1872261 markings, 120906207 edges, 8664 markings/sec, 240 secs
lola: 1901450 markings, 123236425 edges, 5838 markings/sec, 245 secs
lola: 1931317 markings, 125613563 edges, 5973 markings/sec, 250 secs
lola: 1960250 markings, 127884682 edges, 5787 markings/sec, 255 secs
lola: 2024974 markings, 128391168 edges, 12945 markings/sec, 260 secs
lola: 2082687 markings, 129180402 edges, 11543 markings/sec, 265 secs
lola: 2114098 markings, 131141827 edges, 6282 markings/sec, 270 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 280 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p115)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 10 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: 47807 markings, 2580689 edges, 9561 markings/sec, 0 secs
lola: 98921 markings, 5098836 edges, 10223 markings/sec, 5 secs
lola: 156829 markings, 7594537 edges, 11582 markings/sec, 10 secs
lola: 219992 markings, 9776637 edges, 12633 markings/sec, 15 secs
lola: 258367 markings, 12152286 edges, 7675 markings/sec, 20 secs
lola: 281132 markings, 14600796 edges, 4553 markings/sec, 25 secs
lola: 302243 markings, 17551717 edges, 4222 markings/sec, 30 secs
lola: 346829 markings, 20562154 edges, 8917 markings/sec, 35 secs
lola: 398946 markings, 22984172 edges, 10423 markings/sec, 40 secs
lola: 426928 markings, 25868807 edges, 5596 markings/sec, 45 secs
lola: 470201 markings, 28389079 edges, 8655 markings/sec, 50 secs
lola: 512618 markings, 30988394 edges, 8483 markings/sec, 55 secs
lola: 552028 markings, 33499733 edges, 7882 markings/sec, 60 secs
lola: 594947 markings, 35988984 edges, 8584 markings/sec, 65 secs
lola: 650609 markings, 38122361 edges, 11132 markings/sec, 70 secs
lola: 672972 markings, 40553533 edges, 4473 markings/sec, 75 secs
lola: 710238 markings, 43184664 edges, 7453 markings/sec, 80 secs
lola: 749576 markings, 45616445 edges, 7868 markings/sec, 85 secs
lola: 790770 markings, 48080935 edges, 8239 markings/sec, 90 secs
lola: 828322 markings, 50448617 edges, 7510 markings/sec, 95 secs
lola: 867625 markings, 52761318 edges, 7861 markings/sec, 100 secs
lola: 907292 markings, 55048815 edges, 7933 markings/sec, 105 secs
lola: 947890 markings, 57364857 edges, 8120 markings/sec, 110 secs
lola: 981290 markings, 59663906 edges, 6680 markings/sec, 115 secs
lola: 1017842 markings, 62021478 edges, 7310 markings/sec, 120 secs
lola: 1057006 markings, 64278986 edges, 7833 markings/sec, 125 secs
lola: 1093434 markings, 66568368 edges, 7286 markings/sec, 130 secs
lola: 1130841 markings, 68818384 edges, 7481 markings/sec, 135 secs
lola: 1191860 markings, 71161317 edges, 12204 markings/sec, 140 secs
lola: 1221926 markings, 73628233 edges, 6013 markings/sec, 145 secs
lola: 1254027 markings, 76044596 edges, 6420 markings/sec, 150 secs
lola: 1288656 markings, 78139649 edges, 6926 markings/sec, 155 secs
lola: 1328358 markings, 80556946 edges, 7940 markings/sec, 160 secs
lola: 1366404 markings, 82823307 edges, 7609 markings/sec, 165 secs
lola: 1429235 markings, 85016763 edges, 12566 markings/sec, 170 secs
lola: 1480294 markings, 87392119 edges, 10212 markings/sec, 175 secs
lola: 1525682 markings, 89674417 edges, 9078 markings/sec, 180 secs
lola: 1593882 markings, 91727150 edges, 13640 markings/sec, 185 secs
lola: 1631943 markings, 93978301 edges, 7612 markings/sec, 190 secs
lola: 1654215 markings, 96288398 edges, 4454 markings/sec, 195 secs
lola: 1673360 markings, 99012880 edges, 3829 markings/sec, 200 secs
lola: 1718505 markings, 101797648 edges, 9029 markings/sec, 205 secs
lola: 1754468 markings, 104197395 edges, 7193 markings/sec, 210 secs
lola: 1789618 markings, 106973483 edges, 7030 markings/sec, 215 secs
lola: 1830284 markings, 109456676 edges, 8133 markings/sec, 220 secs
lola: 1869474 markings, 111908157 edges, 7838 markings/sec, 225 secs
lola: 1922283 markings, 113975880 edges, 10562 markings/sec, 230 secs
lola: 1943888 markings, 116381985 edges, 4321 markings/sec, 235 secs
lola: 1981132 markings, 118870804 edges, 7449 markings/sec, 240 secs
lola: 2022880 markings, 121166600 edges, 8350 markings/sec, 245 secs
lola: 2059965 markings, 123447350 edges, 7417 markings/sec, 250 secs
lola: 2097334 markings, 125726062 edges, 7474 markings/sec, 255 secs
lola: 2135108 markings, 128011300 edges, 7555 markings/sec, 260 secs
lola: 2167611 markings, 130292283 edges, 6501 markings/sec, 265 secs
lola: 2208656 markings, 132617364 edges, 8209 markings/sec, 270 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 280 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p63)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 10 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: 45202 markings, 2600488 edges, 9040 markings/sec, 0 secs
lola: 84809 markings, 4989508 edges, 7921 markings/sec, 5 secs
lola: 129198 markings, 7576214 edges, 8878 markings/sec, 10 secs
lola: 174025 markings, 9948163 edges, 8965 markings/sec, 15 secs
lola: 218008 markings, 12664847 edges, 8797 markings/sec, 20 secs
lola: 259085 markings, 15165456 edges, 8215 markings/sec, 25 secs
lola: 306722 markings, 17268345 edges, 9527 markings/sec, 30 secs
lola: 360207 markings, 18879628 edges, 10697 markings/sec, 35 secs
lola: 414257 markings, 20858345 edges, 10810 markings/sec, 40 secs
lola: 465436 markings, 23274938 edges, 10236 markings/sec, 45 secs
lola: 475967 markings, 26592898 edges, 2106 markings/sec, 50 secs
lola: 497374 markings, 29665625 edges, 4281 markings/sec, 55 secs
lola: 555995 markings, 31618908 edges, 11724 markings/sec, 60 secs
lola: 582453 markings, 34692140 edges, 5292 markings/sec, 65 secs
lola: 623247 markings, 37185285 edges, 8159 markings/sec, 70 secs
lola: 663370 markings, 39643296 edges, 8025 markings/sec, 75 secs
lola: 704875 markings, 41735646 edges, 8301 markings/sec, 80 secs
lola: 750507 markings, 43926683 edges, 9126 markings/sec, 85 secs
lola: 781516 markings, 46520425 edges, 6202 markings/sec, 90 secs
lola: 814037 markings, 49165772 edges, 6504 markings/sec, 95 secs
lola: 852315 markings, 51476162 edges, 7656 markings/sec, 100 secs
lola: 889811 markings, 53779290 edges, 7499 markings/sec, 105 secs
lola: 928464 markings, 56020045 edges, 7731 markings/sec, 110 secs
lola: 965016 markings, 58290566 edges, 7310 markings/sec, 115 secs
lola: 1001768 markings, 60580084 edges, 7350 markings/sec, 120 secs
lola: 1041942 markings, 63004400 edges, 8035 markings/sec, 125 secs
lola: 1089442 markings, 64916452 edges, 9500 markings/sec, 130 secs
lola: 1131164 markings, 67291508 edges, 8344 markings/sec, 135 secs
lola: 1163110 markings, 69925761 edges, 6389 markings/sec, 140 secs
lola: 1199738 markings, 72457987 edges, 7326 markings/sec, 145 secs
lola: 1236189 markings, 74701197 edges, 7290 markings/sec, 150 secs
lola: 1273169 markings, 77040085 edges, 7396 markings/sec, 155 secs
lola: 1309552 markings, 79253538 edges, 7277 markings/sec, 160 secs
lola: 1349867 markings, 81412913 edges, 8063 markings/sec, 165 secs
lola: 1385171 markings, 83857916 edges, 7061 markings/sec, 170 secs
lola: 1424763 markings, 86025830 edges, 7918 markings/sec, 175 secs
lola: 1460659 markings, 88434480 edges, 7179 markings/sec, 180 secs
lola: 1499763 markings, 90624789 edges, 7821 markings/sec, 185 secs
lola: 1537589 markings, 92938646 edges, 7565 markings/sec, 190 secs
lola: 1573233 markings, 95231787 edges, 7129 markings/sec, 195 secs
lola: 1613823 markings, 97378288 edges, 8118 markings/sec, 200 secs
lola: 1649046 markings, 99837987 edges, 7045 markings/sec, 205 secs
lola: 1685282 markings, 102064376 edges, 7247 markings/sec, 210 secs
lola: 1720975 markings, 104230995 edges, 7139 markings/sec, 215 secs
lola: 1758959 markings, 106521082 edges, 7597 markings/sec, 220 secs
lola: 1794666 markings, 108709674 edges, 7141 markings/sec, 225 secs
lola: 1833200 markings, 110936070 edges, 7707 markings/sec, 230 secs
lola: 1868427 markings, 113138566 edges, 7045 markings/sec, 235 secs
lola: 1908740 markings, 115542860 edges, 8063 markings/sec, 240 secs
lola: 1946341 markings, 117830156 edges, 7520 markings/sec, 245 secs
lola: 1989283 markings, 120256495 edges, 8588 markings/sec, 250 secs
lola: 2027774 markings, 122753881 edges, 7698 markings/sec, 255 secs
lola: 2071233 markings, 125307184 edges, 8692 markings/sec, 260 secs
lola: 2114801 markings, 127753531 edges, 8714 markings/sec, 265 secs
lola: 2156576 markings, 130070791 edges, 8355 markings/sec, 270 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 280 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p52)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 10 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: 61107 markings, 2400165 edges, 12221 markings/sec, 0 secs
lola: 125496 markings, 4874456 edges, 12878 markings/sec, 5 secs
lola: 160912 markings, 7196188 edges, 7083 markings/sec, 10 secs
lola: 200550 markings, 9567186 edges, 7928 markings/sec, 15 secs
lola: 238732 markings, 11953443 edges, 7636 markings/sec, 20 secs
lola: 276693 markings, 14239069 edges, 7592 markings/sec, 25 secs
lola: 314479 markings, 16589970 edges, 7557 markings/sec, 30 secs
lola: 350087 markings, 18812396 edges, 7122 markings/sec, 35 secs
lola: 388339 markings, 21102608 edges, 7650 markings/sec, 40 secs
lola: 422112 markings, 23263918 edges, 6755 markings/sec, 45 secs
lola: 459924 markings, 25518360 edges, 7562 markings/sec, 50 secs
lola: 491802 markings, 27600854 edges, 6376 markings/sec, 55 secs
lola: 529728 markings, 29779768 edges, 7585 markings/sec, 60 secs
lola: 565362 markings, 32091622 edges, 7127 markings/sec, 65 secs
lola: 603075 markings, 34425572 edges, 7543 markings/sec, 70 secs
lola: 637742 markings, 36678352 edges, 6933 markings/sec, 75 secs
lola: 673808 markings, 38951312 edges, 7213 markings/sec, 80 secs
lola: 710398 markings, 41202143 edges, 7318 markings/sec, 85 secs
lola: 743997 markings, 43334568 edges, 6720 markings/sec, 90 secs
lola: 777924 markings, 45476016 edges, 6785 markings/sec, 95 secs
lola: 810025 markings, 47665691 edges, 6420 markings/sec, 100 secs
lola: 843432 markings, 49916615 edges, 6681 markings/sec, 105 secs
lola: 875957 markings, 52087380 edges, 6505 markings/sec, 110 secs
lola: 907188 markings, 54191706 edges, 6246 markings/sec, 115 secs
lola: 959573 markings, 56311819 edges, 10477 markings/sec, 120 secs
lola: 1029469 markings, 58329187 edges, 13979 markings/sec, 125 secs
lola: 1099969 markings, 60365510 edges, 14100 markings/sec, 130 secs
lola: 1169472 markings, 62372563 edges, 13901 markings/sec, 135 secs
lola: 1217081 markings, 64429689 edges, 9522 markings/sec, 140 secs
lola: 1253785 markings, 66437686 edges, 7341 markings/sec, 145 secs
lola: 1291705 markings, 68512612 edges, 7584 markings/sec, 150 secs
lola: 1331739 markings, 70516472 edges, 8007 markings/sec, 155 secs
lola: 1401813 markings, 72523787 edges, 14015 markings/sec, 160 secs
lola: 1468923 markings, 74451791 edges, 13422 markings/sec, 165 secs
lola: 1538166 markings, 76439746 edges, 13849 markings/sec, 170 secs
lola: 1604922 markings, 78397551 edges, 13351 markings/sec, 175 secs
lola: 1681450 markings, 80439689 edges, 15306 markings/sec, 180 secs
lola: 1808216 markings, 82420182 edges, 25353 markings/sec, 185 secs
lola: 1926209 markings, 84308295 edges, 23599 markings/sec, 190 secs
lola: 2065840 markings, 86377713 edges, 27926 markings/sec, 195 secs
lola: 2188631 markings, 88353494 edges, 24558 markings/sec, 200 secs
lola: 2259089 markings, 90411475 edges, 14092 markings/sec, 205 secs
lola: 2315536 markings, 92461420 edges, 11289 markings/sec, 210 secs
lola: 2370263 markings, 94443181 edges, 10945 markings/sec, 215 secs
lola: 2428059 markings, 96413862 edges, 11559 markings/sec, 220 secs
lola: 2489919 markings, 98488039 edges, 12372 markings/sec, 225 secs
lola: 2551443 markings, 100571316 edges, 12305 markings/sec, 230 secs
lola: 2621486 markings, 102627111 edges, 14009 markings/sec, 235 secs
lola: 2735812 markings, 104692593 edges, 22865 markings/sec, 240 secs
lola: 2868384 markings, 106655967 edges, 26514 markings/sec, 245 secs
lola: 2957504 markings, 108702716 edges, 17824 markings/sec, 250 secs
lola: 3001543 markings, 110804310 edges, 8808 markings/sec, 255 secs
lola: 3059863 markings, 112842702 edges, 11664 markings/sec, 260 secs
lola: 3129099 markings, 114802255 edges, 13847 markings/sec, 265 secs
lola: 3175008 markings, 116967415 edges, 9182 markings/sec, 270 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 281 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p84)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 10 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: 52574 markings, 2455185 edges, 10515 markings/sec, 0 secs
lola: 95102 markings, 4958954 edges, 8506 markings/sec, 5 secs
lola: 132479 markings, 7141855 edges, 7475 markings/sec, 10 secs
lola: 170519 markings, 9402341 edges, 7608 markings/sec, 15 secs
lola: 210280 markings, 11733672 edges, 7952 markings/sec, 20 secs
lola: 246145 markings, 13858401 edges, 7173 markings/sec, 25 secs
lola: 285988 markings, 16201641 edges, 7969 markings/sec, 30 secs
lola: 319583 markings, 18186938 edges, 6719 markings/sec, 35 secs
lola: 359684 markings, 20488290 edges, 8020 markings/sec, 40 secs
lola: 392940 markings, 22476743 edges, 6651 markings/sec, 45 secs
lola: 430407 markings, 24708252 edges, 7493 markings/sec, 50 secs
lola: 464941 markings, 26740577 edges, 6907 markings/sec, 55 secs
lola: 499411 markings, 28793037 edges, 6894 markings/sec, 60 secs
lola: 537529 markings, 31045506 edges, 7624 markings/sec, 65 secs
lola: 576442 markings, 33333695 edges, 7783 markings/sec, 70 secs
lola: 613342 markings, 35516770 edges, 7380 markings/sec, 75 secs
lola: 651005 markings, 37727645 edges, 7533 markings/sec, 80 secs
lola: 687670 markings, 39895442 edges, 7333 markings/sec, 85 secs
lola: 722815 markings, 41972210 edges, 7029 markings/sec, 90 secs
lola: 758338 markings, 44070008 edges, 7105 markings/sec, 95 secs
lola: 796633 markings, 46306609 edges, 7659 markings/sec, 100 secs
lola: 837867 markings, 48743347 edges, 8247 markings/sec, 105 secs
lola: 878046 markings, 51094448 edges, 8036 markings/sec, 110 secs
lola: 915895 markings, 53366592 edges, 7570 markings/sec, 115 secs
lola: 986308 markings, 55603581 edges, 14083 markings/sec, 120 secs
lola: 1057624 markings, 57664505 edges, 14263 markings/sec, 125 secs
lola: 1128348 markings, 59703551 edges, 14145 markings/sec, 130 secs
lola: 1198657 markings, 61941559 edges, 14062 markings/sec, 135 secs
lola: 1240418 markings, 64227617 edges, 8352 markings/sec, 140 secs
lola: 1280197 markings, 66403542 edges, 7956 markings/sec, 145 secs
lola: 1321327 markings, 68654519 edges, 8226 markings/sec, 150 secs
lola: 1398586 markings, 70952921 edges, 15452 markings/sec, 155 secs
lola: 1473271 markings, 73096111 edges, 14937 markings/sec, 160 secs
lola: 1551259 markings, 75338352 edges, 15598 markings/sec, 165 secs
lola: 1626427 markings, 77564399 edges, 15034 markings/sec, 170 secs
lola: 1692456 markings, 79447464 edges, 13206 markings/sec, 175 secs
lola: 1724388 markings, 81670522 edges, 6386 markings/sec, 180 secs
lola: 1756337 markings, 83758088 edges, 6390 markings/sec, 185 secs
lola: 1789556 markings, 85759623 edges, 6644 markings/sec, 190 secs
lola: 1824773 markings, 87685156 edges, 7043 markings/sec, 195 secs
lola: 1866894 markings, 90136168 edges, 8424 markings/sec, 200 secs
lola: 1902779 markings, 92540373 edges, 7177 markings/sec, 205 secs
lola: 1940235 markings, 94813343 edges, 7491 markings/sec, 210 secs
lola: 1987826 markings, 96927696 edges, 9518 markings/sec, 215 secs
lola: 2020224 markings, 99561835 edges, 6480 markings/sec, 220 secs
lola: 2058310 markings, 101862435 edges, 7617 markings/sec, 225 secs
lola: 2095979 markings, 104166656 edges, 7534 markings/sec, 230 secs
lola: 2132527 markings, 106298981 edges, 7310 markings/sec, 235 secs
lola: 2174391 markings, 108369770 edges, 8373 markings/sec, 240 secs
lola: 2209050 markings, 110878938 edges, 6932 markings/sec, 245 secs
lola: 2245838 markings, 113152415 edges, 7358 markings/sec, 250 secs
lola: 2283825 markings, 115404236 edges, 7597 markings/sec, 255 secs
lola: 2327762 markings, 117454157 edges, 8787 markings/sec, 260 secs
lola: 2360004 markings, 119964189 edges, 6448 markings/sec, 265 secs
lola: 2396467 markings, 122201390 edges, 7293 markings/sec, 270 secs
lola: 2432801 markings, 124391062 edges, 7267 markings/sec, 275 secs
lola: time limit reached - aborting
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: unknown 1 unknown 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown

FORMULA CloudDeployment-PT-5a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5a-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5a-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5a-UpperBounds-4 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496441455284

--------------------
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_CloudDeployment-PT-5a"
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_CloudDeployment-PT-5a.tgz
mv S_CloudDeployment-PT-5a 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_CloudDeployment-PT-5a, 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-149488455400020"
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 ;