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 S_EnergyBus-PT-none, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r108-blw3-149441612300317
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496367481382


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


checking for too many tokens
===========================================================================================
S_EnergyBus-PT-none: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_EnergyBus-PT-none @ 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: 4587/65536 symbol table entries, 981 collisions
lola: preprocessing...
lola: finding significant places
lola: 157 places, 4430 transitions, 134 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1049 transition conflict sets
lola: TASK
lola: reading formula from EnergyBus-PT-none-UpperBounds.task
lola: MAX(p128) : MAX(p154) : MAX(p56) : MAX(p90) : MAX(p65) : MAX(p4) : MAX(p142) : MAX(p141) : MAX(p110) : MAX(p143) : MAX(p125) : MAX(p8) : MAX(p38) : MAX(p56) : MAX(p68) : MAX(p52)
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(p128)
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 26 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: 17204 markings, 35275 edges, 3441 markings/sec, 0 secs
lola: 34031 markings, 69481 edges, 3365 markings/sec, 5 secs
lola: 51433 markings, 105214 edges, 3480 markings/sec, 10 secs
lola: 69327 markings, 142160 edges, 3579 markings/sec, 15 secs
lola: 87156 markings, 178889 edges, 3566 markings/sec, 20 secs
lola: 106708 markings, 220664 edges, 3910 markings/sec, 25 secs
lola: 125650 markings, 261073 edges, 3788 markings/sec, 30 secs
lola: 143221 markings, 297135 edges, 3514 markings/sec, 35 secs
lola: 163164 markings, 340858 edges, 3989 markings/sec, 40 secs
lola: 179859 markings, 378133 edges, 3339 markings/sec, 45 secs
lola: 186350 markings, 395457 edges, 1298 markings/sec, 50 secs
lola: 204851 markings, 434698 edges, 3700 markings/sec, 55 secs
lola: 223539 markings, 473978 edges, 3738 markings/sec, 60 secs
lola: 244477 markings, 518958 edges, 4188 markings/sec, 65 secs
lola: 261571 markings, 556895 edges, 3419 markings/sec, 70 secs
lola: 281422 markings, 599637 edges, 3970 markings/sec, 75 secs
lola: 298101 markings, 637846 edges, 3336 markings/sec, 80 secs
lola: 314251 markings, 675615 edges, 3230 markings/sec, 85 secs
lola: 329423 markings, 710354 edges, 3034 markings/sec, 90 secs
lola: 345540 markings, 747162 edges, 3223 markings/sec, 95 secs
lola: 365714 markings, 791618 edges, 4035 markings/sec, 100 secs
lola: 380544 markings, 824861 edges, 2966 markings/sec, 105 secs
lola: 401644 markings, 870202 edges, 4220 markings/sec, 110 secs
lola: 419506 markings, 911873 edges, 3572 markings/sec, 115 secs
lola: 426802 markings, 930889 edges, 1459 markings/sec, 120 secs
lola: 433614 markings, 949059 edges, 1362 markings/sec, 125 secs
lola: 447612 markings, 980836 edges, 2800 markings/sec, 130 secs
lola: 461741 markings, 1013377 edges, 2826 markings/sec, 135 secs
lola: 472102 markings, 1038730 edges, 2072 markings/sec, 140 secs
lola: 487011 markings, 1076225 edges, 2982 markings/sec, 145 secs
lola: 499859 markings, 1106321 edges, 2570 markings/sec, 150 secs
lola: 517723 markings, 1148807 edges, 3573 markings/sec, 155 secs
lola: 530434 markings, 1178950 edges, 2542 markings/sec, 160 secs
lola: 543693 markings, 1209000 edges, 2652 markings/sec, 165 secs
lola: 558360 markings, 1243192 edges, 2933 markings/sec, 170 secs
lola: 575644 markings, 1282777 edges, 3457 markings/sec, 175 secs
lola: 593051 markings, 1323777 edges, 3481 markings/sec, 180 secs
lola: 604262 markings, 1351557 edges, 2242 markings/sec, 185 secs
lola: 614686 markings, 1376808 edges, 2085 markings/sec, 190 secs
lola: 628406 markings, 1408735 edges, 2744 markings/sec, 195 secs
lola: 634870 markings, 1425945 edges, 1293 markings/sec, 200 secs
lola: 657066 markings, 1476728 edges, 4439 markings/sec, 205 secs
lola: 676383 markings, 1521151 edges, 3863 markings/sec, 210 secs
lola: 686713 markings, 1546842 edges, 2066 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(p154)
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 26 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: 3018 markings, 4191 edges, 604 markings/sec, 0 secs
lola: 5367 markings, 8137 edges, 470 markings/sec, 5 secs
lola: 7049 markings, 10953 edges, 336 markings/sec, 10 secs
lola: 8981 markings, 14222 edges, 386 markings/sec, 15 secs
lola: 11283 markings, 18121 edges, 460 markings/sec, 20 secs
lola: 13780 markings, 22208 edges, 499 markings/sec, 25 secs
lola: 15850 markings, 25730 edges, 414 markings/sec, 30 secs
lola: 17831 markings, 29284 edges, 396 markings/sec, 35 secs
lola: 19588 markings, 32358 edges, 351 markings/sec, 40 secs
lola: 21402 markings, 36210 edges, 363 markings/sec, 45 secs
lola: 23294 markings, 39601 edges, 378 markings/sec, 50 secs
lola: 25290 markings, 43336 edges, 399 markings/sec, 55 secs
lola: 27291 markings, 47196 edges, 400 markings/sec, 60 secs
lola: 29226 markings, 50662 edges, 387 markings/sec, 65 secs
lola: 30703 markings, 53599 edges, 295 markings/sec, 70 secs
lola: 32794 markings, 57577 edges, 418 markings/sec, 75 secs
lola: 34247 markings, 60527 edges, 291 markings/sec, 80 secs
lola: 35967 markings, 63722 edges, 344 markings/sec, 85 secs
lola: 38239 markings, 68230 edges, 454 markings/sec, 90 secs
lola: 39847 markings, 71385 edges, 322 markings/sec, 95 secs
lola: 41451 markings, 74717 edges, 321 markings/sec, 100 secs
lola: 43182 markings, 78152 edges, 346 markings/sec, 105 secs
lola: 44681 markings, 81026 edges, 300 markings/sec, 110 secs
lola: 46026 markings, 83765 edges, 269 markings/sec, 115 secs
lola: 48224 markings, 87940 edges, 440 markings/sec, 120 secs
lola: 49746 markings, 90869 edges, 304 markings/sec, 125 secs
lola: 51592 markings, 94254 edges, 369 markings/sec, 130 secs
lola: 53147 markings, 97209 edges, 311 markings/sec, 135 secs
lola: 54995 markings, 100719 edges, 370 markings/sec, 140 secs
lola: 56397 markings, 103376 edges, 280 markings/sec, 145 secs
lola: 57811 markings, 106244 edges, 283 markings/sec, 150 secs
lola: 59679 markings, 109807 edges, 374 markings/sec, 155 secs
lola: 61253 markings, 113157 edges, 315 markings/sec, 160 secs
lola: 62826 markings, 116355 edges, 315 markings/sec, 165 secs
lola: 64624 markings, 119937 edges, 360 markings/sec, 170 secs
lola: 66260 markings, 122876 edges, 327 markings/sec, 175 secs
lola: 67993 markings, 126489 edges, 347 markings/sec, 180 secs
lola: 69653 markings, 129614 edges, 332 markings/sec, 185 secs
lola: 70746 markings, 132665 edges, 219 markings/sec, 190 secs
lola: 71984 markings, 135336 edges, 248 markings/sec, 195 secs
lola: 73412 markings, 138465 edges, 286 markings/sec, 200 secs
lola: 74680 markings, 141233 edges, 254 markings/sec, 205 secs
lola: 76369 markings, 144508 edges, 338 markings/sec, 210 secs
lola: 78005 markings, 147988 edges, 327 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(p56)
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 26 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: 32775 markings, 68352 edges, 6555 markings/sec, 0 secs
lola: 51964 markings, 109087 edges, 3838 markings/sec, 5 secs
lola: 68805 markings, 146483 edges, 3368 markings/sec, 10 secs
lola: 81707 markings, 175321 edges, 2580 markings/sec, 15 secs
lola: 95006 markings, 203518 edges, 2660 markings/sec, 20 secs
lola: 110555 markings, 236981 edges, 3110 markings/sec, 25 secs
lola: 120077 markings, 256963 edges, 1904 markings/sec, 30 secs
lola: 135067 markings, 289169 edges, 2998 markings/sec, 35 secs
lola: 147027 markings, 316980 edges, 2392 markings/sec, 40 secs
lola: 158517 markings, 347438 edges, 2298 markings/sec, 45 secs
lola: 174445 markings, 381836 edges, 3186 markings/sec, 50 secs
lola: 184718 markings, 403543 edges, 2055 markings/sec, 55 secs
lola: 199171 markings, 433885 edges, 2891 markings/sec, 60 secs
lola: 213278 markings, 466582 edges, 2821 markings/sec, 65 secs
lola: 228264 markings, 501925 edges, 2997 markings/sec, 70 secs
lola: 242450 markings, 533653 edges, 2837 markings/sec, 75 secs
lola: 253019 markings, 556880 edges, 2114 markings/sec, 80 secs
lola: 273078 markings, 600587 edges, 4012 markings/sec, 85 secs
lola: 289232 markings, 637343 edges, 3231 markings/sec, 90 secs
lola: 304394 markings, 670335 edges, 3032 markings/sec, 95 secs
lola: 320870 markings, 711887 edges, 3295 markings/sec, 100 secs
lola: 333677 markings, 740029 edges, 2561 markings/sec, 105 secs
lola: 348399 markings, 773506 edges, 2944 markings/sec, 110 secs
lola: 364120 markings, 811526 edges, 3144 markings/sec, 115 secs
lola: 379736 markings, 848725 edges, 3123 markings/sec, 120 secs
lola: 394240 markings, 879871 edges, 2901 markings/sec, 125 secs
lola: 405221 markings, 907623 edges, 2196 markings/sec, 130 secs
lola: 414293 markings, 931914 edges, 1814 markings/sec, 135 secs
lola: 428677 markings, 966019 edges, 2877 markings/sec, 140 secs
lola: 444216 markings, 998981 edges, 3108 markings/sec, 145 secs
lola: 460178 markings, 1037703 edges, 3192 markings/sec, 150 secs
lola: 474827 markings, 1071280 edges, 2930 markings/sec, 155 secs
lola: 482178 markings, 1091571 edges, 1470 markings/sec, 160 secs
lola: 496027 markings, 1122577 edges, 2770 markings/sec, 165 secs
lola: 507530 markings, 1150126 edges, 2301 markings/sec, 170 secs
lola: 518045 markings, 1176628 edges, 2103 markings/sec, 175 secs
lola: 533732 markings, 1210003 edges, 3137 markings/sec, 180 secs
lola: 549004 markings, 1247418 edges, 3054 markings/sec, 185 secs
lola: 563096 markings, 1285019 edges, 2818 markings/sec, 190 secs
lola: 577277 markings, 1317626 edges, 2836 markings/sec, 195 secs
lola: 594725 markings, 1357757 edges, 3490 markings/sec, 200 secs
lola: 606989 markings, 1386520 edges, 2453 markings/sec, 205 secs
lola: 624183 markings, 1428849 edges, 3439 markings/sec, 210 secs
lola: 638251 markings, 1462614 edges, 2814 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(p90)
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 26 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: 26588 markings, 52327 edges, 5318 markings/sec, 0 secs
lola: 49382 markings, 98284 edges, 4559 markings/sec, 5 secs
lola: 71815 markings, 144306 edges, 4487 markings/sec, 10 secs
lola: 94064 markings, 189490 edges, 4450 markings/sec, 15 secs
lola: 117363 markings, 237491 edges, 4660 markings/sec, 20 secs
lola: 142341 markings, 289790 edges, 4996 markings/sec, 25 secs
lola: 171050 markings, 348908 edges, 5742 markings/sec, 30 secs
lola: 199122 markings, 408619 edges, 5614 markings/sec, 35 secs
lola: 226100 markings, 466819 edges, 5396 markings/sec, 40 secs
lola: 251989 markings, 523020 edges, 5178 markings/sec, 45 secs
lola: 276114 markings, 576446 edges, 4825 markings/sec, 50 secs
lola: 299638 markings, 628926 edges, 4705 markings/sec, 55 secs
lola: 323923 markings, 682445 edges, 4857 markings/sec, 60 secs
lola: 345021 markings, 732260 edges, 4220 markings/sec, 65 secs
lola: 364654 markings, 779712 edges, 3927 markings/sec, 70 secs
lola: 388997 markings, 831025 edges, 4869 markings/sec, 75 secs
lola: 412939 markings, 880891 edges, 4788 markings/sec, 80 secs
lola: 438366 markings, 934607 edges, 5085 markings/sec, 85 secs
lola: 462424 markings, 984516 edges, 4812 markings/sec, 90 secs
lola: 485756 markings, 1034001 edges, 4666 markings/sec, 95 secs
lola: 511105 markings, 1087708 edges, 5070 markings/sec, 100 secs
lola: 536917 markings, 1142236 edges, 5162 markings/sec, 105 secs
lola: 563102 markings, 1199519 edges, 5237 markings/sec, 110 secs
lola: 588420 markings, 1252264 edges, 5064 markings/sec, 115 secs
lola: 617523 markings, 1315653 edges, 5821 markings/sec, 120 secs
lola: 642538 markings, 1368725 edges, 5003 markings/sec, 125 secs
lola: 666164 markings, 1419746 edges, 4725 markings/sec, 130 secs
lola: 691269 markings, 1473435 edges, 5021 markings/sec, 135 secs
lola: 715074 markings, 1524687 edges, 4761 markings/sec, 140 secs
lola: 739550 markings, 1576783 edges, 4895 markings/sec, 145 secs
lola: 764680 markings, 1629643 edges, 5026 markings/sec, 150 secs
lola: 791772 markings, 1689071 edges, 5418 markings/sec, 155 secs
lola: 816587 markings, 1742061 edges, 4963 markings/sec, 160 secs
lola: 841732 markings, 1795848 edges, 5029 markings/sec, 165 secs
lola: 869728 markings, 1856903 edges, 5599 markings/sec, 170 secs
lola: 897675 markings, 1919858 edges, 5589 markings/sec, 175 secs
lola: 920030 markings, 1967926 edges, 4471 markings/sec, 180 secs
lola: 946046 markings, 2024745 edges, 5203 markings/sec, 185 secs
lola: 972841 markings, 2082454 edges, 5359 markings/sec, 190 secs
lola: 1003681 markings, 2149652 edges, 6168 markings/sec, 195 secs
lola: 1033991 markings, 2217384 edges, 6062 markings/sec, 200 secs
lola: 1068722 markings, 2295873 edges, 6946 markings/sec, 205 secs
lola: 1104206 markings, 2375305 edges, 7097 markings/sec, 210 secs
lola: 1132371 markings, 2437230 edges, 5633 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(p65)
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 26 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: 27725 markings, 73493 edges, 5545 markings/sec, 0 secs
lola: 50959 markings, 134517 edges, 4647 markings/sec, 5 secs
lola: 68074 markings, 174780 edges, 3423 markings/sec, 10 secs
lola: 84946 markings, 216777 edges, 3374 markings/sec, 15 secs
lola: 111645 markings, 284042 edges, 5340 markings/sec, 20 secs
lola: 129315 markings, 327311 edges, 3534 markings/sec, 25 secs
lola: 151983 markings, 383551 edges, 4534 markings/sec, 30 secs
lola: 179981 markings, 459981 edges, 5600 markings/sec, 35 secs
lola: 202701 markings, 518378 edges, 4544 markings/sec, 40 secs
lola: 231511 markings, 594451 edges, 5762 markings/sec, 45 secs
lola: 255511 markings, 655413 edges, 4800 markings/sec, 50 secs
lola: 281100 markings, 723881 edges, 5118 markings/sec, 55 secs
lola: 300104 markings, 770645 edges, 3801 markings/sec, 60 secs
lola: 324859 markings, 833367 edges, 4951 markings/sec, 65 secs
lola: 346440 markings, 886672 edges, 4316 markings/sec, 70 secs
lola: 371883 markings, 952593 edges, 5089 markings/sec, 75 secs
lola: 396491 markings, 1019386 edges, 4922 markings/sec, 80 secs
lola: 418086 markings, 1079341 edges, 4319 markings/sec, 85 secs
lola: 448886 markings, 1164381 edges, 6160 markings/sec, 90 secs
lola: 471120 markings, 1220569 edges, 4447 markings/sec, 95 secs
lola: 490230 markings, 1267239 edges, 3822 markings/sec, 100 secs
lola: 511120 markings, 1321277 edges, 4178 markings/sec, 105 secs
lola: 531951 markings, 1374117 edges, 4166 markings/sec, 110 secs
lola: 555844 markings, 1434536 edges, 4779 markings/sec, 115 secs
lola: 576684 markings, 1487741 edges, 4168 markings/sec, 120 secs
lola: 610205 markings, 1582031 edges, 6704 markings/sec, 125 secs
lola: 638869 markings, 1656772 edges, 5733 markings/sec, 130 secs
lola: 656323 markings, 1699553 edges, 3491 markings/sec, 135 secs
lola: 676579 markings, 1750827 edges, 4051 markings/sec, 140 secs
lola: 692191 markings, 1789860 edges, 3122 markings/sec, 145 secs
lola: 713825 markings, 1845826 edges, 4327 markings/sec, 150 secs
lola: 727199 markings, 1879275 edges, 2675 markings/sec, 155 secs
lola: 754719 markings, 1950949 edges, 5504 markings/sec, 160 secs
lola: 772575 markings, 1997465 edges, 3571 markings/sec, 165 secs
lola: 804045 markings, 2081054 edges, 6294 markings/sec, 170 secs
lola: 821141 markings, 2123082 edges, 3419 markings/sec, 175 secs
lola: 832911 markings, 2154088 edges, 2354 markings/sec, 180 secs
lola: 854615 markings, 2214432 edges, 4341 markings/sec, 185 secs
lola: 879998 markings, 2281781 edges, 5077 markings/sec, 190 secs
lola: 903603 markings, 2344312 edges, 4721 markings/sec, 195 secs
lola: 928587 markings, 2411284 edges, 4997 markings/sec, 200 secs
lola: 945954 markings, 2454880 edges, 3473 markings/sec, 205 secs
lola: 976984 markings, 2539692 edges, 6206 markings/sec, 210 secs
lola: 994659 markings, 2583553 edges, 3535 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(p4)
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 26 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: 5979 markings, 11305 edges, 1196 markings/sec, 0 secs
lola: 11997 markings, 22774 edges, 1204 markings/sec, 5 secs
lola: 18037 markings, 34237 edges, 1208 markings/sec, 10 secs
lola: 24085 markings, 45786 edges, 1210 markings/sec, 15 secs
lola: 30137 markings, 57307 edges, 1210 markings/sec, 20 secs
lola: 36163 markings, 68684 edges, 1205 markings/sec, 25 secs
lola: 42201 markings, 80263 edges, 1208 markings/sec, 30 secs
lola: 48201 markings, 91839 edges, 1200 markings/sec, 35 secs
lola: 54251 markings, 103697 edges, 1210 markings/sec, 40 secs
lola: 60345 markings, 115606 edges, 1219 markings/sec, 45 secs
lola: 66361 markings, 127377 edges, 1203 markings/sec, 50 secs
lola: 72447 markings, 139447 edges, 1217 markings/sec, 55 secs
lola: 78547 markings, 151837 edges, 1220 markings/sec, 60 secs
lola: 84581 markings, 164536 edges, 1207 markings/sec, 65 secs
lola: 90471 markings, 175930 edges, 1178 markings/sec, 70 secs
lola: 96515 markings, 187441 edges, 1209 markings/sec, 75 secs
lola: 102561 markings, 198914 edges, 1209 markings/sec, 80 secs
lola: 108617 markings, 210456 edges, 1211 markings/sec, 85 secs
lola: 114459 markings, 221551 edges, 1168 markings/sec, 90 secs
lola: 119837 markings, 231800 edges, 1076 markings/sec, 95 secs
lola: 125905 markings, 243388 edges, 1214 markings/sec, 100 secs
lola: 131993 markings, 255055 edges, 1218 markings/sec, 105 secs
lola: 138083 markings, 267071 edges, 1218 markings/sec, 110 secs
lola: 144113 markings, 278925 edges, 1206 markings/sec, 115 secs
lola: 150131 markings, 291236 edges, 1204 markings/sec, 120 secs
lola: 156217 markings, 303321 edges, 1217 markings/sec, 125 secs
lola: 162215 markings, 315212 edges, 1200 markings/sec, 130 secs
lola: 168319 markings, 327649 edges, 1221 markings/sec, 135 secs
lola: 174227 markings, 340092 edges, 1182 markings/sec, 140 secs
lola: 180105 markings, 351842 edges, 1176 markings/sec, 145 secs
lola: 186089 markings, 364531 edges, 1197 markings/sec, 150 secs
lola: 192005 markings, 377224 edges, 1183 markings/sec, 155 secs
lola: 198057 markings, 390574 edges, 1210 markings/sec, 160 secs
lola: 204039 markings, 403599 edges, 1196 markings/sec, 165 secs
lola: 209031 markings, 414406 edges, 998 markings/sec, 170 secs
lola: 214157 markings, 426423 edges, 1025 markings/sec, 175 secs
lola: 220199 markings, 439402 edges, 1208 markings/sec, 180 secs
lola: 226139 markings, 451614 edges, 1188 markings/sec, 185 secs
lola: 232029 markings, 467216 edges, 1178 markings/sec, 190 secs
lola: 237947 markings, 480580 edges, 1184 markings/sec, 195 secs
lola: 243905 markings, 492273 edges, 1192 markings/sec, 200 secs
lola: 249929 markings, 503880 edges, 1205 markings/sec, 205 secs
lola: 255835 markings, 516004 edges, 1181 markings/sec, 210 secs
lola: 261811 markings, 527954 edges, 1195 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(p142)
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 26 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: 29904 markings, 58208 edges, 5981 markings/sec, 0 secs
lola: 60176 markings, 118737 edges, 6054 markings/sec, 5 secs
lola: 89619 markings, 176226 edges, 5889 markings/sec, 10 secs
lola: 118768 markings, 232943 edges, 5830 markings/sec, 15 secs
lola: 146974 markings, 292409 edges, 5641 markings/sec, 20 secs
lola: 174678 markings, 350422 edges, 5541 markings/sec, 25 secs
lola: 204005 markings, 410876 edges, 5865 markings/sec, 30 secs
lola: 233532 markings, 471633 edges, 5905 markings/sec, 35 secs
lola: 263126 markings, 535682 edges, 5919 markings/sec, 40 secs
lola: 293955 markings, 606145 edges, 6166 markings/sec, 45 secs
lola: 324210 markings, 676877 edges, 6051 markings/sec, 50 secs
lola: 353079 markings, 746305 edges, 5774 markings/sec, 55 secs
lola: 381196 markings, 812229 edges, 5623 markings/sec, 60 secs
lola: 408986 markings, 877928 edges, 5558 markings/sec, 65 secs
lola: 437093 markings, 942881 edges, 5621 markings/sec, 70 secs
lola: 464259 markings, 1004953 edges, 5433 markings/sec, 75 secs
lola: 492620 markings, 1068638 edges, 5672 markings/sec, 80 secs
lola: 522836 markings, 1138901 edges, 6043 markings/sec, 85 secs
lola: 549808 markings, 1201923 edges, 5394 markings/sec, 90 secs
lola: 576753 markings, 1262514 edges, 5389 markings/sec, 95 secs
lola: 603919 markings, 1325502 edges, 5433 markings/sec, 100 secs
lola: 631869 markings, 1387250 edges, 5590 markings/sec, 105 secs
lola: 650495 markings, 1429087 edges, 3725 markings/sec, 110 secs
lola: 675564 markings, 1487125 edges, 5014 markings/sec, 115 secs
lola: 700701 markings, 1543932 edges, 5027 markings/sec, 120 secs
lola: 732342 markings, 1618467 edges, 6328 markings/sec, 125 secs
lola: 761089 markings, 1684603 edges, 5749 markings/sec, 130 secs
lola: 784376 markings, 1740098 edges, 4657 markings/sec, 135 secs
lola: 808066 markings, 1796976 edges, 4738 markings/sec, 140 secs
lola: 831672 markings, 1855333 edges, 4721 markings/sec, 145 secs
lola: 857182 markings, 1912576 edges, 5102 markings/sec, 150 secs
lola: 880272 markings, 1966721 edges, 4618 markings/sec, 155 secs
lola: 907768 markings, 2029978 edges, 5499 markings/sec, 160 secs
lola: 933566 markings, 2089413 edges, 5160 markings/sec, 165 secs
lola: 954003 markings, 2137112 edges, 4087 markings/sec, 170 secs
lola: 984015 markings, 2208601 edges, 6002 markings/sec, 175 secs
lola: 1012198 markings, 2273419 edges, 5637 markings/sec, 180 secs
lola: 1040966 markings, 2340559 edges, 5754 markings/sec, 185 secs
lola: 1063331 markings, 2389545 edges, 4473 markings/sec, 190 secs
lola: 1084331 markings, 2438396 edges, 4200 markings/sec, 195 secs
lola: 1106976 markings, 2493759 edges, 4529 markings/sec, 200 secs
lola: 1128747 markings, 2542843 edges, 4354 markings/sec, 205 secs
lola: 1152431 markings, 2600371 edges, 4737 markings/sec, 210 secs
lola: 1177277 markings, 2654850 edges, 4969 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(p141)
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 26 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: 17732 markings, 35309 edges, 3546 markings/sec, 0 secs
lola: 35620 markings, 71699 edges, 3578 markings/sec, 5 secs
lola: 54148 markings, 110095 edges, 3706 markings/sec, 10 secs
lola: 72504 markings, 149534 edges, 3671 markings/sec, 15 secs
lola: 90263 markings, 185426 edges, 3552 markings/sec, 20 secs
lola: 108695 markings, 221323 edges, 3686 markings/sec, 25 secs
lola: 128889 markings, 263013 edges, 4039 markings/sec, 30 secs
lola: 145067 markings, 297952 edges, 3236 markings/sec, 35 secs
lola: 163279 markings, 333709 edges, 3642 markings/sec, 40 secs
lola: 181725 markings, 370876 edges, 3689 markings/sec, 45 secs
lola: 195485 markings, 400104 edges, 2752 markings/sec, 50 secs
lola: 215549 markings, 441537 edges, 4013 markings/sec, 55 secs
lola: 234629 markings, 478814 edges, 3816 markings/sec, 60 secs
lola: 254561 markings, 518977 edges, 3986 markings/sec, 65 secs
lola: 273783 markings, 560001 edges, 3844 markings/sec, 70 secs
lola: 291726 markings, 597807 edges, 3589 markings/sec, 75 secs
lola: 311750 markings, 639995 edges, 4005 markings/sec, 80 secs
lola: 330075 markings, 678357 edges, 3665 markings/sec, 85 secs
lola: 349548 markings, 721857 edges, 3895 markings/sec, 90 secs
lola: 366452 markings, 754910 edges, 3381 markings/sec, 95 secs
lola: 386549 markings, 797658 edges, 4019 markings/sec, 100 secs
lola: 406806 markings, 839689 edges, 4051 markings/sec, 105 secs
lola: 429597 markings, 891659 edges, 4558 markings/sec, 110 secs
lola: 451554 markings, 937727 edges, 4391 markings/sec, 115 secs
lola: 470681 markings, 977801 edges, 3825 markings/sec, 120 secs
lola: 494835 markings, 1035768 edges, 4831 markings/sec, 125 secs
lola: 519227 markings, 1091355 edges, 4878 markings/sec, 130 secs
lola: 543014 markings, 1146590 edges, 4757 markings/sec, 135 secs
lola: 565791 markings, 1199851 edges, 4555 markings/sec, 140 secs
lola: 585540 markings, 1245224 edges, 3950 markings/sec, 145 secs
lola: 602363 markings, 1281689 edges, 3365 markings/sec, 150 secs
lola: 619812 markings, 1317834 edges, 3490 markings/sec, 155 secs
lola: 645298 markings, 1379414 edges, 5097 markings/sec, 160 secs
lola: 666428 markings, 1425809 edges, 4226 markings/sec, 165 secs
lola: 685736 markings, 1466487 edges, 3862 markings/sec, 170 secs
lola: 704917 markings, 1509611 edges, 3836 markings/sec, 175 secs
lola: 724978 markings, 1553838 edges, 4012 markings/sec, 180 secs
lola: 743082 markings, 1593900 edges, 3621 markings/sec, 185 secs
lola: 759803 markings, 1632357 edges, 3344 markings/sec, 190 secs
lola: 776679 markings, 1666648 edges, 3375 markings/sec, 195 secs
lola: 796361 markings, 1710368 edges, 3936 markings/sec, 200 secs
lola: 812573 markings, 1746024 edges, 3242 markings/sec, 205 secs
lola: 831269 markings, 1787126 edges, 3739 markings/sec, 210 secs
lola: 846994 markings, 1822191 edges, 3145 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(p110)
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 26 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: 8250 markings, 25948 edges, 1650 markings/sec, 0 secs
lola: 16652 markings, 53271 edges, 1680 markings/sec, 5 secs
lola: 25181 markings, 80710 edges, 1706 markings/sec, 10 secs
lola: 33590 markings, 107964 edges, 1682 markings/sec, 15 secs
lola: 42120 markings, 135209 edges, 1706 markings/sec, 20 secs
lola: 50172 markings, 161793 edges, 1610 markings/sec, 25 secs
lola: 57473 markings, 185676 edges, 1460 markings/sec, 30 secs
lola: 65831 markings, 212763 edges, 1672 markings/sec, 35 secs
lola: 74385 markings, 241529 edges, 1711 markings/sec, 40 secs
lola: 83018 markings, 269939 edges, 1727 markings/sec, 45 secs
lola: 90784 markings, 295321 edges, 1553 markings/sec, 50 secs
lola: 99405 markings, 323549 edges, 1724 markings/sec, 55 secs
lola: 108020 markings, 351936 edges, 1723 markings/sec, 60 secs
lola: 116525 markings, 379483 edges, 1701 markings/sec, 65 secs
lola: 125238 markings, 409049 edges, 1743 markings/sec, 70 secs
lola: 134297 markings, 441661 edges, 1812 markings/sec, 75 secs
lola: 143167 markings, 473304 edges, 1774 markings/sec, 80 secs
lola: 151740 markings, 504665 edges, 1715 markings/sec, 85 secs
lola: 159236 markings, 529247 edges, 1499 markings/sec, 90 secs
lola: 167646 markings, 556180 edges, 1682 markings/sec, 95 secs
lola: 176351 markings, 584057 edges, 1741 markings/sec, 100 secs
lola: 184576 markings, 610355 edges, 1645 markings/sec, 105 secs
lola: 193386 markings, 640246 edges, 1762 markings/sec, 110 secs
lola: 201742 markings, 667427 edges, 1671 markings/sec, 115 secs
lola: 209984 markings, 694903 edges, 1648 markings/sec, 120 secs
lola: 217943 markings, 721380 edges, 1592 markings/sec, 125 secs
lola: 225323 markings, 744918 edges, 1476 markings/sec, 130 secs
lola: 233678 markings, 772331 edges, 1671 markings/sec, 135 secs
lola: 242316 markings, 800706 edges, 1728 markings/sec, 140 secs
lola: 250872 markings, 829047 edges, 1711 markings/sec, 145 secs
lola: 259308 markings, 857280 edges, 1687 markings/sec, 150 secs
lola: 267350 markings, 884943 edges, 1608 markings/sec, 155 secs
lola: 275026 markings, 911007 edges, 1535 markings/sec, 160 secs
lola: 283030 markings, 937363 edges, 1601 markings/sec, 165 secs
lola: 291314 markings, 963868 edges, 1657 markings/sec, 170 secs
lola: 299715 markings, 991482 edges, 1680 markings/sec, 175 secs
lola: 308096 markings, 1019720 edges, 1676 markings/sec, 180 secs
lola: 316803 markings, 1049661 edges, 1741 markings/sec, 185 secs
lola: 325977 markings, 1083653 edges, 1835 markings/sec, 190 secs
lola: 334742 markings, 1115022 edges, 1753 markings/sec, 195 secs
lola: 343774 markings, 1149355 edges, 1806 markings/sec, 200 secs
lola: 352638 markings, 1183318 edges, 1773 markings/sec, 205 secs
lola: 361503 markings, 1218320 edges, 1773 markings/sec, 210 secs
lola: 368605 markings, 1241513 edges, 1420 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(p143)
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 26 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: 17402 markings, 38553 edges, 3480 markings/sec, 0 secs
lola: 39773 markings, 88298 edges, 4474 markings/sec, 5 secs
lola: 62074 markings, 136837 edges, 4460 markings/sec, 10 secs
lola: 79105 markings, 174253 edges, 3406 markings/sec, 15 secs
lola: 100943 markings, 220764 edges, 4368 markings/sec, 20 secs
lola: 115518 markings, 253030 edges, 2915 markings/sec, 25 secs
lola: 135875 markings, 298392 edges, 4071 markings/sec, 30 secs
lola: 151214 markings, 332684 edges, 3068 markings/sec, 35 secs
lola: 169419 markings, 371625 edges, 3641 markings/sec, 40 secs
lola: 185548 markings, 406744 edges, 3226 markings/sec, 45 secs
lola: 202155 markings, 444646 edges, 3321 markings/sec, 50 secs
lola: 216097 markings, 476093 edges, 2788 markings/sec, 55 secs
lola: 235380 markings, 517933 edges, 3857 markings/sec, 60 secs
lola: 253997 markings, 559296 edges, 3723 markings/sec, 65 secs
lola: 267435 markings, 590797 edges, 2688 markings/sec, 70 secs
lola: 284522 markings, 628935 edges, 3417 markings/sec, 75 secs
lola: 303846 markings, 669290 edges, 3865 markings/sec, 80 secs
lola: 325504 markings, 714652 edges, 4332 markings/sec, 85 secs
lola: 338801 markings, 745644 edges, 2659 markings/sec, 90 secs
lola: 360012 markings, 790719 edges, 4242 markings/sec, 95 secs
lola: 375173 markings, 824996 edges, 3032 markings/sec, 100 secs
lola: 386896 markings, 852961 edges, 2345 markings/sec, 105 secs
lola: 399846 markings, 882453 edges, 2590 markings/sec, 110 secs
lola: 414640 markings, 916980 edges, 2959 markings/sec, 115 secs
lola: 428998 markings, 950547 edges, 2872 markings/sec, 120 secs
lola: 442419 markings, 980560 edges, 2684 markings/sec, 125 secs
lola: 456005 markings, 1011596 edges, 2717 markings/sec, 130 secs
lola: 467087 markings, 1038209 edges, 2216 markings/sec, 135 secs
lola: 489669 markings, 1087117 edges, 4516 markings/sec, 140 secs
lola: 506685 markings, 1124437 edges, 3403 markings/sec, 145 secs
lola: 525058 markings, 1164485 edges, 3675 markings/sec, 150 secs
lola: 541676 markings, 1201118 edges, 3324 markings/sec, 155 secs
lola: 558318 markings, 1238776 edges, 3328 markings/sec, 160 secs
lola: 580616 markings, 1288366 edges, 4460 markings/sec, 165 secs
lola: 598807 markings, 1329017 edges, 3638 markings/sec, 170 secs
lola: 616342 markings, 1366938 edges, 3507 markings/sec, 175 secs
lola: 637524 markings, 1417236 edges, 4236 markings/sec, 180 secs
lola: 656429 markings, 1458507 edges, 3781 markings/sec, 185 secs
lola: 675646 markings, 1501718 edges, 3843 markings/sec, 190 secs
lola: 686050 markings, 1526601 edges, 2081 markings/sec, 195 secs
lola: 690842 markings, 1540829 edges, 958 markings/sec, 200 secs
lola: 709359 markings, 1581501 edges, 3703 markings/sec, 205 secs
lola: 722194 markings, 1611095 edges, 2567 markings/sec, 210 secs
lola: 738936 markings, 1652463 edges, 3348 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(p125)
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 26 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: 9881 markings, 19336 edges, 1976 markings/sec, 0 secs
lola: 19735 markings, 38860 edges, 1971 markings/sec, 5 secs
lola: 29536 markings, 58203 edges, 1960 markings/sec, 10 secs
lola: 39259 markings, 77021 edges, 1945 markings/sec, 15 secs
lola: 47841 markings, 93838 edges, 1716 markings/sec, 20 secs
lola: 57705 markings, 113330 edges, 1973 markings/sec, 25 secs
lola: 67509 markings, 132722 edges, 1961 markings/sec, 30 secs
lola: 77257 markings, 152035 edges, 1950 markings/sec, 35 secs
lola: 86922 markings, 171091 edges, 1933 markings/sec, 40 secs
lola: 96618 markings, 190245 edges, 1939 markings/sec, 45 secs
lola: 106185 markings, 209197 edges, 1913 markings/sec, 50 secs
lola: 115849 markings, 227906 edges, 1933 markings/sec, 55 secs
lola: 125596 markings, 246979 edges, 1949 markings/sec, 60 secs
lola: 135419 markings, 266315 edges, 1965 markings/sec, 65 secs
lola: 145211 markings, 285715 edges, 1958 markings/sec, 70 secs
lola: 154993 markings, 304813 edges, 1956 markings/sec, 75 secs
lola: 164690 markings, 323902 edges, 1939 markings/sec, 80 secs
lola: 174394 markings, 342817 edges, 1941 markings/sec, 85 secs
lola: 184216 markings, 362270 edges, 1964 markings/sec, 90 secs
lola: 193995 markings, 381732 edges, 1956 markings/sec, 95 secs
lola: 203895 markings, 402094 edges, 1980 markings/sec, 100 secs
lola: 213697 markings, 421549 edges, 1960 markings/sec, 105 secs
lola: 223467 markings, 440595 edges, 1954 markings/sec, 110 secs
lola: 233456 markings, 460850 edges, 1998 markings/sec, 115 secs
lola: 243325 markings, 481463 edges, 1974 markings/sec, 120 secs
lola: 253224 markings, 501885 edges, 1980 markings/sec, 125 secs
lola: 263144 markings, 522024 edges, 1984 markings/sec, 130 secs
lola: 273577 markings, 545728 edges, 2087 markings/sec, 135 secs
lola: 282379 markings, 567001 edges, 1760 markings/sec, 140 secs
lola: 292419 markings, 588581 edges, 2008 markings/sec, 145 secs
lola: 302524 markings, 610104 edges, 2021 markings/sec, 150 secs
lola: 312962 markings, 634659 edges, 2088 markings/sec, 155 secs
lola: 321623 markings, 654631 edges, 1732 markings/sec, 160 secs
lola: 331739 markings, 676227 edges, 2023 markings/sec, 165 secs
lola: 341459 markings, 696044 edges, 1944 markings/sec, 170 secs
lola: 351586 markings, 717901 edges, 2025 markings/sec, 175 secs
lola: 361291 markings, 740809 edges, 1941 markings/sec, 180 secs
lola: 370802 markings, 761569 edges, 1902 markings/sec, 185 secs
lola: 380899 markings, 782555 edges, 2019 markings/sec, 190 secs
lola: 390949 markings, 804004 edges, 2010 markings/sec, 195 secs
lola: 400954 markings, 825633 edges, 2001 markings/sec, 200 secs
lola: 410748 markings, 846748 edges, 1959 markings/sec, 205 secs
lola: 420762 markings, 867110 edges, 2003 markings/sec, 210 secs
lola: 430762 markings, 887872 edges, 2000 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(p8)
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 26 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: 4797 markings, 14769 edges, 959 markings/sec, 0 secs
lola: 9482 markings, 28726 edges, 937 markings/sec, 5 secs
lola: 14266 markings, 43670 edges, 957 markings/sec, 10 secs
lola: 18874 markings, 58240 edges, 922 markings/sec, 15 secs
lola: 23566 markings, 73035 edges, 938 markings/sec, 20 secs
lola: 28326 markings, 87665 edges, 952 markings/sec, 25 secs
lola: 32889 markings, 101273 edges, 913 markings/sec, 30 secs
lola: 37496 markings, 115361 edges, 921 markings/sec, 35 secs
lola: 42274 markings, 130261 edges, 956 markings/sec, 40 secs
lola: 47061 markings, 145060 edges, 957 markings/sec, 45 secs
lola: 51604 markings, 159584 edges, 909 markings/sec, 50 secs
lola: 56319 markings, 174060 edges, 943 markings/sec, 55 secs
lola: 61142 markings, 189539 edges, 965 markings/sec, 60 secs
lola: 65985 markings, 204866 edges, 969 markings/sec, 65 secs
lola: 70809 markings, 220472 edges, 965 markings/sec, 70 secs
lola: 75668 markings, 235318 edges, 972 markings/sec, 75 secs
lola: 80420 markings, 249785 edges, 950 markings/sec, 80 secs
lola: 85279 markings, 264948 edges, 972 markings/sec, 85 secs
lola: 90053 markings, 279850 edges, 955 markings/sec, 90 secs
lola: 94789 markings, 297251 edges, 947 markings/sec, 95 secs
lola: 99571 markings, 312841 edges, 956 markings/sec, 100 secs
lola: 104287 markings, 329637 edges, 943 markings/sec, 105 secs
lola: 109135 markings, 344672 edges, 970 markings/sec, 110 secs
lola: 113921 markings, 360201 edges, 957 markings/sec, 115 secs
lola: 118708 markings, 376635 edges, 957 markings/sec, 120 secs
lola: 123522 markings, 392076 edges, 963 markings/sec, 125 secs
lola: 128071 markings, 407067 edges, 910 markings/sec, 130 secs
lola: 132868 markings, 422818 edges, 959 markings/sec, 135 secs
lola: 137636 markings, 437437 edges, 954 markings/sec, 140 secs
lola: 142298 markings, 451384 edges, 932 markings/sec, 145 secs
lola: 146837 markings, 465026 edges, 908 markings/sec, 150 secs
lola: 151472 markings, 480940 edges, 927 markings/sec, 155 secs
lola: 156192 markings, 495533 edges, 944 markings/sec, 160 secs
lola: 160736 markings, 513216 edges, 909 markings/sec, 165 secs
lola: 165461 markings, 528427 edges, 945 markings/sec, 170 secs
lola: 170299 markings, 543206 edges, 968 markings/sec, 175 secs
lola: 175119 markings, 557687 edges, 964 markings/sec, 180 secs
lola: 179953 markings, 573006 edges, 967 markings/sec, 185 secs
lola: 184619 markings, 588025 edges, 933 markings/sec, 190 secs
lola: 189392 markings, 604002 edges, 955 markings/sec, 195 secs
lola: 194253 markings, 618542 edges, 972 markings/sec, 200 secs
lola: 199059 markings, 633512 edges, 961 markings/sec, 205 secs
lola: 203864 markings, 647664 edges, 961 markings/sec, 210 secs
lola: 208617 markings, 662189 edges, 951 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(p38)
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 26 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: 27514 markings, 52654 edges, 5503 markings/sec, 0 secs
lola: 53822 markings, 102734 edges, 5262 markings/sec, 5 secs
lola: 72553 markings, 138446 edges, 3746 markings/sec, 10 secs
lola: 98585 markings, 188111 edges, 5206 markings/sec, 15 secs
lola: 122408 markings, 233714 edges, 4765 markings/sec, 20 secs
lola: 148703 markings, 284058 edges, 5259 markings/sec, 25 secs
lola: 171362 markings, 327435 edges, 4532 markings/sec, 30 secs
lola: 196700 markings, 375815 edges, 5068 markings/sec, 35 secs
lola: 218019 markings, 416703 edges, 4264 markings/sec, 40 secs
lola: 241967 markings, 462419 edges, 4790 markings/sec, 45 secs
lola: 263173 markings, 503400 edges, 4241 markings/sec, 50 secs
lola: 290097 markings, 555313 edges, 5385 markings/sec, 55 secs
lola: 313625 markings, 600988 edges, 4706 markings/sec, 60 secs
lola: 333872 markings, 640366 edges, 4049 markings/sec, 65 secs
lola: 351257 markings, 673811 edges, 3477 markings/sec, 70 secs
lola: 372266 markings, 714473 edges, 4202 markings/sec, 75 secs
lola: 396624 markings, 761212 edges, 4872 markings/sec, 80 secs
lola: 418786 markings, 804000 edges, 4432 markings/sec, 85 secs
lola: 436412 markings, 838293 edges, 3525 markings/sec, 90 secs
lola: 460622 markings, 884635 edges, 4842 markings/sec, 95 secs
lola: 484457 markings, 930269 edges, 4767 markings/sec, 100 secs
lola: 506261 markings, 972258 edges, 4361 markings/sec, 105 secs
lola: 529321 markings, 1016595 edges, 4612 markings/sec, 110 secs
lola: 551489 markings, 1059024 edges, 4434 markings/sec, 115 secs
lola: 574504 markings, 1103613 edges, 4603 markings/sec, 120 secs
lola: 602062 markings, 1157179 edges, 5512 markings/sec, 125 secs
lola: 624190 markings, 1200441 edges, 4426 markings/sec, 130 secs
lola: 652050 markings, 1254586 edges, 5572 markings/sec, 135 secs
lola: 678914 markings, 1306977 edges, 5373 markings/sec, 140 secs
lola: 704668 markings, 1357959 edges, 5151 markings/sec, 145 secs
lola: 728395 markings, 1404077 edges, 4745 markings/sec, 150 secs
lola: 749693 markings, 1445631 edges, 4260 markings/sec, 155 secs
lola: 770560 markings, 1487434 edges, 4173 markings/sec, 160 secs
lola: 799098 markings, 1546107 edges, 5708 markings/sec, 165 secs
lola: 826176 markings, 1600942 edges, 5416 markings/sec, 170 secs
lola: 846784 markings, 1640892 edges, 4122 markings/sec, 175 secs
lola: 871998 markings, 1689921 edges, 5043 markings/sec, 180 secs
lola: 896249 markings, 1737338 edges, 4850 markings/sec, 185 secs
lola: 918417 markings, 1781219 edges, 4434 markings/sec, 190 secs
lola: 944321 markings, 1831888 edges, 5181 markings/sec, 195 secs
lola: 969132 markings, 1880729 edges, 4962 markings/sec, 200 secs
lola: 1000980 markings, 1948953 edges, 6370 markings/sec, 205 secs
lola: 1008493 markings, 1965888 edges, 1503 markings/sec, 210 secs
lola: 1012987 markings, 1975306 edges, 899 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(p56)
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 26 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: 31737 markings, 66133 edges, 6347 markings/sec, 0 secs
lola: 46484 markings, 97645 edges, 2949 markings/sec, 5 secs
lola: 66016 markings, 140216 edges, 3906 markings/sec, 10 secs
lola: 79235 markings, 170191 edges, 2644 markings/sec, 15 secs
lola: 90735 markings, 194325 edges, 2300 markings/sec, 20 secs
lola: 105581 markings, 226306 edges, 2969 markings/sec, 25 secs
lola: 115639 markings, 247651 edges, 2012 markings/sec, 30 secs
lola: 131064 markings, 280727 edges, 3085 markings/sec, 35 secs
lola: 140899 markings, 302794 edges, 1967 markings/sec, 40 secs
lola: 152123 markings, 329123 edges, 2245 markings/sec, 45 secs
lola: 164306 markings, 360218 edges, 2437 markings/sec, 50 secs
lola: 179270 markings, 392111 edges, 2993 markings/sec, 55 secs
lola: 187562 markings, 409406 edges, 1658 markings/sec, 60 secs
lola: 204429 markings, 445473 edges, 3373 markings/sec, 65 secs
lola: 219630 markings, 480505 edges, 3040 markings/sec, 70 secs
lola: 234278 markings, 514896 edges, 2930 markings/sec, 75 secs
lola: 247876 markings, 546065 edges, 2720 markings/sec, 80 secs
lola: 258728 markings, 569113 edges, 2170 markings/sec, 85 secs
lola: 275951 markings, 606498 edges, 3445 markings/sec, 90 secs
lola: 291943 markings, 643039 edges, 3198 markings/sec, 95 secs
lola: 306529 markings, 675822 edges, 2917 markings/sec, 100 secs
lola: 323703 markings, 717734 edges, 3435 markings/sec, 105 secs
lola: 335809 markings, 744583 edges, 2421 markings/sec, 110 secs
lola: 351594 markings, 780859 edges, 3157 markings/sec, 115 secs
lola: 366424 markings, 817878 edges, 2966 markings/sec, 120 secs
lola: 380798 markings, 850907 edges, 2875 markings/sec, 125 secs
lola: 394910 markings, 882040 edges, 2822 markings/sec, 130 secs
lola: 406046 markings, 909791 edges, 2227 markings/sec, 135 secs
lola: 418661 markings, 941680 edges, 2523 markings/sec, 140 secs
lola: 431738 markings, 972366 edges, 2615 markings/sec, 145 secs
lola: 447029 markings, 1006940 edges, 3058 markings/sec, 150 secs
lola: 463776 markings, 1045915 edges, 3349 markings/sec, 155 secs
lola: 476559 markings, 1075805 edges, 2557 markings/sec, 160 secs
lola: 482501 markings, 1092589 edges, 1188 markings/sec, 165 secs
lola: 497599 markings, 1125959 edges, 3020 markings/sec, 170 secs
lola: 508166 markings, 1152015 edges, 2113 markings/sec, 175 secs
lola: 520955 markings, 1182623 edges, 2558 markings/sec, 180 secs
lola: 536311 markings, 1215695 edges, 3071 markings/sec, 185 secs
lola: 552186 markings, 1255465 edges, 3175 markings/sec, 190 secs
lola: 566843 markings, 1293470 edges, 2931 markings/sec, 195 secs
lola: 582757 markings, 1330640 edges, 3183 markings/sec, 200 secs
lola: 598617 markings, 1365741 edges, 3172 markings/sec, 205 secs
lola: 612184 markings, 1398599 edges, 2713 markings/sec, 210 secs
lola: 627047 markings, 1436440 edges, 2973 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(p68)
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 26 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: 23916 markings, 46113 edges, 4783 markings/sec, 0 secs
lola: 45201 markings, 87723 edges, 4257 markings/sec, 5 secs
lola: 61577 markings, 125037 edges, 3275 markings/sec, 10 secs
lola: 88945 markings, 177759 edges, 5474 markings/sec, 15 secs
lola: 116194 markings, 230286 edges, 5450 markings/sec, 20 secs
lola: 138330 markings, 274618 edges, 4427 markings/sec, 25 secs
lola: 140413 markings, 280058 edges, 417 markings/sec, 30 secs
lola: 150401 markings, 301554 edges, 1998 markings/sec, 35 secs
lola: 162030 markings, 328912 edges, 2326 markings/sec, 40 secs
lola: 189254 markings, 389809 edges, 5445 markings/sec, 45 secs
lola: 212654 markings, 437192 edges, 4680 markings/sec, 50 secs
lola: 228509 markings, 473269 edges, 3171 markings/sec, 55 secs
lola: 249321 markings, 516371 edges, 4162 markings/sec, 60 secs
lola: 276435 markings, 571028 edges, 5423 markings/sec, 65 secs
lola: 293836 markings, 607039 edges, 3480 markings/sec, 70 secs
lola: 313426 markings, 649494 edges, 3918 markings/sec, 75 secs
lola: 333246 markings, 695770 edges, 3964 markings/sec, 80 secs
lola: 360154 markings, 749945 edges, 5382 markings/sec, 85 secs
lola: 382594 markings, 796018 edges, 4488 markings/sec, 90 secs
lola: 391467 markings, 815155 edges, 1775 markings/sec, 95 secs
lola: 405575 markings, 846128 edges, 2822 markings/sec, 100 secs
lola: 432227 markings, 901891 edges, 5330 markings/sec, 105 secs
lola: 444822 markings, 928374 edges, 2519 markings/sec, 110 secs
lola: 453567 markings, 947502 edges, 1749 markings/sec, 115 secs
lola: 463849 markings, 969467 edges, 2056 markings/sec, 120 secs
lola: 479421 markings, 1000963 edges, 3114 markings/sec, 125 secs
lola: 499389 markings, 1042766 edges, 3994 markings/sec, 130 secs
lola: 512817 markings, 1073406 edges, 2686 markings/sec, 135 secs
lola: 530173 markings, 1109850 edges, 3471 markings/sec, 140 secs
lola: 541219 markings, 1136186 edges, 2209 markings/sec, 145 secs
lola: 563204 markings, 1180508 edges, 4397 markings/sec, 150 secs
lola: 578282 markings, 1216719 edges, 3016 markings/sec, 155 secs
lola: 588702 markings, 1242184 edges, 2084 markings/sec, 160 secs
lola: 601159 markings, 1271784 edges, 2491 markings/sec, 165 secs
lola: 611193 markings, 1297470 edges, 2007 markings/sec, 170 secs
lola: 620449 markings, 1321284 edges, 1851 markings/sec, 175 secs
lola: 642336 markings, 1371603 edges, 4377 markings/sec, 180 secs
lola: 650487 markings, 1389822 edges, 1630 markings/sec, 185 secs
lola: 669606 markings, 1431587 edges, 3824 markings/sec, 190 secs
lola: 694572 markings, 1486716 edges, 4993 markings/sec, 195 secs
lola: 714352 markings, 1527635 edges, 3956 markings/sec, 200 secs
lola: 730837 markings, 1565796 edges, 3297 markings/sec, 205 secs
lola: 736704 markings, 1581799 edges, 1173 markings/sec, 210 secs
lola: 760440 markings, 1638002 edges, 4747 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(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 26 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: 31549 markings, 88853 edges, 6310 markings/sec, 0 secs
lola: 47635 markings, 134771 edges, 3217 markings/sec, 5 secs
lola: 61111 markings, 177713 edges, 2695 markings/sec, 10 secs
lola: 74697 markings, 221310 edges, 2717 markings/sec, 15 secs
lola: 84067 markings, 246986 edges, 1874 markings/sec, 20 secs
lola: 96800 markings, 282161 edges, 2547 markings/sec, 25 secs
lola: 107933 markings, 313093 edges, 2227 markings/sec, 30 secs
lola: 121480 markings, 350574 edges, 2709 markings/sec, 35 secs
lola: 136171 markings, 391393 edges, 2938 markings/sec, 40 secs
lola: 146663 markings, 420721 edges, 2098 markings/sec, 45 secs
lola: 159669 markings, 463616 edges, 2601 markings/sec, 50 secs
lola: 171719 markings, 502666 edges, 2410 markings/sec, 55 secs
lola: 180478 markings, 531851 edges, 1752 markings/sec, 60 secs
lola: 188221 markings, 557654 edges, 1549 markings/sec, 65 secs
lola: 203609 markings, 602879 edges, 3078 markings/sec, 70 secs
lola: 215482 markings, 635716 edges, 2375 markings/sec, 75 secs
lola: 227029 markings, 667786 edges, 2309 markings/sec, 80 secs
lola: 240006 markings, 703749 edges, 2595 markings/sec, 85 secs
lola: 254343 markings, 743386 edges, 2867 markings/sec, 90 secs
lola: 266085 markings, 775951 edges, 2348 markings/sec, 95 secs
lola: 275295 markings, 802137 edges, 1842 markings/sec, 100 secs
lola: 285048 markings, 829938 edges, 1951 markings/sec, 105 secs
lola: 294902 markings, 862111 edges, 1971 markings/sec, 110 secs
lola: 305074 markings, 891031 edges, 2034 markings/sec, 115 secs
lola: 317325 markings, 924874 edges, 2450 markings/sec, 120 secs
lola: 327859 markings, 954212 edges, 2107 markings/sec, 125 secs
lola: 341434 markings, 991755 edges, 2715 markings/sec, 130 secs
lola: 355932 markings, 1031866 edges, 2900 markings/sec, 135 secs
lola: 366419 markings, 1063958 edges, 2097 markings/sec, 140 secs
lola: 377201 markings, 1093839 edges, 2156 markings/sec, 145 secs
lola: 394028 markings, 1141598 edges, 3365 markings/sec, 150 secs
lola: 404425 markings, 1171189 edges, 2079 markings/sec, 155 secs
lola: 415339 markings, 1201395 edges, 2183 markings/sec, 160 secs
lola: 430354 markings, 1245493 edges, 3003 markings/sec, 165 secs
lola: 443530 markings, 1282739 edges, 2635 markings/sec, 170 secs
lola: 453387 markings, 1315535 edges, 1971 markings/sec, 175 secs
lola: 463894 markings, 1352325 edges, 2101 markings/sec, 180 secs
lola: 472453 markings, 1382845 edges, 1712 markings/sec, 185 secs
lola: 479484 markings, 1405755 edges, 1406 markings/sec, 190 secs
lola: 495432 markings, 1453718 edges, 3190 markings/sec, 195 secs
lola: 502332 markings, 1475323 edges, 1380 markings/sec, 200 secs
lola: 513044 markings, 1515383 edges, 2142 markings/sec, 205 secs
lola: 524652 markings, 1554810 edges, 2322 markings/sec, 210 secs
lola: 531809 markings, 1576170 edges, 1431 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 EnergyBus-PT-none-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496371021636

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_EnergyBus-PT-none"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/S_EnergyBus-PT-none.tgz
mv S_EnergyBus-PT-none 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 S_EnergyBus-PT-none, 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 r108-blw3-149441612300317"
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 ;