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_BridgeAndVehicles-COL-V80P50N20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-149441074400416
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496346280582


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_BridgeAndVehicles-COL-V80P50N20: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_BridgeAndVehicles-COL-V80P50N20: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_BridgeAndVehicles-COL-V80P50N20 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3926/65536 symbol table entries, 711 collisions
lola: preprocessing...
lola: finding significant places
lola: 198 places, 3728 transitions, 191 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4253 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V80P50N20-UpperBounds.task
lola: MAX(p5 + p6) : MAX(p109) : MAX(p0 + p1) : MAX(p109) : MAX(p195) : MAX(p111) : MAX(p197) : MAX(p196) : MAX(p111) : MAX(p111) : MAX(p2) : MAX(p194) : MAX(p193) : MAX(p5 + p6) : MAX(p195) : MAX(p109)
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(p5 + p6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 6345 markings, 14888 edges, 1269 markings/sec, 0 secs
lola: 13219 markings, 31790 edges, 1375 markings/sec, 5 secs
lola: 19744 markings, 48397 edges, 1305 markings/sec, 10 secs
lola: 26179 markings, 65129 edges, 1287 markings/sec, 15 secs
lola: 37223 markings, 97924 edges, 2209 markings/sec, 20 secs
lola: 47644 markings, 128682 edges, 2084 markings/sec, 25 secs
lola: 57223 markings, 157316 edges, 1916 markings/sec, 30 secs
lola: 67112 markings, 187974 edges, 1978 markings/sec, 35 secs
lola: 75877 markings, 214492 edges, 1753 markings/sec, 40 secs
lola: 88466 markings, 254831 edges, 2518 markings/sec, 45 secs
lola: 98571 markings, 285232 edges, 2021 markings/sec, 50 secs
lola: 107415 markings, 312845 edges, 1769 markings/sec, 55 secs
lola: 116425 markings, 341730 edges, 1802 markings/sec, 60 secs
lola: 125321 markings, 369883 edges, 1779 markings/sec, 65 secs
lola: 133492 markings, 396325 edges, 1634 markings/sec, 70 secs
lola: 141049 markings, 421421 edges, 1511 markings/sec, 75 secs
lola: 146773 markings, 439592 edges, 1145 markings/sec, 80 secs
lola: 155324 markings, 467499 edges, 1710 markings/sec, 85 secs
lola: 167243 markings, 507774 edges, 2384 markings/sec, 90 secs
lola: 177582 markings, 538814 edges, 2068 markings/sec, 95 secs
lola: 186268 markings, 566177 edges, 1737 markings/sec, 100 secs
lola: 195331 markings, 595492 edges, 1813 markings/sec, 105 secs
lola: 204604 markings, 625306 edges, 1855 markings/sec, 110 secs
lola: 213344 markings, 653874 edges, 1748 markings/sec, 115 secs
lola: 222142 markings, 682953 edges, 1760 markings/sec, 120 secs
lola: 230147 markings, 709949 edges, 1601 markings/sec, 125 secs
lola: 237501 markings, 734227 edges, 1471 markings/sec, 130 secs
lola: 246968 markings, 765601 edges, 1893 markings/sec, 135 secs
lola: 253156 markings, 786790 edges, 1238 markings/sec, 140 secs
lola: 262972 markings, 819369 edges, 1963 markings/sec, 145 secs
lola: 269003 markings, 840129 edges, 1206 markings/sec, 150 secs
lola: 283157 markings, 886161 edges, 2831 markings/sec, 155 secs
lola: 292933 markings, 916690 edges, 1955 markings/sec, 160 secs
lola: 301617 markings, 944506 edges, 1737 markings/sec, 165 secs
lola: 311252 markings, 975701 edges, 1927 markings/sec, 170 secs
lola: 319912 markings, 1004124 edges, 1732 markings/sec, 175 secs
lola: 328674 markings, 1033049 edges, 1752 markings/sec, 180 secs
lola: 336400 markings, 1059213 edges, 1545 markings/sec, 185 secs
lola: 343763 markings, 1083823 edges, 1473 markings/sec, 190 secs
lola: 353158 markings, 1114807 edges, 1879 markings/sec, 195 secs
lola: 360268 markings, 1139671 edges, 1422 markings/sec, 200 secs
lola: 368737 markings, 1167376 edges, 1694 markings/sec, 205 secs
lola: 374742 markings, 1188574 edges, 1201 markings/sec, 210 secs
lola: 384389 markings, 1220464 edges, 1929 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(p109)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3624 markings, 6046 edges, 725 markings/sec, 0 secs
lola: 6299 markings, 13028 edges, 535 markings/sec, 5 secs
lola: 7802 markings, 17437 edges, 301 markings/sec, 10 secs
lola: 9592 markings, 22589 edges, 358 markings/sec, 15 secs
lola: 11213 markings, 27393 edges, 324 markings/sec, 20 secs
lola: 13011 markings, 32615 edges, 360 markings/sec, 25 secs
lola: 14806 markings, 37922 edges, 359 markings/sec, 30 secs
lola: 16376 markings, 42478 edges, 314 markings/sec, 35 secs
lola: 18110 markings, 47471 edges, 347 markings/sec, 40 secs
lola: 19762 markings, 52309 edges, 330 markings/sec, 45 secs
lola: 21211 markings, 56545 edges, 290 markings/sec, 50 secs
lola: 22787 markings, 61073 edges, 315 markings/sec, 55 secs
lola: 24362 markings, 65598 edges, 315 markings/sec, 60 secs
lola: 26027 markings, 70392 edges, 333 markings/sec, 65 secs
lola: 27870 markings, 75720 edges, 369 markings/sec, 70 secs
lola: 29503 markings, 80424 edges, 327 markings/sec, 75 secs
lola: 31007 markings, 84744 edges, 301 markings/sec, 80 secs
lola: 32739 markings, 89691 edges, 346 markings/sec, 85 secs
lola: 34547 markings, 94739 edges, 362 markings/sec, 90 secs
lola: 36692 markings, 99349 edges, 429 markings/sec, 95 secs
lola: 40302 markings, 106518 edges, 722 markings/sec, 100 secs
lola: 42298 markings, 111996 edges, 399 markings/sec, 105 secs
lola: 43836 markings, 116596 edges, 308 markings/sec, 110 secs
lola: 45552 markings, 121529 edges, 343 markings/sec, 115 secs
lola: 47203 markings, 126400 edges, 330 markings/sec, 120 secs
lola: 48689 markings, 130711 edges, 297 markings/sec, 125 secs
lola: 50110 markings, 134898 edges, 284 markings/sec, 130 secs
lola: 51415 markings, 138668 edges, 261 markings/sec, 135 secs
lola: 52894 markings, 142984 edges, 296 markings/sec, 140 secs
lola: 54351 markings, 147255 edges, 291 markings/sec, 145 secs
lola: 55978 markings, 151930 edges, 325 markings/sec, 150 secs
lola: 57623 markings, 156661 edges, 329 markings/sec, 155 secs
lola: 59141 markings, 161139 edges, 304 markings/sec, 160 secs
lola: 60572 markings, 165294 edges, 286 markings/sec, 165 secs
lola: 62517 markings, 170865 edges, 389 markings/sec, 170 secs
lola: 64203 markings, 175728 edges, 337 markings/sec, 175 secs
lola: 65829 markings, 180415 edges, 325 markings/sec, 180 secs
lola: 67470 markings, 185031 edges, 328 markings/sec, 185 secs
lola: 69362 markings, 190348 edges, 378 markings/sec, 190 secs
lola: 71234 markings, 195245 edges, 374 markings/sec, 195 secs
lola: 74903 markings, 201820 edges, 734 markings/sec, 200 secs
lola: 77268 markings, 208071 edges, 473 markings/sec, 205 secs
lola: 78809 markings, 212677 edges, 308 markings/sec, 210 secs
lola: 80526 markings, 217612 edges, 343 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(p0 + p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3265 markings, 7719 edges, 653 markings/sec, 0 secs
lola: 7522 markings, 19425 edges, 851 markings/sec, 5 secs
lola: 10471 markings, 27933 edges, 590 markings/sec, 10 secs
lola: 12675 markings, 34272 edges, 441 markings/sec, 15 secs
lola: 15674 markings, 42790 edges, 600 markings/sec, 20 secs
lola: 20108 markings, 54531 edges, 887 markings/sec, 25 secs
lola: 23765 markings, 65147 edges, 731 markings/sec, 30 secs
lola: 26792 markings, 73964 edges, 605 markings/sec, 35 secs
lola: 29400 markings, 81546 edges, 522 markings/sec, 40 secs
lola: 31636 markings, 88054 edges, 447 markings/sec, 45 secs
lola: 34790 markings, 97129 edges, 631 markings/sec, 50 secs
lola: 38639 markings, 107888 edges, 770 markings/sec, 55 secs
lola: 43311 markings, 120011 edges, 934 markings/sec, 60 secs
lola: 47392 markings, 132000 edges, 816 markings/sec, 65 secs
lola: 50944 markings, 142396 edges, 710 markings/sec, 70 secs
lola: 54146 markings, 151736 edges, 640 markings/sec, 75 secs
lola: 56989 markings, 160000 edges, 569 markings/sec, 80 secs
lola: 59490 markings, 167253 edges, 500 markings/sec, 85 secs
lola: 62369 markings, 175547 edges, 576 markings/sec, 90 secs
lola: 65251 markings, 183834 edges, 576 markings/sec, 95 secs
lola: 69166 markings, 194865 edges, 783 markings/sec, 100 secs
lola: 74033 markings, 206542 edges, 973 markings/sec, 105 secs
lola: 77260 markings, 215061 edges, 645 markings/sec, 110 secs
lola: 80913 markings, 225347 edges, 731 markings/sec, 115 secs
lola: 83619 markings, 233142 edges, 541 markings/sec, 120 secs
lola: 86086 markings, 240237 edges, 493 markings/sec, 125 secs
lola: 89248 markings, 249067 edges, 632 markings/sec, 130 secs
lola: 93345 markings, 260089 edges, 819 markings/sec, 135 secs
lola: 96714 markings, 269869 edges, 674 markings/sec, 140 secs
lola: 99668 markings, 278466 edges, 591 markings/sec, 145 secs
lola: 102209 markings, 285828 edges, 508 markings/sec, 150 secs
lola: 104186 markings, 291546 edges, 395 markings/sec, 155 secs
lola: 107089 markings, 299856 edges, 581 markings/sec, 160 secs
lola: 110808 markings, 310256 edges, 744 markings/sec, 165 secs
lola: 115134 markings, 321450 edges, 865 markings/sec, 170 secs
lola: 118748 markings, 332000 edges, 723 markings/sec, 175 secs
lola: 121635 markings, 340528 edges, 577 markings/sec, 180 secs
lola: 124255 markings, 348132 edges, 524 markings/sec, 185 secs
lola: 126653 markings, 355154 edges, 480 markings/sec, 190 secs
lola: 129122 markings, 362273 edges, 494 markings/sec, 195 secs
lola: 131269 markings, 368575 edges, 429 markings/sec, 200 secs
lola: 133651 markings, 375460 edges, 476 markings/sec, 205 secs
lola: 136617 markings, 383913 edges, 593 markings/sec, 210 secs
lola: 140080 markings, 393775 edges, 693 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(p109)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3295 markings, 5288 edges, 659 markings/sec, 0 secs
lola: 5922 markings, 11957 edges, 525 markings/sec, 5 secs
lola: 7374 markings, 16157 edges, 290 markings/sec, 10 secs
lola: 9099 markings, 21255 edges, 345 markings/sec, 15 secs
lola: 10663 markings, 25793 edges, 313 markings/sec, 20 secs
lola: 12380 markings, 30728 edges, 343 markings/sec, 25 secs
lola: 13855 markings, 35139 edges, 295 markings/sec, 30 secs
lola: 15549 markings, 40005 edges, 339 markings/sec, 35 secs
lola: 17222 markings, 44949 edges, 335 markings/sec, 40 secs
lola: 18706 markings, 49252 edges, 297 markings/sec, 45 secs
lola: 20310 markings, 53858 edges, 321 markings/sec, 50 secs
lola: 21871 markings, 58466 edges, 312 markings/sec, 55 secs
lola: 23246 markings, 62448 edges, 275 markings/sec, 60 secs
lola: 24764 markings, 66800 edges, 304 markings/sec, 65 secs
lola: 26452 markings, 71663 edges, 338 markings/sec, 70 secs
lola: 28232 markings, 76803 edges, 356 markings/sec, 75 secs
lola: 29861 markings, 81492 edges, 326 markings/sec, 80 secs
lola: 31460 markings, 86039 edges, 320 markings/sec, 85 secs
lola: 33367 markings, 91451 edges, 381 markings/sec, 90 secs
lola: 35208 markings, 96477 edges, 368 markings/sec, 95 secs
lola: 38112 markings, 101479 edges, 581 markings/sec, 100 secs
lola: 41340 markings, 109269 edges, 646 markings/sec, 105 secs
lola: 42979 markings, 114035 edges, 328 markings/sec, 110 secs
lola: 44660 markings, 118998 edges, 336 markings/sec, 115 secs
lola: 46260 markings, 123646 edges, 320 markings/sec, 120 secs
lola: 47839 markings, 128170 edges, 316 markings/sec, 125 secs
lola: 49168 markings, 132144 edges, 266 markings/sec, 130 secs
lola: 50615 markings, 136276 edges, 289 markings/sec, 135 secs
lola: 51877 markings, 140047 edges, 252 markings/sec, 140 secs
lola: 53331 markings, 144205 edges, 291 markings/sec, 145 secs
lola: 54649 markings, 148081 edges, 264 markings/sec, 150 secs
lola: 55966 markings, 151894 edges, 263 markings/sec, 155 secs
lola: 57342 markings, 155949 edges, 275 markings/sec, 160 secs
lola: 58544 markings, 159415 edges, 240 markings/sec, 165 secs
lola: 59920 markings, 163343 edges, 275 markings/sec, 170 secs
lola: 61547 markings, 168024 edges, 325 markings/sec, 175 secs
lola: 63448 markings, 173528 edges, 380 markings/sec, 180 secs
lola: 65099 markings, 178287 edges, 330 markings/sec, 185 secs
lola: 66546 markings, 182441 edges, 289 markings/sec, 190 secs
lola: 68146 markings, 186996 edges, 320 markings/sec, 195 secs
lola: 69716 markings, 191352 edges, 314 markings/sec, 200 secs
lola: 71818 markings, 196024 edges, 420 markings/sec, 205 secs
lola: 75720 markings, 203822 edges, 780 markings/sec, 210 secs
lola: 77660 markings, 209243 edges, 388 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(p195)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 7423 markings, 13001 edges, 1485 markings/sec, 0 secs
lola: 19788 markings, 32612 edges, 2473 markings/sec, 5 secs
lola: 39348 markings, 72660 edges, 3912 markings/sec, 10 secs
lola: 69444 markings, 148523 edges, 6019 markings/sec, 15 secs
lola: 97169 markings, 218160 edges, 5545 markings/sec, 20 secs
lola: 124121 markings, 286641 edges, 5390 markings/sec, 25 secs
lola: 152302 markings, 357443 edges, 5636 markings/sec, 30 secs
lola: 165718 markings, 398231 edges, 2683 markings/sec, 35 secs
lola: 177270 markings, 424821 edges, 2310 markings/sec, 40 secs
lola: 205048 markings, 491393 edges, 5556 markings/sec, 45 secs
lola: 233972 markings, 564457 edges, 5785 markings/sec, 50 secs
lola: 262424 markings, 636351 edges, 5690 markings/sec, 55 secs
lola: 290850 markings, 708119 edges, 5685 markings/sec, 60 secs
lola: 309558 markings, 753713 edges, 3742 markings/sec, 65 secs
lola: 316529 markings, 765969 edges, 1394 markings/sec, 70 secs
lola: 330408 markings, 789334 edges, 2776 markings/sec, 75 secs
lola: 359209 markings, 859172 edges, 5760 markings/sec, 80 secs
lola: 389045 markings, 934508 edges, 5967 markings/sec, 85 secs
lola: 419116 markings, 1010842 edges, 6014 markings/sec, 90 secs
lola: 449565 markings, 1087466 edges, 6090 markings/sec, 95 secs
lola: 474229 markings, 1141420 edges, 4933 markings/sec, 100 secs
lola: 504207 markings, 1216986 edges, 5996 markings/sec, 105 secs
lola: 532870 markings, 1289367 edges, 5733 markings/sec, 110 secs
lola: 561832 markings, 1362452 edges, 5792 markings/sec, 115 secs
lola: 588506 markings, 1427357 edges, 5335 markings/sec, 120 secs
lola: 612607 markings, 1482321 edges, 4820 markings/sec, 125 secs
lola: 639468 markings, 1550136 edges, 5372 markings/sec, 130 secs
lola: 666254 markings, 1617817 edges, 5357 markings/sec, 135 secs
lola: 695858 markings, 1692446 edges, 5921 markings/sec, 140 secs
lola: 720796 markings, 1747696 edges, 4988 markings/sec, 145 secs
lola: 751176 markings, 1824110 edges, 6076 markings/sec, 150 secs
lola: 781518 markings, 1900735 edges, 6068 markings/sec, 155 secs
lola: 808298 markings, 1968373 edges, 5356 markings/sec, 160 secs
lola: 834207 markings, 2033672 edges, 5182 markings/sec, 165 secs
lola: 856688 markings, 2082713 edges, 4496 markings/sec, 170 secs
lola: 884374 markings, 2152520 edges, 5537 markings/sec, 175 secs
lola: 911220 markings, 2220256 edges, 5369 markings/sec, 180 secs
lola: 938283 markings, 2288577 edges, 5413 markings/sec, 185 secs
lola: 962465 markings, 2342279 edges, 4836 markings/sec, 190 secs
lola: 992669 markings, 2418447 edges, 6041 markings/sec, 195 secs
lola: 1022724 markings, 2494352 edges, 6011 markings/sec, 200 secs
lola: 1052028 markings, 2568148 edges, 5861 markings/sec, 205 secs
lola: 1077115 markings, 2624808 edges, 5017 markings/sec, 210 secs
lola: 1107717 markings, 2701540 edges, 6120 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(p111)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 9071 markings, 17370 edges, 1814 markings/sec, 0 secs
lola: 19045 markings, 46154 edges, 1995 markings/sec, 5 secs
lola: 26464 markings, 67721 edges, 1484 markings/sec, 10 secs
lola: 33003 markings, 87309 edges, 1308 markings/sec, 15 secs
lola: 38941 markings, 104800 edges, 1188 markings/sec, 20 secs
lola: 44844 markings, 122611 edges, 1181 markings/sec, 25 secs
lola: 51062 markings, 141684 edges, 1244 markings/sec, 30 secs
lola: 57727 markings, 162358 edges, 1333 markings/sec, 35 secs
lola: 67387 markings, 194905 edges, 1932 markings/sec, 40 secs
lola: 73985 markings, 213740 edges, 1320 markings/sec, 45 secs
lola: 80094 markings, 232462 edges, 1222 markings/sec, 50 secs
lola: 86211 markings, 251245 edges, 1223 markings/sec, 55 secs
lola: 92011 markings, 269424 edges, 1160 markings/sec, 60 secs
lola: 98101 markings, 288750 edges, 1218 markings/sec, 65 secs
lola: 104391 markings, 308896 edges, 1258 markings/sec, 70 secs
lola: 110580 markings, 328943 edges, 1238 markings/sec, 75 secs
lola: 117338 markings, 351184 edges, 1352 markings/sec, 80 secs
lola: 122944 markings, 368892 edges, 1121 markings/sec, 85 secs
lola: 129848 markings, 391622 edges, 1381 markings/sec, 90 secs
lola: 134324 markings, 406025 edges, 895 markings/sec, 95 secs
lola: 142703 markings, 435430 edges, 1676 markings/sec, 100 secs
lola: 152622 markings, 464310 edges, 1984 markings/sec, 105 secs
lola: 160525 markings, 488957 edges, 1581 markings/sec, 110 secs
lola: 167343 markings, 510238 edges, 1364 markings/sec, 115 secs
lola: 173853 markings, 531124 edges, 1302 markings/sec, 120 secs
lola: 180747 markings, 553239 edges, 1379 markings/sec, 125 secs
lola: 187838 markings, 576155 edges, 1418 markings/sec, 130 secs
lola: 194705 markings, 598770 edges, 1373 markings/sec, 135 secs
lola: 200023 markings, 616394 edges, 1064 markings/sec, 140 secs
lola: 207725 markings, 641582 edges, 1540 markings/sec, 145 secs
lola: 213183 markings, 660162 edges, 1092 markings/sec, 150 secs
lola: 220600 markings, 684321 edges, 1483 markings/sec, 155 secs
lola: 225793 markings, 701930 edges, 1039 markings/sec, 160 secs
lola: 234001 markings, 729084 edges, 1642 markings/sec, 165 secs
lola: 238903 markings, 745848 edges, 980 markings/sec, 170 secs
lola: 246635 markings, 772425 edges, 1546 markings/sec, 175 secs
lola: 258521 markings, 808726 edges, 2377 markings/sec, 180 secs
lola: 266000 markings, 831817 edges, 1496 markings/sec, 185 secs
lola: 274154 markings, 857409 edges, 1631 markings/sec, 190 secs
lola: 281011 markings, 879469 edges, 1371 markings/sec, 195 secs
lola: 287291 markings, 899666 edges, 1256 markings/sec, 200 secs
lola: 291754 markings, 914673 edges, 893 markings/sec, 205 secs
lola: 298287 markings, 935602 edges, 1307 markings/sec, 210 secs
lola: 304582 markings, 956751 edges, 1259 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(p197)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 12082 markings, 21043 edges, 2416 markings/sec, 0 secs
lola: 22729 markings, 51204 edges, 2129 markings/sec, 5 secs
lola: 28999 markings, 69328 edges, 1254 markings/sec, 10 secs
lola: 33854 markings, 83380 edges, 971 markings/sec, 15 secs
lola: 37744 markings, 94545 edges, 778 markings/sec, 20 secs
lola: 40849 markings, 103141 edges, 621 markings/sec, 25 secs
lola: 52285 markings, 128821 edges, 2287 markings/sec, 30 secs
lola: 59185 markings, 148852 edges, 1380 markings/sec, 35 secs
lola: 63873 markings, 162272 edges, 938 markings/sec, 40 secs
lola: 68498 markings, 172871 edges, 925 markings/sec, 45 secs
lola: 77873 markings, 197670 edges, 1875 markings/sec, 50 secs
lola: 81945 markings, 209111 edges, 814 markings/sec, 55 secs
lola: 90286 markings, 233392 edges, 1668 markings/sec, 60 secs
lola: 115968 markings, 331613 edges, 5136 markings/sec, 65 secs
lola: 141693 markings, 430271 edges, 5145 markings/sec, 70 secs
lola: 159673 markings, 495731 edges, 3596 markings/sec, 75 secs
lola: 166865 markings, 521796 edges, 1438 markings/sec, 80 secs
lola: 179318 markings, 556144 edges, 2491 markings/sec, 85 secs
lola: 186314 markings, 576447 edges, 1399 markings/sec, 90 secs
lola: 191380 markings, 591146 edges, 1013 markings/sec, 95 secs
lola: 195460 markings, 602874 edges, 816 markings/sec, 100 secs
lola: 198794 markings, 612383 edges, 667 markings/sec, 105 secs
lola: 207330 markings, 634984 edges, 1707 markings/sec, 110 secs
lola: 214254 markings, 655023 edges, 1385 markings/sec, 115 secs
lola: 218888 markings, 668363 edges, 927 markings/sec, 120 secs
lola: 224326 markings, 682556 edges, 1088 markings/sec, 125 secs
lola: 230978 markings, 701687 edges, 1330 markings/sec, 130 secs
lola: 235228 markings, 713143 edges, 850 markings/sec, 135 secs
lola: 247747 markings, 758020 edges, 2504 markings/sec, 140 secs
lola: 270154 markings, 843732 edges, 4481 markings/sec, 145 secs
lola: 296116 markings, 943355 edges, 5192 markings/sec, 150 secs
lola: 313192 markings, 998772 edges, 3415 markings/sec, 155 secs
lola: 322049 markings, 1024652 edges, 1771 markings/sec, 160 secs
lola: 327969 markings, 1041901 edges, 1184 markings/sec, 165 secs
lola: 332515 markings, 1054885 edges, 909 markings/sec, 170 secs
lola: 336131 markings, 1065085 edges, 723 markings/sec, 175 secs
lola: 345835 markings, 1091158 edges, 1941 markings/sec, 180 secs
lola: 352042 markings, 1109133 edges, 1241 markings/sec, 185 secs
lola: 356260 markings, 1121223 edges, 844 markings/sec, 190 secs
lola: 362688 markings, 1138439 edges, 1286 markings/sec, 195 secs
lola: 367960 markings, 1153555 edges, 1054 markings/sec, 200 secs
lola: 372075 markings, 1164516 edges, 823 markings/sec, 205 secs
lola: 386255 markings, 1216985 edges, 2836 markings/sec, 210 secs
lola: 407643 markings, 1299074 edges, 4278 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(p196)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 14617 markings, 28916 edges, 2923 markings/sec, 0 secs
lola: 22800 markings, 52766 edges, 1637 markings/sec, 5 secs
lola: 28747 markings, 70084 edges, 1189 markings/sec, 10 secs
lola: 33276 markings, 83057 edges, 906 markings/sec, 15 secs
lola: 36859 markings, 93166 edges, 717 markings/sec, 20 secs
lola: 48064 markings, 116180 edges, 2241 markings/sec, 25 secs
lola: 55723 markings, 138405 edges, 1532 markings/sec, 30 secs
lola: 60574 markings, 152386 edges, 970 markings/sec, 35 secs
lola: 64189 markings, 162538 edges, 723 markings/sec, 40 secs
lola: 74573 markings, 186617 edges, 2077 markings/sec, 45 secs
lola: 79283 markings, 200037 edges, 942 markings/sec, 50 secs
lola: 84921 markings, 213347 edges, 1128 markings/sec, 55 secs
lola: 103249 markings, 281860 edges, 3666 markings/sec, 60 secs
lola: 126505 markings, 370689 edges, 4651 markings/sec, 65 secs
lola: 151672 markings, 468221 edges, 5033 markings/sec, 70 secs
lola: 166277 markings, 510558 edges, 2921 markings/sec, 75 secs
lola: 173792 markings, 532416 edges, 1503 markings/sec, 80 secs
lola: 179197 markings, 548119 edges, 1081 markings/sec, 85 secs
lola: 183464 markings, 560259 edges, 853 markings/sec, 90 secs
lola: 186869 markings, 569517 edges, 681 markings/sec, 95 secs
lola: 197851 markings, 599703 edges, 2196 markings/sec, 100 secs
lola: 203428 markings, 615789 edges, 1115 markings/sec, 105 secs
lola: 207394 markings, 627061 edges, 793 markings/sec, 110 secs
lola: 214884 markings, 647329 edges, 1498 markings/sec, 115 secs
lola: 219606 markings, 660861 edges, 944 markings/sec, 120 secs
lola: 224090 markings, 672767 edges, 897 markings/sec, 125 secs
lola: 246610 markings, 757818 edges, 4504 markings/sec, 130 secs
lola: 270934 markings, 850910 edges, 4865 markings/sec, 135 secs
lola: 292288 markings, 933262 edges, 4271 markings/sec, 140 secs
lola: 305143 markings, 967497 edges, 2571 markings/sec, 145 secs
lola: 312002 markings, 987398 edges, 1372 markings/sec, 150 secs
lola: 316872 markings, 1001506 edges, 974 markings/sec, 155 secs
lola: 320709 markings, 1012463 edges, 767 markings/sec, 160 secs
lola: 325143 markings, 1023521 edges, 887 markings/sec, 165 secs
lola: 334200 markings, 1049351 edges, 1811 markings/sec, 170 secs
lola: 339491 markings, 1064591 edges, 1058 markings/sec, 175 secs
lola: 343499 markings, 1075999 edges, 802 markings/sec, 180 secs
lola: 351291 markings, 1097214 edges, 1558 markings/sec, 185 secs
lola: 355980 markings, 1110526 edges, 938 markings/sec, 190 secs
lola: 366272 markings, 1145039 edges, 2058 markings/sec, 195 secs
lola: 389601 markings, 1234114 edges, 4666 markings/sec, 200 secs
lola: 416075 markings, 1335988 edges, 5295 markings/sec, 205 secs
lola: 433480 markings, 1392212 edges, 3481 markings/sec, 210 secs
lola: 442252 markings, 1417845 edges, 1754 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(p111)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 9081 markings, 17385 edges, 1816 markings/sec, 0 secs
lola: 19134 markings, 46314 edges, 2011 markings/sec, 5 secs
lola: 26678 markings, 68457 edges, 1509 markings/sec, 10 secs
lola: 33818 markings, 89551 edges, 1428 markings/sec, 15 secs
lola: 40544 markings, 109775 edges, 1345 markings/sec, 20 secs
lola: 48176 markings, 133984 edges, 1526 markings/sec, 25 secs
lola: 55284 markings, 155722 edges, 1422 markings/sec, 30 secs
lola: 62981 markings, 180164 edges, 1539 markings/sec, 35 secs
lola: 73233 markings, 211453 edges, 2050 markings/sec, 40 secs
lola: 79984 markings, 232060 edges, 1350 markings/sec, 45 secs
lola: 86889 markings, 253334 edges, 1381 markings/sec, 50 secs
lola: 93362 markings, 273829 edges, 1295 markings/sec, 55 secs
lola: 100001 markings, 295141 edges, 1328 markings/sec, 60 secs
lola: 105984 markings, 314045 edges, 1197 markings/sec, 65 secs
lola: 113007 markings, 336659 edges, 1405 markings/sec, 70 secs
lola: 119834 markings, 358921 edges, 1365 markings/sec, 75 secs
lola: 124973 markings, 375660 edges, 1028 markings/sec, 80 secs
lola: 131895 markings, 398167 edges, 1384 markings/sec, 85 secs
lola: 139209 markings, 422903 edges, 1463 markings/sec, 90 secs
lola: 148693 markings, 452644 edges, 1897 markings/sec, 95 secs
lola: 155240 markings, 472334 edges, 1309 markings/sec, 100 secs
lola: 161878 markings, 492861 edges, 1328 markings/sec, 105 secs
lola: 167333 markings, 510208 edges, 1091 markings/sec, 110 secs
lola: 173597 markings, 530212 edges, 1253 markings/sec, 115 secs
lola: 180319 markings, 551840 edges, 1344 markings/sec, 120 secs
lola: 187473 markings, 574967 edges, 1431 markings/sec, 125 secs
lola: 193757 markings, 596183 edges, 1257 markings/sec, 130 secs
lola: 199594 markings, 614866 edges, 1167 markings/sec, 135 secs
lola: 206904 markings, 638786 edges, 1462 markings/sec, 140 secs
lola: 211493 markings, 654324 edges, 918 markings/sec, 145 secs
lola: 219233 markings, 679771 edges, 1548 markings/sec, 150 secs
lola: 223903 markings, 695623 edges, 934 markings/sec, 155 secs
lola: 230292 markings, 717637 edges, 1278 markings/sec, 160 secs
lola: 235915 markings, 735610 edges, 1125 markings/sec, 165 secs
lola: 239996 markings, 749606 edges, 816 markings/sec, 170 secs
lola: 248076 markings, 777784 edges, 1616 markings/sec, 175 secs
lola: 258294 markings, 807997 edges, 2044 markings/sec, 180 secs
lola: 265152 markings, 829070 edges, 1372 markings/sec, 185 secs
lola: 271678 markings, 849784 edges, 1305 markings/sec, 190 secs
lola: 277972 markings, 869909 edges, 1259 markings/sec, 195 secs
lola: 282927 markings, 886004 edges, 991 markings/sec, 200 secs
lola: 289407 markings, 906735 edges, 1296 markings/sec, 205 secs
lola: 296178 markings, 928572 edges, 1354 markings/sec, 210 secs
lola: 301185 markings, 945467 edges, 1001 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(p111)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 9105 markings, 17427 edges, 1821 markings/sec, 0 secs
lola: 18829 markings, 45525 edges, 1945 markings/sec, 5 secs
lola: 26121 markings, 66801 edges, 1458 markings/sec, 10 secs
lola: 33322 markings, 88407 edges, 1440 markings/sec, 15 secs
lola: 39658 markings, 106799 edges, 1267 markings/sec, 20 secs
lola: 47886 markings, 132981 edges, 1646 markings/sec, 25 secs
lola: 54803 markings, 154610 edges, 1383 markings/sec, 30 secs
lola: 62271 markings, 177950 edges, 1494 markings/sec, 35 secs
lola: 71485 markings, 206309 edges, 1843 markings/sec, 40 secs
lola: 77726 markings, 225234 edges, 1248 markings/sec, 45 secs
lola: 83049 markings, 241433 edges, 1065 markings/sec, 50 secs
lola: 89930 markings, 263204 edges, 1376 markings/sec, 55 secs
lola: 96494 markings, 283673 edges, 1313 markings/sec, 60 secs
lola: 102945 markings, 304333 edges, 1290 markings/sec, 65 secs
lola: 109283 markings, 325231 edges, 1268 markings/sec, 70 secs
lola: 114377 markings, 341138 edges, 1019 markings/sec, 75 secs
lola: 121766 markings, 365079 edges, 1478 markings/sec, 80 secs
lola: 128404 markings, 387600 edges, 1328 markings/sec, 85 secs
lola: 134040 markings, 405180 edges, 1127 markings/sec, 90 secs
lola: 143098 markings, 436923 edges, 1812 markings/sec, 95 secs
lola: 152407 markings, 463695 edges, 1862 markings/sec, 100 secs
lola: 160170 markings, 487675 edges, 1553 markings/sec, 105 secs
lola: 166800 markings, 508432 edges, 1326 markings/sec, 110 secs
lola: 173057 markings, 528405 edges, 1251 markings/sec, 115 secs
lola: 179482 markings, 549070 edges, 1285 markings/sec, 120 secs
lola: 185778 markings, 569519 edges, 1259 markings/sec, 125 secs
lola: 190082 markings, 583750 edges, 861 markings/sec, 130 secs
lola: 196703 markings, 605216 edges, 1324 markings/sec, 135 secs
lola: 203066 markings, 626701 edges, 1273 markings/sec, 140 secs
lola: 209361 markings, 647016 edges, 1259 markings/sec, 145 secs
lola: 216221 markings, 670562 edges, 1372 markings/sec, 150 secs
lola: 222545 markings, 690920 edges, 1265 markings/sec, 155 secs
lola: 229663 markings, 715396 edges, 1424 markings/sec, 160 secs
lola: 236086 markings, 736103 edges, 1285 markings/sec, 165 secs
lola: 242157 markings, 757211 edges, 1214 markings/sec, 170 secs
lola: 253068 markings, 792773 edges, 2182 markings/sec, 175 secs
lola: 261999 markings, 819353 edges, 1786 markings/sec, 180 secs
lola: 270079 markings, 844600 edges, 1616 markings/sec, 185 secs
lola: 277694 markings, 869092 edges, 1523 markings/sec, 190 secs
lola: 284498 markings, 891166 edges, 1361 markings/sec, 195 secs
lola: 290726 markings, 911218 edges, 1246 markings/sec, 200 secs
lola: 298153 markings, 935229 edges, 1485 markings/sec, 205 secs
lola: 304842 markings, 957514 edges, 1338 markings/sec, 210 secs
lola: 310250 markings, 975188 edges, 1082 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(p2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: ========================================
lola: subprocess 11 will run for 265 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p194)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 30724 markings, 57086 edges, 6145 markings/sec, 0 secs
lola: 72670 markings, 137464 edges, 8389 markings/sec, 5 secs
lola: 120214 markings, 228748 edges, 9509 markings/sec, 10 secs
lola: 150366 markings, 285655 edges, 6030 markings/sec, 15 secs
lola: 181588 markings, 344022 edges, 6244 markings/sec, 20 secs
lola: 222972 markings, 423263 edges, 8277 markings/sec, 25 secs
lola: 269110 markings, 511721 edges, 9228 markings/sec, 30 secs
lola: 297236 markings, 564679 edges, 5625 markings/sec, 35 secs
lola: 334446 markings, 634061 edges, 7442 markings/sec, 40 secs
lola: 373184 markings, 708232 edges, 7748 markings/sec, 45 secs
lola: 417978 markings, 794822 edges, 8959 markings/sec, 50 secs
lola: 444874 markings, 844357 edges, 5379 markings/sec, 55 secs
lola: 489690 markings, 929975 edges, 8963 markings/sec, 60 secs
lola: 528740 markings, 1004330 edges, 7810 markings/sec, 65 secs
lola: 568850 markings, 1082062 edges, 8022 markings/sec, 70 secs
lola: 598726 markings, 1136694 edges, 5975 markings/sec, 75 secs
lola: 641082 markings, 1217880 edges, 8471 markings/sec, 80 secs
lola: 687096 markings, 1306037 edges, 9203 markings/sec, 85 secs
lola: 714502 markings, 1357541 edges, 5481 markings/sec, 90 secs
lola: 756214 markings, 1436194 edges, 8342 markings/sec, 95 secs
lola: 801725 markings, 1523279 edges, 9102 markings/sec, 100 secs
lola: 839419 markings, 1594870 edges, 7539 markings/sec, 105 secs
lola: 867841 markings, 1647963 edges, 5684 markings/sec, 110 secs
lola: 911944 markings, 1731876 edges, 8821 markings/sec, 115 secs
lola: 956034 markings, 1816918 edges, 8818 markings/sec, 120 secs
lola: 986637 markings, 1873671 edges, 6121 markings/sec, 125 secs
lola: 1023694 markings, 1944262 edges, 7411 markings/sec, 130 secs
lola: 1068252 markings, 2029959 edges, 8912 markings/sec, 135 secs
lola: 1099554 markings, 2089061 edges, 6260 markings/sec, 140 secs
lola: 1140990 markings, 2167111 edges, 8287 markings/sec, 145 secs
lola: 1187196 markings, 2255675 edges, 9241 markings/sec, 150 secs
lola: 1221026 markings, 2319765 edges, 6766 markings/sec, 155 secs
lola: 1261374 markings, 2395649 edges, 8070 markings/sec, 160 secs
lola: 1308243 markings, 2485510 edges, 9374 markings/sec, 165 secs
lola: 1339960 markings, 2545319 edges, 6343 markings/sec, 170 secs
lola: 1382130 markings, 2624770 edges, 8434 markings/sec, 175 secs
lola: 1429352 markings, 2715373 edges, 9444 markings/sec, 180 secs
lola: 1455768 markings, 2764627 edges, 5283 markings/sec, 185 secs
lola: 1495438 markings, 2839808 edges, 7934 markings/sec, 190 secs
lola: 1538988 markings, 2923348 edges, 8710 markings/sec, 195 secs
lola: 1568754 markings, 2978631 edges, 5953 markings/sec, 200 secs
lola: 1611402 markings, 3059807 edges, 8530 markings/sec, 205 secs
lola: 1657722 markings, 3148650 edges, 9264 markings/sec, 210 secs
lola: 1689206 markings, 3207038 edges, 6297 markings/sec, 215 secs
lola: 1735608 markings, 3295219 edges, 9280 markings/sec, 220 secs
lola: 1777240 markings, 3374687 edges, 8326 markings/sec, 225 secs
lola: 1814228 markings, 3444374 edges, 7398 markings/sec, 230 secs
lola: 1860442 markings, 3532935 edges, 9243 markings/sec, 235 secs
lola: 1891938 markings, 3591409 edges, 6299 markings/sec, 240 secs
lola: 1933395 markings, 3669874 edges, 8291 markings/sec, 245 secs
lola: 1977940 markings, 3755456 edges, 8909 markings/sec, 250 secs
lola: 2015448 markings, 3825671 edges, 7502 markings/sec, 255 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 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p193)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: ========================================
lola: subprocess 13 will run for 354 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p5 + p6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 7311 markings, 17119 edges, 1462 markings/sec, 0 secs
lola: 14383 markings, 34659 edges, 1414 markings/sec, 5 secs
lola: 20731 markings, 51060 edges, 1270 markings/sec, 10 secs
lola: 27116 markings, 67636 edges, 1277 markings/sec, 15 secs
lola: 39625 markings, 104986 edges, 2502 markings/sec, 20 secs
lola: 48697 markings, 131622 edges, 1814 markings/sec, 25 secs
lola: 57242 markings, 157366 edges, 1709 markings/sec, 30 secs
lola: 65608 markings, 182985 edges, 1673 markings/sec, 35 secs
lola: 75220 markings, 212724 edges, 1922 markings/sec, 40 secs
lola: 87880 markings, 253156 edges, 2532 markings/sec, 45 secs
lola: 97758 markings, 282875 edges, 1976 markings/sec, 50 secs
lola: 106829 markings, 310963 edges, 1814 markings/sec, 55 secs
lola: 115824 markings, 339792 edges, 1799 markings/sec, 60 secs
lola: 124585 markings, 367611 edges, 1752 markings/sec, 65 secs
lola: 133013 markings, 394801 edges, 1686 markings/sec, 70 secs
lola: 141806 markings, 423651 edges, 1759 markings/sec, 75 secs
lola: 150275 markings, 451551 edges, 1694 markings/sec, 80 secs
lola: 157243 markings, 473798 edges, 1394 markings/sec, 85 secs
lola: 171792 markings, 520997 edges, 2910 markings/sec, 90 secs
lola: 182100 markings, 552968 edges, 2062 markings/sec, 95 secs
lola: 191682 markings, 583529 edges, 1916 markings/sec, 100 secs
lola: 200789 markings, 613425 edges, 1821 markings/sec, 105 secs
lola: 209615 markings, 642011 edges, 1765 markings/sec, 110 secs
lola: 216763 markings, 665636 edges, 1430 markings/sec, 115 secs
lola: 225747 markings, 695085 edges, 1797 markings/sec, 120 secs
lola: 234638 markings, 724364 edges, 1778 markings/sec, 125 secs
lola: 242096 markings, 750178 edges, 1492 markings/sec, 130 secs
lola: 249154 markings, 772933 edges, 1412 markings/sec, 135 secs
lola: 256968 markings, 799770 edges, 1563 markings/sec, 140 secs
lola: 264170 markings, 823470 edges, 1440 markings/sec, 145 secs
lola: 272977 markings, 854011 edges, 1761 markings/sec, 150 secs
lola: 286032 markings, 894999 edges, 2611 markings/sec, 155 secs
lola: 295224 markings, 924062 edges, 1838 markings/sec, 160 secs
lola: 304635 markings, 954212 edges, 1882 markings/sec, 165 secs
lola: 312573 markings, 980229 edges, 1588 markings/sec, 170 secs
lola: 320614 markings, 1006583 edges, 1608 markings/sec, 175 secs
lola: 329574 markings, 1036016 edges, 1792 markings/sec, 180 secs
lola: 339138 markings, 1067809 edges, 1913 markings/sec, 185 secs
lola: 347463 markings, 1096302 edges, 1665 markings/sec, 190 secs
lola: 355805 markings, 1123949 edges, 1668 markings/sec, 195 secs
lola: 365749 markings, 1157523 edges, 1989 markings/sec, 200 secs
lola: 372564 markings, 1180786 edges, 1363 markings/sec, 205 secs
lola: 382730 markings, 1214864 edges, 2033 markings/sec, 210 secs
lola: 389473 markings, 1238221 edges, 1349 markings/sec, 215 secs
lola: 398775 markings, 1270296 edges, 1860 markings/sec, 220 secs
lola: 406315 markings, 1295447 edges, 1508 markings/sec, 225 secs
lola: 412659 markings, 1317804 edges, 1269 markings/sec, 230 secs
lola: 428596 markings, 1369760 edges, 3187 markings/sec, 235 secs
lola: 440386 markings, 1406988 edges, 2358 markings/sec, 240 secs
lola: 451044 markings, 1441551 edges, 2132 markings/sec, 245 secs
lola: 461278 markings, 1475219 edges, 2047 markings/sec, 250 secs
lola: 471096 markings, 1507634 edges, 1964 markings/sec, 255 secs
lola: 479920 markings, 1537286 edges, 1765 markings/sec, 260 secs
lola: 490065 markings, 1570894 edges, 2029 markings/sec, 265 secs
lola: 500238 markings, 1605071 edges, 2035 markings/sec, 270 secs
lola: 507372 markings, 1629628 edges, 1427 markings/sec, 275 secs
lola: 517884 markings, 1664538 edges, 2102 markings/sec, 280 secs
lola: 524710 markings, 1688635 edges, 1365 markings/sec, 285 secs
lola: 535503 markings, 1724553 edges, 2159 markings/sec, 290 secs
lola: 542161 markings, 1748132 edges, 1332 markings/sec, 295 secs
lola: 551514 markings, 1780308 edges, 1871 markings/sec, 300 secs
lola: 560027 markings, 1808891 edges, 1703 markings/sec, 305 secs
lola: 566543 markings, 1832008 edges, 1303 markings/sec, 310 secs
lola: 576909 markings, 1867388 edges, 2073 markings/sec, 315 secs
lola: 584408 markings, 1892885 edges, 1500 markings/sec, 320 secs
lola: 590730 markings, 1915510 edges, 1264 markings/sec, 325 secs
lola: 604009 markings, 1961293 edges, 2656 markings/sec, 330 secs
lola: 618510 markings, 2005984 edges, 2900 markings/sec, 335 secs
lola: 630483 markings, 2044596 edges, 2395 markings/sec, 340 secs
lola: 640556 markings, 2078048 edges, 2015 markings/sec, 345 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 355 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p195)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 8655 markings, 14793 edges, 1731 markings/sec, 0 secs
lola: 24521 markings, 40247 edges, 3173 markings/sec, 5 secs
lola: 51205 markings, 102393 edges, 5337 markings/sec, 10 secs
lola: 81983 markings, 180111 edges, 6156 markings/sec, 15 secs
lola: 112567 markings, 257214 edges, 6117 markings/sec, 20 secs
lola: 143643 markings, 335706 edges, 6215 markings/sec, 25 secs
lola: 164942 markings, 395127 edges, 4260 markings/sec, 30 secs
lola: 174347 markings, 419907 edges, 1881 markings/sec, 35 secs
lola: 201419 markings, 482346 edges, 5414 markings/sec, 40 secs
lola: 231101 markings, 557323 edges, 5936 markings/sec, 45 secs
lola: 260871 markings, 632402 edges, 5954 markings/sec, 50 secs
lola: 290956 markings, 708407 edges, 6017 markings/sec, 55 secs
lola: 310949 markings, 756171 edges, 3999 markings/sec, 60 secs
lola: 321027 markings, 773723 edges, 2016 markings/sec, 65 secs
lola: 345539 markings, 825010 edges, 4902 markings/sec, 70 secs
lola: 374991 markings, 899241 edges, 5890 markings/sec, 75 secs
lola: 404886 markings, 974853 edges, 5979 markings/sec, 80 secs
lola: 434882 markings, 1050519 edges, 5999 markings/sec, 85 secs
lola: 460528 markings, 1111558 edges, 5129 markings/sec, 90 secs
lola: 489597 markings, 1179880 edges, 5814 markings/sec, 95 secs
lola: 520737 markings, 1258494 edges, 6228 markings/sec, 100 secs
lola: 551525 markings, 1336528 edges, 6158 markings/sec, 105 secs
lola: 581743 markings, 1412412 edges, 6044 markings/sec, 110 secs
lola: 606193 markings, 1466333 edges, 4890 markings/sec, 115 secs
lola: 636193 markings, 1541899 edges, 6000 markings/sec, 120 secs
lola: 663596 markings, 1611228 edges, 5481 markings/sec, 125 secs
lola: 690577 markings, 1679226 edges, 5396 markings/sec, 130 secs
lola: 714805 markings, 1737606 edges, 4846 markings/sec, 135 secs
lola: 742177 markings, 1801232 edges, 5474 markings/sec, 140 secs
lola: 771532 markings, 1875318 edges, 5871 markings/sec, 145 secs
lola: 800656 markings, 1949163 edges, 5825 markings/sec, 150 secs
lola: 828480 markings, 2019063 edges, 5565 markings/sec, 155 secs
lola: 849898 markings, 2065720 edges, 4284 markings/sec, 160 secs
lola: 877002 markings, 2134056 edges, 5421 markings/sec, 165 secs
lola: 904816 markings, 2204349 edges, 5563 markings/sec, 170 secs
lola: 933656 markings, 2276981 edges, 5768 markings/sec, 175 secs
lola: 959261 markings, 2336538 edges, 5121 markings/sec, 180 secs
lola: 988239 markings, 2407142 edges, 5796 markings/sec, 185 secs
lola: 1017510 markings, 2481044 edges, 5854 markings/sec, 190 secs
lola: 1046990 markings, 2555529 edges, 5896 markings/sec, 195 secs
lola: 1073309 markings, 2618488 edges, 5264 markings/sec, 200 secs
lola: 1098307 markings, 2677794 edges, 5000 markings/sec, 205 secs
lola: 1125342 markings, 2745637 edges, 5407 markings/sec, 210 secs
lola: 1152128 markings, 2813619 edges, 5357 markings/sec, 215 secs
lola: 1181501 markings, 2887895 edges, 5875 markings/sec, 220 secs
lola: 1206701 markings, 2943952 edges, 5040 markings/sec, 225 secs
lola: 1236239 markings, 3018370 edges, 5908 markings/sec, 230 secs
lola: 1265419 markings, 3092341 edges, 5836 markings/sec, 235 secs
lola: 1293184 markings, 3160985 edges, 5553 markings/sec, 240 secs
lola: 1320377 markings, 3224118 edges, 5439 markings/sec, 245 secs
lola: 1350224 markings, 3299417 edges, 5969 markings/sec, 250 secs
lola: 1379590 markings, 3373435 edges, 5873 markings/sec, 255 secs
lola: 1404873 markings, 3431428 edges, 5057 markings/sec, 260 secs
lola: 1434349 markings, 3504890 edges, 5895 markings/sec, 265 secs
lola: 1463349 markings, 3578019 edges, 5800 markings/sec, 270 secs
lola: 1492842 markings, 3652266 edges, 5899 markings/sec, 275 secs
lola: 1517985 markings, 3709336 edges, 5029 markings/sec, 280 secs
lola: 1547761 markings, 3784232 edges, 5955 markings/sec, 285 secs
lola: 1576872 markings, 3857925 edges, 5822 markings/sec, 290 secs
lola: 1604178 markings, 3924850 edges, 5461 markings/sec, 295 secs
lola: 1631550 markings, 3989510 edges, 5474 markings/sec, 300 secs
lola: 1660987 markings, 4063611 edges, 5887 markings/sec, 305 secs
lola: 1690322 markings, 4137527 edges, 5867 markings/sec, 310 secs
lola: 1715613 markings, 4195300 edges, 5058 markings/sec, 315 secs
lola: 1745115 markings, 4269410 edges, 5900 markings/sec, 320 secs
lola: 1773909 markings, 4342325 edges, 5759 markings/sec, 325 secs
lola: 1799552 markings, 4402204 edges, 5129 markings/sec, 330 secs
lola: 1828605 markings, 4474140 edges, 5811 markings/sec, 335 secs
lola: 1857575 markings, 4547394 edges, 5794 markings/sec, 340 secs
lola: 1885958 markings, 4618493 edges, 5677 markings/sec, 345 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 355 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p109)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3486 markings, 5708 edges, 697 markings/sec, 0 secs
lola: 6283 markings, 12996 edges, 559 markings/sec, 5 secs
lola: 7893 markings, 17709 edges, 322 markings/sec, 10 secs
lola: 9700 markings, 22912 edges, 361 markings/sec, 15 secs
lola: 11372 markings, 27845 edges, 334 markings/sec, 20 secs
lola: 13110 markings, 32911 edges, 348 markings/sec, 25 secs
lola: 14879 markings, 38075 edges, 354 markings/sec, 30 secs
lola: 16419 markings, 42609 edges, 308 markings/sec, 35 secs
lola: 18111 markings, 47474 edges, 338 markings/sec, 40 secs
lola: 19801 markings, 52387 edges, 338 markings/sec, 45 secs
lola: 21283 markings, 56702 edges, 296 markings/sec, 50 secs
lola: 22861 markings, 61294 edges, 316 markings/sec, 55 secs
lola: 24443 markings, 65840 edges, 316 markings/sec, 60 secs
lola: 26133 markings, 70709 edges, 338 markings/sec, 65 secs
lola: 28013 markings, 76147 edges, 376 markings/sec, 70 secs
lola: 29647 markings, 80852 edges, 327 markings/sec, 75 secs
lola: 31267 markings, 85519 edges, 324 markings/sec, 80 secs
lola: 33207 markings, 90975 edges, 388 markings/sec, 85 secs
lola: 35136 markings, 96334 edges, 386 markings/sec, 90 secs
lola: 38166 markings, 101560 edges, 606 markings/sec, 95 secs
lola: 41441 markings, 109572 edges, 655 markings/sec, 100 secs
lola: 43114 markings, 114436 edges, 335 markings/sec, 105 secs
lola: 44903 markings, 119685 edges, 358 markings/sec, 110 secs
lola: 46531 markings, 124456 edges, 326 markings/sec, 115 secs
lola: 48282 markings, 129494 edges, 350 markings/sec, 120 secs
lola: 49950 markings, 134418 edges, 334 markings/sec, 125 secs
lola: 51563 markings, 139108 edges, 323 markings/sec, 130 secs
lola: 53236 markings, 143921 edges, 335 markings/sec, 135 secs
lola: 54804 markings, 148546 edges, 314 markings/sec, 140 secs
lola: 56386 markings, 153150 edges, 316 markings/sec, 145 secs
lola: 58008 markings, 157811 edges, 324 markings/sec, 150 secs
lola: 59612 markings, 162422 edges, 321 markings/sec, 155 secs
lola: 61210 markings, 167143 edges, 320 markings/sec, 160 secs
lola: 63152 markings, 172643 edges, 388 markings/sec, 165 secs
lola: 64731 markings, 177189 edges, 316 markings/sec, 170 secs
lola: 66043 markings, 180937 edges, 262 markings/sec, 175 secs
lola: 67519 markings, 185176 edges, 295 markings/sec, 180 secs
lola: 69461 markings, 190643 edges, 388 markings/sec, 185 secs
lola: 71470 markings, 195502 edges, 402 markings/sec, 190 secs
lola: 75377 markings, 202964 edges, 781 markings/sec, 195 secs
lola: 77343 markings, 208295 edges, 393 markings/sec, 200 secs
lola: 78664 markings, 212245 edges, 264 markings/sec, 205 secs
lola: 80130 markings, 216460 edges, 293 markings/sec, 210 secs
lola: 81440 markings, 220346 edges, 262 markings/sec, 215 secs
lola: 82924 markings, 224609 edges, 297 markings/sec, 220 secs
lola: 84320 markings, 228761 edges, 279 markings/sec, 225 secs
lola: 86128 markings, 233974 edges, 362 markings/sec, 230 secs
lola: 87855 markings, 239080 edges, 345 markings/sec, 235 secs
lola: 89378 markings, 243504 edges, 305 markings/sec, 240 secs
lola: 91063 markings, 248354 edges, 337 markings/sec, 245 secs
lola: 92711 markings, 253096 edges, 330 markings/sec, 250 secs
lola: 94287 markings, 257749 edges, 315 markings/sec, 255 secs
lola: 95724 markings, 261859 edges, 287 markings/sec, 260 secs
lola: 97778 markings, 267824 edges, 411 markings/sec, 265 secs
lola: 99484 markings, 272673 edges, 341 markings/sec, 270 secs
lola: 101106 markings, 277306 edges, 324 markings/sec, 275 secs
lola: 103043 markings, 282855 edges, 387 markings/sec, 280 secs
lola: 104982 markings, 288226 edges, 388 markings/sec, 285 secs
lola: 107716 markings, 293297 edges, 547 markings/sec, 290 secs
lola: 111215 markings, 301310 edges, 700 markings/sec, 295 secs
lola: 112978 markings, 306451 edges, 353 markings/sec, 300 secs
lola: 114396 markings, 310626 edges, 284 markings/sec, 305 secs
lola: 115865 markings, 314887 edges, 294 markings/sec, 310 secs
lola: 117308 markings, 319139 edges, 289 markings/sec, 315 secs
lola: 118642 markings, 322997 edges, 267 markings/sec, 320 secs
lola: 120095 markings, 327276 edges, 291 markings/sec, 325 secs
lola: 121446 markings, 331190 edges, 270 markings/sec, 330 secs
lola: 123135 markings, 336050 edges, 338 markings/sec, 335 secs
lola: 124859 markings, 341097 edges, 345 markings/sec, 340 secs
lola: 126382 markings, 345509 edges, 305 markings/sec, 345 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 80 unknown 80 unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-10 80 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-12 80 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496349820477

--------------------
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_BridgeAndVehicles-COL-V80P50N20"
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_BridgeAndVehicles-COL-V80P50N20.tgz
mv S_BridgeAndVehicles-COL-V80P50N20 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_BridgeAndVehicles-COL-V80P50N20, 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 r088-csrt-149441074400416"
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 ;