About the Execution of LoLA for BridgeAndVehicles-PT-V50P50N10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1057.030 | 2788529.00 | 2796447.00 | 177.50 | ? ? 1 ? ? ? 1 1 ? ? ? 1 ? 1 50 ? | normal |
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-V50P50N10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r008-csrt-149436126400497
=====================================================================
--------------------
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-V50P50N10-UpperBounds-0
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-1
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-10
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-11
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-12
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-13
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-14
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-15
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-2
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-3
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-4
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-5
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-6
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-7
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-8
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494615777478
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ BridgeAndVehicles-PT-V50P50N10 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1456/65536 symbol table entries, 11 collisions
lola: preprocessing...
lola: finding significant places
lola: 128 places, 1328 transitions, 121 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1653 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V50P50N10-UpperBounds.task
lola: MAX(CAPACITE) : MAX(SORTI_B) : MAX(SUR_PONT_B) : MAX(CAPACITE) : MAX(ATTENTE_B) : MAX(NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + NB_ATTENTE_B_32 + NB_ATTENTE_B_33 + NB_ATTENTE_B_34 + NB_ATTENTE_B_35 + NB_ATTENTE_B_36 + NB_ATTENTE_B_37 + NB_ATTENTE_B_38 + NB_ATTENTE_B_39 + NB_ATTENTE_B_40 + NB_ATTENTE_B_41 + NB_ATTENTE_B_42 + NB_ATTENTE_B_43 + NB_ATTENTE_B_44 + NB_ATTENTE_B_45 + NB_ATTENTE_B_46 + NB_ATTENTE_B_47 + NB_ATTENTE_B_48 + NB_ATTENTE_B_49 + NB_ATTENTE_B_50 + NB_ATTENTE_B_0 + NB_ATTENTE_B_1 + NB_ATTENTE_B_2 + NB_ATTENTE_B_3 + NB_ATTENTE_B_4 + NB_ATTENTE_B_5 + NB_ATTENTE_B_6 + NB_ATTENTE_B_7 + NB_ATTENTE_B_8 + NB_ATTENTE_B_9) : MAX(ATTENTE_A) : MAX(NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + NB_ATTENTE_B_32 + NB_ATTENTE_B_33 + NB_ATTENTE_B_34 + NB_ATTENTE_B_35 + NB_ATTENTE_B_36 + NB_ATTENTE_B_37 + NB_ATTENTE_B_38 + NB_ATTENTE_B_39 + NB_ATTENTE_B_40 + NB_ATTENTE_B_41 + NB_ATTENTE_B_42 + NB_ATTENTE_B_43 + NB_ATTENTE_B_44 + NB_ATTENTE_B_45 + NB_ATTENTE_B_46 + NB_ATTENTE_B_47 + NB_ATTENTE_B_48 + NB_ATTENTE_B_49 + NB_ATTENTE_B_50 + NB_ATTENTE_B_0 + NB_ATTENTE_B_1 + NB_ATTENTE_B_2 + NB_ATTENTE_B_3 + NB_ATTENTE_B_4 + NB_ATTENTE_B_5 + NB_ATTENTE_B_6 + NB_ATTENTE_B_7 + NB_ATTENTE_B_8 + NB_ATTENTE_B_9) : MAX(ROUTE_B) : MAX(ATTENTE_B) : MAX(NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + NB_ATTENTE_B_32 + NB_ATTENTE_B_33 + NB_ATTENTE_B_34 + NB_ATTENTE_B_35 + NB_ATTENTE_B_36 + NB_ATTENTE_B_37 + NB_ATTENTE_B_38 + NB_ATTENTE_B_39 + NB_ATTENTE_B_40 + NB_ATTENTE_B_41 + NB_ATTENTE_B_42 + NB_ATTENTE_B_43 + NB_ATTENTE_B_44 + NB_ATTENTE_B_45 + NB_ATTENTE_B_46 + NB_ATTENTE_B_47 + NB_ATTENTE_B_48 + NB_ATTENTE_B_49 + NB_ATTENTE_B_50 + NB_ATTENTE_B_0 + NB_ATTENTE_B_1 + NB_ATTENTE_B_2 + NB_ATTENTE_B_3 + NB_ATTENTE_B_4 + NB_ATTENTE_B_5 + NB_ATTENTE_B_6 + NB_ATTENTE_B_7 + NB_ATTENTE_B_8 + NB_ATTENTE_B_9) : MAX(SUR_PONT_A) : MAX(CHOIX_1 + CHOIX_2) : MAX(SORTI_A) : MAX(NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + NB_ATTENTE_B_32 + NB_ATTENTE_B_33 + NB_ATTENTE_B_34 + NB_ATTENTE_B_35 + NB_ATTENTE_B_36 + NB_ATTENTE_B_37 + NB_ATTENTE_B_38 + NB_ATTENTE_B_39 + NB_ATTENTE_B_40 + NB_ATTENTE_B_41 + NB_ATTENTE_B_42 + NB_ATTENTE_B_43 + NB_ATTENTE_B_44 + NB_ATTENTE_B_45 + NB_ATTENTE_B_46 + NB_ATTENTE_B_47 + NB_ATTENTE_B_48 + NB_ATTENTE_B_49 + NB_ATTENTE_B_50 + NB_ATTENTE_B_0 + NB_ATTENTE_B_1 + NB_ATTENTE_B_2 + NB_ATTENTE_B_3 + NB_ATTENTE_B_4 + NB_ATTENTE_B_5 + NB_ATTENTE_B_6 + NB_ATTENTE_B_7 + NB_ATTENTE_B_8 + NB_ATTENTE_B_9) : 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)
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(CAPACITE)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 484 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: 41217 markings, 103243 edges, 8243 markings/sec, 0 secs
lola: 76854 markings, 198032 edges, 7127 markings/sec, 5 secs
lola: 113084 markings, 294508 edges, 7246 markings/sec, 10 secs
lola: 148575 markings, 389814 edges, 7098 markings/sec, 15 secs
lola: 183853 markings, 486426 edges, 7056 markings/sec, 20 secs
lola: 225368 markings, 602223 edges, 8303 markings/sec, 25 secs
lola: 265684 markings, 713750 edges, 8063 markings/sec, 30 secs
lola: 306811 markings, 830949 edges, 8225 markings/sec, 35 secs
lola: 348256 markings, 945550 edges, 8289 markings/sec, 40 secs
lola: 387398 markings, 1057585 edges, 7828 markings/sec, 45 secs
lola: 429978 markings, 1176093 edges, 8516 markings/sec, 50 secs
lola: 470059 markings, 1290317 edges, 8016 markings/sec, 55 secs
lola: 512941 markings, 1410232 edges, 8576 markings/sec, 60 secs
lola: 555329 markings, 1532473 edges, 8478 markings/sec, 65 secs
lola: 597962 markings, 1651416 edges, 8527 markings/sec, 70 secs
lola: 643166 markings, 1781025 edges, 9041 markings/sec, 75 secs
lola: 682576 markings, 1895217 edges, 7882 markings/sec, 80 secs
lola: 725257 markings, 2013707 edges, 8536 markings/sec, 85 secs
lola: 766136 markings, 2131393 edges, 8176 markings/sec, 90 secs
lola: 806628 markings, 2247873 edges, 8098 markings/sec, 95 secs
lola: 851510 markings, 2373879 edges, 8976 markings/sec, 100 secs
lola: 889787 markings, 2484250 edges, 7655 markings/sec, 105 secs
lola: 929533 markings, 2600668 edges, 7949 markings/sec, 110 secs
lola: 971547 markings, 2717229 edges, 8403 markings/sec, 115 secs
lola: 1014215 markings, 2839806 edges, 8534 markings/sec, 120 secs
lola: 1052928 markings, 2952553 edges, 7743 markings/sec, 125 secs
lola: 1091939 markings, 3065892 edges, 7802 markings/sec, 130 secs
lola: 1139528 markings, 3199532 edges, 9518 markings/sec, 135 secs
lola: 1179942 markings, 3316147 edges, 8083 markings/sec, 140 secs
lola: 1220639 markings, 3435447 edges, 8139 markings/sec, 145 secs
lola: 1255885 markings, 3529214 edges, 7049 markings/sec, 150 secs
lola: 1291751 markings, 3624128 edges, 7173 markings/sec, 155 secs
lola: 1327785 markings, 3725456 edges, 7207 markings/sec, 160 secs
lola: 1364713 markings, 3832441 edges, 7386 markings/sec, 165 secs
lola: 1400155 markings, 3932571 edges, 7088 markings/sec, 170 secs
lola: 1437766 markings, 4039339 edges, 7522 markings/sec, 175 secs
lola: 1475706 markings, 4148816 edges, 7588 markings/sec, 180 secs
lola: 1515286 markings, 4263972 edges, 7916 markings/sec, 185 secs
lola: 1554022 markings, 4375283 edges, 7747 markings/sec, 190 secs
lola: 1590973 markings, 4473519 edges, 7390 markings/sec, 195 secs
lola: 1629337 markings, 4575292 edges, 7673 markings/sec, 200 secs
lola: 1669842 markings, 4689715 edges, 8101 markings/sec, 205 secs
lola: 1707891 markings, 4795066 edges, 7610 markings/sec, 210 secs
lola: 1747198 markings, 4907370 edges, 7861 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(SORTI_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 484 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: 42780 markings, 92220 edges, 8556 markings/sec, 0 secs
lola: 82503 markings, 184390 edges, 7945 markings/sec, 5 secs
lola: 120235 markings, 272272 edges, 7546 markings/sec, 10 secs
lola: 157928 markings, 362720 edges, 7539 markings/sec, 15 secs
lola: 194471 markings, 448922 edges, 7309 markings/sec, 20 secs
lola: 232769 markings, 539145 edges, 7660 markings/sec, 25 secs
lola: 271913 markings, 630581 edges, 7829 markings/sec, 30 secs
lola: 308735 markings, 713055 edges, 7364 markings/sec, 35 secs
lola: 347866 markings, 799660 edges, 7826 markings/sec, 40 secs
lola: 381571 markings, 878796 edges, 6741 markings/sec, 45 secs
lola: 416741 markings, 961170 edges, 7034 markings/sec, 50 secs
lola: 454210 markings, 1049949 edges, 7494 markings/sec, 55 secs
lola: 492125 markings, 1139410 edges, 7583 markings/sec, 60 secs
lola: 530623 markings, 1230837 edges, 7700 markings/sec, 65 secs
lola: 569269 markings, 1321792 edges, 7729 markings/sec, 70 secs
lola: 608862 markings, 1415293 edges, 7919 markings/sec, 75 secs
lola: 648537 markings, 1507952 edges, 7935 markings/sec, 80 secs
lola: 683606 markings, 1590656 edges, 7014 markings/sec, 85 secs
lola: 719018 markings, 1675184 edges, 7082 markings/sec, 90 secs
lola: 754425 markings, 1746790 edges, 7081 markings/sec, 95 secs
lola: 790221 markings, 1828710 edges, 7159 markings/sec, 100 secs
lola: 823956 markings, 1908754 edges, 6747 markings/sec, 105 secs
lola: 861129 markings, 1998896 edges, 7435 markings/sec, 110 secs
lola: 893088 markings, 2075761 edges, 6392 markings/sec, 115 secs
lola: 931478 markings, 2168280 edges, 7678 markings/sec, 120 secs
lola: 966480 markings, 2254480 edges, 7000 markings/sec, 125 secs
lola: 1003338 markings, 2341615 edges, 7372 markings/sec, 130 secs
lola: 1041259 markings, 2434125 edges, 7584 markings/sec, 135 secs
lola: 1077375 markings, 2522359 edges, 7223 markings/sec, 140 secs
lola: 1113168 markings, 2606901 edges, 7159 markings/sec, 145 secs
lola: 1152193 markings, 2700591 edges, 7805 markings/sec, 150 secs
lola: 1189594 markings, 2791213 edges, 7480 markings/sec, 155 secs
lola: 1227681 markings, 2882522 edges, 7617 markings/sec, 160 secs
lola: 1264179 markings, 2971796 edges, 7300 markings/sec, 165 secs
lola: 1301907 markings, 3054995 edges, 7546 markings/sec, 170 secs
lola: 1341004 markings, 3136333 edges, 7819 markings/sec, 175 secs
lola: 1379664 markings, 3224015 edges, 7732 markings/sec, 180 secs
lola: 1417340 markings, 3313659 edges, 7535 markings/sec, 185 secs
lola: 1453487 markings, 3403614 edges, 7229 markings/sec, 190 secs
lola: 1491758 markings, 3494982 edges, 7654 markings/sec, 195 secs
lola: 1523298 markings, 3573352 edges, 6308 markings/sec, 200 secs
lola: 1560078 markings, 3663162 edges, 7356 markings/sec, 205 secs
lola: 1595031 markings, 3748447 edges, 6991 markings/sec, 210 secs
lola: 1634670 markings, 3844142 edges, 7928 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SUR_PONT_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 484 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: 42035 markings, 87828 edges, 8407 markings/sec, 0 secs
lola: 81251 markings, 181918 edges, 7843 markings/sec, 5 secs
lola: 120834 markings, 273813 edges, 7917 markings/sec, 10 secs
lola: 161922 markings, 371291 edges, 8218 markings/sec, 15 secs
lola: 201685 markings, 464515 edges, 7953 markings/sec, 20 secs
lola: 242180 markings, 560753 edges, 8099 markings/sec, 25 secs
lola: 281710 markings, 652729 edges, 7906 markings/sec, 30 secs
lola: 320460 markings, 738377 edges, 7750 markings/sec, 35 secs
lola: 359721 markings, 828699 edges, 7852 markings/sec, 40 secs
lola: 396915 markings, 914843 edges, 7439 markings/sec, 45 secs
lola: 435168 markings, 1004275 edges, 7651 markings/sec, 50 secs
lola: 473291 markings, 1095046 edges, 7625 markings/sec, 55 secs
lola: 512137 markings, 1186852 edges, 7769 markings/sec, 60 secs
lola: 550280 markings, 1277835 edges, 7629 markings/sec, 65 secs
lola: 589159 markings, 1369591 edges, 7776 markings/sec, 70 secs
lola: 627426 markings, 1460077 edges, 7653 markings/sec, 75 secs
lola: 663258 markings, 1544558 edges, 7166 markings/sec, 80 secs
lola: 698020 markings, 1626561 edges, 6952 markings/sec, 85 secs
lola: 733892 markings, 1710823 edges, 7174 markings/sec, 90 secs
lola: 767332 markings, 1785789 edges, 6688 markings/sec, 95 secs
lola: 801145 markings, 1859225 edges, 6763 markings/sec, 100 secs
lola: 840169 markings, 1953329 edges, 7805 markings/sec, 105 secs
lola: 872734 markings, 2031770 edges, 6513 markings/sec, 110 secs
lola: 912953 markings, 2129024 edges, 8044 markings/sec, 115 secs
lola: 950929 markings, 2222898 edges, 7595 markings/sec, 120 secs
lola: 988064 markings, 2310809 edges, 7427 markings/sec, 125 secs
lola: 1025209 markings, 2401350 edges, 7429 markings/sec, 130 secs
lola: 1061221 markings, 2488652 edges, 7202 markings/sec, 135 secs
lola: 1098642 markings, 2579209 edges, 7484 markings/sec, 140 secs
lola: 1136635 markings, 2671041 edges, 7599 markings/sec, 145 secs
lola: 1173607 markings, 2761442 edges, 7394 markings/sec, 150 secs
lola: 1210096 markings, 2848752 edges, 7298 markings/sec, 155 secs
lola: 1246537 markings, 2936547 edges, 7288 markings/sec, 160 secs
lola: 1284343 markings, 3028559 edges, 7561 markings/sec, 165 secs
lola: 1321052 markings, 3118430 edges, 7342 markings/sec, 170 secs
lola: 1356328 markings, 3200605 edges, 7055 markings/sec, 175 secs
lola: 1391402 markings, 3280586 edges, 7015 markings/sec, 180 secs
lola: 1426189 markings, 3357825 edges, 6957 markings/sec, 185 secs
lola: 1463394 markings, 3446169 edges, 7441 markings/sec, 190 secs
lola: 1499662 markings, 3533367 edges, 7254 markings/sec, 195 secs
lola: 1534667 markings, 3620344 edges, 7001 markings/sec, 200 secs
lola: 1572944 markings, 3714912 edges, 7655 markings/sec, 205 secs
lola: 1608824 markings, 3802437 edges, 7176 markings/sec, 210 secs
lola: 1648212 markings, 3899519 edges, 7878 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CAPACITE)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 484 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: 43317 markings, 109103 edges, 8663 markings/sec, 0 secs
lola: 82676 markings, 213355 edges, 7872 markings/sec, 5 secs
lola: 120724 markings, 315290 edges, 7610 markings/sec, 10 secs
lola: 158955 markings, 417636 edges, 7646 markings/sec, 15 secs
lola: 204372 markings, 542688 edges, 9083 markings/sec, 20 secs
lola: 246054 markings, 659434 edges, 8336 markings/sec, 25 secs
lola: 292698 markings, 790884 edges, 9329 markings/sec, 30 secs
lola: 337387 markings, 914886 edges, 8938 markings/sec, 35 secs
lola: 379255 markings, 1033443 edges, 8374 markings/sec, 40 secs
lola: 426283 markings, 1165048 edges, 9406 markings/sec, 45 secs
lola: 469629 markings, 1288862 edges, 8669 markings/sec, 50 secs
lola: 516719 markings, 1420846 edges, 9418 markings/sec, 55 secs
lola: 560728 markings, 1547206 edges, 8802 markings/sec, 60 secs
lola: 608032 markings, 1680240 edges, 9461 markings/sec, 65 secs
lola: 653384 markings, 1809746 edges, 9070 markings/sec, 70 secs
lola: 695158 markings, 1930460 edges, 8355 markings/sec, 75 secs
lola: 742701 markings, 2064093 edges, 9509 markings/sec, 80 secs
lola: 784037 markings, 2182788 edges, 8267 markings/sec, 85 secs
lola: 828805 markings, 2309549 edges, 8954 markings/sec, 90 secs
lola: 877548 markings, 2448492 edges, 9749 markings/sec, 95 secs
lola: 918126 markings, 2566214 edges, 8116 markings/sec, 100 secs
lola: 962980 markings, 2693117 edges, 8971 markings/sec, 105 secs
lola: 1008931 markings, 2825183 edges, 9190 markings/sec, 110 secs
lola: 1051199 markings, 2947339 edges, 8454 markings/sec, 115 secs
lola: 1094375 markings, 3072012 edges, 8635 markings/sec, 120 secs
lola: 1145012 markings, 3215097 edges, 10127 markings/sec, 125 secs
lola: 1189535 markings, 3344787 edges, 8905 markings/sec, 130 secs
lola: 1228930 markings, 3457956 edges, 7879 markings/sec, 135 secs
lola: 1265112 markings, 3553691 edges, 7236 markings/sec, 140 secs
lola: 1303722 markings, 3658511 edges, 7722 markings/sec, 145 secs
lola: 1341463 markings, 3765957 edges, 7548 markings/sec, 150 secs
lola: 1376916 markings, 3865151 edges, 7091 markings/sec, 155 secs
lola: 1413594 markings, 3971126 edges, 7336 markings/sec, 160 secs
lola: 1449982 markings, 4076803 edges, 7278 markings/sec, 165 secs
lola: 1487784 markings, 4187116 edges, 7560 markings/sec, 170 secs
lola: 1526539 markings, 4299282 edges, 7751 markings/sec, 175 secs
lola: 1564120 markings, 4401502 edges, 7516 markings/sec, 180 secs
lola: 1600089 markings, 4496243 edges, 7194 markings/sec, 185 secs
lola: 1636575 markings, 4596836 edges, 7297 markings/sec, 190 secs
lola: 1675044 markings, 4703180 edges, 7694 markings/sec, 195 secs
lola: 1713457 markings, 4811893 edges, 7683 markings/sec, 200 secs
lola: 1752286 markings, 4923276 edges, 7766 markings/sec, 205 secs
lola: 1792142 markings, 5037586 edges, 7971 markings/sec, 210 secs
lola: 1830011 markings, 5145423 edges, 7574 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ATTENTE_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 484 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: 183858 markings, 290633 edges, 36772 markings/sec, 0 secs
lola: 310334 markings, 490532 edges, 25295 markings/sec, 5 secs
lola: 350322 markings, 552000 edges, 7998 markings/sec, 10 secs
lola: 388494 markings, 610774 edges, 7634 markings/sec, 15 secs
lola: 428144 markings, 672193 edges, 7930 markings/sec, 20 secs
lola: 467122 markings, 732689 edges, 7796 markings/sec, 25 secs
lola: 504998 markings, 791126 edges, 7575 markings/sec, 30 secs
lola: 539340 markings, 842820 edges, 6868 markings/sec, 35 secs
lola: 574820 markings, 896044 edges, 7096 markings/sec, 40 secs
lola: 610262 markings, 949383 edges, 7088 markings/sec, 45 secs
lola: 643544 markings, 999820 edges, 6656 markings/sec, 50 secs
lola: 675496 markings, 1048245 edges, 6390 markings/sec, 55 secs
lola: 706822 markings, 1095557 edges, 6265 markings/sec, 60 secs
lola: 741872 markings, 1148498 edges, 7010 markings/sec, 65 secs
lola: 773954 markings, 1196889 edges, 6416 markings/sec, 70 secs
lola: 806608 markings, 1246064 edges, 6531 markings/sec, 75 secs
lola: 839016 markings, 1294736 edges, 6482 markings/sec, 80 secs
lola: 871534 markings, 1342705 edges, 6504 markings/sec, 85 secs
lola: 904460 markings, 1392450 edges, 6585 markings/sec, 90 secs
lola: 936610 markings, 1441203 edges, 6430 markings/sec, 95 secs
lola: 969264 markings, 1489349 edges, 6531 markings/sec, 100 secs
lola: 1003346 markings, 1541092 edges, 6816 markings/sec, 105 secs
lola: 1035656 markings, 1589752 edges, 6462 markings/sec, 110 secs
lola: 1066626 markings, 1635325 edges, 6194 markings/sec, 115 secs
lola: 1097282 markings, 1682306 edges, 6131 markings/sec, 120 secs
lola: 1130068 markings, 1730957 edges, 6557 markings/sec, 125 secs
lola: 1161736 markings, 1778526 edges, 6334 markings/sec, 130 secs
lola: 1195402 markings, 1828664 edges, 6733 markings/sec, 135 secs
lola: 1230278 markings, 1880317 edges, 6975 markings/sec, 140 secs
lola: 1264404 markings, 1931757 edges, 6825 markings/sec, 145 secs
lola: 1297606 markings, 1981886 edges, 6640 markings/sec, 150 secs
lola: 1330888 markings, 2031533 edges, 6656 markings/sec, 155 secs
lola: 1364714 markings, 2081997 edges, 6765 markings/sec, 160 secs
lola: 1397648 markings, 2131401 edges, 6587 markings/sec, 165 secs
lola: 1431102 markings, 2180543 edges, 6691 markings/sec, 170 secs
lola: 1464716 markings, 2231129 edges, 6723 markings/sec, 175 secs
lola: 1498370 markings, 2281593 edges, 6731 markings/sec, 180 secs
lola: 1531402 markings, 2330574 edges, 6606 markings/sec, 185 secs
lola: 1566040 markings, 2382141 edges, 6928 markings/sec, 190 secs
lola: 1599678 markings, 2432822 edges, 6728 markings/sec, 195 secs
lola: 1633704 markings, 2482938 edges, 6805 markings/sec, 200 secs
lola: 1667538 markings, 2533983 edges, 6767 markings/sec, 205 secs
lola: 1702014 markings, 2584916 edges, 6895 markings/sec, 210 secs
lola: 1735736 markings, 2635805 edges, 6744 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 484 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 6 will run for 243 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 484 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: 173942 markings, 270778 edges, 34788 markings/sec, 0 secs
lola: 305102 markings, 473688 edges, 26232 markings/sec, 5 secs
lola: 337494 markings, 523359 edges, 6478 markings/sec, 10 secs
lola: 371214 markings, 574165 edges, 6744 markings/sec, 15 secs
lola: 406516 markings, 626890 edges, 7060 markings/sec, 20 secs
lola: 441442 markings, 679474 edges, 6985 markings/sec, 25 secs
lola: 475928 markings, 731694 edges, 6897 markings/sec, 30 secs
lola: 509690 markings, 782431 edges, 6752 markings/sec, 35 secs
lola: 543440 markings, 833616 edges, 6750 markings/sec, 40 secs
lola: 577358 markings, 884699 edges, 6784 markings/sec, 45 secs
lola: 611674 markings, 935755 edges, 6863 markings/sec, 50 secs
lola: 646170 markings, 987170 edges, 6899 markings/sec, 55 secs
lola: 677508 markings, 1033642 edges, 6268 markings/sec, 60 secs
lola: 707750 markings, 1079344 edges, 6048 markings/sec, 65 secs
lola: 737624 markings, 1124395 edges, 5975 markings/sec, 70 secs
lola: 771938 markings, 1175459 edges, 6863 markings/sec, 75 secs
lola: 805648 markings, 1225552 edges, 6742 markings/sec, 80 secs
lola: 838934 markings, 1275689 edges, 6657 markings/sec, 85 secs
lola: 873118 markings, 1325739 edges, 6837 markings/sec, 90 secs
lola: 906192 markings, 1376066 edges, 6615 markings/sec, 95 secs
lola: 940208 markings, 1426945 edges, 6803 markings/sec, 100 secs
lola: 974158 markings, 1477109 edges, 6790 markings/sec, 105 secs
lola: 1006000 markings, 1525290 edges, 6368 markings/sec, 110 secs
lola: 1039432 markings, 1574782 edges, 6686 markings/sec, 115 secs
lola: 1072210 markings, 1623841 edges, 6556 markings/sec, 120 secs
lola: 1103714 markings, 1669991 edges, 6301 markings/sec, 125 secs
lola: 1134458 markings, 1716568 edges, 6149 markings/sec, 130 secs
lola: 1165484 markings, 1763263 edges, 6205 markings/sec, 135 secs
lola: 1198754 markings, 1812659 edges, 6654 markings/sec, 140 secs
lola: 1231044 markings, 1860343 edges, 6458 markings/sec, 145 secs
lola: 1262902 markings, 1907733 edges, 6372 markings/sec, 150 secs
lola: 1295408 markings, 1956740 edges, 6501 markings/sec, 155 secs
lola: 1329666 markings, 2008033 edges, 6852 markings/sec, 160 secs
lola: 1361857 markings, 2058985 edges, 6438 markings/sec, 165 secs
lola: 1404495 markings, 2151565 edges, 8528 markings/sec, 170 secs
lola: 1445260 markings, 2240217 edges, 8153 markings/sec, 175 secs
lola: 1472229 markings, 2283557 edges, 5394 markings/sec, 180 secs
lola: 1511056 markings, 2368506 edges, 7765 markings/sec, 185 secs
lola: 1551036 markings, 2453828 edges, 7996 markings/sec, 190 secs
lola: 1590648 markings, 2538314 edges, 7922 markings/sec, 195 secs
lola: 1629138 markings, 2619374 edges, 7698 markings/sec, 200 secs
lola: 1663468 markings, 2690032 edges, 6866 markings/sec, 205 secs
lola: 1694564 markings, 2745154 edges, 6219 markings/sec, 210 secs
lola: 1730748 markings, 2819282 edges, 7237 markings/sec, 215 secs
lola: 1768277 markings, 2896685 edges, 7506 markings/sec, 220 secs
lola: 1795788 markings, 2973535 edges, 5502 markings/sec, 225 secs
lola: 1810433 markings, 3016618 edges, 2929 markings/sec, 230 secs
lola: 1825499 markings, 3060104 edges, 3013 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 484 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 8 will run for 274 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ROUTE_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 484 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 9 will run for 313 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 484 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: 176614 markings, 279263 edges, 35323 markings/sec, 0 secs
lola: 307896 markings, 486484 edges, 26256 markings/sec, 5 secs
lola: 347972 markings, 548200 edges, 8015 markings/sec, 10 secs
lola: 385916 markings, 606991 edges, 7589 markings/sec, 15 secs
lola: 424534 markings, 666565 edges, 7724 markings/sec, 20 secs
lola: 461668 markings, 723813 edges, 7427 markings/sec, 25 secs
lola: 498926 markings, 781487 edges, 7452 markings/sec, 30 secs
lola: 530643 markings, 829428 edges, 6343 markings/sec, 35 secs
lola: 561942 markings, 876635 edges, 6260 markings/sec, 40 secs
lola: 595040 markings, 925978 edges, 6620 markings/sec, 45 secs
lola: 628756 markings, 976642 edges, 6743 markings/sec, 50 secs
lola: 662726 markings, 1027971 edges, 6794 markings/sec, 55 secs
lola: 696722 markings, 1079324 edges, 6799 markings/sec, 60 secs
lola: 730338 markings, 1130088 edges, 6723 markings/sec, 65 secs
lola: 763974 markings, 1180870 edges, 6727 markings/sec, 70 secs
lola: 795892 markings, 1229169 edges, 6384 markings/sec, 75 secs
lola: 828794 markings, 1279342 edges, 6580 markings/sec, 80 secs
lola: 862254 markings, 1329995 edges, 6692 markings/sec, 85 secs
lola: 896877 markings, 1381903 edges, 6925 markings/sec, 90 secs
lola: 929238 markings, 1429866 edges, 6472 markings/sec, 95 secs
lola: 962800 markings, 1480509 edges, 6712 markings/sec, 100 secs
lola: 997398 markings, 1532068 edges, 6920 markings/sec, 105 secs
lola: 1028792 markings, 1579404 edges, 6279 markings/sec, 110 secs
lola: 1063216 markings, 1629997 edges, 6885 markings/sec, 115 secs
lola: 1096068 markings, 1680408 edges, 6570 markings/sec, 120 secs
lola: 1130150 markings, 1731080 edges, 6816 markings/sec, 125 secs
lola: 1162568 markings, 1779676 edges, 6484 markings/sec, 130 secs
lola: 1195526 markings, 1828881 edges, 6592 markings/sec, 135 secs
lola: 1228186 markings, 1877325 edges, 6532 markings/sec, 140 secs
lola: 1259482 markings, 1925018 edges, 6259 markings/sec, 145 secs
lola: 1291684 markings, 1973061 edges, 6440 markings/sec, 150 secs
lola: 1323430 markings, 2019391 edges, 6349 markings/sec, 155 secs
lola: 1355688 markings, 2068497 edges, 6452 markings/sec, 160 secs
lola: 1386888 markings, 2115153 edges, 6240 markings/sec, 165 secs
lola: 1419982 markings, 2164560 edges, 6619 markings/sec, 170 secs
lola: 1454062 markings, 2215253 edges, 6816 markings/sec, 175 secs
lola: 1486532 markings, 2262974 edges, 6494 markings/sec, 180 secs
lola: 1519936 markings, 2313200 edges, 6681 markings/sec, 185 secs
lola: 1553492 markings, 2363796 edges, 6711 markings/sec, 190 secs
lola: 1586714 markings, 2412554 edges, 6644 markings/sec, 195 secs
lola: 1619112 markings, 2461902 edges, 6480 markings/sec, 200 secs
lola: 1653696 markings, 2513379 edges, 6917 markings/sec, 205 secs
lola: 1687976 markings, 2564505 edges, 6856 markings/sec, 210 secs
lola: 1721704 markings, 2614632 edges, 6746 markings/sec, 215 secs
lola: 1756030 markings, 2665156 edges, 6865 markings/sec, 220 secs
lola: 1789538 markings, 2715640 edges, 6702 markings/sec, 225 secs
lola: 1824010 markings, 2767509 edges, 6894 markings/sec, 230 secs
lola: 1864276 markings, 2831767 edges, 8053 markings/sec, 235 secs
lola: 1911623 markings, 2933670 edges, 9469 markings/sec, 240 secs
lola: 1958071 markings, 3032829 edges, 9290 markings/sec, 245 secs
lola: 2004063 markings, 3130682 edges, 9198 markings/sec, 250 secs
lola: 2049595 markings, 3226546 edges, 9106 markings/sec, 255 secs
lola: 2095063 markings, 3321405 edges, 9094 markings/sec, 260 secs
lola: 2140049 markings, 3414282 edges, 8997 markings/sec, 265 secs
lola: 2185549 markings, 3507425 edges, 9100 markings/sec, 270 secs
lola: 2237894 markings, 3628314 edges, 10469 markings/sec, 275 secs
lola: 2280384 markings, 3719633 edges, 8498 markings/sec, 280 secs
lola: 2300580 markings, 3779775 edges, 4039 markings/sec, 285 secs
lola: 2320707 markings, 3839491 edges, 4025 markings/sec, 290 secs
lola: 2340629 markings, 3898561 edges, 3984 markings/sec, 295 secs
lola: 2360132 markings, 3957035 edges, 3901 markings/sec, 300 secs
lola: 2379335 markings, 4014578 edges, 3841 markings/sec, 305 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 313 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 484 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 11 will run for 375 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 484 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: 69182 markings, 177897 edges, 13836 markings/sec, 0 secs
lola: 139533 markings, 357231 edges, 14070 markings/sec, 5 secs
lola: 213139 markings, 551190 edges, 14721 markings/sec, 10 secs
lola: 286243 markings, 744423 edges, 14621 markings/sec, 15 secs
lola: 341619 markings, 894118 edges, 11075 markings/sec, 20 secs
lola: 399591 markings, 1049834 edges, 11594 markings/sec, 25 secs
lola: 456303 markings, 1207746 edges, 11342 markings/sec, 30 secs
lola: 513984 markings, 1366570 edges, 11536 markings/sec, 35 secs
lola: 570324 markings, 1524707 edges, 11268 markings/sec, 40 secs
lola: 632579 markings, 1699721 edges, 12451 markings/sec, 45 secs
lola: 694132 markings, 1873495 edges, 12311 markings/sec, 50 secs
lola: 748560 markings, 2023196 edges, 10886 markings/sec, 55 secs
lola: 788956 markings, 2127721 edges, 8079 markings/sec, 60 secs
lola: 840620 markings, 2275243 edges, 10333 markings/sec, 65 secs
lola: 892756 markings, 2417048 edges, 10427 markings/sec, 70 secs
lola: 937115 markings, 2544299 edges, 8872 markings/sec, 75 secs
lola: 992256 markings, 2702584 edges, 11028 markings/sec, 80 secs
lola: 1046438 markings, 2861538 edges, 10836 markings/sec, 85 secs
lola: 1100470 markings, 3016492 edges, 10806 markings/sec, 90 secs
lola: 1155289 markings, 3175123 edges, 10964 markings/sec, 95 secs
lola: 1209641 markings, 3330336 edges, 10870 markings/sec, 100 secs
lola: 1263095 markings, 3484451 edges, 10691 markings/sec, 105 secs
lola: 1315928 markings, 3636483 edges, 10567 markings/sec, 110 secs
lola: 1365602 markings, 3773662 edges, 9935 markings/sec, 115 secs
lola: 1405309 markings, 3879904 edges, 7941 markings/sec, 120 secs
lola: 1453906 markings, 4014926 edges, 9719 markings/sec, 125 secs
lola: 1497988 markings, 4142042 edges, 8816 markings/sec, 130 secs
lola: 1550719 markings, 4286712 edges, 10546 markings/sec, 135 secs
lola: 1586829 markings, 4388633 edges, 7222 markings/sec, 140 secs
lola: 1631576 markings, 4520548 edges, 8949 markings/sec, 145 secs
lola: 1686447 markings, 4680399 edges, 10974 markings/sec, 150 secs
lola: 1743058 markings, 4848267 edges, 11322 markings/sec, 155 secs
lola: 1789128 markings, 4981696 edges, 9214 markings/sec, 160 secs
lola: 1841371 markings, 5133722 edges, 10449 markings/sec, 165 secs
lola: 1892603 markings, 5283863 edges, 10246 markings/sec, 170 secs
lola: 1944495 markings, 5439461 edges, 10378 markings/sec, 175 secs
lola: 1989337 markings, 5569461 edges, 8968 markings/sec, 180 secs
lola: 2041307 markings, 5721399 edges, 10394 markings/sec, 185 secs
lola: 2092899 markings, 5872088 edges, 10318 markings/sec, 190 secs
lola: 2140899 markings, 6006388 edges, 9600 markings/sec, 195 secs
lola: 2177244 markings, 6108994 edges, 7269 markings/sec, 200 secs
lola: 2214093 markings, 6206215 edges, 7370 markings/sec, 205 secs
lola: 2249537 markings, 6300700 edges, 7089 markings/sec, 210 secs
lola: 2294578 markings, 6426600 edges, 9008 markings/sec, 215 secs
lola: 2340234 markings, 6560526 edges, 9131 markings/sec, 220 secs
lola: 2394041 markings, 6718710 edges, 10761 markings/sec, 225 secs
lola: 2433723 markings, 6824172 edges, 7936 markings/sec, 230 secs
lola: 2467926 markings, 6920047 edges, 6841 markings/sec, 235 secs
lola: 2515332 markings, 7060103 edges, 9481 markings/sec, 240 secs
lola: 2570650 markings, 7222179 edges, 11064 markings/sec, 245 secs
lola: 2617111 markings, 7361423 edges, 9292 markings/sec, 250 secs
lola: 2670896 markings, 7520829 edges, 10757 markings/sec, 255 secs
lola: 2718535 markings, 7663898 edges, 9528 markings/sec, 260 secs
lola: 2772725 markings, 7822824 edges, 10838 markings/sec, 265 secs
lola: 2825176 markings, 7976449 edges, 10490 markings/sec, 270 secs
lola: 2870440 markings, 8113717 edges, 9053 markings/sec, 275 secs
lola: 2923065 markings, 8269723 edges, 10525 markings/sec, 280 secs
lola: 2976599 markings, 8425420 edges, 10707 markings/sec, 285 secs
lola: 3022208 markings, 8564737 edges, 9122 markings/sec, 290 secs
lola: 3072379 markings, 8711649 edges, 10034 markings/sec, 295 secs
lola: 3119935 markings, 8853620 edges, 9511 markings/sec, 300 secs
lola: 3157057 markings, 8951239 edges, 7424 markings/sec, 305 secs
lola: 3190119 markings, 9043525 edges, 6612 markings/sec, 310 secs
lola: 3225653 markings, 9135480 edges, 7107 markings/sec, 315 secs
lola: 3258956 markings, 9229281 edges, 6661 markings/sec, 320 secs
lola: 3293741 markings, 9322599 edges, 6957 markings/sec, 325 secs
lola: 3337454 markings, 9444094 edges, 8743 markings/sec, 330 secs
lola: 3378702 markings, 9565774 edges, 8250 markings/sec, 335 secs
lola: 3423632 markings, 9700490 edges, 8986 markings/sec, 340 secs
lola: 3473384 markings, 9833778 edges, 9950 markings/sec, 345 secs
lola: 3509190 markings, 9937977 edges, 7161 markings/sec, 350 secs
lola: 3540844 markings, 10028251 edges, 6331 markings/sec, 355 secs
lola: 3575323 markings, 10124159 edges, 6896 markings/sec, 360 secs
lola: 3619242 markings, 10256232 edges, 8784 markings/sec, 365 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 376 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CHOIX_1 + CHOIX_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 484 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: 29200 markings, 72430 edges, 5840 markings/sec, 0 secs
lola: 56879 markings, 146403 edges, 5536 markings/sec, 5 secs
lola: 84371 markings, 220895 edges, 5498 markings/sec, 10 secs
lola: 110917 markings, 293456 edges, 5309 markings/sec, 15 secs
lola: 137162 markings, 365837 edges, 5249 markings/sec, 20 secs
lola: 163662 markings, 438281 edges, 5300 markings/sec, 25 secs
lola: 189779 markings, 511726 edges, 5223 markings/sec, 30 secs
lola: 215663 markings, 581931 edges, 5177 markings/sec, 35 secs
lola: 242307 markings, 658555 edges, 5329 markings/sec, 40 secs
lola: 269456 markings, 734156 edges, 5430 markings/sec, 45 secs
lola: 296214 markings, 809692 edges, 5352 markings/sec, 50 secs
lola: 322263 markings, 885141 edges, 5210 markings/sec, 55 secs
lola: 349368 markings, 960742 edges, 5421 markings/sec, 60 secs
lola: 375863 markings, 1036117 edges, 5299 markings/sec, 65 secs
lola: 401736 markings, 1111228 edges, 5175 markings/sec, 70 secs
lola: 428468 markings, 1186735 edges, 5346 markings/sec, 75 secs
lola: 455710 markings, 1263130 edges, 5448 markings/sec, 80 secs
lola: 482609 markings, 1341376 edges, 5380 markings/sec, 85 secs
lola: 509178 markings, 1419973 edges, 5314 markings/sec, 90 secs
lola: 536570 markings, 1494765 edges, 5478 markings/sec, 95 secs
lola: 563068 markings, 1570547 edges, 5300 markings/sec, 100 secs
lola: 589050 markings, 1647183 edges, 5196 markings/sec, 105 secs
lola: 616239 markings, 1725598 edges, 5438 markings/sec, 110 secs
lola: 644645 markings, 1803679 edges, 5681 markings/sec, 115 secs
lola: 672176 markings, 1882267 edges, 5506 markings/sec, 120 secs
lola: 698912 markings, 1961574 edges, 5347 markings/sec, 125 secs
lola: 726253 markings, 2041740 edges, 5468 markings/sec, 130 secs
lola: 754534 markings, 2117504 edges, 5656 markings/sec, 135 secs
lola: 782583 markings, 2199040 edges, 5610 markings/sec, 140 secs
lola: 809821 markings, 2276560 edges, 5448 markings/sec, 145 secs
lola: 837312 markings, 2358520 edges, 5498 markings/sec, 150 secs
lola: 866517 markings, 2439949 edges, 5841 markings/sec, 155 secs
lola: 895189 markings, 2521514 edges, 5734 markings/sec, 160 secs
lola: 921989 markings, 2597884 edges, 5360 markings/sec, 165 secs
lola: 947993 markings, 2675688 edges, 5201 markings/sec, 170 secs
lola: 973596 markings, 2751284 edges, 5121 markings/sec, 175 secs
lola: 1001101 markings, 2826078 edges, 5501 markings/sec, 180 secs
lola: 1028316 markings, 2902917 edges, 5443 markings/sec, 185 secs
lola: 1054076 markings, 2978553 edges, 5152 markings/sec, 190 secs
lola: 1079995 markings, 3052749 edges, 5184 markings/sec, 195 secs
lola: 1106127 markings, 3129366 edges, 5226 markings/sec, 200 secs
lola: 1131884 markings, 3205988 edges, 5151 markings/sec, 205 secs
lola: 1160371 markings, 3282646 edges, 5697 markings/sec, 210 secs
lola: 1186482 markings, 3357399 edges, 5222 markings/sec, 215 secs
lola: 1212512 markings, 3434361 edges, 5206 markings/sec, 220 secs
lola: 1239239 markings, 3513811 edges, 5345 markings/sec, 225 secs
lola: 1265384 markings, 3591126 edges, 5229 markings/sec, 230 secs
lola: 1292904 markings, 3666959 edges, 5504 markings/sec, 235 secs
lola: 1320328 markings, 3741978 edges, 5485 markings/sec, 240 secs
lola: 1347819 markings, 3817324 edges, 5498 markings/sec, 245 secs
lola: 1375701 markings, 3894907 edges, 5576 markings/sec, 250 secs
lola: 1403324 markings, 3972420 edges, 5525 markings/sec, 255 secs
lola: 1429605 markings, 4048751 edges, 5256 markings/sec, 260 secs
lola: 1455943 markings, 4126400 edges, 5268 markings/sec, 265 secs
lola: 1482486 markings, 4204340 edges, 5309 markings/sec, 270 secs
lola: 1508168 markings, 4279224 edges, 5136 markings/sec, 275 secs
lola: 1533286 markings, 4351726 edges, 5024 markings/sec, 280 secs
lola: 1558951 markings, 4425228 edges, 5133 markings/sec, 285 secs
lola: 1584588 markings, 4502115 edges, 5127 markings/sec, 290 secs
lola: 1610877 markings, 4579392 edges, 5258 markings/sec, 295 secs
lola: 1637902 markings, 4659439 edges, 5405 markings/sec, 300 secs
lola: 1665437 markings, 4731556 edges, 5507 markings/sec, 305 secs
lola: 1694113 markings, 4810715 edges, 5735 markings/sec, 310 secs
lola: 1722985 markings, 4891241 edges, 5774 markings/sec, 315 secs
lola: 1750171 markings, 4966974 edges, 5437 markings/sec, 320 secs
lola: 1775979 markings, 5041519 edges, 5162 markings/sec, 325 secs
lola: 1801186 markings, 5114183 edges, 5041 markings/sec, 330 secs
lola: 1826405 markings, 5187111 edges, 5044 markings/sec, 335 secs
lola: 1851901 markings, 5261933 edges, 5099 markings/sec, 340 secs
lola: 1877486 markings, 5336216 edges, 5117 markings/sec, 345 secs
lola: 1903596 markings, 5412395 edges, 5222 markings/sec, 350 secs
lola: 1931912 markings, 5493584 edges, 5663 markings/sec, 355 secs
lola: 1959308 markings, 5570120 edges, 5479 markings/sec, 360 secs
lola: 1986541 markings, 5651259 edges, 5447 markings/sec, 365 secs
lola: 2012186 markings, 5726693 edges, 5129 markings/sec, 370 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 376 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 484 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: 70547 markings, 179098 edges, 14109 markings/sec, 0 secs
lola: 139811 markings, 356448 edges, 13853 markings/sec, 5 secs
lola: 213227 markings, 552678 edges, 14683 markings/sec, 10 secs
lola: 283193 markings, 736386 edges, 13993 markings/sec, 15 secs
lola: 340150 markings, 887296 edges, 11391 markings/sec, 20 secs
lola: 397833 markings, 1045397 edges, 11537 markings/sec, 25 secs
lola: 453986 markings, 1201318 edges, 11231 markings/sec, 30 secs
lola: 509819 markings, 1356510 edges, 11167 markings/sec, 35 secs
lola: 572518 markings, 1532113 edges, 12540 markings/sec, 40 secs
lola: 627131 markings, 1685167 edges, 10923 markings/sec, 45 secs
lola: 687772 markings, 1855227 edges, 12128 markings/sec, 50 secs
lola: 740342 markings, 1996608 edges, 10514 markings/sec, 55 secs
lola: 795442 markings, 2150488 edges, 11020 markings/sec, 60 secs
lola: 851936 markings, 2304888 edges, 11299 markings/sec, 65 secs
lola: 902056 markings, 2446716 edges, 10024 markings/sec, 70 secs
lola: 958118 markings, 2607989 edges, 11212 markings/sec, 75 secs
lola: 1011277 markings, 2761663 edges, 10632 markings/sec, 80 secs
lola: 1064853 markings, 2915472 edges, 10715 markings/sec, 85 secs
lola: 1118965 markings, 3071470 edges, 10822 markings/sec, 90 secs
lola: 1174403 markings, 3229990 edges, 11088 markings/sec, 95 secs
lola: 1229974 markings, 3391213 edges, 11114 markings/sec, 100 secs
lola: 1289588 markings, 3565509 edges, 11923 markings/sec, 105 secs
lola: 1336039 markings, 3681129 edges, 9290 markings/sec, 110 secs
lola: 1391811 markings, 3834563 edges, 11154 markings/sec, 115 secs
lola: 1440844 markings, 3978576 edges, 9807 markings/sec, 120 secs
lola: 1495463 markings, 4121439 edges, 10924 markings/sec, 125 secs
lola: 1543561 markings, 4264983 edges, 9620 markings/sec, 130 secs
lola: 1599323 markings, 4428437 edges, 11152 markings/sec, 135 secs
lola: 1654090 markings, 4588701 edges, 10953 markings/sec, 140 secs
lola: 1708707 markings, 4749144 edges, 10923 markings/sec, 145 secs
lola: 1756278 markings, 4887354 edges, 9514 markings/sec, 150 secs
lola: 1810623 markings, 5047414 edges, 10869 markings/sec, 155 secs
lola: 1865262 markings, 5205525 edges, 10928 markings/sec, 160 secs
lola: 1918698 markings, 5364157 edges, 10687 markings/sec, 165 secs
lola: 1972423 markings, 5519988 edges, 10745 markings/sec, 170 secs
lola: 2025325 markings, 5670867 edges, 10580 markings/sec, 175 secs
lola: 2069692 markings, 5781890 edges, 8873 markings/sec, 180 secs
lola: 2118277 markings, 5909879 edges, 9717 markings/sec, 185 secs
lola: 2165988 markings, 6045597 edges, 9542 markings/sec, 190 secs
lola: 2217027 markings, 6199860 edges, 10208 markings/sec, 195 secs
lola: 2263234 markings, 6314115 edges, 9241 markings/sec, 200 secs
lola: 2312120 markings, 6459453 edges, 9777 markings/sec, 205 secs
lola: 2365845 markings, 6614636 edges, 10745 markings/sec, 210 secs
lola: 2411886 markings, 6753303 edges, 9208 markings/sec, 215 secs
lola: 2466767 markings, 6916734 edges, 10976 markings/sec, 220 secs
lola: 2514255 markings, 7058424 edges, 9498 markings/sec, 225 secs
lola: 2568734 markings, 7218006 edges, 10896 markings/sec, 230 secs
lola: 2621901 markings, 7373583 edges, 10633 markings/sec, 235 secs
lola: 2668003 markings, 7513099 edges, 9220 markings/sec, 240 secs
lola: 2720983 markings, 7667508 edges, 10596 markings/sec, 245 secs
lola: 2773568 markings, 7823034 edges, 10517 markings/sec, 250 secs
lola: 2822805 markings, 7971252 edges, 9847 markings/sec, 255 secs
lola: 2874068 markings, 8121104 edges, 10253 markings/sec, 260 secs
lola: 2924923 markings, 8260798 edges, 10171 markings/sec, 265 secs
lola: 2968655 markings, 8369226 edges, 8746 markings/sec, 270 secs
lola: 3010547 markings, 8470360 edges, 8378 markings/sec, 275 secs
lola: 3062860 markings, 8618964 edges, 10463 markings/sec, 280 secs
lola: 3108185 markings, 8754152 edges, 9065 markings/sec, 285 secs
lola: 3162418 markings, 8904896 edges, 10847 markings/sec, 290 secs
lola: 3204459 markings, 9012756 edges, 8408 markings/sec, 295 secs
lola: 3249936 markings, 9146315 edges, 9095 markings/sec, 300 secs
lola: 3295113 markings, 9284201 edges, 9035 markings/sec, 305 secs
lola: 3347410 markings, 9439276 edges, 10459 markings/sec, 310 secs
lola: 3392732 markings, 9574554 edges, 9064 markings/sec, 315 secs
lola: 3445715 markings, 9732795 edges, 10597 markings/sec, 320 secs
lola: 3493180 markings, 9874194 edges, 9493 markings/sec, 325 secs
lola: 3546126 markings, 10031521 edges, 10589 markings/sec, 330 secs
lola: 3592116 markings, 10169710 edges, 9198 markings/sec, 335 secs
lola: 3643284 markings, 10318659 edges, 10234 markings/sec, 340 secs
lola: 3691138 markings, 10464948 edges, 9571 markings/sec, 345 secs
lola: 3737598 markings, 10601411 edges, 9292 markings/sec, 350 secs
lola: 3788213 markings, 10749527 edges, 10123 markings/sec, 355 secs
lola: 3831591 markings, 10883552 edges, 8676 markings/sec, 360 secs
lola: 3881712 markings, 11031137 edges, 10024 markings/sec, 365 secs
lola: 3925647 markings, 11163615 edges, 8787 markings/sec, 370 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 376 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 484 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 15 will run for 752 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 484 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: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown 1 unknown 1 50 unknown 1 unknown unknown unknown 1 1
lola: ========================================
FORMULA BridgeAndVehicles-COL-V50P50N10-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N10-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N10-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N10-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N10-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N10-UpperBounds-5 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N10-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N10-UpperBounds-7 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N10-UpperBounds-8 50 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N10-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N10-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N10-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N10-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N10-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N10-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N10-UpperBounds-15 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494618566007
--------------------
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-V50P50N10"
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-V50P50N10.tgz
mv BridgeAndVehicles-PT-V50P50N10 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-V50P50N10, 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-149436126400497"
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 '
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 ;