Execution Chart

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

Trace from the execution

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

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


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


checking for too many tokens
===========================================================================================
S_BridgeAndVehicles-PT-V50P20N50: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_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: 1520 markings, 2119 edges, 304 markings/sec, 0 secs
lola: 3108 markings, 4079 edges, 318 markings/sec, 5 secs
lola: 5126 markings, 6097 edges, 404 markings/sec, 10 secs
lola: 11763 markings, 21006 edges, 1327 markings/sec, 15 secs
lola: 17966 markings, 35999 edges, 1241 markings/sec, 20 secs
lola: 23669 markings, 49796 edges, 1141 markings/sec, 25 secs
lola: 29740 markings, 64609 edges, 1214 markings/sec, 30 secs
lola: 35253 markings, 77908 edges, 1103 markings/sec, 35 secs
lola: 40386 markings, 90079 edges, 1027 markings/sec, 40 secs
lola: 48529 markings, 114243 edges, 1629 markings/sec, 45 secs
lola: 59125 markings, 150011 edges, 2119 markings/sec, 50 secs
lola: 70344 markings, 187855 edges, 2244 markings/sec, 55 secs
lola: 81872 markings, 222737 edges, 2306 markings/sec, 60 secs
lola: 84423 markings, 230275 edges, 510 markings/sec, 65 secs
lola: 86116 markings, 235636 edges, 339 markings/sec, 70 secs
lola: 90081 markings, 245554 edges, 793 markings/sec, 75 secs
lola: 96915 markings, 262084 edges, 1367 markings/sec, 80 secs
lola: 103415 markings, 277857 edges, 1300 markings/sec, 85 secs
lola: 109095 markings, 291608 edges, 1136 markings/sec, 90 secs
lola: 114674 markings, 305095 edges, 1116 markings/sec, 95 secs
lola: 119603 markings, 316842 edges, 986 markings/sec, 100 secs
lola: 127546 markings, 339883 edges, 1589 markings/sec, 105 secs
lola: 138696 markings, 377426 edges, 2230 markings/sec, 110 secs
lola: 150378 markings, 416891 edges, 2336 markings/sec, 115 secs
lola: 158813 markings, 443302 edges, 1687 markings/sec, 120 secs
lola: 161104 markings, 446537 edges, 458 markings/sec, 125 secs
lola: 163203 markings, 449436 edges, 420 markings/sec, 130 secs
lola: 165423 markings, 452485 edges, 444 markings/sec, 135 secs
lola: 168212 markings, 456509 edges, 558 markings/sec, 140 secs
lola: 175193 markings, 473387 edges, 1396 markings/sec, 145 secs
lola: 181567 markings, 488818 edges, 1275 markings/sec, 150 secs
lola: 187409 markings, 502973 edges, 1168 markings/sec, 155 secs
lola: 192948 markings, 516436 edges, 1108 markings/sec, 160 secs
lola: 198357 markings, 529462 edges, 1082 markings/sec, 165 secs
lola: 203449 markings, 541428 edges, 1018 markings/sec, 170 secs
lola: 210840 markings, 558778 edges, 1478 markings/sec, 175 secs
lola: 217942 markings, 575969 edges, 1420 markings/sec, 180 secs
lola: 224369 markings, 591601 edges, 1285 markings/sec, 185 secs
lola: 230414 markings, 606179 edges, 1209 markings/sec, 190 secs
lola: 236102 markings, 619690 edges, 1138 markings/sec, 195 secs
lola: 245797 markings, 649618 edges, 1939 markings/sec, 200 secs
lola: 257063 markings, 687513 edges, 2253 markings/sec, 205 secs
lola: 268987 markings, 727903 edges, 2385 markings/sec, 210 secs
lola: 277773 markings, 751049 edges, 1757 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: 8792 markings, 19905 edges, 1758 markings/sec, 0 secs
lola: 17023 markings, 39349 edges, 1646 markings/sec, 5 secs
lola: 26104 markings, 59857 edges, 1816 markings/sec, 10 secs
lola: 30944 markings, 66234 edges, 968 markings/sec, 15 secs
lola: 36755 markings, 77696 edges, 1162 markings/sec, 20 secs
lola: 41426 markings, 88294 edges, 934 markings/sec, 25 secs
lola: 45351 markings, 97291 edges, 785 markings/sec, 30 secs
lola: 48852 markings, 105398 edges, 700 markings/sec, 35 secs
lola: 52167 markings, 113014 edges, 663 markings/sec, 40 secs
lola: 55247 markings, 120251 edges, 616 markings/sec, 45 secs
lola: 58139 markings, 127005 edges, 578 markings/sec, 50 secs
lola: 63826 markings, 139481 edges, 1137 markings/sec, 55 secs
lola: 73234 markings, 165715 edges, 1882 markings/sec, 60 secs
lola: 81765 markings, 190184 edges, 1706 markings/sec, 65 secs
lola: 90787 markings, 214129 edges, 1804 markings/sec, 70 secs
lola: 95407 markings, 224484 edges, 924 markings/sec, 75 secs
lola: 98937 markings, 232964 edges, 706 markings/sec, 80 secs
lola: 102093 markings, 240524 edges, 631 markings/sec, 85 secs
lola: 104981 markings, 247465 edges, 578 markings/sec, 90 secs
lola: 107583 markings, 253769 edges, 520 markings/sec, 95 secs
lola: 110057 markings, 259716 edges, 495 markings/sec, 100 secs
lola: 114923 markings, 270479 edges, 973 markings/sec, 105 secs
lola: 123424 markings, 293335 edges, 1700 markings/sec, 110 secs
lola: 131396 markings, 316216 edges, 1594 markings/sec, 115 secs
lola: 140126 markings, 339979 edges, 1746 markings/sec, 120 secs
lola: 145411 markings, 352017 edges, 1057 markings/sec, 125 secs
lola: 148986 markings, 360566 edges, 715 markings/sec, 130 secs
lola: 152102 markings, 368038 edges, 623 markings/sec, 135 secs
lola: 154878 markings, 374708 edges, 555 markings/sec, 140 secs
lola: 157463 markings, 380918 edges, 517 markings/sec, 145 secs
lola: 159966 markings, 386918 edges, 501 markings/sec, 150 secs
lola: 165204 markings, 398504 edges, 1048 markings/sec, 155 secs
lola: 173803 markings, 422099 edges, 1720 markings/sec, 160 secs
lola: 181865 markings, 445298 edges, 1612 markings/sec, 165 secs
lola: 190240 markings, 466749 edges, 1675 markings/sec, 170 secs
lola: 194373 markings, 476396 edges, 827 markings/sec, 175 secs
lola: 197613 markings, 484151 edges, 648 markings/sec, 180 secs
lola: 200426 markings, 490941 edges, 563 markings/sec, 185 secs
lola: 203112 markings, 497386 edges, 537 markings/sec, 190 secs
lola: 205599 markings, 503335 edges, 497 markings/sec, 195 secs
lola: 208064 markings, 509120 edges, 493 markings/sec, 200 secs
lola: 216283 markings, 529035 edges, 1644 markings/sec, 205 secs
lola: 224657 markings, 553046 edges, 1675 markings/sec, 210 secs
lola: 232058 markings, 573338 edges, 1480 markings/sec, 215 secs
lola: 237693 markings, 586762 edges, 1127 markings/sec, 220 secs
lola: 240782 markings, 594119 edges, 618 markings/sec, 225 secs
lola: 243925 markings, 601649 edges, 629 markings/sec, 230 secs
lola: 246724 markings, 608394 edges, 560 markings/sec, 235 secs
lola: 249369 markings, 614728 edges, 529 markings/sec, 240 secs
lola: 251730 markings, 620429 edges, 472 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: 17733 markings, 29002 edges, 3547 markings/sec, 0 secs
lola: 40074 markings, 66667 edges, 4468 markings/sec, 5 secs
lola: 58520 markings, 96705 edges, 3689 markings/sec, 10 secs
lola: 60250 markings, 99300 edges, 346 markings/sec, 15 secs
lola: 67868 markings, 111175 edges, 1524 markings/sec, 20 secs
lola: 89666 markings, 147827 edges, 4360 markings/sec, 25 secs
lola: 113226 markings, 186091 edges, 4712 markings/sec, 30 secs
lola: 118222 markings, 194687 edges, 999 markings/sec, 35 secs
lola: 126122 markings, 206989 edges, 1580 markings/sec, 40 secs
lola: 148790 markings, 245052 edges, 4534 markings/sec, 45 secs
lola: 170346 markings, 280089 edges, 4311 markings/sec, 50 secs
lola: 173548 markings, 285599 edges, 640 markings/sec, 55 secs
lola: 176522 markings, 289777 edges, 595 markings/sec, 60 secs
lola: 198258 markings, 326061 edges, 4347 markings/sec, 65 secs
lola: 220058 markings, 361816 edges, 4360 markings/sec, 70 secs
lola: 226140 markings, 371921 edges, 1216 markings/sec, 75 secs
lola: 230196 markings, 377844 edges, 811 markings/sec, 80 secs
lola: 253768 markings, 417335 edges, 4714 markings/sec, 85 secs
lola: 274864 markings, 451969 edges, 4219 markings/sec, 90 secs
lola: 276862 markings, 454966 edges, 400 markings/sec, 95 secs
lola: 289106 markings, 474623 edges, 2449 markings/sec, 100 secs
lola: 313112 markings, 514347 edges, 4801 markings/sec, 105 secs
lola: 323298 markings, 531127 edges, 2037 markings/sec, 110 secs
lola: 325230 markings, 533976 edges, 386 markings/sec, 115 secs
lola: 346454 markings, 568928 edges, 4245 markings/sec, 120 secs
lola: 367282 markings, 603172 edges, 4166 markings/sec, 125 secs
lola: 369220 markings, 606079 edges, 388 markings/sec, 130 secs
lola: 379468 markings, 622404 edges, 2050 markings/sec, 135 secs
lola: 403108 markings, 661312 edges, 4728 markings/sec, 140 secs
lola: 411032 markings, 674445 edges, 1585 markings/sec, 145 secs
lola: 412886 markings, 677129 edges, 371 markings/sec, 150 secs
lola: 433660 markings, 711448 edges, 4155 markings/sec, 155 secs
lola: 450334 markings, 738642 edges, 3335 markings/sec, 160 secs
lola: 452254 markings, 741522 edges, 384 markings/sec, 165 secs
lola: 465688 markings, 763211 edges, 2687 markings/sec, 170 secs
lola: 488072 markings, 800106 edges, 4477 markings/sec, 175 secs
lola: 490032 markings, 803046 edges, 392 markings/sec, 180 secs
lola: 500622 markings, 819910 edges, 2118 markings/sec, 185 secs
lola: 523860 markings, 858275 edges, 4648 markings/sec, 190 secs
lola: 525866 markings, 861284 edges, 401 markings/sec, 195 secs
lola: 536066 markings, 877523 edges, 2040 markings/sec, 200 secs
lola: 557802 markings, 913322 edges, 4347 markings/sec, 205 secs
lola: 559816 markings, 916343 edges, 403 markings/sec, 210 secs
lola: 571448 markings, 934979 edges, 2326 markings/sec, 215 secs
lola: 589730 markings, 965012 edges, 3656 markings/sec, 220 secs
lola: 591472 markings, 967625 edges, 348 markings/sec, 225 secs
lola: 598436 markings, 978440 edges, 1393 markings/sec, 230 secs
lola: 619512 markings, 1013164 edges, 4215 markings/sec, 235 secs
lola: 621442 markings, 1016059 edges, 386 markings/sec, 240 secs
lola: 631814 markings, 1032622 edges, 2074 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: 3615 markings, 6547 edges, 723 markings/sec, 0 secs
lola: 6960 markings, 13842 edges, 669 markings/sec, 5 secs
lola: 9930 markings, 20408 edges, 594 markings/sec, 10 secs
lola: 13182 markings, 27907 edges, 650 markings/sec, 15 secs
lola: 16029 markings, 34511 edges, 569 markings/sec, 20 secs
lola: 18740 markings, 40717 edges, 542 markings/sec, 25 secs
lola: 21598 markings, 47159 edges, 572 markings/sec, 30 secs
lola: 24549 markings, 54118 edges, 590 markings/sec, 35 secs
lola: 27359 markings, 60946 edges, 562 markings/sec, 40 secs
lola: 29788 markings, 66554 edges, 486 markings/sec, 45 secs
lola: 32109 markings, 72364 edges, 464 markings/sec, 50 secs
lola: 34419 markings, 77947 edges, 462 markings/sec, 55 secs
lola: 36722 markings, 83326 edges, 461 markings/sec, 60 secs
lola: 38939 markings, 88437 edges, 443 markings/sec, 65 secs
lola: 41238 markings, 93943 edges, 460 markings/sec, 70 secs
lola: 44119 markings, 100261 edges, 576 markings/sec, 75 secs
lola: 47123 markings, 107699 edges, 601 markings/sec, 80 secs
lola: 50046 markings, 115178 edges, 585 markings/sec, 85 secs
lola: 53201 markings, 122949 edges, 631 markings/sec, 90 secs
lola: 55861 markings, 129417 edges, 532 markings/sec, 95 secs
lola: 58536 markings, 135864 edges, 535 markings/sec, 100 secs
lola: 61149 markings, 142398 edges, 523 markings/sec, 105 secs
lola: 63816 markings, 148874 edges, 533 markings/sec, 110 secs
lola: 66406 markings, 155366 edges, 518 markings/sec, 115 secs
lola: 68983 markings, 161644 edges, 515 markings/sec, 120 secs
lola: 71540 markings, 167890 edges, 511 markings/sec, 125 secs
lola: 74060 markings, 173747 edges, 504 markings/sec, 130 secs
lola: 76514 markings, 179738 edges, 491 markings/sec, 135 secs
lola: 79119 markings, 185829 edges, 521 markings/sec, 140 secs
lola: 81469 markings, 191045 edges, 470 markings/sec, 145 secs
lola: 83933 markings, 196741 edges, 493 markings/sec, 150 secs
lola: 86451 markings, 203369 edges, 504 markings/sec, 155 secs
lola: 88694 markings, 209322 edges, 449 markings/sec, 160 secs
lola: 91164 markings, 215765 edges, 494 markings/sec, 165 secs
lola: 93849 markings, 222545 edges, 537 markings/sec, 170 secs
lola: 96321 markings, 228791 edges, 494 markings/sec, 175 secs
lola: 98684 markings, 234655 edges, 473 markings/sec, 180 secs
lola: 100864 markings, 240149 edges, 436 markings/sec, 185 secs
lola: 103312 markings, 245914 edges, 490 markings/sec, 190 secs
lola: 105670 markings, 251778 edges, 472 markings/sec, 195 secs
lola: 108197 markings, 257924 edges, 505 markings/sec, 200 secs
lola: 110302 markings, 263564 edges, 421 markings/sec, 205 secs
lola: 112569 markings, 269357 edges, 453 markings/sec, 210 secs
lola: 115068 markings, 275520 edges, 500 markings/sec, 215 secs
lola: 117279 markings, 281177 edges, 442 markings/sec, 220 secs
lola: 119786 markings, 287430 edges, 501 markings/sec, 225 secs
lola: 121895 markings, 292823 edges, 422 markings/sec, 230 secs
lola: 124048 markings, 298160 edges, 431 markings/sec, 235 secs
lola: 126336 markings, 303664 edges, 458 markings/sec, 240 secs
lola: 128833 markings, 309843 edges, 499 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: 18176 markings, 29670 edges, 3635 markings/sec, 0 secs
lola: 40530 markings, 67469 edges, 4471 markings/sec, 5 secs
lola: 62996 markings, 105441 edges, 4493 markings/sec, 10 secs
lola: 79072 markings, 131525 edges, 3215 markings/sec, 15 secs
lola: 81108 markings, 134579 edges, 407 markings/sec, 20 secs
lola: 96211 markings, 159291 edges, 3021 markings/sec, 25 secs
lola: 118731 markings, 197249 edges, 4504 markings/sec, 30 secs
lola: 140347 markings, 233765 edges, 4323 markings/sec, 35 secs
lola: 160388 markings, 266832 edges, 4008 markings/sec, 40 secs
lola: 180679 markings, 300962 edges, 4058 markings/sec, 45 secs
lola: 201279 markings, 335709 edges, 4120 markings/sec, 50 secs
lola: 221801 markings, 369817 edges, 4104 markings/sec, 55 secs
lola: 242189 markings, 403928 edges, 4078 markings/sec, 60 secs
lola: 262595 markings, 438397 edges, 4081 markings/sec, 65 secs
lola: 283929 markings, 474307 edges, 4267 markings/sec, 70 secs
lola: 305513 markings, 509888 edges, 4317 markings/sec, 75 secs
lola: 327679 markings, 547279 edges, 4433 markings/sec, 80 secs
lola: 349103 markings, 582857 edges, 4285 markings/sec, 85 secs
lola: 370837 markings, 619294 edges, 4347 markings/sec, 90 secs
lola: 392581 markings, 656032 edges, 4349 markings/sec, 95 secs
lola: 413923 markings, 691210 edges, 4268 markings/sec, 100 secs
lola: 435604 markings, 727759 edges, 4336 markings/sec, 105 secs
lola: 457413 markings, 764590 edges, 4362 markings/sec, 110 secs
lola: 478789 markings, 799796 edges, 4275 markings/sec, 115 secs
lola: 500401 markings, 836274 edges, 4322 markings/sec, 120 secs
lola: 521705 markings, 871339 edges, 4261 markings/sec, 125 secs
lola: 543955 markings, 908837 edges, 4450 markings/sec, 130 secs
lola: 565359 markings, 944234 edges, 4281 markings/sec, 135 secs
lola: 587075 markings, 980781 edges, 4343 markings/sec, 140 secs
lola: 609069 markings, 1017240 edges, 4399 markings/sec, 145 secs
lola: 631312 markings, 1054570 edges, 4449 markings/sec, 150 secs
lola: 651187 markings, 1087475 edges, 3975 markings/sec, 155 secs
lola: 671556 markings, 1121563 edges, 4074 markings/sec, 160 secs
lola: 691827 markings, 1155224 edges, 4054 markings/sec, 165 secs
lola: 713809 markings, 1192058 edges, 4396 markings/sec, 170 secs
lola: 735017 markings, 1227113 edges, 4242 markings/sec, 175 secs
lola: 756699 markings, 1263583 edges, 4336 markings/sec, 180 secs
lola: 777977 markings, 1298663 edges, 4256 markings/sec, 185 secs
lola: 799111 markings, 1333749 edges, 4227 markings/sec, 190 secs
lola: 821333 markings, 1370915 edges, 4444 markings/sec, 195 secs
lola: 842381 markings, 1405622 edges, 4210 markings/sec, 200 secs
lola: 863385 markings, 1440398 edges, 4201 markings/sec, 205 secs
lola: 885031 markings, 1476619 edges, 4329 markings/sec, 210 secs
lola: 906225 markings, 1511658 edges, 4239 markings/sec, 215 secs
lola: 927293 markings, 1546470 edges, 4214 markings/sec, 220 secs
lola: 948639 markings, 1581691 edges, 4269 markings/sec, 225 secs
lola: 970095 markings, 1617127 edges, 4291 markings/sec, 230 secs
lola: 991083 markings, 1651766 edges, 4198 markings/sec, 235 secs
lola: 1011595 markings, 1685066 edges, 4102 markings/sec, 240 secs
lola: 1033018 markings, 1720360 edges, 4285 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: 18676 markings, 30540 edges, 3735 markings/sec, 0 secs
lola: 42010 markings, 69901 edges, 4667 markings/sec, 5 secs
lola: 58758 markings, 97062 edges, 3350 markings/sec, 10 secs
lola: 60684 markings, 99951 edges, 385 markings/sec, 15 secs
lola: 73612 markings, 120758 edges, 2586 markings/sec, 20 secs
lola: 95122 markings, 156961 edges, 4302 markings/sec, 25 secs
lola: 116336 markings, 191835 edges, 4243 markings/sec, 30 secs
lola: 118182 markings, 194627 edges, 369 markings/sec, 35 secs
lola: 121735 markings, 199753 edges, 711 markings/sec, 40 secs
lola: 144402 markings, 237736 edges, 4533 markings/sec, 45 secs
lola: 167424 markings, 275398 edges, 4604 markings/sec, 50 secs
lola: 173346 markings, 285296 edges, 1184 markings/sec, 55 secs
lola: 175950 markings, 288866 edges, 521 markings/sec, 60 secs
lola: 198804 markings, 327010 edges, 4571 markings/sec, 65 secs
lola: 221837 markings, 364402 edges, 4607 markings/sec, 70 secs
lola: 226304 markings, 372167 edges, 893 markings/sec, 75 secs
lola: 232026 markings, 380846 edges, 1144 markings/sec, 80 secs
lola: 254920 markings, 419221 edges, 4579 markings/sec, 85 secs
lola: 274852 markings, 451951 edges, 3986 markings/sec, 90 secs
lola: 276776 markings, 454837 edges, 385 markings/sec, 95 secs
lola: 287434 markings, 471788 edges, 2132 markings/sec, 100 secs
lola: 310286 markings, 509876 edges, 4570 markings/sec, 105 secs
lola: 323018 markings, 530707 edges, 2546 markings/sec, 110 secs
lola: 324936 markings, 533584 edges, 384 markings/sec, 115 secs
lola: 340962 markings, 559721 edges, 3205 markings/sec, 120 secs
lola: 361888 markings, 594013 edges, 4185 markings/sec, 125 secs
lola: 368474 markings, 604960 edges, 1317 markings/sec, 130 secs
lola: 370206 markings, 607512 edges, 346 markings/sec, 135 secs
lola: 389724 markings, 639583 edges, 3904 markings/sec, 140 secs
lola: 409762 markings, 672540 edges, 4008 markings/sec, 145 secs
lola: 411500 markings, 675147 edges, 348 markings/sec, 150 secs
lola: 416072 markings, 681959 edges, 914 markings/sec, 155 secs
lola: 438954 markings, 719961 edges, 4576 markings/sec, 160 secs
lola: 450988 markings, 739623 edges, 2407 markings/sec, 165 secs
lola: 452962 markings, 742578 edges, 395 markings/sec, 170 secs
lola: 472350 markings, 774444 edges, 3878 markings/sec, 175 secs
lola: 488528 markings, 800790 edges, 3236 markings/sec, 180 secs
lola: 490492 markings, 803736 edges, 393 markings/sec, 185 secs
lola: 505134 markings, 827500 edges, 2928 markings/sec, 190 secs
lola: 524146 markings, 858704 edges, 3802 markings/sec, 195 secs
lola: 526136 markings, 861689 edges, 398 markings/sec, 200 secs
lola: 538984 markings, 882366 edges, 2570 markings/sec, 205 secs
lola: 557938 markings, 913526 edges, 3791 markings/sec, 210 secs
lola: 559884 markings, 916445 edges, 389 markings/sec, 215 secs
lola: 570616 markings, 933587 edges, 2146 markings/sec, 220 secs
lola: 589636 markings, 964871 edges, 3804 markings/sec, 225 secs
lola: 591386 markings, 967496 edges, 350 markings/sec, 230 secs
lola: 598384 markings, 978349 edges, 1400 markings/sec, 235 secs
lola: 619518 markings, 1013173 edges, 4227 markings/sec, 240 secs
lola: 621462 markings, 1016089 edges, 389 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: 3135 markings, 3136 edges, 627 markings/sec, 0 secs
lola: 9008 markings, 14253 edges, 1175 markings/sec, 5 secs
lola: 16188 markings, 31663 edges, 1436 markings/sec, 10 secs
lola: 22610 markings, 47223 edges, 1284 markings/sec, 15 secs
lola: 28612 markings, 61765 edges, 1200 markings/sec, 20 secs
lola: 34287 markings, 75480 edges, 1135 markings/sec, 25 secs
lola: 39644 markings, 88239 edges, 1071 markings/sec, 30 secs
lola: 48637 markings, 115148 edges, 1799 markings/sec, 35 secs
lola: 60472 markings, 155082 edges, 2367 markings/sec, 40 secs
lola: 72312 markings, 195051 edges, 2368 markings/sec, 45 secs
lola: 81580 markings, 222928 edges, 1854 markings/sec, 50 secs
lola: 89077 markings, 241041 edges, 1499 markings/sec, 55 secs
lola: 95755 markings, 257259 edges, 1336 markings/sec, 60 secs
lola: 101940 markings, 272272 edges, 1237 markings/sec, 65 secs
lola: 107715 markings, 286207 edges, 1155 markings/sec, 70 secs
lola: 113214 markings, 299164 edges, 1100 markings/sec, 75 secs
lola: 123292 markings, 330711 edges, 2016 markings/sec, 80 secs
lola: 135221 markings, 370879 edges, 2386 markings/sec, 85 secs
lola: 147103 markings, 411090 edges, 2376 markings/sec, 90 secs
lola: 152191 markings, 423454 edges, 1018 markings/sec, 95 secs
lola: 155028 markings, 426717 edges, 567 markings/sec, 100 secs
lola: 158145 markings, 430250 edges, 623 markings/sec, 105 secs
lola: 165709 markings, 447541 edges, 1513 markings/sec, 110 secs
lola: 172426 markings, 463829 edges, 1343 markings/sec, 115 secs
lola: 178281 markings, 478017 edges, 1171 markings/sec, 120 secs
lola: 183843 markings, 491557 edges, 1112 markings/sec, 125 secs
lola: 189350 markings, 504793 edges, 1101 markings/sec, 130 secs
lola: 194720 markings, 517391 edges, 1074 markings/sec, 135 secs
lola: 202149 markings, 534914 edges, 1486 markings/sec, 140 secs
lola: 208463 markings, 550216 edges, 1263 markings/sec, 145 secs
lola: 214250 markings, 564249 edges, 1157 markings/sec, 150 secs
lola: 219818 markings, 577740 edges, 1114 markings/sec, 155 secs
lola: 224984 markings, 590077 edges, 1033 markings/sec, 160 secs
lola: 231168 markings, 606148 edges, 1237 markings/sec, 165 secs
lola: 242222 markings, 643259 edges, 2211 markings/sec, 170 secs
lola: 253279 markings, 680537 edges, 2211 markings/sec, 175 secs
lola: 264014 markings, 714821 edges, 2147 markings/sec, 180 secs
lola: 271714 markings, 733447 edges, 1540 markings/sec, 185 secs
lola: 278376 markings, 749556 edges, 1332 markings/sec, 190 secs
lola: 283960 markings, 763098 edges, 1117 markings/sec, 195 secs
lola: 289189 markings, 775715 edges, 1046 markings/sec, 200 secs
lola: 294134 markings, 787246 edges, 989 markings/sec, 205 secs
lola: 304621 markings, 821300 edges, 2097 markings/sec, 210 secs
lola: 315698 markings, 858710 edges, 2215 markings/sec, 215 secs
lola: 326898 markings, 895804 edges, 2240 markings/sec, 220 secs
lola: 334928 markings, 915064 edges, 1606 markings/sec, 225 secs
lola: 341703 markings, 931477 edges, 1355 markings/sec, 230 secs
lola: 347853 markings, 946361 edges, 1230 markings/sec, 235 secs
lola: 353339 markings, 959528 edges, 1097 markings/sec, 240 secs
lola: 360601 markings, 979370 edges, 1452 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: 8188 markings, 18466 edges, 1638 markings/sec, 0 secs
lola: 15968 markings, 36853 edges, 1556 markings/sec, 5 secs
lola: 24320 markings, 55831 edges, 1670 markings/sec, 10 secs
lola: 30078 markings, 65298 edges, 1152 markings/sec, 15 secs
lola: 35368 markings, 74564 edges, 1058 markings/sec, 20 secs
lola: 40123 markings, 85268 edges, 951 markings/sec, 25 secs
lola: 44090 markings, 94347 edges, 793 markings/sec, 30 secs
lola: 47541 markings, 102339 edges, 690 markings/sec, 35 secs
lola: 50529 markings, 109325 edges, 598 markings/sec, 40 secs
lola: 53719 markings, 116664 edges, 638 markings/sec, 45 secs
lola: 56617 markings, 123440 edges, 580 markings/sec, 50 secs
lola: 59359 markings, 129610 edges, 548 markings/sec, 55 secs
lola: 67745 markings, 150008 edges, 1677 markings/sec, 60 secs
lola: 76227 markings, 174343 edges, 1696 markings/sec, 65 secs
lola: 84105 markings, 197018 edges, 1576 markings/sec, 70 secs
lola: 92319 markings, 217186 edges, 1643 markings/sec, 75 secs
lola: 96521 markings, 227140 edges, 840 markings/sec, 80 secs
lola: 99829 markings, 235106 edges, 662 markings/sec, 85 secs
lola: 102865 markings, 242364 edges, 607 markings/sec, 90 secs
lola: 105584 markings, 248883 edges, 544 markings/sec, 95 secs
lola: 107939 markings, 254554 edges, 471 markings/sec, 100 secs
lola: 110045 markings, 259696 edges, 421 markings/sec, 105 secs
lola: 113855 markings, 268031 edges, 762 markings/sec, 110 secs
lola: 121092 markings, 286636 edges, 1447 markings/sec, 115 secs
lola: 128502 markings, 307921 edges, 1482 markings/sec, 120 secs
lola: 135407 markings, 327677 edges, 1381 markings/sec, 125 secs
lola: 142890 markings, 346061 edges, 1497 markings/sec, 130 secs
lola: 146496 markings, 354611 edges, 721 markings/sec, 135 secs
lola: 149858 markings, 362671 edges, 672 markings/sec, 140 secs
lola: 152940 markings, 370046 edges, 616 markings/sec, 145 secs
lola: 155738 markings, 376762 edges, 560 markings/sec, 150 secs
lola: 158326 markings, 383031 edges, 518 markings/sec, 155 secs
lola: 160750 markings, 388875 edges, 485 markings/sec, 160 secs
lola: 168003 markings, 405630 edges, 1451 markings/sec, 165 secs
lola: 176575 markings, 430072 edges, 1714 markings/sec, 170 secs
lola: 184500 markings, 452916 edges, 1585 markings/sec, 175 secs
lola: 192003 markings, 470786 edges, 1501 markings/sec, 180 secs
lola: 195628 markings, 479405 edges, 725 markings/sec, 185 secs
lola: 198710 markings, 486816 edges, 616 markings/sec, 190 secs
lola: 201443 markings, 493389 edges, 547 markings/sec, 195 secs
lola: 204074 markings, 499695 edges, 526 markings/sec, 200 secs
lola: 206478 markings, 505504 edges, 481 markings/sec, 205 secs
lola: 210814 markings, 515094 edges, 867 markings/sec, 210 secs
lola: 218887 markings, 536499 edges, 1615 markings/sec, 215 secs
lola: 226660 markings, 558801 edges, 1555 markings/sec, 220 secs
lola: 235276 markings, 581599 edges, 1723 markings/sec, 225 secs
lola: 239381 markings, 590772 edges, 821 markings/sec, 230 secs
lola: 242583 markings, 598447 edges, 640 markings/sec, 235 secs
lola: 245430 markings, 605246 edges, 569 markings/sec, 240 secs
lola: 248019 markings, 611449 edges, 518 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: 6843 markings, 13536 edges, 1369 markings/sec, 0 secs
lola: 13819 markings, 29093 edges, 1395 markings/sec, 5 secs
lola: 20496 markings, 44092 edges, 1335 markings/sec, 10 secs
lola: 27630 markings, 60622 edges, 1427 markings/sec, 15 secs
lola: 34037 markings, 75516 edges, 1281 markings/sec, 20 secs
lola: 40921 markings, 91140 edges, 1377 markings/sec, 25 secs
lola: 48353 markings, 108405 edges, 1486 markings/sec, 30 secs
lola: 55041 markings, 124553 edges, 1338 markings/sec, 35 secs
lola: 61538 markings, 139686 edges, 1299 markings/sec, 40 secs
lola: 68339 markings, 155973 edges, 1360 markings/sec, 45 secs
lola: 75051 markings, 171564 edges, 1342 markings/sec, 50 secs
lola: 82674 markings, 188779 edges, 1525 markings/sec, 55 secs
lola: 90803 markings, 208664 edges, 1626 markings/sec, 60 secs
lola: 97779 markings, 225868 edges, 1395 markings/sec, 65 secs
lola: 104209 markings, 241078 edges, 1286 markings/sec, 70 secs
lola: 110953 markings, 257010 edges, 1349 markings/sec, 75 secs
lola: 117820 markings, 273553 edges, 1373 markings/sec, 80 secs
lola: 124567 markings, 289910 edges, 1349 markings/sec, 85 secs
lola: 131282 markings, 305644 edges, 1343 markings/sec, 90 secs
lola: 138099 markings, 321193 edges, 1363 markings/sec, 95 secs
lola: 144532 markings, 336212 edges, 1287 markings/sec, 100 secs
lola: 150591 markings, 350422 edges, 1212 markings/sec, 105 secs
lola: 158590 markings, 370869 edges, 1600 markings/sec, 110 secs
lola: 165749 markings, 388930 edges, 1432 markings/sec, 115 secs
lola: 172179 markings, 404655 edges, 1286 markings/sec, 120 secs
lola: 178795 markings, 420333 edges, 1323 markings/sec, 125 secs
lola: 185321 markings, 435563 edges, 1305 markings/sec, 130 secs
lola: 192415 markings, 452882 edges, 1419 markings/sec, 135 secs
lola: 199277 markings, 469880 edges, 1372 markings/sec, 140 secs
lola: 206134 markings, 486459 edges, 1371 markings/sec, 145 secs
lola: 212913 markings, 503044 edges, 1356 markings/sec, 150 secs
lola: 219738 markings, 519329 edges, 1365 markings/sec, 155 secs
lola: 226328 markings, 534960 edges, 1318 markings/sec, 160 secs
lola: 232758 markings, 549558 edges, 1286 markings/sec, 165 secs
lola: 239049 markings, 564777 edges, 1258 markings/sec, 170 secs
lola: 244471 markings, 577262 edges, 1084 markings/sec, 175 secs
lola: 248480 markings, 585960 edges, 802 markings/sec, 180 secs
lola: 253539 markings, 599168 edges, 1012 markings/sec, 185 secs
lola: 261498 markings, 619896 edges, 1592 markings/sec, 190 secs
lola: 269028 markings, 639352 edges, 1506 markings/sec, 195 secs
lola: 276143 markings, 657435 edges, 1423 markings/sec, 200 secs
lola: 282555 markings, 673488 edges, 1282 markings/sec, 205 secs
lola: 288640 markings, 688210 edges, 1217 markings/sec, 210 secs
lola: 295362 markings, 704140 edges, 1344 markings/sec, 215 secs
lola: 302039 markings, 720058 edges, 1335 markings/sec, 220 secs
lola: 308454 markings, 734841 edges, 1283 markings/sec, 225 secs
lola: 314075 markings, 749310 edges, 1124 markings/sec, 230 secs
lola: 319438 markings, 762449 edges, 1073 markings/sec, 235 secs
lola: 324959 markings, 776064 edges, 1104 markings/sec, 240 secs
lola: 330865 markings, 790913 edges, 1181 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: 15864 markings, 25840 edges, 3173 markings/sec, 0 secs
lola: 36606 markings, 60752 edges, 4148 markings/sec, 5 secs
lola: 58842 markings, 98353 edges, 4447 markings/sec, 10 secs
lola: 78700 markings, 130967 edges, 3972 markings/sec, 15 secs
lola: 80786 markings, 134096 edges, 417 markings/sec, 20 secs
lola: 93121 markings, 154112 edges, 2467 markings/sec, 25 secs
lola: 115755 markings, 192187 edges, 4527 markings/sec, 30 secs
lola: 138411 markings, 230555 edges, 4531 markings/sec, 35 secs
lola: 160762 markings, 267472 edges, 4470 markings/sec, 40 secs
lola: 183137 markings, 305130 edges, 4475 markings/sec, 45 secs
lola: 205061 markings, 342111 edges, 4385 markings/sec, 50 secs
lola: 226721 markings, 377937 edges, 4332 markings/sec, 55 secs
lola: 249057 markings, 415454 edges, 4467 markings/sec, 60 secs
lola: 270991 markings, 452604 edges, 4387 markings/sec, 65 secs
lola: 292724 markings, 488425 edges, 4347 markings/sec, 70 secs
lola: 315205 markings, 526281 edges, 4496 markings/sec, 75 secs
lola: 337661 markings, 564249 edges, 4491 markings/sec, 80 secs
lola: 359929 markings, 600901 edges, 4454 markings/sec, 85 secs
lola: 380331 markings, 635364 edges, 4080 markings/sec, 90 secs
lola: 400295 markings, 669021 edges, 3993 markings/sec, 95 secs
lola: 419975 markings, 701401 edges, 3936 markings/sec, 100 secs
lola: 442311 markings, 739059 edges, 4467 markings/sec, 105 secs
lola: 464405 markings, 775601 edges, 4419 markings/sec, 110 secs
lola: 486857 markings, 813334 edges, 4490 markings/sec, 115 secs
lola: 509289 markings, 851270 edges, 4486 markings/sec, 120 secs
lola: 530985 markings, 886933 edges, 4339 markings/sec, 125 secs
lola: 552741 markings, 923760 edges, 4351 markings/sec, 130 secs
lola: 574563 markings, 959711 edges, 4364 markings/sec, 135 secs
lola: 596661 markings, 996997 edges, 4420 markings/sec, 140 secs
lola: 618225 markings, 1032486 edges, 4313 markings/sec, 145 secs
lola: 640203 markings, 1069585 edges, 4396 markings/sec, 150 secs
lola: 661697 markings, 1104997 edges, 4299 markings/sec, 155 secs
lola: 683649 markings, 1142029 edges, 4390 markings/sec, 160 secs
lola: 705069 markings, 1177333 edges, 4284 markings/sec, 165 secs
lola: 726975 markings, 1214283 edges, 4381 markings/sec, 170 secs
lola: 748471 markings, 1249697 edges, 4299 markings/sec, 175 secs
lola: 769991 markings, 1285289 edges, 4304 markings/sec, 180 secs
lola: 791959 markings, 1322203 edges, 4394 markings/sec, 185 secs
lola: 813215 markings, 1357279 edges, 4251 markings/sec, 190 secs
lola: 832609 markings, 1389321 edges, 3879 markings/sec, 195 secs
lola: 852583 markings, 1422804 edges, 3995 markings/sec, 200 secs
lola: 872217 markings, 1455182 edges, 3927 markings/sec, 205 secs
lola: 893549 markings, 1490369 edges, 4266 markings/sec, 210 secs
lola: 914891 markings, 1525680 edges, 4268 markings/sec, 215 secs
lola: 936203 markings, 1560906 edges, 4262 markings/sec, 220 secs
lola: 957441 markings, 1595960 edges, 4248 markings/sec, 225 secs
lola: 978739 markings, 1631059 edges, 4260 markings/sec, 230 secs
lola: 999967 markings, 1666058 edges, 4246 markings/sec, 235 secs
lola: 1021203 markings, 1701080 edges, 4247 markings/sec, 240 secs
lola: 1041803 markings, 1734588 edges, 4120 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: 3651 markings, 6592 edges, 730 markings/sec, 0 secs
lola: 6994 markings, 13930 edges, 669 markings/sec, 5 secs
lola: 9932 markings, 20414 edges, 588 markings/sec, 10 secs
lola: 13223 markings, 28016 edges, 658 markings/sec, 15 secs
lola: 16037 markings, 34525 edges, 563 markings/sec, 20 secs
lola: 18802 markings, 40850 edges, 553 markings/sec, 25 secs
lola: 21669 markings, 47307 edges, 573 markings/sec, 30 secs
lola: 24729 markings, 54577 edges, 612 markings/sec, 35 secs
lola: 27840 markings, 62172 edges, 622 markings/sec, 40 secs
lola: 30597 markings, 68602 edges, 551 markings/sec, 45 secs
lola: 33352 markings, 75230 edges, 551 markings/sec, 50 secs
lola: 35939 markings, 81595 edges, 517 markings/sec, 55 secs
lola: 38552 markings, 87603 edges, 523 markings/sec, 60 secs
lola: 41184 markings, 93843 edges, 526 markings/sec, 65 secs
lola: 44096 markings, 100205 edges, 582 markings/sec, 70 secs
lola: 47025 markings, 107427 edges, 586 markings/sec, 75 secs
lola: 49442 markings, 113669 edges, 483 markings/sec, 80 secs
lola: 52047 markings, 120172 edges, 521 markings/sec, 85 secs
lola: 54492 markings, 126230 edges, 489 markings/sec, 90 secs
lola: 56942 markings, 131884 edges, 490 markings/sec, 95 secs
lola: 59086 markings, 137179 edges, 429 markings/sec, 100 secs
lola: 61637 markings, 143652 edges, 510 markings/sec, 105 secs
lola: 64251 markings, 149999 edges, 523 markings/sec, 110 secs
lola: 66827 markings, 156294 edges, 515 markings/sec, 115 secs
lola: 69376 markings, 162589 edges, 510 markings/sec, 120 secs
lola: 71952 markings, 168967 edges, 515 markings/sec, 125 secs
lola: 74572 markings, 174826 edges, 524 markings/sec, 130 secs
lola: 77150 markings, 181300 edges, 516 markings/sec, 135 secs
lola: 79944 markings, 187673 edges, 559 markings/sec, 140 secs
lola: 82922 markings, 194088 edges, 596 markings/sec, 145 secs
lola: 85572 markings, 201131 edges, 530 markings/sec, 150 secs
lola: 88405 markings, 208573 edges, 567 markings/sec, 155 secs
lola: 91336 markings, 216181 edges, 586 markings/sec, 160 secs
lola: 94292 markings, 223759 edges, 591 markings/sec, 165 secs
lola: 97275 markings, 231108 edges, 597 markings/sec, 170 secs
lola: 99775 markings, 237464 edges, 500 markings/sec, 175 secs
lola: 102424 markings, 243845 edges, 530 markings/sec, 180 secs
lola: 105159 markings, 250318 edges, 547 markings/sec, 185 secs
lola: 107790 markings, 256958 edges, 526 markings/sec, 190 secs
lola: 109893 markings, 262469 edges, 421 markings/sec, 195 secs
lola: 112003 markings, 267838 edges, 422 markings/sec, 200 secs
lola: 114284 markings, 273432 edges, 456 markings/sec, 205 secs
lola: 116338 markings, 278922 edges, 411 markings/sec, 210 secs
lola: 118379 markings, 283980 edges, 408 markings/sec, 215 secs
lola: 120738 markings, 289940 edges, 472 markings/sec, 220 secs
lola: 123287 markings, 296131 edges, 510 markings/sec, 225 secs
lola: 125742 markings, 302384 edges, 491 markings/sec, 230 secs
lola: 128284 markings, 308660 edges, 508 markings/sec, 235 secs
lola: 130804 markings, 314683 edges, 504 markings/sec, 240 secs
lola: 133406 markings, 320551 edges, 520 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: 8456 markings, 19065 edges, 1691 markings/sec, 0 secs
lola: 16549 markings, 38306 edges, 1619 markings/sec, 5 secs
lola: 25332 markings, 58123 edges, 1757 markings/sec, 10 secs
lola: 29615 markings, 66689 edges, 857 markings/sec, 15 secs
lola: 34494 markings, 72168 edges, 976 markings/sec, 20 secs
lola: 40420 markings, 84674 edges, 1185 markings/sec, 25 secs
lola: 45009 markings, 95033 edges, 918 markings/sec, 30 secs
lola: 48673 markings, 103515 edges, 733 markings/sec, 35 secs
lola: 52086 markings, 111463 edges, 683 markings/sec, 40 secs
lola: 55388 markings, 119046 edges, 660 markings/sec, 45 secs
lola: 58298 markings, 125858 edges, 582 markings/sec, 50 secs
lola: 61130 markings, 132463 edges, 566 markings/sec, 55 secs
lola: 66788 markings, 144799 edges, 1132 markings/sec, 60 secs
lola: 75824 markings, 170023 edges, 1807 markings/sec, 65 secs
lola: 83818 markings, 192989 edges, 1599 markings/sec, 70 secs
lola: 92850 markings, 217501 edges, 1806 markings/sec, 75 secs
lola: 96759 markings, 227949 edges, 782 markings/sec, 80 secs
lola: 98651 markings, 232868 edges, 378 markings/sec, 85 secs
lola: 103226 markings, 243240 edges, 915 markings/sec, 90 secs
lola: 106736 markings, 251670 edges, 702 markings/sec, 95 secs
lola: 109878 markings, 259195 edges, 628 markings/sec, 100 secs
lola: 112749 markings, 266093 edges, 574 markings/sec, 105 secs
lola: 115230 markings, 272095 edges, 496 markings/sec, 110 secs
lola: 117420 markings, 277357 edges, 438 markings/sec, 115 secs
lola: 120351 markings, 283725 edges, 586 markings/sec, 120 secs
lola: 127748 markings, 302094 edges, 1479 markings/sec, 125 secs
lola: 136191 markings, 326312 edges, 1689 markings/sec, 130 secs
lola: 143287 markings, 346641 edges, 1419 markings/sec, 135 secs
lola: 150633 markings, 364578 edges, 1469 markings/sec, 140 secs
lola: 154381 markings, 373423 edges, 750 markings/sec, 145 secs
lola: 157625 markings, 381188 edges, 649 markings/sec, 150 secs
lola: 160531 markings, 388153 edges, 581 markings/sec, 155 secs
lola: 163266 markings, 394776 edges, 547 markings/sec, 160 secs
lola: 166006 markings, 401331 edges, 548 markings/sec, 165 secs
lola: 168538 markings, 407448 edges, 506 markings/sec, 170 secs
lola: 175358 markings, 422879 edges, 1364 markings/sec, 175 secs
lola: 184307 markings, 448364 edges, 1790 markings/sec, 180 secs
lola: 192472 markings, 471898 edges, 1633 markings/sec, 185 secs
lola: 200106 markings, 490080 edges, 1527 markings/sec, 190 secs
lola: 204017 markings, 499372 edges, 782 markings/sec, 195 secs
lola: 207209 markings, 507028 edges, 638 markings/sec, 200 secs
lola: 210199 markings, 514191 edges, 598 markings/sec, 205 secs
lola: 212868 markings, 520613 edges, 534 markings/sec, 210 secs
lola: 215483 markings, 526906 edges, 523 markings/sec, 215 secs
lola: 221232 markings, 539410 edges, 1150 markings/sec, 220 secs
lola: 229881 markings, 563883 edges, 1730 markings/sec, 225 secs
lola: 237605 markings, 586054 edges, 1545 markings/sec, 230 secs
lola: 245362 markings, 604988 edges, 1551 markings/sec, 235 secs
lola: 249121 markings, 613891 edges, 752 markings/sec, 240 secs
lola: 252146 markings, 621159 edges, 605 markings/sec, 245 secs
lola: 254938 markings, 627821 edges, 558 markings/sec, 250 secs
lola: 257467 markings, 633961 edges, 506 markings/sec, 255 secs
lola: 259863 markings, 639654 edges, 479 markings/sec, 260 secs
lola: 264917 markings, 650854 edges, 1011 markings/sec, 265 secs
lola: 273203 markings, 673676 edges, 1657 markings/sec, 270 secs
lola: 280908 markings, 695726 edges, 1541 markings/sec, 275 secs
lola: 288448 markings, 714116 edges, 1508 markings/sec, 280 secs
lola: 292260 markings, 723151 edges, 762 markings/sec, 285 secs
lola: 295377 markings, 730596 edges, 623 markings/sec, 290 secs
lola: 298174 markings, 737324 edges, 559 markings/sec, 295 secs
lola: 300384 markings, 742666 edges, 442 markings/sec, 300 secs
lola: 302461 markings, 747663 edges, 415 markings/sec, 305 secs
lola: 308146 markings, 760206 edges, 1137 markings/sec, 310 secs
lola: 316765 markings, 784749 edges, 1724 markings/sec, 315 secs
lola: 325500 markings, 808738 edges, 1747 markings/sec, 320 secs
lola: 330806 markings, 820902 edges, 1061 markings/sec, 325 secs
lola: 334185 markings, 828974 edges, 676 markings/sec, 330 secs
lola: 337102 markings, 835961 edges, 583 markings/sec, 335 secs
lola: 339804 markings, 842455 edges, 540 markings/sec, 340 secs
lola: 342312 markings, 848536 edges, 502 markings/sec, 345 secs
lola: 350255 markings, 867617 edges, 1589 markings/sec, 350 secs
lola: 358578 markings, 891398 edges, 1665 markings/sec, 355 secs
lola: 366680 markings, 911872 edges, 1620 markings/sec, 360 secs
lola: 370361 markings, 920551 edges, 736 markings/sec, 365 secs
lola: 373431 markings, 927911 edges, 614 markings/sec, 370 secs
lola: 376255 markings, 934653 edges, 565 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: 3814 markings, 6931 edges, 763 markings/sec, 0 secs
lola: 7182 markings, 14397 edges, 674 markings/sec, 5 secs
lola: 10319 markings, 21205 edges, 627 markings/sec, 10 secs
lola: 13635 markings, 28929 edges, 663 markings/sec, 15 secs
lola: 16552 markings, 35682 edges, 583 markings/sec, 20 secs
lola: 19327 markings, 41943 edges, 555 markings/sec, 25 secs
lola: 22216 markings, 48454 edges, 578 markings/sec, 30 secs
lola: 25421 markings, 56305 edges, 641 markings/sec, 35 secs
lola: 28494 markings, 63682 edges, 615 markings/sec, 40 secs
lola: 31359 markings, 70401 edges, 573 markings/sec, 45 secs
lola: 34012 markings, 76920 edges, 531 markings/sec, 50 secs
lola: 36747 markings, 83381 edges, 547 markings/sec, 55 secs
lola: 39510 markings, 89678 edges, 553 markings/sec, 60 secs
lola: 42340 markings, 96422 edges, 566 markings/sec, 65 secs
lola: 45220 markings, 102777 edges, 576 markings/sec, 70 secs
lola: 48114 markings, 110290 edges, 579 markings/sec, 75 secs
lola: 51204 markings, 118095 edges, 618 markings/sec, 80 secs
lola: 54168 markings, 125403 edges, 593 markings/sec, 85 secs
lola: 56997 markings, 132004 edges, 566 markings/sec, 90 secs
lola: 59699 markings, 138528 edges, 540 markings/sec, 95 secs
lola: 62114 markings, 144721 edges, 483 markings/sec, 100 secs
lola: 64522 markings, 150717 edges, 482 markings/sec, 105 secs
lola: 66903 markings, 156518 edges, 476 markings/sec, 110 secs
lola: 69193 markings, 162112 edges, 458 markings/sec, 115 secs
lola: 71499 markings, 167777 edges, 461 markings/sec, 120 secs
lola: 73995 markings, 173615 edges, 499 markings/sec, 125 secs
lola: 76405 markings, 179437 edges, 482 markings/sec, 130 secs
lola: 78895 markings, 185309 edges, 498 markings/sec, 135 secs
lola: 81198 markings, 190439 edges, 461 markings/sec, 140 secs
lola: 83813 markings, 196427 edges, 523 markings/sec, 145 secs
lola: 86485 markings, 203474 edges, 534 markings/sec, 150 secs
lola: 88740 markings, 209436 edges, 451 markings/sec, 155 secs
lola: 91164 markings, 215765 edges, 485 markings/sec, 160 secs
lola: 93932 markings, 222790 edges, 554 markings/sec, 165 secs
lola: 96588 markings, 229405 edges, 531 markings/sec, 170 secs
lola: 98952 markings, 235379 edges, 473 markings/sec, 175 secs
lola: 101227 markings, 241065 edges, 455 markings/sec, 180 secs
lola: 103758 markings, 246871 edges, 506 markings/sec, 185 secs
lola: 106154 markings, 253003 edges, 479 markings/sec, 190 secs
lola: 108871 markings, 259718 edges, 543 markings/sec, 195 secs
lola: 111306 markings, 266213 edges, 487 markings/sec, 200 secs
lola: 113963 markings, 272631 edges, 531 markings/sec, 205 secs
lola: 116382 markings, 279058 edges, 484 markings/sec, 210 secs
lola: 119070 markings, 285472 edges, 538 markings/sec, 215 secs
lola: 121540 markings, 292022 edges, 494 markings/sec, 220 secs
lola: 124190 markings, 298552 edges, 530 markings/sec, 225 secs
lola: 126849 markings, 305063 edges, 532 markings/sec, 230 secs
lola: 129420 markings, 311440 edges, 514 markings/sec, 235 secs
lola: 131946 markings, 317426 edges, 505 markings/sec, 240 secs
lola: 134680 markings, 323828 edges, 547 markings/sec, 245 secs
lola: 137040 markings, 329935 edges, 472 markings/sec, 250 secs
lola: 139936 markings, 336722 edges, 579 markings/sec, 255 secs
lola: 142437 markings, 342306 edges, 500 markings/sec, 260 secs
lola: 145312 markings, 348521 edges, 575 markings/sec, 265 secs
lola: 147758 markings, 354991 edges, 489 markings/sec, 270 secs
lola: 150462 markings, 362187 edges, 541 markings/sec, 275 secs
lola: 153137 markings, 369411 edges, 535 markings/sec, 280 secs
lola: 156048 markings, 377055 edges, 582 markings/sec, 285 secs
lola: 158775 markings, 384276 edges, 545 markings/sec, 290 secs
lola: 161571 markings, 391617 edges, 559 markings/sec, 295 secs
lola: 164571 markings, 399327 edges, 600 markings/sec, 300 secs
lola: 167397 markings, 406545 edges, 565 markings/sec, 305 secs
lola: 170268 markings, 413536 edges, 574 markings/sec, 310 secs
lola: 172613 markings, 419821 edges, 469 markings/sec, 315 secs
lola: 174897 markings, 425553 edges, 457 markings/sec, 320 secs
lola: 177096 markings, 430917 edges, 440 markings/sec, 325 secs
lola: 179530 markings, 436581 edges, 487 markings/sec, 330 secs
lola: 181882 markings, 442519 edges, 470 markings/sec, 335 secs
lola: 184068 markings, 448358 edges, 437 markings/sec, 340 secs
lola: 186767 markings, 454993 edges, 540 markings/sec, 345 secs
lola: 189100 markings, 461265 edges, 467 markings/sec, 350 secs
lola: 191529 markings, 467460 edges, 486 markings/sec, 355 secs
lola: 193836 markings, 473446 edges, 461 markings/sec, 360 secs
lola: 196510 markings, 480224 edges, 535 markings/sec, 365 secs
lola: 198860 markings, 486518 edges, 470 markings/sec, 370 secs
lola: 201308 markings, 492683 edges, 490 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 unknownlola:
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 1496353322205

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_BridgeAndVehicles-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/S_BridgeAndVehicles-PT-V50P20N50.tgz
mv S_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 S_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 r088-csrt-149441074500488"
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 ;