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

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

=== Now, execution of the tool begins

BK_START 1496353121653


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


checking for too many tokens
===========================================================================================
S_BridgeAndVehicles-PT-V80P20N50: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_BridgeAndVehicles-PT-V80P20N50 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 8816/65536 symbol table entries, 2413 collisions
lola: preprocessing...
lola: finding significant places
lola: 228 places, 8588 transitions, 221 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 9173 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V80P20N50-UpperBounds.task
lola: MAX(COMPTEUR_10 + COMPTEUR_11 + COMPTEUR_12 + COMPTEUR_13 + COMPTEUR_14 + COMPTEUR_15 + COMPTEUR_16 + COMPTEUR_17 + COMPTEUR_18 + COMPTEUR_19 + COMPTEUR_20 + COMPTEUR_21 + COMPTEUR_22 + COMPTEUR_23 + COMPTEUR_24 + COMPTEUR_25 + COMPTEUR_26 + COMPTEUR_27 + COMPTEUR_28 + COMPTEUR_29 + COMPTEUR_30 + COMPTEUR_31 + COMPTEUR_32 + COMPTEUR_33 + COMPTEUR_34 + COMPTEUR_35 + COMPTEUR_36 + COMPTEUR_37 + COMPTEUR_38 + COMPTEUR_39 + COMPTEUR_40 + COMPTEUR_41 + COMPTEUR_42 + COMPTEUR_43 + COMPTEUR_44 + COMPTEUR_45 + COMPTEUR_46 + COMPTEUR_47 + COMPTEUR_48 + COMPTEUR_49 + COMPTEUR_50 + COMPTEUR_0 + COMPTEUR_1 + COMPTEUR_2 + COMPTEUR_3 + COMPTEUR_4 + COMPTEUR_5 + COMPTEUR_6 + COMPTEUR_7 + COMPTEUR_8 + COMPTEUR_9) : MAX(CAPACITE) : MAX(SUR_PONT_A) : MAX(ATTENTE_A) : MAX(ATTENTE_B) : MAX(CAPACITE) : MAX(CAPACITE) : MAX(CAPACITE) : MAX(VIDANGE_1 + VIDANGE_2) : MAX(SORTI_B) : MAX(SORTI_B) : MAX(SUR_PONT_B) : MAX(ATTENTE_A) : MAX(CONTROLEUR_1 + CONTROLEUR_2) : 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 + NB_ATTENTE_A_51 + NB_ATTENTE_A_52 + NB_ATTENTE_A_53 + NB_ATTENTE_A_54 + NB_ATTENTE_A_55 + NB_ATTENTE_A_56 + NB_ATTENTE_A_57 + NB_ATTENTE_A_58 + NB_ATTENTE_A_59 + NB_ATTENTE_A_60 + NB_ATTENTE_A_61 + NB_ATTENTE_A_62 + NB_ATTENTE_A_63 + NB_ATTENTE_A_64 + NB_ATTENTE_A_65 + NB_ATTENTE_A_66 + NB_ATTENTE_A_67 + NB_ATTENTE_A_68 + NB_ATTENTE_A_69 + NB_ATTENTE_A_70 + NB_ATTENTE_A_71 + NB_ATTENTE_A_72 + NB_ATTENTE_A_73 + NB_ATTENTE_A_74 + NB_ATTENTE_A_75 + NB_ATTENTE_A_76 + NB_ATTENTE_A_77 + NB_ATTENTE_A_78 + NB_ATTENTE_A_79 + NB_ATTENTE_A_80) : 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 + NB_ATTENTE_A_51 + NB_ATTENTE_A_52 + NB_ATTENTE_A_53 + NB_ATTENTE_A_54 + NB_ATTENTE_A_55 + NB_ATTENTE_A_56 + NB_ATTENTE_A_57 + NB_ATTENTE_A_58 + NB_ATTENTE_A_59 + NB_ATTENTE_A_60 + NB_ATTENTE_A_61 + NB_ATTENTE_A_62 + NB_ATTENTE_A_63 + NB_ATTENTE_A_64 + NB_ATTENTE_A_65 + NB_ATTENTE_A_66 + NB_ATTENTE_A_67 + NB_ATTENTE_A_68 + NB_ATTENTE_A_69 + NB_ATTENTE_A_70 + NB_ATTENTE_A_71 + NB_ATTENTE_A_72 + NB_ATTENTE_A_73 + NB_ATTENTE_A_74 + NB_ATTENTE_A_75 + NB_ATTENTE_A_76 + NB_ATTENTE_A_77 + NB_ATTENTE_A_78 + NB_ATTENTE_A_79 + NB_ATTENTE_A_80)
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(COMPTEUR_10 + COMPTEUR_11 + COMPTEUR_12 + COMPTEUR_13 + COMPTEUR_14 + COMPTEUR_15 + COMPTEUR_16 + COMPTEUR_17 + COMPTEUR_18 + COMPTEUR_19 + COMPTEUR_20 + COMPTEUR_21 + COMPTEUR_22 + COMPTEUR_23 + COMPTEUR_24 + COMPTEUR_25 + COMPTEUR_26 + COMPTEUR_27 + COMPTEUR_28 + COMPTEUR_29 + COMPTEUR_30 + COMPTEUR_31 + COMPTEUR_32 + COMPTEUR_33 + COMPTEUR_34 + COMPTEUR_35 + COMPTEUR_36 + COMPTEUR_37 + COMP... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 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 1 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CAPACITE)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 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: 3320 markings, 4477 edges, 664 markings/sec, 0 secs
lola: 6283 markings, 9404 edges, 593 markings/sec, 5 secs
lola: 9647 markings, 15202 edges, 673 markings/sec, 10 secs
lola: 13224 markings, 21400 edges, 715 markings/sec, 15 secs
lola: 17089 markings, 27992 edges, 773 markings/sec, 20 secs
lola: 20928 markings, 34787 edges, 768 markings/sec, 25 secs
lola: 24877 markings, 41453 edges, 790 markings/sec, 30 secs
lola: 28799 markings, 48002 edges, 784 markings/sec, 35 secs
lola: 34637 markings, 65616 edges, 1168 markings/sec, 40 secs
lola: 41056 markings, 86307 edges, 1284 markings/sec, 45 secs
lola: 44601 markings, 94577 edges, 709 markings/sec, 50 secs
lola: 48150 markings, 103432 edges, 710 markings/sec, 55 secs
lola: 52049 markings, 113641 edges, 780 markings/sec, 60 secs
lola: 55633 markings, 123014 edges, 717 markings/sec, 65 secs
lola: 59478 markings, 133062 edges, 769 markings/sec, 70 secs
lola: 63408 markings, 143735 edges, 786 markings/sec, 75 secs
lola: 67491 markings, 154743 edges, 817 markings/sec, 80 secs
lola: 70550 markings, 162074 edges, 612 markings/sec, 85 secs
lola: 74907 markings, 174333 edges, 871 markings/sec, 90 secs
lola: 79482 markings, 187309 edges, 915 markings/sec, 95 secs
lola: 82514 markings, 194633 edges, 606 markings/sec, 100 secs
lola: 87292 markings, 208498 edges, 956 markings/sec, 105 secs
lola: 90414 markings, 216089 edges, 624 markings/sec, 110 secs
lola: 95465 markings, 230999 edges, 1010 markings/sec, 115 secs
lola: 98625 markings, 238763 edges, 632 markings/sec, 120 secs
lola: 103070 markings, 251447 edges, 889 markings/sec, 125 secs
lola: 106955 markings, 262257 edges, 777 markings/sec, 130 secs
lola: 109855 markings, 269111 edges, 580 markings/sec, 135 secs
lola: 115133 markings, 285626 edges, 1056 markings/sec, 140 secs
lola: 117983 markings, 292690 edges, 570 markings/sec, 145 secs
lola: 120762 markings, 299274 edges, 556 markings/sec, 150 secs
lola: 125726 markings, 314215 edges, 993 markings/sec, 155 secs
lola: 129754 markings, 325507 edges, 806 markings/sec, 160 secs
lola: 132833 markings, 332797 edges, 616 markings/sec, 165 secs
lola: 136969 markings, 344409 edges, 827 markings/sec, 170 secs
lola: 142076 markings, 360405 edges, 1021 markings/sec, 175 secs
lola: 145262 markings, 367809 edges, 637 markings/sec, 180 secs
lola: 148294 markings, 375026 edges, 606 markings/sec, 185 secs
lola: 154586 markings, 395182 edges, 1258 markings/sec, 190 secs
lola: 158111 markings, 404572 edges, 705 markings/sec, 195 secs
lola: 161276 markings, 412087 edges, 633 markings/sec, 200 secs
lola: 164116 markings, 418862 edges, 568 markings/sec, 205 secs
lola: 170516 markings, 439523 edges, 1280 markings/sec, 210 secs
lola: 174105 markings, 449549 edges, 718 markings/sec, 215 secs
lola: 177421 markings, 457356 edges, 663 markings/sec, 220 secs
lola: 180558 markings, 464874 edges, 627 markings/sec, 225 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 236 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 884 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: 1233 markings, 1444 edges, 247 markings/sec, 0 secs
lola: 2635 markings, 2846 edges, 280 markings/sec, 5 secs
lola: 6158 markings, 9888 edges, 705 markings/sec, 10 secs
lola: 9745 markings, 18532 edges, 717 markings/sec, 15 secs
lola: 13729 markings, 28261 edges, 797 markings/sec, 20 secs
lola: 17845 markings, 38182 edges, 823 markings/sec, 25 secs
lola: 21958 markings, 48203 edges, 823 markings/sec, 30 secs
lola: 25989 markings, 57986 edges, 806 markings/sec, 35 secs
lola: 29931 markings, 67489 edges, 788 markings/sec, 40 secs
lola: 33661 markings, 76606 edges, 746 markings/sec, 45 secs
lola: 37308 markings, 85414 edges, 729 markings/sec, 50 secs
lola: 40937 markings, 94166 edges, 726 markings/sec, 55 secs
lola: 44493 markings, 102891 edges, 711 markings/sec, 60 secs
lola: 47903 markings, 111077 edges, 682 markings/sec, 65 secs
lola: 51254 markings, 119280 edges, 670 markings/sec, 70 secs
lola: 54621 markings, 127341 edges, 673 markings/sec, 75 secs
lola: 57934 markings, 135442 edges, 663 markings/sec, 80 secs
lola: 61195 markings, 143402 edges, 652 markings/sec, 85 secs
lola: 64434 markings, 151154 edges, 648 markings/sec, 90 secs
lola: 67593 markings, 158888 edges, 632 markings/sec, 95 secs
lola: 70728 markings, 166560 edges, 627 markings/sec, 100 secs
lola: 73740 markings, 173753 edges, 602 markings/sec, 105 secs
lola: 76653 markings, 180864 edges, 583 markings/sec, 110 secs
lola: 79627 markings, 187950 edges, 595 markings/sec, 115 secs
lola: 82600 markings, 195067 edges, 595 markings/sec, 120 secs
lola: 85403 markings, 201784 edges, 561 markings/sec, 125 secs
lola: 88294 markings, 208515 edges, 578 markings/sec, 130 secs
lola: 91157 markings, 214881 edges, 573 markings/sec, 135 secs
lola: 93453 markings, 218563 edges, 459 markings/sec, 140 secs
lola: 96635 markings, 226251 edges, 636 markings/sec, 145 secs
lola: 99380 markings, 232841 edges, 549 markings/sec, 150 secs
lola: 101997 markings, 239038 edges, 523 markings/sec, 155 secs
lola: 107548 markings, 256010 edges, 1110 markings/sec, 160 secs
lola: 114923 markings, 280016 edges, 1475 markings/sec, 165 secs
lola: 122374 markings, 304575 edges, 1490 markings/sec, 170 secs
lola: 129837 markings, 329765 edges, 1493 markings/sec, 175 secs
lola: 137221 markings, 354793 edges, 1477 markings/sec, 180 secs
lola: 144372 markings, 378942 edges, 1430 markings/sec, 185 secs
lola: 151700 markings, 403888 edges, 1466 markings/sec, 190 secs
lola: 159064 markings, 428924 edges, 1473 markings/sec, 195 secs
lola: 166431 markings, 453867 edges, 1473 markings/sec, 200 secs
lola: 173797 markings, 478905 edges, 1473 markings/sec, 205 secs
lola: 181171 markings, 503868 edges, 1475 markings/sec, 210 secs
lola: 188577 markings, 528907 edges, 1481 markings/sec, 215 secs
lola: 195988 markings, 554108 edges, 1482 markings/sec, 220 secs
lola: 202501 markings, 575108 edges, 1303 markings/sec, 225 secs
lola: 203318 markings, 576300 edges, 163 markings/sec, 230 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 236 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 884 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: 3846 markings, 5429 edges, 769 markings/sec, 0 secs
lola: 17738 markings, 28664 edges, 2778 markings/sec, 5 secs
lola: 31914 markings, 51538 edges, 2835 markings/sec, 10 secs
lola: 46078 markings, 75293 edges, 2833 markings/sec, 15 secs
lola: 60500 markings, 99562 edges, 2884 markings/sec, 20 secs
lola: 74588 markings, 123586 edges, 2818 markings/sec, 25 secs
lola: 88828 markings, 147610 edges, 2848 markings/sec, 30 secs
lola: 103264 markings, 172159 edges, 2887 markings/sec, 35 secs
lola: 117766 markings, 196787 edges, 2900 markings/sec, 40 secs
lola: 132198 markings, 221257 edges, 2886 markings/sec, 45 secs
lola: 146418 markings, 245320 edges, 2844 markings/sec, 50 secs
lola: 160779 markings, 269593 edges, 2872 markings/sec, 55 secs
lola: 175150 markings, 294070 edges, 2874 markings/sec, 60 secs
lola: 189837 markings, 318936 edges, 2937 markings/sec, 65 secs
lola: 203638 markings, 340231 edges, 2760 markings/sec, 70 secs
lola: 206266 markings, 345110 edges, 526 markings/sec, 75 secs
lola: 207076 markings, 346325 edges, 162 markings/sec, 80 secs
lola: 216872 markings, 361909 edges, 1959 markings/sec, 85 secs
lola: 229604 markings, 382668 edges, 2546 markings/sec, 90 secs
lola: 242494 markings, 403961 edges, 2578 markings/sec, 95 secs
lola: 255876 markings, 426490 edges, 2676 markings/sec, 100 secs
lola: 269688 markings, 449877 edges, 2762 markings/sec, 105 secs
lola: 283122 markings, 472538 edges, 2687 markings/sec, 110 secs
lola: 296886 markings, 495947 edges, 2753 markings/sec, 115 secs
lola: 310582 markings, 519201 edges, 2739 markings/sec, 120 secs
lola: 323678 markings, 541369 edges, 2619 markings/sec, 125 secs
lola: 336562 markings, 563130 edges, 2577 markings/sec, 130 secs
lola: 349392 markings, 585039 edges, 2566 markings/sec, 135 secs
lola: 362534 markings, 607191 edges, 2628 markings/sec, 140 secs
lola: 376106 markings, 630358 edges, 2714 markings/sec, 145 secs
lola: 388926 markings, 651913 edges, 2564 markings/sec, 150 secs
lola: 401740 markings, 672700 edges, 2563 markings/sec, 155 secs
lola: 407364 markings, 681687 edges, 1125 markings/sec, 160 secs
lola: 408152 markings, 682869 edges, 158 markings/sec, 165 secs
lola: 413394 markings, 690818 edges, 1048 markings/sec, 170 secs
lola: 427058 markings, 713432 edges, 2733 markings/sec, 175 secs
lola: 440895 markings, 735917 edges, 2767 markings/sec, 180 secs
lola: 454815 markings, 759405 edges, 2784 markings/sec, 185 secs
lola: 468400 markings, 782412 edges, 2717 markings/sec, 190 secs
lola: 481920 markings, 805240 edges, 2704 markings/sec, 195 secs
lola: 495554 markings, 828433 edges, 2727 markings/sec, 200 secs
lola: 509172 markings, 851563 edges, 2724 markings/sec, 205 secs
lola: 522962 markings, 874877 edges, 2758 markings/sec, 210 secs
lola: 536968 markings, 898694 edges, 2801 markings/sec, 215 secs
lola: 550915 markings, 922290 edges, 2789 markings/sec, 220 secs
lola: 564870 markings, 945866 edges, 2791 markings/sec, 225 secs
lola: 578584 markings, 969282 edges, 2743 markings/sec, 230 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 236 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 884 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: 3806 markings, 5366 edges, 761 markings/sec, 0 secs
lola: 18196 markings, 28435 edges, 2878 markings/sec, 5 secs
lola: 32652 markings, 52685 edges, 2891 markings/sec, 10 secs
lola: 47042 markings, 77053 edges, 2878 markings/sec, 15 secs
lola: 61774 markings, 102018 edges, 2946 markings/sec, 20 secs
lola: 76552 markings, 127000 edges, 2956 markings/sec, 25 secs
lola: 91501 markings, 152368 edges, 2990 markings/sec, 30 secs
lola: 106376 markings, 177498 edges, 2975 markings/sec, 35 secs
lola: 120854 markings, 202048 edges, 2896 markings/sec, 40 secs
lola: 135550 markings, 226563 edges, 2939 markings/sec, 45 secs
lola: 150109 markings, 249776 edges, 2912 markings/sec, 50 secs
lola: 158826 markings, 264526 edges, 1743 markings/sec, 55 secs
lola: 159608 markings, 265699 edges, 156 markings/sec, 60 secs
lola: 164830 markings, 273604 edges, 1044 markings/sec, 65 secs
lola: 179306 markings, 296792 edges, 2895 markings/sec, 70 secs
lola: 193910 markings, 321340 edges, 2921 markings/sec, 75 secs
lola: 208434 markings, 346061 edges, 2905 markings/sec, 80 secs
lola: 222998 markings, 370732 edges, 2913 markings/sec, 85 secs
lola: 237632 markings, 395461 edges, 2927 markings/sec, 90 secs
lola: 252126 markings, 420124 edges, 2899 markings/sec, 95 secs
lola: 266560 markings, 444393 edges, 2887 markings/sec, 100 secs
lola: 281270 markings, 469348 edges, 2942 markings/sec, 105 secs
lola: 295988 markings, 493165 edges, 2944 markings/sec, 110 secs
lola: 310418 markings, 515929 edges, 2886 markings/sec, 115 secs
lola: 314590 markings, 523947 edges, 834 markings/sec, 120 secs
lola: 315376 markings, 525126 edges, 157 markings/sec, 125 secs
lola: 324696 markings, 539464 edges, 1864 markings/sec, 130 secs
lola: 339156 markings, 563144 edges, 2892 markings/sec, 135 secs
lola: 353651 markings, 587641 edges, 2899 markings/sec, 140 secs
lola: 368178 markings, 612294 edges, 2905 markings/sec, 145 secs
lola: 382696 markings, 636869 edges, 2904 markings/sec, 150 secs
lola: 397200 markings, 661355 edges, 2901 markings/sec, 155 secs
lola: 411674 markings, 685970 edges, 2895 markings/sec, 160 secs
lola: 426006 markings, 710301 edges, 2866 markings/sec, 165 secs
lola: 440594 markings, 735044 edges, 2918 markings/sec, 170 secs
lola: 455135 markings, 757907 edges, 2908 markings/sec, 175 secs
lola: 465784 markings, 775823 edges, 2130 markings/sec, 180 secs
lola: 466566 markings, 776996 edges, 156 markings/sec, 185 secs
lola: 469538 markings, 781205 edges, 594 markings/sec, 190 secs
lola: 484062 markings, 804457 edges, 2905 markings/sec, 195 secs
lola: 498632 markings, 829022 edges, 2914 markings/sec, 200 secs
lola: 513289 markings, 853815 edges, 2931 markings/sec, 205 secs
lola: 528032 markings, 878814 edges, 2949 markings/sec, 210 secs
lola: 542702 markings, 903623 edges, 2934 markings/sec, 215 secs
lola: 557476 markings, 928787 edges, 2955 markings/sec, 220 secs
lola: 572248 markings, 953662 edges, 2954 markings/sec, 225 secs
lola: 586986 markings, 978680 edges, 2948 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CAPACITE)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 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: 4047 markings, 5672 edges, 809 markings/sec, 0 secs
lola: 7807 markings, 12015 edges, 752 markings/sec, 5 secs
lola: 11555 markings, 18662 edges, 750 markings/sec, 10 secs
lola: 15459 markings, 25176 edges, 781 markings/sec, 15 secs
lola: 19261 markings, 32027 edges, 760 markings/sec, 20 secs
lola: 23131 markings, 38729 edges, 774 markings/sec, 25 secs
lola: 27136 markings, 45337 edges, 801 markings/sec, 30 secs
lola: 31331 markings, 54630 edges, 839 markings/sec, 35 secs
lola: 38294 markings, 77906 edges, 1393 markings/sec, 40 secs
lola: 42538 markings, 89506 edges, 849 markings/sec, 45 secs
lola: 45971 markings, 97983 edges, 687 markings/sec, 50 secs
lola: 49597 markings, 107263 edges, 725 markings/sec, 55 secs
lola: 52847 markings, 115560 edges, 650 markings/sec, 60 secs
lola: 56407 markings, 124745 edges, 712 markings/sec, 65 secs
lola: 60179 markings, 134684 edges, 754 markings/sec, 70 secs
lola: 63917 markings, 144838 edges, 748 markings/sec, 75 secs
lola: 67832 markings, 155562 edges, 783 markings/sec, 80 secs
lola: 70754 markings, 162588 edges, 584 markings/sec, 85 secs
lola: 74762 markings, 173998 edges, 802 markings/sec, 90 secs
lola: 78816 markings, 185423 edges, 811 markings/sec, 95 secs
lola: 81902 markings, 193192 edges, 617 markings/sec, 100 secs
lola: 86136 markings, 205405 edges, 847 markings/sec, 105 secs
lola: 89219 markings, 213272 edges, 617 markings/sec, 110 secs
lola: 92623 markings, 222136 edges, 681 markings/sec, 115 secs
lola: 96822 markings, 234543 edges, 840 markings/sec, 120 secs
lola: 99765 markings, 241463 edges, 589 markings/sec, 125 secs
lola: 104860 markings, 256989 edges, 1019 markings/sec, 130 secs
lola: 107611 markings, 263792 edges, 550 markings/sec, 135 secs
lola: 110492 markings, 270645 edges, 576 markings/sec, 140 secs
lola: 116010 markings, 287675 edges, 1104 markings/sec, 145 secs
lola: 119040 markings, 295175 edges, 606 markings/sec, 150 secs
lola: 121957 markings, 302140 edges, 583 markings/sec, 155 secs
lola: 127876 markings, 320655 edges, 1184 markings/sec, 160 secs
lola: 130929 markings, 328264 edges, 611 markings/sec, 165 secs
lola: 133672 markings, 334773 edges, 549 markings/sec, 170 secs
lola: 138641 markings, 349981 edges, 994 markings/sec, 175 secs
lola: 142536 markings, 361436 edges, 779 markings/sec, 180 secs
lola: 145516 markings, 368401 edges, 596 markings/sec, 185 secs
lola: 148280 markings, 374993 edges, 553 markings/sec, 190 secs
lola: 153886 markings, 392820 edges, 1121 markings/sec, 195 secs
lola: 157420 markings, 402998 edges, 707 markings/sec, 200 secs
lola: 160322 markings, 409811 edges, 580 markings/sec, 205 secs
lola: 163190 markings, 416618 edges, 574 markings/sec, 210 secs
lola: 168082 markings, 431350 edges, 978 markings/sec, 215 secs
lola: 172838 markings, 446057 edges, 951 markings/sec, 220 secs
lola: 175750 markings, 453385 edges, 582 markings/sec, 225 secs
lola: 178562 markings, 460088 edges, 562 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CAPACITE)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 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: 3456 markings, 4753 edges, 691 markings/sec, 0 secs
lola: 6520 markings, 9917 edges, 613 markings/sec, 5 secs
lola: 10372 markings, 16612 edges, 770 markings/sec, 10 secs
lola: 14267 markings, 23364 edges, 779 markings/sec, 15 secs
lola: 18276 markings, 29979 edges, 802 markings/sec, 20 secs
lola: 22181 markings, 36645 edges, 781 markings/sec, 25 secs
lola: 25989 markings, 43365 edges, 762 markings/sec, 30 secs
lola: 29813 markings, 50155 edges, 765 markings/sec, 35 secs
lola: 36843 markings, 73031 edges, 1406 markings/sec, 40 secs
lola: 41990 markings, 88257 edges, 1029 markings/sec, 45 secs
lola: 45222 markings, 96004 edges, 646 markings/sec, 50 secs
lola: 48774 markings, 104837 edges, 710 markings/sec, 55 secs
lola: 52483 markings, 114831 edges, 742 markings/sec, 60 secs
lola: 55879 markings, 123525 edges, 679 markings/sec, 65 secs
lola: 59496 markings, 133107 edges, 723 markings/sec, 70 secs
lola: 63371 markings, 143684 edges, 775 markings/sec, 75 secs
lola: 67485 markings, 154729 edges, 823 markings/sec, 80 secs
lola: 70305 markings, 161494 edges, 564 markings/sec, 85 secs
lola: 74528 markings, 173468 edges, 845 markings/sec, 90 secs
lola: 78231 markings, 183473 edges, 741 markings/sec, 95 secs
lola: 81681 markings, 192675 edges, 690 markings/sec, 100 secs
lola: 86201 markings, 205611 edges, 904 markings/sec, 105 secs
lola: 89226 markings, 213289 edges, 605 markings/sec, 110 secs
lola: 92761 markings, 222572 edges, 707 markings/sec, 115 secs
lola: 96851 markings, 234616 edges, 818 markings/sec, 120 secs
lola: 99677 markings, 241243 edges, 565 markings/sec, 125 secs
lola: 104848 markings, 256969 edges, 1034 markings/sec, 130 secs
lola: 107970 markings, 264649 edges, 624 markings/sec, 135 secs
lola: 111429 markings, 273308 edges, 692 markings/sec, 140 secs
lola: 116718 markings, 289928 edges, 1058 markings/sec, 145 secs
lola: 119924 markings, 297288 edges, 641 markings/sec, 150 secs
lola: 124190 markings, 309119 edges, 853 markings/sec, 155 secs
lola: 128985 markings, 323880 edges, 959 markings/sec, 160 secs
lola: 132253 markings, 331403 edges, 654 markings/sec, 165 secs
lola: 136139 markings, 341661 edges, 777 markings/sec, 170 secs
lola: 141772 markings, 359326 edges, 1127 markings/sec, 175 secs
lola: 145093 markings, 367399 edges, 664 markings/sec, 180 secs
lola: 148281 markings, 374995 edges, 638 markings/sec, 185 secs
lola: 154758 markings, 395692 edges, 1295 markings/sec, 190 secs
lola: 158254 markings, 404908 edges, 699 markings/sec, 195 secs
lola: 161530 markings, 412663 edges, 655 markings/sec, 200 secs
lola: 164774 markings, 420464 edges, 649 markings/sec, 205 secs
lola: 171825 markings, 443640 edges, 1410 markings/sec, 210 secs
lola: 175039 markings, 451730 edges, 643 markings/sec, 215 secs
lola: 178290 markings, 459430 edges, 650 markings/sec, 220 secs
lola: 181414 markings, 466940 edges, 625 markings/sec, 225 secs
lola: 188344 markings, 489487 edges, 1386 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CAPACITE)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 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: 4049 markings, 5674 edges, 810 markings/sec, 0 secs
lola: 7783 markings, 11983 edges, 747 markings/sec, 5 secs
lola: 11583 markings, 18710 edges, 760 markings/sec, 10 secs
lola: 15599 markings, 25526 edges, 803 markings/sec, 15 secs
lola: 19458 markings, 32262 edges, 772 markings/sec, 20 secs
lola: 23431 markings, 39110 edges, 795 markings/sec, 25 secs
lola: 27307 markings, 45765 edges, 775 markings/sec, 30 secs
lola: 31975 markings, 56762 edges, 934 markings/sec, 35 secs
lola: 39408 markings, 81697 edges, 1487 markings/sec, 40 secs
lola: 43204 markings, 91085 edges, 759 markings/sec, 45 secs
lola: 46790 markings, 99887 edges, 717 markings/sec, 50 secs
lola: 50681 markings, 109813 edges, 778 markings/sec, 55 secs
lola: 55015 markings, 121423 edges, 867 markings/sec, 60 secs
lola: 58930 markings, 131802 edges, 783 markings/sec, 65 secs
lola: 62986 markings, 142539 edges, 811 markings/sec, 70 secs
lola: 67239 markings, 154236 edges, 851 markings/sec, 75 secs
lola: 70260 markings, 161383 edges, 604 markings/sec, 80 secs
lola: 74678 markings, 173817 edges, 884 markings/sec, 85 secs
lola: 79329 markings, 186996 edges, 930 markings/sec, 90 secs
lola: 82507 markings, 194615 edges, 636 markings/sec, 95 secs
lola: 87091 markings, 207995 edges, 917 markings/sec, 100 secs
lola: 89994 markings, 215086 edges, 581 markings/sec, 105 secs
lola: 94441 markings, 228152 edges, 889 markings/sec, 110 secs
lola: 97815 markings, 236861 edges, 675 markings/sec, 115 secs
lola: 100663 markings, 243549 edges, 570 markings/sec, 120 secs
lola: 105942 markings, 260075 edges, 1056 markings/sec, 125 secs
lola: 108871 markings, 266760 edges, 586 markings/sec, 130 secs
lola: 112914 markings, 278219 edges, 809 markings/sec, 135 secs
lola: 117069 markings, 290578 edges, 831 markings/sec, 140 secs
lola: 120354 markings, 298310 edges, 657 markings/sec, 145 secs
lola: 125414 markings, 313199 edges, 1012 markings/sec, 150 secs
lola: 129665 markings, 325302 edges, 850 markings/sec, 155 secs
lola: 132974 markings, 333147 edges, 662 markings/sec, 160 secs
lola: 137777 markings, 347105 edges, 961 markings/sec, 165 secs
lola: 142518 markings, 361410 edges, 948 markings/sec, 170 secs
lola: 145895 markings, 369339 edges, 675 markings/sec, 175 secs
lola: 149259 markings, 377462 edges, 673 markings/sec, 180 secs
lola: 155891 markings, 398814 edges, 1326 markings/sec, 185 secs
lola: 159253 markings, 407257 edges, 672 markings/sec, 190 secs
lola: 162486 markings, 414936 edges, 647 markings/sec, 195 secs
lola: 167193 markings, 428392 edges, 941 markings/sec, 200 secs
lola: 172885 markings, 446216 edges, 1138 markings/sec, 205 secs
lola: 176288 markings, 454683 edges, 681 markings/sec, 210 secs
lola: 179540 markings, 462407 edges, 650 markings/sec, 215 secs
lola: 183764 markings, 474177 edges, 845 markings/sec, 220 secs
lola: 190137 markings, 494772 edges, 1275 markings/sec, 225 secs
lola: 193392 markings, 503045 edges, 651 markings/sec, 230 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 236 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 884 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: 2022 markings, 2779 edges, 404 markings/sec, 0 secs
lola: 3642 markings, 6152 edges, 324 markings/sec, 5 secs
lola: 5184 markings, 9317 edges, 308 markings/sec, 10 secs
lola: 6726 markings, 12822 edges, 308 markings/sec, 15 secs
lola: 8025 markings, 15705 edges, 260 markings/sec, 20 secs
lola: 9280 markings, 18393 edges, 251 markings/sec, 25 secs
lola: 10623 markings, 21397 edges, 269 markings/sec, 30 secs
lola: 12173 markings, 24937 edges, 310 markings/sec, 35 secs
lola: 13686 markings, 28540 edges, 303 markings/sec, 40 secs
lola: 14990 markings, 31470 edges, 261 markings/sec, 45 secs
lola: 16231 markings, 34472 edges, 248 markings/sec, 50 secs
lola: 17464 markings, 37367 edges, 247 markings/sec, 55 secs
lola: 18705 markings, 40105 edges, 248 markings/sec, 60 secs
lola: 19946 markings, 42825 edges, 248 markings/sec, 65 secs
lola: 21100 markings, 45578 edges, 231 markings/sec, 70 secs
lola: 22579 markings, 48752 edges, 296 markings/sec, 75 secs
lola: 24032 markings, 52181 edges, 291 markings/sec, 80 secs
lola: 25571 markings, 56020 edges, 308 markings/sec, 85 secs
lola: 26994 markings, 59493 edges, 285 markings/sec, 90 secs
lola: 28300 markings, 62691 edges, 261 markings/sec, 95 secs
lola: 29630 markings, 65655 edges, 266 markings/sec, 100 secs
lola: 30702 markings, 68271 edges, 214 markings/sec, 105 secs
lola: 31906 markings, 71133 edges, 241 markings/sec, 110 secs
lola: 32960 markings, 73740 edges, 211 markings/sec, 115 secs
lola: 34084 markings, 76420 edges, 225 markings/sec, 120 secs
lola: 35035 markings, 78825 edges, 190 markings/sec, 125 secs
lola: 36098 markings, 81316 edges, 213 markings/sec, 130 secs
lola: 37223 markings, 83912 edges, 225 markings/sec, 135 secs
lola: 38323 markings, 86519 edges, 220 markings/sec, 140 secs
lola: 39405 markings, 88953 edges, 216 markings/sec, 145 secs
lola: 40675 markings, 91959 edges, 254 markings/sec, 150 secs
lola: 41768 markings, 94622 edges, 219 markings/sec, 155 secs
lola: 43205 markings, 97805 edges, 287 markings/sec, 160 secs
lola: 44472 markings, 100524 edges, 253 markings/sec, 165 secs
lola: 45819 markings, 103644 edges, 269 markings/sec, 170 secs
lola: 47139 markings, 107058 edges, 264 markings/sec, 175 secs
lola: 48418 markings, 110392 edges, 256 markings/sec, 180 secs
lola: 49728 markings, 113759 edges, 262 markings/sec, 185 secs
lola: 51106 markings, 117234 edges, 276 markings/sec, 190 secs
lola: 52531 markings, 120760 edges, 285 markings/sec, 195 secs
lola: 53888 markings, 123990 edges, 271 markings/sec, 200 secs
lola: 54972 markings, 126761 edges, 217 markings/sec, 205 secs
lola: 56209 markings, 129652 edges, 247 markings/sec, 210 secs
lola: 57479 markings, 132589 edges, 254 markings/sec, 215 secs
lola: 58556 markings, 135243 edges, 215 markings/sec, 220 secs
lola: 59870 markings, 138411 edges, 263 markings/sec, 225 secs
lola: 60887 markings, 141008 edges, 203 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SORTI_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 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: 1827 markings, 2177 edges, 365 markings/sec, 0 secs
lola: 3553 markings, 4093 edges, 345 markings/sec, 5 secs
lola: 5233 markings, 5893 edges, 336 markings/sec, 10 secs
lola: 6947 markings, 7717 edges, 343 markings/sec, 15 secs
lola: 9369 markings, 11548 edges, 484 markings/sec, 20 secs
lola: 12604 markings, 18858 edges, 647 markings/sec, 25 secs
lola: 15421 markings, 25318 edges, 563 markings/sec, 30 secs
lola: 17981 markings, 31285 edges, 512 markings/sec, 35 secs
lola: 20168 markings, 36521 edges, 437 markings/sec, 40 secs
lola: 22691 markings, 42337 edges, 505 markings/sec, 45 secs
lola: 24907 markings, 47617 edges, 443 markings/sec, 50 secs
lola: 26829 markings, 52124 edges, 384 markings/sec, 55 secs
lola: 28703 markings, 56537 edges, 375 markings/sec, 60 secs
lola: 30464 markings, 60664 edges, 352 markings/sec, 65 secs
lola: 32144 markings, 64586 edges, 336 markings/sec, 70 secs
lola: 33566 markings, 68005 edges, 284 markings/sec, 75 secs
lola: 35261 markings, 72098 edges, 339 markings/sec, 80 secs
lola: 36907 markings, 75929 edges, 329 markings/sec, 85 secs
lola: 38407 markings, 79392 edges, 300 markings/sec, 90 secs
lola: 39808 markings, 82887 edges, 280 markings/sec, 95 secs
lola: 41593 markings, 87067 edges, 357 markings/sec, 100 secs
lola: 43177 markings, 90734 edges, 317 markings/sec, 105 secs
lola: 44472 markings, 93817 edges, 259 markings/sec, 110 secs
lola: 45987 markings, 97463 edges, 303 markings/sec, 115 secs
lola: 47320 markings, 100496 edges, 267 markings/sec, 120 secs
lola: 48557 markings, 103589 edges, 247 markings/sec, 125 secs
lola: 50031 markings, 106972 edges, 295 markings/sec, 130 secs
lola: 51112 markings, 109674 edges, 216 markings/sec, 135 secs
lola: 52497 markings, 112832 edges, 277 markings/sec, 140 secs
lola: 53695 markings, 115827 edges, 240 markings/sec, 145 secs
lola: 55279 markings, 119479 edges, 317 markings/sec, 150 secs
lola: 56510 markings, 122343 edges, 246 markings/sec, 155 secs
lola: 57977 markings, 125913 edges, 293 markings/sec, 160 secs
lola: 59293 markings, 128889 edges, 263 markings/sec, 165 secs
lola: 60587 markings, 132124 edges, 259 markings/sec, 170 secs
lola: 61871 markings, 135017 edges, 257 markings/sec, 175 secs
lola: 63139 markings, 138187 edges, 254 markings/sec, 180 secs
lola: 64385 markings, 140982 edges, 249 markings/sec, 185 secs
lola: 65609 markings, 144042 edges, 245 markings/sec, 190 secs
lola: 66476 markings, 146203 edges, 173 markings/sec, 195 secs
lola: 67805 markings, 149209 edges, 266 markings/sec, 200 secs
lola: 68724 markings, 151506 edges, 184 markings/sec, 205 secs
lola: 69797 markings, 153863 edges, 215 markings/sec, 210 secs
lola: 70949 markings, 156743 edges, 230 markings/sec, 215 secs
lola: 71947 markings, 159205 edges, 200 markings/sec, 220 secs
lola: 73293 markings, 162274 edges, 269 markings/sec, 225 secs
lola: 74180 markings, 164491 edges, 177 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SORTI_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 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: 1592 markings, 1862 edges, 318 markings/sec, 0 secs
lola: 3197 markings, 3717 edges, 321 markings/sec, 5 secs
lola: 4743 markings, 5363 edges, 309 markings/sec, 10 secs
lola: 6263 markings, 6993 edges, 304 markings/sec, 15 secs
lola: 7755 markings, 8585 edges, 298 markings/sec, 20 secs
lola: 10451 markings, 13970 edges, 539 markings/sec, 25 secs
lola: 13579 markings, 21111 edges, 626 markings/sec, 30 secs
lola: 16258 markings, 27376 edges, 536 markings/sec, 35 secs
lola: 18864 markings, 33493 edges, 521 markings/sec, 40 secs
lola: 21487 markings, 39578 edges, 525 markings/sec, 45 secs
lola: 23685 markings, 44785 edges, 440 markings/sec, 50 secs
lola: 26127 markings, 50369 edges, 488 markings/sec, 55 secs
lola: 28283 markings, 55487 edges, 431 markings/sec, 60 secs
lola: 30337 markings, 60347 edges, 411 markings/sec, 65 secs
lola: 32329 markings, 65049 edges, 398 markings/sec, 70 secs
lola: 34241 markings, 69548 edges, 382 markings/sec, 75 secs
lola: 36031 markings, 73739 edges, 358 markings/sec, 80 secs
lola: 37653 markings, 77769 edges, 324 markings/sec, 85 secs
lola: 39492 markings, 82104 edges, 368 markings/sec, 90 secs
lola: 41271 markings, 86262 edges, 356 markings/sec, 95 secs
lola: 42917 markings, 90084 edges, 329 markings/sec, 100 secs
lola: 44312 markings, 93541 edges, 279 markings/sec, 105 secs
lola: 45995 markings, 97483 edges, 337 markings/sec, 110 secs
lola: 47374 markings, 100631 edges, 276 markings/sec, 115 secs
lola: 48625 markings, 103759 edges, 250 markings/sec, 120 secs
lola: 50005 markings, 106907 edges, 276 markings/sec, 125 secs
lola: 51059 markings, 109542 edges, 211 markings/sec, 130 secs
lola: 52533 markings, 112922 edges, 295 markings/sec, 135 secs
lola: 53701 markings, 115842 edges, 234 markings/sec, 140 secs
lola: 55247 markings, 119399 edges, 309 markings/sec, 145 secs
lola: 56357 markings, 122041 edges, 222 markings/sec, 150 secs
lola: 57906 markings, 125735 edges, 310 markings/sec, 155 secs
lola: 59178 markings, 128623 edges, 254 markings/sec, 160 secs
lola: 60479 markings, 131854 edges, 260 markings/sec, 165 secs
lola: 61754 markings, 134737 edges, 255 markings/sec, 170 secs
lola: 63029 markings, 137912 edges, 255 markings/sec, 175 secs
lola: 64104 markings, 140417 edges, 215 markings/sec, 180 secs
lola: 65535 markings, 143857 edges, 286 markings/sec, 185 secs
lola: 66556 markings, 146368 edges, 204 markings/sec, 190 secs
lola: 67979 markings, 149644 edges, 285 markings/sec, 195 secs
lola: 69001 markings, 152199 edges, 204 markings/sec, 200 secs
lola: 70343 markings, 155228 edges, 268 markings/sec, 205 secs
lola: 71395 markings, 157858 edges, 210 markings/sec, 210 secs
lola: 72623 markings, 160599 edges, 246 markings/sec, 215 secs
lola: 73770 markings, 163466 edges, 229 markings/sec, 220 secs
lola: 74709 markings, 165784 edges, 188 markings/sec, 225 secs
lola: 77838 markings, 171891 edges, 626 markings/sec, 230 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 236 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 884 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: 1040 markings, 1409 edges, 208 markings/sec, 0 secs
lola: 1877 markings, 2803 edges, 167 markings/sec, 5 secs
lola: 3812 markings, 5313 edges, 387 markings/sec, 10 secs
lola: 5590 markings, 7271 edges, 356 markings/sec, 15 secs
lola: 7058 markings, 8819 edges, 294 markings/sec, 20 secs
lola: 8627 markings, 10478 edges, 314 markings/sec, 25 secs
lola: 10286 markings, 12227 edges, 332 markings/sec, 30 secs
lola: 13002 markings, 16783 edges, 543 markings/sec, 35 secs
lola: 16121 markings, 23940 edges, 624 markings/sec, 40 secs
lola: 18996 markings, 30547 edges, 575 markings/sec, 45 secs
lola: 21639 markings, 36720 edges, 529 markings/sec, 50 secs
lola: 24054 markings, 42285 edges, 483 markings/sec, 55 secs
lola: 26405 markings, 47912 edges, 470 markings/sec, 60 secs
lola: 28479 markings, 52837 edges, 415 markings/sec, 65 secs
lola: 30422 markings, 57396 edges, 389 markings/sec, 70 secs
lola: 32306 markings, 61834 edges, 377 markings/sec, 75 secs
lola: 34130 markings, 66119 edges, 365 markings/sec, 80 secs
lola: 35956 markings, 70406 edges, 365 markings/sec, 85 secs
lola: 37604 markings, 74245 edges, 330 markings/sec, 90 secs
lola: 38943 markings, 77433 edges, 268 markings/sec, 95 secs
lola: 40579 markings, 81398 edges, 327 markings/sec, 100 secs
lola: 42186 markings, 85129 edges, 321 markings/sec, 105 secs
lola: 43578 markings, 88319 edges, 278 markings/sec, 110 secs
lola: 44958 markings, 91769 edges, 276 markings/sec, 115 secs
lola: 46496 markings, 95321 edges, 308 markings/sec, 120 secs
lola: 47637 markings, 98073 edges, 228 markings/sec, 125 secs
lola: 49178 markings, 101730 edges, 308 markings/sec, 130 secs
lola: 50536 markings, 104826 edges, 272 markings/sec, 135 secs
lola: 51788 markings, 107956 edges, 250 markings/sec, 140 secs
lola: 53174 markings, 111119 edges, 277 markings/sec, 145 secs
lola: 54284 markings, 113894 edges, 222 markings/sec, 150 secs
lola: 55664 markings, 117039 edges, 276 markings/sec, 155 secs
lola: 56742 markings, 119734 edges, 216 markings/sec, 160 secs
lola: 58128 markings, 122891 edges, 277 markings/sec, 165 secs
lola: 59166 markings, 125486 edges, 208 markings/sec, 170 secs
lola: 60500 markings, 128510 edges, 267 markings/sec, 175 secs
lola: 61536 markings, 131100 edges, 207 markings/sec, 180 secs
lola: 62744 markings, 133806 edges, 242 markings/sec, 185 secs
lola: 63824 markings, 136506 edges, 216 markings/sec, 190 secs
lola: 65022 markings, 139184 edges, 240 markings/sec, 195 secs
lola: 66328 markings, 142449 edges, 261 markings/sec, 200 secs
lola: 67579 markings, 145277 edges, 250 markings/sec, 205 secs
lola: 68848 markings, 148429 edges, 254 markings/sec, 210 secs
lola: 69878 markings, 150893 edges, 206 markings/sec, 215 secs
lola: 71312 markings, 154266 edges, 287 markings/sec, 220 secs
lola: 72324 markings, 156796 edges, 202 markings/sec, 225 secs
lola: 73706 markings, 159925 edges, 276 markings/sec, 230 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 236 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 884 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: 4472 markings, 6456 edges, 894 markings/sec, 0 secs
lola: 18768 markings, 30356 edges, 2859 markings/sec, 5 secs
lola: 33010 markings, 53294 edges, 2848 markings/sec, 10 secs
lola: 47430 markings, 77473 edges, 2884 markings/sec, 15 secs
lola: 61824 markings, 101879 edges, 2879 markings/sec, 20 secs
lola: 76196 markings, 126182 edges, 2874 markings/sec, 25 secs
lola: 90660 markings, 150816 edges, 2893 markings/sec, 30 secs
lola: 104534 markings, 174195 edges, 2775 markings/sec, 35 secs
lola: 118550 markings, 197919 edges, 2803 markings/sec, 40 secs
lola: 132560 markings, 221828 edges, 2802 markings/sec, 45 secs
lola: 146678 markings, 245775 edges, 2824 markings/sec, 50 secs
lola: 161026 markings, 270026 edges, 2870 markings/sec, 55 secs
lola: 175402 markings, 294406 edges, 2875 markings/sec, 60 secs
lola: 189720 markings, 318731 edges, 2864 markings/sec, 65 secs
lola: 203592 markings, 340139 edges, 2774 markings/sec, 70 secs
lola: 206266 markings, 345110 edges, 535 markings/sec, 75 secs
lola: 207094 markings, 346352 edges, 166 markings/sec, 80 secs
lola: 218732 markings, 365033 edges, 2328 markings/sec, 85 secs
lola: 233004 markings, 388144 edges, 2854 markings/sec, 90 secs
lola: 247254 markings, 411947 edges, 2850 markings/sec, 95 secs
lola: 261742 markings, 436371 edges, 2898 markings/sec, 100 secs
lola: 276104 markings, 460689 edges, 2872 markings/sec, 105 secs
lola: 290372 markings, 484910 edges, 2854 markings/sec, 110 secs
lola: 304298 markings, 508446 edges, 2785 markings/sec, 115 secs
lola: 316762 markings, 529520 edges, 2493 markings/sec, 120 secs
lola: 329490 markings, 551282 edges, 2546 markings/sec, 125 secs
lola: 342308 markings, 572916 edges, 2564 markings/sec, 130 secs
lola: 355068 markings, 594694 edges, 2552 markings/sec, 135 secs
lola: 367862 markings, 616225 edges, 2559 markings/sec, 140 secs
lola: 380654 markings, 638019 edges, 2558 markings/sec, 145 secs
lola: 393417 markings, 659746 edges, 2553 markings/sec, 150 secs
lola: 405982 markings, 679141 edges, 2513 markings/sec, 155 secs
lola: 407780 markings, 682311 edges, 360 markings/sec, 160 secs
lola: 408620 markings, 683516 edges, 168 markings/sec, 165 secs
lola: 422094 markings, 705332 edges, 2695 markings/sec, 170 secs
lola: 436297 markings, 728343 edges, 2841 markings/sec, 175 secs
lola: 450302 markings, 751747 edges, 2801 markings/sec, 180 secs
lola: 464339 markings, 775502 edges, 2807 markings/sec, 185 secs
lola: 478594 markings, 799633 edges, 2851 markings/sec, 190 secs
lola: 492580 markings, 823341 edges, 2797 markings/sec, 195 secs
lola: 506614 markings, 847086 edges, 2807 markings/sec, 200 secs
lola: 520540 markings, 870719 edges, 2785 markings/sec, 205 secs
lola: 534502 markings, 894378 edges, 2792 markings/sec, 210 secs
lola: 548482 markings, 918033 edges, 2796 markings/sec, 215 secs
lola: 562902 markings, 942593 edges, 2884 markings/sec, 220 secs
lola: 577190 markings, 966842 edges, 2858 markings/sec, 225 secs
lola: 591630 markings, 991206 edges, 2888 markings/sec, 230 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 236 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 884 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: 3480 markings, 5854 edges, 696 markings/sec, 0 secs
lola: 6887 markings, 13226 edges, 681 markings/sec, 5 secs
lola: 10077 markings, 20301 edges, 638 markings/sec, 10 secs
lola: 13517 markings, 28119 edges, 688 markings/sec, 15 secs
lola: 16684 markings, 35423 edges, 633 markings/sec, 20 secs
lola: 19645 markings, 42369 edges, 592 markings/sec, 25 secs
lola: 22565 markings, 48914 edges, 584 markings/sec, 30 secs
lola: 25660 markings, 55882 edges, 619 markings/sec, 35 secs
lola: 28457 markings, 62887 edges, 559 markings/sec, 40 secs
lola: 31041 markings, 68939 edges, 517 markings/sec, 45 secs
lola: 33698 markings, 75187 edges, 531 markings/sec, 50 secs
lola: 36315 markings, 81642 edges, 523 markings/sec, 55 secs
lola: 38922 markings, 87949 edges, 521 markings/sec, 60 secs
lola: 41597 markings, 94069 edges, 535 markings/sec, 65 secs
lola: 44587 markings, 100972 edges, 598 markings/sec, 70 secs
lola: 47602 markings, 107564 edges, 603 markings/sec, 75 secs
lola: 50619 markings, 115076 edges, 603 markings/sec, 80 secs
lola: 53605 markings, 122743 edges, 597 markings/sec, 85 secs
lola: 56607 markings, 130143 edges, 600 markings/sec, 90 secs
lola: 59532 markings, 137207 edges, 585 markings/sec, 95 secs
lola: 62569 markings, 144390 edges, 607 markings/sec, 100 secs
lola: 65631 markings, 152107 edges, 612 markings/sec, 105 secs
lola: 68660 markings, 159557 edges, 606 markings/sec, 110 secs
lola: 71624 markings, 166902 edges, 593 markings/sec, 115 secs
lola: 74570 markings, 174243 edges, 589 markings/sec, 120 secs
lola: 77598 markings, 181404 edges, 606 markings/sec, 125 secs
lola: 81124 markings, 189460 edges, 705 markings/sec, 130 secs
lola: 83681 markings, 195462 edges, 511 markings/sec, 135 secs
lola: 86806 markings, 202438 edges, 625 markings/sec, 140 secs
lola: 89959 markings, 209770 edges, 631 markings/sec, 145 secs
lola: 93143 markings, 218197 edges, 637 markings/sec, 150 secs
lola: 96455 markings, 226861 edges, 662 markings/sec, 155 secs
lola: 99644 markings, 235032 edges, 638 markings/sec, 160 secs
lola: 102641 markings, 242496 edges, 599 markings/sec, 165 secs
lola: 105543 markings, 249700 edges, 580 markings/sec, 170 secs
lola: 108464 markings, 256720 edges, 584 markings/sec, 175 secs
lola: 111386 markings, 263574 edges, 584 markings/sec, 180 secs
lola: 114549 markings, 271610 edges, 633 markings/sec, 185 secs
lola: 117718 markings, 279745 edges, 634 markings/sec, 190 secs
lola: 120847 markings, 287689 edges, 626 markings/sec, 195 secs
lola: 123893 markings, 295528 edges, 609 markings/sec, 200 secs
lola: 126916 markings, 302866 edges, 605 markings/sec, 205 secs
lola: 129628 markings, 309866 edges, 542 markings/sec, 210 secs
lola: 132405 markings, 316780 edges, 555 markings/sec, 215 secs
lola: 135120 markings, 323521 edges, 543 markings/sec, 220 secs
lola: 137965 markings, 330393 edges, 569 markings/sec, 225 secs
lola: 140826 markings, 336956 edges, 572 markings/sec, 230 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 236 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 884 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 15 will run for 472 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 884 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: RESULT
lola:
SUMMARY: 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 1
FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-0 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-15 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496356189697

--------------------
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-V80P20N50"
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-V80P20N50.tgz
mv S_BridgeAndVehicles-PT-V80P20N50 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-V80P20N50, 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-149441074600542"
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 ;