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

--------------------
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 1494613718930


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ 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: 48407 markings, 2508974 edges, 9681 markings/sec, 0 secs
lola: 149523 markings, 4590498 edges, 20223 markings/sec, 5 secs
lola: 190102 markings, 7255666 edges, 8116 markings/sec, 10 secs
lola: 229035 markings, 9632774 edges, 7787 markings/sec, 15 secs
lola: 268819 markings, 11998627 edges, 7957 markings/sec, 20 secs
lola: 311073 markings, 14335255 edges, 8451 markings/sec, 25 secs
lola: 349609 markings, 16798032 edges, 7707 markings/sec, 30 secs
lola: 388256 markings, 19124835 edges, 7729 markings/sec, 35 secs
lola: 425829 markings, 21411735 edges, 7515 markings/sec, 40 secs
lola: 469466 markings, 23565312 edges, 8727 markings/sec, 45 secs
lola: 506309 markings, 26194467 edges, 7369 markings/sec, 50 secs
lola: 544073 markings, 28513896 edges, 7553 markings/sec, 55 secs
lola: 581973 markings, 30803725 edges, 7580 markings/sec, 60 secs
lola: 623948 markings, 32931617 edges, 8395 markings/sec, 65 secs
lola: 662071 markings, 35504850 edges, 7625 markings/sec, 70 secs
lola: 699715 markings, 37825671 edges, 7529 markings/sec, 75 secs
lola: 737133 markings, 40085773 edges, 7484 markings/sec, 80 secs
lola: 774901 markings, 42251842 edges, 7554 markings/sec, 85 secs
lola: 817618 markings, 44709985 edges, 8543 markings/sec, 90 secs
lola: 852647 markings, 47033545 edges, 7006 markings/sec, 95 secs
lola: 889733 markings, 49285413 edges, 7417 markings/sec, 100 secs
lola: 925865 markings, 51470823 edges, 7226 markings/sec, 105 secs
lola: 964012 markings, 53543741 edges, 7629 markings/sec, 110 secs
lola: 990917 markings, 55713612 edges, 5381 markings/sec, 115 secs
lola: 1021068 markings, 57819433 edges, 6030 markings/sec, 120 secs
lola: 1052812 markings, 59971058 edges, 6349 markings/sec, 125 secs
lola: 1090673 markings, 61958574 edges, 7572 markings/sec, 130 secs
lola: 1120032 markings, 64183252 edges, 5872 markings/sec, 135 secs
lola: 1148512 markings, 66212222 edges, 5696 markings/sec, 140 secs
lola: 1177829 markings, 68409083 edges, 5863 markings/sec, 145 secs
lola: 1207637 markings, 70492551 edges, 5962 markings/sec, 150 secs
lola: 1248691 markings, 72510538 edges, 8211 markings/sec, 155 secs
lola: 1274496 markings, 74767131 edges, 5161 markings/sec, 160 secs
lola: 1302966 markings, 76840600 edges, 5694 markings/sec, 165 secs
lola: 1333736 markings, 78986661 edges, 6154 markings/sec, 170 secs
lola: 1364253 markings, 81056526 edges, 6103 markings/sec, 175 secs
lola: 1400848 markings, 83125612 edges, 7319 markings/sec, 180 secs
lola: 1428737 markings, 85220271 edges, 5578 markings/sec, 185 secs
lola: 1457992 markings, 87319358 edges, 5851 markings/sec, 190 secs
lola: 1489207 markings, 89476112 edges, 6243 markings/sec, 195 secs
lola: 1526111 markings, 91466490 edges, 7381 markings/sec, 200 secs
lola: 1554274 markings, 93654612 edges, 5633 markings/sec, 205 secs
lola: 1584087 markings, 95584172 edges, 5963 markings/sec, 210 secs
lola: 1611464 markings, 97766131 edges, 5475 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: 47469 markings, 2457667 edges, 9494 markings/sec, 0 secs
lola: 148055 markings, 4575337 edges, 20117 markings/sec, 5 secs
lola: 189748 markings, 7151180 edges, 8339 markings/sec, 10 secs
lola: 227368 markings, 9519998 edges, 7524 markings/sec, 15 secs
lola: 265689 markings, 11821083 edges, 7664 markings/sec, 20 secs
lola: 307792 markings, 14098880 edges, 8421 markings/sec, 25 secs
lola: 345726 markings, 16576027 edges, 7587 markings/sec, 30 secs
lola: 383523 markings, 18827836 edges, 7559 markings/sec, 35 secs
lola: 420216 markings, 21092966 edges, 7339 markings/sec, 40 secs
lola: 457125 markings, 23236422 edges, 7382 markings/sec, 45 secs
lola: 500594 markings, 25701807 edges, 8694 markings/sec, 50 secs
lola: 536277 markings, 28021720 edges, 7137 markings/sec, 55 secs
lola: 573219 markings, 30270196 edges, 7388 markings/sec, 60 secs
lola: 609885 markings, 32445183 edges, 7333 markings/sec, 65 secs
lola: 650033 markings, 34801282 edges, 8030 markings/sec, 70 secs
lola: 688023 markings, 36975066 edges, 7598 markings/sec, 75 secs
lola: 722789 markings, 39256897 edges, 6953 markings/sec, 80 secs
lola: 759615 markings, 41421106 edges, 7365 markings/sec, 85 secs
lola: 800028 markings, 43701360 edges, 8083 markings/sec, 90 secs
lola: 836923 markings, 46050026 edges, 7379 markings/sec, 95 secs
lola: 873005 markings, 48281343 edges, 7216 markings/sec, 100 secs
lola: 909517 markings, 50472799 edges, 7302 markings/sec, 105 secs
lola: 951360 markings, 52415744 edges, 8369 markings/sec, 110 secs
lola: 978493 markings, 54618292 edges, 5427 markings/sec, 115 secs
lola: 1005227 markings, 56658293 edges, 5347 markings/sec, 120 secs
lola: 1034800 markings, 58787359 edges, 5915 markings/sec, 125 secs
lola: 1063979 markings, 60772993 edges, 5836 markings/sec, 130 secs
lola: 1103405 markings, 62776034 edges, 7885 markings/sec, 135 secs
lola: 1129913 markings, 64968477 edges, 5302 markings/sec, 140 secs
lola: 1157959 markings, 67020888 edges, 5609 markings/sec, 145 secs
lola: 1188238 markings, 69142581 edges, 6056 markings/sec, 150 secs
lola: 1218061 markings, 71182243 edges, 5965 markings/sec, 155 secs
lola: 1255176 markings, 73203153 edges, 7423 markings/sec, 160 secs
lola: 1281501 markings, 75305364 edges, 5265 markings/sec, 165 secs
lola: 1310368 markings, 77365450 edges, 5773 markings/sec, 170 secs
lola: 1340795 markings, 79497648 edges, 6085 markings/sec, 175 secs
lola: 1376275 markings, 81468727 edges, 7096 markings/sec, 180 secs
lola: 1405811 markings, 83602886 edges, 5907 markings/sec, 185 secs
lola: 1432747 markings, 85567785 edges, 5387 markings/sec, 190 secs
lola: 1462408 markings, 87646682 edges, 5932 markings/sec, 195 secs
lola: 1492024 markings, 89725185 edges, 5923 markings/sec, 200 secs
lola: 1531609 markings, 91635210 edges, 7917 markings/sec, 205 secs
lola: 1559065 markings, 93783873 edges, 5491 markings/sec, 210 secs
lola: 1584946 markings, 95750463 edges, 5176 markings/sec, 215 secs
lola: 1613168 markings, 97845490 edges, 5644 markings/sec, 220 secs
lola: 1642004 markings, 99852360 edges, 5767 markings/sec, 225 secs
lola: 1673935 markings, 101902313 edges, 6386 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: 52460 markings, 2448151 edges, 10492 markings/sec, 0 secs
lola: 95313 markings, 4974136 edges, 8571 markings/sec, 5 secs
lola: 132440 markings, 7116680 edges, 7425 markings/sec, 10 secs
lola: 169717 markings, 9350699 edges, 7455 markings/sec, 15 secs
lola: 208947 markings, 11656903 edges, 7846 markings/sec, 20 secs
lola: 244617 markings, 13748389 edges, 7134 markings/sec, 25 secs
lola: 284451 markings, 16093045 edges, 7967 markings/sec, 30 secs
lola: 318328 markings, 18053012 edges, 6775 markings/sec, 35 secs
lola: 357016 markings, 20400298 edges, 7738 markings/sec, 40 secs
lola: 390771 markings, 22389299 edges, 6751 markings/sec, 45 secs
lola: 428659 markings, 24567192 edges, 7578 markings/sec, 50 secs
lola: 463094 markings, 26620052 edges, 6887 markings/sec, 55 secs
lola: 496614 markings, 28586341 edges, 6704 markings/sec, 60 secs
lola: 534365 markings, 30838799 edges, 7550 markings/sec, 65 secs
lola: 572049 markings, 33075991 edges, 7537 markings/sec, 70 secs
lola: 609534 markings, 35258364 edges, 7497 markings/sec, 75 secs
lola: 646571 markings, 37469929 edges, 7407 markings/sec, 80 secs
lola: 683465 markings, 39612347 edges, 7379 markings/sec, 85 secs
lola: 718768 markings, 41680236 edges, 7061 markings/sec, 90 secs
lola: 754179 markings, 43790899 edges, 7082 markings/sec, 95 secs
lola: 790566 markings, 45966117 edges, 7277 markings/sec, 100 secs
lola: 831673 markings, 48392076 edges, 8221 markings/sec, 105 secs
lola: 871784 markings, 50728379 edges, 8022 markings/sec, 110 secs
lola: 909623 markings, 52998676 edges, 7568 markings/sec, 115 secs
lola: 973145 markings, 55223392 edges, 12704 markings/sec, 120 secs
lola: 1046077 markings, 57328970 edges, 14586 markings/sec, 125 secs
lola: 1115340 markings, 59327576 edges, 13853 markings/sec, 130 secs
lola: 1188180 markings, 61433076 edges, 14568 markings/sec, 135 secs
lola: 1231350 markings, 63730724 edges, 8634 markings/sec, 140 secs
lola: 1270994 markings, 65898536 edges, 7929 markings/sec, 145 secs
lola: 1310843 markings, 68080230 edges, 7970 markings/sec, 150 secs
lola: 1380570 markings, 70434803 edges, 13945 markings/sec, 155 secs
lola: 1457959 markings, 72655193 edges, 15478 markings/sec, 160 secs
lola: 1538250 markings, 74962604 edges, 16058 markings/sec, 165 secs
lola: 1615587 markings, 77229083 edges, 15467 markings/sec, 170 secs
lola: 1683940 markings, 79222633 edges, 13671 markings/sec, 175 secs
lola: 1718123 markings, 81406103 edges, 6837 markings/sec, 180 secs
lola: 1753172 markings, 83409076 edges, 7010 markings/sec, 185 secs
lola: 1784381 markings, 85464435 edges, 6242 markings/sec, 190 secs
lola: 1817465 markings, 87413130 edges, 6617 markings/sec, 195 secs
lola: 1857909 markings, 89800123 edges, 8089 markings/sec, 200 secs
lola: 1897680 markings, 92099319 edges, 7954 markings/sec, 205 secs
lola: 1934339 markings, 94423216 edges, 7332 markings/sec, 210 secs
lola: 1976258 markings, 96617259 edges, 8384 markings/sec, 215 secs
lola: 2013428 markings, 99124871 edges, 7434 markings/sec, 220 secs
lola: 2051136 markings, 101460584 edges, 7542 markings/sec, 225 secs
lola: 2088648 markings, 103718626 edges, 7502 markings/sec, 230 secs
lola: 2125592 markings, 105891502 edges, 7389 markings/sec, 235 secs
lola: 2167695 markings, 107910145 edges, 8421 markings/sec, 240 secs
lola: 2201787 markings, 110453205 edges, 6818 markings/sec, 245 secs
lola: 2239196 markings, 112747120 edges, 7482 markings/sec, 250 secs
lola: 2276417 markings, 114994585 edges, 7444 markings/sec, 255 secs
lola: 2316756 markings, 117151341 edges, 8068 markings/sec, 260 secs
lola: 2356634 markings, 119509197 edges, 7976 markings/sec, 265 secs
lola: 2390732 markings, 121833064 edges, 6820 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, 2637314 edges, 9728 markings/sec, 0 secs
lola: 96175 markings, 5250959 edges, 9507 markings/sec, 5 secs
lola: 143599 markings, 7793567 edges, 9485 markings/sec, 10 secs
lola: 185916 markings, 10204788 edges, 8463 markings/sec, 15 secs
lola: 232416 markings, 12767492 edges, 9300 markings/sec, 20 secs
lola: 279325 markings, 15344454 edges, 9382 markings/sec, 25 secs
lola: 326720 markings, 17950358 edges, 9479 markings/sec, 30 secs
lola: 372980 markings, 20427188 edges, 9252 markings/sec, 35 secs
lola: 420706 markings, 22862751 edges, 9545 markings/sec, 40 secs
lola: 462954 markings, 25373405 edges, 8450 markings/sec, 45 secs
lola: 504168 markings, 27687534 edges, 8243 markings/sec, 50 secs
lola: 549644 markings, 30085016 edges, 9095 markings/sec, 55 secs
lola: 590107 markings, 32419259 edges, 8093 markings/sec, 60 secs
lola: 633954 markings, 34881256 edges, 8769 markings/sec, 65 secs
lola: 678504 markings, 37351838 edges, 8910 markings/sec, 70 secs
lola: 724524 markings, 39911576 edges, 9204 markings/sec, 75 secs
lola: 773442 markings, 42576141 edges, 9784 markings/sec, 80 secs
lola: 821058 markings, 45179306 edges, 9523 markings/sec, 85 secs
lola: 865918 markings, 47667058 edges, 8972 markings/sec, 90 secs
lola: 912078 markings, 50216910 edges, 9232 markings/sec, 95 secs
lola: 959375 markings, 52838144 edges, 9459 markings/sec, 100 secs
lola: 1006903 markings, 55448558 edges, 9506 markings/sec, 105 secs
lola: 1054386 markings, 58000399 edges, 9497 markings/sec, 110 secs
lola: 1097645 markings, 60391645 edges, 8652 markings/sec, 115 secs
lola: 1140520 markings, 62814712 edges, 8575 markings/sec, 120 secs
lola: 1182930 markings, 65146143 edges, 8482 markings/sec, 125 secs
lola: 1225073 markings, 67492940 edges, 8429 markings/sec, 130 secs
lola: 1268536 markings, 69912729 edges, 8693 markings/sec, 135 secs
lola: 1312868 markings, 72375680 edges, 8866 markings/sec, 140 secs
lola: 1358646 markings, 74897659 edges, 9156 markings/sec, 145 secs
lola: 1404700 markings, 77268923 edges, 9211 markings/sec, 150 secs
lola: 1445370 markings, 79586240 edges, 8134 markings/sec, 155 secs
lola: 1489066 markings, 82099546 edges, 8739 markings/sec, 160 secs
lola: 1542877 markings, 84330467 edges, 10762 markings/sec, 165 secs
lola: 1584683 markings, 86545148 edges, 8361 markings/sec, 170 secs
lola: 1636138 markings, 88774487 edges, 10291 markings/sec, 175 secs
lola: 1676012 markings, 91151561 edges, 7975 markings/sec, 180 secs
lola: 1728018 markings, 93327465 edges, 10401 markings/sec, 185 secs
lola: 1778422 markings, 95495391 edges, 10081 markings/sec, 190 secs
lola: 1827806 markings, 97682600 edges, 9877 markings/sec, 195 secs
lola: 1874823 markings, 99868254 edges, 9403 markings/sec, 200 secs
lola: 1906022 markings, 102239352 edges, 6240 markings/sec, 205 secs
lola: 1906854 markings, 105153558 edges, 166 markings/sec, 210 secs
lola: 1955606 markings, 107562998 edges, 9750 markings/sec, 215 secs
lola: 2007442 markings, 109854754 edges, 10367 markings/sec, 220 secs
lola: 2044676 markings, 112304268 edges, 7447 markings/sec, 225 secs
lola: 2078198 markings, 114878612 edges, 6704 markings/sec, 230 secs
lola: 2117856 markings, 117125600 edges, 7932 markings/sec, 235 secs
lola: 2163510 markings, 119365897 edges, 9131 markings/sec, 240 secs
lola: 2210358 markings, 121552471 edges, 9370 markings/sec, 245 secs
lola: 2236132 markings, 124019028 edges, 5155 markings/sec, 250 secs
lola: 2281096 markings, 126297422 edges, 8993 markings/sec, 255 secs
lola: 2319968 markings, 128596523 edges, 7774 markings/sec, 260 secs
lola: 2358430 markings, 130860951 edges, 7692 markings/sec, 265 secs
lola: 2397121 markings, 133145234 edges, 7738 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: 52507 markings, 2452334 edges, 10501 markings/sec, 0 secs
lola: 95558 markings, 4984515 edges, 8610 markings/sec, 5 secs
lola: 133026 markings, 7158584 edges, 7494 markings/sec, 10 secs
lola: 170988 markings, 9428755 edges, 7592 markings/sec, 15 secs
lola: 210509 markings, 11757731 edges, 7904 markings/sec, 20 secs
lola: 246402 markings, 13878577 edges, 7179 markings/sec, 25 secs
lola: 286199 markings, 16219610 edges, 7959 markings/sec, 30 secs
lola: 319713 markings, 18198229 edges, 6703 markings/sec, 35 secs
lola: 359728 markings, 20498115 edges, 8003 markings/sec, 40 secs
lola: 393146 markings, 22480393 edges, 6684 markings/sec, 45 secs
lola: 430488 markings, 24709108 edges, 7468 markings/sec, 50 secs
lola: 464947 markings, 26740982 edges, 6892 markings/sec, 55 secs
lola: 499195 markings, 28770872 edges, 6850 markings/sec, 60 secs
lola: 537076 markings, 31012152 edges, 7576 markings/sec, 65 secs
lola: 575496 markings, 33280504 edges, 7684 markings/sec, 70 secs
lola: 612468 markings, 35464190 edges, 7394 markings/sec, 75 secs
lola: 650176 markings, 37666521 edges, 7542 markings/sec, 80 secs
lola: 686582 markings, 39816215 edges, 7281 markings/sec, 85 secs
lola: 721254 markings, 41873239 edges, 6934 markings/sec, 90 secs
lola: 756550 markings, 43958232 edges, 7059 markings/sec, 95 secs
lola: 793482 markings, 46143332 edges, 7386 markings/sec, 100 secs
lola: 834533 markings, 48564526 edges, 8210 markings/sec, 105 secs
lola: 874167 markings, 50904284 edges, 7927 markings/sec, 110 secs
lola: 912596 markings, 53138570 edges, 7686 markings/sec, 115 secs
lola: 978056 markings, 55365722 edges, 13092 markings/sec, 120 secs
lola: 1050836 markings, 57466437 edges, 14556 markings/sec, 125 secs
lola: 1120236 markings, 59470327 edges, 13880 markings/sec, 130 secs
lola: 1192678 markings, 61615879 edges, 14488 markings/sec, 135 secs
lola: 1234696 markings, 63913644 edges, 8404 markings/sec, 140 secs
lola: 1274202 markings, 66074580 edges, 7901 markings/sec, 145 secs
lola: 1314255 markings, 68266867 edges, 8011 markings/sec, 150 secs
lola: 1386653 markings, 70611208 edges, 14480 markings/sec, 155 secs
lola: 1464007 markings, 72831455 edges, 15471 markings/sec, 160 secs
lola: 1544890 markings, 75152484 edges, 16177 markings/sec, 165 secs
lola: 1622090 markings, 77431490 edges, 15440 markings/sec, 170 secs
lola: 1688678 markings, 79356658 edges, 13318 markings/sec, 175 secs
lola: 1722685 markings, 81519565 edges, 6801 markings/sec, 180 secs
lola: 1753456 markings, 83586110 edges, 6154 markings/sec, 185 secs
lola: 1787126 markings, 85567956 edges, 6734 markings/sec, 190 secs
lola: 1818890 markings, 87514924 edges, 6353 markings/sec, 195 secs
lola: 1859951 markings, 89931216 edges, 8212 markings/sec, 200 secs
lola: 1898887 markings, 92250111 edges, 7787 markings/sec, 205 secs
lola: 1935911 markings, 94545000 edges, 7405 markings/sec, 210 secs
lola: 1979915 markings, 96671038 edges, 8801 markings/sec, 215 secs
lola: 2015557 markings, 99202181 edges, 7128 markings/sec, 220 secs
lola: 2052431 markings, 101533019 edges, 7375 markings/sec, 225 secs
lola: 2089741 markings, 103777541 edges, 7462 markings/sec, 230 secs
lola: 2125917 markings, 105937743 edges, 7235 markings/sec, 235 secs
lola: 2169128 markings, 107935538 edges, 8642 markings/sec, 240 secs
lola: 2202594 markings, 110512023 edges, 6693 markings/sec, 245 secs
lola: 2240243 markings, 112806545 edges, 7530 markings/sec, 250 secs
lola: 2277929 markings, 115050675 edges, 7537 markings/sec, 255 secs
lola: 2317604 markings, 117220045 edges, 7935 markings/sec, 260 secs
lola: 2357009 markings, 119601949 edges, 7881 markings/sec, 265 secs
lola: 2392671 markings, 121905440 edges, 7132 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: 45494 markings, 2512785 edges, 9099 markings/sec, 0 secs
lola: 84992 markings, 5004937 edges, 7900 markings/sec, 5 secs
lola: 127218 markings, 7512250 edges, 8445 markings/sec, 10 secs
lola: 170677 markings, 10083107 edges, 8692 markings/sec, 15 secs
lola: 210208 markings, 12507210 edges, 7906 markings/sec, 20 secs
lola: 253354 markings, 15099166 edges, 8629 markings/sec, 25 secs
lola: 298678 markings, 17706787 edges, 9065 markings/sec, 30 secs
lola: 341823 markings, 20314478 edges, 8629 markings/sec, 35 secs
lola: 389059 markings, 22661298 edges, 9447 markings/sec, 40 secs
lola: 447391 markings, 24353874 edges, 11666 markings/sec, 45 secs
lola: 515639 markings, 25833036 edges, 13650 markings/sec, 50 secs
lola: 562357 markings, 28088429 edges, 9344 markings/sec, 55 secs
lola: 576114 markings, 31314074 edges, 2751 markings/sec, 60 secs
lola: 589056 markings, 34565053 edges, 2588 markings/sec, 65 secs
lola: 640127 markings, 36749927 edges, 10214 markings/sec, 70 secs
lola: 670814 markings, 39643014 edges, 6137 markings/sec, 75 secs
lola: 710834 markings, 42258878 edges, 8004 markings/sec, 80 secs
lola: 751378 markings, 44790744 edges, 8109 markings/sec, 85 secs
lola: 790409 markings, 47121955 edges, 7806 markings/sec, 90 secs
lola: 848477 markings, 48814818 edges, 11614 markings/sec, 95 secs
lola: 863852 markings, 51803659 edges, 3075 markings/sec, 100 secs
lola: 901782 markings, 54291474 edges, 7586 markings/sec, 105 secs
lola: 943039 markings, 56518751 edges, 8251 markings/sec, 110 secs
lola: 980278 markings, 58855359 edges, 7448 markings/sec, 115 secs
lola: 1018276 markings, 61146092 edges, 7600 markings/sec, 120 secs
lola: 1054815 markings, 63449728 edges, 7308 markings/sec, 125 secs
lola: 1090305 markings, 65668406 edges, 7098 markings/sec, 130 secs
lola: 1126532 markings, 67968413 edges, 7245 markings/sec, 135 secs
lola: 1177253 markings, 70096950 edges, 10144 markings/sec, 140 secs
lola: 1219886 markings, 72515394 edges, 8527 markings/sec, 145 secs
lola: 1250392 markings, 75417738 edges, 6101 markings/sec, 150 secs
lola: 1294915 markings, 77771730 edges, 8905 markings/sec, 155 secs
lola: 1329008 markings, 80368194 edges, 6819 markings/sec, 160 secs
lola: 1368433 markings, 82654982 edges, 7885 markings/sec, 165 secs
lola: 1411638 markings, 84942313 edges, 8641 markings/sec, 170 secs
lola: 1446934 markings, 87577061 edges, 7059 markings/sec, 175 secs
lola: 1488918 markings, 90079152 edges, 8397 markings/sec, 180 secs
lola: 1530834 markings, 92469217 edges, 8383 markings/sec, 185 secs
lola: 1570278 markings, 95056404 edges, 7889 markings/sec, 190 secs
lola: 1616675 markings, 97355420 edges, 9279 markings/sec, 195 secs
lola: 1653865 markings, 100076912 edges, 7438 markings/sec, 200 secs
lola: 1693421 markings, 102568895 edges, 7911 markings/sec, 205 secs
lola: 1733466 markings, 104955677 edges, 8009 markings/sec, 210 secs
lola: 1777064 markings, 107323691 edges, 8720 markings/sec, 215 secs
lola: 1836152 markings, 108983714 edges, 11818 markings/sec, 220 secs
lola: 1853536 markings, 111943606 edges, 3477 markings/sec, 225 secs
lola: 1891240 markings, 114464034 edges, 7541 markings/sec, 230 secs
lola: 1936777 markings, 116531211 edges, 9107 markings/sec, 235 secs
lola: 1967110 markings, 119011290 edges, 6067 markings/sec, 240 secs
lola: 2001939 markings, 121305044 edges, 6966 markings/sec, 245 secs
lola: 2038947 markings, 123557491 edges, 7402 markings/sec, 250 secs
lola: 2078782 markings, 125973173 edges, 7967 markings/sec, 255 secs
lola: 2116879 markings, 128304487 edges, 7619 markings/sec, 260 secs
lola: 2156822 markings, 130617038 edges, 7989 markings/sec, 265 secs
lola: 2194978 markings, 133074151 edges, 7631 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: 42085 markings, 2467371 edges, 8417 markings/sec, 0 secs
lola: 84456 markings, 4951677 edges, 8474 markings/sec, 5 secs
lola: 121764 markings, 7200611 edges, 7462 markings/sec, 10 secs
lola: 163783 markings, 9663656 edges, 8404 markings/sec, 15 secs
lola: 205731 markings, 12242785 edges, 8390 markings/sec, 20 secs
lola: 245991 markings, 14671431 edges, 8052 markings/sec, 25 secs
lola: 289781 markings, 17107558 edges, 8758 markings/sec, 30 secs
lola: 335012 markings, 19815199 edges, 9046 markings/sec, 35 secs
lola: 376218 markings, 22273560 edges, 8241 markings/sec, 40 secs
lola: 421774 markings, 24729655 edges, 9111 markings/sec, 45 secs
lola: 476318 markings, 26591721 edges, 10909 markings/sec, 50 secs
lola: 513551 markings, 28930053 edges, 7447 markings/sec, 55 secs
lola: 579300 markings, 30392868 edges, 13150 markings/sec, 60 secs
lola: 630644 markings, 32436227 edges, 10269 markings/sec, 65 secs
lola: 675287 markings, 34860452 edges, 8929 markings/sec, 70 secs
lola: 717924 markings, 37177008 edges, 8527 markings/sec, 75 secs
lola: 773094 markings, 39088192 edges, 11034 markings/sec, 80 secs
lola: 843432 markings, 40489080 edges, 14068 markings/sec, 85 secs
lola: 886543 markings, 42756953 edges, 8622 markings/sec, 90 secs
lola: 899391 markings, 45844180 edges, 2570 markings/sec, 95 secs
lola: 911778 markings, 48968060 edges, 2477 markings/sec, 100 secs
lola: 953675 markings, 51234358 edges, 8379 markings/sec, 105 secs
lola: 967401 markings, 54234584 edges, 2745 markings/sec, 110 secs
lola: 979815 markings, 57306262 edges, 2483 markings/sec, 115 secs
lola: 1007123 markings, 59970177 edges, 5462 markings/sec, 120 secs
lola: 1067077 markings, 61806341 edges, 11991 markings/sec, 125 secs
lola: 1113877 markings, 64177412 edges, 9360 markings/sec, 130 secs
lola: 1163260 markings, 66297415 edges, 9877 markings/sec, 135 secs
lola: 1176868 markings, 69558226 edges, 2722 markings/sec, 140 secs
lola: 1207528 markings, 72256077 edges, 6132 markings/sec, 145 secs
lola: 1247924 markings, 74664133 edges, 8079 markings/sec, 150 secs
lola: 1283376 markings, 77239324 edges, 7090 markings/sec, 155 secs
lola: 1326676 markings, 79511140 edges, 8660 markings/sec, 160 secs
lola: 1366832 markings, 81853586 edges, 8031 markings/sec, 165 secs
lola: 1403557 markings, 84207482 edges, 7345 markings/sec, 170 secs
lola: 1445429 markings, 86449908 edges, 8374 markings/sec, 175 secs
lola: 1495028 markings, 88523040 edges, 9920 markings/sec, 180 secs
lola: 1524537 markings, 91225127 edges, 5902 markings/sec, 185 secs
lola: 1557975 markings, 93945743 edges, 6688 markings/sec, 190 secs
lola: 1600357 markings, 96304636 edges, 8476 markings/sec, 195 secs
lola: 1641861 markings, 98760007 edges, 8301 markings/sec, 200 secs
lola: 1679888 markings, 101357078 edges, 7605 markings/sec, 205 secs
lola: 1720250 markings, 103959633 edges, 8072 markings/sec, 210 secs
lola: 1770737 markings, 105819091 edges, 10097 markings/sec, 215 secs
lola: 1808469 markings, 108039605 edges, 7546 markings/sec, 220 secs
lola: 1840244 markings, 110437722 edges, 6355 markings/sec, 225 secs
lola: 1871181 markings, 112948505 edges, 6187 markings/sec, 230 secs
lola: 1907921 markings, 115198031 edges, 7348 markings/sec, 235 secs
lola: 1945951 markings, 117547512 edges, 7606 markings/sec, 240 secs
lola: 1983168 markings, 119994094 edges, 7443 markings/sec, 245 secs
lola: 2020318 markings, 122223113 edges, 7430 markings/sec, 250 secs
lola: 2058986 markings, 124456086 edges, 7734 markings/sec, 255 secs
lola: 2094277 markings, 126680838 edges, 7058 markings/sec, 260 secs
lola: 2135388 markings, 128800212 edges, 8222 markings/sec, 265 secs
lola: 2167345 markings, 131112420 edges, 6391 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: 51670 markings, 2406534 edges, 10334 markings/sec, 0 secs
lola: 94465 markings, 4933394 edges, 8559 markings/sec, 5 secs
lola: 132102 markings, 7093483 edges, 7527 markings/sec, 10 secs
lola: 169373 markings, 9342179 edges, 7454 markings/sec, 15 secs
lola: 208982 markings, 11671703 edges, 7922 markings/sec, 20 secs
lola: 244522 markings, 13766416 edges, 7108 markings/sec, 25 secs
lola: 284360 markings, 16100754 edges, 7968 markings/sec, 30 secs
lola: 318037 markings, 18046038 edges, 6735 markings/sec, 35 secs
lola: 356740 markings, 20394179 edges, 7741 markings/sec, 40 secs
lola: 390508 markings, 22384130 edges, 6754 markings/sec, 45 secs
lola: 428395 markings, 24564851 edges, 7577 markings/sec, 50 secs
lola: 462830 markings, 26616974 edges, 6887 markings/sec, 55 secs
lola: 496309 markings, 28577573 edges, 6696 markings/sec, 60 secs
lola: 533544 markings, 30806475 edges, 7447 markings/sec, 65 secs
lola: 570953 markings, 33017944 edges, 7482 markings/sec, 70 secs
lola: 607858 markings, 35141766 edges, 7381 markings/sec, 75 secs
lola: 644295 markings, 37340896 edges, 7287 markings/sec, 80 secs
lola: 679827 markings, 39438668 edges, 7106 markings/sec, 85 secs
lola: 714490 markings, 41485098 edges, 6933 markings/sec, 90 secs
lola: 749362 markings, 43543115 edges, 6974 markings/sec, 95 secs
lola: 784239 markings, 45599863 edges, 6975 markings/sec, 100 secs
lola: 825414 markings, 48010607 edges, 8235 markings/sec, 105 secs
lola: 865125 markings, 50307845 edges, 7942 markings/sec, 110 secs
lola: 901997 markings, 52547263 edges, 7374 markings/sec, 115 secs
lola: 956196 markings, 54726020 edges, 10840 markings/sec, 120 secs
lola: 1029305 markings, 56838737 edges, 14622 markings/sec, 125 secs
lola: 1098452 markings, 58834328 edges, 13829 markings/sec, 130 secs
lola: 1167829 markings, 60840876 edges, 13875 markings/sec, 135 secs
lola: 1220031 markings, 63104853 edges, 10440 markings/sec, 140 secs
lola: 1259656 markings, 65273486 edges, 7925 markings/sec, 145 secs
lola: 1298377 markings, 67391329 edges, 7744 markings/sec, 150 secs
lola: 1354277 markings, 69675139 edges, 11180 markings/sec, 155 secs
lola: 1431085 markings, 71877782 edges, 15362 markings/sec, 160 secs
lola: 1507201 markings, 74064414 edges, 15223 markings/sec, 165 secs
lola: 1584439 markings, 76286467 edges, 15448 markings/sec, 170 secs
lola: 1650953 markings, 78338868 edges, 13303 markings/sec, 175 secs
lola: 1692281 markings, 80455586 edges, 8266 markings/sec, 180 secs
lola: 1726821 markings, 82527396 edges, 6908 markings/sec, 185 secs
lola: 1760302 markings, 84553602 edges, 6696 markings/sec, 190 secs
lola: 1793773 markings, 86525338 edges, 6694 markings/sec, 195 secs
lola: 1833290 markings, 88718966 edges, 7903 markings/sec, 200 secs
lola: 1871079 markings, 91149095 edges, 7558 markings/sec, 205 secs
lola: 1908585 markings, 93458942 edges, 7501 markings/sec, 210 secs
lola: 1946324 markings, 95733416 edges, 7548 markings/sec, 215 secs
lola: 1987488 markings, 98144808 edges, 8233 markings/sec, 220 secs
lola: 2026283 markings, 100442669 edges, 7759 markings/sec, 225 secs
lola: 2063269 markings, 102740220 edges, 7397 markings/sec, 230 secs
lola: 2099544 markings, 104942325 edges, 7255 markings/sec, 235 secs
lola: 2134627 markings, 107039856 edges, 7017 markings/sec, 240 secs
lola: 2176057 markings, 109446458 edges, 8286 markings/sec, 245 secs
lola: 2214338 markings, 111725255 edges, 7656 markings/sec, 250 secs
lola: 2250621 markings, 114008763 edges, 7257 markings/sec, 255 secs
lola: 2288297 markings, 116203827 edges, 7535 markings/sec, 260 secs
lola: 2327652 markings, 118543177 edges, 7871 markings/sec, 265 secs
lola: 2365976 markings, 120789936 edges, 7665 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: 66624 markings, 2677646 edges, 13325 markings/sec, 0 secs
lola: 125241 markings, 5267965 edges, 11723 markings/sec, 5 secs
lola: 170604 markings, 7880974 edges, 9073 markings/sec, 10 secs
lola: 217433 markings, 10424638 edges, 9366 markings/sec, 15 secs
lola: 266105 markings, 13051833 edges, 9734 markings/sec, 20 secs
lola: 318999 markings, 15718193 edges, 10579 markings/sec, 25 secs
lola: 367127 markings, 18273349 edges, 9626 markings/sec, 30 secs
lola: 416246 markings, 20859907 edges, 9824 markings/sec, 35 secs
lola: 466611 markings, 23433235 edges, 10073 markings/sec, 40 secs
lola: 515200 markings, 25917298 edges, 9718 markings/sec, 45 secs
lola: 561138 markings, 28271685 edges, 9188 markings/sec, 50 secs
lola: 605098 markings, 30597035 edges, 8792 markings/sec, 55 secs
lola: 655981 markings, 33271067 edges, 10177 markings/sec, 60 secs
lola: 701882 markings, 35690612 edges, 9180 markings/sec, 65 secs
lola: 749169 markings, 38259091 edges, 9457 markings/sec, 70 secs
lola: 784427 markings, 40745448 edges, 7052 markings/sec, 75 secs
lola: 812618 markings, 43098686 edges, 5638 markings/sec, 80 secs
lola: 833233 markings, 45636107 edges, 4123 markings/sec, 85 secs
lola: 860303 markings, 48211112 edges, 5414 markings/sec, 90 secs
lola: 884324 markings, 50606931 edges, 4804 markings/sec, 95 secs
lola: 908816 markings, 52949398 edges, 4898 markings/sec, 100 secs
lola: 933951 markings, 55244394 edges, 5027 markings/sec, 105 secs
lola: 960484 markings, 57628904 edges, 5307 markings/sec, 110 secs
lola: 986623 markings, 59958511 edges, 5228 markings/sec, 115 secs
lola: 1013117 markings, 62233140 edges, 5299 markings/sec, 120 secs
lola: 1037930 markings, 64510034 edges, 4963 markings/sec, 125 secs
lola: 1064430 markings, 66756845 edges, 5300 markings/sec, 130 secs
lola: 1088558 markings, 69004702 edges, 4826 markings/sec, 135 secs
lola: 1135053 markings, 71478976 edges, 9299 markings/sec, 140 secs
lola: 1187041 markings, 74150145 edges, 10398 markings/sec, 145 secs
lola: 1234514 markings, 76826083 edges, 9495 markings/sec, 150 secs
lola: 1283627 markings, 79434983 edges, 9823 markings/sec, 155 secs
lola: 1332596 markings, 81976050 edges, 9794 markings/sec, 160 secs
lola: 1379081 markings, 84462009 edges, 9297 markings/sec, 165 secs
lola: 1426051 markings, 86950976 edges, 9394 markings/sec, 170 secs
lola: 1466351 markings, 89106976 edges, 8060 markings/sec, 175 secs
lola: 1482048 markings, 91835972 edges, 3139 markings/sec, 180 secs
lola: 1506732 markings, 94343030 edges, 4937 markings/sec, 185 secs
lola: 1531921 markings, 96831165 edges, 5038 markings/sec, 190 secs
lola: 1556635 markings, 99215675 edges, 4943 markings/sec, 195 secs
lola: 1581986 markings, 101514926 edges, 5070 markings/sec, 200 secs
lola: 1619017 markings, 103764001 edges, 7406 markings/sec, 205 secs
lola: 1658977 markings, 106041074 edges, 7992 markings/sec, 210 secs
lola: 1699837 markings, 108251057 edges, 8172 markings/sec, 215 secs
lola: 1741312 markings, 110502243 edges, 8295 markings/sec, 220 secs
lola: 1769819 markings, 112920309 edges, 5701 markings/sec, 225 secs
lola: 1791274 markings, 115513099 edges, 4291 markings/sec, 230 secs
lola: 1822621 markings, 118129374 edges, 6269 markings/sec, 235 secs
lola: 1867081 markings, 120615079 edges, 8892 markings/sec, 240 secs
lola: 1896216 markings, 123034873 edges, 5827 markings/sec, 245 secs
lola: 1925678 markings, 125335978 edges, 5892 markings/sec, 250 secs
lola: 1954783 markings, 127700114 edges, 5821 markings/sec, 255 secs
lola: 2017513 markings, 128316389 edges, 12546 markings/sec, 260 secs
lola: 2076893 markings, 129052967 edges, 11876 markings/sec, 265 secs
lola: 2113804 markings, 130776492 edges, 7382 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: 48041 markings, 2608735 edges, 9608 markings/sec, 0 secs
lola: 99163 markings, 5120663 edges, 10224 markings/sec, 5 secs
lola: 157669 markings, 7612954 edges, 11701 markings/sec, 10 secs
lola: 220920 markings, 9805911 edges, 12650 markings/sec, 15 secs
lola: 258907 markings, 12200931 edges, 7597 markings/sec, 20 secs
lola: 281255 markings, 14692802 edges, 4470 markings/sec, 25 secs
lola: 303184 markings, 17677400 edges, 4386 markings/sec, 30 secs
lola: 347684 markings, 20647998 edges, 8900 markings/sec, 35 secs
lola: 399732 markings, 23064136 edges, 10410 markings/sec, 40 secs
lola: 428355 markings, 25943099 edges, 5725 markings/sec, 45 secs
lola: 470859 markings, 28451998 edges, 8501 markings/sec, 50 secs
lola: 513636 markings, 31060818 edges, 8555 markings/sec, 55 secs
lola: 552724 markings, 33607966 edges, 7818 markings/sec, 60 secs
lola: 597434 markings, 36064920 edges, 8942 markings/sec, 65 secs
lola: 651913 markings, 38205153 edges, 10896 markings/sec, 70 secs
lola: 673872 markings, 40682648 edges, 4392 markings/sec, 75 secs
lola: 712065 markings, 43307664 edges, 7639 markings/sec, 80 secs
lola: 750983 markings, 45752400 edges, 7784 markings/sec, 85 secs
lola: 791890 markings, 48203773 edges, 8181 markings/sec, 90 secs
lola: 830408 markings, 50578048 edges, 7704 markings/sec, 95 secs
lola: 870297 markings, 52890439 edges, 7978 markings/sec, 100 secs
lola: 908570 markings, 55183551 edges, 7655 markings/sec, 105 secs
lola: 949386 markings, 57516616 edges, 8163 markings/sec, 110 secs
lola: 984387 markings, 59854111 edges, 7000 markings/sec, 115 secs
lola: 1021546 markings, 62237472 edges, 7432 markings/sec, 120 secs
lola: 1059592 markings, 64555515 edges, 7609 markings/sec, 125 secs
lola: 1099164 markings, 66842500 edges, 7914 markings/sec, 130 secs
lola: 1137293 markings, 69083709 edges, 7626 markings/sec, 135 secs
lola: 1198540 markings, 71459816 edges, 12249 markings/sec, 140 secs
lola: 1228150 markings, 73901956 edges, 5922 markings/sec, 145 secs
lola: 1258336 markings, 76332328 edges, 6037 markings/sec, 150 secs
lola: 1297988 markings, 78441672 edges, 7930 markings/sec, 155 secs
lola: 1334557 markings, 80906856 edges, 7314 markings/sec, 160 secs
lola: 1373276 markings, 83176603 edges, 7744 markings/sec, 165 secs
lola: 1438865 markings, 85378594 edges, 13118 markings/sec, 170 secs
lola: 1484353 markings, 87803326 edges, 9098 markings/sec, 175 secs
lola: 1542070 markings, 90039504 edges, 11543 markings/sec, 180 secs
lola: 1604275 markings, 92112242 edges, 12441 markings/sec, 185 secs
lola: 1636761 markings, 94415941 edges, 6497 markings/sec, 190 secs
lola: 1657477 markings, 96828584 edges, 4143 markings/sec, 195 secs
lola: 1678789 markings, 99774556 edges, 4262 markings/sec, 200 secs
lola: 1734102 markings, 102329467 edges, 11063 markings/sec, 205 secs
lola: 1759688 markings, 104965585 edges, 5117 markings/sec, 210 secs
lola: 1799525 markings, 107586833 edges, 7967 markings/sec, 215 secs
lola: 1840812 markings, 110083702 edges, 8257 markings/sec, 220 secs
lola: 1884019 markings, 112482400 edges, 8641 markings/sec, 225 secs
lola: 1929367 markings, 114621989 edges, 9070 markings/sec, 230 secs
lola: 1956619 markings, 117138067 edges, 5450 markings/sec, 235 secs
lola: 1993400 markings, 119568316 edges, 7356 markings/sec, 240 secs
lola: 2029816 markings, 121848418 edges, 7283 markings/sec, 245 secs
lola: 2066650 markings, 124145275 edges, 7367 markings/sec, 250 secs
lola: 2103781 markings, 126442647 edges, 7426 markings/sec, 255 secs
lola: 2141871 markings, 128710124 edges, 7618 markings/sec, 260 secs
lola: 2178070 markings, 130979683 edges, 7240 markings/sec, 265 secs
lola: 2218201 markings, 133351249 edges, 8026 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: 45369 markings, 2608401 edges, 9074 markings/sec, 0 secs
lola: 85022 markings, 5000623 edges, 7931 markings/sec, 5 secs
lola: 129405 markings, 7579607 edges, 8877 markings/sec, 10 secs
lola: 174564 markings, 9965365 edges, 9032 markings/sec, 15 secs
lola: 218198 markings, 12728236 edges, 8727 markings/sec, 20 secs
lola: 259597 markings, 15223697 edges, 8280 markings/sec, 25 secs
lola: 306937 markings, 17335001 edges, 9468 markings/sec, 30 secs
lola: 361482 markings, 18916351 edges, 10909 markings/sec, 35 secs
lola: 415922 markings, 20911865 edges, 10888 markings/sec, 40 secs
lola: 466249 markings, 23390538 edges, 10065 markings/sec, 45 secs
lola: 476361 markings, 26732002 edges, 2022 markings/sec, 50 secs
lola: 499551 markings, 29776749 edges, 4638 markings/sec, 55 secs
lola: 557305 markings, 31789372 edges, 11551 markings/sec, 60 secs
lola: 583096 markings, 34901421 edges, 5158 markings/sec, 65 secs
lola: 623918 markings, 37413369 edges, 8164 markings/sec, 70 secs
lola: 664121 markings, 39893916 edges, 8041 markings/sec, 75 secs
lola: 709009 markings, 41855665 edges, 8978 markings/sec, 80 secs
lola: 751264 markings, 44189598 edges, 8451 markings/sec, 85 secs
lola: 783031 markings, 46786387 edges, 6353 markings/sec, 90 secs
lola: 818280 markings, 49329391 edges, 7050 markings/sec, 95 secs
lola: 855634 markings, 51685202 edges, 7471 markings/sec, 100 secs
lola: 893271 markings, 54000695 edges, 7527 markings/sec, 105 secs
lola: 931149 markings, 56277546 edges, 7576 markings/sec, 110 secs
lola: 969589 markings, 58453081 edges, 7688 markings/sec, 115 secs
lola: 1005630 markings, 60807449 edges, 7208 markings/sec, 120 secs
lola: 1047124 markings, 63206957 edges, 8299 markings/sec, 125 secs
lola: 1094109 markings, 65098750 edges, 9397 markings/sec, 130 secs
lola: 1132100 markings, 67619916 edges, 7598 markings/sec, 135 secs
lola: 1164127 markings, 70290333 edges, 6405 markings/sec, 140 secs
lola: 1203300 markings, 72711041 edges, 7835 markings/sec, 145 secs
lola: 1241433 markings, 74926295 edges, 7627 markings/sec, 150 secs
lola: 1278395 markings, 77244907 edges, 7392 markings/sec, 155 secs
lola: 1314709 markings, 79457021 edges, 7263 markings/sec, 160 secs
lola: 1355783 markings, 81651311 edges, 8215 markings/sec, 165 secs
lola: 1389207 markings, 84113495 edges, 6685 markings/sec, 170 secs
lola: 1430621 markings, 86236139 edges, 8283 markings/sec, 175 secs
lola: 1464826 markings, 88694964 edges, 6841 markings/sec, 180 secs
lola: 1504968 markings, 90824113 edges, 8028 markings/sec, 185 secs
lola: 1540455 markings, 93224361 edges, 7097 markings/sec, 190 secs
lola: 1578221 markings, 95483329 edges, 7553 markings/sec, 195 secs
lola: 1619568 markings, 97624607 edges, 8269 markings/sec, 200 secs
lola: 1653100 markings, 100106110 edges, 6706 markings/sec, 205 secs
lola: 1689170 markings, 102319761 edges, 7214 markings/sec, 210 secs
lola: 1725306 markings, 104509269 edges, 7227 markings/sec, 215 secs
lola: 1763092 markings, 106781558 edges, 7557 markings/sec, 220 secs
lola: 1799032 markings, 108953559 edges, 7188 markings/sec, 225 secs
lola: 1836743 markings, 111208568 edges, 7542 markings/sec, 230 secs
lola: 1872062 markings, 113374020 edges, 7064 markings/sec, 235 secs
lola: 1913255 markings, 115836757 edges, 8239 markings/sec, 240 secs
lola: 1950713 markings, 118065760 edges, 7492 markings/sec, 245 secs
lola: 1992878 markings, 120602077 edges, 8433 markings/sec, 250 secs
lola: 2033178 markings, 122997025 edges, 8060 markings/sec, 255 secs
lola: 2076652 markings, 125557942 edges, 8695 markings/sec, 260 secs
lola: 2122008 markings, 127915234 edges, 9071 markings/sec, 265 secs
lola: 2163448 markings, 130250622 edges, 8288 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: 60441 markings, 2389315 edges, 12088 markings/sec, 0 secs
lola: 125366 markings, 4855179 edges, 12985 markings/sec, 5 secs
lola: 160505 markings, 7188671 edges, 7028 markings/sec, 10 secs
lola: 200294 markings, 9554172 edges, 7958 markings/sec, 15 secs
lola: 238532 markings, 11940970 edges, 7648 markings/sec, 20 secs
lola: 276670 markings, 14236084 edges, 7628 markings/sec, 25 secs
lola: 314846 markings, 16597814 edges, 7635 markings/sec, 30 secs
lola: 350458 markings, 18842360 edges, 7122 markings/sec, 35 secs
lola: 389154 markings, 21144040 edges, 7739 markings/sec, 40 secs
lola: 423339 markings, 23328969 edges, 6837 markings/sec, 45 secs
lola: 461779 markings, 25590795 edges, 7688 markings/sec, 50 secs
lola: 494338 markings, 27685636 edges, 6512 markings/sec, 55 secs
lola: 531647 markings, 29936496 edges, 7462 markings/sec, 60 secs
lola: 568171 markings, 32222705 edges, 7305 markings/sec, 65 secs
lola: 605724 markings, 34584866 edges, 7511 markings/sec, 70 secs
lola: 640727 markings, 36843477 edges, 7001 markings/sec, 75 secs
lola: 676044 markings, 39107130 edges, 7063 markings/sec, 80 secs
lola: 713043 markings, 41344736 edges, 7400 markings/sec, 85 secs
lola: 746086 markings, 43506281 edges, 6609 markings/sec, 90 secs
lola: 779658 markings, 45624737 edges, 6714 markings/sec, 95 secs
lola: 812278 markings, 47825408 edges, 6524 markings/sec, 100 secs
lola: 846463 markings, 50055800 edges, 6837 markings/sec, 105 secs
lola: 877888 markings, 52252577 edges, 6285 markings/sec, 110 secs
lola: 909011 markings, 54354286 edges, 6225 markings/sec, 115 secs
lola: 965044 markings, 56469209 edges, 11207 markings/sec, 120 secs
lola: 1035176 markings, 58493388 edges, 14026 markings/sec, 125 secs
lola: 1105656 markings, 60529532 edges, 14096 markings/sec, 130 secs
lola: 1175205 markings, 62537794 edges, 13910 markings/sec, 135 secs
lola: 1220281 markings, 64604754 edges, 9015 markings/sec, 140 secs
lola: 1256645 markings, 66594886 edges, 7273 markings/sec, 145 secs
lola: 1294585 markings, 68670029 edges, 7588 markings/sec, 150 secs
lola: 1337999 markings, 70694869 edges, 8683 markings/sec, 155 secs
lola: 1407457 markings, 72686140 edges, 13892 markings/sec, 160 secs
lola: 1474690 markings, 74615829 edges, 13447 markings/sec, 165 secs
lola: 1543786 markings, 76598453 edges, 13819 markings/sec, 170 secs
lola: 1610896 markings, 78565086 edges, 13422 markings/sec, 175 secs
lola: 1692655 markings, 80607304 edges, 16352 markings/sec, 180 secs
lola: 1818124 markings, 82597792 edges, 25094 markings/sec, 185 secs
lola: 1936535 markings, 84485416 edges, 23682 markings/sec, 190 secs
lola: 2077548 markings, 86576831 edges, 28203 markings/sec, 195 secs
lola: 2201235 markings, 88542132 edges, 24737 markings/sec, 200 secs
lola: 2266238 markings, 90618056 edges, 13001 markings/sec, 205 secs
lola: 2319563 markings, 92679881 edges, 10665 markings/sec, 210 secs
lola: 2382808 markings, 94631794 edges, 12649 markings/sec, 215 secs
lola: 2437753 markings, 96639400 edges, 10989 markings/sec, 220 secs
lola: 2496009 markings, 98714276 edges, 11651 markings/sec, 225 secs
lola: 2558043 markings, 100795815 edges, 12407 markings/sec, 230 secs
lola: 2630611 markings, 102843027 edges, 14514 markings/sec, 235 secs
lola: 2751972 markings, 104915193 edges, 24272 markings/sec, 240 secs
lola: 2882866 markings, 106876545 edges, 26179 markings/sec, 245 secs
lola: 2962062 markings, 108952595 edges, 15839 markings/sec, 250 secs
lola: 3009316 markings, 111042379 edges, 9451 markings/sec, 255 secs
lola: 3066732 markings, 113063111 edges, 11483 markings/sec, 260 secs
lola: 3135353 markings, 115046536 edges, 13724 markings/sec, 265 secs
lola: 3181189 markings, 117222363 edges, 9167 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: 52925 markings, 2475063 edges, 10585 markings/sec, 0 secs
lola: 95804 markings, 5000189 edges, 8576 markings/sec, 5 secs
lola: 133067 markings, 7177010 edges, 7453 markings/sec, 10 secs
lola: 171099 markings, 9437888 edges, 7606 markings/sec, 15 secs
lola: 210569 markings, 11758440 edges, 7894 markings/sec, 20 secs
lola: 246486 markings, 13879376 edges, 7183 markings/sec, 25 secs
lola: 286167 markings, 16218047 edges, 7936 markings/sec, 30 secs
lola: 319725 markings, 18199307 edges, 6712 markings/sec, 35 secs
lola: 359707 markings, 20492623 edges, 7996 markings/sec, 40 secs
lola: 392855 markings, 22475820 edges, 6630 markings/sec, 45 secs
lola: 430258 markings, 24702880 edges, 7481 markings/sec, 50 secs
lola: 464734 markings, 26732854 edges, 6895 markings/sec, 55 secs
lola: 499189 markings, 28769470 edges, 6891 markings/sec, 60 secs
lola: 537157 markings, 31017641 edges, 7594 markings/sec, 65 secs
lola: 575972 markings, 33291293 edges, 7763 markings/sec, 70 secs
lola: 612664 markings, 35472909 edges, 7338 markings/sec, 75 secs
lola: 650367 markings, 37673530 edges, 7541 markings/sec, 80 secs
lola: 686785 markings, 39834641 edges, 7284 markings/sec, 85 secs
lola: 721714 markings, 41904238 edges, 6986 markings/sec, 90 secs
lola: 757202 markings, 44001263 edges, 7098 markings/sec, 95 secs
lola: 795272 markings, 46192102 edges, 7614 markings/sec, 100 secs
lola: 836000 markings, 48635661 edges, 8146 markings/sec, 105 secs
lola: 875665 markings, 50992342 edges, 7933 markings/sec, 110 secs
lola: 914353 markings, 53244041 edges, 7738 markings/sec, 115 secs
lola: 982052 markings, 55480085 edges, 13540 markings/sec, 120 secs
lola: 1054392 markings, 57569109 edges, 14468 markings/sec, 125 secs
lola: 1124928 markings, 59606540 edges, 14107 markings/sec, 130 secs
lola: 1196535 markings, 61825801 edges, 14321 markings/sec, 135 secs
lola: 1238261 markings, 64109471 edges, 8345 markings/sec, 140 secs
lola: 1277769 markings, 66270530 edges, 7902 markings/sec, 145 secs
lola: 1318469 markings, 68498065 edges, 8140 markings/sec, 150 secs
lola: 1392914 markings, 70790338 edges, 14889 markings/sec, 155 secs
lola: 1467463 markings, 72929726 edges, 14910 markings/sec, 160 secs
lola: 1545439 markings, 75168494 edges, 15595 markings/sec, 165 secs
lola: 1620281 markings, 77380918 edges, 14968 markings/sec, 170 secs
lola: 1685662 markings, 79318516 edges, 13076 markings/sec, 175 secs
lola: 1720973 markings, 81473087 edges, 7062 markings/sec, 180 secs
lola: 1753360 markings, 83515344 edges, 6477 markings/sec, 185 secs
lola: 1785807 markings, 85536443 edges, 6489 markings/sec, 190 secs
lola: 1818670 markings, 87493753 edges, 6573 markings/sec, 195 secs
lola: 1859452 markings, 89905117 edges, 8156 markings/sec, 200 secs
lola: 1897857 markings, 92223047 edges, 7681 markings/sec, 205 secs
lola: 1935535 markings, 94516800 edges, 7536 markings/sec, 210 secs
lola: 1979921 markings, 96671081 edges, 8877 markings/sec, 215 secs
lola: 2015651 markings, 99227452 edges, 7146 markings/sec, 220 secs
lola: 2053169 markings, 101579156 edges, 7504 markings/sec, 225 secs
lola: 2090716 markings, 103852493 edges, 7509 markings/sec, 230 secs
lola: 2127557 markings, 106043483 edges, 7368 markings/sec, 235 secs
lola: 2172633 markings, 108009845 edges, 9015 markings/sec, 240 secs
lola: 2204530 markings, 110622932 edges, 6379 markings/sec, 245 secs
lola: 2241932 markings, 112914482 edges, 7480 markings/sec, 250 secs
lola: 2279932 markings, 115187521 edges, 7600 markings/sec, 255 secs
lola: 2322302 markings, 117299763 edges, 8474 markings/sec, 260 secs
lola: 2357257 markings, 119775779 edges, 6991 markings/sec, 265 secs
lola: 2394379 markings, 122045411 edges, 7424 markings/sec, 270 secs
lola: 2431299 markings, 124241034 edges, 7384 markings/sec, 275 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 unknown 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknownlola:
caught signal User defined signal 1 - aborting LoLA
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 1494617258113

--------------------
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="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/CloudDeployment-PT-5a.tgz
mv 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 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 r018-ebro-149436308800020"
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 ;