Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is CloudReconfiguration-PT-309, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-csrt-149580961300074
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496530855277


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


checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-309: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ CloudReconfiguration-PT-309 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5680/65536 symbol table entries, 639 collisions
lola: preprocessing...
lola: finding significant places
lola: 2585 places, 3095 transitions, 2581 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2708 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-309-UpperBounds.task
lola: MAX(p2476) : MAX(p1729) : MAX(p989) : MAX(p2502) : MAX(p211) : MAX(p1131) : MAX(p759) : MAX(p25) : MAX(p1510) : MAX(p156) : MAX(p338) : MAX(p1295) : MAX(p887) : MAX(p2100) : MAX(p1712) : MAX(p2313)
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(p2476)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 105559 markings, 126936 edges, 21112 markings/sec, 0 secs
lola: 213879 markings, 257653 edges, 21664 markings/sec, 5 secs
lola: 318596 markings, 383372 edges, 20943 markings/sec, 10 secs
lola: 457734 markings, 552650 edges, 27828 markings/sec, 15 secs
lola: 601300 markings, 728426 edges, 28713 markings/sec, 20 secs
lola: 744149 markings, 907945 edges, 28570 markings/sec, 25 secs
lola: 863909 markings, 1053069 edges, 23952 markings/sec, 30 secs
lola: 983662 markings, 1202614 edges, 23951 markings/sec, 35 secs
lola: 1106247 markings, 1353847 edges, 24517 markings/sec, 40 secs
lola: 1217200 markings, 1490000 edges, 22191 markings/sec, 45 secs
lola: 1335029 markings, 1637660 edges, 23566 markings/sec, 50 secs
lola: 1455862 markings, 1789010 edges, 24167 markings/sec, 55 secs
lola: 1575358 markings, 1936097 edges, 23899 markings/sec, 60 secs
lola: 1698644 markings, 2086657 edges, 24657 markings/sec, 65 secs
lola: 1820371 markings, 2234902 edges, 24345 markings/sec, 70 secs
lola: 1960197 markings, 2408120 edges, 27965 markings/sec, 75 secs
lola: 2097196 markings, 2583116 edges, 27400 markings/sec, 80 secs
lola: 2233000 markings, 2756325 edges, 27161 markings/sec, 85 secs
lola: 2354713 markings, 2905537 edges, 24343 markings/sec, 90 secs
lola: 2482613 markings, 3067532 edges, 25580 markings/sec, 95 secs
lola: 2609911 markings, 3231074 edges, 25460 markings/sec, 100 secs
lola: 2732292 markings, 3386376 edges, 24476 markings/sec, 105 secs
lola: 2855576 markings, 3538471 edges, 24657 markings/sec, 110 secs
lola: 2975458 markings, 3685186 edges, 23976 markings/sec, 115 secs
lola: 3108998 markings, 3851252 edges, 26708 markings/sec, 120 secs
lola: 3261284 markings, 4046763 edges, 30457 markings/sec, 125 secs
lola: 3411648 markings, 4233947 edges, 30073 markings/sec, 130 secs
lola: 3537354 markings, 4388080 edges, 25141 markings/sec, 135 secs
lola: 3672448 markings, 4553539 edges, 27019 markings/sec, 140 secs
lola: 3814808 markings, 4733937 edges, 28472 markings/sec, 145 secs
lola: 3954229 markings, 4911594 edges, 27884 markings/sec, 150 secs
lola: 4080782 markings, 5073373 edges, 25311 markings/sec, 155 secs
lola: 4209225 markings, 5233348 edges, 25689 markings/sec, 160 secs
lola: 4344223 markings, 5399496 edges, 27000 markings/sec, 165 secs
lola: 4478473 markings, 5563464 edges, 26850 markings/sec, 170 secs
lola: 4563616 markings, 5667298 edges, 17029 markings/sec, 175 secs
lola: 4685290 markings, 5816223 edges, 24335 markings/sec, 180 secs
lola: 4761872 markings, 5909065 edges, 15316 markings/sec, 185 secs
lola: 4848916 markings, 6015287 edges, 17409 markings/sec, 190 secs
lola: 4968721 markings, 6162155 edges, 23961 markings/sec, 195 secs
lola: 5068835 markings, 6284381 edges, 20023 markings/sec, 200 secs
lola: 5160446 markings, 6397521 edges, 18322 markings/sec, 205 secs
lola: 5277179 markings, 6543503 edges, 23347 markings/sec, 210 secs
lola: 5350228 markings, 6636827 edges, 14610 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(p1729)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 121033 markings, 145072 edges, 24207 markings/sec, 0 secs
lola: 258389 markings, 309799 edges, 27471 markings/sec, 5 secs
lola: 383493 markings, 460327 edges, 25021 markings/sec, 10 secs
lola: 502632 markings, 603957 edges, 23828 markings/sec, 15 secs
lola: 627487 markings, 755230 edges, 24971 markings/sec, 20 secs
lola: 768891 markings, 929475 edges, 28281 markings/sec, 25 secs
lola: 903683 markings, 1098941 edges, 26958 markings/sec, 30 secs
lola: 1030419 markings, 1257895 edges, 25347 markings/sec, 35 secs
lola: 1141264 markings, 1396630 edges, 22169 markings/sec, 40 secs
lola: 1279670 markings, 1568826 edges, 27681 markings/sec, 45 secs
lola: 1414573 markings, 1737691 edges, 26981 markings/sec, 50 secs
lola: 1548006 markings, 1903345 edges, 26687 markings/sec, 55 secs
lola: 1670286 markings, 2054840 edges, 24456 markings/sec, 60 secs
lola: 1783168 markings, 2196865 edges, 22576 markings/sec, 65 secs
lola: 1896876 markings, 2340594 edges, 22742 markings/sec, 70 secs
lola: 2017661 markings, 2494614 edges, 24157 markings/sec, 75 secs
lola: 2157368 markings, 2670199 edges, 27941 markings/sec, 80 secs
lola: 2287955 markings, 2835014 edges, 26117 markings/sec, 85 secs
lola: 2417679 markings, 3001559 edges, 25945 markings/sec, 90 secs
lola: 2541837 markings, 3154799 edges, 24832 markings/sec, 95 secs
lola: 2663643 markings, 3303440 edges, 24361 markings/sec, 100 secs
lola: 2828917 markings, 3510353 edges, 33055 markings/sec, 105 secs
lola: 2981147 markings, 3702490 edges, 30446 markings/sec, 110 secs
lola: 3131536 markings, 3893858 edges, 30078 markings/sec, 115 secs
lola: 3246976 markings, 4038854 edges, 23088 markings/sec, 120 secs
lola: 3355999 markings, 4174426 edges, 21805 markings/sec, 125 secs
lola: 3478815 markings, 4329574 edges, 24563 markings/sec, 130 secs
lola: 3626427 markings, 4517702 edges, 29522 markings/sec, 135 secs
lola: 3741232 markings, 4662794 edges, 22961 markings/sec, 140 secs
lola: 3854886 markings, 4806644 edges, 22731 markings/sec, 145 secs
lola: 4000601 markings, 4989072 edges, 29143 markings/sec, 150 secs
lola: 4133140 markings, 5157890 edges, 26508 markings/sec, 155 secs
lola: 4255025 markings, 5308923 edges, 24377 markings/sec, 160 secs
lola: 4389503 markings, 5481331 edges, 26896 markings/sec, 165 secs
lola: 4514223 markings, 5640153 edges, 24944 markings/sec, 170 secs
lola: 4621605 markings, 5774991 edges, 21476 markings/sec, 175 secs
lola: 4725159 markings, 5903957 edges, 20711 markings/sec, 180 secs
lola: 4841449 markings, 6054338 edges, 23258 markings/sec, 185 secs
lola: 4965196 markings, 6214123 edges, 24749 markings/sec, 190 secs
lola: 5076967 markings, 6357023 edges, 22354 markings/sec, 195 secs
lola: 5177912 markings, 6486797 edges, 20189 markings/sec, 200 secs
lola: 5294924 markings, 6635179 edges, 23402 markings/sec, 205 secs
lola: 5414069 markings, 6787963 edges, 23829 markings/sec, 210 secs
lola: 5520310 markings, 6920703 edges, 21248 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p989)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 106945 markings, 129120 edges, 21389 markings/sec, 0 secs
lola: 212037 markings, 255919 edges, 21018 markings/sec, 5 secs
lola: 339828 markings, 412044 edges, 25558 markings/sec, 10 secs
lola: 467917 markings, 570699 edges, 25618 markings/sec, 15 secs
lola: 584539 markings, 713873 edges, 23324 markings/sec, 20 secs
lola: 704910 markings, 864311 edges, 24074 markings/sec, 25 secs
lola: 804699 markings, 985800 edges, 19958 markings/sec, 30 secs
lola: 919482 markings, 1128115 edges, 22957 markings/sec, 35 secs
lola: 1037599 markings, 1276350 edges, 23623 markings/sec, 40 secs
lola: 1143653 markings, 1407825 edges, 21211 markings/sec, 45 secs
lola: 1237479 markings, 1522176 edges, 18765 markings/sec, 50 secs
lola: 1342713 markings, 1650143 edges, 21047 markings/sec, 55 secs
lola: 1455641 markings, 1789996 edges, 22586 markings/sec, 60 secs
lola: 1585087 markings, 1956639 edges, 25889 markings/sec, 65 secs
lola: 1704391 markings, 2105129 edges, 23861 markings/sec, 70 secs
lola: 1818314 markings, 2251045 edges, 22785 markings/sec, 75 secs
lola: 1917957 markings, 2372507 edges, 19929 markings/sec, 80 secs
lola: 2038973 markings, 2529794 edges, 24203 markings/sec, 85 secs
lola: 2156860 markings, 2679483 edges, 23577 markings/sec, 90 secs
lola: 2263079 markings, 2814142 edges, 21244 markings/sec, 95 secs
lola: 2374199 markings, 2954813 edges, 22224 markings/sec, 100 secs
lola: 2478808 markings, 3081873 edges, 20922 markings/sec, 105 secs
lola: 2602065 markings, 3237540 edges, 24651 markings/sec, 110 secs
lola: 2739849 markings, 3412505 edges, 27557 markings/sec, 115 secs
lola: 2878753 markings, 3586418 edges, 27781 markings/sec, 120 secs
lola: 2998929 markings, 3735361 edges, 24035 markings/sec, 125 secs
lola: 3106283 markings, 3866911 edges, 21471 markings/sec, 130 secs
lola: 3211140 markings, 3997141 edges, 20971 markings/sec, 135 secs
lola: 3347234 markings, 4173897 edges, 27219 markings/sec, 140 secs
lola: 3483128 markings, 4344022 edges, 27179 markings/sec, 145 secs
lola: 3606480 markings, 4497796 edges, 24670 markings/sec, 150 secs
lola: 3729733 markings, 4655472 edges, 24651 markings/sec, 155 secs
lola: 3837667 markings, 4789118 edges, 21587 markings/sec, 160 secs
lola: 3941267 markings, 4915632 edges, 20720 markings/sec, 165 secs
lola: 4046830 markings, 5050778 edges, 21113 markings/sec, 170 secs
lola: 4153865 markings, 5181664 edges, 21407 markings/sec, 175 secs
lola: 4259460 markings, 5315759 edges, 21119 markings/sec, 180 secs
lola: 4398128 markings, 5488185 edges, 27734 markings/sec, 185 secs
lola: 4490845 markings, 5601310 edges, 18543 markings/sec, 190 secs
lola: 4601835 markings, 5739841 edges, 22198 markings/sec, 195 secs
lola: 4702567 markings, 5866203 edges, 20146 markings/sec, 200 secs
lola: 4806582 markings, 5995494 edges, 20803 markings/sec, 205 secs
lola: 4904426 markings, 6114891 edges, 19569 markings/sec, 210 secs
lola: 4999539 markings, 6235175 edges, 19023 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2502)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 115824 markings, 138681 edges, 23165 markings/sec, 0 secs
lola: 258635 markings, 312452 edges, 28562 markings/sec, 5 secs
lola: 408761 markings, 497180 edges, 30025 markings/sec, 10 secs
lola: 549610 markings, 670899 edges, 28170 markings/sec, 15 secs
lola: 655060 markings, 800517 edges, 21090 markings/sec, 20 secs
lola: 771099 markings, 944568 edges, 23208 markings/sec, 25 secs
lola: 877316 markings, 1075164 edges, 21243 markings/sec, 30 secs
lola: 993484 markings, 1219533 edges, 23234 markings/sec, 35 secs
lola: 1102600 markings, 1354751 edges, 21823 markings/sec, 40 secs
lola: 1220905 markings, 1502559 edges, 23661 markings/sec, 45 secs
lola: 1339083 markings, 1647442 edges, 23636 markings/sec, 50 secs
lola: 1465195 markings, 1801616 edges, 25222 markings/sec, 55 secs
lola: 1588054 markings, 1951132 edges, 24572 markings/sec, 60 secs
lola: 1717571 markings, 2111427 edges, 25903 markings/sec, 65 secs
lola: 1852839 markings, 2284042 edges, 27054 markings/sec, 70 secs
lola: 1984225 markings, 2447773 edges, 26277 markings/sec, 75 secs
lola: 2111627 markings, 2609004 edges, 25480 markings/sec, 80 secs
lola: 2225053 markings, 2749322 edges, 22685 markings/sec, 85 secs
lola: 2351221 markings, 2913052 edges, 25234 markings/sec, 90 secs
lola: 2482081 markings, 3077064 edges, 26172 markings/sec, 95 secs
lola: 2600266 markings, 3227550 edges, 23637 markings/sec, 100 secs
lola: 2725463 markings, 3379905 edges, 25039 markings/sec, 105 secs
lola: 2862808 markings, 3548101 edges, 27469 markings/sec, 110 secs
lola: 3023362 markings, 3752600 edges, 32111 markings/sec, 115 secs
lola: 3174315 markings, 3942683 edges, 30191 markings/sec, 120 secs
lola: 3294773 markings, 4092623 edges, 24092 markings/sec, 125 secs
lola: 3428179 markings, 4255477 edges, 26681 markings/sec, 130 secs
lola: 3562583 markings, 4419927 edges, 26881 markings/sec, 135 secs
lola: 3712491 markings, 4608549 edges, 29982 markings/sec, 140 secs
lola: 3849165 markings, 4783871 edges, 27335 markings/sec, 145 secs
lola: 3985389 markings, 4954491 edges, 27245 markings/sec, 150 secs
lola: 4108980 markings, 5112000 edges, 24718 markings/sec, 155 secs
lola: 4240682 markings, 5272635 edges, 26340 markings/sec, 160 secs
lola: 4362500 markings, 5421846 edges, 24364 markings/sec, 165 secs
lola: 4443227 markings, 5520935 edges, 16145 markings/sec, 170 secs
lola: 4571500 markings, 5680339 edges, 25655 markings/sec, 175 secs
lola: 4647452 markings, 5776626 edges, 15190 markings/sec, 180 secs
lola: 4746683 markings, 5899915 edges, 19846 markings/sec, 185 secs
lola: 4869996 markings, 6051059 edges, 24663 markings/sec, 190 secs
lola: 4958578 markings, 6158852 edges, 17716 markings/sec, 195 secs
lola: 5075721 markings, 6302664 edges, 23429 markings/sec, 200 secs
lola: 5151604 markings, 6394711 edges, 15177 markings/sec, 205 secs
lola: 5239801 markings, 6503142 edges, 17639 markings/sec, 210 secs
lola: 5352594 markings, 6640907 edges, 22559 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p211)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 83312 markings, 143187 edges, 16662 markings/sec, 0 secs
lola: 168205 markings, 294926 edges, 16979 markings/sec, 5 secs
lola: 256250 markings, 442876 edges, 17609 markings/sec, 10 secs
lola: 340805 markings, 599867 edges, 16911 markings/sec, 15 secs
lola: 435767 markings, 765405 edges, 18992 markings/sec, 20 secs
lola: 522138 markings, 922563 edges, 17274 markings/sec, 25 secs
lola: 613938 markings, 1072860 edges, 18360 markings/sec, 30 secs
lola: 700089 markings, 1230499 edges, 17230 markings/sec, 35 secs
lola: 779915 markings, 1385540 edges, 15965 markings/sec, 40 secs
lola: 865953 markings, 1511469 edges, 17208 markings/sec, 45 secs
lola: 960352 markings, 1627028 edges, 18880 markings/sec, 50 secs
lola: 1054309 markings, 1742538 edges, 18791 markings/sec, 55 secs
lola: 1152559 markings, 1864956 edges, 19650 markings/sec, 60 secs
lola: 1241371 markings, 1973792 edges, 17762 markings/sec, 65 secs
lola: 1336165 markings, 2092398 edges, 18959 markings/sec, 70 secs
lola: 1422994 markings, 2198148 edges, 17366 markings/sec, 75 secs
lola: 1509424 markings, 2304453 edges, 17286 markings/sec, 80 secs
lola: 1602067 markings, 2421183 edges, 18529 markings/sec, 85 secs
lola: 1693514 markings, 2535281 edges, 18289 markings/sec, 90 secs
lola: 1780936 markings, 2643223 edges, 17484 markings/sec, 95 secs
lola: 1862026 markings, 2741999 edges, 16218 markings/sec, 100 secs
lola: 1944228 markings, 2842075 edges, 16440 markings/sec, 105 secs
lola: 2031472 markings, 2947987 edges, 17449 markings/sec, 110 secs
lola: 2134950 markings, 3079573 edges, 20696 markings/sec, 115 secs
lola: 2233749 markings, 3206508 edges, 19760 markings/sec, 120 secs
lola: 2334815 markings, 3332181 edges, 20213 markings/sec, 125 secs
lola: 2430374 markings, 3455682 edges, 19112 markings/sec, 130 secs
lola: 2518845 markings, 3563672 edges, 17694 markings/sec, 135 secs
lola: 2614022 markings, 3685221 edges, 19035 markings/sec, 140 secs
lola: 2710385 markings, 3810621 edges, 19273 markings/sec, 145 secs
lola: 2810303 markings, 3935576 edges, 19984 markings/sec, 150 secs
lola: 2893708 markings, 4041484 edges, 16681 markings/sec, 155 secs
lola: 2980570 markings, 4152534 edges, 17372 markings/sec, 160 secs
lola: 3062819 markings, 4252433 edges, 16450 markings/sec, 165 secs
lola: 3147670 markings, 4355596 edges, 16970 markings/sec, 170 secs
lola: 3257228 markings, 4494847 edges, 21912 markings/sec, 175 secs
lola: 3360223 markings, 4627103 edges, 20599 markings/sec, 180 secs
lola: 3467412 markings, 4760795 edges, 21438 markings/sec, 185 secs
lola: 3575795 markings, 4896105 edges, 21677 markings/sec, 190 secs
lola: 3667387 markings, 5009591 edges, 18318 markings/sec, 195 secs
lola: 3757431 markings, 5119265 edges, 18009 markings/sec, 200 secs
lola: 3845540 markings, 5229355 edges, 17622 markings/sec, 205 secs
lola: 3945367 markings, 5357907 edges, 19965 markings/sec, 210 secs
lola: 4044705 markings, 5484368 edges, 19868 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1131)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 127911 markings, 168972 edges, 25582 markings/sec, 0 secs
lola: 249723 markings, 324883 edges, 24362 markings/sec, 5 secs
lola: 365977 markings, 466320 edges, 23251 markings/sec, 10 secs
lola: 481502 markings, 607387 edges, 23105 markings/sec, 15 secs
lola: 607284 markings, 764194 edges, 25156 markings/sec, 20 secs
lola: 714769 markings, 896117 edges, 21497 markings/sec, 25 secs
lola: 832844 markings, 1042879 edges, 23615 markings/sec, 30 secs
lola: 935172 markings, 1167639 edges, 20466 markings/sec, 35 secs
lola: 1056306 markings, 1319724 edges, 24227 markings/sec, 40 secs
lola: 1172941 markings, 1465539 edges, 23327 markings/sec, 45 secs
lola: 1275238 markings, 1590743 edges, 20459 markings/sec, 50 secs
lola: 1373902 markings, 1710864 edges, 19733 markings/sec, 55 secs
lola: 1484316 markings, 1844898 edges, 22083 markings/sec, 60 secs
lola: 1616022 markings, 2012674 edges, 26341 markings/sec, 65 secs
lola: 1748044 markings, 2179395 edges, 26404 markings/sec, 70 secs
lola: 1872662 markings, 2338958 edges, 24924 markings/sec, 75 secs
lola: 1982442 markings, 2473623 edges, 21956 markings/sec, 80 secs
lola: 2103339 markings, 2628927 edges, 24179 markings/sec, 85 secs
lola: 2229236 markings, 2789811 edges, 25179 markings/sec, 90 secs
lola: 2347306 markings, 2938875 edges, 23614 markings/sec, 95 secs
lola: 2462079 markings, 3084395 edges, 22955 markings/sec, 100 secs
lola: 2575314 markings, 3221896 edges, 22647 markings/sec, 105 secs
lola: 2711261 markings, 3393191 edges, 27189 markings/sec, 110 secs
lola: 2860025 markings, 3582192 edges, 29753 markings/sec, 115 secs
lola: 3003483 markings, 3761832 edges, 28692 markings/sec, 120 secs
lola: 3124422 markings, 3911614 edges, 24188 markings/sec, 125 secs
lola: 3235252 markings, 4046642 edges, 22166 markings/sec, 130 secs
lola: 3361455 markings, 4207949 edges, 25241 markings/sec, 135 secs
lola: 3498307 markings, 4382088 edges, 27370 markings/sec, 140 secs
lola: 3627803 markings, 4544580 edges, 25899 markings/sec, 145 secs
lola: 3748273 markings, 4697018 edges, 24094 markings/sec, 150 secs
lola: 3869963 markings, 4849538 edges, 24338 markings/sec, 155 secs
lola: 3992109 markings, 5000269 edges, 24429 markings/sec, 160 secs
lola: 4070096 markings, 5098208 edges, 15597 markings/sec, 165 secs
lola: 4197037 markings, 5256884 edges, 25388 markings/sec, 170 secs
lola: 4273191 markings, 5349374 edges, 15231 markings/sec, 175 secs
lola: 4398056 markings, 5509459 edges, 24973 markings/sec, 180 secs
lola: 4507260 markings, 5643516 edges, 21841 markings/sec, 185 secs
lola: 4611621 markings, 5771312 edges, 20872 markings/sec, 190 secs
lola: 4713864 markings, 5899358 edges, 20449 markings/sec, 195 secs
lola: 4802709 markings, 6011450 edges, 17769 markings/sec, 200 secs
lola: 4910160 markings, 6144301 edges, 21490 markings/sec, 205 secs
lola: 5001729 markings, 6256044 edges, 18314 markings/sec, 210 secs
lola: 5090660 markings, 6369462 edges, 17786 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p759)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 111349 markings, 133550 edges, 22270 markings/sec, 0 secs
lola: 234349 markings, 283334 edges, 24600 markings/sec, 5 secs
lola: 358061 markings, 434767 edges, 24742 markings/sec, 10 secs
lola: 484175 markings, 591300 edges, 25223 markings/sec, 15 secs
lola: 597816 markings, 731830 edges, 22728 markings/sec, 20 secs
lola: 704221 markings, 863439 edges, 21281 markings/sec, 25 secs
lola: 800750 markings, 981448 edges, 19306 markings/sec, 30 secs
lola: 908773 markings, 1117275 edges, 21605 markings/sec, 35 secs
lola: 1013980 markings, 1248961 edges, 21041 markings/sec, 40 secs
lola: 1111493 markings, 1368548 edges, 19503 markings/sec, 45 secs
lola: 1202309 markings, 1479183 edges, 18163 markings/sec, 50 secs
lola: 1301703 markings, 1599865 edges, 19879 markings/sec, 55 secs
lola: 1413093 markings, 1740148 edges, 22278 markings/sec, 60 secs
lola: 1532785 markings, 1893216 edges, 23938 markings/sec, 65 secs
lola: 1652695 markings, 2042054 edges, 23982 markings/sec, 70 secs
lola: 1764803 markings, 2185655 edges, 22422 markings/sec, 75 secs
lola: 1866947 markings, 2310690 edges, 20429 markings/sec, 80 secs
lola: 1987832 markings, 2467467 edges, 24177 markings/sec, 85 secs
lola: 2106279 markings, 2617897 edges, 23689 markings/sec, 90 secs
lola: 2217309 markings, 2759517 edges, 22206 markings/sec, 95 secs
lola: 2327604 markings, 2897712 edges, 22059 markings/sec, 100 secs
lola: 2441268 markings, 3035891 edges, 22733 markings/sec, 105 secs
lola: 2583515 markings, 3216508 edges, 28449 markings/sec, 110 secs
lola: 2726196 markings, 3396786 edges, 28536 markings/sec, 115 secs
lola: 2861742 markings, 3566507 edges, 27109 markings/sec, 120 secs
lola: 2979123 markings, 3711913 edges, 23476 markings/sec, 125 secs
lola: 3084121 markings, 3839818 edges, 21000 markings/sec, 130 secs
lola: 3206899 markings, 3995645 edges, 24556 markings/sec, 135 secs
lola: 3336189 markings, 4161357 edges, 25858 markings/sec, 140 secs
lola: 3460343 markings, 4317243 edges, 24831 markings/sec, 145 secs
lola: 3580608 markings, 4467333 edges, 24053 markings/sec, 150 secs
lola: 3709383 markings, 4631209 edges, 25755 markings/sec, 155 secs
lola: 3835004 markings, 4786240 edges, 25124 markings/sec, 160 secs
lola: 3913517 markings, 4883885 edges, 15703 markings/sec, 165 secs
lola: 4029820 markings, 5030263 edges, 23261 markings/sec, 170 secs
lola: 4120709 markings, 5140925 edges, 18178 markings/sec, 175 secs
lola: 4256133 markings, 5314297 edges, 27085 markings/sec, 180 secs
lola: 4369108 markings, 5452472 edges, 22595 markings/sec, 185 secs
lola: 4480425 markings, 5589284 edges, 22263 markings/sec, 190 secs
lola: 4596373 markings, 5734320 edges, 23190 markings/sec, 195 secs
lola: 4678312 markings, 5838301 edges, 16388 markings/sec, 200 secs
lola: 4789391 markings, 5974332 edges, 22216 markings/sec, 205 secs
lola: 4896210 markings, 6105458 edges, 21364 markings/sec, 210 secs
lola: 4990208 markings, 6228837 edges, 18800 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 107588 markings, 130064 edges, 21518 markings/sec, 0 secs
lola: 228286 markings, 276911 edges, 24140 markings/sec, 5 secs
lola: 354173 markings, 430757 edges, 25177 markings/sec, 10 secs
lola: 481821 markings, 589625 edges, 25530 markings/sec, 15 secs
lola: 599809 markings, 735317 edges, 23598 markings/sec, 20 secs
lola: 716336 markings, 879344 edges, 23305 markings/sec, 25 secs
lola: 821364 markings, 1007965 edges, 21006 markings/sec, 30 secs
lola: 940876 markings, 1157985 edges, 23902 markings/sec, 35 secs
lola: 1056651 markings, 1303003 edges, 23155 markings/sec, 40 secs
lola: 1153100 markings, 1420379 edges, 19290 markings/sec, 45 secs
lola: 1252345 markings, 1541351 edges, 19849 markings/sec, 50 secs
lola: 1363114 markings, 1675808 edges, 22154 markings/sec, 55 secs
lola: 1500873 markings, 1852182 edges, 27552 markings/sec, 60 secs
lola: 1633769 markings, 2019354 edges, 26579 markings/sec, 65 secs
lola: 1758721 markings, 2179564 edges, 24990 markings/sec, 70 secs
lola: 1864095 markings, 2307995 edges, 21075 markings/sec, 75 secs
lola: 1992030 markings, 2473848 edges, 25587 markings/sec, 80 secs
lola: 2119255 markings, 2635217 edges, 25445 markings/sec, 85 secs
lola: 2238403 markings, 2787806 edges, 23830 markings/sec, 90 secs
lola: 2345874 markings, 2921315 edges, 21494 markings/sec, 95 secs
lola: 2459021 markings, 3058772 edges, 22629 markings/sec, 100 secs
lola: 2608087 markings, 3248490 edges, 29813 markings/sec, 105 secs
lola: 2760116 markings, 3440104 edges, 30406 markings/sec, 110 secs
lola: 2902991 markings, 3619018 edges, 28575 markings/sec, 115 secs
lola: 3015792 markings, 3757788 edges, 22560 markings/sec, 120 secs
lola: 3126395 markings, 3892698 edges, 22121 markings/sec, 125 secs
lola: 3265587 markings, 4071842 edges, 27838 markings/sec, 130 secs
lola: 3405021 markings, 4248943 edges, 27887 markings/sec, 135 secs
lola: 3538254 markings, 4415368 edges, 26647 markings/sec, 140 secs
lola: 3665634 markings, 4578001 edges, 25476 markings/sec, 145 secs
lola: 3784498 markings, 4725421 edges, 23773 markings/sec, 150 secs
lola: 3892886 markings, 4857768 edges, 21678 markings/sec, 155 secs
lola: 3999461 markings, 4994202 edges, 21315 markings/sec, 160 secs
lola: 4106095 markings, 5124538 edges, 21327 markings/sec, 165 secs
lola: 4214267 markings, 5261954 edges, 21634 markings/sec, 170 secs
lola: 4351497 markings, 5432432 edges, 27446 markings/sec, 175 secs
lola: 4448392 markings, 5550764 edges, 19379 markings/sec, 180 secs
lola: 4560909 markings, 5691236 edges, 22503 markings/sec, 185 secs
lola: 4659477 markings, 5815195 edges, 19714 markings/sec, 190 secs
lola: 4770563 markings, 5952815 edges, 22217 markings/sec, 195 secs
lola: 4866835 markings, 6070293 edges, 19254 markings/sec, 200 secs
lola: 4962242 markings, 6192324 edges, 19081 markings/sec, 205 secs
lola: 5097227 markings, 6362300 edges, 26997 markings/sec, 210 secs
lola: 5176251 markings, 6458067 edges, 15805 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1510)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 123471 markings, 149730 edges, 24694 markings/sec, 0 secs
lola: 251111 markings, 306949 edges, 25528 markings/sec, 5 secs
lola: 367032 markings, 449208 edges, 23184 markings/sec, 10 secs
lola: 485597 markings, 595024 edges, 23713 markings/sec, 15 secs
lola: 613635 markings, 752777 edges, 25608 markings/sec, 20 secs
lola: 736160 markings, 903505 edges, 24505 markings/sec, 25 secs
lola: 900425 markings, 1109867 edges, 32853 markings/sec, 30 secs
lola: 1053286 markings, 1300297 edges, 30572 markings/sec, 35 secs
lola: 1198115 markings, 1482863 edges, 28966 markings/sec, 40 secs
lola: 1313149 markings, 1624883 edges, 23007 markings/sec, 45 secs
lola: 1426568 markings, 1766694 edges, 22684 markings/sec, 50 secs
lola: 1539114 markings, 1907898 edges, 22509 markings/sec, 55 secs
lola: 1665450 markings, 2064772 edges, 25267 markings/sec, 60 secs
lola: 1784679 markings, 2215613 edges, 23846 markings/sec, 65 secs
lola: 1930094 markings, 2398917 edges, 29083 markings/sec, 70 secs
lola: 2065140 markings, 2568548 edges, 27009 markings/sec, 75 secs
lola: 2182525 markings, 2716778 edges, 23477 markings/sec, 80 secs
lola: 2297868 markings, 2861331 edges, 23069 markings/sec, 85 secs
lola: 2412876 markings, 3005935 edges, 23002 markings/sec, 90 secs
lola: 2524060 markings, 3144063 edges, 22237 markings/sec, 95 secs
lola: 2640711 markings, 3293609 edges, 23330 markings/sec, 100 secs
lola: 2757064 markings, 3440588 edges, 23271 markings/sec, 105 secs
lola: 2915655 markings, 3640897 edges, 31718 markings/sec, 110 secs
lola: 3065526 markings, 3830197 edges, 29974 markings/sec, 115 secs
lola: 3219059 markings, 4023218 edges, 30707 markings/sec, 120 secs
lola: 3344606 markings, 4180222 edges, 25109 markings/sec, 125 secs
lola: 3459164 markings, 4322751 edges, 22912 markings/sec, 130 secs
lola: 3578313 markings, 4471955 edges, 23830 markings/sec, 135 secs
lola: 3687699 markings, 4607529 edges, 21877 markings/sec, 140 secs
lola: 3803072 markings, 4751900 edges, 23075 markings/sec, 145 secs
lola: 3934091 markings, 4919886 edges, 26204 markings/sec, 150 secs
lola: 4081906 markings, 5105208 edges, 29563 markings/sec, 155 secs
lola: 4243598 markings, 5308677 edges, 32338 markings/sec, 160 secs
lola: 4369062 markings, 5469590 edges, 25093 markings/sec, 165 secs
lola: 4489731 markings, 5623526 edges, 24134 markings/sec, 170 secs
lola: 4611961 markings, 5779356 edges, 24446 markings/sec, 175 secs
lola: 4727590 markings, 5924218 edges, 23126 markings/sec, 180 secs
lola: 4835187 markings, 6058054 edges, 21519 markings/sec, 185 secs
lola: 4955739 markings, 6211193 edges, 24110 markings/sec, 190 secs
lola: 5081438 markings, 6374962 edges, 25140 markings/sec, 195 secs
lola: 5197388 markings, 6524239 edges, 23190 markings/sec, 200 secs
lola: 5311207 markings, 6670005 edges, 22764 markings/sec, 205 secs
lola: 5455842 markings, 6858183 edges, 28927 markings/sec, 210 secs
lola: 5573345 markings, 7011441 edges, 23501 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p156)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 113338 markings, 177641 edges, 22668 markings/sec, 0 secs
lola: 227459 markings, 360968 edges, 22824 markings/sec, 5 secs
lola: 362729 markings, 550670 edges, 27054 markings/sec, 10 secs
lola: 462359 markings, 715243 edges, 19926 markings/sec, 15 secs
lola: 570243 markings, 847400 edges, 21577 markings/sec, 20 secs
lola: 674787 markings, 975772 edges, 20909 markings/sec, 25 secs
lola: 781085 markings, 1108053 edges, 21260 markings/sec, 30 secs
lola: 878425 markings, 1227610 edges, 19468 markings/sec, 35 secs
lola: 981057 markings, 1355694 edges, 20526 markings/sec, 40 secs
lola: 1069745 markings, 1463636 edges, 17738 markings/sec, 45 secs
lola: 1164216 markings, 1580130 edges, 18894 markings/sec, 50 secs
lola: 1264002 markings, 1705467 edges, 19957 markings/sec, 55 secs
lola: 1361299 markings, 1827241 edges, 19459 markings/sec, 60 secs
lola: 1452156 markings, 1938932 edges, 18171 markings/sec, 65 secs
lola: 1536994 markings, 2042275 edges, 16968 markings/sec, 70 secs
lola: 1630662 markings, 2156150 edges, 18734 markings/sec, 75 secs
lola: 1723163 markings, 2270802 edges, 18500 markings/sec, 80 secs
lola: 1821369 markings, 2396654 edges, 19641 markings/sec, 85 secs
lola: 1915697 markings, 2515902 edges, 18866 markings/sec, 90 secs
lola: 2007778 markings, 2630649 edges, 18416 markings/sec, 95 secs
lola: 2099173 markings, 2747935 edges, 18279 markings/sec, 100 secs
lola: 2181789 markings, 2848859 edges, 16523 markings/sec, 105 secs
lola: 2275948 markings, 2970580 edges, 18832 markings/sec, 110 secs
lola: 2371992 markings, 3095209 edges, 19209 markings/sec, 115 secs
lola: 2471673 markings, 3220139 edges, 19936 markings/sec, 120 secs
lola: 2568398 markings, 3344727 edges, 19345 markings/sec, 125 secs
lola: 2651040 markings, 3445528 edges, 16528 markings/sec, 130 secs
lola: 2746097 markings, 3561077 edges, 19011 markings/sec, 135 secs
lola: 2856731 markings, 3701517 edges, 22127 markings/sec, 140 secs
lola: 2956434 markings, 3829569 edges, 19941 markings/sec, 145 secs
lola: 3067175 markings, 3967183 edges, 22148 markings/sec, 150 secs
lola: 3167818 markings, 4093173 edges, 20129 markings/sec, 155 secs
lola: 3254898 markings, 4200733 edges, 17416 markings/sec, 160 secs
lola: 3341482 markings, 4306807 edges, 17317 markings/sec, 165 secs
lola: 3426443 markings, 4411503 edges, 16992 markings/sec, 170 secs
lola: 3533177 markings, 4549824 edges, 21347 markings/sec, 175 secs
lola: 3637389 markings, 4682047 edges, 20842 markings/sec, 180 secs
lola: 3738796 markings, 4809741 edges, 20281 markings/sec, 185 secs
lola: 3836037 markings, 4930507 edges, 19448 markings/sec, 190 secs
lola: 3935142 markings, 5057779 edges, 19821 markings/sec, 195 secs
lola: 4027448 markings, 5172049 edges, 18461 markings/sec, 200 secs
lola: 4125590 markings, 5293593 edges, 19628 markings/sec, 205 secs
lola: 4200581 markings, 5385221 edges, 14998 markings/sec, 210 secs
lola: 4290147 markings, 5497834 edges, 17913 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p338)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 101093 markings, 155684 edges, 20219 markings/sec, 0 secs
lola: 200075 markings, 369532 edges, 19796 markings/sec, 5 secs
lola: 300730 markings, 576576 edges, 20131 markings/sec, 10 secs
lola: 395201 markings, 773911 edges, 18894 markings/sec, 15 secs
lola: 483271 markings, 960692 edges, 17614 markings/sec, 20 secs
lola: 584216 markings, 1172210 edges, 20189 markings/sec, 25 secs
lola: 688908 markings, 1394985 edges, 20938 markings/sec, 30 secs
lola: 784691 markings, 1609442 edges, 19157 markings/sec, 35 secs
lola: 877192 markings, 1805865 edges, 18500 markings/sec, 40 secs
lola: 968688 markings, 2002648 edges, 18299 markings/sec, 45 secs
lola: 1057767 markings, 2193473 edges, 17816 markings/sec, 50 secs
lola: 1145599 markings, 2382885 edges, 17566 markings/sec, 55 secs
lola: 1227232 markings, 2569167 edges, 16327 markings/sec, 60 secs
lola: 1315701 markings, 2748683 edges, 17694 markings/sec, 65 secs
lola: 1411471 markings, 2955779 edges, 19154 markings/sec, 70 secs
lola: 1496621 markings, 3127514 edges, 17030 markings/sec, 75 secs
lola: 1584969 markings, 3321605 edges, 17670 markings/sec, 80 secs
lola: 1676457 markings, 3519295 edges, 18298 markings/sec, 85 secs
lola: 1766205 markings, 3712095 edges, 17950 markings/sec, 90 secs
lola: 1856321 markings, 3904587 edges, 18023 markings/sec, 95 secs
lola: 1944887 markings, 4104757 edges, 17713 markings/sec, 100 secs
lola: 2035269 markings, 4298916 edges, 18076 markings/sec, 105 secs
lola: 2122153 markings, 4488595 edges, 17377 markings/sec, 110 secs
lola: 2208834 markings, 4675579 edges, 17336 markings/sec, 115 secs
lola: 2290330 markings, 4842480 edges, 16299 markings/sec, 120 secs
lola: 2374111 markings, 5030340 edges, 16756 markings/sec, 125 secs
lola: 2458314 markings, 5212921 edges, 16841 markings/sec, 130 secs
lola: 2544491 markings, 5396987 edges, 17235 markings/sec, 135 secs
lola: 2623712 markings, 5572123 edges, 15844 markings/sec, 140 secs
lola: 2709832 markings, 5755722 edges, 17224 markings/sec, 145 secs
lola: 2788539 markings, 5938311 edges, 15741 markings/sec, 150 secs
lola: 2868214 markings, 6111374 edges, 15935 markings/sec, 155 secs
lola: 2952220 markings, 6287645 edges, 16801 markings/sec, 160 secs
lola: 3027575 markings, 6455663 edges, 15071 markings/sec, 165 secs
lola: 3107512 markings, 6627604 edges, 15987 markings/sec, 170 secs
lola: 3191224 markings, 6807908 edges, 16742 markings/sec, 175 secs
lola: 3268181 markings, 6980059 edges, 15391 markings/sec, 180 secs
lola: 3349118 markings, 7153361 edges, 16187 markings/sec, 185 secs
lola: 3428700 markings, 7325606 edges, 15916 markings/sec, 190 secs
lola: 3510571 markings, 7505240 edges, 16374 markings/sec, 195 secs
lola: 3594722 markings, 7684801 edges, 16830 markings/sec, 200 secs
lola: 3671059 markings, 7858637 edges, 15267 markings/sec, 205 secs
lola: 3754491 markings, 8037449 edges, 16686 markings/sec, 210 secs
lola: 3834265 markings, 8216889 edges, 15955 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1295)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 130658 markings, 157567 edges, 26132 markings/sec, 0 secs
lola: 243814 markings, 294713 edges, 22631 markings/sec, 5 secs
lola: 350321 markings, 423816 edges, 21301 markings/sec, 10 secs
lola: 477961 markings, 579280 edges, 25528 markings/sec, 15 secs
lola: 606619 markings, 735703 edges, 25732 markings/sec, 20 secs
lola: 734286 markings, 890913 edges, 25533 markings/sec, 25 secs
lola: 866557 markings, 1052272 edges, 26454 markings/sec, 30 secs
lola: 1004460 markings, 1219650 edges, 27581 markings/sec, 35 secs
lola: 1167624 markings, 1418671 edges, 32633 markings/sec, 40 secs
lola: 1323827 markings, 1608814 edges, 31241 markings/sec, 45 secs
lola: 1475066 markings, 1793246 edges, 30248 markings/sec, 50 secs
lola: 1629808 markings, 1981972 edges, 30948 markings/sec, 55 secs
lola: 1786689 markings, 2172997 edges, 31376 markings/sec, 60 secs
lola: 1958621 markings, 2382662 edges, 34386 markings/sec, 65 secs
lola: 2122427 markings, 2582145 edges, 32761 markings/sec, 70 secs
lola: 2296620 markings, 2794543 edges, 34839 markings/sec, 75 secs
lola: 2431607 markings, 2959148 edges, 26997 markings/sec, 80 secs
lola: 2558029 markings, 3113879 edges, 25284 markings/sec, 85 secs
lola: 2709329 markings, 3298606 edges, 30260 markings/sec, 90 secs
lola: 2859116 markings, 3481257 edges, 29957 markings/sec, 95 secs
lola: 3013809 markings, 3670072 edges, 30939 markings/sec, 100 secs
lola: 3122779 markings, 3803489 edges, 21794 markings/sec, 105 secs
lola: 3220709 markings, 3924558 edges, 19586 markings/sec, 110 secs
lola: 3328982 markings, 4057610 edges, 21655 markings/sec, 115 secs
lola: 3449938 markings, 4206124 edges, 24191 markings/sec, 120 secs
lola: 3571045 markings, 4354496 edges, 24221 markings/sec, 125 secs
lola: 3696619 markings, 4508609 edges, 25115 markings/sec, 130 secs
lola: 3821065 markings, 4661418 edges, 24889 markings/sec, 135 secs
lola: 3955221 markings, 4826519 edges, 26831 markings/sec, 140 secs
lola: 4117726 markings, 5025809 edges, 32501 markings/sec, 145 secs
lola: 4263992 markings, 5205489 edges, 29253 markings/sec, 150 secs
lola: 4417123 markings, 5393848 edges, 30626 markings/sec, 155 secs
lola: 4567373 markings, 5578806 edges, 30050 markings/sec, 160 secs
lola: 4729435 markings, 5777886 edges, 32412 markings/sec, 165 secs
lola: 4899698 markings, 5987345 edges, 34053 markings/sec, 170 secs
lola: 5060190 markings, 6184448 edges, 32098 markings/sec, 175 secs
lola: 5224686 markings, 6386870 edges, 32899 markings/sec, 180 secs
lola: 5350900 markings, 6542073 edges, 25243 markings/sec, 185 secs
lola: 5473901 markings, 6693594 edges, 24600 markings/sec, 190 secs
lola: 5619462 markings, 6872364 edges, 29112 markings/sec, 195 secs
lola: 5760427 markings, 7045133 edges, 28193 markings/sec, 200 secs
lola: 5911089 markings, 7229416 edges, 30132 markings/sec, 205 secs
lola: 6018794 markings, 7359714 edges, 21541 markings/sec, 210 secs
lola: 6117266 markings, 7479509 edges, 19694 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p887)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 99317 markings, 192259 edges, 19863 markings/sec, 0 secs
lola: 194442 markings, 381016 edges, 19025 markings/sec, 5 secs
lola: 285172 markings, 560058 edges, 18146 markings/sec, 10 secs
lola: 374507 markings, 732534 edges, 17867 markings/sec, 15 secs
lola: 474099 markings, 852907 edges, 19918 markings/sec, 20 secs
lola: 588263 markings, 992469 edges, 22833 markings/sec, 25 secs
lola: 707868 markings, 1141104 edges, 23921 markings/sec, 30 secs
lola: 817301 markings, 1275347 edges, 21887 markings/sec, 35 secs
lola: 931774 markings, 1418549 edges, 22895 markings/sec, 40 secs
lola: 1033123 markings, 1542034 edges, 20270 markings/sec, 45 secs
lola: 1140590 markings, 1675266 edges, 21493 markings/sec, 50 secs
lola: 1249367 markings, 1811173 edges, 21755 markings/sec, 55 secs
lola: 1351331 markings, 1938888 edges, 20393 markings/sec, 60 secs
lola: 1438943 markings, 2045421 edges, 17522 markings/sec, 65 secs
lola: 1529743 markings, 2156162 edges, 18160 markings/sec, 70 secs
lola: 1631650 markings, 2279788 edges, 20381 markings/sec, 75 secs
lola: 1752556 markings, 2433317 edges, 24181 markings/sec, 80 secs
lola: 1870089 markings, 2583014 edges, 23507 markings/sec, 85 secs
lola: 1984223 markings, 2726709 edges, 22827 markings/sec, 90 secs
lola: 2090568 markings, 2860644 edges, 21269 markings/sec, 95 secs
lola: 2199152 markings, 2996291 edges, 21717 markings/sec, 100 secs
lola: 2320103 markings, 3154426 edges, 24190 markings/sec, 105 secs
lola: 2442740 markings, 3308451 edges, 24527 markings/sec, 110 secs
lola: 2561146 markings, 3459479 edges, 23681 markings/sec, 115 secs
lola: 2660708 markings, 3581474 edges, 19912 markings/sec, 120 secs
lola: 2768842 markings, 3714201 edges, 21627 markings/sec, 125 secs
lola: 2914363 markings, 3899673 edges, 29104 markings/sec, 130 secs
lola: 3054107 markings, 4075530 edges, 27949 markings/sec, 135 secs
lola: 3184660 markings, 4238990 edges, 26111 markings/sec, 140 secs
lola: 3292471 markings, 4371676 edges, 21562 markings/sec, 145 secs
lola: 3394706 markings, 4496357 edges, 20447 markings/sec, 150 secs
lola: 3514878 markings, 4650891 edges, 24034 markings/sec, 155 secs
lola: 3642277 markings, 4812700 edges, 25480 markings/sec, 160 secs
lola: 3768650 markings, 4971495 edges, 25275 markings/sec, 165 secs
lola: 3888092 markings, 5122072 edges, 23888 markings/sec, 170 secs
lola: 4011093 markings, 5276854 edges, 24600 markings/sec, 175 secs
lola: 4136028 markings, 5430994 edges, 24987 markings/sec, 180 secs
lola: 4216312 markings, 5531772 edges, 16057 markings/sec, 185 secs
lola: 4348079 markings, 5696337 edges, 26353 markings/sec, 190 secs
lola: 4423446 markings, 5787793 edges, 15073 markings/sec, 195 secs
lola: 4561447 markings, 5964446 edges, 27600 markings/sec, 200 secs
lola: 4665395 markings, 6091497 edges, 20790 markings/sec, 205 secs
lola: 4773772 markings, 6224891 edges, 21675 markings/sec, 210 secs
lola: 4876162 markings, 6352926 edges, 20478 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2100)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 112706 markings, 152601 edges, 22541 markings/sec, 0 secs
lola: 227568 markings, 291830 edges, 22972 markings/sec, 5 secs
lola: 358610 markings, 461370 edges, 26208 markings/sec, 10 secs
lola: 517492 markings, 664131 edges, 31776 markings/sec, 15 secs
lola: 659508 markings, 845310 edges, 28403 markings/sec, 20 secs
lola: 804775 markings, 1028581 edges, 29053 markings/sec, 25 secs
lola: 929429 markings, 1184773 edges, 24931 markings/sec, 30 secs
lola: 1060087 markings, 1349696 edges, 26132 markings/sec, 35 secs
lola: 1174564 markings, 1495577 edges, 22895 markings/sec, 40 secs
lola: 1279190 markings, 1624114 edges, 20925 markings/sec, 45 secs
lola: 1386249 markings, 1756128 edges, 21412 markings/sec, 50 secs
lola: 1494864 markings, 1889887 edges, 21723 markings/sec, 55 secs
lola: 1608201 markings, 2028296 edges, 22667 markings/sec, 60 secs
lola: 1732526 markings, 2181643 edges, 24865 markings/sec, 65 secs
lola: 1866875 markings, 2352877 edges, 26870 markings/sec, 70 secs
lola: 1997962 markings, 2518188 edges, 26217 markings/sec, 75 secs
lola: 2129943 markings, 2683248 edges, 26396 markings/sec, 80 secs
lola: 2263131 markings, 2852259 edges, 26638 markings/sec, 85 secs
lola: 2387689 markings, 3004609 edges, 24912 markings/sec, 90 secs
lola: 2527051 markings, 3183118 edges, 27872 markings/sec, 95 secs
lola: 2657355 markings, 3348762 edges, 26061 markings/sec, 100 secs
lola: 2777098 markings, 3499145 edges, 23949 markings/sec, 105 secs
lola: 2890234 markings, 3640336 edges, 22627 markings/sec, 110 secs
lola: 3018466 markings, 3804803 edges, 25646 markings/sec, 115 secs
lola: 3151430 markings, 3970097 edges, 26593 markings/sec, 120 secs
lola: 3256850 markings, 4102335 edges, 21084 markings/sec, 125 secs
lola: 3396400 markings, 4279320 edges, 27910 markings/sec, 130 secs
lola: 3533360 markings, 4451291 edges, 27392 markings/sec, 135 secs
lola: 3652507 markings, 4601143 edges, 23829 markings/sec, 140 secs
lola: 3774981 markings, 4753915 edges, 24495 markings/sec, 145 secs
lola: 3907195 markings, 4918859 edges, 26443 markings/sec, 150 secs
lola: 4017421 markings, 5063917 edges, 22045 markings/sec, 155 secs
lola: 4141960 markings, 5217866 edges, 24908 markings/sec, 160 secs
lola: 4280027 markings, 5395848 edges, 27613 markings/sec, 165 secs
lola: 4388390 markings, 5533173 edges, 21673 markings/sec, 170 secs
lola: 4516081 markings, 5695292 edges, 25538 markings/sec, 175 secs
lola: 4614367 markings, 5816513 edges, 19657 markings/sec, 180 secs
lola: 4735057 markings, 5967112 edges, 24138 markings/sec, 185 secs
lola: 4870373 markings, 6137330 edges, 27063 markings/sec, 190 secs
lola: 4986827 markings, 6286852 edges, 23291 markings/sec, 195 secs
lola: 5108956 markings, 6440593 edges, 24426 markings/sec, 200 secs
lola: 5230350 markings, 6595015 edges, 24279 markings/sec, 205 secs
lola: 5343190 markings, 6736858 edges, 22568 markings/sec, 210 secs
lola: 5468455 markings, 6894765 edges, 25053 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1712)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 111833 markings, 134196 edges, 22367 markings/sec, 0 secs
lola: 232417 markings, 278570 edges, 24117 markings/sec, 5 secs
lola: 355564 markings, 426867 edges, 24629 markings/sec, 10 secs
lola: 470718 markings, 565715 edges, 23031 markings/sec, 15 secs
lola: 592632 markings, 713507 edges, 24383 markings/sec, 20 secs
lola: 732424 markings, 885212 edges, 27958 markings/sec, 25 secs
lola: 865347 markings, 1052780 edges, 26585 markings/sec, 30 secs
lola: 993324 markings, 1213267 edges, 25595 markings/sec, 35 secs
lola: 1109570 markings, 1357665 edges, 23249 markings/sec, 40 secs
lola: 1237732 markings, 1517831 edges, 25632 markings/sec, 45 secs
lola: 1385601 markings, 1703363 edges, 29574 markings/sec, 50 secs
lola: 1521927 markings, 1873050 edges, 27265 markings/sec, 55 secs
lola: 1655087 markings, 2037595 edges, 26632 markings/sec, 60 secs
lola: 1770074 markings, 2182132 edges, 22997 markings/sec, 65 secs
lola: 1885167 markings, 2327489 edges, 23019 markings/sec, 70 secs
lola: 2004640 markings, 2479320 edges, 23895 markings/sec, 75 secs
lola: 2140627 markings, 2650431 edges, 27197 markings/sec, 80 secs
lola: 2264093 markings, 2806146 edges, 24693 markings/sec, 85 secs
lola: 2395488 markings, 2974818 edges, 26279 markings/sec, 90 secs
lola: 2521556 markings, 3132291 edges, 25214 markings/sec, 95 secs
lola: 2641861 markings, 3277880 edges, 24061 markings/sec, 100 secs
lola: 2810502 markings, 3488761 edges, 33728 markings/sec, 105 secs
lola: 2969305 markings, 3688147 edges, 31761 markings/sec, 110 secs
lola: 3126816 markings, 3889920 edges, 31502 markings/sec, 115 secs
lola: 3245642 markings, 4039013 edges, 23765 markings/sec, 120 secs
lola: 3354398 markings, 4174197 edges, 21751 markings/sec, 125 secs
lola: 3477206 markings, 4328923 edges, 24562 markings/sec, 130 secs
lola: 3623376 markings, 4515485 edges, 29234 markings/sec, 135 secs
lola: 3741002 markings, 4664455 edges, 23525 markings/sec, 140 secs
lola: 3857984 markings, 4812602 edges, 23396 markings/sec, 145 secs
lola: 4005729 markings, 4997359 edges, 29549 markings/sec, 150 secs
lola: 4140760 markings, 5169159 edges, 27006 markings/sec, 155 secs
lola: 4268543 markings, 5327686 edges, 25557 markings/sec, 160 secs
lola: 4406942 markings, 5505133 edges, 27680 markings/sec, 165 secs
lola: 4531888 markings, 5663958 edges, 24989 markings/sec, 170 secs
lola: 4641174 markings, 5801145 edges, 21857 markings/sec, 175 secs
lola: 4745381 markings, 5932019 edges, 20841 markings/sec, 180 secs
lola: 4867249 markings, 6089648 edges, 24374 markings/sec, 185 secs
lola: 4992146 markings, 6249872 edges, 24979 markings/sec, 190 secs
lola: 5110993 markings, 6403209 edges, 23769 markings/sec, 195 secs
lola: 5220726 markings, 6542783 edges, 21947 markings/sec, 200 secs
lola: 5315682 markings, 6665644 edges, 18991 markings/sec, 205 secs
lola: 5448105 markings, 6831657 edges, 26485 markings/sec, 210 secs
lola: 5560978 markings, 6974465 edges, 22575 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2313)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 135870 markings, 164497 edges, 27174 markings/sec, 0 secs
lola: 280654 markings, 342449 edges, 28957 markings/sec, 5 secs
lola: 414202 markings, 506713 edges, 26710 markings/sec, 10 secs
lola: 549221 markings, 675115 edges, 27004 markings/sec, 15 secs
lola: 666768 markings, 818980 edges, 23509 markings/sec, 20 secs
lola: 788827 markings, 972715 edges, 24412 markings/sec, 25 secs
lola: 907233 markings, 1121368 edges, 23681 markings/sec, 30 secs
lola: 1004465 markings, 1239659 edges, 19446 markings/sec, 35 secs
lola: 1112102 markings, 1370417 edges, 21527 markings/sec, 40 secs
lola: 1234370 markings, 1523074 edges, 24454 markings/sec, 45 secs
lola: 1365520 markings, 1690732 edges, 26230 markings/sec, 50 secs
lola: 1497086 markings, 1854586 edges, 26313 markings/sec, 55 secs
lola: 1629904 markings, 2022367 edges, 26564 markings/sec, 60 secs
lola: 1757720 markings, 2183632 edges, 25563 markings/sec, 65 secs
lola: 1890847 markings, 2354670 edges, 26625 markings/sec, 70 secs
lola: 2019270 markings, 2515200 edges, 25685 markings/sec, 75 secs
lola: 2147066 markings, 2678346 edges, 25559 markings/sec, 80 secs
lola: 2271179 markings, 2828794 edges, 24823 markings/sec, 85 secs
lola: 2420556 markings, 3018211 edges, 29875 markings/sec, 90 secs
lola: 2573520 markings, 3211066 edges, 30593 markings/sec, 95 secs
lola: 2718657 markings, 3392511 edges, 29027 markings/sec, 100 secs
lola: 2836368 markings, 3537662 edges, 23542 markings/sec, 105 secs
lola: 2961922 markings, 3690636 edges, 25111 markings/sec, 110 secs
lola: 3111101 markings, 3883646 edges, 29836 markings/sec, 115 secs
lola: 3256964 markings, 4067299 edges, 29173 markings/sec, 120 secs
lola: 3393111 markings, 4236763 edges, 27229 markings/sec, 125 secs
lola: 3532666 markings, 4415115 edges, 27911 markings/sec, 130 secs
lola: 3666064 markings, 4578843 edges, 26680 markings/sec, 135 secs
lola: 3762568 markings, 4698299 edges, 19301 markings/sec, 140 secs
lola: 3897144 markings, 4867110 edges, 26915 markings/sec, 145 secs
lola: 3986157 markings, 4975424 edges, 17803 markings/sec, 150 secs
lola: 4129183 markings, 5158484 edges, 28605 markings/sec, 155 secs
lola: 4241046 markings, 5295262 edges, 22373 markings/sec, 160 secs
lola: 4356980 markings, 5439302 edges, 23187 markings/sec, 165 secs
lola: 4481224 markings, 5594054 edges, 24849 markings/sec, 170 secs
lola: 4573964 markings, 5710488 edges, 18548 markings/sec, 175 secs
lola: 4682097 markings, 5842574 edges, 21627 markings/sec, 180 secs
lola: 4792716 markings, 5981338 edges, 22124 markings/sec, 185 secs
lola: 4927033 markings, 6153002 edges, 26863 markings/sec, 190 secs
lola: 5021590 markings, 6268072 edges, 18911 markings/sec, 195 secs
lola: 5131257 markings, 6402294 edges, 21933 markings/sec, 200 secs
lola: 5231590 markings, 6525022 edges, 20067 markings/sec, 205 secs
lola: 5333285 markings, 6652700 edges, 20339 markings/sec, 210 secs
lola: 5431730 markings, 6776723 edges, 19689 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA CloudReconfiguration-PT-309-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-309-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-309-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-309-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-309-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-309-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-309-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-309-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-309-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-309-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-309-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-309-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-309-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-309-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-309-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-309-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496534395558

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

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is CloudReconfiguration-PT-309, 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 r178-csrt-149580961300074"
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 ;