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

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


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


checking for too many tokens
===========================================================================================
S_BridgeAndVehicles-PT-V50P50N20: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_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: 67235 markings, 106410 edges, 13447 markings/sec, 0 secs
lola: 135958 markings, 215640 edges, 13745 markings/sec, 5 secs
lola: 203886 markings, 323243 edges, 13586 markings/sec, 10 secs
lola: 269582 markings, 427546 edges, 13139 markings/sec, 15 secs
lola: 337522 markings, 535156 edges, 13588 markings/sec, 20 secs
lola: 405048 markings, 641974 edges, 13505 markings/sec, 25 secs
lola: 442248 markings, 700475 edges, 7440 markings/sec, 30 secs
lola: 452032 markings, 716128 edges, 1957 markings/sec, 35 secs
lola: 461592 markings, 732465 edges, 1912 markings/sec, 40 secs
lola: 470948 markings, 748318 edges, 1871 markings/sec, 45 secs
lola: 482040 markings, 765709 edges, 2218 markings/sec, 50 secs
lola: 491976 markings, 780940 edges, 1987 markings/sec, 55 secs
lola: 499962 markings, 794578 edges, 1597 markings/sec, 60 secs
lola: 508066 markings, 808374 edges, 1621 markings/sec, 65 secs
lola: 516734 markings, 822904 edges, 1734 markings/sec, 70 secs
lola: 528744 markings, 840779 edges, 2402 markings/sec, 75 secs
lola: 538428 markings, 856894 edges, 1937 markings/sec, 80 secs
lola: 548094 markings, 873444 edges, 1933 markings/sec, 85 secs
lola: 557456 markings, 889104 edges, 1872 markings/sec, 90 secs
lola: 568744 markings, 905895 edges, 2258 markings/sec, 95 secs
lola: 577492 markings, 920388 edges, 1750 markings/sec, 100 secs
lola: 586884 markings, 936382 edges, 1878 markings/sec, 105 secs
lola: 596302 markings, 952266 edges, 1884 markings/sec, 110 secs
lola: 608030 markings, 969793 edges, 2346 markings/sec, 115 secs
lola: 617380 markings, 985295 edges, 1870 markings/sec, 120 secs
lola: 626616 markings, 1001092 edges, 1847 markings/sec, 125 secs
lola: 636046 markings, 1016821 edges, 1886 markings/sec, 130 secs
lola: 647654 markings, 1034047 edges, 2322 markings/sec, 135 secs
lola: 655760 markings, 1047787 edges, 1621 markings/sec, 140 secs
lola: 663862 markings, 1061628 edges, 1620 markings/sec, 145 secs
lola: 671764 markings, 1074889 edges, 1580 markings/sec, 150 secs
lola: 682556 markings, 1091069 edges, 2158 markings/sec, 155 secs
lola: 691920 markings, 1106534 edges, 1873 markings/sec, 160 secs
lola: 701238 markings, 1122423 edges, 1864 markings/sec, 165 secs
lola: 710202 markings, 1137344 edges, 1793 markings/sec, 170 secs
lola: 720982 markings, 1153282 edges, 2156 markings/sec, 175 secs
lola: 729912 markings, 1168549 edges, 1786 markings/sec, 180 secs
lola: 739330 markings, 1184530 edges, 1884 markings/sec, 185 secs
lola: 749888 markings, 1201170 edges, 2112 markings/sec, 190 secs
lola: 759898 markings, 1216919 edges, 2002 markings/sec, 195 secs
lola: 769456 markings, 1233265 edges, 1912 markings/sec, 200 secs
lola: 778721 markings, 1248695 edges, 1853 markings/sec, 205 secs
lola: 790208 markings, 1265977 edges, 2297 markings/sec, 210 secs
lola: 799902 markings, 1282518 edges, 1939 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: 15206 markings, 32501 edges, 3041 markings/sec, 0 secs
lola: 30569 markings, 68401 edges, 3073 markings/sec, 5 secs
lola: 45993 markings, 104618 edges, 3085 markings/sec, 10 secs
lola: 60154 markings, 139143 edges, 2832 markings/sec, 15 secs
lola: 72421 markings, 169524 edges, 2453 markings/sec, 20 secs
lola: 85485 markings, 200061 edges, 2613 markings/sec, 25 secs
lola: 99004 markings, 234072 edges, 2704 markings/sec, 30 secs
lola: 112581 markings, 267239 edges, 2715 markings/sec, 35 secs
lola: 127172 markings, 304290 edges, 2918 markings/sec, 40 secs
lola: 142442 markings, 341379 edges, 3054 markings/sec, 45 secs
lola: 157818 markings, 377648 edges, 3075 markings/sec, 50 secs
lola: 173192 markings, 418140 edges, 3075 markings/sec, 55 secs
lola: 187807 markings, 454669 edges, 2923 markings/sec, 60 secs
lola: 201628 markings, 489596 edges, 2764 markings/sec, 65 secs
lola: 215459 markings, 524951 edges, 2766 markings/sec, 70 secs
lola: 229116 markings, 559537 edges, 2731 markings/sec, 75 secs
lola: 244100 markings, 595845 edges, 2997 markings/sec, 80 secs
lola: 257499 markings, 626363 edges, 2680 markings/sec, 85 secs
lola: 272418 markings, 665924 edges, 2984 markings/sec, 90 secs
lola: 286469 markings, 703157 edges, 2810 markings/sec, 95 secs
lola: 299341 markings, 735461 edges, 2574 markings/sec, 100 secs
lola: 313352 markings, 770862 edges, 2802 markings/sec, 105 secs
lola: 327431 markings, 806694 edges, 2816 markings/sec, 110 secs
lola: 342396 markings, 846175 edges, 2993 markings/sec, 115 secs
lola: 355945 markings, 881211 edges, 2710 markings/sec, 120 secs
lola: 369429 markings, 915928 edges, 2697 markings/sec, 125 secs
lola: 383171 markings, 950465 edges, 2748 markings/sec, 130 secs
lola: 397511 markings, 984896 edges, 2868 markings/sec, 135 secs
lola: 409044 markings, 1012882 edges, 2307 markings/sec, 140 secs
lola: 420527 markings, 1041200 edges, 2297 markings/sec, 145 secs
lola: 432919 markings, 1072845 edges, 2478 markings/sec, 150 secs
lola: 446061 markings, 1108164 edges, 2628 markings/sec, 155 secs
lola: 458949 markings, 1142405 edges, 2578 markings/sec, 160 secs
lola: 472542 markings, 1176887 edges, 2719 markings/sec, 165 secs
lola: 487530 markings, 1215666 edges, 2998 markings/sec, 170 secs
lola: 502550 markings, 1252272 edges, 3004 markings/sec, 175 secs
lola: 517401 markings, 1291427 edges, 2970 markings/sec, 180 secs
lola: 531999 markings, 1329660 edges, 2920 markings/sec, 185 secs
lola: 545534 markings, 1365119 edges, 2707 markings/sec, 190 secs
lola: 558911 markings, 1400124 edges, 2675 markings/sec, 195 secs
lola: 573044 markings, 1437470 edges, 2827 markings/sec, 200 secs
lola: 586468 markings, 1471791 edges, 2685 markings/sec, 205 secs
lola: 599976 markings, 1506643 edges, 2702 markings/sec, 210 secs
lola: 613525 markings, 1539035 edges, 2710 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: 24165 markings, 54760 edges, 4833 markings/sec, 0 secs
lola: 60486 markings, 162437 edges, 7264 markings/sec, 5 secs
lola: 85792 markings, 225430 edges, 5061 markings/sec, 10 secs
lola: 119995 markings, 324117 edges, 6841 markings/sec, 15 secs
lola: 143728 markings, 378835 edges, 4747 markings/sec, 20 secs
lola: 179283 markings, 483856 edges, 7111 markings/sec, 25 secs
lola: 206354 markings, 555181 edges, 5414 markings/sec, 30 secs
lola: 235788 markings, 637230 edges, 5887 markings/sec, 35 secs
lola: 269538 markings, 735745 edges, 6750 markings/sec, 40 secs
lola: 296241 markings, 806779 edges, 5341 markings/sec, 45 secs
lola: 324706 markings, 883932 edges, 5693 markings/sec, 50 secs
lola: 357813 markings, 979898 edges, 6621 markings/sec, 55 secs
lola: 391594 markings, 1075823 edges, 6756 markings/sec, 60 secs
lola: 423949 markings, 1168594 edges, 6471 markings/sec, 65 secs
lola: 453445 markings, 1247279 edges, 5899 markings/sec, 70 secs
lola: 484281 markings, 1331760 edges, 6167 markings/sec, 75 secs
lola: 516166 markings, 1420704 edges, 6377 markings/sec, 80 secs
lola: 548925 markings, 1513520 edges, 6552 markings/sec, 85 secs
lola: 582036 markings, 1607031 edges, 6622 markings/sec, 90 secs
lola: 612513 markings, 1689803 edges, 6095 markings/sec, 95 secs
lola: 642257 markings, 1770165 edges, 5949 markings/sec, 100 secs
lola: 676080 markings, 1867971 edges, 6765 markings/sec, 105 secs
lola: 705725 markings, 1946775 edges, 5929 markings/sec, 110 secs
lola: 733161 markings, 2035218 edges, 5487 markings/sec, 115 secs
lola: 753471 markings, 2088012 edges, 4062 markings/sec, 120 secs
lola: 785315 markings, 2189212 edges, 6369 markings/sec, 125 secs
lola: 807173 markings, 2241596 edges, 4372 markings/sec, 130 secs
lola: 830722 markings, 2312257 edges, 4710 markings/sec, 135 secs
lola: 865230 markings, 2422169 edges, 6902 markings/sec, 140 secs
lola: 886741 markings, 2470769 edges, 4302 markings/sec, 145 secs
lola: 907255 markings, 2533691 edges, 4103 markings/sec, 150 secs
lola: 930555 markings, 2593956 edges, 4660 markings/sec, 155 secs
lola: 953661 markings, 2663640 edges, 4621 markings/sec, 160 secs
lola: 988647 markings, 2770013 edges, 6997 markings/sec, 165 secs
lola: 1011107 markings, 2835932 edges, 4492 markings/sec, 170 secs
lola: 1039492 markings, 2920994 edges, 5677 markings/sec, 175 secs
lola: 1068303 markings, 3000038 edges, 5762 markings/sec, 180 secs
lola: 1091811 markings, 3071850 edges, 4702 markings/sec, 185 secs
lola: 1126191 markings, 3176953 edges, 6876 markings/sec, 190 secs
lola: 1148690 markings, 3243679 edges, 4500 markings/sec, 195 secs
lola: 1181430 markings, 3344862 edges, 6548 markings/sec, 200 secs
lola: 1205382 markings, 3408650 edges, 4790 markings/sec, 205 secs
lola: 1231563 markings, 3488823 edges, 5236 markings/sec, 210 secs
lola: 1260511 markings, 3569079 edges, 5790 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: 15767 markings, 28168 edges, 3153 markings/sec, 0 secs
lola: 33383 markings, 65839 edges, 3523 markings/sec, 5 secs
lola: 48754 markings, 103321 edges, 3074 markings/sec, 10 secs
lola: 65081 markings, 141646 edges, 3265 markings/sec, 15 secs
lola: 81507 markings, 180232 edges, 3285 markings/sec, 20 secs
lola: 99284 markings, 223878 edges, 3555 markings/sec, 25 secs
lola: 114051 markings, 256054 edges, 2953 markings/sec, 30 secs
lola: 132141 markings, 300551 edges, 3618 markings/sec, 35 secs
lola: 149689 markings, 341961 edges, 3510 markings/sec, 40 secs
lola: 165413 markings, 377454 edges, 3145 markings/sec, 45 secs
lola: 181923 markings, 417897 edges, 3302 markings/sec, 50 secs
lola: 196542 markings, 452317 edges, 2924 markings/sec, 55 secs
lola: 210933 markings, 485148 edges, 2878 markings/sec, 60 secs
lola: 227834 markings, 526078 edges, 3380 markings/sec, 65 secs
lola: 244511 markings, 565994 edges, 3335 markings/sec, 70 secs
lola: 257963 markings, 595982 edges, 2690 markings/sec, 75 secs
lola: 272909 markings, 631545 edges, 2989 markings/sec, 80 secs
lola: 288468 markings, 668802 edges, 3112 markings/sec, 85 secs
lola: 303668 markings, 705241 edges, 3040 markings/sec, 90 secs
lola: 317965 markings, 738074 edges, 2859 markings/sec, 95 secs
lola: 332145 markings, 770823 edges, 2836 markings/sec, 100 secs
lola: 346527 markings, 804299 edges, 2876 markings/sec, 105 secs
lola: 361307 markings, 838930 edges, 2956 markings/sec, 110 secs
lola: 376872 markings, 875731 edges, 3113 markings/sec, 115 secs
lola: 392721 markings, 913448 edges, 3170 markings/sec, 120 secs
lola: 407635 markings, 948648 edges, 2983 markings/sec, 125 secs
lola: 422225 markings, 982113 edges, 2918 markings/sec, 130 secs
lola: 435895 markings, 1013134 edges, 2734 markings/sec, 135 secs
lola: 447666 markings, 1036359 edges, 2354 markings/sec, 140 secs
lola: 461457 markings, 1066211 edges, 2758 markings/sec, 145 secs
lola: 478249 markings, 1109608 edges, 3358 markings/sec, 150 secs
lola: 489787 markings, 1136171 edges, 2308 markings/sec, 155 secs
lola: 503655 markings, 1168158 edges, 2774 markings/sec, 160 secs
lola: 520978 markings, 1211320 edges, 3465 markings/sec, 165 secs
lola: 535486 markings, 1244539 edges, 2902 markings/sec, 170 secs
lola: 550196 markings, 1279137 edges, 2942 markings/sec, 175 secs
lola: 567394 markings, 1322679 edges, 3440 markings/sec, 180 secs
lola: 581831 markings, 1355326 edges, 2887 markings/sec, 185 secs
lola: 595754 markings, 1388166 edges, 2785 markings/sec, 190 secs
lola: 613455 markings, 1431501 edges, 3540 markings/sec, 195 secs
lola: 627680 markings, 1464589 edges, 2845 markings/sec, 200 secs
lola: 644997 markings, 1507644 edges, 3463 markings/sec, 205 secs
lola: 660103 markings, 1541897 edges, 3021 markings/sec, 210 secs
lola: 674482 markings, 1576299 edges, 2876 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: 11344 markings, 25934 edges, 2269 markings/sec, 0 secs
lola: 22458 markings, 54701 edges, 2223 markings/sec, 5 secs
lola: 33178 markings, 83285 edges, 2144 markings/sec, 10 secs
lola: 44333 markings, 112840 edges, 2231 markings/sec, 15 secs
lola: 55251 markings, 142173 edges, 2184 markings/sec, 20 secs
lola: 66833 markings, 173466 edges, 2316 markings/sec, 25 secs
lola: 77066 markings, 201942 edges, 2047 markings/sec, 30 secs
lola: 89057 markings, 233881 edges, 2398 markings/sec, 35 secs
lola: 100397 markings, 265382 edges, 2268 markings/sec, 40 secs
lola: 111751 markings, 295897 edges, 2271 markings/sec, 45 secs
lola: 123896 markings, 329191 edges, 2429 markings/sec, 50 secs
lola: 135670 markings, 362061 edges, 2355 markings/sec, 55 secs
lola: 146930 markings, 392834 edges, 2252 markings/sec, 60 secs
lola: 158403 markings, 424003 edges, 2295 markings/sec, 65 secs
lola: 169058 markings, 453277 edges, 2131 markings/sec, 70 secs
lola: 179574 markings, 482657 edges, 2103 markings/sec, 75 secs
lola: 189469 markings, 510715 edges, 1979 markings/sec, 80 secs
lola: 198133 markings, 533813 edges, 1733 markings/sec, 85 secs
lola: 206871 markings, 557194 edges, 1748 markings/sec, 90 secs
lola: 215938 markings, 582280 edges, 1813 markings/sec, 95 secs
lola: 224368 markings, 606602 edges, 1686 markings/sec, 100 secs
lola: 234200 markings, 635241 edges, 1966 markings/sec, 105 secs
lola: 244188 markings, 664182 edges, 1998 markings/sec, 110 secs
lola: 254777 markings, 694758 edges, 2118 markings/sec, 115 secs
lola: 267113 markings, 730108 edges, 2467 markings/sec, 120 secs
lola: 274884 markings, 752227 edges, 1554 markings/sec, 125 secs
lola: 285084 markings, 780950 edges, 2040 markings/sec, 130 secs
lola: 294579 markings, 808334 edges, 1899 markings/sec, 135 secs
lola: 304367 markings, 836642 edges, 1958 markings/sec, 140 secs
lola: 313487 markings, 863453 edges, 1824 markings/sec, 145 secs
lola: 323719 markings, 893298 edges, 2046 markings/sec, 150 secs
lola: 334534 markings, 924417 edges, 2163 markings/sec, 155 secs
lola: 345723 markings, 956535 edges, 2238 markings/sec, 160 secs
lola: 354925 markings, 983158 edges, 1840 markings/sec, 165 secs
lola: 365023 markings, 1011563 edges, 2020 markings/sec, 170 secs
lola: 375778 markings, 1041757 edges, 2151 markings/sec, 175 secs
lola: 385621 markings, 1070350 edges, 1969 markings/sec, 180 secs
lola: 395454 markings, 1098973 edges, 1967 markings/sec, 185 secs
lola: 404223 markings, 1126137 edges, 1754 markings/sec, 190 secs
lola: 414552 markings, 1156230 edges, 2066 markings/sec, 195 secs
lola: 425725 markings, 1188175 edges, 2235 markings/sec, 200 secs
lola: 434053 markings, 1214522 edges, 1666 markings/sec, 205 secs
lola: 446356 markings, 1249889 edges, 2461 markings/sec, 210 secs
lola: 455412 markings, 1274549 edges, 1811 markings/sec, 215 secs
lola: 466107 markings, 1304302 edges, 2139 markings/sec, 220 secs
lola: 475958 markings, 1332870 edges, 1970 markings/sec, 225 secs
lola: 485547 markings, 1360927 edges, 1918 markings/sec, 230 secs
lola: 494169 markings, 1387765 edges, 1724 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: 15865 markings, 34091 edges, 3173 markings/sec, 0 secs
lola: 31158 markings, 69664 edges, 3059 markings/sec, 5 secs
lola: 46504 markings, 105722 edges, 3069 markings/sec, 10 secs
lola: 61273 markings, 141649 edges, 2954 markings/sec, 15 secs
lola: 75650 markings, 177379 edges, 2875 markings/sec, 20 secs
lola: 91207 markings, 213791 edges, 3111 markings/sec, 25 secs
lola: 105579 markings, 250499 edges, 2874 markings/sec, 30 secs
lola: 119873 markings, 285896 edges, 2859 markings/sec, 35 secs
lola: 134314 markings, 322167 edges, 2888 markings/sec, 40 secs
lola: 149467 markings, 357846 edges, 3031 markings/sec, 45 secs
lola: 164784 markings, 396138 edges, 3063 markings/sec, 50 secs
lola: 178944 markings, 432594 edges, 2832 markings/sec, 55 secs
lola: 193586 markings, 468513 edges, 2928 markings/sec, 60 secs
lola: 207935 markings, 505589 edges, 2870 markings/sec, 65 secs
lola: 222800 markings, 543879 edges, 2973 markings/sec, 70 secs
lola: 238155 markings, 581538 edges, 3071 markings/sec, 75 secs
lola: 253172 markings, 616859 edges, 3003 markings/sec, 80 secs
lola: 268415 markings, 655104 edges, 3049 markings/sec, 85 secs
lola: 283981 markings, 696540 edges, 3113 markings/sec, 90 secs
lola: 298086 markings, 732240 edges, 2821 markings/sec, 95 secs
lola: 313050 markings, 770062 edges, 2993 markings/sec, 100 secs
lola: 327905 markings, 807971 edges, 2971 markings/sec, 105 secs
lola: 342513 markings, 846492 edges, 2922 markings/sec, 110 secs
lola: 357103 markings, 883750 edges, 2918 markings/sec, 115 secs
lola: 371885 markings, 922015 edges, 2956 markings/sec, 120 secs
lola: 386738 markings, 959064 edges, 2971 markings/sec, 125 secs
lola: 401497 markings, 993966 edges, 2952 markings/sec, 130 secs
lola: 415252 markings, 1028311 edges, 2751 markings/sec, 135 secs
lola: 429842 markings, 1064451 edges, 2918 markings/sec, 140 secs
lola: 445555 markings, 1106772 edges, 3143 markings/sec, 145 secs
lola: 461060 markings, 1147892 edges, 3101 markings/sec, 150 secs
lola: 475315 markings, 1183705 edges, 2851 markings/sec, 155 secs
lola: 490688 markings, 1223575 edges, 3075 markings/sec, 160 secs
lola: 505192 markings, 1259446 edges, 2901 markings/sec, 165 secs
lola: 519922 markings, 1298338 edges, 2946 markings/sec, 170 secs
lola: 534444 markings, 1336370 edges, 2904 markings/sec, 175 secs
lola: 549071 markings, 1374763 edges, 2925 markings/sec, 180 secs
lola: 563716 markings, 1413349 edges, 2929 markings/sec, 185 secs
lola: 578104 markings, 1450333 edges, 2878 markings/sec, 190 secs
lola: 592904 markings, 1488321 edges, 2960 markings/sec, 195 secs
lola: 607978 markings, 1525755 edges, 3015 markings/sec, 200 secs
lola: 622378 markings, 1560743 edges, 2880 markings/sec, 205 secs
lola: 634194 markings, 1589867 edges, 2363 markings/sec, 210 secs
lola: 645267 markings, 1618718 edges, 2215 markings/sec, 215 secs
lola: 656431 markings, 1647207 edges, 2233 markings/sec, 220 secs
lola: 668844 markings, 1677764 edges, 2483 markings/sec, 225 secs
lola: 681106 markings, 1710679 edges, 2452 markings/sec, 230 secs
lola: 694120 markings, 1745538 edges, 2603 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: 24469 markings, 55381 edges, 4894 markings/sec, 0 secs
lola: 62632 markings, 168269 edges, 7633 markings/sec, 5 secs
lola: 93528 markings, 252949 edges, 6179 markings/sec, 10 secs
lola: 124693 markings, 334472 edges, 6233 markings/sec, 15 secs
lola: 151483 markings, 401462 edges, 5358 markings/sec, 20 secs
lola: 186173 markings, 500822 edges, 6938 markings/sec, 25 secs
lola: 221436 markings, 603584 edges, 7053 markings/sec, 30 secs
lola: 249597 markings, 677803 edges, 5632 markings/sec, 35 secs
lola: 280807 markings, 762601 edges, 6242 markings/sec, 40 secs
lola: 316085 markings, 864458 edges, 7056 markings/sec, 45 secs
lola: 351093 markings, 964228 edges, 7002 markings/sec, 50 secs
lola: 383291 markings, 1056756 edges, 6440 markings/sec, 55 secs
lola: 414370 markings, 1139950 edges, 6216 markings/sec, 60 secs
lola: 440472 markings, 1208488 edges, 5220 markings/sec, 65 secs
lola: 470122 markings, 1291890 edges, 5930 markings/sec, 70 secs
lola: 499974 markings, 1376671 edges, 5970 markings/sec, 75 secs
lola: 530666 markings, 1462268 edges, 6138 markings/sec, 80 secs
lola: 560040 markings, 1543931 edges, 5875 markings/sec, 85 secs
lola: 588897 markings, 1623281 edges, 5771 markings/sec, 90 secs
lola: 619711 markings, 1709853 edges, 6163 markings/sec, 95 secs
lola: 654048 markings, 1807752 edges, 6867 markings/sec, 100 secs
lola: 683775 markings, 1887267 edges, 5945 markings/sec, 105 secs
lola: 716851 markings, 1985248 edges, 6615 markings/sec, 110 secs
lola: 740995 markings, 2052776 edges, 4829 markings/sec, 115 secs
lola: 779012 markings, 2172316 edges, 7603 markings/sec, 120 secs
lola: 804085 markings, 2241307 edges, 5015 markings/sec, 125 secs
lola: 827983 markings, 2311696 edges, 4780 markings/sec, 130 secs
lola: 865542 markings, 2421539 edges, 7512 markings/sec, 135 secs
lola: 887769 markings, 2483717 edges, 4445 markings/sec, 140 secs
lola: 911972 markings, 2546679 edges, 4841 markings/sec, 145 secs
lola: 936510 markings, 2621282 edges, 4908 markings/sec, 150 secs
lola: 973226 markings, 2732398 edges, 7343 markings/sec, 155 secs
lola: 996543 markings, 2802166 edges, 4663 markings/sec, 160 secs
lola: 1029233 markings, 2901819 edges, 6538 markings/sec, 165 secs
lola: 1056458 markings, 2975589 edges, 5445 markings/sec, 170 secs
lola: 1080747 markings, 3049093 edges, 4858 markings/sec, 175 secs
lola: 1113650 markings, 3145541 edges, 6581 markings/sec, 180 secs
lola: 1136295 markings, 3212930 edges, 4529 markings/sec, 185 secs
lola: 1168959 markings, 3313790 edges, 6533 markings/sec, 190 secs
lola: 1190821 markings, 3375326 edges, 4372 markings/sec, 195 secs
lola: 1220252 markings, 3465963 edges, 5886 markings/sec, 200 secs
lola: 1248620 markings, 3545260 edges, 5674 markings/sec, 205 secs
lola: 1279777 markings, 3642454 edges, 6231 markings/sec, 210 secs
lola: 1307440 markings, 3720016 edges, 5533 markings/sec, 215 secs
lola: 1340464 markings, 3823215 edges, 6605 markings/sec, 220 secs
lola: 1365710 markings, 3893877 edges, 5049 markings/sec, 225 secs
lola: 1399394 markings, 3993094 edges, 6737 markings/sec, 230 secs
lola: 1423489 markings, 4063099 edges, 4819 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: 25962 markings, 58869 edges, 5192 markings/sec, 0 secs
lola: 64548 markings, 172865 edges, 7717 markings/sec, 5 secs
lola: 96939 markings, 264314 edges, 6478 markings/sec, 10 secs
lola: 126521 markings, 338958 edges, 5916 markings/sec, 15 secs
lola: 154392 markings, 411113 edges, 5574 markings/sec, 20 secs
lola: 187246 markings, 503100 edges, 6571 markings/sec, 25 secs
lola: 223703 markings, 609089 edges, 7291 markings/sec, 30 secs
lola: 254674 markings, 694685 edges, 6194 markings/sec, 35 secs
lola: 283265 markings, 768314 edges, 5718 markings/sec, 40 secs
lola: 318477 markings, 870052 edges, 7042 markings/sec, 45 secs
lola: 353311 markings, 969536 edges, 6967 markings/sec, 50 secs
lola: 386865 markings, 1064958 edges, 6711 markings/sec, 55 secs
lola: 418519 markings, 1153863 edges, 6331 markings/sec, 60 secs
lola: 449974 markings, 1239424 edges, 6291 markings/sec, 65 secs
lola: 480592 markings, 1323350 edges, 6124 markings/sec, 70 secs
lola: 507877 markings, 1397515 edges, 5457 markings/sec, 75 secs
lola: 535959 markings, 1475022 edges, 5616 markings/sec, 80 secs
lola: 566966 markings, 1562429 edges, 6201 markings/sec, 85 secs
lola: 597673 markings, 1650049 edges, 6141 markings/sec, 90 secs
lola: 628541 markings, 1738051 edges, 6174 markings/sec, 95 secs
lola: 656674 markings, 1814087 edges, 5627 markings/sec, 100 secs
lola: 684093 markings, 1888093 edges, 5484 markings/sec, 105 secs
lola: 714809 markings, 1978266 edges, 6143 markings/sec, 110 secs
lola: 739286 markings, 2048973 edges, 4895 markings/sec, 115 secs
lola: 773845 markings, 2159333 edges, 6912 markings/sec, 120 secs
lola: 799526 markings, 2225814 edges, 5136 markings/sec, 125 secs
lola: 823723 markings, 2298581 edges, 4839 markings/sec, 130 secs
lola: 859951 markings, 2408146 edges, 7246 markings/sec, 135 secs
lola: 882276 markings, 2464969 edges, 4465 markings/sec, 140 secs
lola: 907031 markings, 2532737 edges, 4951 markings/sec, 145 secs
lola: 931404 markings, 2605418 edges, 4875 markings/sec, 150 secs
lola: 966873 markings, 2716933 edges, 7094 markings/sec, 155 secs
lola: 991379 markings, 2784916 edges, 4901 markings/sec, 160 secs
lola: 1018506 markings, 2866782 edges, 5425 markings/sec, 165 secs
lola: 1050942 markings, 2957360 edges, 6487 markings/sec, 170 secs
lola: 1072414 markings, 3022579 edges, 4294 markings/sec, 175 secs
lola: 1107898 markings, 3131777 edges, 7097 markings/sec, 180 secs
lola: 1131373 markings, 3200884 edges, 4695 markings/sec, 185 secs
lola: 1165415 markings, 3306550 edges, 6808 markings/sec, 190 secs
lola: 1189971 markings, 3372454 edges, 4911 markings/sec, 195 secs
lola: 1218390 markings, 3459750 edges, 5684 markings/sec, 200 secs
lola: 1244293 markings, 3530480 edges, 5181 markings/sec, 205 secs
lola: 1266620 markings, 3599430 edges, 4465 markings/sec, 210 secs
lola: 1297825 markings, 3689267 edges, 6241 markings/sec, 215 secs
lola: 1319276 markings, 3754529 edges, 4290 markings/sec, 220 secs
lola: 1350616 markings, 3846839 edges, 6268 markings/sec, 225 secs
lola: 1374030 markings, 3917164 edges, 4683 markings/sec, 230 secs
lola: 1406432 markings, 4009552 edges, 6480 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: 15581 markings, 27744 edges, 3116 markings/sec, 0 secs
lola: 33594 markings, 66472 edges, 3603 markings/sec, 5 secs
lola: 49142 markings, 104096 edges, 3110 markings/sec, 10 secs
lola: 65803 markings, 143596 edges, 3332 markings/sec, 15 secs
lola: 82043 markings, 181358 edges, 3248 markings/sec, 20 secs
lola: 100349 markings, 226627 edges, 3661 markings/sec, 25 secs
lola: 114901 markings, 257947 edges, 2910 markings/sec, 30 secs
lola: 133574 markings, 303257 edges, 3735 markings/sec, 35 secs
lola: 151327 markings, 346325 edges, 3551 markings/sec, 40 secs
lola: 167103 markings, 381516 edges, 3155 markings/sec, 45 secs
lola: 185348 markings, 425303 edges, 3649 markings/sec, 50 secs
lola: 203446 markings, 468695 edges, 3620 markings/sec, 55 secs
lola: 220403 markings, 508508 edges, 3391 markings/sec, 60 secs
lola: 236663 markings, 545631 edges, 3252 markings/sec, 65 secs
lola: 253998 markings, 586627 edges, 3467 markings/sec, 70 secs
lola: 271825 markings, 629074 edges, 3565 markings/sec, 75 secs
lola: 288906 markings, 669669 edges, 3416 markings/sec, 80 secs
lola: 306330 markings, 710829 edges, 3485 markings/sec, 85 secs
lola: 323522 markings, 751203 edges, 3438 markings/sec, 90 secs
lola: 340457 markings, 790951 edges, 3387 markings/sec, 95 secs
lola: 357841 markings, 831252 edges, 3477 markings/sec, 100 secs
lola: 374556 markings, 870048 edges, 3343 markings/sec, 105 secs
lola: 392569 markings, 913059 edges, 3603 markings/sec, 110 secs
lola: 409505 markings, 952775 edges, 3387 markings/sec, 115 secs
lola: 426351 markings, 991418 edges, 3369 markings/sec, 120 secs
lola: 441719 markings, 1026040 edges, 3074 markings/sec, 125 secs
lola: 457245 markings, 1057384 edges, 3105 markings/sec, 130 secs
lola: 474395 markings, 1099343 edges, 3430 markings/sec, 135 secs
lola: 486523 markings, 1128387 edges, 2426 markings/sec, 140 secs
lola: 499090 markings, 1158070 edges, 2513 markings/sec, 145 secs
lola: 513934 markings, 1193213 edges, 2969 markings/sec, 150 secs
lola: 530264 markings, 1232892 edges, 3266 markings/sec, 155 secs
lola: 542940 markings, 1262706 edges, 2535 markings/sec, 160 secs
lola: 556213 markings, 1293978 edges, 2655 markings/sec, 165 secs
lola: 572753 markings, 1334357 edges, 3308 markings/sec, 170 secs
lola: 587038 markings, 1367588 edges, 2857 markings/sec, 175 secs
lola: 604148 markings, 1409734 edges, 3422 markings/sec, 180 secs
lola: 619917 markings, 1445749 edges, 3154 markings/sec, 185 secs
lola: 634309 markings, 1480079 edges, 2878 markings/sec, 190 secs
lola: 652559 markings, 1524701 edges, 3650 markings/sec, 195 secs
lola: 666888 markings, 1558163 edges, 2866 markings/sec, 200 secs
lola: 684675 markings, 1602503 edges, 3557 markings/sec, 205 secs
lola: 699692 markings, 1636913 edges, 3003 markings/sec, 210 secs
lola: 716064 markings, 1676676 edges, 3274 markings/sec, 215 secs
lola: 731835 markings, 1713111 edges, 3154 markings/sec, 220 secs
lola: 746700 markings, 1748915 edges, 2973 markings/sec, 225 secs
lola: 762450 markings, 1786783 edges, 3150 markings/sec, 230 secs
lola: 777508 markings, 1822149 edges, 3012 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: 16730 markings, 29890 edges, 3346 markings/sec, 0 secs
lola: 36284 markings, 73351 edges, 3911 markings/sec, 5 secs
lola: 51891 markings, 110385 edges, 3121 markings/sec, 10 secs
lola: 70818 markings, 156560 edges, 3785 markings/sec, 15 secs
lola: 86824 markings, 191576 edges, 3201 markings/sec, 20 secs
lola: 105470 markings, 237520 edges, 3729 markings/sec, 25 secs
lola: 123195 markings, 279415 edges, 3545 markings/sec, 30 secs
lola: 139634 markings, 316654 edges, 3288 markings/sec, 35 secs
lola: 158068 markings, 361443 edges, 3687 markings/sec, 40 secs
lola: 176459 markings, 405651 edges, 3678 markings/sec, 45 secs
lola: 192731 markings, 442286 edges, 3254 markings/sec, 50 secs
lola: 210301 markings, 483692 edges, 3514 markings/sec, 55 secs
lola: 228471 markings, 527279 edges, 3634 markings/sec, 60 secs
lola: 246571 markings, 570311 edges, 3620 markings/sec, 65 secs
lola: 263777 markings, 610882 edges, 3441 markings/sec, 70 secs
lola: 280213 markings, 649047 edges, 3287 markings/sec, 75 secs
lola: 294957 markings, 682866 edges, 2949 markings/sec, 80 secs
lola: 310111 markings, 719063 edges, 3031 markings/sec, 85 secs
lola: 325283 markings, 754838 edges, 3034 markings/sec, 90 secs
lola: 341874 markings, 793844 edges, 3318 markings/sec, 95 secs
lola: 358521 markings, 832824 edges, 3329 markings/sec, 100 secs
lola: 375128 markings, 871265 edges, 3321 markings/sec, 105 secs
lola: 392670 markings, 913346 edges, 3508 markings/sec, 110 secs
lola: 409436 markings, 952602 edges, 3353 markings/sec, 115 secs
lola: 426250 markings, 991254 edges, 3363 markings/sec, 120 secs
lola: 441087 markings, 1024974 edges, 2967 markings/sec, 125 secs
lola: 456836 markings, 1056424 edges, 3150 markings/sec, 130 secs
lola: 475284 markings, 1101779 edges, 3690 markings/sec, 135 secs
lola: 488529 markings, 1133095 edges, 2649 markings/sec, 140 secs
lola: 503161 markings, 1167101 edges, 2926 markings/sec, 145 secs
lola: 520283 markings, 1209607 edges, 3424 markings/sec, 150 secs
lola: 535413 markings, 1244381 edges, 3026 markings/sec, 155 secs
lola: 550779 markings, 1280630 edges, 3073 markings/sec, 160 secs
lola: 568828 markings, 1325424 edges, 3610 markings/sec, 165 secs
lola: 583820 markings, 1360345 edges, 2998 markings/sec, 170 secs
lola: 599255 markings, 1397021 edges, 3087 markings/sec, 175 secs
lola: 615571 markings, 1436488 edges, 3263 markings/sec, 180 secs
lola: 629264 markings, 1468286 edges, 2739 markings/sec, 185 secs
lola: 646388 markings, 1511472 edges, 3425 markings/sec, 190 secs
lola: 660970 markings, 1544283 edges, 2916 markings/sec, 195 secs
lola: 675075 markings, 1577864 edges, 2821 markings/sec, 200 secs
lola: 691411 markings, 1617439 edges, 3267 markings/sec, 205 secs
lola: 705448 markings, 1649775 edges, 2807 markings/sec, 210 secs
lola: 722218 markings, 1691205 edges, 3354 markings/sec, 215 secs
lola: 736140 markings, 1723876 edges, 2784 markings/sec, 220 secs
lola: 753077 markings, 1765626 edges, 3387 markings/sec, 225 secs
lola: 768029 markings, 1799830 edges, 2990 markings/sec, 230 secs
lola: 784289 markings, 1839666 edges, 3252 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: 75204 markings, 122174 edges, 15041 markings/sec, 0 secs
lola: 156416 markings, 255799 edges, 16242 markings/sec, 5 secs
lola: 235520 markings, 384651 edges, 15821 markings/sec, 10 secs
lola: 316724 markings, 517219 edges, 16241 markings/sec, 15 secs
lola: 396842 markings, 648089 edges, 16024 markings/sec, 20 secs
lola: 476060 markings, 777634 edges, 15844 markings/sec, 25 secs
lola: 553062 markings, 903308 edges, 15400 markings/sec, 30 secs
lola: 632154 markings, 1031986 edges, 15818 markings/sec, 35 secs
lola: 708534 markings, 1155252 edges, 15276 markings/sec, 40 secs
lola: 734704 markings, 1195697 edges, 5234 markings/sec, 45 secs
lola: 742912 markings, 1209932 edges, 1642 markings/sec, 50 secs
lola: 750506 markings, 1222937 edges, 1519 markings/sec, 55 secs
lola: 758124 markings, 1235864 edges, 1524 markings/sec, 60 secs
lola: 766386 markings, 1249465 edges, 1652 markings/sec, 65 secs
lola: 778058 markings, 1265743 edges, 2334 markings/sec, 70 secs
lola: 785448 markings, 1278614 edges, 1478 markings/sec, 75 secs
lola: 793084 markings, 1291607 edges, 1527 markings/sec, 80 secs
lola: 800700 markings, 1304533 edges, 1523 markings/sec, 85 secs
lola: 808722 markings, 1317705 edges, 1604 markings/sec, 90 secs
lola: 819474 markings, 1332600 edges, 2150 markings/sec, 95 secs
lola: 826858 markings, 1345483 edges, 1477 markings/sec, 100 secs
lola: 834450 markings, 1358409 edges, 1518 markings/sec, 105 secs
lola: 842108 markings, 1371419 edges, 1532 markings/sec, 110 secs
lola: 851822 markings, 1386789 edges, 1943 markings/sec, 115 secs
lola: 861984 markings, 1401677 edges, 2032 markings/sec, 120 secs
lola: 870336 markings, 1415959 edges, 1670 markings/sec, 125 secs
lola: 878890 markings, 1430563 edges, 1711 markings/sec, 130 secs
lola: 887280 markings, 1444523 edges, 1678 markings/sec, 135 secs
lola: 898484 markings, 1460237 edges, 2241 markings/sec, 140 secs
lola: 906416 markings, 1474000 edges, 1586 markings/sec, 145 secs
lola: 914532 markings, 1487765 edges, 1623 markings/sec, 150 secs
lola: 922672 markings, 1501527 edges, 1628 markings/sec, 155 secs
lola: 933204 markings, 1517164 edges, 2106 markings/sec, 160 secs
lola: 942338 markings, 1531749 edges, 1827 markings/sec, 165 secs
lola: 950784 markings, 1546181 edges, 1689 markings/sec, 170 secs
lola: 959068 markings, 1560220 edges, 1657 markings/sec, 175 secs
lola: 969134 markings, 1575476 edges, 2013 markings/sec, 180 secs
lola: 978638 markings, 1590366 edges, 1901 markings/sec, 185 secs
lola: 987110 markings, 1604797 edges, 1694 markings/sec, 190 secs
lola: 995748 markings, 1619409 edges, 1728 markings/sec, 195 secs
lola: 1006220 markings, 1635028 edges, 2094 markings/sec, 200 secs
lola: 1015306 markings, 1649655 edges, 1817 markings/sec, 205 secs
lola: 1023862 markings, 1664235 edges, 1711 markings/sec, 210 secs
lola: 1032056 markings, 1678038 edges, 1639 markings/sec, 215 secs
lola: 1043454 markings, 1694507 edges, 2280 markings/sec, 220 secs
lola: 1051890 markings, 1708958 edges, 1687 markings/sec, 225 secs
lola: 1060012 markings, 1722781 edges, 1624 markings/sec, 230 secs
lola: 1068446 markings, 1736813 edges, 1687 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: 24776 markings, 56090 edges, 4955 markings/sec, 0 secs
lola: 60761 markings, 163769 edges, 7197 markings/sec, 5 secs
lola: 85820 markings, 228084 edges, 5012 markings/sec, 10 secs
lola: 119462 markings, 323419 edges, 6728 markings/sec, 15 secs
lola: 144660 markings, 381592 edges, 5040 markings/sec, 20 secs
lola: 181307 markings, 489362 edges, 7329 markings/sec, 25 secs
lola: 215489 markings, 588738 edges, 6836 markings/sec, 30 secs
lola: 242491 markings, 654887 edges, 5400 markings/sec, 35 secs
lola: 277279 markings, 754553 edges, 6958 markings/sec, 40 secs
lola: 313381 markings, 858052 edges, 7220 markings/sec, 45 secs
lola: 348022 markings, 956769 edges, 6928 markings/sec, 50 secs
lola: 379377 markings, 1043543 edges, 6271 markings/sec, 55 secs
lola: 410959 markings, 1128555 edges, 6316 markings/sec, 60 secs
lola: 443054 markings, 1216694 edges, 6419 markings/sec, 65 secs
lola: 475225 markings, 1306097 edges, 6434 markings/sec, 70 secs
lola: 507958 markings, 1397705 edges, 6547 markings/sec, 75 secs
lola: 542048 markings, 1494623 edges, 6818 markings/sec, 80 secs
lola: 576498 markings, 1594211 edges, 6890 markings/sec, 85 secs
lola: 608870 markings, 1681532 edges, 6474 markings/sec, 90 secs
lola: 638421 markings, 1761188 edges, 5910 markings/sec, 95 secs
lola: 670186 markings, 1853001 edges, 6353 markings/sec, 100 secs
lola: 699061 markings, 1931384 edges, 5775 markings/sec, 105 secs
lola: 725441 markings, 2014543 edges, 5276 markings/sec, 110 secs
lola: 746728 markings, 2072282 edges, 4257 markings/sec, 115 secs
lola: 782090 markings, 2179849 edges, 7072 markings/sec, 120 secs
lola: 806316 markings, 2248915 edges, 4845 markings/sec, 125 secs
lola: 834151 markings, 2331838 edges, 5567 markings/sec, 130 secs
lola: 869027 markings, 2429821 edges, 6975 markings/sec, 135 secs
lola: 891255 markings, 2495252 edges, 4446 markings/sec, 140 secs
lola: 916178 markings, 2561111 edges, 4985 markings/sec, 145 secs
lola: 940537 markings, 2633835 edges, 4872 markings/sec, 150 secs
lola: 977676 markings, 2743048 edges, 7428 markings/sec, 155 secs
lola: 1001316 markings, 2813553 edges, 4728 markings/sec, 160 secs
lola: 1035909 markings, 2921860 edges, 6919 markings/sec, 165 secs
lola: 1060660 markings, 2989874 edges, 4950 markings/sec, 170 secs
lola: 1089827 markings, 3078507 edges, 5833 markings/sec, 175 secs
lola: 1120362 markings, 3163567 edges, 6107 markings/sec, 180 secs
lola: 1145240 markings, 3239948 edges, 4976 markings/sec, 185 secs
lola: 1180128 markings, 3340443 edges, 6978 markings/sec, 190 secs
lola: 1204342 markings, 3414516 edges, 4843 markings/sec, 195 secs
lola: 1239281 markings, 3516539 edges, 6988 markings/sec, 200 secs
lola: 1263350 markings, 3589116 edges, 4814 markings/sec, 205 secs
lola: 1297743 markings, 3689062 edges, 6879 markings/sec, 210 secs
lola: 1321369 markings, 3761510 edges, 4725 markings/sec, 215 secs
lola: 1354497 markings, 3855788 edges, 6626 markings/sec, 220 secs
lola: 1382569 markings, 3944305 edges, 5614 markings/sec, 225 secs
lola: 1411143 markings, 4025738 edges, 5715 markings/sec, 230 secs
lola: 1438585 markings, 4112298 edges, 5488 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: 14217 markings, 30044 edges, 2843 markings/sec, 0 secs
lola: 25607 markings, 56483 edges, 2278 markings/sec, 5 secs
lola: 35651 markings, 80424 edges, 2009 markings/sec, 10 secs
lola: 46571 markings, 106160 edges, 2184 markings/sec, 15 secs
lola: 58319 markings, 134598 edges, 2350 markings/sec, 20 secs
lola: 69820 markings, 163154 edges, 2300 markings/sec, 25 secs
lola: 82379 markings, 192838 edges, 2512 markings/sec, 30 secs
lola: 93753 markings, 221327 edges, 2275 markings/sec, 35 secs
lola: 104981 markings, 248705 edges, 2246 markings/sec, 40 secs
lola: 116760 markings, 278788 edges, 2356 markings/sec, 45 secs
lola: 128668 markings, 308207 edges, 2382 markings/sec, 50 secs
lola: 141864 markings, 339647 edges, 2639 markings/sec, 55 secs
lola: 153089 markings, 368725 edges, 2245 markings/sec, 60 secs
lola: 163564 markings, 395012 edges, 2095 markings/sec, 65 secs
lola: 174591 markings, 422156 edges, 2205 markings/sec, 70 secs
lola: 185117 markings, 449353 edges, 2105 markings/sec, 75 secs
lola: 195379 markings, 475708 edges, 2052 markings/sec, 80 secs
lola: 206126 markings, 503211 edges, 2149 markings/sec, 85 secs
lola: 217177 markings, 530720 edges, 2210 markings/sec, 90 secs
lola: 227703 markings, 556541 edges, 2105 markings/sec, 95 secs
lola: 241518 markings, 590385 edges, 2763 markings/sec, 100 secs
lola: 252048 markings, 617966 edges, 2106 markings/sec, 105 secs
lola: 262662 markings, 645602 edges, 2123 markings/sec, 110 secs
lola: 273517 markings, 672846 edges, 2171 markings/sec, 115 secs
lola: 285020 markings, 702153 edges, 2301 markings/sec, 120 secs
lola: 295655 markings, 728784 edges, 2127 markings/sec, 125 secs
lola: 306734 markings, 757699 edges, 2216 markings/sec, 130 secs
lola: 317597 markings, 785982 edges, 2173 markings/sec, 135 secs
lola: 327691 markings, 812253 edges, 2019 markings/sec, 140 secs
lola: 338364 markings, 839589 edges, 2135 markings/sec, 145 secs
lola: 348913 markings, 866561 edges, 2110 markings/sec, 150 secs
lola: 360630 markings, 895453 edges, 2343 markings/sec, 155 secs
lola: 371150 markings, 922157 edges, 2104 markings/sec, 160 secs
lola: 384121 markings, 953813 edges, 2594 markings/sec, 165 secs
lola: 395234 markings, 983034 edges, 2223 markings/sec, 170 secs
lola: 405118 markings, 1009422 edges, 1977 markings/sec, 175 secs
lola: 413861 markings, 1032347 edges, 1749 markings/sec, 180 secs
lola: 422411 markings, 1054633 edges, 1710 markings/sec, 185 secs
lola: 430805 markings, 1076257 edges, 1679 markings/sec, 190 secs
lola: 441306 markings, 1103198 edges, 2100 markings/sec, 195 secs
lola: 451661 markings, 1129748 edges, 2071 markings/sec, 200 secs
lola: 463796 markings, 1159653 edges, 2427 markings/sec, 205 secs
lola: 474708 markings, 1187820 edges, 2182 markings/sec, 210 secs
lola: 485459 markings, 1216718 edges, 2150 markings/sec, 215 secs
lola: 494480 markings, 1240277 edges, 1804 markings/sec, 220 secs
lola: 502933 markings, 1262913 edges, 1691 markings/sec, 225 secs
lola: 511654 markings, 1285808 edges, 1744 markings/sec, 230 secs
lola: 521517 markings, 1311393 edges, 1973 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: 15070 markings, 26583 edges, 3014 markings/sec, 0 secs
lola: 30173 markings, 57616 edges, 3021 markings/sec, 5 secs
lola: 44948 markings, 94879 edges, 2955 markings/sec, 10 secs
lola: 58361 markings, 124290 edges, 2683 markings/sec, 15 secs
lola: 76856 markings, 170057 edges, 3699 markings/sec, 20 secs
lola: 93989 markings, 210131 edges, 3427 markings/sec, 25 secs
lola: 110679 markings, 248649 edges, 3338 markings/sec, 30 secs
lola: 128533 markings, 292285 edges, 3571 markings/sec, 35 secs
lola: 143638 markings, 326371 edges, 3021 markings/sec, 40 secs
lola: 161017 markings, 367951 edges, 3476 markings/sec, 45 secs
lola: 178493 markings, 410338 edges, 3495 markings/sec, 50 secs
lola: 193867 markings, 445017 edges, 3075 markings/sec, 55 secs
lola: 210260 markings, 483599 edges, 3279 markings/sec, 60 secs
lola: 227654 markings, 525628 edges, 3479 markings/sec, 65 secs
lola: 244923 markings, 567199 edges, 3454 markings/sec, 70 secs
lola: 260782 markings, 603335 edges, 3172 markings/sec, 75 secs
lola: 276841 markings, 640213 edges, 3212 markings/sec, 80 secs
lola: 293534 markings, 679593 edges, 3339 markings/sec, 85 secs
lola: 310166 markings, 719200 edges, 3326 markings/sec, 90 secs
lola: 326315 markings, 757258 edges, 3230 markings/sec, 95 secs
lola: 342637 markings, 795598 edges, 3264 markings/sec, 100 secs
lola: 358910 markings, 833688 edges, 3255 markings/sec, 105 secs
lola: 375169 markings, 871379 edges, 3252 markings/sec, 110 secs
lola: 392096 markings, 911882 edges, 3385 markings/sec, 115 secs
lola: 408488 markings, 950387 edges, 3278 markings/sec, 120 secs
lola: 424751 markings, 987869 edges, 3253 markings/sec, 125 secs
lola: 440353 markings, 1023803 edges, 3120 markings/sec, 130 secs
lola: 456460 markings, 1055488 edges, 3221 markings/sec, 135 secs
lola: 474802 markings, 1100483 edges, 3668 markings/sec, 140 secs
lola: 488290 markings, 1132620 edges, 2698 markings/sec, 145 secs
lola: 502826 markings, 1166350 edges, 2907 markings/sec, 150 secs
lola: 520307 markings, 1209655 edges, 3496 markings/sec, 155 secs
lola: 535276 markings, 1244080 edges, 2994 markings/sec, 160 secs
lola: 549917 markings, 1278468 edges, 2928 markings/sec, 165 secs
lola: 567920 markings, 1323432 edges, 3601 markings/sec, 170 secs
lola: 583073 markings, 1358487 edges, 3031 markings/sec, 175 secs
lola: 598272 markings, 1394659 edges, 3040 markings/sec, 180 secs
lola: 615394 markings, 1436045 edges, 3424 markings/sec, 185 secs
lola: 630438 markings, 1470637 edges, 3009 markings/sec, 190 secs
lola: 647566 markings, 1513674 edges, 3426 markings/sec, 195 secs
lola: 662056 markings, 1547060 edges, 2898 markings/sec, 200 secs
lola: 677130 markings, 1583095 edges, 3015 markings/sec, 205 secs
lola: 692789 markings, 1620719 edges, 3132 markings/sec, 210 secs
lola: 707415 markings, 1654760 edges, 2925 markings/sec, 215 secs
lola: 724701 markings, 1696925 edges, 3457 markings/sec, 220 secs
lola: 738521 markings, 1729162 edges, 2764 markings/sec, 225 secs
lola: 755590 markings, 1771091 edges, 3414 markings/sec, 230 secs
lola: 769918 markings, 1804577 edges, 2866 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: 15797 markings, 28218 edges, 3159 markings/sec, 0 secs
lola: 33709 markings, 66817 edges, 3582 markings/sec, 5 secs
lola: 48970 markings, 103753 edges, 3052 markings/sec, 10 secs
lola: 65382 markings, 142406 edges, 3282 markings/sec, 15 secs
lola: 81605 markings, 180421 edges, 3245 markings/sec, 20 secs
lola: 99179 markings, 223601 edges, 3515 markings/sec, 25 secs
lola: 113879 markings, 255724 edges, 2940 markings/sec, 30 secs
lola: 131844 markings, 299845 edges, 3593 markings/sec, 35 secs
lola: 148296 markings, 338784 edges, 3290 markings/sec, 40 secs
lola: 164625 markings, 375652 edges, 3266 markings/sec, 45 secs
lola: 182265 markings, 418742 edges, 3528 markings/sec, 50 secs
lola: 199493 markings, 459737 edges, 3446 markings/sec, 55 secs
lola: 214742 markings, 493883 edges, 3050 markings/sec, 60 secs
lola: 231734 markings, 534541 edges, 3398 markings/sec, 65 secs
lola: 249043 markings, 575991 edges, 3462 markings/sec, 70 secs
lola: 266787 markings, 617921 edges, 3549 markings/sec, 75 secs
lola: 283389 markings, 657183 edges, 3320 markings/sec, 80 secs
lola: 299506 markings, 694825 edges, 3223 markings/sec, 85 secs
lola: 315884 markings, 732786 edges, 3276 markings/sec, 90 secs
lola: 332464 markings, 771685 edges, 3316 markings/sec, 95 secs
lola: 349098 markings, 811098 edges, 3327 markings/sec, 100 secs
lola: 366055 markings, 851129 edges, 3391 markings/sec, 105 secs
lola: 382535 markings, 889657 edges, 3296 markings/sec, 110 secs
lola: 398674 markings, 927001 edges, 3228 markings/sec, 115 secs
lola: 414822 markings, 964772 edges, 3230 markings/sec, 120 secs
lola: 430524 markings, 1000484 edges, 3140 markings/sec, 125 secs
lola: 445415 markings, 1032567 edges, 2978 markings/sec, 130 secs
lola: 460612 markings, 1064295 edges, 3039 markings/sec, 135 secs
lola: 479020 markings, 1111412 edges, 3682 markings/sec, 140 secs
lola: 493629 markings, 1144283 edges, 2922 markings/sec, 145 secs
lola: 507826 markings, 1178052 edges, 2839 markings/sec, 150 secs
lola: 525723 markings, 1222731 edges, 3579 markings/sec, 155 secs
lola: 540721 markings, 1257350 edges, 3000 markings/sec, 160 secs
lola: 552931 markings, 1285696 edges, 2442 markings/sec, 165 secs
lola: 569297 markings, 1326366 edges, 3273 markings/sec, 170 secs
lola: 582489 markings, 1356921 edges, 2638 markings/sec, 175 secs
lola: 594586 markings, 1385217 edges, 2419 markings/sec, 180 secs
lola: 610902 markings, 1425621 edges, 3263 markings/sec, 185 secs
lola: 623852 markings, 1455796 edges, 2590 markings/sec, 190 secs
lola: 636547 markings, 1485718 edges, 2539 markings/sec, 195 secs
lola: 652144 markings, 1523833 edges, 3119 markings/sec, 200 secs
lola: 664874 markings, 1553765 edges, 2546 markings/sec, 205 secs
lola: 680395 markings, 1591607 edges, 3104 markings/sec, 210 secs
lola: 694630 markings, 1624360 edges, 2847 markings/sec, 215 secs
lola: 708289 markings, 1656834 edges, 2732 markings/sec, 220 secs
lola: 725194 markings, 1698056 edges, 3381 markings/sec, 225 secs
lola: 738633 markings, 1729411 edges, 2688 markings/sec, 230 secs
lola: 755781 markings, 1771448 edges, 3430 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 1496354224316

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