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

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


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ BridgeAndVehicles-PT-V50P20N50 @ 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: 5576/65536 symbol table entries, 632 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(SUR_PONT_A) : MAX(NB_ATTENTE_A_0 + NB_ATTENTE_A_1 + NB_ATTENTE_A_2 + NB_ATTENTE_A_3 + NB_ATTENTE_A_4 + NB_ATTENTE_A_5 + NB_ATTENTE_A_6 + NB_ATTENTE_A_7 + NB_ATTENTE_A_8 + NB_ATTENTE_A_9 + NB_ATTENTE_A_10 + NB_ATTENTE_A_11 + NB_ATTENTE_A_12 + NB_ATTENTE_A_13 + NB_ATTENTE_A_14 + NB_ATTENTE_A_15 + NB_ATTENTE_A_16 + NB_ATTENTE_A_17 + NB_ATTENTE_A_18 + NB_ATTENTE_A_19 + NB_ATTENTE_A_20 + NB_ATTENTE_A_21 + NB_ATTENTE_A_22 + NB_ATTENTE_A_23 + NB_ATTENTE_A_24 + NB_ATTENTE_A_25 + NB_ATTENTE_A_26 + NB_ATTENTE_A_27 + NB_ATTENTE_A_28 + NB_ATTENTE_A_29 + NB_ATTENTE_A_30 + NB_ATTENTE_A_31 + NB_ATTENTE_A_32 + NB_ATTENTE_A_33 + NB_ATTENTE_A_34 + NB_ATTENTE_A_35 + NB_ATTENTE_A_36 + NB_ATTENTE_A_37 + NB_ATTENTE_A_38 + NB_ATTENTE_A_39 + NB_ATTENTE_A_40 + NB_ATTENTE_A_41 + NB_ATTENTE_A_42 + NB_ATTENTE_A_43 + NB_ATTENTE_A_44 + NB_ATTENTE_A_45 + NB_ATTENTE_A_46 + NB_ATTENTE_A_47 + NB_ATTENTE_A_48 + NB_ATTENTE_A_49 + NB_ATTENTE_A_50) : MAX(ROUTE_A) : MAX(SORTI_B) : MAX(ATTENTE_B) : MAX(VIDANGE_1 + VIDANGE_2) : MAX(ATTENTE_A) : MAX(ATTENTE_B) : MAX(SORTI_A) : MAX(SORTI_B) : MAX(CONTROLEUR_1 + CONTROLEUR_2) : MAX(ATTENTE_A) : MAX(VIDANGE_1 + VIDANGE_2) : MAX(ROUTE_A) : MAX(SUR_PONT_B) : MAX(VIDANGE_1 + VIDANGE_2)
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(SUR_PONT_A)
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: 1818 markings, 2566 edges, 364 markings/sec, 0 secs
lola: 3651 markings, 4622 edges, 367 markings/sec, 5 secs
lola: 7469 markings, 10619 edges, 764 markings/sec, 10 secs
lola: 14718 markings, 28148 edges, 1450 markings/sec, 15 secs
lola: 20940 markings, 43244 edges, 1244 markings/sec, 20 secs
lola: 26917 markings, 57721 edges, 1195 markings/sec, 25 secs
lola: 32883 markings, 72184 edges, 1193 markings/sec, 30 secs
lola: 38480 markings, 85567 edges, 1119 markings/sec, 35 secs
lola: 45145 markings, 102953 edges, 1333 markings/sec, 40 secs
lola: 57170 markings, 143306 edges, 2405 markings/sec, 45 secs
lola: 69206 markings, 184046 edges, 2407 markings/sec, 50 secs
lola: 81730 markings, 222212 edges, 2505 markings/sec, 55 secs
lola: 84351 markings, 230095 edges, 524 markings/sec, 60 secs
lola: 86248 markings, 236099 edges, 379 markings/sec, 65 secs
lola: 91895 markings, 249954 edges, 1129 markings/sec, 70 secs
lola: 99147 markings, 267517 edges, 1450 markings/sec, 75 secs
lola: 105781 markings, 283589 edges, 1327 markings/sec, 80 secs
lola: 111599 markings, 297690 edges, 1164 markings/sec, 85 secs
lola: 116826 markings, 310276 edges, 1045 markings/sec, 90 secs
lola: 122122 markings, 322529 edges, 1059 markings/sec, 95 secs
lola: 132946 markings, 357965 edges, 2165 markings/sec, 100 secs
lola: 143877 markings, 394941 edges, 2186 markings/sec, 105 secs
lola: 154834 markings, 431941 edges, 2191 markings/sec, 110 secs
lola: 159326 markings, 444016 edges, 898 markings/sec, 115 secs
lola: 161294 markings, 446779 edges, 394 markings/sec, 120 secs
lola: 163308 markings, 449603 edges, 403 markings/sec, 125 secs
lola: 165437 markings, 452506 edges, 426 markings/sec, 130 secs
lola: 168078 markings, 456184 edges, 528 markings/sec, 135 secs
lola: 176109 markings, 475614 edges, 1606 markings/sec, 140 secs
lola: 182541 markings, 491169 edges, 1286 markings/sec, 145 secs
lola: 188754 markings, 506234 edges, 1243 markings/sec, 150 secs
lola: 194925 markings, 521211 edges, 1234 markings/sec, 155 secs
lola: 200670 markings, 534965 edges, 1149 markings/sec, 160 secs
lola: 206994 markings, 549499 edges, 1265 markings/sec, 165 secs
lola: 214375 markings, 567357 edges, 1476 markings/sec, 170 secs
lola: 220850 markings, 583068 edges, 1295 markings/sec, 175 secs
lola: 226954 markings, 597807 edges, 1221 markings/sec, 180 secs
lola: 232663 markings, 611612 edges, 1142 markings/sec, 185 secs
lola: 238281 markings, 624587 edges, 1124 markings/sec, 190 secs
lola: 250196 markings, 664445 edges, 2383 markings/sec, 195 secs
lola: 262350 markings, 705378 edges, 2431 markings/sec, 200 secs
lola: 273469 markings, 740637 edges, 2224 markings/sec, 205 secs
lola: 281073 markings, 759053 edges, 1521 markings/sec, 210 secs
lola: 287731 markings, 775152 edges, 1332 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(NB_ATTENTE_A_0 + NB_ATTENTE_A_1 + NB_ATTENTE_A_2 + NB_ATTENTE_A_3 + NB_ATTENTE_A_4 + NB_ATTENTE_A_5 + NB_ATTENTE_A_6 + NB_ATTENTE_A_7 + NB_ATTENTE_A_8 + NB_ATTENTE_A_9 + NB_ATTENTE_A_10 + NB_ATTENTE_A_11 + NB_ATTENTE_A_12 + NB_ATTENTE_A_13 + NB_ATTENTE_A_14 + NB_ATTENTE_A_15 + NB_ATTENTE_A_16 + NB_ATTENTE_A_17 + NB_ATTENTE_A_18 + NB_ATTENTE_A_19 + NB_ATTENTE_A_20 + NB_ATTENTE_A_21 + NB_ATTENTE... (shortened)
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(ROUTE_A)
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(SORTI_B)
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: 7530 markings, 16868 edges, 1506 markings/sec, 0 secs
lola: 14886 markings, 34286 edges, 1471 markings/sec, 5 secs
lola: 22418 markings, 51779 edges, 1506 markings/sec, 10 secs
lola: 29516 markings, 64686 edges, 1420 markings/sec, 15 secs
lola: 34795 markings, 73314 edges, 1056 markings/sec, 20 secs
lola: 39901 markings, 84835 edges, 1021 markings/sec, 25 secs
lola: 44201 markings, 94625 edges, 860 markings/sec, 30 secs
lola: 47679 markings, 102684 edges, 696 markings/sec, 35 secs
lola: 51081 markings, 110526 edges, 680 markings/sec, 40 secs
lola: 54129 markings, 117689 edges, 610 markings/sec, 45 secs
lola: 57071 markings, 124571 edges, 588 markings/sec, 50 secs
lola: 61469 markings, 134210 edges, 880 markings/sec, 55 secs
lola: 70105 markings, 156740 edges, 1727 markings/sec, 60 secs
lola: 78070 markings, 179618 edges, 1593 markings/sec, 65 secs
lola: 85249 markings, 200297 edges, 1436 markings/sec, 70 secs
lola: 93048 markings, 218901 edges, 1560 markings/sec, 75 secs
lola: 97139 markings, 228616 edges, 818 markings/sec, 80 secs
lola: 100527 markings, 236780 edges, 678 markings/sec, 85 secs
lola: 103406 markings, 243709 edges, 576 markings/sec, 90 secs
lola: 105799 markings, 249411 edges, 479 markings/sec, 95 secs
lola: 108005 markings, 254719 edges, 441 markings/sec, 100 secs
lola: 110297 markings, 260230 edges, 458 markings/sec, 105 secs
lola: 115542 markings, 271889 edges, 1049 markings/sec, 110 secs
lola: 124375 markings, 296001 edges, 1767 markings/sec, 115 secs
lola: 132750 markings, 320141 edges, 1675 markings/sec, 120 secs
lola: 141829 markings, 343942 edges, 1816 markings/sec, 125 secs
lola: 146451 markings, 354498 edges, 924 markings/sec, 130 secs
lola: 149916 markings, 362801 edges, 693 markings/sec, 135 secs
lola: 153058 markings, 370341 edges, 628 markings/sec, 140 secs
lola: 155884 markings, 377127 edges, 565 markings/sec, 145 secs
lola: 158425 markings, 383278 edges, 508 markings/sec, 150 secs
lola: 160861 markings, 389155 edges, 487 markings/sec, 155 secs
lola: 168656 markings, 407455 edges, 1559 markings/sec, 160 secs
lola: 177349 markings, 432273 edges, 1739 markings/sec, 165 secs
lola: 185792 markings, 455845 edges, 1689 markings/sec, 170 secs
lola: 192628 markings, 472256 edges, 1367 markings/sec, 175 secs
lola: 196228 markings, 480836 edges, 720 markings/sec, 180 secs
lola: 199382 markings, 488415 edges, 631 markings/sec, 185 secs
lola: 202216 markings, 495238 edges, 567 markings/sec, 190 secs
lola: 204886 markings, 501626 edges, 534 markings/sec, 195 secs
lola: 207376 markings, 507644 edges, 498 markings/sec, 200 secs
lola: 213751 markings, 521924 edges, 1275 markings/sec, 205 secs
lola: 222427 markings, 546594 edges, 1735 markings/sec, 210 secs
lola: 230395 markings, 569427 edges, 1594 markings/sec, 215 secs
lola: 237608 markings, 586556 edges, 1443 markings/sec, 220 secs
lola: 241274 markings, 595315 edges, 733 markings/sec, 225 secs
lola: 244333 markings, 602619 edges, 612 markings/sec, 230 secs
lola: 247166 markings, 609409 edges, 567 markings/sec, 235 secs
lola: 249781 markings, 615758 edges, 523 markings/sec, 240 secs
lola: 252273 markings, 621626 edges, 498 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(ATTENTE_B)
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: 19758 markings, 32337 edges, 3952 markings/sec, 0 secs
lola: 43583 markings, 72546 edges, 4765 markings/sec, 5 secs
lola: 58956 markings, 97359 edges, 3075 markings/sec, 10 secs
lola: 60944 markings, 100341 edges, 398 markings/sec, 15 secs
lola: 78966 markings, 129822 edges, 3604 markings/sec, 20 secs
lola: 103034 markings, 170017 edges, 4814 markings/sec, 25 secs
lola: 117354 markings, 193385 edges, 2864 markings/sec, 30 secs
lola: 119396 markings, 196448 edges, 408 markings/sec, 35 secs
lola: 139538 markings, 229467 edges, 4028 markings/sec, 40 secs
lola: 162732 markings, 267740 edges, 4639 markings/sec, 45 secs
lola: 173038 markings, 284834 edges, 2061 markings/sec, 50 secs
lola: 174842 markings, 287540 edges, 361 markings/sec, 55 secs
lola: 192608 markings, 316631 edges, 3553 markings/sec, 60 secs
lola: 214270 markings, 352404 edges, 4332 markings/sec, 65 secs
lola: 225448 markings, 370883 edges, 2236 markings/sec, 70 secs
lola: 227144 markings, 373427 edges, 339 markings/sec, 75 secs
lola: 242492 markings, 398324 edges, 3070 markings/sec, 80 secs
lola: 264614 markings, 434909 edges, 4424 markings/sec, 85 secs
lola: 275536 markings, 452977 edges, 2184 markings/sec, 90 secs
lola: 277242 markings, 455536 edges, 341 markings/sec, 95 secs
lola: 291022 markings, 477834 edges, 2756 markings/sec, 100 secs
lola: 312680 markings, 513591 edges, 4332 markings/sec, 105 secs
lola: 323188 markings, 530962 edges, 2102 markings/sec, 110 secs
lola: 325132 markings, 533878 edges, 389 markings/sec, 115 secs
lola: 345240 markings, 566877 edges, 4022 markings/sec, 120 secs
lola: 367174 markings, 603010 edges, 4387 markings/sec, 125 secs
lola: 369106 markings, 605908 edges, 386 markings/sec, 130 secs
lola: 378194 markings, 620257 edges, 1818 markings/sec, 135 secs
lola: 402126 markings, 659755 edges, 4786 markings/sec, 140 secs
lola: 410966 markings, 674346 edges, 1768 markings/sec, 145 secs
lola: 413204 markings, 677447 edges, 448 markings/sec, 150 secs
lola: 436777 markings, 716662 edges, 4715 markings/sec, 155 secs
lola: 450808 markings, 739353 edges, 2806 markings/sec, 160 secs
lola: 452788 markings, 742323 edges, 396 markings/sec, 165 secs
lola: 471606 markings, 773152 edges, 3764 markings/sec, 170 secs
lola: 488524 markings, 800784 edges, 3384 markings/sec, 175 secs
lola: 490510 markings, 803763 edges, 397 markings/sec, 180 secs
lola: 504808 markings, 826929 edges, 2860 markings/sec, 185 secs
lola: 524082 markings, 858608 edges, 3855 markings/sec, 190 secs
lola: 526052 markings, 861563 edges, 394 markings/sec, 195 secs
lola: 536564 markings, 878313 edges, 2102 markings/sec, 200 secs
lola: 557660 markings, 913109 edges, 4219 markings/sec, 205 secs
lola: 559480 markings, 915839 edges, 364 markings/sec, 210 secs
lola: 565696 markings, 925387 edges, 1243 markings/sec, 215 secs
lola: 587382 markings, 960579 edges, 4337 markings/sec, 220 secs
lola: 590992 markings, 966905 edges, 722 markings/sec, 225 secs
lola: 593672 markings, 970636 edges, 536 markings/sec, 230 secs
lola: 615768 markings, 1006731 edges, 4419 markings/sec, 235 secs
lola: 620798 markings, 1015093 edges, 1006 markings/sec, 240 secs
lola: 622500 markings, 1017586 edges, 340 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(VIDANGE_1 + VIDANGE_2)
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: 3640 markings, 6575 edges, 728 markings/sec, 0 secs
lola: 6787 markings, 13428 edges, 629 markings/sec, 5 secs
lola: 9268 markings, 18950 edges, 496 markings/sec, 10 secs
lola: 12108 markings, 25358 edges, 568 markings/sec, 15 secs
lola: 14683 markings, 31323 edges, 515 markings/sec, 20 secs
lola: 17384 markings, 37632 edges, 540 markings/sec, 25 secs
lola: 20196 markings, 44046 edges, 562 markings/sec, 30 secs
lola: 23232 markings, 50786 edges, 607 markings/sec, 35 secs
lola: 26480 markings, 58877 edges, 650 markings/sec, 40 secs
lola: 29456 markings, 65844 edges, 595 markings/sec, 45 secs
lola: 32098 markings, 72335 edges, 528 markings/sec, 50 secs
lola: 34736 markings, 78650 edges, 528 markings/sec, 55 secs
lola: 37415 markings, 85091 edges, 536 markings/sec, 60 secs
lola: 40182 markings, 91335 edges, 553 markings/sec, 65 secs
lola: 42911 markings, 97671 edges, 546 markings/sec, 70 secs
lola: 45782 markings, 104237 edges, 574 markings/sec, 75 secs
lola: 48516 markings, 111299 edges, 547 markings/sec, 80 secs
lola: 51092 markings, 117822 edges, 515 markings/sec, 85 secs
lola: 53743 markings, 124276 edges, 530 markings/sec, 90 secs
lola: 56241 markings, 130264 edges, 500 markings/sec, 95 secs
lola: 58739 markings, 136417 edges, 500 markings/sec, 100 secs
lola: 61076 markings, 142210 edges, 467 markings/sec, 105 secs
lola: 63382 markings, 147806 edges, 461 markings/sec, 110 secs
lola: 65474 markings, 153168 edges, 418 markings/sec, 115 secs
lola: 67766 markings, 158798 edges, 458 markings/sec, 120 secs
lola: 70122 markings, 164558 edges, 471 markings/sec, 125 secs
lola: 72652 markings, 170470 edges, 506 markings/sec, 130 secs
lola: 75262 markings, 176506 edges, 522 markings/sec, 135 secs
lola: 77605 markings, 182396 edges, 469 markings/sec, 140 secs
lola: 80346 markings, 188546 edges, 548 markings/sec, 145 secs
lola: 83064 markings, 194403 edges, 544 markings/sec, 150 secs
lola: 85235 markings, 200248 edges, 434 markings/sec, 155 secs
lola: 87975 markings, 207441 edges, 548 markings/sec, 160 secs
lola: 90528 markings, 214114 edges, 511 markings/sec, 165 secs
lola: 93046 markings, 220600 edges, 504 markings/sec, 170 secs
lola: 95651 markings, 227165 edges, 521 markings/sec, 175 secs
lola: 98211 markings, 233400 edges, 512 markings/sec, 180 secs
lola: 100382 markings, 238864 edges, 434 markings/sec, 185 secs
lola: 102744 markings, 244632 edges, 472 markings/sec, 190 secs
lola: 105225 markings, 250516 edges, 496 markings/sec, 195 secs
lola: 107705 markings, 256759 edges, 496 markings/sec, 200 secs
lola: 109854 markings, 262358 edges, 430 markings/sec, 205 secs
lola: 112109 markings, 268133 edges, 451 markings/sec, 210 secs
lola: 114527 markings, 274046 edges, 484 markings/sec, 215 secs
lola: 116821 markings, 280183 edges, 459 markings/sec, 220 secs
lola: 119424 markings, 286464 edges, 521 markings/sec, 225 secs
lola: 121929 markings, 292908 edges, 501 markings/sec, 230 secs
lola: 124430 markings, 299180 edges, 500 markings/sec, 235 secs
lola: 126898 markings, 305199 edges, 494 markings/sec, 240 secs
lola: 129382 markings, 311343 edges, 497 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(ATTENTE_A)
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: 18154 markings, 29631 edges, 3631 markings/sec, 0 secs
lola: 39630 markings, 65894 edges, 4295 markings/sec, 5 secs
lola: 60967 markings, 101939 edges, 4267 markings/sec, 10 secs
lola: 78680 markings, 130937 edges, 3543 markings/sec, 15 secs
lola: 80456 markings, 133601 edges, 355 markings/sec, 20 secs
lola: 87573 markings, 144813 edges, 1423 markings/sec, 25 secs
lola: 109139 markings, 181023 edges, 4313 markings/sec, 30 secs
lola: 130759 markings, 217508 edges, 4324 markings/sec, 35 secs
lola: 152283 markings, 253844 edges, 4305 markings/sec, 40 secs
lola: 173524 markings, 288900 edges, 4248 markings/sec, 45 secs
lola: 195159 markings, 325438 edges, 4327 markings/sec, 50 secs
lola: 216493 markings, 361415 edges, 4267 markings/sec, 55 secs
lola: 237617 markings, 396213 edges, 4225 markings/sec, 60 secs
lola: 259213 markings, 432632 edges, 4319 markings/sec, 65 secs
lola: 280603 markings, 468779 edges, 4278 markings/sec, 70 secs
lola: 301837 markings, 503726 edges, 4247 markings/sec, 75 secs
lola: 323241 markings, 539824 edges, 4281 markings/sec, 80 secs
lola: 344719 markings, 576141 edges, 4296 markings/sec, 85 secs
lola: 366559 markings, 612055 edges, 4368 markings/sec, 90 secs
lola: 388171 markings, 648624 edges, 4322 markings/sec, 95 secs
lola: 409215 markings, 683381 edges, 4209 markings/sec, 100 secs
lola: 430607 markings, 719287 edges, 4278 markings/sec, 105 secs
lola: 451115 markings, 753992 edges, 4102 markings/sec, 110 secs
lola: 471953 markings, 788282 edges, 4168 markings/sec, 115 secs
lola: 492169 markings, 822318 edges, 4043 markings/sec, 120 secs
lola: 511917 markings, 855080 edges, 3950 markings/sec, 125 secs
lola: 533063 markings, 890446 edges, 4229 markings/sec, 130 secs
lola: 554893 markings, 927370 edges, 4366 markings/sec, 135 secs
lola: 576655 markings, 963156 edges, 4352 markings/sec, 140 secs
lola: 598345 markings, 999794 edges, 4338 markings/sec, 145 secs
lola: 619753 markings, 1035038 edges, 4282 markings/sec, 150 secs
lola: 641117 markings, 1071039 edges, 4273 markings/sec, 155 secs
lola: 662771 markings, 1106835 edges, 4331 markings/sec, 160 secs
lola: 684799 markings, 1143896 edges, 4406 markings/sec, 165 secs
lola: 706367 markings, 1179499 edges, 4314 markings/sec, 170 secs
lola: 728025 markings, 1215850 edges, 4332 markings/sec, 175 secs
lola: 750039 markings, 1252323 edges, 4403 markings/sec, 180 secs
lola: 771795 markings, 1288294 edges, 4351 markings/sec, 185 secs
lola: 793764 markings, 1325227 edges, 4394 markings/sec, 190 secs
lola: 815057 markings, 1360375 edges, 4259 markings/sec, 195 secs
lola: 836609 markings, 1395971 edges, 4310 markings/sec, 200 secs
lola: 858365 markings, 1432256 edges, 4351 markings/sec, 205 secs
lola: 880459 markings, 1469055 edges, 4419 markings/sec, 210 secs
lola: 901988 markings, 1504562 edges, 4306 markings/sec, 215 secs
lola: 923375 markings, 1539825 edges, 4277 markings/sec, 220 secs
lola: 944669 markings, 1575037 edges, 4259 markings/sec, 225 secs
lola: 965897 markings, 1610075 edges, 4246 markings/sec, 230 secs
lola: 987226 markings, 1645223 edges, 4266 markings/sec, 235 secs
lola: 1008015 markings, 1679430 edges, 4158 markings/sec, 240 secs
lola: 1029353 markings, 1714243 edges, 4268 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(ATTENTE_B)
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: 17270 markings, 28190 edges, 3454 markings/sec, 0 secs
lola: 39300 markings, 65312 edges, 4406 markings/sec, 5 secs
lola: 58468 markings, 96627 edges, 3834 markings/sec, 10 secs
lola: 60382 markings, 99498 edges, 383 markings/sec, 15 secs
lola: 71300 markings, 116896 edges, 2184 markings/sec, 20 secs
lola: 93796 markings, 154782 edges, 4499 markings/sec, 25 secs
lola: 116130 markings, 191423 edges, 4467 markings/sec, 30 secs
lola: 118364 markings, 194900 edges, 447 markings/sec, 35 secs
lola: 126232 markings, 207150 edges, 1574 markings/sec, 40 secs
lola: 148652 markings, 244849 edges, 4484 markings/sec, 45 secs
lola: 171024 markings, 281445 edges, 4474 markings/sec, 50 secs
lola: 173770 markings, 285932 edges, 549 markings/sec, 55 secs
lola: 181444 markings, 297904 edges, 1535 markings/sec, 60 secs
lola: 204508 markings, 336602 edges, 4613 markings/sec, 65 secs
lola: 224862 markings, 370004 edges, 4071 markings/sec, 70 secs
lola: 226844 markings, 372977 edges, 396 markings/sec, 75 secs
lola: 239118 markings, 392688 edges, 2455 markings/sec, 80 secs
lola: 262160 markings, 431125 edges, 4608 markings/sec, 85 secs
lola: 275514 markings, 452944 edges, 2671 markings/sec, 90 secs
lola: 277534 markings, 455974 edges, 404 markings/sec, 95 secs
lola: 296586 markings, 487203 edges, 3810 markings/sec, 100 secs
lola: 318890 markings, 523489 edges, 4461 markings/sec, 105 secs
lola: 323748 markings, 531802 edges, 972 markings/sec, 110 secs
lola: 328848 markings, 539475 edges, 1020 markings/sec, 115 secs
lola: 350984 markings, 576563 edges, 4427 markings/sec, 120 secs
lola: 367560 markings, 603589 edges, 3315 markings/sec, 125 secs
lola: 369402 markings, 606352 edges, 368 markings/sec, 130 secs
lola: 380610 markings, 624317 edges, 2242 markings/sec, 135 secs
lola: 402426 markings, 660232 edges, 4363 markings/sec, 140 secs
lola: 410912 markings, 674265 edges, 1697 markings/sec, 145 secs
lola: 412760 markings, 677003 edges, 370 markings/sec, 150 secs
lola: 432476 markings, 709376 edges, 3943 markings/sec, 155 secs
lola: 450234 markings, 738492 edges, 3552 markings/sec, 160 secs
lola: 452022 markings, 741174 edges, 358 markings/sec, 165 secs
lola: 460310 markings, 754230 edges, 1658 markings/sec, 170 secs
lola: 482310 markings, 790398 edges, 4400 markings/sec, 175 secs
lola: 489318 markings, 801975 edges, 1402 markings/sec, 180 secs
lola: 491168 markings, 804652 edges, 370 markings/sec, 185 secs
lola: 512768 markings, 840106 edges, 4320 markings/sec, 190 secs
lola: 524776 markings, 859649 edges, 2402 markings/sec, 195 secs
lola: 526631 markings, 862433 edges, 371 markings/sec, 200 secs
lola: 543114 markings, 889323 edges, 3297 markings/sec, 205 secs
lola: 558252 markings, 913997 edges, 3028 markings/sec, 210 secs
lola: 560224 markings, 916955 edges, 394 markings/sec, 215 secs
lola: 575340 markings, 941540 edges, 3023 markings/sec, 220 secs
lola: 590144 markings, 965633 edges, 2961 markings/sec, 225 secs
lola: 591986 markings, 968396 edges, 368 markings/sec, 230 secs
lola: 606188 markings, 991404 edges, 2840 markings/sec, 235 secs
lola: 620118 markings, 1014073 edges, 2786 markings/sec, 240 secs
lola: 621994 markings, 1016887 edges, 375 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(SORTI_A)
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: 3129 markings, 3130 edges, 626 markings/sec, 0 secs
lola: 9312 markings, 15016 edges, 1237 markings/sec, 5 secs
lola: 16217 markings, 31735 edges, 1381 markings/sec, 10 secs
lola: 22552 markings, 47078 edges, 1267 markings/sec, 15 secs
lola: 28280 markings, 60935 edges, 1146 markings/sec, 20 secs
lola: 33652 markings, 73988 edges, 1074 markings/sec, 25 secs
lola: 38733 markings, 86072 edges, 1016 markings/sec, 30 secs
lola: 45886 markings, 105969 edges, 1431 markings/sec, 35 secs
lola: 57061 markings, 143570 edges, 2235 markings/sec, 40 secs
lola: 68330 markings, 181625 edges, 2254 markings/sec, 45 secs
lola: 79159 markings, 217711 edges, 2166 markings/sec, 50 secs
lola: 85942 markings, 233463 edges, 1357 markings/sec, 55 secs
lola: 92670 markings, 249798 edges, 1346 markings/sec, 60 secs
lola: 98905 markings, 264855 edges, 1247 markings/sec, 65 secs
lola: 104791 markings, 279130 edges, 1177 markings/sec, 70 secs
lola: 110123 markings, 291970 edges, 1066 markings/sec, 75 secs
lola: 115560 markings, 304897 edges, 1087 markings/sec, 80 secs
lola: 126664 markings, 342049 edges, 2221 markings/sec, 85 secs
lola: 137786 markings, 379536 edges, 2224 markings/sec, 90 secs
lola: 149072 markings, 417791 edges, 2257 markings/sec, 95 secs
lola: 152499 markings, 423804 edges, 685 markings/sec, 100 secs
lola: 155288 markings, 427019 edges, 558 markings/sec, 105 secs
lola: 158462 markings, 430600 edges, 635 markings/sec, 110 secs
lola: 166191 markings, 448746 edges, 1546 markings/sec, 115 secs
lola: 172945 markings, 465112 edges, 1351 markings/sec, 120 secs
lola: 178999 markings, 479722 edges, 1211 markings/sec, 125 secs
lola: 184705 markings, 493620 edges, 1141 markings/sec, 130 secs
lola: 190094 markings, 506596 edges, 1078 markings/sec, 135 secs
lola: 195217 markings, 518440 edges, 1025 markings/sec, 140 secs
lola: 202720 markings, 536282 edges, 1501 markings/sec, 145 secs
lola: 209174 markings, 551913 edges, 1291 markings/sec, 150 secs
lola: 215055 markings, 566180 edges, 1176 markings/sec, 155 secs
lola: 220612 markings, 579635 edges, 1111 markings/sec, 160 secs
lola: 225841 markings, 592116 edges, 1046 markings/sec, 165 secs
lola: 233332 markings, 613352 edges, 1498 markings/sec, 170 secs
lola: 244627 markings, 651317 edges, 2259 markings/sec, 175 secs
lola: 256026 markings, 689895 edges, 2280 markings/sec, 180 secs
lola: 265844 markings, 719258 edges, 1964 markings/sec, 185 secs
lola: 272795 markings, 736080 edges, 1390 markings/sec, 190 secs
lola: 279013 markings, 751148 edges, 1244 markings/sec, 195 secs
lola: 284901 markings, 765445 edges, 1178 markings/sec, 200 secs
lola: 290379 markings, 778593 edges, 1096 markings/sec, 205 secs
lola: 296735 markings, 794869 edges, 1271 markings/sec, 210 secs
lola: 308384 markings, 833975 edges, 2330 markings/sec, 215 secs
lola: 320021 markings, 873354 edges, 2327 markings/sec, 220 secs
lola: 329852 markings, 902794 edges, 1966 markings/sec, 225 secs
lola: 336717 markings, 919402 edges, 1373 markings/sec, 230 secs
lola: 342863 markings, 934290 edges, 1229 markings/sec, 235 secs
lola: 348581 markings, 948182 edges, 1144 markings/sec, 240 secs
lola: 353942 markings, 960935 edges, 1072 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(SORTI_B)
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: 7962 markings, 17936 edges, 1592 markings/sec, 0 secs
lola: 15246 markings, 35186 edges, 1457 markings/sec, 5 secs
lola: 23288 markings, 53572 edges, 1608 markings/sec, 10 secs
lola: 29706 markings, 64896 edges, 1284 markings/sec, 15 secs
lola: 34888 markings, 73500 edges, 1036 markings/sec, 20 secs
lola: 39721 markings, 84415 edges, 967 markings/sec, 25 secs
lola: 43686 markings, 93470 edges, 793 markings/sec, 30 secs
lola: 47431 markings, 102064 edges, 749 markings/sec, 35 secs
lola: 50496 markings, 109270 edges, 613 markings/sec, 40 secs
lola: 53680 markings, 116566 edges, 637 markings/sec, 45 secs
lola: 56527 markings, 123215 edges, 569 markings/sec, 50 secs
lola: 59046 markings, 129106 edges, 504 markings/sec, 55 secs
lola: 66426 markings, 146272 edges, 1476 markings/sec, 60 secs
lola: 74192 markings, 168476 edges, 1553 markings/sec, 65 secs
lola: 81515 markings, 189542 edges, 1465 markings/sec, 70 secs
lola: 90532 markings, 213780 edges, 1803 markings/sec, 75 secs
lola: 95124 markings, 223836 edges, 918 markings/sec, 80 secs
lola: 98706 markings, 232386 edges, 716 markings/sec, 85 secs
lola: 101759 markings, 239689 edges, 611 markings/sec, 90 secs
lola: 104533 markings, 246355 edges, 555 markings/sec, 95 secs
lola: 107138 markings, 252656 edges, 521 markings/sec, 100 secs
lola: 109686 markings, 258813 edges, 510 markings/sec, 105 secs
lola: 113863 markings, 268051 edges, 835 markings/sec, 110 secs
lola: 122184 markings, 289730 edges, 1664 markings/sec, 115 secs
lola: 130523 markings, 313730 edges, 1668 markings/sec, 120 secs
lola: 138721 markings, 336215 edges, 1640 markings/sec, 125 secs
lola: 144524 markings, 349903 edges, 1161 markings/sec, 130 secs
lola: 147752 markings, 357622 edges, 646 markings/sec, 135 secs
lola: 150748 markings, 364768 edges, 599 markings/sec, 140 secs
lola: 153646 markings, 371721 edges, 580 markings/sec, 145 secs
lola: 155984 markings, 377377 edges, 468 markings/sec, 150 secs
lola: 158238 markings, 382811 edges, 451 markings/sec, 155 secs
lola: 160430 markings, 388076 edges, 438 markings/sec, 160 secs
lola: 165555 markings, 399266 edges, 1025 markings/sec, 165 secs
lola: 173509 markings, 421318 edges, 1591 markings/sec, 170 secs
lola: 180663 markings, 441828 edges, 1431 markings/sec, 175 secs
lola: 188568 markings, 463204 edges, 1581 markings/sec, 180 secs
lola: 193596 markings, 474571 edges, 1006 markings/sec, 185 secs
lola: 197090 markings, 482919 edges, 699 markings/sec, 190 secs
lola: 200232 markings, 490456 edges, 628 markings/sec, 195 secs
lola: 202744 markings, 496466 edges, 502 markings/sec, 200 secs
lola: 205108 markings, 502181 edges, 473 markings/sec, 205 secs
lola: 207473 markings, 507885 edges, 473 markings/sec, 210 secs
lola: 213001 markings, 519859 edges, 1106 markings/sec, 215 secs
lola: 220785 markings, 541890 edges, 1557 markings/sec, 220 secs
lola: 227916 markings, 562436 edges, 1426 markings/sec, 225 secs
lola: 236301 markings, 583507 edges, 1677 markings/sec, 230 secs
lola: 240193 markings, 592717 edges, 778 markings/sec, 235 secs
lola: 243463 markings, 600572 edges, 654 markings/sec, 240 secs
lola: 246477 markings, 607777 edges, 603 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(CONTROLEUR_1 + CONTROLEUR_2)
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: 7508 markings, 15047 edges, 1502 markings/sec, 0 secs
lola: 15057 markings, 31842 edges, 1510 markings/sec, 5 secs
lola: 22585 markings, 48626 edges, 1506 markings/sec, 10 secs
lola: 29995 markings, 65996 edges, 1482 markings/sec, 15 secs
lola: 37115 markings, 82685 edges, 1424 markings/sec, 20 secs
lola: 44802 markings, 99777 edges, 1537 markings/sec, 25 secs
lola: 52378 markings, 118301 edges, 1515 markings/sec, 30 secs
lola: 59103 markings, 133839 edges, 1345 markings/sec, 35 secs
lola: 66114 markings, 150684 edges, 1402 markings/sec, 40 secs
lola: 73049 markings, 166941 edges, 1387 markings/sec, 45 secs
lola: 80390 markings, 183759 edges, 1468 markings/sec, 50 secs
lola: 88661 markings, 203266 edges, 1654 markings/sec, 55 secs
lola: 96020 markings, 221605 edges, 1472 markings/sec, 60 secs
lola: 102607 markings, 237308 edges, 1317 markings/sec, 65 secs
lola: 109360 markings, 252919 edges, 1351 markings/sec, 70 secs
lola: 116390 markings, 270184 edges, 1406 markings/sec, 75 secs
lola: 123384 markings, 286989 edges, 1399 markings/sec, 80 secs
lola: 130271 markings, 303287 edges, 1377 markings/sec, 85 secs
lola: 136816 markings, 318014 edges, 1309 markings/sec, 90 secs
lola: 144230 markings, 335582 edges, 1483 markings/sec, 95 secs
lola: 150677 markings, 350615 edges, 1289 markings/sec, 100 secs
lola: 158866 markings, 371508 edges, 1638 markings/sec, 105 secs
lola: 166182 markings, 390020 edges, 1463 markings/sec, 110 secs
lola: 172761 markings, 406083 edges, 1316 markings/sec, 115 secs
lola: 179482 markings, 422053 edges, 1344 markings/sec, 120 secs
lola: 185748 markings, 436518 edges, 1253 markings/sec, 125 secs
lola: 192352 markings, 452705 edges, 1321 markings/sec, 130 secs
lola: 199024 markings, 469259 edges, 1334 markings/sec, 135 secs
lola: 205764 markings, 485524 edges, 1348 markings/sec, 140 secs
lola: 212646 markings, 502303 edges, 1376 markings/sec, 145 secs
lola: 219471 markings, 518671 edges, 1365 markings/sec, 150 secs
lola: 226333 markings, 534974 edges, 1372 markings/sec, 155 secs
lola: 232841 markings, 549724 edges, 1302 markings/sec, 160 secs
lola: 239410 markings, 565497 edges, 1314 markings/sec, 165 secs
lola: 244692 markings, 577787 edges, 1056 markings/sec, 170 secs
lola: 249300 markings, 587947 edges, 922 markings/sec, 175 secs
lola: 255060 markings, 603324 edges, 1152 markings/sec, 180 secs
lola: 263077 markings, 623942 edges, 1603 markings/sec, 185 secs
lola: 270561 markings, 643328 edges, 1497 markings/sec, 190 secs
lola: 277465 markings, 660771 edges, 1381 markings/sec, 195 secs
lola: 284164 markings, 677490 edges, 1340 markings/sec, 200 secs
lola: 290377 markings, 692338 edges, 1243 markings/sec, 205 secs
lola: 297421 markings, 709255 edges, 1409 markings/sec, 210 secs
lola: 304233 markings, 725195 edges, 1362 markings/sec, 215 secs
lola: 310293 markings, 739083 edges, 1212 markings/sec, 220 secs
lola: 317317 markings, 757154 edges, 1405 markings/sec, 225 secs
lola: 323431 markings, 772128 edges, 1223 markings/sec, 230 secs
lola: 330507 markings, 790009 edges, 1415 markings/sec, 235 secs
lola: 336947 markings, 805990 edges, 1288 markings/sec, 240 secs
lola: 343222 markings, 821488 edges, 1255 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(ATTENTE_A)
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: 17900 markings, 29259 edges, 3580 markings/sec, 0 secs
lola: 39542 markings, 65740 edges, 4328 markings/sec, 5 secs
lola: 61204 markings, 102305 edges, 4332 markings/sec, 10 secs
lola: 78824 markings, 131153 edges, 3524 markings/sec, 15 secs
lola: 80778 markings, 134084 edges, 391 markings/sec, 20 secs
lola: 90759 markings, 150154 edges, 1996 markings/sec, 25 secs
lola: 112261 markings, 186353 edges, 4300 markings/sec, 30 secs
lola: 134461 markings, 223817 edges, 4440 markings/sec, 35 secs
lola: 154591 markings, 257244 edges, 4026 markings/sec, 40 secs
lola: 174851 markings, 291141 edges, 4052 markings/sec, 45 secs
lola: 195113 markings, 325358 edges, 4052 markings/sec, 50 secs
lola: 217032 markings, 362339 edges, 4384 markings/sec, 55 secs
lola: 238855 markings, 398326 edges, 4365 markings/sec, 60 secs
lola: 260733 markings, 435173 edges, 4376 markings/sec, 65 secs
lola: 283303 markings, 473446 edges, 4514 markings/sec, 70 secs
lola: 305089 markings, 509257 edges, 4357 markings/sec, 75 secs
lola: 327367 markings, 546808 edges, 4456 markings/sec, 80 secs
lola: 349319 markings, 583192 edges, 4390 markings/sec, 85 secs
lola: 372043 markings, 621311 edges, 4545 markings/sec, 90 secs
lola: 394463 markings, 659159 edges, 4484 markings/sec, 95 secs
lola: 416807 markings, 696065 edges, 4469 markings/sec, 100 secs
lola: 439261 markings, 733873 edges, 4491 markings/sec, 105 secs
lola: 461093 markings, 770135 edges, 4366 markings/sec, 110 secs
lola: 483299 markings, 807340 edges, 4441 markings/sec, 115 secs
lola: 505511 markings, 844897 edges, 4442 markings/sec, 120 secs
lola: 527639 markings, 881308 edges, 4426 markings/sec, 125 secs
lola: 548771 markings, 916969 edges, 4226 markings/sec, 130 secs
lola: 568975 markings, 950316 edges, 4041 markings/sec, 135 secs
lola: 589815 markings, 985377 edges, 4168 markings/sec, 140 secs
lola: 609551 markings, 1018024 edges, 3947 markings/sec, 145 secs
lola: 629759 markings, 1051936 edges, 4042 markings/sec, 150 secs
lola: 649557 markings, 1084851 edges, 3960 markings/sec, 155 secs
lola: 669801 markings, 1118592 edges, 4049 markings/sec, 160 secs
lola: 690715 markings, 1153423 edges, 4183 markings/sec, 165 secs
lola: 713625 markings, 1191736 edges, 4582 markings/sec, 170 secs
lola: 735921 markings, 1228617 edges, 4459 markings/sec, 175 secs
lola: 758927 markings, 1267323 edges, 4601 markings/sec, 180 secs
lola: 781344 markings, 1304348 edges, 4483 markings/sec, 185 secs
lola: 803627 markings, 1341204 edges, 4457 markings/sec, 190 secs
lola: 826499 markings, 1379605 edges, 4574 markings/sec, 195 secs
lola: 848823 markings, 1416464 edges, 4465 markings/sec, 200 secs
lola: 871159 markings, 1453368 edges, 4467 markings/sec, 205 secs
lola: 893471 markings, 1490241 edges, 4462 markings/sec, 210 secs
lola: 915709 markings, 1527024 edges, 4448 markings/sec, 215 secs
lola: 937857 markings, 1563662 edges, 4430 markings/sec, 220 secs
lola: 959801 markings, 1599887 edges, 4389 markings/sec, 225 secs
lola: 981965 markings, 1636467 edges, 4433 markings/sec, 230 secs
lola: 1004029 markings, 1672866 edges, 4413 markings/sec, 235 secs
lola: 1025543 markings, 1707911 edges, 4303 markings/sec, 240 secs
lola: 1046964 markings, 1743209 edges, 4284 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 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(VIDANGE_1 + VIDANGE_2)
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: 3768 markings, 6823 edges, 754 markings/sec, 0 secs
lola: 7144 markings, 14299 edges, 675 markings/sec, 5 secs
lola: 9900 markings, 20344 edges, 551 markings/sec, 10 secs
lola: 12982 markings, 27448 edges, 616 markings/sec, 15 secs
lola: 15529 markings, 33331 edges, 509 markings/sec, 20 secs
lola: 17903 markings, 38899 edges, 475 markings/sec, 25 secs
lola: 20453 markings, 44655 edges, 510 markings/sec, 30 secs
lola: 23486 markings, 51436 edges, 607 markings/sec, 35 secs
lola: 26736 markings, 59482 edges, 650 markings/sec, 40 secs
lola: 29574 markings, 66113 edges, 568 markings/sec, 45 secs
lola: 32318 markings, 72890 edges, 549 markings/sec, 50 secs
lola: 35146 markings, 79580 edges, 566 markings/sec, 55 secs
lola: 37889 markings, 86065 edges, 549 markings/sec, 60 secs
lola: 40652 markings, 92533 edges, 553 markings/sec, 65 secs
lola: 43643 markings, 99244 edges, 598 markings/sec, 70 secs
lola: 46600 markings, 106356 edges, 591 markings/sec, 75 secs
lola: 49681 markings, 114273 edges, 616 markings/sec, 80 secs
lola: 52894 markings, 122227 edges, 643 markings/sec, 85 secs
lola: 55691 markings, 128986 edges, 559 markings/sec, 90 secs
lola: 58438 markings, 135629 edges, 549 markings/sec, 95 secs
lola: 61205 markings, 142525 edges, 553 markings/sec, 100 secs
lola: 63930 markings, 149161 edges, 545 markings/sec, 105 secs
lola: 66569 markings, 155697 edges, 528 markings/sec, 110 secs
lola: 68950 markings, 161568 edges, 476 markings/sec, 115 secs
lola: 71205 markings, 166992 edges, 451 markings/sec, 120 secs
lola: 73415 markings, 172301 edges, 442 markings/sec, 125 secs
lola: 75778 markings, 177818 edges, 473 markings/sec, 130 secs
lola: 77826 markings, 182923 edges, 410 markings/sec, 135 secs
lola: 80606 markings, 189145 edges, 556 markings/sec, 140 secs
lola: 83484 markings, 195573 edges, 576 markings/sec, 145 secs
lola: 86474 markings, 203432 edges, 598 markings/sec, 150 secs
lola: 89383 markings, 211027 edges, 582 markings/sec, 155 secs
lola: 92204 markings, 218418 edges, 564 markings/sec, 160 secs
lola: 95231 markings, 226049 edges, 605 markings/sec, 165 secs
lola: 98248 markings, 233498 edges, 603 markings/sec, 170 secs
lola: 100834 markings, 240063 edges, 517 markings/sec, 175 secs
lola: 103807 markings, 247010 edges, 595 markings/sec, 180 secs
lola: 106292 markings, 253390 edges, 497 markings/sec, 185 secs
lola: 109030 markings, 260150 edges, 548 markings/sec, 190 secs
lola: 111516 markings, 266621 edges, 497 markings/sec, 195 secs
lola: 114254 markings, 273343 edges, 548 markings/sec, 200 secs
lola: 116710 markings, 279875 edges, 491 markings/sec, 205 secs
lola: 119382 markings, 286354 edges, 534 markings/sec, 210 secs
lola: 121899 markings, 292833 edges, 503 markings/sec, 215 secs
lola: 124498 markings, 299364 edges, 520 markings/sec, 220 secs
lola: 127139 markings, 305825 edges, 528 markings/sec, 225 secs
lola: 129692 markings, 312122 edges, 511 markings/sec, 230 secs
lola: 132227 markings, 318078 edges, 507 markings/sec, 235 secs
lola: 134918 markings, 324492 edges, 538 markings/sec, 240 secs
lola: 137417 markings, 330814 edges, 500 markings/sec, 245 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(ROUTE_A)
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(SUR_PONT_B)
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: 8568 markings, 19345 edges, 1714 markings/sec, 0 secs
lola: 16495 markings, 38171 edges, 1585 markings/sec, 5 secs
lola: 25397 markings, 58286 edges, 1780 markings/sec, 10 secs
lola: 29750 markings, 66884 edges, 871 markings/sec, 15 secs
lola: 34388 markings, 72052 edges, 928 markings/sec, 20 secs
lola: 40148 markings, 83994 edges, 1152 markings/sec, 25 secs
lola: 44540 markings, 94044 edges, 878 markings/sec, 30 secs
lola: 48432 markings, 102973 edges, 778 markings/sec, 35 secs
lola: 51842 markings, 110853 edges, 682 markings/sec, 40 secs
lola: 55075 markings, 118263 edges, 647 markings/sec, 45 secs
lola: 58036 markings, 125203 edges, 592 markings/sec, 50 secs
lola: 60775 markings, 131575 edges, 548 markings/sec, 55 secs
lola: 65821 markings, 142726 edges, 1009 markings/sec, 60 secs
lola: 74392 markings, 165941 edges, 1714 markings/sec, 65 secs
lola: 82536 markings, 189284 edges, 1629 markings/sec, 70 secs
lola: 91476 markings, 213836 edges, 1788 markings/sec, 75 secs
lola: 96560 markings, 227528 edges, 1017 markings/sec, 80 secs
lola: 98513 markings, 232684 edges, 391 markings/sec, 85 secs
lola: 103203 markings, 243182 edges, 938 markings/sec, 90 secs
lola: 106752 markings, 251710 edges, 710 markings/sec, 95 secs
lola: 109962 markings, 259405 edges, 642 markings/sec, 100 secs
lola: 112882 markings, 266426 edges, 584 markings/sec, 105 secs
lola: 115533 markings, 272764 edges, 530 markings/sec, 110 secs
lola: 118108 markings, 278966 edges, 515 markings/sec, 115 secs
lola: 123610 markings, 291175 edges, 1100 markings/sec, 120 secs
lola: 132730 markings, 316373 edges, 1824 markings/sec, 125 secs
lola: 140895 markings, 339759 edges, 1633 markings/sec, 130 secs
lola: 149688 markings, 362912 edges, 1759 markings/sec, 135 secs
lola: 154194 markings, 372962 edges, 901 markings/sec, 140 secs
lola: 157760 markings, 381526 edges, 713 markings/sec, 145 secs
lola: 160882 markings, 389001 edges, 624 markings/sec, 150 secs
lola: 163688 markings, 395737 edges, 561 markings/sec, 155 secs
lola: 166258 markings, 401961 edges, 514 markings/sec, 160 secs
lola: 168572 markings, 407533 edges, 463 markings/sec, 165 secs
lola: 173888 markings, 418996 edges, 1063 markings/sec, 170 secs
lola: 181929 markings, 441539 edges, 1608 markings/sec, 175 secs
lola: 189035 markings, 462010 edges, 1421 markings/sec, 180 secs
lola: 197117 markings, 483794 edges, 1616 markings/sec, 185 secs
lola: 201511 markings, 493407 edges, 879 markings/sec, 190 secs
lola: 205053 markings, 501825 edges, 708 markings/sec, 195 secs
lola: 208116 markings, 509170 edges, 613 markings/sec, 200 secs
lola: 210906 markings, 515871 edges, 558 markings/sec, 205 secs
lola: 213547 markings, 522273 edges, 528 markings/sec, 210 secs
lola: 216007 markings, 528216 edges, 492 markings/sec, 215 secs
lola: 223744 markings, 546382 edges, 1547 markings/sec, 220 secs
lola: 232596 markings, 571677 edges, 1770 markings/sec, 225 secs
lola: 241598 markings, 596423 edges, 1800 markings/sec, 230 secs
lola: 247141 markings, 609175 edges, 1109 markings/sec, 235 secs
lola: 250571 markings, 617381 edges, 686 markings/sec, 240 secs
lola: 253615 markings, 624685 edges, 609 markings/sec, 245 secs
lola: 256366 markings, 631301 edges, 550 markings/sec, 250 secs
lola: 259011 markings, 637626 edges, 529 markings/sec, 255 secs
lola: 263057 markings, 646626 edges, 809 markings/sec, 260 secs
lola: 271478 markings, 668699 edges, 1684 markings/sec, 265 secs
lola: 279763 markings, 692461 edges, 1657 markings/sec, 270 secs
lola: 288010 markings, 713111 edges, 1649 markings/sec, 275 secs
lola: 291910 markings, 722339 edges, 780 markings/sec, 280 secs
lola: 295124 markings, 730029 edges, 643 markings/sec, 285 secs
lola: 297851 markings, 736552 edges, 545 markings/sec, 290 secs
lola: 300320 markings, 742506 edges, 494 markings/sec, 295 secs
lola: 302430 markings, 747586 edges, 422 markings/sec, 300 secs
lola: 308045 markings, 759939 edges, 1123 markings/sec, 305 secs
lola: 315899 markings, 782260 edges, 1571 markings/sec, 310 secs
lola: 324023 markings, 804745 edges, 1625 markings/sec, 315 secs
lola: 330172 markings, 819410 edges, 1230 markings/sec, 320 secs
lola: 333456 markings, 827221 edges, 657 markings/sec, 325 secs
lola: 336346 markings, 834152 edges, 578 markings/sec, 330 secs
lola: 338960 markings, 840435 edges, 523 markings/sec, 335 secs
lola: 341392 markings, 846277 edges, 486 markings/sec, 340 secs
lola: 346461 markings, 857497 edges, 1014 markings/sec, 345 secs
lola: 354940 markings, 880944 edges, 1696 markings/sec, 350 secs
lola: 363276 markings, 903900 edges, 1667 markings/sec, 355 secs
lola: 368676 markings, 916521 edges, 1080 markings/sec, 360 secs
lola: 371861 markings, 924127 edges, 637 markings/sec, 365 secs
lola: 374639 markings, 930778 edges, 556 markings/sec, 370 secs
lola: 377241 markings, 937031 edges, 520 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(VIDANGE_1 + VIDANGE_2)
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: 3672 markings, 6629 edges, 734 markings/sec, 0 secs
lola: 7008 markings, 13972 edges, 667 markings/sec, 5 secs
lola: 9989 markings, 20540 edges, 596 markings/sec, 10 secs
lola: 13310 markings, 28225 edges, 664 markings/sec, 15 secs
lola: 15757 markings, 33915 edges, 489 markings/sec, 20 secs
lola: 18103 markings, 39318 edges, 469 markings/sec, 25 secs
lola: 20492 markings, 44733 edges, 478 markings/sec, 30 secs
lola: 23409 markings, 51233 edges, 583 markings/sec, 35 secs
lola: 26641 markings, 59217 edges, 646 markings/sec, 40 secs
lola: 29571 markings, 66107 edges, 586 markings/sec, 45 secs
lola: 32209 markings, 72597 edges, 528 markings/sec, 50 secs
lola: 34864 markings, 78999 edges, 531 markings/sec, 55 secs
lola: 37544 markings, 85326 edges, 536 markings/sec, 60 secs
lola: 40228 markings, 91465 edges, 537 markings/sec, 65 secs
lola: 42997 markings, 97864 edges, 554 markings/sec, 70 secs
lola: 45901 markings, 104543 edges, 581 markings/sec, 75 secs
lola: 48930 markings, 112330 edges, 606 markings/sec, 80 secs
lola: 51879 markings, 119786 edges, 590 markings/sec, 85 secs
lola: 54771 markings, 126771 edges, 578 markings/sec, 90 secs
lola: 57582 markings, 133340 edges, 562 markings/sec, 95 secs
lola: 60177 markings, 139829 edges, 519 markings/sec, 100 secs
lola: 62661 markings, 146161 edges, 497 markings/sec, 105 secs
lola: 65275 markings, 152705 edges, 523 markings/sec, 110 secs
lola: 67864 markings, 159062 edges, 518 markings/sec, 115 secs
lola: 70421 markings, 165319 edges, 511 markings/sec, 120 secs
lola: 73026 markings, 171461 edges, 521 markings/sec, 125 secs
lola: 75746 markings, 177726 edges, 544 markings/sec, 130 secs
lola: 78385 markings, 184169 edges, 528 markings/sec, 135 secs
lola: 81097 markings, 190205 edges, 542 markings/sec, 140 secs
lola: 83959 markings, 196824 edges, 572 markings/sec, 145 secs
lola: 86861 markings, 204450 edges, 580 markings/sec, 150 secs
lola: 89733 markings, 212006 edges, 574 markings/sec, 155 secs
lola: 92640 markings, 219541 edges, 581 markings/sec, 160 secs
lola: 95690 markings, 227263 edges, 610 markings/sec, 165 secs
lola: 98621 markings, 234504 edges, 586 markings/sec, 170 secs
lola: 101012 markings, 240547 edges, 478 markings/sec, 175 secs
lola: 103449 markings, 246181 edges, 487 markings/sec, 180 secs
lola: 105630 markings, 251649 edges, 436 markings/sec, 185 secs
lola: 108083 markings, 257593 edges, 491 markings/sec, 190 secs
lola: 110567 markings, 264247 edges, 497 markings/sec, 195 secs
lola: 113043 markings, 270562 edges, 495 markings/sec, 200 secs
lola: 115725 markings, 277266 edges, 536 markings/sec, 205 secs
lola: 118236 markings, 283669 edges, 502 markings/sec, 210 secs
lola: 120822 markings, 290187 edges, 517 markings/sec, 215 secs
lola: 123432 markings, 296517 edges, 522 markings/sec, 220 secs
lola: 126076 markings, 303087 edges, 529 markings/sec, 225 secs
lola: 128651 markings, 309439 edges, 515 markings/sec, 230 secs
lola: 131062 markings, 315388 edges, 482 markings/sec, 235 secs
lola: 133517 markings, 320915 edges, 491 markings/sec, 240 secs
lola: 135652 markings, 326398 edges, 427 markings/sec, 245 secs
lola: 137835 markings, 331910 edges, 437 markings/sec, 250 secs
lola: 140799 markings, 338651 edges, 593 markings/sec, 255 secs
lola: 143215 markings, 344036 edges, 483 markings/sec, 260 secs
lola: 145746 markings, 349500 edges, 506 markings/sec, 265 secs
lola: 147879 markings, 355345 edges, 427 markings/sec, 270 secs
lola: 150187 markings, 361517 edges, 462 markings/sec, 275 secs
lola: 152527 markings, 367766 edges, 468 markings/sec, 280 secs
lola: 154868 markings, 373970 edges, 468 markings/sec, 285 secs
lola: 157235 markings, 380237 edges, 473 markings/sec, 290 secs
lola: 159661 markings, 386596 edges, 485 markings/sec, 295 secs
lola: 162477 markings, 393911 edges, 563 markings/sec, 300 secs
lola: 165324 markings, 401305 edges, 569 markings/sec, 305 secs
lola: 168388 markings, 408933 edges, 613 markings/sec, 310 secs
lola: 171041 markings, 415634 edges, 531 markings/sec, 315 secs
lola: 173559 markings, 421991 edges, 504 markings/sec, 320 secs
lola: 176167 markings, 428603 edges, 522 markings/sec, 325 secs
lola: 178919 markings, 435249 edges, 550 markings/sec, 330 secs
lola: 181622 markings, 441784 edges, 541 markings/sec, 335 secs
lola: 183986 markings, 448118 edges, 473 markings/sec, 340 secs
lola: 186766 markings, 454983 edges, 556 markings/sec, 345 secs
lola: 189072 markings, 461195 edges, 461 markings/sec, 350 secs
lola: 191417 markings, 467177 edges, 469 markings/sec, 355 secs
lola: 193701 markings, 473182 edges, 457 markings/sec, 360 secs
lola: 196344 markings, 479811 edges, 529 markings/sec, 365 secs
lola: 198760 markings, 486267 edges, 483 markings/sec, 370 secs
lola: 201118 markings, 492209 edges, 472 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 1494618735122

--------------------
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-PT-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-PT-V50P20N50.tgz
mv BridgeAndVehicles-PT-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-PT-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-149436126400488"
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 ;