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 BridgeAndVehicles-COL-V50P20N50, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r008-csrt-149436126200344
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494606826452


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ BridgeAndVehicles-COL-V50P20N50 @ 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: 5576/65536 symbol table entries, 1422 collisions
lola: preprocessing...
lola: finding significant places
lola: 168 places, 5408 transitions, 161 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 5813 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V50P20N50-UpperBounds.task
lola: MAX(p106) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p98 + p97 + p96 + p95 + p94 + p93 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p99) : MAX(p160) : MAX(p164) : MAX(p162) : MAX(p52 + p53) : MAX(p161) : MAX(p162) : MAX(p167) : MAX(p164) : MAX(p165 + p166) : MAX(p161) : MAX(p52 + p53) : MAX(p160) : MAX(p0) : MAX(p52 + p53)
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(p106)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 644 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: 4915 markings, 10727 edges, 983 markings/sec, 0 secs
lola: 9914 markings, 22524 edges, 1000 markings/sec, 5 secs
lola: 15280 markings, 35344 edges, 1073 markings/sec, 10 secs
lola: 20696 markings, 48201 edges, 1083 markings/sec, 15 secs
lola: 26343 markings, 60579 edges, 1129 markings/sec, 20 secs
lola: 28607 markings, 64858 edges, 453 markings/sec, 25 secs
lola: 30432 markings, 69050 edges, 365 markings/sec, 30 secs
lola: 32222 markings, 73252 edges, 358 markings/sec, 35 secs
lola: 33996 markings, 77389 edges, 355 markings/sec, 40 secs
lola: 35763 markings, 81585 edges, 353 markings/sec, 45 secs
lola: 37490 markings, 85670 edges, 345 markings/sec, 50 secs
lola: 39237 markings, 89792 edges, 349 markings/sec, 55 secs
lola: 40984 markings, 93902 edges, 349 markings/sec, 60 secs
lola: 42693 markings, 98006 edges, 342 markings/sec, 65 secs
lola: 44418 markings, 102069 edges, 345 markings/sec, 70 secs
lola: 46158 markings, 106269 edges, 348 markings/sec, 75 secs
lola: 47945 markings, 110439 edges, 357 markings/sec, 80 secs
lola: 50000 markings, 114759 edges, 411 markings/sec, 85 secs
lola: 51939 markings, 119020 edges, 388 markings/sec, 90 secs
lola: 53889 markings, 123371 edges, 390 markings/sec, 95 secs
lola: 65629 markings, 162291 edges, 2348 markings/sec, 100 secs
lola: 77556 markings, 201647 edges, 2385 markings/sec, 105 secs
lola: 83522 markings, 214758 edges, 1193 markings/sec, 110 secs
lola: 87241 markings, 223056 edges, 744 markings/sec, 115 secs
lola: 89029 markings, 227243 edges, 358 markings/sec, 120 secs
lola: 90960 markings, 231846 edges, 386 markings/sec, 125 secs
lola: 92887 markings, 236443 edges, 385 markings/sec, 130 secs
lola: 94780 markings, 240949 edges, 379 markings/sec, 135 secs
lola: 96619 markings, 245375 edges, 368 markings/sec, 140 secs
lola: 98364 markings, 249546 edges, 349 markings/sec, 145 secs
lola: 100211 markings, 253957 edges, 369 markings/sec, 150 secs
lola: 102093 markings, 258439 edges, 376 markings/sec, 155 secs
lola: 103928 markings, 262925 edges, 367 markings/sec, 160 secs
lola: 105843 markings, 267466 edges, 383 markings/sec, 165 secs
lola: 108107 markings, 272174 edges, 453 markings/sec, 170 secs
lola: 110098 markings, 276617 edges, 398 markings/sec, 175 secs
lola: 115658 markings, 293357 edges, 1112 markings/sec, 180 secs
lola: 127748 markings, 334023 edges, 2418 markings/sec, 185 secs
lola: 137320 markings, 362928 edges, 1914 markings/sec, 190 secs
lola: 139602 markings, 367633 edges, 456 markings/sec, 195 secs
lola: 141524 markings, 372089 edges, 384 markings/sec, 200 secs
lola: 143583 markings, 376883 edges, 412 markings/sec, 205 secs
lola: 145600 markings, 381684 edges, 403 markings/sec, 210 secs
lola: 147576 markings, 386287 edges, 395 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(p100 + p101 + p102 + p103 + p104 + p105 + p98 + p97 + p96 + p95 + p94 + p93 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 644 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: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p160)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 644 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: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: ========================================
lola: subprocess 3 will run for 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p164)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 644 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: 1312 markings, 2322 edges, 262 markings/sec, 0 secs
lola: 2418 markings, 4834 edges, 221 markings/sec, 5 secs
lola: 3524 markings, 7347 edges, 221 markings/sec, 10 secs
lola: 4580 markings, 9812 edges, 211 markings/sec, 15 secs
lola: 5624 markings, 12251 edges, 209 markings/sec, 20 secs
lola: 6679 markings, 14695 edges, 211 markings/sec, 25 secs
lola: 7718 markings, 17203 edges, 208 markings/sec, 30 secs
lola: 8793 markings, 19694 edges, 215 markings/sec, 35 secs
lola: 9778 markings, 22040 edges, 197 markings/sec, 40 secs
lola: 10708 markings, 24269 edges, 186 markings/sec, 45 secs
lola: 11622 markings, 26441 edges, 183 markings/sec, 50 secs
lola: 12535 markings, 28604 edges, 183 markings/sec, 55 secs
lola: 13463 markings, 30814 edges, 186 markings/sec, 60 secs
lola: 14389 markings, 33038 edges, 185 markings/sec, 65 secs
lola: 15329 markings, 35258 edges, 188 markings/sec, 70 secs
lola: 16251 markings, 37444 edges, 184 markings/sec, 75 secs
lola: 17123 markings, 39628 edges, 174 markings/sec, 80 secs
lola: 18044 markings, 41823 edges, 184 markings/sec, 85 secs
lola: 18962 markings, 43972 edges, 184 markings/sec, 90 secs
lola: 19892 markings, 46178 edges, 186 markings/sec, 95 secs
lola: 20772 markings, 48345 edges, 176 markings/sec, 100 secs
lola: 21663 markings, 50498 edges, 178 markings/sec, 105 secs
lola: 22588 markings, 52670 edges, 185 markings/sec, 110 secs
lola: 23523 markings, 54885 edges, 187 markings/sec, 115 secs
lola: 24405 markings, 57090 edges, 176 markings/sec, 120 secs
lola: 25350 markings, 59324 edges, 189 markings/sec, 125 secs
lola: 26315 markings, 61613 edges, 193 markings/sec, 130 secs
lola: 27243 markings, 63910 edges, 186 markings/sec, 135 secs
lola: 28242 markings, 66276 edges, 200 markings/sec, 140 secs
lola: 29223 markings, 68589 edges, 196 markings/sec, 145 secs
lola: 30142 markings, 70882 edges, 184 markings/sec, 150 secs
lola: 31092 markings, 73143 edges, 190 markings/sec, 155 secs
lola: 31966 markings, 75296 edges, 175 markings/sec, 160 secs
lola: 32893 markings, 77504 edges, 185 markings/sec, 165 secs
lola: 33968 markings, 80028 edges, 215 markings/sec, 170 secs
lola: 34996 markings, 82591 edges, 206 markings/sec, 175 secs
lola: 37866 markings, 86940 edges, 574 markings/sec, 180 secs
lola: 42483 markings, 93060 edges, 923 markings/sec, 185 secs
lola: 44181 markings, 96263 edges, 340 markings/sec, 190 secs
lola: 45397 markings, 99084 edges, 243 markings/sec, 195 secs
lola: 46510 markings, 101692 edges, 223 markings/sec, 200 secs
lola: 47516 markings, 104060 edges, 201 markings/sec, 205 secs
lola: 48472 markings, 106378 edges, 191 markings/sec, 210 secs
lola: 49486 markings, 108749 edges, 203 markings/sec, 215 secs
lola: 50464 markings, 111115 edges, 196 markings/sec, 220 secs
lola: 51406 markings, 113386 edges, 188 markings/sec, 225 secs
lola: 52372 markings, 115718 edges, 193 markings/sec, 230 secs
lola: 53458 markings, 118329 edges, 217 markings/sec, 235 secs
lola: 54489 markings, 120762 edges, 206 markings/sec, 240 secs
lola: 55473 markings, 123123 edges, 197 markings/sec, 245 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 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p162)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 644 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: 16398 markings, 26721 edges, 3280 markings/sec, 0 secs
lola: 37062 markings, 61664 edges, 4133 markings/sec, 5 secs
lola: 58244 markings, 97829 edges, 4236 markings/sec, 10 secs
lola: 76242 markings, 128400 edges, 3600 markings/sec, 15 secs
lola: 78290 markings, 131472 edges, 410 markings/sec, 20 secs
lola: 90882 markings, 151639 edges, 2518 markings/sec, 25 secs
lola: 112164 markings, 187587 edges, 4256 markings/sec, 30 secs
lola: 133694 markings, 224331 edges, 4306 markings/sec, 35 secs
lola: 151736 markings, 254976 edges, 3608 markings/sec, 40 secs
lola: 153798 markings, 258069 edges, 412 markings/sec, 45 secs
lola: 166518 markings, 278487 edges, 2544 markings/sec, 50 secs
lola: 188890 markings, 316256 edges, 4474 markings/sec, 55 secs
lola: 211136 markings, 354208 edges, 4449 markings/sec, 60 secs
lola: 224448 markings, 376670 edges, 2662 markings/sec, 65 secs
lola: 226556 markings, 379832 edges, 422 markings/sec, 70 secs
lola: 245968 markings, 411526 edges, 3882 markings/sec, 75 secs
lola: 268412 markings, 449624 edges, 4489 markings/sec, 80 secs
lola: 290758 markings, 487251 edges, 4469 markings/sec, 85 secs
lola: 294330 markings, 493430 edges, 714 markings/sec, 90 secs
lola: 302582 markings, 506259 edges, 1650 markings/sec, 95 secs
lola: 325058 markings, 544118 edges, 4495 markings/sec, 100 secs
lola: 347706 markings, 582663 edges, 4530 markings/sec, 105 secs
lola: 359232 markings, 602051 edges, 2305 markings/sec, 110 secs
lola: 361344 markings, 605153 edges, 422 markings/sec, 115 secs
lola: 381386 markings, 638010 edges, 4008 markings/sec, 120 secs
lola: 402508 markings, 673882 edges, 4224 markings/sec, 125 secs
lola: 420972 markings, 705280 edges, 3693 markings/sec, 130 secs
lola: 422954 markings, 708253 edges, 396 markings/sec, 135 secs
lola: 433214 markings, 724482 edges, 2052 markings/sec, 140 secs
lola: 454306 markings, 759949 edges, 4218 markings/sec, 145 secs
lola: 475722 markings, 796418 edges, 4283 markings/sec, 150 secs
lola: 481858 markings, 806599 edges, 1227 markings/sec, 155 secs
lola: 484972 markings, 810933 edges, 623 markings/sec, 160 secs
lola: 506170 markings, 846314 edges, 4240 markings/sec, 165 secs
lola: 527210 markings, 882065 edges, 4208 markings/sec, 170 secs
lola: 538022 markings, 900226 edges, 2162 markings/sec, 175 secs
lola: 539984 markings, 903169 edges, 392 markings/sec, 180 secs
lola: 557692 markings, 931969 edges, 3542 markings/sec, 185 secs
lola: 578902 markings, 967969 edges, 4242 markings/sec, 190 secs
lola: 591640 markings, 989445 edges, 2548 markings/sec, 195 secs
lola: 593624 markings, 992421 edges, 397 markings/sec, 200 secs
lola: 609892 markings, 1018761 edges, 3254 markings/sec, 205 secs
lola: 631648 markings, 1055666 edges, 4351 markings/sec, 210 secs
lola: 642890 markings, 1074543 edges, 2248 markings/sec, 215 secs
lola: 644910 markings, 1077573 edges, 404 markings/sec, 220 secs
lola: 664048 markings, 1108786 edges, 3828 markings/sec, 225 secs
lola: 686062 markings, 1146090 edges, 4403 markings/sec, 230 secs
lola: 691826 markings, 1155621 edges, 1153 markings/sec, 235 secs
lola: 696662 markings, 1162745 edges, 967 markings/sec, 240 secs
lola: 718402 markings, 1199106 edges, 4348 markings/sec, 245 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 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p52 + p53)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 644 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: 2144 markings, 4274 edges, 429 markings/sec, 0 secs
lola: 4290 markings, 9295 edges, 429 markings/sec, 5 secs
lola: 6390 markings, 14189 edges, 420 markings/sec, 10 secs
lola: 8496 markings, 19160 edges, 421 markings/sec, 15 secs
lola: 10538 markings, 24074 edges, 408 markings/sec, 20 secs
lola: 12502 markings, 28770 edges, 393 markings/sec, 25 secs
lola: 14532 markings, 33614 edges, 406 markings/sec, 30 secs
lola: 16568 markings, 38455 edges, 407 markings/sec, 35 secs
lola: 18605 markings, 43281 edges, 407 markings/sec, 40 secs
lola: 20648 markings, 48104 edges, 409 markings/sec, 45 secs
lola: 22740 markings, 53225 edges, 418 markings/sec, 50 secs
lola: 24898 markings, 58314 edges, 432 markings/sec, 55 secs
lola: 26934 markings, 63275 edges, 407 markings/sec, 60 secs
lola: 29068 markings, 68282 edges, 427 markings/sec, 65 secs
lola: 31228 markings, 73543 edges, 432 markings/sec, 70 secs
lola: 33258 markings, 78469 edges, 406 markings/sec, 75 secs
lola: 36614 markings, 85213 edges, 671 markings/sec, 80 secs
lola: 38637 markings, 89882 edges, 405 markings/sec, 85 secs
lola: 40652 markings, 94576 edges, 403 markings/sec, 90 secs
lola: 42642 markings, 99268 edges, 398 markings/sec, 95 secs
lola: 44604 markings, 103994 edges, 392 markings/sec, 100 secs
lola: 46636 markings, 108826 edges, 406 markings/sec, 105 secs
lola: 48926 markings, 114226 edges, 458 markings/sec, 110 secs
lola: 51108 markings, 119438 edges, 436 markings/sec, 115 secs
lola: 53370 markings, 124836 edges, 452 markings/sec, 120 secs
lola: 55616 markings, 130174 edges, 449 markings/sec, 125 secs
lola: 57878 markings, 135723 edges, 452 markings/sec, 130 secs
lola: 60088 markings, 140948 edges, 442 markings/sec, 135 secs
lola: 62416 markings, 146557 edges, 466 markings/sec, 140 secs
lola: 64660 markings, 151931 edges, 449 markings/sec, 145 secs
lola: 66946 markings, 157506 edges, 457 markings/sec, 150 secs
lola: 69702 markings, 163235 edges, 551 markings/sec, 155 secs
lola: 72111 markings, 168808 edges, 482 markings/sec, 160 secs
lola: 74405 markings, 174294 edges, 459 markings/sec, 165 secs
lola: 76657 markings, 179623 edges, 450 markings/sec, 170 secs
lola: 78825 markings, 184693 edges, 434 markings/sec, 175 secs
lola: 80979 markings, 189855 edges, 431 markings/sec, 180 secs
lola: 83053 markings, 194793 edges, 415 markings/sec, 185 secs
lola: 84975 markings, 199501 edges, 384 markings/sec, 190 secs
lola: 87031 markings, 204368 edges, 411 markings/sec, 195 secs
lola: 89037 markings, 209087 edges, 401 markings/sec, 200 secs
lola: 90977 markings, 213819 edges, 388 markings/sec, 205 secs
lola: 92989 markings, 218677 edges, 402 markings/sec, 210 secs
lola: 95113 markings, 223712 edges, 425 markings/sec, 215 secs
lola: 97377 markings, 229238 edges, 453 markings/sec, 220 secs
lola: 100025 markings, 234729 edges, 530 markings/sec, 225 secs
lola: 102245 markings, 239910 edges, 444 markings/sec, 230 secs
lola: 104277 markings, 244737 edges, 406 markings/sec, 235 secs
lola: 106245 markings, 249357 edges, 394 markings/sec, 240 secs
lola: 108249 markings, 254166 edges, 401 markings/sec, 245 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 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p161)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 644 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: 980 markings, 1369 edges, 196 markings/sec, 0 secs
lola: 1964 markings, 2832 edges, 197 markings/sec, 5 secs
lola: 3222 markings, 5203 edges, 252 markings/sec, 10 secs
lola: 4341 markings, 7747 edges, 224 markings/sec, 15 secs
lola: 5260 markings, 9888 edges, 184 markings/sec, 20 secs
lola: 6193 markings, 12052 edges, 187 markings/sec, 25 secs
lola: 7198 markings, 14383 edges, 201 markings/sec, 30 secs
lola: 8369 markings, 17115 edges, 234 markings/sec, 35 secs
lola: 9466 markings, 19748 edges, 219 markings/sec, 40 secs
lola: 10640 markings, 22469 edges, 235 markings/sec, 45 secs
lola: 11797 markings, 25243 edges, 231 markings/sec, 50 secs
lola: 12966 markings, 27940 edges, 234 markings/sec, 55 secs
lola: 14116 markings, 30680 edges, 230 markings/sec, 60 secs
lola: 15245 markings, 33373 edges, 226 markings/sec, 65 secs
lola: 16375 markings, 36065 edges, 226 markings/sec, 70 secs
lola: 17500 markings, 38741 edges, 225 markings/sec, 75 secs
lola: 18611 markings, 41380 edges, 222 markings/sec, 80 secs
lola: 19629 markings, 43783 edges, 204 markings/sec, 85 secs
lola: 20659 markings, 46214 edges, 206 markings/sec, 90 secs
lola: 21623 markings, 48477 edges, 193 markings/sec, 95 secs
lola: 22557 markings, 50804 edges, 187 markings/sec, 100 secs
lola: 23599 markings, 53258 edges, 208 markings/sec, 105 secs
lola: 24884 markings, 55726 edges, 257 markings/sec, 110 secs
lola: 26122 markings, 58388 edges, 248 markings/sec, 115 secs
lola: 27334 markings, 61050 edges, 242 markings/sec, 120 secs
lola: 28496 markings, 63743 edges, 232 markings/sec, 125 secs
lola: 29564 markings, 66203 edges, 214 markings/sec, 130 secs
lola: 34416 markings, 81353 edges, 970 markings/sec, 135 secs
lola: 46753 markings, 122585 edges, 2467 markings/sec, 140 secs
lola: 53796 markings, 145701 edges, 1409 markings/sec, 145 secs
lola: 56067 markings, 152475 edges, 454 markings/sec, 150 secs
lola: 57105 markings, 155030 edges, 208 markings/sec, 155 secs
lola: 59586 markings, 162334 edges, 496 markings/sec, 160 secs
lola: 62101 markings, 169761 edges, 503 markings/sec, 165 secs
lola: 64658 markings, 177330 edges, 511 markings/sec, 170 secs
lola: 67263 markings, 185056 edges, 521 markings/sec, 175 secs
lola: 69994 markings, 193142 edges, 546 markings/sec, 180 secs
lola: 74151 markings, 206171 edges, 831 markings/sec, 185 secs
lola: 77237 markings, 214466 edges, 617 markings/sec, 190 secs
lola: 79660 markings, 217533 edges, 485 markings/sec, 195 secs
lola: 82290 markings, 224186 edges, 526 markings/sec, 200 secs
lola: 83206 markings, 226468 edges, 183 markings/sec, 205 secs
lola: 84106 markings, 227778 edges, 180 markings/sec, 210 secs
lola: 84711 markings, 229005 edges, 121 markings/sec, 215 secs
lola: 85292 markings, 230295 edges, 116 markings/sec, 220 secs
lola: 86019 markings, 231951 edges, 145 markings/sec, 225 secs
lola: 86761 markings, 233661 edges, 148 markings/sec, 230 secs
lola: 87507 markings, 235367 edges, 149 markings/sec, 235 secs
lola: 88242 markings, 237114 edges, 147 markings/sec, 240 secs
lola: 88999 markings, 238830 edges, 151 markings/sec, 245 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 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p162)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 644 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: 17718 markings, 28937 edges, 3544 markings/sec, 0 secs
lola: 37726 markings, 62842 edges, 4002 markings/sec, 5 secs
lola: 57782 markings, 97039 edges, 4011 markings/sec, 10 secs
lola: 76118 markings, 128214 edges, 3667 markings/sec, 15 secs
lola: 78246 markings, 131406 edges, 426 markings/sec, 20 secs
lola: 91020 markings, 151891 edges, 2555 markings/sec, 25 secs
lola: 113222 markings, 189436 edges, 4440 markings/sec, 30 secs
lola: 133746 markings, 224409 edges, 4105 markings/sec, 35 secs
lola: 151596 markings, 254766 edges, 3570 markings/sec, 40 secs
lola: 153462 markings, 257565 edges, 373 markings/sec, 45 secs
lola: 161252 markings, 269624 edges, 1558 markings/sec, 50 secs
lola: 183736 markings, 307536 edges, 4497 markings/sec, 55 secs
lola: 205786 markings, 345082 edges, 4410 markings/sec, 60 secs
lola: 223872 markings, 375806 edges, 3617 markings/sec, 65 secs
lola: 225898 markings, 378845 edges, 405 markings/sec, 70 secs
lola: 238412 markings, 398916 edges, 2503 markings/sec, 75 secs
lola: 260990 markings, 437047 edges, 4516 markings/sec, 80 secs
lola: 283578 markings, 475551 edges, 4518 markings/sec, 85 secs
lola: 293430 markings, 492080 edges, 1970 markings/sec, 90 secs
lola: 295294 markings, 494876 edges, 373 markings/sec, 95 secs
lola: 310698 markings, 519867 edges, 3081 markings/sec, 100 secs
lola: 331572 markings, 555138 edges, 4175 markings/sec, 105 secs
lola: 352996 markings, 591636 edges, 4285 markings/sec, 110 secs
lola: 359566 markings, 602552 edges, 1314 markings/sec, 115 secs
lola: 362472 markings, 606552 edges, 581 markings/sec, 120 secs
lola: 384312 markings, 642995 edges, 4368 markings/sec, 125 secs
lola: 405306 markings, 678636 edges, 4199 markings/sec, 130 secs
lola: 421292 markings, 705760 edges, 3197 markings/sec, 135 secs
lola: 423184 markings, 708598 edges, 378 markings/sec, 140 secs
lola: 434242 markings, 726211 edges, 2212 markings/sec, 145 secs
lola: 453936 markings, 759388 edges, 3939 markings/sec, 150 secs
lola: 474429 markings, 794254 edges, 4099 markings/sec, 155 secs
lola: 481796 markings, 806506 edges, 1473 markings/sec, 160 secs
lola: 484992 markings, 810964 edges, 639 markings/sec, 165 secs
lola: 506492 markings, 846834 edges, 4300 markings/sec, 170 secs
lola: 528356 markings, 884010 edges, 4373 markings/sec, 175 secs
lola: 538236 markings, 900547 edges, 1976 markings/sec, 180 secs
lola: 540342 markings, 903573 edges, 421 markings/sec, 185 secs
lola: 562304 markings, 939769 edges, 4392 markings/sec, 190 secs
lola: 584662 markings, 977770 edges, 4472 markings/sec, 195 secs
lola: 592246 markings, 990354 edges, 1517 markings/sec, 200 secs
lola: 595474 markings, 994870 edges, 646 markings/sec, 205 secs
lola: 616662 markings, 1030184 edges, 4238 markings/sec, 210 secs
lola: 638530 markings, 1067183 edges, 4374 markings/sec, 215 secs
lola: 643548 markings, 1075530 edges, 1004 markings/sec, 220 secs
lola: 649825 markings, 1085055 edges, 1255 markings/sec, 225 secs
lola: 671666 markings, 1121701 edges, 4368 markings/sec, 230 secs
lola: 690468 markings, 1153584 edges, 3760 markings/sec, 235 secs
lola: 692502 markings, 1156635 edges, 407 markings/sec, 240 secs
lola: 704378 markings, 1175488 edges, 2375 markings/sec, 245 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 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p167)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 644 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: 5519 markings, 12138 edges, 1104 markings/sec, 0 secs
lola: 11112 markings, 25407 edges, 1119 markings/sec, 5 secs
lola: 16737 markings, 38760 edges, 1125 markings/sec, 10 secs
lola: 22596 markings, 52142 edges, 1172 markings/sec, 15 secs
lola: 27492 markings, 62386 edges, 979 markings/sec, 20 secs
lola: 29599 markings, 67182 edges, 421 markings/sec, 25 secs
lola: 31648 markings, 71965 edges, 410 markings/sec, 30 secs
lola: 33676 markings, 76668 edges, 406 markings/sec, 35 secs
lola: 35569 markings, 81156 edges, 379 markings/sec, 40 secs
lola: 37428 markings, 85570 edges, 372 markings/sec, 45 secs
lola: 39354 markings, 90138 edges, 385 markings/sec, 50 secs
lola: 41324 markings, 94803 edges, 394 markings/sec, 55 secs
lola: 43246 markings, 99336 edges, 384 markings/sec, 60 secs
lola: 45174 markings, 103872 edges, 386 markings/sec, 65 secs
lola: 47081 markings, 108483 edges, 381 markings/sec, 70 secs
lola: 49226 markings, 113185 edges, 429 markings/sec, 75 secs
lola: 51459 markings, 117910 edges, 447 markings/sec, 80 secs
lola: 53457 markings, 122512 edges, 400 markings/sec, 85 secs
lola: 64000 markings, 156984 edges, 2109 markings/sec, 90 secs
lola: 76617 markings, 198713 edges, 2523 markings/sec, 95 secs
lola: 81678 markings, 212879 edges, 1012 markings/sec, 100 secs
lola: 83312 markings, 216742 edges, 327 markings/sec, 105 secs
lola: 84934 markings, 220578 edges, 324 markings/sec, 110 secs
lola: 86809 markings, 225062 edges, 375 markings/sec, 115 secs
lola: 88709 markings, 229566 edges, 380 markings/sec, 120 secs
lola: 90604 markings, 234136 edges, 379 markings/sec, 125 secs
lola: 92513 markings, 238721 edges, 382 markings/sec, 130 secs
lola: 94389 markings, 243204 edges, 375 markings/sec, 135 secs
lola: 96293 markings, 247742 edges, 381 markings/sec, 140 secs
lola: 98166 markings, 252296 edges, 375 markings/sec, 145 secs
lola: 100040 markings, 256762 edges, 375 markings/sec, 150 secs
lola: 102296 markings, 261449 edges, 451 markings/sec, 155 secs
lola: 104278 markings, 265872 edges, 396 markings/sec, 160 secs
lola: 109933 markings, 282950 edges, 1131 markings/sec, 165 secs
lola: 122679 markings, 325769 edges, 2549 markings/sec, 170 secs
lola: 131637 markings, 352256 edges, 1792 markings/sec, 175 secs
lola: 133474 markings, 356361 edges, 367 markings/sec, 180 secs
lola: 135248 markings, 360444 edges, 355 markings/sec, 185 secs
lola: 136975 markings, 364481 edges, 345 markings/sec, 190 secs
lola: 138686 markings, 368549 edges, 342 markings/sec, 195 secs
lola: 140563 markings, 372915 edges, 375 markings/sec, 200 secs
lola: 142575 markings, 377702 edges, 402 markings/sec, 205 secs
lola: 144565 markings, 382423 edges, 398 markings/sec, 210 secs
lola: 146544 markings, 387104 edges, 396 markings/sec, 215 secs
lola: 148555 markings, 391853 edges, 402 markings/sec, 220 secs
lola: 150486 markings, 396528 edges, 386 markings/sec, 225 secs
lola: 152502 markings, 401269 edges, 403 markings/sec, 230 secs
lola: 154914 markings, 406302 edges, 482 markings/sec, 235 secs
lola: 157106 markings, 411215 edges, 438 markings/sec, 240 secs
lola: 159185 markings, 415692 edges, 416 markings/sec, 245 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 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p164)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 644 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: 1319 markings, 2336 edges, 264 markings/sec, 0 secs
lola: 2307 markings, 4546 edges, 198 markings/sec, 5 secs
lola: 3282 markings, 6753 edges, 195 markings/sec, 10 secs
lola: 4228 markings, 8946 edges, 189 markings/sec, 15 secs
lola: 5139 markings, 11117 edges, 182 markings/sec, 20 secs
lola: 6184 markings, 13553 edges, 209 markings/sec, 25 secs
lola: 7253 markings, 16039 edges, 214 markings/sec, 30 secs
lola: 8201 markings, 18311 edges, 190 markings/sec, 35 secs
lola: 9167 markings, 20622 edges, 193 markings/sec, 40 secs
lola: 10106 markings, 22864 edges, 188 markings/sec, 45 secs
lola: 11143 markings, 25255 edges, 207 markings/sec, 50 secs
lola: 12141 markings, 27636 edges, 200 markings/sec, 55 secs
lola: 13044 markings, 29781 edges, 181 markings/sec, 60 secs
lola: 13975 markings, 32044 edges, 186 markings/sec, 65 secs
lola: 15067 markings, 34618 edges, 218 markings/sec, 70 secs
lola: 16141 markings, 37172 edges, 215 markings/sec, 75 secs
lola: 17162 markings, 39703 edges, 204 markings/sec, 80 secs
lola: 18235 markings, 42274 edges, 215 markings/sec, 85 secs
lola: 19305 markings, 44853 edges, 214 markings/sec, 90 secs
lola: 20397 markings, 47458 edges, 218 markings/sec, 95 secs
lola: 21474 markings, 50018 edges, 215 markings/sec, 100 secs
lola: 22555 markings, 52575 edges, 216 markings/sec, 105 secs
lola: 23630 markings, 55149 edges, 215 markings/sec, 110 secs
lola: 24658 markings, 57707 edges, 206 markings/sec, 115 secs
lola: 25739 markings, 60282 edges, 216 markings/sec, 120 secs
lola: 26824 markings, 62882 edges, 217 markings/sec, 125 secs
lola: 27907 markings, 65441 edges, 217 markings/sec, 130 secs
lola: 28937 markings, 68026 edges, 206 markings/sec, 135 secs
lola: 30023 markings, 70603 edges, 217 markings/sec, 140 secs
lola: 31104 markings, 73167 edges, 216 markings/sec, 145 secs
lola: 32193 markings, 75733 edges, 218 markings/sec, 150 secs
lola: 33228 markings, 78340 edges, 207 markings/sec, 155 secs
lola: 34324 markings, 80915 edges, 219 markings/sec, 160 secs
lola: 35340 markings, 83416 edges, 203 markings/sec, 165 secs
lola: 39297 markings, 88873 edges, 791 markings/sec, 170 secs
lola: 43368 markings, 94398 edges, 814 markings/sec, 175 secs
lola: 44599 markings, 97220 edges, 246 markings/sec, 180 secs
lola: 45720 markings, 99858 edges, 224 markings/sec, 185 secs
lola: 46869 markings, 102577 edges, 230 markings/sec, 190 secs
lola: 47968 markings, 105196 edges, 220 markings/sec, 195 secs
lola: 49104 markings, 107879 edges, 227 markings/sec, 200 secs
lola: 50186 markings, 110455 edges, 216 markings/sec, 205 secs
lola: 51241 markings, 112973 edges, 211 markings/sec, 210 secs
lola: 52195 markings, 115272 edges, 191 markings/sec, 215 secs
lola: 53155 markings, 117586 edges, 192 markings/sec, 220 secs
lola: 54156 markings, 119998 edges, 200 markings/sec, 225 secs
lola: 55257 markings, 122660 edges, 220 markings/sec, 230 secs
lola: 56367 markings, 125336 edges, 222 markings/sec, 235 secs
lola: 57486 markings, 128023 edges, 224 markings/sec, 240 secs
lola: 58586 markings, 130672 edges, 220 markings/sec, 245 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 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p165 + p166)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 644 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: 4797 markings, 10499 edges, 959 markings/sec, 0 secs
lola: 9808 markings, 22305 edges, 1002 markings/sec, 5 secs
lola: 14489 markings, 33431 edges, 936 markings/sec, 10 secs
lola: 19021 markings, 44201 edges, 906 markings/sec, 15 secs
lola: 23467 markings, 54668 edges, 889 markings/sec, 20 secs
lola: 28651 markings, 67402 edges, 1037 markings/sec, 25 secs
lola: 33314 markings, 78650 edges, 933 markings/sec, 30 secs
lola: 35322 markings, 83326 edges, 402 markings/sec, 35 secs
lola: 37579 markings, 87983 edges, 451 markings/sec, 40 secs
lola: 42351 markings, 99008 edges, 954 markings/sec, 45 secs
lola: 47500 markings, 111212 edges, 1030 markings/sec, 50 secs
lola: 52880 markings, 124150 edges, 1076 markings/sec, 55 secs
lola: 57411 markings, 134967 edges, 906 markings/sec, 60 secs
lola: 59346 markings, 139460 edges, 387 markings/sec, 65 secs
lola: 63006 markings, 147269 edges, 732 markings/sec, 70 secs
lola: 67825 markings, 158598 edges, 964 markings/sec, 75 secs
lola: 72865 markings, 170579 edges, 1008 markings/sec, 80 secs
lola: 78361 markings, 184007 edges, 1099 markings/sec, 85 secs
lola: 80434 markings, 188798 edges, 415 markings/sec, 90 secs
lola: 83418 markings, 195040 edges, 597 markings/sec, 95 secs
lola: 88352 markings, 206557 edges, 987 markings/sec, 100 secs
lola: 93509 markings, 218733 edges, 1031 markings/sec, 105 secs
lola: 99127 markings, 232369 edges, 1124 markings/sec, 110 secs
lola: 101010 markings, 236841 edges, 377 markings/sec, 115 secs
lola: 104282 markings, 243671 edges, 654 markings/sec, 120 secs
lola: 109190 markings, 255133 edges, 982 markings/sec, 125 secs
lola: 114522 markings, 267895 edges, 1066 markings/sec, 130 secs
lola: 118988 markings, 278673 edges, 893 markings/sec, 135 secs
lola: 120904 markings, 283120 edges, 383 markings/sec, 140 secs
lola: 124801 markings, 291514 edges, 779 markings/sec, 145 secs
lola: 129621 markings, 302850 edges, 964 markings/sec, 150 secs
lola: 134414 markings, 314441 edges, 959 markings/sec, 155 secs
lola: 137485 markings, 321767 edges, 614 markings/sec, 160 secs
lola: 139372 markings, 326020 edges, 377 markings/sec, 165 secs
lola: 143866 markings, 335868 edges, 899 markings/sec, 170 secs
lola: 148879 markings, 347804 edges, 1003 markings/sec, 175 secs
lola: 153599 markings, 359179 edges, 944 markings/sec, 180 secs
lola: 155373 markings, 363311 edges, 355 markings/sec, 185 secs
lola: 158520 markings, 369949 edges, 629 markings/sec, 190 secs
lola: 163056 markings, 380541 edges, 907 markings/sec, 195 secs
lola: 167978 markings, 392528 edges, 984 markings/sec, 200 secs
lola: 170425 markings, 398338 edges, 489 markings/sec, 205 secs
lola: 172823 markings, 403254 edges, 480 markings/sec, 210 secs
lola: 177492 markings, 414058 edges, 934 markings/sec, 215 secs
lola: 182760 markings, 426774 edges, 1054 markings/sec, 220 secs
lola: 185354 markings, 432915 edges, 519 markings/sec, 225 secs
lola: 188534 markings, 439659 edges, 636 markings/sec, 230 secs
lola: 193414 markings, 451115 edges, 976 markings/sec, 235 secs
lola: 198001 markings, 462113 edges, 917 markings/sec, 240 secs
lola: 199895 markings, 466455 edges, 379 markings/sec, 245 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 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p161)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 644 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: 1013 markings, 1419 edges, 203 markings/sec, 0 secs
lola: 2144 markings, 3012 edges, 226 markings/sec, 5 secs
lola: 3362 markings, 5545 edges, 244 markings/sec, 10 secs
lola: 4506 markings, 8156 edges, 229 markings/sec, 15 secs
lola: 5605 markings, 10670 edges, 220 markings/sec, 20 secs
lola: 6537 markings, 12826 edges, 186 markings/sec, 25 secs
lola: 7453 markings, 15017 edges, 183 markings/sec, 30 secs
lola: 8413 markings, 17224 edges, 192 markings/sec, 35 secs
lola: 9346 markings, 19449 edges, 187 markings/sec, 40 secs
lola: 10289 markings, 21697 edges, 189 markings/sec, 45 secs
lola: 11444 markings, 24364 edges, 231 markings/sec, 50 secs
lola: 12604 markings, 27143 edges, 232 markings/sec, 55 secs
lola: 13701 markings, 29762 edges, 219 markings/sec, 60 secs
lola: 14865 markings, 32433 edges, 233 markings/sec, 65 secs
lola: 16022 markings, 35186 edges, 231 markings/sec, 70 secs
lola: 17146 markings, 37860 edges, 225 markings/sec, 75 secs
lola: 18271 markings, 40533 edges, 225 markings/sec, 80 secs
lola: 19393 markings, 43196 edges, 224 markings/sec, 85 secs
lola: 20549 markings, 45940 edges, 231 markings/sec, 90 secs
lola: 21688 markings, 48639 edges, 228 markings/sec, 95 secs
lola: 22833 markings, 51350 edges, 229 markings/sec, 100 secs
lola: 23962 markings, 54101 edges, 226 markings/sec, 105 secs
lola: 25293 markings, 56596 edges, 266 markings/sec, 110 secs
lola: 26542 markings, 59293 edges, 250 markings/sec, 115 secs
lola: 27730 markings, 62025 edges, 238 markings/sec, 120 secs
lola: 28891 markings, 64681 edges, 232 markings/sec, 125 secs
lola: 30065 markings, 67452 edges, 235 markings/sec, 130 secs
lola: 42285 markings, 107634 edges, 2444 markings/sec, 135 secs
lola: 53560 markings, 145113 edges, 2255 markings/sec, 140 secs
lola: 55748 markings, 151619 edges, 438 markings/sec, 145 secs
lola: 57121 markings, 155070 edges, 275 markings/sec, 150 secs
lola: 59568 markings, 162289 edges, 489 markings/sec, 155 secs
lola: 62073 markings, 169691 edges, 501 markings/sec, 160 secs
lola: 64626 markings, 177250 edges, 511 markings/sec, 165 secs
lola: 67222 markings, 184953 edges, 519 markings/sec, 170 secs
lola: 69855 markings, 192787 edges, 527 markings/sec, 175 secs
lola: 74005 markings, 205808 edges, 830 markings/sec, 180 secs
lola: 77081 markings, 214264 edges, 615 markings/sec, 185 secs
lola: 79871 markings, 217813 edges, 558 markings/sec, 190 secs
lola: 82461 markings, 224611 edges, 518 markings/sec, 195 secs
lola: 83538 markings, 227192 edges, 215 markings/sec, 200 secs
lola: 84541 markings, 228620 edges, 201 markings/sec, 205 secs
lola: 85304 markings, 230315 edges, 153 markings/sec, 210 secs
lola: 86060 markings, 232053 edges, 151 markings/sec, 215 secs
lola: 86810 markings, 233783 edges, 150 markings/sec, 220 secs
lola: 87559 markings, 235496 edges, 150 markings/sec, 225 secs
lola: 88287 markings, 237201 edges, 146 markings/sec, 230 secs
lola: 89032 markings, 238911 edges, 149 markings/sec, 235 secs
lola: 89765 markings, 240645 edges, 147 markings/sec, 240 secs
lola: 90499 markings, 242378 edges, 147 markings/sec, 245 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 256 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p52 + p53)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 644 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: 2456 markings, 4992 edges, 491 markings/sec, 0 secs
lola: 4874 markings, 10643 edges, 484 markings/sec, 5 secs
lola: 7250 markings, 16254 edges, 475 markings/sec, 10 secs
lola: 9562 markings, 21735 edges, 462 markings/sec, 15 secs
lola: 11711 markings, 26766 edges, 430 markings/sec, 20 secs
lola: 13669 markings, 31438 edges, 392 markings/sec, 25 secs
lola: 15807 markings, 36534 edges, 428 markings/sec, 30 secs
lola: 17836 markings, 41503 edges, 406 markings/sec, 35 secs
lola: 19816 markings, 46177 edges, 396 markings/sec, 40 secs
lola: 21824 markings, 50975 edges, 402 markings/sec, 45 secs
lola: 23742 markings, 55577 edges, 384 markings/sec, 50 secs
lola: 25862 markings, 60729 edges, 424 markings/sec, 55 secs
lola: 28002 markings, 65784 edges, 428 markings/sec, 60 secs
lola: 30012 markings, 70669 edges, 402 markings/sec, 65 secs
lola: 32052 markings, 75523 edges, 408 markings/sec, 70 secs
lola: 35692 markings, 83154 edges, 728 markings/sec, 75 secs
lola: 38184 markings, 88822 edges, 498 markings/sec, 80 secs
lola: 40596 markings, 94430 edges, 482 markings/sec, 85 secs
lola: 42834 markings, 99762 edges, 448 markings/sec, 90 secs
lola: 45086 markings, 105074 edges, 450 markings/sec, 95 secs
lola: 47286 markings, 110373 edges, 440 markings/sec, 100 secs
lola: 49524 markings, 115746 edges, 448 markings/sec, 105 secs
lola: 51704 markings, 120951 edges, 436 markings/sec, 110 secs
lola: 53876 markings, 126120 edges, 434 markings/sec, 115 secs
lola: 56066 markings, 131318 edges, 438 markings/sec, 120 secs
lola: 58310 markings, 136632 edges, 449 markings/sec, 125 secs
lola: 60560 markings, 142141 edges, 450 markings/sec, 130 secs
lola: 62830 markings, 147500 edges, 454 markings/sec, 135 secs
lola: 65102 markings, 153046 edges, 454 markings/sec, 140 secs
lola: 67724 markings, 158745 edges, 524 markings/sec, 145 secs
lola: 70199 markings, 164353 edges, 495 markings/sec, 150 secs
lola: 72583 markings, 169960 edges, 477 markings/sec, 155 secs
lola: 74887 markings, 175391 edges, 461 markings/sec, 160 secs
lola: 77125 markings, 180668 edges, 448 markings/sec, 165 secs
lola: 79303 markings, 185912 edges, 436 markings/sec, 170 secs
lola: 81461 markings, 191081 edges, 432 markings/sec, 175 secs
lola: 83715 markings, 196475 edges, 451 markings/sec, 180 secs
lola: 85947 markings, 201796 edges, 446 markings/sec, 185 secs
lola: 88155 markings, 207039 edges, 442 markings/sec, 190 secs
lola: 90385 markings, 212318 edges, 446 markings/sec, 195 secs
lola: 92545 markings, 217598 edges, 432 markings/sec, 200 secs
lola: 94737 markings, 222759 edges, 438 markings/sec, 205 secs
lola: 96905 markings, 228046 edges, 434 markings/sec, 210 secs
lola: 99483 markings, 233500 edges, 516 markings/sec, 215 secs
lola: 101779 markings, 238830 edges, 459 markings/sec, 220 secs
lola: 104049 markings, 244157 edges, 454 markings/sec, 225 secs
lola: 106205 markings, 249256 edges, 431 markings/sec, 230 secs
lola: 108324 markings, 254291 edges, 424 markings/sec, 235 secs
lola: 110503 markings, 259452 edges, 436 markings/sec, 240 secs
lola: 112607 markings, 264475 edges, 421 markings/sec, 245 secs
lola: 114767 markings, 269622 edges, 432 markings/sec, 250 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 256 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p160)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 644 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: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: ========================================
lola: subprocess 14 will run for 384 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 644 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: 1463 markings, 2640 edges, 293 markings/sec, 0 secs
lola: 2595 markings, 5198 edges, 226 markings/sec, 5 secs
lola: 3689 markings, 7694 edges, 219 markings/sec, 10 secs
lola: 4736 markings, 10122 edges, 209 markings/sec, 15 secs
lola: 5740 markings, 12546 edges, 201 markings/sec, 20 secs
lola: 6726 markings, 14820 edges, 197 markings/sec, 25 secs
lola: 7624 markings, 16968 edges, 180 markings/sec, 30 secs
lola: 8547 markings, 19164 edges, 185 markings/sec, 35 secs
lola: 9634 markings, 21678 edges, 217 markings/sec, 40 secs
lola: 10678 markings, 24186 edges, 209 markings/sec, 45 secs
lola: 11729 markings, 26706 edges, 210 markings/sec, 50 secs
lola: 12779 markings, 29227 edges, 210 markings/sec, 55 secs
lola: 13832 markings, 31748 edges, 211 markings/sec, 60 secs
lola: 14888 markings, 34263 edges, 211 markings/sec, 65 secs
lola: 15943 markings, 36794 edges, 211 markings/sec, 70 secs
lola: 16987 markings, 39287 edges, 209 markings/sec, 75 secs
lola: 17916 markings, 41502 edges, 186 markings/sec, 80 secs
lola: 18844 markings, 43679 edges, 186 markings/sec, 85 secs
lola: 19771 markings, 45887 edges, 185 markings/sec, 90 secs
lola: 20768 markings, 48340 edges, 199 markings/sec, 95 secs
lola: 21815 markings, 50875 edges, 209 markings/sec, 100 secs
lola: 22864 markings, 53355 edges, 210 markings/sec, 105 secs
lola: 23919 markings, 55873 edges, 211 markings/sec, 110 secs
lola: 24951 markings, 58316 edges, 206 markings/sec, 115 secs
lola: 25921 markings, 60720 edges, 194 markings/sec, 120 secs
lola: 26951 markings, 63172 edges, 206 markings/sec, 125 secs
lola: 27986 markings, 65630 edges, 207 markings/sec, 130 secs
lola: 28954 markings, 68057 edges, 194 markings/sec, 135 secs
lola: 29986 markings, 70489 edges, 206 markings/sec, 140 secs
lola: 31049 markings, 73020 edges, 213 markings/sec, 145 secs
lola: 32052 markings, 75514 edges, 201 markings/sec, 150 secs
lola: 33124 markings, 78042 edges, 214 markings/sec, 155 secs
lola: 34189 markings, 80572 edges, 213 markings/sec, 160 secs
lola: 35190 markings, 83072 edges, 200 markings/sec, 165 secs
lola: 36226 markings, 85161 edges, 207 markings/sec, 170 secs
lola: 38194 markings, 90772 edges, 394 markings/sec, 175 secs
lola: 42010 markings, 96611 edges, 763 markings/sec, 180 secs
lola: 46827 markings, 103344 edges, 963 markings/sec, 185 secs
lola: 48307 markings, 106232 edges, 296 markings/sec, 190 secs
lola: 49341 markings, 108628 edges, 207 markings/sec, 195 secs
lola: 50327 markings, 110961 edges, 197 markings/sec, 200 secs
lola: 51310 markings, 113275 edges, 197 markings/sec, 205 secs
lola: 52374 markings, 115782 edges, 213 markings/sec, 210 secs
lola: 53427 markings, 118340 edges, 211 markings/sec, 215 secs
lola: 54542 markings, 120960 edges, 223 markings/sec, 220 secs
lola: 55592 markings, 123504 edges, 210 markings/sec, 225 secs
lola: 56644 markings, 126051 edges, 210 markings/sec, 230 secs
lola: 57756 markings, 128651 edges, 222 markings/sec, 235 secs
lola: 58812 markings, 131192 edges, 211 markings/sec, 240 secs
lola: 59872 markings, 133749 edges, 212 markings/sec, 245 secs
lola: 60943 markings, 136332 edges, 214 markings/sec, 250 secs
lola: 62005 markings, 138887 edges, 212 markings/sec, 255 secs
lola: 63062 markings, 141430 edges, 211 markings/sec, 260 secs
lola: 64128 markings, 143990 edges, 213 markings/sec, 265 secs
lola: 65190 markings, 146542 edges, 212 markings/sec, 270 secs
lola: 66209 markings, 149100 edges, 204 markings/sec, 275 secs
lola: 67283 markings, 151678 edges, 215 markings/sec, 280 secs
lola: 68322 markings, 154202 edges, 208 markings/sec, 285 secs
lola: 69357 markings, 156712 edges, 207 markings/sec, 290 secs
lola: 70395 markings, 159234 edges, 208 markings/sec, 295 secs
lola: 71437 markings, 161765 edges, 208 markings/sec, 300 secs
lola: 72476 markings, 164287 edges, 208 markings/sec, 305 secs
lola: 73479 markings, 166720 edges, 201 markings/sec, 310 secs
lola: 74392 markings, 169001 edges, 183 markings/sec, 315 secs
lola: 75295 markings, 171201 edges, 181 markings/sec, 320 secs
lola: 76214 markings, 173430 edges, 184 markings/sec, 325 secs
lola: 77127 markings, 175647 edges, 183 markings/sec, 330 secs
lola: 78060 markings, 177911 edges, 187 markings/sec, 335 secs
lola: 79024 markings, 180194 edges, 193 markings/sec, 340 secs
lola: 80030 markings, 182659 edges, 201 markings/sec, 345 secs
lola: 81076 markings, 185158 edges, 209 markings/sec, 350 secs
lola: 82251 markings, 187700 edges, 235 markings/sec, 355 secs
lola: 83311 markings, 190066 edges, 212 markings/sec, 360 secs
lola: 84416 markings, 192604 edges, 221 markings/sec, 365 secs
lola: 85524 markings, 195182 edges, 222 markings/sec, 370 secs
lola: 86602 markings, 197742 edges, 216 markings/sec, 375 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 384 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p52 + p53)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 644 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: 2066 markings, 4071 edges, 413 markings/sec, 0 secs
lola: 4112 markings, 8840 edges, 409 markings/sec, 5 secs
lola: 6160 markings, 13599 edges, 410 markings/sec, 10 secs
lola: 8181 markings, 18471 edges, 404 markings/sec, 15 secs
lola: 10158 markings, 23108 edges, 395 markings/sec, 20 secs
lola: 12214 markings, 28039 edges, 411 markings/sec, 25 secs
lola: 14384 markings, 33240 edges, 434 markings/sec, 30 secs
lola: 16574 markings, 38470 edges, 438 markings/sec, 35 secs
lola: 18766 markings, 43691 edges, 438 markings/sec, 40 secs
lola: 20988 markings, 48968 edges, 444 markings/sec, 45 secs
lola: 23222 markings, 54265 edges, 447 markings/sec, 50 secs
lola: 25378 markings, 59531 edges, 431 markings/sec, 55 secs
lola: 27604 markings, 64774 edges, 445 markings/sec, 60 secs
lola: 29800 markings, 70133 edges, 439 markings/sec, 65 secs
lola: 31962 markings, 75373 edges, 432 markings/sec, 70 secs
lola: 35467 markings, 82668 edges, 701 markings/sec, 75 secs
lola: 37858 markings, 88083 edges, 478 markings/sec, 80 secs
lola: 39980 markings, 92972 edges, 424 markings/sec, 85 secs
lola: 42114 markings, 98058 edges, 427 markings/sec, 90 secs
lola: 44250 markings, 103091 edges, 427 markings/sec, 95 secs
lola: 46208 markings, 107783 edges, 392 markings/sec, 100 secs
lola: 48158 markings, 112435 edges, 390 markings/sec, 105 secs
lola: 50114 markings, 117082 edges, 391 markings/sec, 110 secs
lola: 52076 markings, 121724 edges, 392 markings/sec, 115 secs
lola: 54094 markings, 126671 edges, 404 markings/sec, 120 secs
lola: 56094 markings, 131388 edges, 400 markings/sec, 125 secs
lola: 58094 markings, 136236 edges, 400 markings/sec, 130 secs
lola: 60050 markings, 140851 edges, 391 markings/sec, 135 secs
lola: 62046 markings, 145709 edges, 399 markings/sec, 140 secs
lola: 64194 markings, 150750 edges, 430 markings/sec, 145 secs
lola: 66478 markings, 156326 edges, 457 markings/sec, 150 secs
lola: 69235 markings, 162152 edges, 551 markings/sec, 155 secs
lola: 71655 markings, 167761 edges, 484 markings/sec, 160 secs
lola: 73955 markings, 173139 edges, 460 markings/sec, 165 secs
lola: 76177 markings, 178411 edges, 444 markings/sec, 170 secs
lola: 78385 markings, 183728 edges, 442 markings/sec, 175 secs
lola: 80598 markings, 189046 edges, 443 markings/sec, 180 secs
lola: 82841 markings, 194345 edges, 449 markings/sec, 185 secs
lola: 85045 markings, 199677 edges, 441 markings/sec, 190 secs
lola: 87221 markings, 204849 edges, 435 markings/sec, 195 secs
lola: 89385 markings, 209972 edges, 433 markings/sec, 200 secs
lola: 91572 markings, 215276 edges, 437 markings/sec, 205 secs
lola: 93747 markings, 220451 edges, 435 markings/sec, 210 secs
lola: 95964 markings, 225810 edges, 443 markings/sec, 215 secs
lola: 98577 markings, 231422 edges, 523 markings/sec, 220 secs
lola: 100972 markings, 236940 edges, 479 markings/sec, 225 secs
lola: 103243 markings, 242220 edges, 454 markings/sec, 230 secs
lola: 105501 markings, 247598 edges, 452 markings/sec, 235 secs
lola: 107507 markings, 252288 edges, 401 markings/sec, 240 secs
lola: 109459 markings, 256952 edges, 390 markings/sec, 245 secs
lola: 111437 markings, 261664 edges, 396 markings/sec, 250 secs
lola: 113403 markings, 266334 edges, 393 markings/sec, 255 secs
lola: 115319 markings, 271023 edges, 383 markings/sec, 260 secs
lola: 117411 markings, 275982 edges, 418 markings/sec, 265 secs
lola: 119437 markings, 280796 edges, 405 markings/sec, 270 secs
lola: 121371 markings, 285468 edges, 387 markings/sec, 275 secs
lola: 123487 markings, 290578 edges, 423 markings/sec, 280 secs
lola: 125695 markings, 295836 edges, 442 markings/sec, 285 secs
lola: 128326 markings, 301430 edges, 526 markings/sec, 290 secs
lola: 130716 markings, 307003 edges, 478 markings/sec, 295 secs
lola: 132984 markings, 312326 edges, 454 markings/sec, 300 secs
lola: 135222 markings, 317635 edges, 448 markings/sec, 305 secs
lola: 137426 markings, 322809 edges, 441 markings/sec, 310 secs
lola: 139668 markings, 328205 edges, 448 markings/sec, 315 secs
lola: 141848 markings, 333421 edges, 436 markings/sec, 320 secs
lola: 144040 markings, 338650 edges, 438 markings/sec, 325 secs
lola: 146310 markings, 344058 edges, 454 markings/sec, 330 secs
lola: 148472 markings, 349173 edges, 432 markings/sec, 335 secs
lola: 150628 markings, 354450 edges, 431 markings/sec, 340 secs
lola: 152916 markings, 359862 edges, 458 markings/sec, 345 secs
lola: 155540 markings, 365517 edges, 525 markings/sec, 350 secs
lola: 157924 markings, 370999 edges, 477 markings/sec, 355 secs
lola: 160176 markings, 376281 edges, 450 markings/sec, 360 secs
lola: 162361 markings, 381457 edges, 437 markings/sec, 365 secs
lola: 164513 markings, 386653 edges, 430 markings/sec, 370 secs
lola: 166696 markings, 391747 edges, 437 markings/sec, 375 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 50 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 50 unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA BridgeAndVehicles-COL-V50P20N50-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N50-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N50-UpperBounds-2 50 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N50-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N50-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N50-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N50-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N50-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N50-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N50-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N50-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N50-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N50-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N50-UpperBounds-13 50 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N50-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P20N50-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494610366611

--------------------
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="BridgeAndVehicles-COL-V50P20N50"
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/BridgeAndVehicles-COL-V50P20N50.tgz
mv BridgeAndVehicles-COL-V50P20N50 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 BridgeAndVehicles-COL-V50P20N50, 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 r008-csrt-149436126200344"
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 ;