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

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

=== Now, execution of the tool begins

BK_START 1494616100781


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ BridgeAndVehicles-PT-V50P50N20 @ 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: 2486/65536 symbol table entries, 36 collisions
lola: preprocessing...
lola: finding significant places
lola: 138 places, 2348 transitions, 131 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2693 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V50P50N20-UpperBounds.task
lola: MAX(ATTENTE_B) : MAX(CONTROLEUR_1 + CONTROLEUR_2) : MAX(SUR_PONT_A) : MAX(SUR_PONT_B) : MAX(NB_ATTENTE_A_0 + NB_ATTENTE_A_1 + NB_ATTENTE_A_2 + NB_ATTENTE_A_3 + NB_ATTENTE_A_4 + NB_ATTENTE_A_5 + NB_ATTENTE_A_6 + NB_ATTENTE_A_7 + NB_ATTENTE_A_8 + NB_ATTENTE_A_9 + NB_ATTENTE_A_10 + NB_ATTENTE_A_11 + NB_ATTENTE_A_12 + NB_ATTENTE_A_13 + NB_ATTENTE_A_14 + NB_ATTENTE_A_15 + NB_ATTENTE_A_16 + NB_ATTENTE_A_17 + NB_ATTENTE_A_18 + NB_ATTENTE_A_19 + NB_ATTENTE_A_20 + NB_ATTENTE_A_21 + NB_ATTENTE_A_22 + NB_ATTENTE_A_23 + NB_ATTENTE_A_24 + NB_ATTENTE_A_25 + NB_ATTENTE_A_26 + NB_ATTENTE_A_27 + NB_ATTENTE_A_28 + NB_ATTENTE_A_29 + NB_ATTENTE_A_30 + NB_ATTENTE_A_31 + NB_ATTENTE_A_32 + NB_ATTENTE_A_33 + NB_ATTENTE_A_34 + NB_ATTENTE_A_35 + NB_ATTENTE_A_36 + NB_ATTENTE_A_37 + NB_ATTENTE_A_38 + NB_ATTENTE_A_39 + NB_ATTENTE_A_40 + NB_ATTENTE_A_41 + NB_ATTENTE_A_42 + NB_ATTENTE_A_43 + NB_ATTENTE_A_44 + NB_ATTENTE_A_45 + NB_ATTENTE_A_46 + NB_ATTENTE_A_47 + NB_ATTENTE_A_48 + NB_ATTENTE_A_49 + NB_ATTENTE_A_50) : MAX(CHOIX_1 + CHOIX_2) : MAX(CONTROLEUR_1 + CONTROLEUR_2) : MAX(SORTI_A) : MAX(SORTI_A) : MAX(SUR_PONT_B) : MAX(SUR_PONT_B) : MAX(ATTENTE_A) : MAX(SORTI_A) : MAX(VIDANGE_1 + VIDANGE_2) : MAX(SUR_PONT_B) : MAX(SUR_PONT_B)
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(ATTENTE_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 70292 markings, 111098 edges, 14058 markings/sec, 0 secs
lola: 142297 markings, 225440 edges, 14401 markings/sec, 5 secs
lola: 213335 markings, 338538 edges, 14208 markings/sec, 10 secs
lola: 283032 markings, 448730 edges, 13939 markings/sec, 15 secs
lola: 358892 markings, 568905 edges, 15172 markings/sec, 20 secs
lola: 434885 markings, 689310 edges, 15199 markings/sec, 25 secs
lola: 447676 markings, 708670 edges, 2558 markings/sec, 30 secs
lola: 457920 markings, 726233 edges, 2049 markings/sec, 35 secs
lola: 468584 markings, 744400 edges, 2133 markings/sec, 40 secs
lola: 479960 markings, 762821 edges, 2275 markings/sec, 45 secs
lola: 490946 markings, 779154 edges, 2197 markings/sec, 50 secs
lola: 500112 markings, 794841 edges, 1833 markings/sec, 55 secs
lola: 509864 markings, 811419 edges, 1950 markings/sec, 60 secs
lola: 519140 markings, 826719 edges, 1855 markings/sec, 65 secs
lola: 530992 markings, 844207 edges, 2370 markings/sec, 70 secs
lola: 540496 markings, 860424 edges, 1901 markings/sec, 75 secs
lola: 550112 markings, 876777 edges, 1923 markings/sec, 80 secs
lola: 558586 markings, 890972 edges, 1695 markings/sec, 85 secs
lola: 570062 markings, 907873 edges, 2295 markings/sec, 90 secs
lola: 578454 markings, 921987 edges, 1678 markings/sec, 95 secs
lola: 586650 markings, 935972 edges, 1639 markings/sec, 100 secs
lola: 594964 markings, 950029 edges, 1663 markings/sec, 105 secs
lola: 605956 markings, 966851 edges, 2198 markings/sec, 110 secs
lola: 615122 markings, 981426 edges, 1833 markings/sec, 115 secs
lola: 624120 markings, 996832 edges, 1800 markings/sec, 120 secs
lola: 633056 markings, 1011900 edges, 1787 markings/sec, 125 secs
lola: 643794 markings, 1028447 edges, 2148 markings/sec, 130 secs
lola: 652772 markings, 1042679 edges, 1796 markings/sec, 135 secs
lola: 661686 markings, 1057907 edges, 1783 markings/sec, 140 secs
lola: 670648 markings, 1073036 edges, 1792 markings/sec, 145 secs
lola: 681336 markings, 1089365 edges, 2138 markings/sec, 150 secs
lola: 690276 markings, 1103734 edges, 1788 markings/sec, 155 secs
lola: 699236 markings, 1119009 edges, 1792 markings/sec, 160 secs
lola: 708102 markings, 1133972 edges, 1773 markings/sec, 165 secs
lola: 719138 markings, 1150459 edges, 2207 markings/sec, 170 secs
lola: 728776 markings, 1166605 edges, 1928 markings/sec, 175 secs
lola: 737868 markings, 1182060 edges, 1818 markings/sec, 180 secs
lola: 746496 markings, 1196171 edges, 1726 markings/sec, 185 secs
lola: 757498 markings, 1212824 edges, 2200 markings/sec, 190 secs
lola: 766786 markings, 1228673 edges, 1858 markings/sec, 195 secs
lola: 775746 markings, 1243843 edges, 1792 markings/sec, 200 secs
lola: 785524 markings, 1258730 edges, 1956 markings/sec, 205 secs
lola: 793882 markings, 1272273 edges, 1672 markings/sec, 210 secs
lola: 803088 markings, 1287937 edges, 1841 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(CONTROLEUR_1 + CONTROLEUR_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 14218 markings, 30346 edges, 2844 markings/sec, 0 secs
lola: 28867 markings, 64407 edges, 2930 markings/sec, 5 secs
lola: 43521 markings, 99082 edges, 2931 markings/sec, 10 secs
lola: 58649 markings, 135689 edges, 3026 markings/sec, 15 secs
lola: 73627 markings, 172427 edges, 2996 markings/sec, 20 secs
lola: 89912 markings, 210346 edges, 3257 markings/sec, 25 secs
lola: 104075 markings, 246569 edges, 2833 markings/sec, 30 secs
lola: 118719 markings, 282813 edges, 2929 markings/sec, 35 secs
lola: 133211 markings, 319264 edges, 2898 markings/sec, 40 secs
lola: 148043 markings, 354700 edges, 2966 markings/sec, 45 secs
lola: 163154 markings, 391922 edges, 3022 markings/sec, 50 secs
lola: 177827 markings, 429813 edges, 2935 markings/sec, 55 secs
lola: 192292 markings, 465059 edges, 2893 markings/sec, 60 secs
lola: 206912 markings, 502776 edges, 2924 markings/sec, 65 secs
lola: 221361 markings, 540045 edges, 2890 markings/sec, 70 secs
lola: 235728 markings, 576031 edges, 2873 markings/sec, 75 secs
lola: 250360 markings, 610507 edges, 2926 markings/sec, 80 secs
lola: 264616 markings, 644963 edges, 2851 markings/sec, 85 secs
lola: 280078 markings, 686356 edges, 3092 markings/sec, 90 secs
lola: 293839 markings, 721900 edges, 2752 markings/sec, 95 secs
lola: 308114 markings, 757837 edges, 2855 markings/sec, 100 secs
lola: 322617 markings, 794255 edges, 2901 markings/sec, 105 secs
lola: 336635 markings, 830615 edges, 2804 markings/sec, 110 secs
lola: 351274 markings, 869104 edges, 2928 markings/sec, 115 secs
lola: 366559 markings, 908500 edges, 3057 markings/sec, 120 secs
lola: 381923 markings, 947538 edges, 3073 markings/sec, 125 secs
lola: 397598 markings, 985060 edges, 3135 markings/sec, 130 secs
lola: 411793 markings, 1019677 edges, 2839 markings/sec, 135 secs
lola: 426810 markings, 1056183 edges, 3003 markings/sec, 140 secs
lola: 442707 markings, 1099144 edges, 3179 markings/sec, 145 secs
lola: 457796 markings, 1139285 edges, 3018 markings/sec, 150 secs
lola: 471724 markings, 1174971 edges, 2786 markings/sec, 155 secs
lola: 486088 markings, 1211896 edges, 2873 markings/sec, 160 secs
lola: 500090 markings, 1246574 edges, 2800 markings/sec, 165 secs
lola: 514751 markings, 1284147 edges, 2932 markings/sec, 170 secs
lola: 528793 markings, 1321616 edges, 2808 markings/sec, 175 secs
lola: 543904 markings, 1361395 edges, 3022 markings/sec, 180 secs
lola: 558704 markings, 1399510 edges, 2960 markings/sec, 185 secs
lola: 572646 markings, 1436351 edges, 2788 markings/sec, 190 secs
lola: 586449 markings, 1471749 edges, 2761 markings/sec, 195 secs
lola: 600595 markings, 1508265 edges, 2829 markings/sec, 200 secs
lola: 615675 markings, 1544385 edges, 3016 markings/sec, 205 secs
lola: 629689 markings, 1578217 edges, 2803 markings/sec, 210 secs
lola: 642848 markings, 1612492 edges, 2632 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_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 24905 markings, 56538 edges, 4981 markings/sec, 0 secs
lola: 62276 markings, 166734 edges, 7474 markings/sec, 5 secs
lola: 91416 markings, 243410 edges, 5828 markings/sec, 10 secs
lola: 123768 markings, 332997 edges, 6470 markings/sec, 15 secs
lola: 148886 markings, 390874 edges, 5024 markings/sec, 20 secs
lola: 185214 markings, 498131 edges, 7266 markings/sec, 25 secs
lola: 218634 markings, 596241 edges, 6684 markings/sec, 30 secs
lola: 245333 markings, 661279 edges, 5340 markings/sec, 35 secs
lola: 279461 markings, 759399 edges, 6826 markings/sec, 40 secs
lola: 314480 markings, 860157 edges, 7004 markings/sec, 45 secs
lola: 346963 markings, 953514 edges, 6497 markings/sec, 50 secs
lola: 372126 markings, 1016629 edges, 5033 markings/sec, 55 secs
lola: 402063 markings, 1100333 edges, 5987 markings/sec, 60 secs
lola: 433518 markings, 1190702 edges, 6291 markings/sec, 65 secs
lola: 465725 markings, 1281420 edges, 6441 markings/sec, 70 secs
lola: 497024 markings, 1369207 edges, 6260 markings/sec, 75 secs
lola: 527578 markings, 1454462 edges, 6111 markings/sec, 80 secs
lola: 558298 markings, 1539383 edges, 6144 markings/sec, 85 secs
lola: 587942 markings, 1621022 edges, 5929 markings/sec, 90 secs
lola: 616723 markings, 1699859 edges, 5756 markings/sec, 95 secs
lola: 646419 markings, 1781440 edges, 5939 markings/sec, 100 secs
lola: 678702 markings, 1874481 edges, 6457 markings/sec, 105 secs
lola: 706131 markings, 1947650 edges, 5486 markings/sec, 110 secs
lola: 732460 markings, 2032875 edges, 5266 markings/sec, 115 secs
lola: 753483 markings, 2088054 edges, 4205 markings/sec, 120 secs
lola: 785785 markings, 2190012 edges, 6460 markings/sec, 125 secs
lola: 807983 markings, 2244341 edges, 4440 markings/sec, 130 secs
lola: 830384 markings, 2311110 edges, 4480 markings/sec, 135 secs
lola: 864254 markings, 2420892 edges, 6774 markings/sec, 140 secs
lola: 885591 markings, 2468400 edges, 4267 markings/sec, 145 secs
lola: 905564 markings, 2528105 edges, 3995 markings/sec, 150 secs
lola: 928400 markings, 2586565 edges, 4567 markings/sec, 155 secs
lola: 951574 markings, 2656532 edges, 4635 markings/sec, 160 secs
lola: 985770 markings, 2763075 edges, 6839 markings/sec, 165 secs
lola: 1007561 markings, 2823899 edges, 4358 markings/sec, 170 secs
lola: 1029440 markings, 2888499 edges, 4376 markings/sec, 175 secs
lola: 1062511 markings, 2986552 edges, 6614 markings/sec, 180 secs
lola: 1083971 markings, 3051463 edges, 4292 markings/sec, 185 secs
lola: 1114098 markings, 3144583 edges, 6025 markings/sec, 190 secs
lola: 1137977 markings, 3207339 edges, 4776 markings/sec, 195 secs
lola: 1159978 markings, 3274885 edges, 4400 markings/sec, 200 secs
lola: 1192474 markings, 3371879 edges, 6499 markings/sec, 205 secs
lola: 1213895 markings, 3435979 edges, 4284 markings/sec, 210 secs
lola: 1244679 markings, 3532288 edges, 6157 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(SUR_PONT_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 14911 markings, 26198 edges, 2982 markings/sec, 0 secs
lola: 31640 markings, 61173 edges, 3346 markings/sec, 5 secs
lola: 46077 markings, 97450 edges, 2887 markings/sec, 10 secs
lola: 58978 markings, 125826 edges, 2580 markings/sec, 15 secs
lola: 75750 markings, 167509 edges, 3354 markings/sec, 20 secs
lola: 90232 markings, 200302 edges, 2896 markings/sec, 25 secs
lola: 107262 markings, 241224 edges, 3406 markings/sec, 30 secs
lola: 122879 markings, 278717 edges, 3123 markings/sec, 35 secs
lola: 137442 markings, 311819 edges, 2913 markings/sec, 40 secs
lola: 154739 markings, 354001 edges, 3459 markings/sec, 45 secs
lola: 168777 markings, 385737 edges, 2808 markings/sec, 50 secs
lola: 185503 markings, 425691 edges, 3345 markings/sec, 55 secs
lola: 202404 markings, 466393 edges, 3380 markings/sec, 60 secs
lola: 216972 markings, 499616 edges, 2914 markings/sec, 65 secs
lola: 232388 markings, 535762 edges, 3083 markings/sec, 70 secs
lola: 248689 markings, 575195 edges, 3260 markings/sec, 75 secs
lola: 264560 markings, 613046 edges, 3174 markings/sec, 80 secs
lola: 279286 markings, 646484 edges, 2945 markings/sec, 85 secs
lola: 294202 markings, 681119 edges, 2983 markings/sec, 90 secs
lola: 310059 markings, 718976 edges, 3171 markings/sec, 95 secs
lola: 325901 markings, 756303 edges, 3168 markings/sec, 100 secs
lola: 341132 markings, 792176 edges, 3046 markings/sec, 105 secs
lola: 356353 markings, 827969 edges, 3044 markings/sec, 110 secs
lola: 371935 markings, 864323 edges, 3116 markings/sec, 115 secs
lola: 386725 markings, 899001 edges, 2958 markings/sec, 120 secs
lola: 401903 markings, 934269 edges, 3036 markings/sec, 125 secs
lola: 418673 markings, 974852 edges, 3354 markings/sec, 130 secs
lola: 433452 markings, 1007083 edges, 2956 markings/sec, 135 secs
lola: 446545 markings, 1034436 edges, 2619 markings/sec, 140 secs
lola: 460887 markings, 1064888 edges, 2868 markings/sec, 145 secs
lola: 478254 markings, 1109622 edges, 3473 markings/sec, 150 secs
lola: 489652 markings, 1135833 edges, 2280 markings/sec, 155 secs
lola: 503092 markings, 1166928 edges, 2688 markings/sec, 160 secs
lola: 518991 markings, 1206724 edges, 3180 markings/sec, 165 secs
lola: 533475 markings, 1240429 edges, 2897 markings/sec, 170 secs
lola: 546604 markings, 1270928 edges, 2626 markings/sec, 175 secs
lola: 561782 markings, 1308836 edges, 3036 markings/sec, 180 secs
lola: 575610 markings, 1340990 edges, 2766 markings/sec, 185 secs
lola: 588694 markings, 1371397 edges, 2617 markings/sec, 190 secs
lola: 607114 markings, 1417692 edges, 3684 markings/sec, 195 secs
lola: 621936 markings, 1450964 edges, 2964 markings/sec, 200 secs
lola: 635290 markings, 1482577 edges, 2671 markings/sec, 205 secs
lola: 652309 markings, 1524246 edges, 3404 markings/sec, 210 secs
lola: 666119 markings, 1556363 edges, 2762 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(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 524 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 5 will run for 241 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 524 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: 10299 markings, 23511 edges, 2060 markings/sec, 0 secs
lola: 20651 markings, 50216 edges, 2070 markings/sec, 5 secs
lola: 31196 markings, 78047 edges, 2109 markings/sec, 10 secs
lola: 41857 markings, 106141 edges, 2132 markings/sec, 15 secs
lola: 51589 markings, 132707 edges, 1946 markings/sec, 20 secs
lola: 61575 markings, 159229 edges, 1997 markings/sec, 25 secs
lola: 71122 markings, 185459 edges, 1909 markings/sec, 30 secs
lola: 81375 markings, 212880 edges, 2051 markings/sec, 35 secs
lola: 92224 markings, 242496 edges, 2170 markings/sec, 40 secs
lola: 102920 markings, 272128 edges, 2139 markings/sec, 45 secs
lola: 113746 markings, 301350 edges, 2165 markings/sec, 50 secs
lola: 124996 markings, 332384 edges, 2250 markings/sec, 55 secs
lola: 135988 markings, 362997 edges, 2198 markings/sec, 60 secs
lola: 146129 markings, 390909 edges, 2028 markings/sec, 65 secs
lola: 158168 markings, 423288 edges, 2408 markings/sec, 70 secs
lola: 169908 markings, 455669 edges, 2348 markings/sec, 75 secs
lola: 180447 markings, 485342 edges, 2108 markings/sec, 80 secs
lola: 191113 markings, 514920 edges, 2133 markings/sec, 85 secs
lola: 199833 markings, 538259 edges, 1744 markings/sec, 90 secs
lola: 208750 markings, 562375 edges, 1783 markings/sec, 95 secs
lola: 217553 markings, 587315 edges, 1761 markings/sec, 100 secs
lola: 226017 markings, 611761 edges, 1693 markings/sec, 105 secs
lola: 235168 markings, 638286 edges, 1830 markings/sec, 110 secs
lola: 244153 markings, 664054 edges, 1797 markings/sec, 115 secs
lola: 253455 markings, 690761 edges, 1860 markings/sec, 120 secs
lola: 262852 markings, 718048 edges, 1879 markings/sec, 125 secs
lola: 270489 markings, 740384 edges, 1527 markings/sec, 130 secs
lola: 279279 markings, 764491 edges, 1758 markings/sec, 135 secs
lola: 287981 markings, 788725 edges, 1740 markings/sec, 140 secs
lola: 296975 markings, 814367 edges, 1799 markings/sec, 145 secs
lola: 306924 markings, 843034 edges, 1990 markings/sec, 150 secs
lola: 316611 markings, 871933 edges, 1937 markings/sec, 155 secs
lola: 325294 markings, 898094 edges, 1737 markings/sec, 160 secs
lola: 336320 markings, 929992 edges, 2205 markings/sec, 165 secs
lola: 349181 markings, 966460 edges, 2572 markings/sec, 170 secs
lola: 356798 markings, 988133 edges, 1523 markings/sec, 175 secs
lola: 365821 markings, 1013441 edges, 1805 markings/sec, 180 secs
lola: 374537 markings, 1038163 edges, 1743 markings/sec, 185 secs
lola: 382997 markings, 1063133 edges, 1692 markings/sec, 190 secs
lola: 391788 markings, 1089517 edges, 1758 markings/sec, 195 secs
lola: 401466 markings, 1117743 edges, 1936 markings/sec, 200 secs
lola: 411809 markings, 1147479 edges, 2069 markings/sec, 205 secs
lola: 421378 markings, 1176583 edges, 1914 markings/sec, 210 secs
lola: 431160 markings, 1205394 edges, 1956 markings/sec, 215 secs
lola: 442529 markings, 1237630 edges, 2274 markings/sec, 220 secs
lola: 451057 markings, 1262706 edges, 1706 markings/sec, 225 secs
lola: 461286 markings, 1291099 edges, 2046 markings/sec, 230 secs
lola: 470646 markings, 1318331 edges, 1872 markings/sec, 235 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CONTROLEUR_1 + CONTROLEUR_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 15589 markings, 33437 edges, 3118 markings/sec, 0 secs
lola: 30466 markings, 68204 edges, 2975 markings/sec, 5 secs
lola: 45196 markings, 102859 edges, 2946 markings/sec, 10 secs
lola: 59916 markings, 138611 edges, 2944 markings/sec, 15 secs
lola: 74164 markings, 173847 edges, 2850 markings/sec, 20 secs
lola: 89449 markings, 209102 edges, 3057 markings/sec, 25 secs
lola: 103170 markings, 244404 edges, 2744 markings/sec, 30 secs
lola: 116822 markings, 278047 edges, 2730 markings/sec, 35 secs
lola: 130965 markings, 313771 edges, 2829 markings/sec, 40 secs
lola: 145818 markings, 349524 edges, 2971 markings/sec, 45 secs
lola: 160578 markings, 384977 edges, 2952 markings/sec, 50 secs
lola: 174922 markings, 422604 edges, 2869 markings/sec, 55 secs
lola: 188618 markings, 456512 edges, 2739 markings/sec, 60 secs
lola: 202176 markings, 490762 edges, 2712 markings/sec, 65 secs
lola: 215417 markings, 524869 edges, 2648 markings/sec, 70 secs
lola: 228548 markings, 558324 edges, 2626 markings/sec, 75 secs
lola: 243010 markings, 593196 edges, 2892 markings/sec, 80 secs
lola: 256088 markings, 623307 edges, 2616 markings/sec, 85 secs
lola: 270246 markings, 660086 edges, 2832 markings/sec, 90 secs
lola: 284421 markings, 697789 edges, 2835 markings/sec, 95 secs
lola: 297263 markings, 730441 edges, 2568 markings/sec, 100 secs
lola: 310929 markings, 764848 edges, 2733 markings/sec, 105 secs
lola: 324382 markings, 798319 edges, 2691 markings/sec, 110 secs
lola: 338111 markings, 834464 edges, 2746 markings/sec, 115 secs
lola: 351067 markings, 868537 edges, 2591 markings/sec, 120 secs
lola: 363855 markings, 901525 edges, 2558 markings/sec, 125 secs
lola: 376876 markings, 934716 edges, 2604 markings/sec, 130 secs
lola: 390076 markings, 966759 edges, 2640 markings/sec, 135 secs
lola: 403464 markings, 998825 edges, 2678 markings/sec, 140 secs
lola: 415559 markings, 1029063 edges, 2419 markings/sec, 145 secs
lola: 428481 markings, 1060711 edges, 2584 markings/sec, 150 secs
lola: 442072 markings, 1097453 edges, 2718 markings/sec, 155 secs
lola: 455459 markings, 1133190 edges, 2677 markings/sec, 160 secs
lola: 468549 markings, 1167106 edges, 2618 markings/sec, 165 secs
lola: 481987 markings, 1201361 edges, 2688 markings/sec, 170 secs
lola: 496583 markings, 1238223 edges, 2919 markings/sec, 175 secs
lola: 510610 markings, 1273772 edges, 2805 markings/sec, 180 secs
lola: 525144 markings, 1312186 edges, 2907 markings/sec, 185 secs
lola: 539437 markings, 1349645 edges, 2859 markings/sec, 190 secs
lola: 553840 markings, 1387452 edges, 2881 markings/sec, 195 secs
lola: 568285 markings, 1425094 edges, 2889 markings/sec, 200 secs
lola: 582551 markings, 1462197 edges, 2853 markings/sec, 205 secs
lola: 595844 markings, 1496181 edges, 2659 markings/sec, 210 secs
lola: 609470 markings, 1529446 edges, 2725 markings/sec, 215 secs
lola: 623116 markings, 1562326 edges, 2729 markings/sec, 220 secs
lola: 636813 markings, 1596801 edges, 2739 markings/sec, 225 secs
lola: 650006 markings, 1630969 edges, 2639 markings/sec, 230 secs
lola: 662932 markings, 1663758 edges, 2585 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 241 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 524 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: 25269 markings, 57262 edges, 5054 markings/sec, 0 secs
lola: 63678 markings, 170788 edges, 7682 markings/sec, 5 secs
lola: 95682 markings, 260129 edges, 6401 markings/sec, 10 secs
lola: 126091 markings, 337883 edges, 6082 markings/sec, 15 secs
lola: 154019 markings, 409985 edges, 5586 markings/sec, 20 secs
lola: 187355 markings, 503300 edges, 6667 markings/sec, 25 secs
lola: 222680 markings, 606614 edges, 7065 markings/sec, 30 secs
lola: 249128 markings, 676296 edges, 5290 markings/sec, 35 secs
lola: 278543 markings, 757139 edges, 5883 markings/sec, 40 secs
lola: 313350 markings, 857974 edges, 6961 markings/sec, 45 secs
lola: 347584 markings, 955676 edges, 6847 markings/sec, 50 secs
lola: 378327 markings, 1040022 edges, 6149 markings/sec, 55 secs
lola: 408082 markings, 1119182 edges, 5951 markings/sec, 60 secs
lola: 438596 markings, 1202508 edges, 6103 markings/sec, 65 secs
lola: 471206 markings, 1294462 edges, 6522 markings/sec, 70 secs
lola: 502869 markings, 1383198 edges, 6333 markings/sec, 75 secs
lola: 533831 markings, 1469412 edges, 6192 markings/sec, 80 secs
lola: 564794 markings, 1555688 edges, 6193 markings/sec, 85 secs
lola: 598223 markings, 1651974 edges, 6686 markings/sec, 90 secs
lola: 630603 markings, 1742858 edges, 6476 markings/sec, 95 secs
lola: 659972 markings, 1821870 edges, 5874 markings/sec, 100 secs
lola: 694497 markings, 1920410 edges, 6905 markings/sec, 105 secs
lola: 722864 markings, 2005832 edges, 5673 markings/sec, 110 secs
lola: 746297 markings, 2070860 edges, 4687 markings/sec, 115 secs
lola: 783876 markings, 2184224 edges, 7516 markings/sec, 120 secs
lola: 806824 markings, 2250588 edges, 4590 markings/sec, 125 secs
lola: 830833 markings, 2320798 edges, 4802 markings/sec, 130 secs
lola: 864924 markings, 2420096 edges, 6818 markings/sec, 135 secs
lola: 885042 markings, 2474430 edges, 4024 markings/sec, 140 secs
lola: 907698 markings, 2534183 edges, 4531 markings/sec, 145 secs
lola: 929731 markings, 2601503 edges, 4407 markings/sec, 150 secs
lola: 962461 markings, 2705868 edges, 6546 markings/sec, 155 secs
lola: 988283 markings, 2774383 edges, 5164 markings/sec, 160 secs
lola: 1012635 markings, 2847394 edges, 4870 markings/sec, 165 secs
lola: 1048252 markings, 2951260 edges, 7123 markings/sec, 170 secs
lola: 1072101 markings, 3021896 edges, 4770 markings/sec, 175 secs
lola: 1107637 markings, 3131125 edges, 7107 markings/sec, 180 secs
lola: 1131253 markings, 3200515 edges, 4723 markings/sec, 185 secs
lola: 1165294 markings, 3306202 edges, 6808 markings/sec, 190 secs
lola: 1189396 markings, 3370513 edges, 4820 markings/sec, 195 secs
lola: 1218258 markings, 3459288 edges, 5772 markings/sec, 200 secs
lola: 1246145 markings, 3536821 edges, 5577 markings/sec, 205 secs
lola: 1272814 markings, 3619325 edges, 5334 markings/sec, 210 secs
lola: 1302344 markings, 3702600 edges, 5906 markings/sec, 215 secs
lola: 1329482 markings, 3787252 edges, 5428 markings/sec, 220 secs
lola: 1358265 markings, 3868697 edges, 5757 markings/sec, 225 secs
lola: 1386992 markings, 3959110 edges, 5745 markings/sec, 230 secs
lola: 1413717 markings, 4034450 edges, 5345 markings/sec, 235 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 241 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 524 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: 24960 markings, 56550 edges, 4992 markings/sec, 0 secs
lola: 62762 markings, 168594 edges, 7560 markings/sec, 5 secs
lola: 91802 markings, 247181 edges, 5808 markings/sec, 10 secs
lola: 122188 markings, 329661 edges, 6077 markings/sec, 15 secs
lola: 145969 markings, 384631 edges, 4756 markings/sec, 20 secs
lola: 181166 markings, 489009 edges, 7039 markings/sec, 25 secs
lola: 211193 markings, 574224 edges, 6005 markings/sec, 30 secs
lola: 238156 markings, 642914 edges, 5393 markings/sec, 35 secs
lola: 273917 markings, 746801 edges, 7152 markings/sec, 40 secs
lola: 308789 markings, 846971 edges, 6974 markings/sec, 45 secs
lola: 339486 markings, 931799 edges, 6139 markings/sec, 50 secs
lola: 367425 markings, 1004399 edges, 5588 markings/sec, 55 secs
lola: 399653 markings, 1095039 edges, 6446 markings/sec, 60 secs
lola: 432437 markings, 1188486 edges, 6557 markings/sec, 65 secs
lola: 464742 markings, 1279573 edges, 6461 markings/sec, 70 secs
lola: 496531 markings, 1368543 edges, 6358 markings/sec, 75 secs
lola: 527670 markings, 1455219 edges, 6228 markings/sec, 80 secs
lola: 558208 markings, 1539616 edges, 6108 markings/sec, 85 secs
lola: 588082 markings, 1621577 edges, 5975 markings/sec, 90 secs
lola: 619485 markings, 1709107 edges, 6281 markings/sec, 95 secs
lola: 652836 markings, 1804815 edges, 6670 markings/sec, 100 secs
lola: 680496 markings, 1879252 edges, 5532 markings/sec, 105 secs
lola: 710549 markings, 1965403 edges, 6011 markings/sec, 110 secs
lola: 732915 markings, 2034681 edges, 4473 markings/sec, 115 secs
lola: 757757 markings, 2106488 edges, 4968 markings/sec, 120 secs
lola: 790056 markings, 2198988 edges, 6460 markings/sec, 125 secs
lola: 811358 markings, 2264975 edges, 4260 markings/sec, 130 secs
lola: 838904 markings, 2346781 edges, 5509 markings/sec, 135 secs
lola: 868919 markings, 2429551 edges, 6003 markings/sec, 140 secs
lola: 890828 markings, 2493872 edges, 4382 markings/sec, 145 secs
lola: 915426 markings, 2558519 edges, 4920 markings/sec, 150 secs
lola: 939133 markings, 2630040 edges, 4741 markings/sec, 155 secs
lola: 975878 markings, 2738749 edges, 7349 markings/sec, 160 secs
lola: 999346 markings, 2808833 edges, 4694 markings/sec, 165 secs
lola: 1033888 markings, 2917577 edges, 6908 markings/sec, 170 secs
lola: 1058752 markings, 2983438 edges, 4973 markings/sec, 175 secs
lola: 1085100 markings, 3063596 edges, 5270 markings/sec, 180 secs
lola: 1117437 markings, 3154189 edges, 6467 markings/sec, 185 secs
lola: 1141518 markings, 3228272 edges, 4816 markings/sec, 190 secs
lola: 1176400 markings, 3331732 edges, 6976 markings/sec, 195 secs
lola: 1199822 markings, 3400549 edges, 4684 markings/sec, 200 secs
lola: 1234220 markings, 3504496 edges, 6880 markings/sec, 205 secs
lola: 1257721 markings, 3573121 edges, 4700 markings/sec, 210 secs
lola: 1290430 markings, 3671709 edges, 6542 markings/sec, 215 secs
lola: 1313512 markings, 3738951 edges, 4616 markings/sec, 220 secs
lola: 1346375 markings, 3836711 edges, 6573 markings/sec, 225 secs
lola: 1369343 markings, 3903267 edges, 4594 markings/sec, 230 secs
lola: 1401717 markings, 3998590 edges, 6475 markings/sec, 235 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 241 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 524 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: 15222 markings, 26963 edges, 3044 markings/sec, 0 secs
lola: 32332 markings, 62996 edges, 3422 markings/sec, 5 secs
lola: 47318 markings, 100373 edges, 2997 markings/sec, 10 secs
lola: 62429 markings, 134777 edges, 3022 markings/sec, 15 secs
lola: 79452 markings, 175506 edges, 3405 markings/sec, 20 secs
lola: 96701 markings, 217008 edges, 3450 markings/sec, 25 secs
lola: 112166 markings, 251839 edges, 3093 markings/sec, 30 secs
lola: 130698 markings, 297185 edges, 3706 markings/sec, 35 secs
lola: 147462 markings, 336421 edges, 3353 markings/sec, 40 secs
lola: 164164 markings, 374549 edges, 3340 markings/sec, 45 secs
lola: 182163 markings, 418497 edges, 3600 markings/sec, 50 secs
lola: 200030 markings, 461144 edges, 3573 markings/sec, 55 secs
lola: 216057 markings, 497340 edges, 3205 markings/sec, 60 secs
lola: 233183 markings, 537506 edges, 3425 markings/sec, 65 secs
lola: 251265 markings, 580668 edges, 3616 markings/sec, 70 secs
lola: 268549 markings, 621913 edges, 3457 markings/sec, 75 secs
lola: 285988 markings, 663125 edges, 3488 markings/sec, 80 secs
lola: 303014 markings, 703764 edges, 3405 markings/sec, 85 secs
lola: 318973 markings, 740641 edges, 3192 markings/sec, 90 secs
lola: 334915 markings, 777945 edges, 3188 markings/sec, 95 secs
lola: 350814 markings, 815282 edges, 3180 markings/sec, 100 secs
lola: 366885 markings, 853405 edges, 3214 markings/sec, 105 secs
lola: 382779 markings, 890222 edges, 3179 markings/sec, 110 secs
lola: 398395 markings, 926369 edges, 3123 markings/sec, 115 secs
lola: 413747 markings, 962016 edges, 3070 markings/sec, 120 secs
lola: 429392 markings, 998531 edges, 3129 markings/sec, 125 secs
lola: 443817 markings, 1029706 edges, 2885 markings/sec, 130 secs
lola: 458503 markings, 1060378 edges, 2937 markings/sec, 135 secs
lola: 476925 markings, 1105907 edges, 3684 markings/sec, 140 secs
lola: 489342 markings, 1135057 edges, 2483 markings/sec, 145 secs
lola: 504629 markings, 1170136 edges, 3057 markings/sec, 150 secs
lola: 523871 markings, 1219198 edges, 3848 markings/sec, 155 secs
lola: 538616 markings, 1251836 edges, 2949 markings/sec, 160 secs
lola: 551697 markings, 1282958 edges, 2616 markings/sec, 165 secs
lola: 568739 markings, 1325278 edges, 3408 markings/sec, 170 secs
lola: 583411 markings, 1359215 edges, 2934 markings/sec, 175 secs
lola: 598187 markings, 1394459 edges, 2955 markings/sec, 180 secs
lola: 614486 markings, 1433947 edges, 3260 markings/sec, 185 secs
lola: 627984 markings, 1465284 edges, 2700 markings/sec, 190 secs
lola: 643483 markings, 1503596 edges, 3100 markings/sec, 195 secs
lola: 656291 markings, 1533390 edges, 2562 markings/sec, 200 secs
lola: 669684 markings, 1564523 edges, 2679 markings/sec, 205 secs
lola: 685851 markings, 1604788 edges, 3233 markings/sec, 210 secs
lola: 700449 markings, 1638767 edges, 2920 markings/sec, 215 secs
lola: 716252 markings, 1677122 edges, 3161 markings/sec, 220 secs
lola: 732060 markings, 1713734 edges, 3162 markings/sec, 225 secs
lola: 746525 markings, 1748493 edges, 2893 markings/sec, 230 secs
lola: 762456 markings, 1786791 edges, 3186 markings/sec, 235 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 241 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 524 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: 16086 markings, 28860 edges, 3217 markings/sec, 0 secs
lola: 34405 markings, 68754 edges, 3664 markings/sec, 5 secs
lola: 49896 markings, 105728 edges, 3098 markings/sec, 10 secs
lola: 66512 markings, 145549 edges, 3323 markings/sec, 15 secs
lola: 82621 markings, 182407 edges, 3222 markings/sec, 20 secs
lola: 100901 markings, 227681 edges, 3656 markings/sec, 25 secs
lola: 115865 markings, 260569 edges, 2993 markings/sec, 30 secs
lola: 134018 markings, 304367 edges, 3631 markings/sec, 35 secs
lola: 151307 markings, 346285 edges, 3458 markings/sec, 40 secs
lola: 166503 markings, 379865 edges, 3039 markings/sec, 45 secs
lola: 184545 markings, 423493 edges, 3608 markings/sec, 50 secs
lola: 201922 markings, 465709 edges, 3475 markings/sec, 55 secs
lola: 217864 markings, 502011 edges, 3188 markings/sec, 60 secs
lola: 234227 markings, 539818 edges, 3273 markings/sec, 65 secs
lola: 251961 markings, 582318 edges, 3547 markings/sec, 70 secs
lola: 267720 markings, 619997 edges, 3152 markings/sec, 75 secs
lola: 282335 markings, 654373 edges, 2923 markings/sec, 80 secs
lola: 296140 markings, 685880 edges, 2761 markings/sec, 85 secs
lola: 312089 markings, 723231 edges, 3190 markings/sec, 90 secs
lola: 328770 markings, 762496 edges, 3336 markings/sec, 95 secs
lola: 345443 markings, 801552 edges, 3335 markings/sec, 100 secs
lola: 362626 markings, 842282 edges, 3437 markings/sec, 105 secs
lola: 379997 markings, 883754 edges, 3474 markings/sec, 110 secs
lola: 396488 markings, 922292 edges, 3298 markings/sec, 115 secs
lola: 412555 markings, 959311 edges, 3213 markings/sec, 120 secs
lola: 429168 markings, 997977 edges, 3323 markings/sec, 125 secs
lola: 444316 markings, 1030581 edges, 3030 markings/sec, 130 secs
lola: 459762 markings, 1062901 edges, 3089 markings/sec, 135 secs
lola: 478341 markings, 1109838 edges, 3716 markings/sec, 140 secs
lola: 491732 markings, 1139925 edges, 2678 markings/sec, 145 secs
lola: 506560 markings, 1174876 edges, 2966 markings/sec, 150 secs
lola: 524581 markings, 1220590 edges, 3604 markings/sec, 155 secs
lola: 539618 markings, 1254559 edges, 3007 markings/sec, 160 secs
lola: 553521 markings, 1287122 edges, 2781 markings/sec, 165 secs
lola: 572274 markings, 1333180 edges, 3751 markings/sec, 170 secs
lola: 586903 markings, 1367265 edges, 2926 markings/sec, 175 secs
lola: 603417 markings, 1407951 edges, 3303 markings/sec, 180 secs
lola: 616840 markings, 1439484 edges, 2685 markings/sec, 185 secs
lola: 629569 markings, 1468769 edges, 2546 markings/sec, 190 secs
lola: 645752 markings, 1509690 edges, 3237 markings/sec, 195 secs
lola: 660352 markings, 1542585 edges, 2920 markings/sec, 200 secs
lola: 674514 markings, 1576394 edges, 2832 markings/sec, 205 secs
lola: 691126 markings, 1616726 edges, 3322 markings/sec, 210 secs
lola: 705511 markings, 1649948 edges, 2877 markings/sec, 215 secs
lola: 722406 markings, 1691691 edges, 3379 markings/sec, 220 secs
lola: 736424 markings, 1724627 edges, 2804 markings/sec, 225 secs
lola: 753522 markings, 1766886 edges, 3420 markings/sec, 230 secs
lola: 767722 markings, 1799162 edges, 2840 markings/sec, 235 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 241 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 524 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: 72385 markings, 117768 edges, 14477 markings/sec, 0 secs
lola: 149989 markings, 245225 edges, 15521 markings/sec, 5 secs
lola: 224936 markings, 367113 edges, 14989 markings/sec, 10 secs
lola: 299206 markings, 488739 edges, 14854 markings/sec, 15 secs
lola: 375866 markings, 614600 edges, 15332 markings/sec, 20 secs
lola: 450840 markings, 736933 edges, 14995 markings/sec, 25 secs
lola: 523622 markings, 855064 edges, 14556 markings/sec, 30 secs
lola: 597836 markings, 975863 edges, 14843 markings/sec, 35 secs
lola: 670682 markings, 1094014 edges, 14569 markings/sec, 40 secs
lola: 728626 markings, 1187441 edges, 11589 markings/sec, 45 secs
lola: 738154 markings, 1201784 edges, 1906 markings/sec, 50 secs
lola: 746202 markings, 1215552 edges, 1610 markings/sec, 55 secs
lola: 754302 markings, 1229385 edges, 1620 markings/sec, 60 secs
lola: 762226 markings, 1242722 edges, 1585 markings/sec, 65 secs
lola: 772270 markings, 1257698 edges, 2009 markings/sec, 70 secs
lola: 781518 markings, 1271880 edges, 1850 markings/sec, 75 secs
lola: 789506 markings, 1285534 edges, 1598 markings/sec, 80 secs
lola: 797524 markings, 1299180 edges, 1604 markings/sec, 85 secs
lola: 805806 markings, 1313051 edges, 1656 markings/sec, 90 secs
lola: 816292 markings, 1328145 edges, 2097 markings/sec, 95 secs
lola: 824278 markings, 1341053 edges, 1597 markings/sec, 100 secs
lola: 831884 markings, 1354050 edges, 1521 markings/sec, 105 secs
lola: 839522 markings, 1367037 edges, 1528 markings/sec, 110 secs
lola: 847932 markings, 1381076 edges, 1682 markings/sec, 115 secs
lola: 859558 markings, 1397286 edges, 2325 markings/sec, 120 secs
lola: 867652 markings, 1411382 edges, 1619 markings/sec, 125 secs
lola: 875940 markings, 1425495 edges, 1658 markings/sec, 130 secs
lola: 884194 markings, 1439447 edges, 1651 markings/sec, 135 secs
lola: 894784 markings, 1455220 edges, 2118 markings/sec, 140 secs
lola: 903764 markings, 1469428 edges, 1796 markings/sec, 145 secs
lola: 911798 markings, 1483156 edges, 1607 markings/sec, 150 secs
lola: 919940 markings, 1496944 edges, 1628 markings/sec, 155 secs
lola: 928080 markings, 1510176 edges, 1628 markings/sec, 160 secs
lola: 938366 markings, 1524932 edges, 2057 markings/sec, 165 secs
lola: 945962 markings, 1537993 edges, 1519 markings/sec, 170 secs
lola: 954126 markings, 1551852 edges, 1633 markings/sec, 175 secs
lola: 962184 markings, 1565371 edges, 1612 markings/sec, 180 secs
lola: 972380 markings, 1579857 edges, 2039 markings/sec, 185 secs
lola: 980012 markings, 1592696 edges, 1526 markings/sec, 190 secs
lola: 987576 markings, 1605613 edges, 1513 markings/sec, 195 secs
lola: 995174 markings, 1618464 edges, 1520 markings/sec, 200 secs
lola: 1004208 markings, 1632297 edges, 1807 markings/sec, 205 secs
lola: 1012870 markings, 1645464 edges, 1732 markings/sec, 210 secs
lola: 1020456 markings, 1658438 edges, 1517 markings/sec, 215 secs
lola: 1028316 markings, 1671770 edges, 1572 markings/sec, 220 secs
lola: 1037754 markings, 1686769 edges, 1888 markings/sec, 225 secs
lola: 1047486 markings, 1701393 edges, 1946 markings/sec, 230 secs
lola: 1055528 markings, 1715174 edges, 1608 markings/sec, 235 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 242 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 524 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: 24443 markings, 55316 edges, 4889 markings/sec, 0 secs
lola: 61715 markings, 166070 edges, 7454 markings/sec, 5 secs
lola: 89841 markings, 240688 edges, 5625 markings/sec, 10 secs
lola: 121704 markings, 328570 edges, 6373 markings/sec, 15 secs
lola: 146051 markings, 384821 edges, 4869 markings/sec, 20 secs
lola: 182270 markings, 491674 edges, 7244 markings/sec, 25 secs
lola: 215982 markings, 590268 edges, 6742 markings/sec, 30 secs
lola: 243182 markings, 657156 edges, 5440 markings/sec, 35 secs
lola: 275380 markings, 750265 edges, 6440 markings/sec, 40 secs
lola: 309731 markings, 849249 edges, 6870 markings/sec, 45 secs
lola: 338355 markings, 927995 edges, 5725 markings/sec, 50 secs
lola: 367281 markings, 1003927 edges, 5785 markings/sec, 55 secs
lola: 399358 markings, 1094349 edges, 6415 markings/sec, 60 secs
lola: 431638 markings, 1186628 edges, 6456 markings/sec, 65 secs
lola: 462743 markings, 1274739 edges, 6221 markings/sec, 70 secs
lola: 493042 markings, 1360166 edges, 6060 markings/sec, 75 secs
lola: 522596 markings, 1442927 edges, 5911 markings/sec, 80 secs
lola: 552151 markings, 1525069 edges, 5911 markings/sec, 85 secs
lola: 583135 markings, 1609954 edges, 6197 markings/sec, 90 secs
lola: 612449 markings, 1690071 edges, 5863 markings/sec, 95 secs
lola: 640977 markings, 1768177 edges, 5706 markings/sec, 100 secs
lola: 673515 markings, 1862396 edges, 6508 markings/sec, 105 secs
lola: 700782 markings, 1935393 edges, 5453 markings/sec, 110 secs
lola: 728072 markings, 2023318 edges, 5458 markings/sec, 115 secs
lola: 750607 markings, 2083003 edges, 4507 markings/sec, 120 secs
lola: 787839 markings, 2193751 edges, 7446 markings/sec, 125 secs
lola: 810556 markings, 2263004 edges, 4543 markings/sec, 130 secs
lola: 840334 markings, 2351470 edges, 5956 markings/sec, 135 secs
lola: 870272 markings, 2432707 edges, 5988 markings/sec, 140 secs
lola: 890540 markings, 2492978 edges, 4054 markings/sec, 145 secs
lola: 912894 markings, 2549845 edges, 4471 markings/sec, 150 secs
lola: 935581 markings, 2618113 edges, 4537 markings/sec, 155 secs
lola: 971270 markings, 2727684 edges, 7138 markings/sec, 160 secs
lola: 994136 markings, 2794218 edges, 4573 markings/sec, 165 secs
lola: 1022571 markings, 2879608 edges, 5687 markings/sec, 170 secs
lola: 1051757 markings, 2959351 edges, 5837 markings/sec, 175 secs
lola: 1075595 markings, 3032797 edges, 4768 markings/sec, 180 secs
lola: 1110264 markings, 3137440 edges, 6934 markings/sec, 185 secs
lola: 1132962 markings, 3204903 edges, 4540 markings/sec, 190 secs
lola: 1166101 markings, 3307780 edges, 6628 markings/sec, 195 secs
lola: 1190281 markings, 3373527 edges, 4836 markings/sec, 200 secs
lola: 1218875 markings, 3461448 edges, 5719 markings/sec, 205 secs
lola: 1246234 markings, 3537145 edges, 5472 markings/sec, 210 secs
lola: 1272541 markings, 3618370 edges, 5261 markings/sec, 215 secs
lola: 1301671 markings, 3700256 edges, 5826 markings/sec, 220 secs
lola: 1326895 markings, 3778869 edges, 5045 markings/sec, 225 secs
lola: 1356420 markings, 3862360 edges, 5905 markings/sec, 230 secs
lola: 1383377 markings, 3947001 edges, 5391 markings/sec, 235 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 242 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(VIDANGE_1 + VIDANGE_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 13690 markings, 28846 edges, 2738 markings/sec, 0 secs
lola: 25552 markings, 56356 edges, 2372 markings/sec, 5 secs
lola: 36506 markings, 82457 edges, 2191 markings/sec, 10 secs
lola: 48368 markings, 110596 edges, 2372 markings/sec, 15 secs
lola: 59201 markings, 136953 edges, 2167 markings/sec, 20 secs
lola: 69506 markings, 162345 edges, 2061 markings/sec, 25 secs
lola: 80887 markings, 189013 edges, 2276 markings/sec, 30 secs
lola: 91357 markings, 215508 edges, 2094 markings/sec, 35 secs
lola: 102428 markings, 242394 edges, 2214 markings/sec, 40 secs
lola: 113067 markings, 269600 edges, 2128 markings/sec, 45 secs
lola: 123932 markings, 296786 edges, 2173 markings/sec, 50 secs
lola: 134469 markings, 322188 edges, 2107 markings/sec, 55 secs
lola: 147499 markings, 354264 edges, 2606 markings/sec, 60 secs
lola: 158101 markings, 381394 edges, 2120 markings/sec, 65 secs
lola: 168559 markings, 407716 edges, 2092 markings/sec, 70 secs
lola: 179341 markings, 434324 edges, 2156 markings/sec, 75 secs
lola: 190138 markings, 461892 edges, 2159 markings/sec, 80 secs
lola: 200522 markings, 488984 edges, 2077 markings/sec, 85 secs
lola: 211441 markings, 516410 edges, 2184 markings/sec, 90 secs
lola: 222378 markings, 543092 edges, 2187 markings/sec, 95 secs
lola: 234450 markings, 572060 edges, 2414 markings/sec, 100 secs
lola: 246336 markings, 602987 edges, 2377 markings/sec, 105 secs
lola: 256644 markings, 629971 edges, 2062 markings/sec, 110 secs
lola: 266551 markings, 655545 edges, 1981 markings/sec, 115 secs
lola: 276789 markings, 681721 edges, 2048 markings/sec, 120 secs
lola: 287771 markings, 709050 edges, 2196 markings/sec, 125 secs
lola: 298407 markings, 735491 edges, 2127 markings/sec, 130 secs
lola: 308478 markings, 762330 edges, 2014 markings/sec, 135 secs
lola: 318880 markings, 789435 edges, 2080 markings/sec, 140 secs
lola: 330015 markings, 818038 edges, 2227 markings/sec, 145 secs
lola: 341110 markings, 847062 edges, 2219 markings/sec, 150 secs
lola: 352295 markings, 875315 edges, 2237 markings/sec, 155 secs
lola: 363463 markings, 902742 edges, 2234 markings/sec, 160 secs
lola: 375936 markings, 932426 edges, 2495 markings/sec, 165 secs
lola: 388321 markings, 964810 edges, 2477 markings/sec, 170 secs
lola: 399161 markings, 993614 edges, 2168 markings/sec, 175 secs
lola: 409777 markings, 1021548 edges, 2123 markings/sec, 180 secs
lola: 419762 markings, 1047863 edges, 1997 markings/sec, 185 secs
lola: 429862 markings, 1073932 edges, 2020 markings/sec, 190 secs
lola: 440372 markings, 1100659 edges, 2102 markings/sec, 195 secs
lola: 450956 markings, 1127886 edges, 2117 markings/sec, 200 secs
lola: 462391 markings, 1156184 edges, 2287 markings/sec, 205 secs
lola: 472105 markings, 1181546 edges, 1943 markings/sec, 210 secs
lola: 483324 markings, 1211304 edges, 2244 markings/sec, 215 secs
lola: 493666 markings, 1238080 edges, 2068 markings/sec, 220 secs
lola: 503571 markings, 1264620 edges, 1981 markings/sec, 225 secs
lola: 512430 markings, 1287921 edges, 1772 markings/sec, 230 secs
lola: 521656 markings, 1311771 edges, 1845 markings/sec, 235 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 242 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 524 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: 13727 markings, 23452 edges, 2745 markings/sec, 0 secs
lola: 30981 markings, 59656 edges, 3451 markings/sec, 5 secs
lola: 47983 markings, 101931 edges, 3400 markings/sec, 10 secs
lola: 65719 markings, 143417 edges, 3547 markings/sec, 15 secs
lola: 80672 markings, 178321 edges, 2991 markings/sec, 20 secs
lola: 95865 markings, 214981 edges, 3039 markings/sec, 25 secs
lola: 110408 markings, 248033 edges, 2909 markings/sec, 30 secs
lola: 128837 markings, 292910 edges, 3686 markings/sec, 35 secs
lola: 143334 markings, 325541 edges, 2899 markings/sec, 40 secs
lola: 159151 markings, 363586 edges, 3163 markings/sec, 45 secs
lola: 174146 markings, 399543 edges, 2999 markings/sec, 50 secs
lola: 188808 markings, 432705 edges, 2932 markings/sec, 55 secs
lola: 206376 markings, 475145 edges, 3514 markings/sec, 60 secs
lola: 223659 markings, 517262 edges, 3457 markings/sec, 65 secs
lola: 239885 markings, 554071 edges, 3245 markings/sec, 70 secs
lola: 255841 markings, 590644 edges, 3191 markings/sec, 75 secs
lola: 273038 markings, 631832 edges, 3439 markings/sec, 80 secs
lola: 290082 markings, 672098 edges, 3409 markings/sec, 85 secs
lola: 306400 markings, 710954 edges, 3264 markings/sec, 90 secs
lola: 323225 markings, 750482 edges, 3365 markings/sec, 95 secs
lola: 339783 markings, 789357 edges, 3312 markings/sec, 100 secs
lola: 355880 markings, 827141 edges, 3219 markings/sec, 105 secs
lola: 372374 markings, 865340 edges, 3299 markings/sec, 110 secs
lola: 388383 markings, 902460 edges, 3202 markings/sec, 115 secs
lola: 405780 markings, 944205 edges, 3479 markings/sec, 120 secs
lola: 422424 markings, 982605 edges, 3329 markings/sec, 125 secs
lola: 437583 markings, 1017451 edges, 3032 markings/sec, 130 secs
lola: 452227 markings, 1045974 edges, 2929 markings/sec, 135 secs
lola: 469972 markings, 1088049 edges, 3549 markings/sec, 140 secs
lola: 485315 markings, 1125548 edges, 3069 markings/sec, 145 secs
lola: 499821 markings, 1159647 edges, 2901 markings/sec, 150 secs
lola: 516068 markings, 1198569 edges, 3249 markings/sec, 155 secs
lola: 532563 markings, 1238337 edges, 3299 markings/sec, 160 secs
lola: 546983 markings, 1271790 edges, 2884 markings/sec, 165 secs
lola: 565222 markings, 1317342 edges, 3648 markings/sec, 170 secs
lola: 580379 markings, 1351572 edges, 3031 markings/sec, 175 secs
lola: 593701 markings, 1383296 edges, 2664 markings/sec, 180 secs
lola: 612068 markings, 1428228 edges, 3673 markings/sec, 185 secs
lola: 627103 markings, 1463262 edges, 3007 markings/sec, 190 secs
lola: 644936 markings, 1507522 edges, 3567 markings/sec, 195 secs
lola: 661046 markings, 1544463 edges, 3222 markings/sec, 200 secs
lola: 676241 markings, 1580773 edges, 3039 markings/sec, 205 secs
lola: 692711 markings, 1620525 edges, 3294 markings/sec, 210 secs
lola: 707759 markings, 1655616 edges, 3010 markings/sec, 215 secs
lola: 725423 markings, 1698579 edges, 3533 markings/sec, 220 secs
lola: 739574 markings, 1731357 edges, 2830 markings/sec, 225 secs
lola: 756937 markings, 1773970 edges, 3473 markings/sec, 230 secs
lola: 771038 markings, 1806841 edges, 2820 markings/sec, 235 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 242 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 524 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: 15969 markings, 28595 edges, 3194 markings/sec, 0 secs
lola: 34449 markings, 68886 edges, 3696 markings/sec, 5 secs
lola: 49970 markings, 105913 edges, 3104 markings/sec, 10 secs
lola: 66590 markings, 145742 edges, 3324 markings/sec, 15 secs
lola: 82745 markings, 182688 edges, 3231 markings/sec, 20 secs
lola: 100919 markings, 227699 edges, 3635 markings/sec, 25 secs
lola: 115632 markings, 259934 edges, 2943 markings/sec, 30 secs
lola: 133645 markings, 303435 edges, 3603 markings/sec, 35 secs
lola: 150383 markings, 343740 edges, 3348 markings/sec, 40 secs
lola: 165078 markings, 376681 edges, 2939 markings/sec, 45 secs
lola: 182126 markings, 418404 edges, 3410 markings/sec, 50 secs
lola: 198753 markings, 457713 edges, 3325 markings/sec, 55 secs
lola: 213531 markings, 490857 edges, 2956 markings/sec, 60 secs
lola: 230655 markings, 532133 edges, 3425 markings/sec, 65 secs
lola: 247855 markings, 573202 edges, 3440 markings/sec, 70 secs
lola: 264679 markings, 613404 edges, 3365 markings/sec, 75 secs
lola: 280673 markings, 650312 edges, 3199 markings/sec, 80 secs
lola: 297486 markings, 689199 edges, 3363 markings/sec, 85 secs
lola: 314486 markings, 729047 edges, 3400 markings/sec, 90 secs
lola: 331416 markings, 768887 edges, 3386 markings/sec, 95 secs
lola: 348875 markings, 810495 edges, 3492 markings/sec, 100 secs
lola: 365927 markings, 850781 edges, 3410 markings/sec, 105 secs
lola: 382922 markings, 890538 edges, 3399 markings/sec, 110 secs
lola: 399209 markings, 928271 edges, 3257 markings/sec, 115 secs
lola: 416006 markings, 967885 edges, 3359 markings/sec, 120 secs
lola: 432792 markings, 1005311 edges, 3357 markings/sec, 125 secs
lola: 446888 markings, 1035021 edges, 2819 markings/sec, 130 secs
lola: 461936 markings, 1067262 edges, 3010 markings/sec, 135 secs
lola: 479046 markings, 1111482 edges, 3422 markings/sec, 140 secs
lola: 493032 markings, 1142660 edges, 2797 markings/sec, 145 secs
lola: 507221 markings, 1176541 edges, 2838 markings/sec, 150 secs
lola: 525493 markings, 1222243 edges, 3654 markings/sec, 155 secs
lola: 540579 markings, 1256967 edges, 3017 markings/sec, 160 secs
lola: 554625 markings, 1289971 edges, 2809 markings/sec, 165 secs
lola: 572535 markings, 1333834 edges, 3582 markings/sec, 170 secs
lola: 586769 markings, 1366986 edges, 2847 markings/sec, 175 secs
lola: 603590 markings, 1408389 edges, 3364 markings/sec, 180 secs
lola: 619845 markings, 1445629 edges, 3251 markings/sec, 185 secs
lola: 634376 markings, 1480211 edges, 2906 markings/sec, 190 secs
lola: 652249 markings, 1524096 edges, 3575 markings/sec, 195 secs
lola: 666149 markings, 1556438 edges, 2780 markings/sec, 200 secs
lola: 684000 markings, 1601203 edges, 3570 markings/sec, 205 secs
lola: 698570 markings, 1634029 edges, 2914 markings/sec, 210 secs
lola: 711495 markings, 1664925 edges, 2585 markings/sec, 215 secs
lola: 726550 markings, 1701239 edges, 3011 markings/sec, 220 secs
lola: 739736 markings, 1731709 edges, 2637 markings/sec, 225 secs
lola: 755383 markings, 1770620 edges, 3129 markings/sec, 230 secs
lola: 768317 markings, 1800600 edges, 2587 markings/sec, 235 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-4 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494619640283

--------------------
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-V50P50N20"
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-V50P50N20.tgz
mv BridgeAndVehicles-PT-V50P50N20 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-V50P50N20, 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-149436126400506"
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 ;