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

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


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


checking for too many tokens
===========================================================================================
S_BridgeAndVehicles-PT-V50P50N10: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_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: 43391 markings, 109342 edges, 8678 markings/sec, 0 secs
lola: 82981 markings, 214185 edges, 7918 markings/sec, 5 secs
lola: 120383 markings, 314445 edges, 7480 markings/sec, 10 secs
lola: 157744 markings, 414380 edges, 7472 markings/sec, 15 secs
lola: 199100 markings, 528133 edges, 8271 markings/sec, 20 secs
lola: 238132 markings, 638325 edges, 7806 markings/sec, 25 secs
lola: 281641 markings, 759283 edges, 8702 markings/sec, 30 secs
lola: 320318 markings, 866813 edges, 7735 markings/sec, 35 secs
lola: 363116 markings, 987993 edges, 8560 markings/sec, 40 secs
lola: 402081 markings, 1096986 edges, 7793 markings/sec, 45 secs
lola: 446061 markings, 1221752 edges, 8796 markings/sec, 50 secs
lola: 486694 markings, 1337854 edges, 8127 markings/sec, 55 secs
lola: 534191 markings, 1470779 edges, 9499 markings/sec, 60 secs
lola: 574460 markings, 1587480 edges, 8054 markings/sec, 65 secs
lola: 619295 markings, 1712152 edges, 8967 markings/sec, 70 secs
lola: 662010 markings, 1835857 edges, 8543 markings/sec, 75 secs
lola: 700234 markings, 1944280 edges, 7645 markings/sec, 80 secs
lola: 748226 markings, 2079811 edges, 9598 markings/sec, 85 secs
lola: 791121 markings, 2202649 edges, 8579 markings/sec, 90 secs
lola: 837509 markings, 2334395 edges, 9278 markings/sec, 95 secs
lola: 883089 markings, 2465278 edges, 9116 markings/sec, 100 secs
lola: 924308 markings, 2583938 edges, 8244 markings/sec, 105 secs
lola: 970567 markings, 2714825 edges, 9252 markings/sec, 110 secs
lola: 1016574 markings, 2846984 edges, 9201 markings/sec, 115 secs
lola: 1057788 markings, 2965613 edges, 8243 markings/sec, 120 secs
lola: 1099142 markings, 3084321 edges, 8271 markings/sec, 125 secs
lola: 1145221 markings, 3215799 edges, 9216 markings/sec, 130 secs
lola: 1185798 markings, 3333004 edges, 8115 markings/sec, 135 secs
lola: 1225383 markings, 3448167 edges, 7917 markings/sec, 140 secs
lola: 1260911 markings, 3542566 edges, 7106 markings/sec, 145 secs
lola: 1297378 markings, 3641531 edges, 7293 markings/sec, 150 secs
lola: 1334869 markings, 3746386 edges, 7498 markings/sec, 155 secs
lola: 1373843 markings, 3856556 edges, 7795 markings/sec, 160 secs
lola: 1411982 markings, 3966102 edges, 7628 markings/sec, 165 secs
lola: 1450844 markings, 4079762 edges, 7772 markings/sec, 170 secs
lola: 1489924 markings, 4193245 edges, 7816 markings/sec, 175 secs
lola: 1528409 markings, 4305304 edges, 7697 markings/sec, 180 secs
lola: 1565344 markings, 4404727 edges, 7387 markings/sec, 185 secs
lola: 1601021 markings, 4498910 edges, 7135 markings/sec, 190 secs
lola: 1636140 markings, 4595343 edges, 7024 markings/sec, 195 secs
lola: 1671506 markings, 4693985 edges, 7073 markings/sec, 200 secs
lola: 1706286 markings, 4791062 edges, 6956 markings/sec, 205 secs
lola: 1744119 markings, 4898084 edges, 7567 markings/sec, 210 secs
lola: 1783793 markings, 5011625 edges, 7935 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: 40275 markings, 85386 edges, 8055 markings/sec, 0 secs
lola: 79532 markings, 178153 edges, 7851 markings/sec, 5 secs
lola: 118351 markings, 268230 edges, 7764 markings/sec, 10 secs
lola: 158202 markings, 363454 edges, 7970 markings/sec, 15 secs
lola: 197658 markings, 455869 edges, 7891 markings/sec, 20 secs
lola: 239056 markings, 554863 edges, 8280 markings/sec, 25 secs
lola: 276536 markings, 641781 edges, 7496 markings/sec, 30 secs
lola: 316362 markings, 727213 edges, 7965 markings/sec, 35 secs
lola: 355641 markings, 818331 edges, 7856 markings/sec, 40 secs
lola: 393145 markings, 906964 edges, 7501 markings/sec, 45 secs
lola: 426792 markings, 985399 edges, 6729 markings/sec, 50 secs
lola: 461597 markings, 1066965 edges, 6961 markings/sec, 55 secs
lola: 497544 markings, 1152133 edges, 7189 markings/sec, 60 secs
lola: 532842 markings, 1235658 edges, 7060 markings/sec, 65 secs
lola: 568856 markings, 1320837 edges, 7203 markings/sec, 70 secs
lola: 604268 markings, 1404131 edges, 7082 markings/sec, 75 secs
lola: 639407 markings, 1486985 edges, 7028 markings/sec, 80 secs
lola: 676666 markings, 1574795 edges, 7452 markings/sec, 85 secs
lola: 715740 markings, 1666821 edges, 7815 markings/sec, 90 secs
lola: 754164 markings, 1746260 edges, 7685 markings/sec, 95 secs
lola: 795567 markings, 1840346 edges, 8281 markings/sec, 100 secs
lola: 831577 markings, 1927362 edges, 7202 markings/sec, 105 secs
lola: 871292 markings, 2023152 edges, 7943 markings/sec, 110 secs
lola: 909555 markings, 2117501 edges, 7653 markings/sec, 115 secs
lola: 947206 markings, 2206295 edges, 7530 markings/sec, 120 secs
lola: 985135 markings, 2298775 edges, 7586 markings/sec, 125 secs
lola: 1021000 markings, 2385641 edges, 7173 markings/sec, 130 secs
lola: 1057863 markings, 2473094 edges, 7373 markings/sec, 135 secs
lola: 1096082 markings, 2565396 edges, 7644 markings/sec, 140 secs
lola: 1135554 markings, 2660203 edges, 7894 markings/sec, 145 secs
lola: 1171750 markings, 2748796 edges, 7239 markings/sec, 150 secs
lola: 1209036 markings, 2837955 edges, 7457 markings/sec, 155 secs
lola: 1246000 markings, 2926963 edges, 7393 markings/sec, 160 secs
lola: 1282349 markings, 3013695 edges, 7270 markings/sec, 165 secs
lola: 1316781 markings, 3086258 edges, 6886 markings/sec, 170 secs
lola: 1350784 markings, 3157282 edges, 6801 markings/sec, 175 secs
lola: 1389099 markings, 3243647 edges, 7663 markings/sec, 180 secs
lola: 1421709 markings, 3325005 edges, 6522 markings/sec, 185 secs
lola: 1455031 markings, 3407875 edges, 6664 markings/sec, 190 secs
lola: 1490856 markings, 3492431 edges, 7165 markings/sec, 195 secs
lola: 1522272 markings, 3570852 edges, 6283 markings/sec, 200 secs
lola: 1559592 markings, 3662153 edges, 7464 markings/sec, 205 secs
lola: 1597070 markings, 3753583 edges, 7496 markings/sec, 210 secs
lola: 1637947 markings, 3851629 edges, 8175 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: 38235 markings, 78190 edges, 7647 markings/sec, 0 secs
lola: 77274 markings, 172378 edges, 7808 markings/sec, 5 secs
lola: 116789 markings, 264998 edges, 7903 markings/sec, 10 secs
lola: 153440 markings, 349910 edges, 7330 markings/sec, 15 secs
lola: 190152 markings, 437847 edges, 7342 markings/sec, 20 secs
lola: 225903 markings, 522097 edges, 7150 markings/sec, 25 secs
lola: 262155 markings, 607260 edges, 7250 markings/sec, 30 secs
lola: 300011 markings, 696072 edges, 7571 markings/sec, 35 secs
lola: 335001 markings, 767545 edges, 6998 markings/sec, 40 secs
lola: 372100 markings, 856474 edges, 7420 markings/sec, 45 secs
lola: 410450 markings, 947346 edges, 7670 markings/sec, 50 secs
lola: 444603 markings, 1027866 edges, 6831 markings/sec, 55 secs
lola: 481124 markings, 1113033 edges, 7304 markings/sec, 60 secs
lola: 518530 markings, 1201539 edges, 7481 markings/sec, 65 secs
lola: 556337 markings, 1291310 edges, 7561 markings/sec, 70 secs
lola: 594733 markings, 1381946 edges, 7679 markings/sec, 75 secs
lola: 633662 markings, 1473932 edges, 7786 markings/sec, 80 secs
lola: 672761 markings, 1566501 edges, 7820 markings/sec, 85 secs
lola: 712457 markings, 1659856 edges, 7939 markings/sec, 90 secs
lola: 750736 markings, 1749392 edges, 7656 markings/sec, 95 secs
lola: 783835 markings, 1820469 edges, 6620 markings/sec, 100 secs
lola: 817641 markings, 1899026 edges, 6761 markings/sec, 105 secs
lola: 851659 markings, 1980564 edges, 6804 markings/sec, 110 secs
lola: 888746 markings, 2072384 edges, 7417 markings/sec, 115 secs
lola: 925726 markings, 2159711 edges, 7396 markings/sec, 120 secs
lola: 964977 markings, 2255408 edges, 7850 markings/sec, 125 secs
lola: 1001384 markings, 2343574 edges, 7281 markings/sec, 130 secs
lola: 1041477 markings, 2440750 edges, 8019 markings/sec, 135 secs
lola: 1081915 markings, 2538565 edges, 8088 markings/sec, 140 secs
lola: 1118991 markings, 2629351 edges, 7415 markings/sec, 145 secs
lola: 1157758 markings, 2721859 edges, 7753 markings/sec, 150 secs
lola: 1196629 markings, 2815678 edges, 7774 markings/sec, 155 secs
lola: 1235421 markings, 2909883 edges, 7758 markings/sec, 160 secs
lola: 1272127 markings, 3000067 edges, 7341 markings/sec, 165 secs
lola: 1308692 markings, 3087631 edges, 7313 markings/sec, 170 secs
lola: 1347174 markings, 3181060 edges, 7696 markings/sec, 175 secs
lola: 1383107 markings, 3260603 edges, 7187 markings/sec, 180 secs
lola: 1416833 markings, 3336963 edges, 6745 markings/sec, 185 secs
lola: 1450909 markings, 3414339 edges, 6815 markings/sec, 190 secs
lola: 1487523 markings, 3504564 edges, 7323 markings/sec, 195 secs
lola: 1519938 markings, 3583967 edges, 6483 markings/sec, 200 secs
lola: 1554630 markings, 3668592 edges, 6938 markings/sec, 205 secs
lola: 1587910 markings, 3751158 edges, 6656 markings/sec, 210 secs
lola: 1624398 markings, 3842002 edges, 7298 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: 48771 markings, 124320 edges, 9754 markings/sec, 0 secs
lola: 91642 markings, 238009 edges, 8574 markings/sec, 5 secs
lola: 132317 markings, 347386 edges, 8135 markings/sec, 10 secs
lola: 173011 markings, 456355 edges, 8139 markings/sec, 15 secs
lola: 220066 markings, 586694 edges, 9411 markings/sec, 20 secs
lola: 266497 markings, 716155 edges, 9286 markings/sec, 25 secs
lola: 309372 markings, 837718 edges, 8575 markings/sec, 30 secs
lola: 356618 markings, 969762 edges, 9449 markings/sec, 35 secs
lola: 398371 markings, 1087440 edges, 8351 markings/sec, 40 secs
lola: 447051 markings, 1224430 edges, 9736 markings/sec, 45 secs
lola: 489504 markings, 1344840 edges, 8491 markings/sec, 50 secs
lola: 539056 markings, 1485753 edges, 9910 markings/sec, 55 secs
lola: 580852 markings, 1604790 edges, 8359 markings/sec, 60 secs
lola: 630643 markings, 1745011 edges, 9958 markings/sec, 65 secs
lola: 672209 markings, 1864235 edges, 8313 markings/sec, 70 secs
lola: 717535 markings, 1991460 edges, 9065 markings/sec, 75 secs
lola: 762350 markings, 2120516 edges, 8963 markings/sec, 80 secs
lola: 803855 markings, 2240502 edges, 8301 markings/sec, 85 secs
lola: 849904 markings, 2369091 edges, 9210 markings/sec, 90 secs
lola: 891693 markings, 2490219 edges, 8358 markings/sec, 95 secs
lola: 931863 markings, 2606817 edges, 8034 markings/sec, 100 secs
lola: 975009 markings, 2727533 edges, 8629 markings/sec, 105 secs
lola: 1017884 markings, 2851043 edges, 8575 markings/sec, 110 secs
lola: 1056593 markings, 2962863 edges, 7742 markings/sec, 115 secs
lola: 1099037 markings, 3084077 edges, 8489 markings/sec, 120 secs
lola: 1150183 markings, 3230570 edges, 10229 markings/sec, 125 secs
lola: 1195084 markings, 3360609 edges, 8980 markings/sec, 130 secs
lola: 1236098 markings, 3478897 edges, 8203 markings/sec, 135 secs
lola: 1270096 markings, 3567116 edges, 6800 markings/sec, 140 secs
lola: 1307542 markings, 3668460 edges, 7489 markings/sec, 145 secs
lola: 1346665 markings, 3779680 edges, 7825 markings/sec, 150 secs
lola: 1385041 markings, 3889237 edges, 7675 markings/sec, 155 secs
lola: 1424781 markings, 4004453 edges, 7948 markings/sec, 160 secs
lola: 1464394 markings, 4118302 edges, 7923 markings/sec, 165 secs
lola: 1504975 markings, 4235500 edges, 8116 markings/sec, 170 secs
lola: 1545774 markings, 4354365 edges, 8160 markings/sec, 175 secs
lola: 1580710 markings, 4445223 edges, 6987 markings/sec, 180 secs
lola: 1619809 markings, 4550529 edges, 7820 markings/sec, 185 secs
lola: 1658797 markings, 4658422 edges, 7798 markings/sec, 190 secs
lola: 1699259 markings, 4772311 edges, 8092 markings/sec, 195 secs
lola: 1738859 markings, 4883400 edges, 7920 markings/sec, 200 secs
lola: 1778783 markings, 4996447 edges, 7985 markings/sec, 205 secs
lola: 1816812 markings, 5105053 edges, 7606 markings/sec, 210 secs
lola: 1853648 markings, 5212033 edges, 7367 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: 172400 markings, 272475 edges, 34480 markings/sec, 0 secs
lola: 306092 markings, 483493 edges, 26738 markings/sec, 5 secs
lola: 343324 markings, 541580 edges, 7446 markings/sec, 10 secs
lola: 380982 markings, 599855 edges, 7532 markings/sec, 15 secs
lola: 421950 markings, 662983 edges, 8194 markings/sec, 20 secs
lola: 462016 markings, 724335 edges, 8013 markings/sec, 25 secs
lola: 503046 markings, 788298 edges, 8206 markings/sec, 30 secs
lola: 538584 markings, 841518 edges, 7108 markings/sec, 35 secs
lola: 573100 markings, 893259 edges, 6903 markings/sec, 40 secs
lola: 608104 markings, 946253 edges, 7001 markings/sec, 45 secs
lola: 642610 markings, 998524 edges, 6901 markings/sec, 50 secs
lola: 677058 markings, 1050586 edges, 6890 markings/sec, 55 secs
lola: 711104 markings, 1101947 edges, 6809 markings/sec, 60 secs
lola: 746400 markings, 1154954 edges, 7059 markings/sec, 65 secs
lola: 781030 markings, 1207534 edges, 6926 markings/sec, 70 secs
lola: 815288 markings, 1259534 edges, 6852 markings/sec, 75 secs
lola: 846972 markings, 1306999 edges, 6337 markings/sec, 80 secs
lola: 877094 markings, 1351325 edges, 6024 markings/sec, 85 secs
lola: 909130 markings, 1400182 edges, 6407 markings/sec, 90 secs
lola: 943274 markings, 1451592 edges, 6829 markings/sec, 95 secs
lola: 977034 markings, 1501463 edges, 6752 markings/sec, 100 secs
lola: 1012558 markings, 1554749 edges, 7105 markings/sec, 105 secs
lola: 1047724 markings, 1607313 edges, 7033 markings/sec, 110 secs
lola: 1082998 markings, 1660977 edges, 7055 markings/sec, 115 secs
lola: 1115588 markings, 1709518 edges, 6518 markings/sec, 120 secs
lola: 1150864 markings, 1761334 edges, 7055 markings/sec, 125 secs
lola: 1185068 markings, 1813259 edges, 6841 markings/sec, 130 secs
lola: 1219164 markings, 1864749 edges, 6819 markings/sec, 135 secs
lola: 1253804 markings, 1916095 edges, 6928 markings/sec, 140 secs
lola: 1288038 markings, 1967306 edges, 6847 markings/sec, 145 secs
lola: 1321496 markings, 2016671 edges, 6692 markings/sec, 150 secs
lola: 1355864 markings, 2068725 edges, 6874 markings/sec, 155 secs
lola: 1389902 markings, 2119969 edges, 6808 markings/sec, 160 secs
lola: 1424024 markings, 2170827 edges, 6824 markings/sec, 165 secs
lola: 1458864 markings, 2222870 edges, 6968 markings/sec, 170 secs
lola: 1492966 markings, 2273451 edges, 6820 markings/sec, 175 secs
lola: 1526484 markings, 2323818 edges, 6704 markings/sec, 180 secs
lola: 1560972 markings, 2375223 edges, 6898 markings/sec, 185 secs
lola: 1594866 markings, 2425683 edges, 6779 markings/sec, 190 secs
lola: 1629560 markings, 2476571 edges, 6939 markings/sec, 195 secs
lola: 1663294 markings, 2527764 edges, 6747 markings/sec, 200 secs
lola: 1696434 markings, 2577096 edges, 6628 markings/sec, 205 secs
lola: 1727698 markings, 2623799 edges, 6253 markings/sec, 210 secs
lola: 1758778 markings, 2669409 edges, 6216 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: 163420 markings, 254366 edges, 32684 markings/sec, 0 secs
lola: 301078 markings, 467532 edges, 27532 markings/sec, 5 secs
lola: 331392 markings, 514198 edges, 6063 markings/sec, 10 secs
lola: 363872 markings, 562406 edges, 6496 markings/sec, 15 secs
lola: 394134 markings, 609196 edges, 6052 markings/sec, 20 secs
lola: 426386 markings, 657103 edges, 6450 markings/sec, 25 secs
lola: 458350 markings, 705162 edges, 6393 markings/sec, 30 secs
lola: 488954 markings, 751899 edges, 6121 markings/sec, 35 secs
lola: 519606 markings, 797641 edges, 6130 markings/sec, 40 secs
lola: 551634 markings, 844706 edges, 6406 markings/sec, 45 secs
lola: 581834 markings, 890943 edges, 6040 markings/sec, 50 secs
lola: 613272 markings, 938374 edges, 6288 markings/sec, 55 secs
lola: 644770 markings, 984793 edges, 6300 markings/sec, 60 secs
lola: 675318 markings, 1030636 edges, 6110 markings/sec, 65 secs
lola: 706330 markings, 1077399 edges, 6202 markings/sec, 70 secs
lola: 740042 markings, 1127730 edges, 6742 markings/sec, 75 secs
lola: 773514 markings, 1177623 edges, 6694 markings/sec, 80 secs
lola: 804260 markings, 1223656 edges, 6149 markings/sec, 85 secs
lola: 834806 markings, 1269269 edges, 6109 markings/sec, 90 secs
lola: 864824 markings, 1313943 edges, 6004 markings/sec, 95 secs
lola: 895916 markings, 1360711 edges, 6218 markings/sec, 100 secs
lola: 926782 markings, 1406576 edges, 6173 markings/sec, 105 secs
lola: 958614 markings, 1454604 edges, 6366 markings/sec, 110 secs
lola: 992610 markings, 1505013 edges, 6799 markings/sec, 115 secs
lola: 1025354 markings, 1554136 edges, 6549 markings/sec, 120 secs
lola: 1058562 markings, 1602778 edges, 6642 markings/sec, 125 secs
lola: 1091388 markings, 1652269 edges, 6565 markings/sec, 130 secs
lola: 1123752 markings, 1701002 edges, 6473 markings/sec, 135 secs
lola: 1157556 markings, 1751302 edges, 6761 markings/sec, 140 secs
lola: 1191145 markings, 1800667 edges, 6718 markings/sec, 145 secs
lola: 1223670 markings, 1849370 edges, 6505 markings/sec, 150 secs
lola: 1256172 markings, 1898592 edges, 6500 markings/sec, 155 secs
lola: 1289484 markings, 1947890 edges, 6662 markings/sec, 160 secs
lola: 1323354 markings, 1997449 edges, 6774 markings/sec, 165 secs
lola: 1355492 markings, 2049077 edges, 6428 markings/sec, 170 secs
lola: 1399236 markings, 2143501 edges, 8749 markings/sec, 175 secs
lola: 1438953 markings, 2230318 edges, 7943 markings/sec, 180 secs
lola: 1469365 markings, 2278927 edges, 6082 markings/sec, 185 secs
lola: 1509730 markings, 2366371 edges, 8073 markings/sec, 190 secs
lola: 1549283 markings, 2451501 edges, 7911 markings/sec, 195 secs
lola: 1588684 markings, 2534975 edges, 7880 markings/sec, 200 secs
lola: 1627016 markings, 2615642 edges, 7666 markings/sec, 205 secs
lola: 1659267 markings, 2677190 edges, 6450 markings/sec, 210 secs
lola: 1692664 markings, 2740197 edges, 6679 markings/sec, 215 secs
lola: 1730434 markings, 2818752 edges, 7554 markings/sec, 220 secs
lola: 1767637 markings, 2895649 edges, 7441 markings/sec, 225 secs
lola: 1795673 markings, 2973219 edges, 5607 markings/sec, 230 secs
lola: 1811073 markings, 3018753 edges, 3080 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: 176924 markings, 279806 edges, 35385 markings/sec, 0 secs
lola: 306810 markings, 484583 edges, 25977 markings/sec, 5 secs
lola: 343982 markings, 542490 edges, 7434 markings/sec, 10 secs
lola: 380380 markings, 599030 edges, 7280 markings/sec, 15 secs
lola: 415734 markings, 653604 edges, 7071 markings/sec, 20 secs
lola: 452188 markings, 709851 edges, 7291 markings/sec, 25 secs
lola: 489532 markings, 767547 edges, 7469 markings/sec, 30 secs
lola: 521548 markings, 815311 edges, 6403 markings/sec, 35 secs
lola: 555930 markings, 866626 edges, 6876 markings/sec, 40 secs
lola: 590482 markings, 918914 edges, 6910 markings/sec, 45 secs
lola: 624320 markings, 970385 edges, 6768 markings/sec, 50 secs
lola: 657150 markings, 1020328 edges, 6566 markings/sec, 55 secs
lola: 690336 markings, 1070587 edges, 6637 markings/sec, 60 secs
lola: 724634 markings, 1122245 edges, 6860 markings/sec, 65 secs
lola: 758872 markings, 1173649 edges, 6848 markings/sec, 70 secs
lola: 792734 markings, 1224396 edges, 6772 markings/sec, 75 secs
lola: 826226 markings, 1275028 edges, 6698 markings/sec, 80 secs
lola: 859320 markings, 1325615 edges, 6619 markings/sec, 85 secs
lola: 893166 markings, 1376440 edges, 6769 markings/sec, 90 secs
lola: 925742 markings, 1424048 edges, 6515 markings/sec, 95 secs
lola: 958694 markings, 1474574 edges, 6590 markings/sec, 100 secs
lola: 992394 markings, 1525211 edges, 6740 markings/sec, 105 secs
lola: 1024078 markings, 1572038 edges, 6337 markings/sec, 110 secs
lola: 1057350 markings, 1621965 edges, 6654 markings/sec, 115 secs
lola: 1091268 markings, 1672464 edges, 6784 markings/sec, 120 secs
lola: 1123518 markings, 1721372 edges, 6450 markings/sec, 125 secs
lola: 1155896 markings, 1769657 edges, 6476 markings/sec, 130 secs
lola: 1189746 markings, 1819665 edges, 6770 markings/sec, 135 secs
lola: 1222368 markings, 1869359 edges, 6524 markings/sec, 140 secs
lola: 1255610 markings, 1919124 edges, 6648 markings/sec, 145 secs
lola: 1289028 markings, 1968719 edges, 6684 markings/sec, 150 secs
lola: 1321092 markings, 2016126 edges, 6413 markings/sec, 155 secs
lola: 1353990 markings, 2066166 edges, 6580 markings/sec, 160 secs
lola: 1386714 markings, 2114848 edges, 6545 markings/sec, 165 secs
lola: 1419694 markings, 2164138 edges, 6596 markings/sec, 170 secs
lola: 1453572 markings, 2214581 edges, 6776 markings/sec, 175 secs
lola: 1486184 markings, 2262452 edges, 6522 markings/sec, 180 secs
lola: 1519340 markings, 2312307 edges, 6631 markings/sec, 185 secs
lola: 1552382 markings, 2362278 edges, 6608 markings/sec, 190 secs
lola: 1585182 markings, 2410244 edges, 6560 markings/sec, 195 secs
lola: 1617702 markings, 2459581 edges, 6504 markings/sec, 200 secs
lola: 1650376 markings, 2508531 edges, 6535 markings/sec, 205 secs
lola: 1682948 markings, 2557217 edges, 6514 markings/sec, 210 secs
lola: 1716408 markings, 2606043 edges, 6692 markings/sec, 215 secs
lola: 1750002 markings, 2656884 edges, 6719 markings/sec, 220 secs
lola: 1784242 markings, 2708137 edges, 6848 markings/sec, 225 secs
lola: 1817536 markings, 2756859 edges, 6659 markings/sec, 230 secs
lola: 1854716 markings, 2816445 edges, 7436 markings/sec, 235 secs
lola: 1902686 markings, 2919342 edges, 9594 markings/sec, 240 secs
lola: 1947861 markings, 3016891 edges, 9035 markings/sec, 245 secs
lola: 1994176 markings, 3114982 edges, 9263 markings/sec, 250 secs
lola: 2040056 markings, 3211313 edges, 9176 markings/sec, 255 secs
lola: 2085395 markings, 3305985 edges, 9068 markings/sec, 260 secs
lola: 2129119 markings, 3397096 edges, 8745 markings/sec, 265 secs
lola: 2173159 markings, 3487662 edges, 8808 markings/sec, 270 secs
lola: 2217157 markings, 3577490 edges, 8800 markings/sec, 275 secs
lola: 2260732 markings, 3665611 edges, 8715 markings/sec, 280 secs
lola: 2292462 markings, 3755422 edges, 6346 markings/sec, 285 secs
lola: 2312439 markings, 3814788 edges, 3995 markings/sec, 290 secs
lola: 2332282 markings, 3873911 edges, 3969 markings/sec, 295 secs
lola: 2351952 markings, 3932951 edges, 3934 markings/sec, 300 secs
lola: 2372179 markings, 3992689 edges, 4045 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: 70244 markings, 179358 edges, 14049 markings/sec, 0 secs
lola: 142015 markings, 362250 edges, 14354 markings/sec, 5 secs
lola: 218413 markings, 564952 edges, 15280 markings/sec, 10 secs
lola: 290278 markings, 756979 edges, 14373 markings/sec, 15 secs
lola: 347864 markings, 908466 edges, 11517 markings/sec, 20 secs
lola: 406622 markings, 1068175 edges, 11752 markings/sec, 25 secs
lola: 465829 markings, 1233858 edges, 11841 markings/sec, 30 secs
lola: 523651 markings, 1393937 edges, 11564 markings/sec, 35 secs
lola: 587608 markings, 1573111 edges, 12791 markings/sec, 40 secs
lola: 644020 markings, 1730698 edges, 11282 markings/sec, 45 secs
lola: 706259 markings, 1905085 edges, 12448 markings/sec, 50 secs
lola: 758063 markings, 2049533 edges, 10361 markings/sec, 55 secs
lola: 810475 markings, 2191714 edges, 10482 markings/sec, 60 secs
lola: 858481 markings, 2326593 edges, 9601 markings/sec, 65 secs
lola: 910960 markings, 2471106 edges, 10496 markings/sec, 70 secs
lola: 961297 markings, 2615058 edges, 10067 markings/sec, 75 secs
lola: 1012192 markings, 2760724 edges, 10179 markings/sec, 80 secs
lola: 1065217 markings, 2913716 edges, 10605 markings/sec, 85 secs
lola: 1119525 markings, 3070314 edges, 10862 markings/sec, 90 secs
lola: 1172292 markings, 3222467 edges, 10553 markings/sec, 95 secs
lola: 1224542 markings, 3373667 edges, 10450 markings/sec, 100 secs
lola: 1279118 markings, 3531764 edges, 10915 markings/sec, 105 secs
lola: 1338884 markings, 3706602 edges, 11953 markings/sec, 110 secs
lola: 1380778 markings, 3816937 edges, 8379 markings/sec, 115 secs
lola: 1422842 markings, 3926195 edges, 8413 markings/sec, 120 secs
lola: 1475471 markings, 4074867 edges, 10526 markings/sec, 125 secs
lola: 1531545 markings, 4240817 edges, 11215 markings/sec, 130 secs
lola: 1576857 markings, 4362414 edges, 9062 markings/sec, 135 secs
lola: 1620837 markings, 4485996 edges, 8796 markings/sec, 140 secs
lola: 1675937 markings, 4646819 edges, 11020 markings/sec, 145 secs
lola: 1725296 markings, 4795022 edges, 9872 markings/sec, 150 secs
lola: 1780744 markings, 4958039 edges, 11090 markings/sec, 155 secs
lola: 1833775 markings, 5113930 edges, 10606 markings/sec, 160 secs
lola: 1888636 markings, 5271512 edges, 10972 markings/sec, 165 secs
lola: 1943343 markings, 5436059 edges, 10941 markings/sec, 170 secs
lola: 1991321 markings, 5574736 edges, 9596 markings/sec, 175 secs
lola: 2044966 markings, 5731641 edges, 10729 markings/sec, 180 secs
lola: 2098513 markings, 5889569 edges, 10709 markings/sec, 185 secs
lola: 2145225 markings, 6016495 edges, 9342 markings/sec, 190 secs
lola: 2180095 markings, 6115925 edges, 6974 markings/sec, 195 secs
lola: 2216393 markings, 6212295 edges, 7260 markings/sec, 200 secs
lola: 2253736 markings, 6312421 edges, 7469 markings/sec, 205 secs
lola: 2301963 markings, 6443287 edges, 9645 markings/sec, 210 secs
lola: 2350330 markings, 6588964 edges, 9673 markings/sec, 215 secs
lola: 2402545 markings, 6736354 edges, 10443 markings/sec, 220 secs
lola: 2440853 markings, 6844809 edges, 7662 markings/sec, 225 secs
lola: 2478005 markings, 6947797 edges, 7430 markings/sec, 230 secs
lola: 2524984 markings, 7089096 edges, 9396 markings/sec, 235 secs
lola: 2580430 markings, 7252727 edges, 11089 markings/sec, 240 secs
lola: 2627700 markings, 7395218 edges, 9454 markings/sec, 245 secs
lola: 2682204 markings, 7555470 edges, 10901 markings/sec, 250 secs
lola: 2736765 markings, 7719881 edges, 10912 markings/sec, 255 secs
lola: 2783611 markings, 7857551 edges, 9369 markings/sec, 260 secs
lola: 2837761 markings, 8016672 edges, 10830 markings/sec, 265 secs
lola: 2888725 markings, 8169409 edges, 10193 markings/sec, 270 secs
lola: 2938885 markings, 8317776 edges, 10032 markings/sec, 275 secs
lola: 2992587 markings, 8476731 edges, 10740 markings/sec, 280 secs
lola: 3046534 markings, 8633146 edges, 10789 markings/sec, 285 secs
lola: 3093193 markings, 8774999 edges, 9332 markings/sec, 290 secs
lola: 3136701 markings, 8890445 edges, 8702 markings/sec, 295 secs
lola: 3170605 markings, 8989890 edges, 6781 markings/sec, 300 secs
lola: 3203254 markings, 9079290 edges, 6530 markings/sec, 305 secs
lola: 3239981 markings, 9177318 edges, 7345 markings/sec, 310 secs
lola: 3276135 markings, 9272350 edges, 7231 markings/sec, 315 secs
lola: 3313795 markings, 9376406 edges, 7532 markings/sec, 320 secs
lola: 3360303 markings, 9508006 edges, 9302 markings/sec, 325 secs
lola: 3407056 markings, 9649202 edges, 9351 markings/sec, 330 secs
lola: 3459531 markings, 9803771 edges, 10495 markings/sec, 335 secs
lola: 3498905 markings, 9906905 edges, 7875 markings/sec, 340 secs
lola: 3533647 markings, 10008613 edges, 6948 markings/sec, 345 secs
lola: 3565935 markings, 10097852 edges, 6458 markings/sec, 350 secs
lola: 3612813 markings, 10236073 edges, 9376 markings/sec, 355 secs
lola: 3659011 markings, 10377810 edges, 9240 markings/sec, 360 secs
lola: 3712614 markings, 10537581 edges, 10721 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: 28682 markings, 71081 edges, 5736 markings/sec, 0 secs
lola: 57292 markings, 147517 edges, 5722 markings/sec, 5 secs
lola: 85459 markings, 223776 edges, 5633 markings/sec, 10 secs
lola: 113356 markings, 300091 edges, 5579 markings/sec, 15 secs
lola: 141524 markings, 377863 edges, 5634 markings/sec, 20 secs
lola: 169727 markings, 454989 edges, 5641 markings/sec, 25 secs
lola: 196732 markings, 529416 edges, 5401 markings/sec, 30 secs
lola: 224919 markings, 607967 edges, 5637 markings/sec, 35 secs
lola: 251294 markings, 684580 edges, 5275 markings/sec, 40 secs
lola: 279578 markings, 762296 edges, 5657 markings/sec, 45 secs
lola: 306477 markings, 839408 edges, 5380 markings/sec, 50 secs
lola: 332946 markings, 916515 edges, 5294 markings/sec, 55 secs
lola: 359042 markings, 988038 edges, 5219 markings/sec, 60 secs
lola: 383737 markings, 1060034 edges, 4939 markings/sec, 65 secs
lola: 408435 markings, 1131497 edges, 4940 markings/sec, 70 secs
lola: 434645 markings, 1203900 edges, 5242 markings/sec, 75 secs
lola: 459963 markings, 1276529 edges, 5064 markings/sec, 80 secs
lola: 486226 markings, 1352945 edges, 5253 markings/sec, 85 secs
lola: 513149 markings, 1430145 edges, 5385 markings/sec, 90 secs
lola: 541781 markings, 1508544 edges, 5726 markings/sec, 95 secs
lola: 568992 markings, 1587573 edges, 5442 markings/sec, 100 secs
lola: 595757 markings, 1665414 edges, 5353 markings/sec, 105 secs
lola: 623545 markings, 1744389 edges, 5558 markings/sec, 110 secs
lola: 651594 markings, 1823184 edges, 5610 markings/sec, 115 secs
lola: 677474 markings, 1897980 edges, 5176 markings/sec, 120 secs
lola: 703185 markings, 1974047 edges, 5142 markings/sec, 125 secs
lola: 728933 markings, 2049077 edges, 5150 markings/sec, 130 secs
lola: 756407 markings, 2123406 edges, 5495 markings/sec, 135 secs
lola: 783493 markings, 2201799 edges, 5417 markings/sec, 140 secs
lola: 810277 markings, 2277851 edges, 5357 markings/sec, 145 secs
lola: 836817 markings, 2356657 edges, 5308 markings/sec, 150 secs
lola: 864484 markings, 2434108 edges, 5533 markings/sec, 155 secs
lola: 892575 markings, 2513187 edges, 5618 markings/sec, 160 secs
lola: 919446 markings, 2590572 edges, 5374 markings/sec, 165 secs
lola: 945748 markings, 2668877 edges, 5260 markings/sec, 170 secs
lola: 970823 markings, 2742063 edges, 5015 markings/sec, 175 secs
lola: 996806 markings, 2813752 edges, 5197 markings/sec, 180 secs
lola: 1022606 markings, 2886887 edges, 5160 markings/sec, 185 secs
lola: 1048086 markings, 2961191 edges, 5096 markings/sec, 190 secs
lola: 1072752 markings, 3033660 edges, 4933 markings/sec, 195 secs
lola: 1099045 markings, 3109673 edges, 5259 markings/sec, 200 secs
lola: 1125618 markings, 3189738 edges, 5315 markings/sec, 205 secs
lola: 1154000 markings, 3265461 edges, 5676 markings/sec, 210 secs
lola: 1181596 markings, 3344928 edges, 5519 markings/sec, 215 secs
lola: 1208672 markings, 3421927 edges, 5415 markings/sec, 220 secs
lola: 1235183 markings, 3500965 edges, 5302 markings/sec, 225 secs
lola: 1261635 markings, 3579202 edges, 5290 markings/sec, 230 secs
lola: 1289349 markings, 3657164 edges, 5543 markings/sec, 235 secs
lola: 1317482 markings, 3734604 edges, 5627 markings/sec, 240 secs
lola: 1345851 markings, 3811666 edges, 5674 markings/sec, 245 secs
lola: 1374064 markings, 3890440 edges, 5643 markings/sec, 250 secs
lola: 1401844 markings, 3968324 edges, 5556 markings/sec, 255 secs
lola: 1428880 markings, 4046331 edges, 5407 markings/sec, 260 secs
lola: 1455815 markings, 4125925 edges, 5387 markings/sec, 265 secs
lola: 1482509 markings, 4204419 edges, 5339 markings/sec, 270 secs
lola: 1509038 markings, 4282140 edges, 5306 markings/sec, 275 secs
lola: 1536431 markings, 4361695 edges, 5479 markings/sec, 280 secs
lola: 1563625 markings, 4440098 edges, 5439 markings/sec, 285 secs
lola: 1590717 markings, 4518052 edges, 5418 markings/sec, 290 secs
lola: 1618086 markings, 4600010 edges, 5474 markings/sec, 295 secs
lola: 1643870 markings, 4676028 edges, 5157 markings/sec, 300 secs
lola: 1672117 markings, 4749830 edges, 5649 markings/sec, 305 secs
lola: 1700471 markings, 4828341 edges, 5671 markings/sec, 310 secs
lola: 1728638 markings, 4907174 edges, 5633 markings/sec, 315 secs
lola: 1755376 markings, 4982631 edges, 5348 markings/sec, 320 secs
lola: 1782370 markings, 5061271 edges, 5399 markings/sec, 325 secs
lola: 1809503 markings, 5139906 edges, 5427 markings/sec, 330 secs
lola: 1836485 markings, 5218103 edges, 5396 markings/sec, 335 secs
lola: 1863610 markings, 5295889 edges, 5425 markings/sec, 340 secs
lola: 1890592 markings, 5372435 edges, 5396 markings/sec, 345 secs
lola: 1915980 markings, 5447168 edges, 5078 markings/sec, 350 secs
lola: 1939585 markings, 5516102 edges, 4721 markings/sec, 355 secs
lola: 1965057 markings, 5588676 edges, 5094 markings/sec, 360 secs
lola: 1992538 markings, 5667829 edges, 5496 markings/sec, 365 secs
lola: 2016444 markings, 5738294 edges, 4781 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: 69094 markings, 175627 edges, 13819 markings/sec, 0 secs
lola: 137002 markings, 350698 edges, 13582 markings/sec, 5 secs
lola: 212147 markings, 549679 edges, 15029 markings/sec, 10 secs
lola: 284874 markings, 741358 edges, 14545 markings/sec, 15 secs
lola: 343696 markings, 899329 edges, 11764 markings/sec, 20 secs
lola: 401511 markings, 1053831 edges, 11563 markings/sec, 25 secs
lola: 457694 markings, 1210649 edges, 11237 markings/sec, 30 secs
lola: 515779 markings, 1373983 edges, 11617 markings/sec, 35 secs
lola: 576861 markings, 1546308 edges, 12216 markings/sec, 40 secs
lola: 635238 markings, 1709193 edges, 11675 markings/sec, 45 secs
lola: 693578 markings, 1871149 edges, 11668 markings/sec, 50 secs
lola: 745946 markings, 2011486 edges, 10474 markings/sec, 55 secs
lola: 802654 markings, 2168352 edges, 11342 markings/sec, 60 secs
lola: 858535 markings, 2324488 edges, 11176 markings/sec, 65 secs
lola: 906093 markings, 2458369 edges, 9512 markings/sec, 70 secs
lola: 961576 markings, 2618188 edges, 11097 markings/sec, 75 secs
lola: 1016727 markings, 2775996 edges, 11030 markings/sec, 80 secs
lola: 1071533 markings, 2933864 edges, 10961 markings/sec, 85 secs
lola: 1125928 markings, 3091171 edges, 10879 markings/sec, 90 secs
lola: 1180177 markings, 3247481 edges, 10850 markings/sec, 95 secs
lola: 1240194 markings, 3423065 edges, 12003 markings/sec, 100 secs
lola: 1294767 markings, 3576902 edges, 10915 markings/sec, 105 secs
lola: 1340360 markings, 3693077 edges, 9119 markings/sec, 110 secs
lola: 1394975 markings, 3844214 edges, 10923 markings/sec, 115 secs
lola: 1446908 markings, 3997513 edges, 10387 markings/sec, 120 secs
lola: 1496538 markings, 4125294 edges, 9926 markings/sec, 125 secs
lola: 1543319 markings, 4264189 edges, 9356 markings/sec, 130 secs
lola: 1598130 markings, 4424525 edges, 10962 markings/sec, 135 secs
lola: 1652730 markings, 4584427 edges, 10920 markings/sec, 140 secs
lola: 1706880 markings, 4745837 edges, 10830 markings/sec, 145 secs
lola: 1754789 markings, 4884045 edges, 9582 markings/sec, 150 secs
lola: 1807378 markings, 5037050 edges, 10518 markings/sec, 155 secs
lola: 1859830 markings, 5190684 edges, 10490 markings/sec, 160 secs
lola: 1911749 markings, 5341812 edges, 10384 markings/sec, 165 secs
lola: 1963561 markings, 5491674 edges, 10362 markings/sec, 170 secs
lola: 2015087 markings, 5646188 edges, 10305 markings/sec, 175 secs
lola: 2059876 markings, 5758432 edges, 8958 markings/sec, 180 secs
lola: 2104374 markings, 5869065 edges, 8900 markings/sec, 185 secs
lola: 2159551 markings, 6026428 edges, 11035 markings/sec, 190 secs
lola: 2206149 markings, 6166958 edges, 9320 markings/sec, 195 secs
lola: 2258074 markings, 6304221 edges, 10385 markings/sec, 200 secs
lola: 2303995 markings, 6433772 edges, 9184 markings/sec, 205 secs
lola: 2357377 markings, 6595678 edges, 10676 markings/sec, 210 secs
lola: 2404685 markings, 6733489 edges, 9462 markings/sec, 215 secs
lola: 2460483 markings, 6896645 edges, 11160 markings/sec, 220 secs
lola: 2508205 markings, 7040006 edges, 9544 markings/sec, 225 secs
lola: 2562335 markings, 7197349 edges, 10826 markings/sec, 230 secs
lola: 2617198 markings, 7358468 edges, 10973 markings/sec, 235 secs
lola: 2665079 markings, 7504046 edges, 9576 markings/sec, 240 secs
lola: 2719881 markings, 7664405 edges, 10960 markings/sec, 245 secs
lola: 2773974 markings, 7824382 edges, 10819 markings/sec, 250 secs
lola: 2825293 markings, 7978914 edges, 10264 markings/sec, 255 secs
lola: 2875904 markings, 8126876 edges, 10122 markings/sec, 260 secs
lola: 2928410 markings, 8269309 edges, 10501 markings/sec, 265 secs
lola: 2973115 markings, 8380691 edges, 8941 markings/sec, 270 secs
lola: 3019290 markings, 8494199 edges, 9235 markings/sec, 275 secs
lola: 3073455 markings, 8650491 edges, 10833 markings/sec, 280 secs
lola: 3120144 markings, 8790214 edges, 9338 markings/sec, 285 secs
lola: 3175221 markings, 8940409 edges, 11015 markings/sec, 290 secs
lola: 3220204 markings, 9056992 edges, 8997 markings/sec, 295 secs
lola: 3267341 markings, 9200690 edges, 9427 markings/sec, 300 secs
lola: 3322834 markings, 9362539 edges, 11099 markings/sec, 305 secs
lola: 3369472 markings, 9505580 edges, 9328 markings/sec, 310 secs
lola: 3424362 markings, 9665076 edges, 10978 markings/sec, 315 secs
lola: 3470999 markings, 9808483 edges, 9327 markings/sec, 320 secs
lola: 3525117 markings, 9965710 edges, 10824 markings/sec, 325 secs
lola: 3572333 markings, 10108406 edges, 9443 markings/sec, 330 secs
lola: 3626259 markings, 10269202 edges, 10785 markings/sec, 335 secs
lola: 3672950 markings, 10410432 edges, 9338 markings/sec, 340 secs
lola: 3726426 markings, 10570034 edges, 10695 markings/sec, 345 secs
lola: 3777836 markings, 10723462 edges, 10282 markings/sec, 350 secs
lola: 3826133 markings, 10865815 edges, 9659 markings/sec, 355 secs
lola: 3878849 markings, 11021534 edges, 10543 markings/sec, 360 secs
lola: 3924048 markings, 11159514 edges, 9040 markings/sec, 365 secs
lola: 3975014 markings, 11292833 edges, 10193 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 375 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 751 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 1496353072107

--------------------
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-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/S_BridgeAndVehicles-PT-V50P50N10.tgz
mv S_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 S_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 r088-csrt-149441074500497"
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 ;