MCC'2017 - Execution of r008-csrt-149436126300479

About the Execution of LoLA for BridgeAndVehicles-PT-V50P20N20

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
834.710	3539520.00	3550020.00	195.10	? 50 ? ? 1 ? 1 ? ? 1 ? 1 50 1 ? ?	normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be
.......
======
Generated by BenchKit 2-3254
Executing tool lola
Input is BridgeAndVehicl
Time confinement
Memory confinement
Number of cores is 4
Run identifier
============================

--------------------
content from stdout:

=== Data for post analysis

The expected result
NUM_VECTOR

here is the order used
FORMULA_NAME BridgeAndVehicl
FORMULA_NAME BridgeAndVehicl
FORMULA_NAME BridgeAndVehicl
FORMULA_NAME BridgeAndVehicl
FORMULA_NAME BridgeAndVehicl
FORMULA_NAME BridgeAndVehicl
FORMULA_NAME BridgeAndVehicl
FORMULA_NAME BridgeAndVehicl
FORMULA_NAME BridgeAndVehicl
FORMULA_NAME BridgeAndVehicl
FORMULA_NAME BridgeAndVehicl
FORMULA_NAME BridgeAndVehicl
FORMULA_NAME BridgeAndVehicl
FORMULA_NAME BridgeAndVehicl
FORMULA_NAME BridgeAndVehicl
FORMULA_NAME BridgeAndVehicl

=== Now, execution

BK_START 1494614563784

Time: 3600 - MCC
----- Start make prepare
checking for too many tokens
----- Start make result
UpperBounds @ BridgeAndVehic
----- Start make result
lola: LoLA will run
lola: NET
lola: reading net
lola: finished parsing
lola: closed net
lola: 2486/65536
lola: preprocessing...
lola: finding significant
lola: 138 places,
lola: computing forward-conflicting
lola: computing back-conflicting
lola: 2693 transition
lola: TASK
lola: reading formula
lola: MAX(VIDANGE_1
lola: computing a
lola: RUNNING
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 524
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 12131 markings,
lola: 24124 markings,
lola: 35619 markings,
lola: 47710 markings,
lola: 58824 markings,
lola: 69635 markings,
lola: 81824 markings,
lola: 91610 markings,
lola: 101319 markings,
lola: 110553 markings,
lola: 120986 markings,
lola: 131891 markings,
lola: 144667 markings,
lola: 155282 markings,
lola: 165468 markings,
lola: 176425 markings,
lola: 186524 markings,
lola: 197060 markings,
lola: 207522 markings,
lola: 218074 markings,
lola: 229096 markings,
lola: 241778 markings,
lola: 252353 markings,
lola: 262424 markings,
lola: 272426 markings,
lola: 282865 markings,
lola: 293481 markings,
lola: 302303 markings,
lola: 311213 markings,
lola: 321612 markings,
lola: 332905 markings,
lola: 344362 markings,
lola: 353726 markings,
lola: 362992 markings,
lola: 372825 markings,
lola: 385436 markings,
lola: 396517 markings,
lola: 406644 markings,
lola: 416575 markings,
lola: 426343 markings,
lola: 436215 markings,
lola: 446472 markings,
lola: 457300 markings,
lola: 468244 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 524
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum
lola: ======================
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 524
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 25557 markings,
lola: 63865 markings,
lola: 95595 markings,
lola: 124869 markings,
lola: 147444 markings,
lola: 181983 markings,
lola: 210917 markings,
lola: 237276 markings,
lola: 270869 markings,
lola: 299859 markings,
lola: 325046 markings,
lola: 357607 markings,
lola: 389129 markings,
lola: 417836 markings,
lola: 443830 markings,
lola: 471691 markings,
lola: 502070 markings,
lola: 534192 markings,
lola: 567639 markings,
lola: 602775 markings,
lola: 631777 markings,
lola: 659462 markings,
lola: 690079 markings,
lola: 717739 markings,
lola: 739527 markings,
lola: 770893 markings,
lola: 794967 markings,
lola: 818055 markings,
lola: 852317 markings,
lola: 874108 markings,
lola: 897835 markings,
lola: 919514 markings,
lola: 941253 markings,
lola: 975098 markings,
lola: 995837 markings,
lola: 1025842 markings,
lola: 1054246 markings,
lola: 1078225 markings,
lola: 1111169 markings,
lola: 1132269 markings,
lola: 1163415 markings,
lola: 1186768 markings,
lola: 1210169 markings,
lola: 1240962 markings,
lola: 1263107 markings,
lola: 1295201 markings,
lola: 1317673 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 524
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum
lola: ======================
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 524
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 24483 markings,
lola: 60570 markings,
lola: 87970 markings,
lola: 120947 markings,
lola: 144172 markings,
lola: 179703 markings,
lola: 208892 markings,
lola: 237111 markings,
lola: 270322 markings,
lola: 298077 markings,
lola: 325646 markings,
lola: 358960 markings,
lola: 392800 markings,
lola: 425504 markings,
lola: 455314 markings,
lola: 483691 markings,
lola: 513703 markings,
lola: 543175 markings,
lola: 573992 markings,
lola: 607842 markings,
lola: 638610 markings,
lola: 667998 markings,
lola: 698385 markings,
lola: 725174 markings,
lola: 747146 markings,
lola: 780372 markings,
lola: 801919 markings,
lola: 823616 markings,
lola: 851846 markings,
lola: 879516 markings,
lola: 895413 markings,
lola: 918547 markings,
lola: 939537 markings,
lola: 964944 markings,
lola: 995049 markings,
lola: 1016034 markings,
lola: 1049488 markings,
lola: 1074484 markings,
lola: 1100646 markings,
lola: 1133310 markings,
lola: 1156104 markings,
lola: 1188694 markings,
lola: 1210872 markings,
lola: 1243086 markings,
lola: 1267606 markings,
lola: 1298430 markings,
lola: 1325092 markings,
lola: 1353840 markings,
lola: 1380150 markings,
lola: 1411548 markings,
lola: 1435878 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 524
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum
lola: ======================
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 524
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum
lola: ======================
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 524
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum
lola: ======================
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 524
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 25259 markings,
lola: 61495 markings,
lola: 85292 markings,
lola: 120064 markings,
lola: 142587 markings,
lola: 177445 markings,
lola: 207254 markings,
lola: 238451 markings,
lola: 273022 markings,
lola: 301173 markings,
lola: 327039 markings,
lola: 359098 markings,
lola: 392345 markings,
lola: 425129 markings,
lola: 456552 markings,
lola: 488652 markings,
lola: 521122 markings,
lola: 554140 markings,
lola: 585836 markings,
lola: 616467 markings,
lola: 648471 markings,
lola: 681894 markings,
lola: 715023 markings,
lola: 740586 markings,
lola: 767777 markings,
lola: 797948 markings,
lola: 821293 markings,
lola: 852526 markings,
lola: 882028 markings,
lola: 901359 markings,
lola: 925574 markings,
lola: 949670 markings,
lola: 985788 markings,
lola: 1009773 markings,
lola: 1038290 markings,
lola: 1068466 markings,
lola: 1092920 markings,
lola: 1128346 markings,
lola: 1152196 markings,
lola: 1186337 markings,
lola: 1210863 markings,
lola: 1244353 markings,
lola: 1268907 markings,
lola: 1300640 markings,
lola: 1326181 markings,
lola: 1358524 markings,
lola: 1382668 markings,
lola: 1412226 markings,
lola: 1434702 markings,
lola: 1465052 markings,
lola: 1489342 markings,
lola: 1521344 markings,
lola: 1552858 markings,
lola: 1577190 markings,
lola: 1607468 markings,
lola: 1638459 markings,
lola: 1665140 markings,
lola: 1692254 markings,
lola: 1721638 markings,
lola: 1750392 markings,
lola: 1779211 markings,
lola: 1807451 markings,
lola: 1829389 markings,
lola: 1848144 markings,
lola: 1883447 markings,
lola: 1904383 markings,
lola: 1927485 markings,
lola: 1951960 markings,
lola: 1985709 markings,
lola: 2011236 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 524
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 77167 markings,
lola: 156368 markings,
lola: 234242 markings,
lola: 309118 markings,
lola: 386632 markings,
lola: 461722 markings,
lola: 537090 markings,
lola: 609842 markings,
lola: 683170 markings,
lola: 730822 markings,
lola: 740038 markings,
lola: 748208 markings,
lola: 756438 markings,
lola: 764738 markings,
lola: 775822 markings,
lola: 784212 markings,
lola: 792558 markings,
lola: 800748 markings,
lola: 809222 markings,
lola: 819900 markings,
lola: 827434 markings,
lola: 835006 markings,
lola: 842616 markings,
lola: 850466 markings,
lola: 860658 markings,
lola: 868700 markings,
lola: 876288 markings,
lola: 883878 markings,
lola: 893072 markings,
lola: 901770 markings,
lola: 909394 markings,
lola: 917386 markings,
lola: 925696 markings,
lola: 937014 markings,
lola: 944850 markings,
lola: 952964 markings,
lola: 961244 markings,
lola: 971892 markings,
lola: 980324 markings,
lola: 988390 markings,
lola: 996560 markings,
lola: 1006870 markings,
lola: 1015306 markings,
lola: 1023404 markings,
lola: 1031542 markings,
lola: 1041746 markings,
lola: 1050266 markings,
lola: 1058514 markings,
lola: 1066924 markings,
lola: 1077776 markings,
lola: 1085222 markings,
lola: 1092808 markings,
lola: 1100452 markings,
lola: 1110252 markings,
lola: 1117760 markings,
lola: 1125876 markings,
lola: 1133596 markings,
lola: 1143136 markings,
lola: 1150732 markings,
lola: 1158532 markings,
lola: 1168584 markings,
lola: 1176852 markings,
lola: 1184428 markings,
lola: 1192040 markings,
lola: 1201644 markings,
lola: 1209874 markings,
lola: 1218148 markings,
lola: 1228130 markings,
lola: 1236198 markings,
lola: 1244476 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 524
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 24790 markings,
lola: 61635 markings,
lola: 89153 markings,
lola: 122424 markings,
lola: 147156 markings,
lola: 182915 markings,
lola: 210978 markings,
lola: 237489 markings,
lola: 269854 markings,
lola: 299641 markings,
lola: 325995 markings,
lola: 358147 markings,
lola: 388952 markings,
lola: 415353 markings,
lola: 443684 markings,
lola: 472903 markings,
lola: 502689 markings,
lola: 531635 markings,
lola: 559721 markings,
lola: 587543 markings,
lola: 615515 markings,
lola: 642125 markings,
lola: 671146 markings,
lola: 700005 markings,
lola: 726203 markings,
lola: 746560 markings,
lola: 777635 markings,
lola: 801105 markings,
lola: 825374 markings,
lola: 859037 markings,
lola: 884725 markings,
lola: 905697 markings,
lola: 930252 markings,
lola: 954581 markings,
lola: 990192 markings,
lola: 1012910 markings,
lola: 1044687 markings,
lola: 1072115 markings,
lola: 1095646 markings,
lola: 1130361 markings,
lola: 1153864 markings,
lola: 1188024 markings,
lola: 1210127 markings,
lola: 1237869 markings,
lola: 1262358 markings,
lola: 1287102 markings,
lola: 1318177 markings,
lola: 1343205 markings,
lola: 1373743 markings,
lola: 1400535 markings,
lola: 1429394 markings,
lola: 1460320 markings,
lola: 1485102 markings,
lola: 1516692 markings,
lola: 1541095 markings,
lola: 1570581 markings,
lola: 1600798 markings,
lola: 1626144 markings,
lola: 1653817 markings,
lola: 1682790 markings,
lola: 1711517 markings,
lola: 1739196 markings,
lola: 1765787 markings,
lola: 1790745 markings,
lola: 1815349 markings,
lola: 1833765 markings,
lola: 1852510 markings,
lola: 1884622 markings,
lola: 1905406 markings,
lola: 1928157 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 524
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 22330 markings,
lola: 42242 markings,
lola: 60893 markings,
lola: 78300 markings,
lola: 96067 markings,
lola: 112983 markings,
lola: 129997 markings,
lola: 147405 markings,
lola: 164648 markings,
lola: 182450 markings,
lola: 203627 markings,
lola: 222900 markings,
lola: 241209 markings,
lola: 261308 markings,
lola: 281539 markings,
lola: 301041 markings,
lola: 318174 markings,
lola: 340028 markings,
lola: 360793 markings,
lola: 380593 markings,
lola: 399978 markings,
lola: 419460 markings,
lola: 443094 markings,
lola: 463840 markings,
lola: 484437 markings,
lola: 503750 markings,
lola: 522305 markings,
lola: 547043 markings,
lola: 568628 markings,
lola: 588050 markings,
lola: 607649 markings,
lola: 628389 markings,
lola: 647283 markings,
lola: 670826 markings,
lola: 693544 markings,
lola: 714251 markings,
lola: 733899 markings,
lola: 752126 markings,
lola: 771735 markings,
lola: 793359 markings,
lola: 817270 markings,
lola: 840108 markings,
lola: 861078 markings,
lola: 881173 markings,
lola: 900962 markings,
lola: 922579 markings,
lola: 940612 markings,
lola: 964856 markings,
lola: 988462 markings,
lola: 1010824 markings,
lola: 1031575 markings,
lola: 1051536 markings,
lola: 1073235 markings,
lola: 1089254 markings,
lola: 1109422 markings,
lola: 1125763 markings,
lola: 1149768 markings,
lola: 1172545 markings,
lola: 1194221 markings,
lola: 1217125 markings,
lola: 1237326 markings,
lola: 1256524 markings,
lola: 1277684 markings,
lola: 1294410 markings,
lola: 1315477 markings,
lola: 1331056 markings,
lola: 1354058 markings,
lola: 1378326 markings,
lola: 1400408 markings,
lola: 1421368 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 524
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum
lola: ======================
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 524
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 72512 markings,
lola: 148408 markings,
lola: 222734 markings,
lola: 295526 markings,
lola: 366290 markings,
lola: 434382 markings,
lola: 445910 markings,
lola: 454192 markings,
lola: 462712 markings,
lola: 471106 markings,
lola: 480636 markings,
lola: 489750 markings,
lola: 497836 markings,
lola: 507380 markings,
lola: 515898 markings,
lola: 526674 markings,
lola: 535768 markings,
lola: 543914 markings,
lola: 552372 markings,
lola: 560126 markings,
lola: 571326 markings,
lola: 580174 markings,
lola: 589048 markings,
lola: 597498 markings,
lola: 608576 markings,
lola: 617092 markings,
lola: 626410 markings,
lola: 635384 markings,
lola: 646170 markings,
lola: 654796 markings,
lola: 663622 markings,
lola: 672216 markings,
lola: 683020 markings,
lola: 691520 markings,
lola: 700290 markings,
lola: 708854 markings,
lola: 719392 markings,
lola: 727764 markings,
lola: 736536 markings,
lola: 744576 markings,
lola: 755286 markings,
lola: 764130 markings,
lola: 772998 markings,
lola: 782586 markings,
lola: 791872 markings,
lola: 800540 markings,
lola: 809022 markings,
lola: 819270 markings,
lola: 827746 markings,
lola: 836518 markings,
lola: 844762 markings,
lola: 854370 markings,
lola: 862432 markings,
lola: 870966 markings,
lola: 882384 markings,
lola: 891684 markings,
lola: 900574 markings,
lola: 910980 markings,
lola: 920054 markings,
lola: 928700 markings,
lola: 939000 markings,
lola: 947782 markings,
lola: 956586 markings,
lola: 966566 markings,
lola: 974558 markings,
lola: 982440 markings,
lola: 992082 markings,
lola: 1000980 markings,
lola: 1010564 markings,
lola: 1019748 markings,
lola: 1028532 markings,
lola: 1038542 markings,
lola: 1047254 markings,
lola: 1056938 markings,
lola: 1065740 markings,
lola: 1074430 markings,
lola: 1084276 markings,
lola: 1092996 markings,
lola: 1102620 markings,
lola: 1112550 markings,
lola: 1122432 markings,
lola: 1130278 markings,
lola: 1136808 markings,
lola: 1143682 markings,
lola: 1150502 markings,
lola: 1156820 markings,
lola: 1165750 markings,
lola: 1173550 markings,
lola: 1182798 markings,
lola: 1193590 markings,
lola: 1204448 markings,
lola: 1212092 markings,
lola: 1220350 markings,
lola: 1228686 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 524
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum
lola: ======================
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 524
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 15197 markings,
lola: 31430 markings,
lola: 45782 markings,
lola: 59534 markings,
lola: 77016 markings,
lola: 92934 markings,
lola: 109340 markings,
lola: 127211 markings,
lola: 142184 markings,
lola: 159982 markings,
lola: 177090 markings,
lola: 192182 markings,
lola: 209106 markings,
lola: 226441 markings,
lola: 243037 markings,
lola: 258742 markings,
lola: 275089 markings,
lola: 291922 markings,
lola: 308681 markings,
lola: 324520 markings,
lola: 340511 markings,
lola: 357304 markings,
lola: 373448 markings,
lola: 390043 markings,
lola: 407290 markings,
lola: 423666 markings,
lola: 438322 markings,
lola: 451700 markings,
lola: 467030 markings,
lola: 482067 markings,
lola: 496423 markings,
lola: 509712 markings,
lola: 527537 markings,
lola: 541552 markings,
lola: 555571 markings,
lola: 572587 markings,
lola: 586083 markings,
lola: 601371 markings,
lola: 616142 markings,
lola: 629282 markings,
lola: 646148 markings,
lola: 660159 markings,
lola: 673060 markings,
lola: 689499 markings,
lola: 702663 markings,
lola: 718720 markings,
lola: 733169 markings,
lola: 747879 markings,
lola: 763699 markings,
lola: 778701 markings,
lola: 794565 markings,
lola: 809892 markings,
lola: 826147 markings,
lola: 841986 markings,
lola: 858091 markings,
lola: 873617 markings,
lola: 887619 markings,
lola: 903447 markings,
lola: 918203 markings,
lola: 934906 markings,
lola: 950718 markings,
lola: 964736 markings,
lola: 981082 markings,
lola: 996641 markings,
lola: 1012297 markings,
lola: 1026586 markings,
lola: 1042249 markings,
lola: 1057805 markings,
lola: 1070985 markings,
lola: 1083285 markings,
lola: 1094322 markings,
lola: 1108697 markings,
lola: 1123954 markings,
lola: 1139535 markings,
lola: 1152317 markings,
lola: 1167101 markings,
lola: 1181204 markings,
lola: 1198955 markings,
lola: 1212049 markings,
lola: 1226787 markings,
lola: 1240749 markings,
lola: 1257854 markings,
lola: 1270762 markings,
lola: 1285099 markings,
lola: 1298720 markings,
lola: 1316143 markings,
lola: 1329607 markings,
lola: 1342715 markings,
lola: 1356247 markings,
lola: 1370723 markings,
lola: 1383230 markings,
lola: 1394897 markings,
lola: 1409097 markings,
lola: 1424318 markings,
lola: 1438689 markings,
lola: 1451952 markings,
lola: 1468942 markings,
lola: 1483200 markings,
lola: 1496622 markings,
lola: 1512750 markings,
lola: 1526761 markings,
lola: 1539928 markings,
lola: 1555904 markings,
lola: 1569300 markings,
lola: 1582537 markings,
lola: 1598147 markings,
lola: 1611933 markings,
lola: 1624774 markings,
lola: 1640622 markings,
lola: 1654379 markings,
lola: 1669994 markings,
lola: 1683636 markings,
lola: 1698297 markings,
lola: 1714153 markings,
lola: 1726736 markings,
lola: 1740228 markings,
lola: 1752099 markings,
lola: 1766539 markings,
lola: 1782474 markings,
lola: 1797117 markings,
lola: 1812454 markings,
lola: 1826500 markings,
lola: 1841544 markings,
lola: 1856245 markings,
lola: 1871208 markings,
lola: 1887079 markings,
lola: 1900945 markings,
lola: 1916123 markings,
lola: 1930141 markings,
lola: 1946127 markings,
lola: 1959265 markings,
lola: 1970583 markings,
lola: 1981807 markings,
lola: 1995844 markings,
lola: 2008862 markings,
lola: 2024265 markings,
lola: 2035526 markings,
lola: 2047046 markings,
lola: 2060299 markings,
lola: 2074266 markings,
lola: 2089207 markings,
lola: 2106854 markings,
lola: 2120780 markings,
lola: 2134840 markings,
lola: 2149353 markings,
lola: 2164149 markings,
lola: 2181944 markings,
lola: 2195404 markings,
lola: 2210295 markings,
lola: 2224062 markings,
lola: 2238323 markings,
lola: 2255956 markings,
lola: 2268879 markings,
lola: 2283894 markings,
lola: 2296359 markings,
lola: 2311366 markings,
lola: 2326146 markings,
lola: 2338541 markings,
lola: 2353506 markings,
lola: 2366512 markings,
lola: 2382549 markings,
lola: 2395116 markings,
lola: 2408634 markings,
lola: 2422087 markings,
lola: 2436841 markings,
lola: 2452906 markings,
lola: 2466094 markings,
lola: 2481232 markings,
lola: 2496616 markings,
lola: 2512394 markings,
lola: 2526707 markings,
lola: 2540541 markings,
lola: 2557171 markings,
lola: 2571192 markings,
lola: 2586133 markings,
lola: 2599690 markings,
lola: 2615384 markings,
lola: 2627275 markings,
lola: 2641273 markings,
lola: 2653799 markings,
lola: 2668680 markings,
lola: 2680394 markings,
lola: 2694765 markings,
lola: 2710212 markings,
lola: 2722739 markings,
lola: 2736475 markings,
lola: 2749255 markings,
lola: 2764799 markings,
lola: local time
lola: Child process
lola: RESULT
lola:
SUMMARY: unknown 50
FORMULA BridgeAndVehicles
FORMULA BridgeAndVehi
FORMULA BridgeAndVehi
FORMULA BridgeAndVehi
FORMULA BridgeAndVehi
FORMULA BridgeAndVehi
FORMULA BridgeAndVehi
FORMULA BridgeAndVehi
FORMULA BridgeAndVehi
FORMULA BridgeAndVehi
FORMULA BridgeAndVehi
FORMULA BridgeAndVehi
FORMULA BridgeAndVehi
FORMULA BridgeAndVehi
FORMULA BridgeAndVehi
FORMULA BridgeAndVehi
----- Kill lola
----- Finished stdout -----

BK_STOP 1494618103304

--------------------
content from stderr:

----- Start make prepare
----- Start make result
----- Start make result
----- Kill lola and
----- Finished stderr -----
ready (probing ssh) =============================================================== es-PT-V50P20N20, examination is UpperBounds is 3600 seconds is 16384 MBytes is r008-csrt-149436126300479 ========================================= generated by BenchKit (invocation template) is a vector of positive values to build the result vector(from text file) es-COL-V50P20N20-UpperBounds-0 es-COL-V50P20N20-UpperBounds-1 es-COL-V50P20N20-UpperBounds-10 es-COL-V50P20N20-UpperBounds-11 es-COL-V50P20N20-UpperBounds-12 es-COL-V50P20N20-UpperBounds-13 es-COL-V50P20N20-UpperBounds-14 es-COL-V50P20N20-UpperBounds-15 es-COL-V50P20N20-UpperBounds-2 es-COL-V50P20N20-UpperBounds-3 es-COL-V50P20N20-UpperBounds-4 es-COL-V50P20N20-UpperBounds-5 es-COL-V50P20N20-UpperBounds-6 es-COL-V50P20N20-UpperBounds-7 es-COL-V50P20N20-UpperBounds-8 es-COL-V50P20N20-UpperBounds-9 of the tool begins stdout ----- stdout ----- les-PT-V50P20N20 @ 3540 seconds stdout ----- for 3540 seconds at most (--timelimit) from model.pnml.lola file model.pnml.lola symbol table entries, 36 collisions places 2348 transitions, 131 significant places sets sets conflict sets from BridgeAndVehicles-COL-V50P20N20-UpperBounds.task + VIDANGE_2) : MAX(ROUTE_B) : MAX(SORTI_A) : 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(SUR_PONT_A) : MAX(COMPTEUR_10 + COMPTEUR_11 + COMPTEUR_12 + COMPTEUR_13 + COMPTEUR_14 + COMPTEUR_15 + COMPTEUR_16 + COMPTEUR_17 + COMPTEUR_18 + COMPTEUR_19 + COMPTEUR_20 + COMPTEUR_0 + COMPTEUR_1 + COMPTEUR_2 + COMPTEUR_3 + COMPTEUR_4 + COMPTEUR_5 + COMPTEUR_6 + COMPTEUR_7 + COMPTEUR_8 + COMPTEUR_9) : MAX(ROUTE_B) : MAX(NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + NB_ATTENTE_B_32 + NB_ATTENTE_B_33 + NB_ATTENTE_B_34 + NB_ATTENTE_B_35 + NB_ATTENTE_B_36 + NB_ATTENTE_B_37 + NB_ATTENTE_B_38 + NB_ATTENTE_B_39 + NB_ATTENTE_B_40 + NB_ATTENTE_B_41 + NB_ATTENTE_B_42 + NB_ATTENTE_B_43 + NB_ATTENTE_B_44 + NB_ATTENTE_B_45 + NB_ATTENTE_B_46 + NB_ATTENTE_B_47 + NB_ATTENTE_B_48 + NB_ATTENTE_B_49 + NB_ATTENTE_B_50 + NB_ATTENTE_B_0 + NB_ATTENTE_B_1 + NB_ATTENTE_B_2 + NB_ATTENTE_B_3 + NB_ATTENTE_B_4 + NB_ATTENTE_B_5 + NB_ATTENTE_B_6 + NB_ATTENTE_B_7 + NB_ATTENTE_B_8 + NB_ATTENTE_B_9) : MAX(SUR_PONT_A) : MAX(ATTENTE_A) : MAX(SUR_PONT_A) : MAX(CAPACITE) : MAX(NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + NB_ATTENTE_B_32 + NB_ATTENTE_B_33 + NB_ATTENTE_B_34 + NB_ATTENTE_B_35 + NB_ATTENTE_B_36 + NB_ATTENTE_B_37 + NB_ATTENTE_B_38 + NB_ATTENTE_B_39 + NB_ATTENTE_B_40 + NB_ATTENTE_B_41 + NB_ATTENTE_B_42 + NB_ATTENTE_B_43 + NB_ATTENTE_B_44 + NB_ATTENTE_B_45 + NB_ATTENTE_B_46 + NB_ATTENTE_B_47 + NB_ATTENTE_B_48 + NB_ATTENTE_B_49 + NB_ATTENTE_B_50 + NB_ATTENTE_B_0 + NB_ATTENTE_B_1 + NB_ATTENTE_B_2 + NB_ATTENTE_B_3 + NB_ATTENTE_B_4 + NB_ATTENTE_B_5 + NB_ATTENTE_B_6 + NB_ATTENTE_B_7 + NB_ATTENTE_B_8 + NB_ATTENTE_B_9) : MAX(ATTENTE_B) : MAX(NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + NB_ATTENTE_B_32 + NB_ATTENTE_B_33 + NB_ATTENTE_B_34 + NB_ATTENTE_B_35 + NB_ATTENTE_B_36 + NB_ATTENTE_B_37 + NB_ATTENTE_B_38 + NB_ATTENTE_B_39 + NB_ATTENTE_B_40 + NB_ATTENTE_B_41 + NB_ATTENTE_B_42 + NB_ATTENTE_B_43 + NB_ATTENTE_B_44 + NB_ATTENTE_B_45 + NB_ATTENTE_B_46 + NB_ATTENTE_B_47 + NB_ATTENTE_B_48 + NB_ATTENTE_B_49 + NB_ATTENTE_B_50 + NB_ATTENTE_B_0 + NB_ATTENTE_B_1 + NB_ATTENTE_B_2 + NB_ATTENTE_B_3 + NB_ATTENTE_B_4 + NB_ATTENTE_B_5 + NB_ATTENTE_B_6 + NB_ATTENTE_B_7 + NB_ATTENTE_B_8 + NB_ATTENTE_B_9) : MAX(SUR_PONT_B) collection of formulas 0 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(VIDANGE_1 + VIDANGE_2) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 25301 edges, 2426 markings/sec, 0 secs 52918 edges, 2399 markings/sec, 5 secs 80337 edges, 2299 markings/sec, 10 secs 109007 edges, 2418 markings/sec, 15 secs 135929 edges, 2223 markings/sec, 20 secs 162655 edges, 2162 markings/sec, 25 secs 191430 edges, 2438 markings/sec, 30 secs 216138 edges, 1957 markings/sec, 35 secs 239698 edges, 1942 markings/sec, 40 secs 262952 edges, 1847 markings/sec, 45 secs 289482 edges, 2087 markings/sec, 50 secs 315871 edges, 2181 markings/sec, 55 secs 346841 edges, 2555 markings/sec, 60 secs 374316 edges, 2123 markings/sec, 65 secs 399941 edges, 2037 markings/sec, 70 secs 426577 edges, 2191 markings/sec, 75 secs 452809 edges, 2020 markings/sec, 80 secs 479679 edges, 2107 markings/sec, 85 secs 506474 edges, 2092 markings/sec, 90 secs 533040 edges, 2110 markings/sec, 95 secs 559827 edges, 2204 markings/sec, 100 secs 591130 edges, 2536 markings/sec, 105 secs 618848 edges, 2115 markings/sec, 110 secs 645038 edges, 2014 markings/sec, 115 secs 670115 edges, 2000 markings/sec, 120 secs 696853 edges, 2088 markings/sec, 125 secs 723005 edges, 2123 markings/sec, 130 secs 746095 edges, 1764 markings/sec, 135 secs 769055 edges, 1782 markings/sec, 140 secs 796087 edges, 2080 markings/sec, 145 secs 825749 edges, 2259 markings/sec, 150 secs 855026 edges, 2291 markings/sec, 155 secs 878990 edges, 1873 markings/sec, 160 secs 901597 edges, 1853 markings/sec, 165 secs 925844 edges, 1967 markings/sec, 170 secs 957317 edges, 2522 markings/sec, 175 secs 986531 edges, 2216 markings/sec, 180 secs 1013394 edges, 2025 markings/sec, 185 secs 1039475 edges, 1986 markings/sec, 190 secs 1064750 edges, 1954 markings/sec, 195 secs 1089583 edges, 1974 markings/sec, 200 secs 1116447 edges, 2051 markings/sec, 205 secs 1143885 edges, 2166 markings/sec, 210 secs 1171300 edges, 2189 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 1 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(ROUTE_B) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) value of the given expression is 50 ================== 2 will run for 237 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(SORTI_A) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 57921 edges, 5111 markings/sec, 0 secs 171255 edges, 7662 markings/sec, 5 secs 259897 edges, 6346 markings/sec, 10 secs 334912 edges, 5855 markings/sec, 15 secs 388189 edges, 4515 markings/sec, 20 secs 490957 edges, 6908 markings/sec, 25 secs 573258 edges, 5787 markings/sec, 30 secs 640838 edges, 5272 markings/sec, 35 secs 739545 edges, 6719 markings/sec, 40 secs 822032 edges, 5798 markings/sec, 45 secs 885062 edges, 5037 markings/sec, 50 secs 979748 edges, 6512 markings/sec, 55 secs 1070407 edges, 6304 markings/sec, 60 secs 1151631 edges, 5741 markings/sec, 65 secs 1219122 edges, 5199 markings/sec, 70 secs 1295606 edges, 5572 markings/sec, 75 secs 1381276 edges, 6076 markings/sec, 80 secs 1470258 edges, 6424 markings/sec, 85 secs 1564643 edges, 6689 markings/sec, 90 secs 1667256 edges, 7027 markings/sec, 95 secs 1745728 edges, 5800 markings/sec, 100 secs 1820667 edges, 5537 markings/sec, 105 secs 1907873 edges, 6123 markings/sec, 110 secs 1988354 edges, 5532 markings/sec, 115 secs 2049367 edges, 4358 markings/sec, 120 secs 2149377 edges, 6273 markings/sec, 125 secs 2210346 edges, 4815 markings/sec, 130 secs 2280692 edges, 4618 markings/sec, 135 secs 2391857 edges, 6852 markings/sec, 140 secs 2439356 edges, 4358 markings/sec, 145 secs 2510732 edges, 4745 markings/sec, 150 secs 2572463 edges, 4336 markings/sec, 155 secs 2635937 edges, 4348 markings/sec, 160 secs 2736894 edges, 6769 markings/sec, 165 secs 2799863 edges, 4148 markings/sec, 170 secs 2890448 edges, 6001 markings/sec, 175 secs 2968013 edges, 5681 markings/sec, 180 secs 3041640 edges, 4796 markings/sec, 185 secs 3139615 edges, 6589 markings/sec, 190 secs 3203529 edges, 4220 markings/sec, 195 secs 3299799 edges, 6229 markings/sec, 200 secs 3361557 edges, 4671 markings/sec, 205 secs 3433169 edges, 4680 markings/sec, 210 secs 3520350 edges, 6159 markings/sec, 215 secs 3588303 edges, 4429 markings/sec, 220 secs 3683159 edges, 6419 markings/sec, 225 secs 3749053 edges, 4494 markings/sec, 230 secs limit reached - aborting aborted or communication problem between parent and child process 3 will run for 237 seconds at most (--localtimelimit=-1) ==================== 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) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) value of the given expression is 1 ================== 4 will run for 256 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(SUR_PONT_A) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 55542 edges, 4897 markings/sec, 0 secs 162655 edges, 7217 markings/sec, 5 secs 232653 edges, 5480 markings/sec, 10 secs 326390 edges, 6595 markings/sec, 15 secs 379905 edges, 4645 markings/sec, 20 secs 484906 edges, 7106 markings/sec, 25 secs 563592 edges, 5838 markings/sec, 30 secs 639897 edges, 5644 markings/sec, 35 secs 737626 edges, 6642 markings/sec, 40 secs 812780 edges, 5551 markings/sec, 45 secs 886214 edges, 5514 markings/sec, 50 secs 982591 edges, 6663 markings/sec, 55 secs 1078766 edges, 6768 markings/sec, 60 secs 1171380 edges, 6541 markings/sec, 65 secs 1253660 edges, 5962 markings/sec, 70 secs 1329787 edges, 5675 markings/sec, 75 secs 1412549 edges, 6002 markings/sec, 80 secs 1494388 edges, 5894 markings/sec, 85 secs 1581472 edges, 6163 markings/sec, 90 secs 1679142 edges, 6770 markings/sec, 95 secs 1761665 edges, 6154 markings/sec, 100 secs 1841185 edges, 5878 markings/sec, 105 secs 1929188 edges, 6077 markings/sec, 110 secs 2008257 edges, 5358 markings/sec, 115 secs 2066535 edges, 4394 markings/sec, 120 secs 2174094 edges, 6645 markings/sec, 125 secs 2227642 edges, 4309 markings/sec, 130 secs 2294425 edges, 4339 markings/sec, 135 secs 2380509 edges, 5646 markings/sec, 140 secs 2455549 edges, 5534 markings/sec, 145 secs 2493528 edges, 3179 markings/sec, 150 secs 2560825 edges, 4627 markings/sec, 155 secs 2624444 edges, 4198 markings/sec, 160 secs 2699413 edges, 5081 markings/sec, 165 secs 2785353 edges, 6021 markings/sec, 170 secs 2849584 edges, 4197 markings/sec, 175 secs 2954687 edges, 6691 markings/sec, 180 secs 3020830 edges, 4999 markings/sec, 185 secs 3100451 edges, 5232 markings/sec, 190 secs 3193822 edges, 6533 markings/sec, 195 secs 3261736 edges, 4559 markings/sec, 200 secs 3362788 edges, 6518 markings/sec, 205 secs 3427258 edges, 4436 markings/sec, 210 secs 3527258 edges, 6443 markings/sec, 215 secs 3593553 edges, 4904 markings/sec, 220 secs 3689665 edges, 6165 markings/sec, 225 secs 3763696 edges, 5332 markings/sec, 230 secs 3853356 edges, 5750 markings/sec, 235 secs 3926714 edges, 5262 markings/sec, 240 secs 4025655 edges, 6280 markings/sec, 245 secs 4093236 edges, 4866 markings/sec, 250 secs limit reached - aborting aborted or communication problem between parent and child process 5 will run for 256 seconds at most (--localtimelimit=-1) ==================== 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_0 + COMPTEUR_1 + COMPTEUR_2 + COMPTEUR_3 + COMPTEUR_4 + COMPTEUR_5 + COMPTEUR_6 + COMPTEUR_7 + COMPTEUR_8 + COMPTEUR_9) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) value of the given expression is 1 ================== 6 will run for 282 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(ROUTE_B) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) value of the given expression is 50 ================== 7 will run for 313 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + ... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) value of the given expression is 1 ================== 8 will run for 353 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(SUR_PONT_A) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 57363 edges, 5052 markings/sec, 0 secs 164871 edges, 7247 markings/sec, 5 secs 223735 edges, 4759 markings/sec, 10 secs 324289 edges, 6954 markings/sec, 15 secs 376089 edges, 4505 markings/sec, 20 secs 479429 edges, 6972 markings/sec, 25 secs 558193 edges, 5962 markings/sec, 30 secs 643138 edges, 6239 markings/sec, 35 secs 744209 edges, 6914 markings/sec, 40 secs 823155 edges, 5630 markings/sec, 45 secs 889488 edges, 5173 markings/sec, 50 secs 982936 edges, 6412 markings/sec, 55 secs 1077628 edges, 6649 markings/sec, 60 secs 1170824 edges, 6557 markings/sec, 65 secs 1257840 edges, 6285 markings/sec, 70 secs 1346478 edges, 6420 markings/sec, 75 secs 1437380 edges, 6494 markings/sec, 80 secs 1529672 edges, 6604 markings/sec, 85 secs 1615947 edges, 6339 markings/sec, 90 secs 1699219 edges, 6126 markings/sec, 95 secs 1788171 edges, 6401 markings/sec, 100 secs 1882173 edges, 6685 markings/sec, 105 secs 1975349 edges, 6626 markings/sec, 110 secs 2052647 edges, 5113 markings/sec, 115 secs 2132028 edges, 5438 markings/sec, 120 secs 2218235 edges, 6034 markings/sec, 125 secs 2289321 edges, 4669 markings/sec, 130 secs 2382706 edges, 6247 markings/sec, 135 secs 2461330 edges, 5900 markings/sec, 140 secs 2513876 edges, 3866 markings/sec, 145 secs 2577253 edges, 4843 markings/sec, 150 secs 2650017 edges, 4819 markings/sec, 155 secs 2763120 edges, 7224 markings/sec, 160 secs 2831405 edges, 4797 markings/sec, 165 secs 2917094 edges, 5703 markings/sec, 170 secs 3000457 edges, 6035 markings/sec, 175 secs 3075621 edges, 4891 markings/sec, 180 secs 3182127 edges, 7085 markings/sec, 185 secs 3252413 edges, 4770 markings/sec, 190 secs 3357095 edges, 6828 markings/sec, 195 secs 3427227 edges, 4905 markings/sec, 200 secs 3531518 edges, 6698 markings/sec, 205 secs 3598032 edges, 4911 markings/sec, 210 secs 3697080 edges, 6347 markings/sec, 215 secs 3767341 edges, 5108 markings/sec, 220 secs 3869002 edges, 6469 markings/sec, 225 secs 3935295 edges, 4829 markings/sec, 230 secs 4026977 edges, 5912 markings/sec, 235 secs 4089365 edges, 4495 markings/sec, 240 secs 4181017 edges, 6070 markings/sec, 245 secs 4249984 edges, 4858 markings/sec, 250 secs 4341918 edges, 6400 markings/sec, 255 secs 4443092 edges, 6303 markings/sec, 260 secs 4510777 edges, 4866 markings/sec, 265 secs 4596838 edges, 6056 markings/sec, 270 secs 4692625 edges, 6198 markings/sec, 275 secs 4771713 edges, 5336 markings/sec, 280 secs 4850744 edges, 5423 markings/sec, 285 secs 4936159 edges, 5877 markings/sec, 290 secs 5019486 edges, 5751 markings/sec, 295 secs 5104035 edges, 5764 markings/sec, 300 secs 5195480 edges, 5648 markings/sec, 305 secs 5253851 edges, 4388 markings/sec, 310 secs 5308922 edges, 3751 markings/sec, 315 secs 5421346 edges, 7061 markings/sec, 320 secs 5471157 edges, 4187 markings/sec, 325 secs 5545152 edges, 4620 markings/sec, 330 secs 5618783 edges, 4895 markings/sec, 335 secs 5728676 edges, 6750 markings/sec, 340 secs 5791072 edges, 5105 markings/sec, 345 secs limit reached - aborting aborted or communication problem between parent and child process 9 will run for 353 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(ATTENTE_A) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 125399 edges, 15433 markings/sec, 0 secs 255749 edges, 15840 markings/sec, 5 secs 382572 edges, 15575 markings/sec, 10 secs 504852 edges, 14975 markings/sec, 15 secs 631687 edges, 15503 markings/sec, 20 secs 754276 edges, 15018 markings/sec, 25 secs 876910 edges, 15074 markings/sec, 30 secs 995591 edges, 14550 markings/sec, 35 secs 1114626 edges, 14666 markings/sec, 40 secs 1190423 edges, 9530 markings/sec, 45 secs 1204993 edges, 1843 markings/sec, 50 secs 1219014 edges, 1634 markings/sec, 55 secs 1233000 edges, 1646 markings/sec, 60 secs 1246874 edges, 1660 markings/sec, 65 secs 1262493 edges, 2217 markings/sec, 70 secs 1276451 edges, 1678 markings/sec, 75 secs 1290782 edges, 1669 markings/sec, 80 secs 1304617 edges, 1638 markings/sec, 85 secs 1318446 edges, 1695 markings/sec, 90 secs 1333452 edges, 2136 markings/sec, 95 secs 1346487 edges, 1507 markings/sec, 100 secs 1359382 edges, 1514 markings/sec, 105 secs 1372285 edges, 1522 markings/sec, 110 secs 1384846 edges, 1570 markings/sec, 115 secs 1399441 edges, 2038 markings/sec, 120 secs 1413183 edges, 1608 markings/sec, 125 secs 1426104 edges, 1518 markings/sec, 130 secs 1438894 edges, 1518 markings/sec, 135 secs 1452898 edges, 1839 markings/sec, 140 secs 1466017 edges, 1740 markings/sec, 145 secs 1479035 edges, 1525 markings/sec, 150 secs 1492665 edges, 1598 markings/sec, 155 secs 1506504 edges, 1662 markings/sec, 160 secs 1522443 edges, 2264 markings/sec, 165 secs 1536047 edges, 1567 markings/sec, 170 secs 1549908 edges, 1623 markings/sec, 175 secs 1563831 edges, 1656 markings/sec, 180 secs 1579203 edges, 2130 markings/sec, 185 secs 1593242 edges, 1686 markings/sec, 190 secs 1606978 edges, 1613 markings/sec, 195 secs 1620795 edges, 1634 markings/sec, 200 secs 1635921 edges, 2062 markings/sec, 205 secs 1649655 edges, 1687 markings/sec, 210 secs 1663525 edges, 1620 markings/sec, 215 secs 1677233 edges, 1628 markings/sec, 220 secs 1692189 edges, 2041 markings/sec, 225 secs 1706188 edges, 1704 markings/sec, 230 secs 1720242 edges, 1650 markings/sec, 235 secs 1734343 edges, 1682 markings/sec, 240 secs 1749923 edges, 2170 markings/sec, 245 secs 1762803 edges, 1489 markings/sec, 250 secs 1775701 edges, 1517 markings/sec, 255 secs 1788465 edges, 1529 markings/sec, 260 secs 1802484 edges, 1960 markings/sec, 265 secs 1815348 edges, 1502 markings/sec, 270 secs 1829176 edges, 1623 markings/sec, 275 secs 1841799 edges, 1544 markings/sec, 280 secs 1855843 edges, 1908 markings/sec, 285 secs 1868814 edges, 1519 markings/sec, 290 secs 1882011 edges, 1560 markings/sec, 295 secs 1897085 edges, 2010 markings/sec, 300 secs 1910648 edges, 1654 markings/sec, 305 secs 1923566 edges, 1515 markings/sec, 310 secs 1936233 edges, 1522 markings/sec, 315 secs 1950355 edges, 1921 markings/sec, 320 secs 1964394 edges, 1646 markings/sec, 325 secs 1978363 edges, 1655 markings/sec, 330 secs 1993004 edges, 1996 markings/sec, 335 secs 2006838 edges, 1614 markings/sec, 340 secs 2020765 edges, 1656 markings/sec, 345 secs limit reached - aborting aborted or communication problem between parent and child process 10 will run for 353 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(SUR_PONT_A) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 56251 edges, 4958 markings/sec, 0 secs 165224 edges, 7369 markings/sec, 5 secs 236683 edges, 5504 markings/sec, 10 secs 329864 edges, 6654 markings/sec, 15 secs 387033 edges, 4946 markings/sec, 20 secs 492669 edges, 7152 markings/sec, 25 secs 570477 edges, 5613 markings/sec, 30 secs 640798 edges, 5302 markings/sec, 35 secs 736535 edges, 6473 markings/sec, 40 secs 818104 edges, 5957 markings/sec, 45 secs 887036 edges, 5271 markings/sec, 50 secs 980646 edges, 6430 markings/sec, 55 secs 1069259 edges, 6161 markings/sec, 60 secs 1139674 edges, 5280 markings/sec, 65 secs 1215474 edges, 5666 markings/sec, 70 secs 1298079 edges, 5844 markings/sec, 75 secs 1382778 edges, 5957 markings/sec, 80 secs 1464252 edges, 5789 markings/sec, 85 secs 1542810 edges, 5617 markings/sec, 90 secs 1620092 edges, 5564 markings/sec, 95 secs 1696983 edges, 5594 markings/sec, 100 secs 1769851 edges, 5322 markings/sec, 105 secs 1851469 edges, 5804 markings/sec, 110 secs 1933147 edges, 5772 markings/sec, 115 secs 2011815 edges, 5240 markings/sec, 120 secs 2065175 edges, 4071 markings/sec, 125 secs 2164893 edges, 6215 markings/sec, 130 secs 2225745 edges, 4694 markings/sec, 135 secs 2298648 edges, 4854 markings/sec, 140 secs 2404645 edges, 6733 markings/sec, 145 secs 2466767 edges, 5138 markings/sec, 150 secs 2528530 edges, 4194 markings/sec, 155 secs 2592975 edges, 4911 markings/sec, 160 secs 2666701 edges, 4866 markings/sec, 165 secs 2773786 edges, 7122 markings/sec, 170 secs 2841825 edges, 4544 markings/sec, 175 secs 2938405 edges, 6355 markings/sec, 180 secs 3012681 edges, 5486 markings/sec, 185 secs 3084792 edges, 4706 markings/sec, 190 secs 3186937 edges, 6943 markings/sec, 195 secs 3256383 edges, 4701 markings/sec, 200 secs 3361162 edges, 6832 markings/sec, 205 secs 3424742 edges, 4421 markings/sec, 210 secs 3509712 edges, 5548 markings/sec, 215 secs 3575624 edges, 4898 markings/sec, 220 secs 3652581 edges, 4949 markings/sec, 225 secs 3740051 edges, 6215 markings/sec, 230 secs 3818629 edges, 5006 markings/sec, 235 secs 3904726 edges, 6108 markings/sec, 240 secs 3989133 edges, 5358 markings/sec, 245 secs 4071283 edges, 5772 markings/sec, 250 secs 4169672 edges, 6185 markings/sec, 255 secs 4238965 edges, 4956 markings/sec, 260 secs 4331096 edges, 6318 markings/sec, 265 secs 4404274 edges, 4881 markings/sec, 270 secs 4489810 edges, 5897 markings/sec, 275 secs 4580618 edges, 6043 markings/sec, 280 secs 4656140 edges, 5069 markings/sec, 285 secs 4737161 edges, 5535 markings/sec, 290 secs 4819268 edges, 5795 markings/sec, 295 secs 4907344 edges, 5745 markings/sec, 300 secs 4992152 edges, 5536 markings/sec, 305 secs 5068963 edges, 5318 markings/sec, 310 secs 5141013 edges, 4992 markings/sec, 315 secs 5222194 edges, 4921 markings/sec, 320 secs 5266143 edges, 3683 markings/sec, 325 secs 5323634 edges, 3749 markings/sec, 330 secs 5424711 edges, 6422 markings/sec, 335 secs 5473533 edges, 4157 markings/sec, 340 secs 5547401 edges, 4550 markings/sec, 345 secs limit reached - aborting aborted or communication problem between parent and child process 11 will run for 353 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(CAPACITE) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 54060 edges, 4466 markings/sec, 0 secs 106599 edges, 3982 markings/sec, 5 secs 155685 edges, 3730 markings/sec, 10 secs 201680 edges, 3481 markings/sec, 15 secs 250022 edges, 3553 markings/sec, 20 secs 293933 edges, 3383 markings/sec, 25 secs 340351 edges, 3403 markings/sec, 30 secs 386000 edges, 3482 markings/sec, 35 secs 432035 edges, 3449 markings/sec, 40 secs 481486 edges, 3560 markings/sec, 45 secs 538644 edges, 4235 markings/sec, 50 secs 592790 edges, 3855 markings/sec, 55 secs 645060 edges, 3662 markings/sec, 60 secs 699597 edges, 4020 markings/sec, 65 secs 757515 edges, 4046 markings/sec, 70 secs 813524 edges, 3900 markings/sec, 75 secs 861940 edges, 3427 markings/sec, 80 secs 921985 edges, 4371 markings/sec, 85 secs 981862 edges, 4153 markings/sec, 90 secs 1038823 edges, 3960 markings/sec, 95 secs 1095437 edges, 3877 markings/sec, 100 secs 1148940 edges, 3896 markings/sec, 105 secs 1217421 edges, 4727 markings/sec, 110 secs 1277290 edges, 4149 markings/sec, 115 secs 1338486 edges, 4119 markings/sec, 120 secs 1394778 edges, 3863 markings/sec, 125 secs 1445473 edges, 3711 markings/sec, 130 secs 1516845 edges, 4948 markings/sec, 135 secs 1580783 edges, 4317 markings/sec, 140 secs 1637595 edges, 3884 markings/sec, 145 secs 1695400 edges, 3920 markings/sec, 150 secs 1757467 edges, 4148 markings/sec, 155 secs 1809089 edges, 3779 markings/sec, 160 secs 1877566 edges, 4709 markings/sec, 165 secs 1944929 edges, 4544 markings/sec, 170 secs 2006733 edges, 4141 markings/sec, 175 secs 2064892 edges, 3930 markings/sec, 180 secs 2117942 edges, 3645 markings/sec, 185 secs 2176720 edges, 3922 markings/sec, 190 secs 2236742 edges, 4325 markings/sec, 195 secs 2307366 edges, 4782 markings/sec, 200 secs 2375230 edges, 4568 markings/sec, 205 secs 2437853 edges, 4194 markings/sec, 210 secs 2497775 edges, 4019 markings/sec, 215 secs 2557579 edges, 3958 markings/sec, 220 secs 2623182 edges, 4323 markings/sec, 225 secs 2675768 edges, 3607 markings/sec, 230 secs 2743418 edges, 4849 markings/sec, 235 secs 2813365 edges, 4721 markings/sec, 240 secs 2880553 edges, 4472 markings/sec, 245 secs 2942677 edges, 4150 markings/sec, 250 secs 3003723 edges, 3992 markings/sec, 255 secs 3070298 edges, 4340 markings/sec, 260 secs 3116665 edges, 3204 markings/sec, 265 secs 3180124 edges, 4034 markings/sec, 270 secs 3226486 edges, 3268 markings/sec, 275 secs 3293530 edges, 4801 markings/sec, 280 secs 3361807 edges, 4555 markings/sec, 285 secs 3426905 edges, 4335 markings/sec, 290 secs 3497307 edges, 4581 markings/sec, 295 secs 3557506 edges, 4040 markings/sec, 300 secs 3616287 edges, 3840 markings/sec, 305 secs 3681339 edges, 4232 markings/sec, 310 secs 3729955 edges, 3345 markings/sec, 315 secs 3796381 edges, 4213 markings/sec, 320 secs 3841536 edges, 3116 markings/sec, 325 secs 3905482 edges, 4600 markings/sec, 330 secs 3977355 edges, 4854 markings/sec, 335 secs 4044052 edges, 4416 markings/sec, 340 secs 4107374 edges, 4192 markings/sec, 345 secs limit reached - aborting aborted or communication problem between parent and child process 12 will run for 353 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + ... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) value of the given expression is 1 ================== 13 will run for 471 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(ATTENTE_B) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 114740 edges, 14502 markings/sec, 0 secs 235537 edges, 15179 markings/sec, 5 secs 353168 edges, 14865 markings/sec, 10 secs 468525 edges, 14558 markings/sec, 15 secs 580627 edges, 14153 markings/sec, 20 secs 688416 edges, 13618 markings/sec, 25 secs 705841 edges, 2306 markings/sec, 30 secs 719907 edges, 1656 markings/sec, 35 secs 734425 edges, 1704 markings/sec, 40 secs 748595 edges, 1679 markings/sec, 45 secs 763755 edges, 1906 markings/sec, 50 secs 777061 edges, 1823 markings/sec, 55 secs 790949 edges, 1617 markings/sec, 60 secs 807177 edges, 1909 markings/sec, 65 secs 821553 edges, 1704 markings/sec, 70 secs 837794 edges, 2155 markings/sec, 75 secs 852364 edges, 1819 markings/sec, 80 secs 866314 edges, 1629 markings/sec, 85 secs 880631 edges, 1692 markings/sec, 90 secs 893286 edges, 1551 markings/sec, 95 secs 909824 edges, 2240 markings/sec, 100 secs 924987 edges, 1770 markings/sec, 105 secs 940074 edges, 1775 markings/sec, 110 secs 954198 edges, 1690 markings/sec, 115 secs 970612 edges, 2216 markings/sec, 120 secs 984817 edges, 1703 markings/sec, 125 secs 1000750 edges, 1864 markings/sec, 130 secs 1015768 edges, 1795 markings/sec, 135 secs 1031822 edges, 2157 markings/sec, 140 secs 1046156 edges, 1725 markings/sec, 145 secs 1061208 edges, 1765 markings/sec, 150 secs 1075645 edges, 1719 markings/sec, 155 secs 1091763 edges, 2161 markings/sec, 160 secs 1105845 edges, 1700 markings/sec, 165 secs 1120853 edges, 1754 markings/sec, 170 secs 1135189 edges, 1713 markings/sec, 175 secs 1150839 edges, 2108 markings/sec, 180 secs 1164867 edges, 1674 markings/sec, 185 secs 1179815 edges, 1754 markings/sec, 190 secs 1193238 edges, 1608 markings/sec, 195 secs 1209050 edges, 2142 markings/sec, 200 secs 1224179 edges, 1769 markings/sec, 205 secs 1239212 edges, 1774 markings/sec, 210 secs 1254528 edges, 1918 markings/sec, 215 secs 1268823 edges, 1857 markings/sec, 220 secs 1283635 edges, 1734 markings/sec, 225 secs 1297894 edges, 1696 markings/sec, 230 secs 1313312 edges, 2050 markings/sec, 235 secs 1327490 edges, 1695 markings/sec, 240 secs 1342397 edges, 1754 markings/sec, 245 secs 1355668 edges, 1649 markings/sec, 250 secs 1370373 edges, 1922 markings/sec, 255 secs 1384149 edges, 1612 markings/sec, 260 secs 1398534 edges, 1707 markings/sec, 265 secs 1415754 edges, 2284 markings/sec, 270 secs 1431651 edges, 1860 markings/sec, 275 secs 1446677 edges, 1778 markings/sec, 280 secs 1462233 edges, 2081 markings/sec, 285 secs 1477749 edges, 1815 markings/sec, 290 secs 1492345 edges, 1729 markings/sec, 295 secs 1507843 edges, 2060 markings/sec, 300 secs 1522863 edges, 1756 markings/sec, 305 secs 1537613 edges, 1761 markings/sec, 310 secs 1552747 edges, 1996 markings/sec, 315 secs 1566388 edges, 1598 markings/sec, 320 secs 1579612 edges, 1576 markings/sec, 325 secs 1594257 edges, 1928 markings/sec, 330 secs 1609436 edges, 1780 markings/sec, 335 secs 1624743 edges, 1917 markings/sec, 340 secs 1639520 edges, 1837 markings/sec, 345 secs 1654349 edges, 1757 markings/sec, 350 secs 1669693 edges, 2002 markings/sec, 355 secs 1684523 edges, 1742 markings/sec, 360 secs 1699748 edges, 1937 markings/sec, 365 secs 1714332 edges, 1760 markings/sec, 370 secs 1728764 edges, 1738 markings/sec, 375 secs 1744312 edges, 1969 markings/sec, 380 secs 1758974 edges, 1744 markings/sec, 385 secs 1772919 edges, 1925 markings/sec, 390 secs 1787088 edges, 1986 markings/sec, 395 secs 1801226 edges, 1976 markings/sec, 400 secs 1813731 edges, 1569 markings/sec, 405 secs 1824883 edges, 1306 markings/sec, 410 secs 1836618 edges, 1375 markings/sec, 415 secs 1848133 edges, 1364 markings/sec, 420 secs 1858505 edges, 1264 markings/sec, 425 secs 1872287 edges, 1786 markings/sec, 430 secs 1885492 edges, 1560 markings/sec, 435 secs 1899219 edges, 1850 markings/sec, 440 secs 1914615 edges, 2158 markings/sec, 445 secs 1930175 edges, 2172 markings/sec, 450 secs 1942629 edges, 1529 markings/sec, 455 secs 1956718 edges, 1652 markings/sec, 460 secs 1970912 edges, 1667 markings/sec, 465 secs limit reached - aborting aborted or communication problem between parent and child process 14 will run for 471 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + ... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) value of the given expression is 1 ================== 15 will run for 942 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(SUR_PONT_B) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 26900 edges, 3039 markings/sec, 0 secs 60675 edges, 3247 markings/sec, 5 secs 96759 edges, 2870 markings/sec, 10 secs 127336 edges, 2750 markings/sec, 15 secs 170457 edges, 3496 markings/sec, 20 secs 207240 edges, 3184 markings/sec, 25 secs 245993 edges, 3281 markings/sec, 30 secs 290045 edges, 3574 markings/sec, 35 secs 322777 edges, 2995 markings/sec, 40 secs 365565 edges, 3560 markings/sec, 45 secs 407331 edges, 3422 markings/sec, 50 secs 440760 edges, 3018 markings/sec, 55 secs 481267 edges, 3385 markings/sec, 60 secs 522816 edges, 3467 markings/sec, 65 secs 562119 edges, 3319 markings/sec, 70 secs 597845 edges, 3141 markings/sec, 75 secs 636136 edges, 3269 markings/sec, 80 secs 676346 edges, 3367 markings/sec, 85 secs 715829 edges, 3352 markings/sec, 90 secs 753275 edges, 3168 markings/sec, 95 secs 791041 edges, 3198 markings/sec, 100 secs 830045 edges, 3359 markings/sec, 105 secs 867796 edges, 3229 markings/sec, 110 secs 906531 edges, 3319 markings/sec, 115 secs 948158 edges, 3449 markings/sec, 120 secs 985300 edges, 3275 markings/sec, 125 secs 1019164 edges, 2931 markings/sec, 130 secs 1044762 edges, 2676 markings/sec, 135 secs 1080477 edges, 3066 markings/sec, 140 secs 1118154 edges, 3007 markings/sec, 145 secs 1151491 edges, 2871 markings/sec, 150 secs 1182421 edges, 2658 markings/sec, 155 secs 1226628 edges, 3565 markings/sec, 160 secs 1259402 edges, 2803 markings/sec, 165 secs 1292307 edges, 2804 markings/sec, 170 secs 1333964 edges, 3403 markings/sec, 175 secs 1365630 edges, 2699 markings/sec, 180 secs 1402735 edges, 3058 markings/sec, 185 secs 1437730 edges, 2954 markings/sec, 190 secs 1468316 edges, 2628 markings/sec, 195 secs 1510749 edges, 3373 markings/sec, 200 secs 1542044 edges, 2802 markings/sec, 205 secs 1572725 edges, 2580 markings/sec, 210 secs 1612978 edges, 3288 markings/sec, 215 secs 1643629 edges, 2633 markings/sec, 220 secs 1683673 edges, 3211 markings/sec, 225 secs 1716577 edges, 2890 markings/sec, 230 secs 1752119 edges, 2942 markings/sec, 235 secs 1789200 edges, 3164 markings/sec, 240 secs 1825369 edges, 3000 markings/sec, 245 secs 1863459 edges, 3173 markings/sec, 250 secs 1899785 edges, 3065 markings/sec, 255 secs 1938294 edges, 3251 markings/sec, 260 secs 1976951 edges, 3168 markings/sec, 265 secs 2014707 edges, 3221 markings/sec, 270 secs 2053111 edges, 3105 markings/sec, 275 secs 2085378 edges, 2800 markings/sec, 280 secs 2123408 edges, 3166 markings/sec, 285 secs 2157938 edges, 2951 markings/sec, 290 secs 2197675 edges, 3341 markings/sec, 295 secs 2236396 edges, 3162 markings/sec, 300 secs 2269020 edges, 2804 markings/sec, 305 secs 2307913 edges, 3269 markings/sec, 310 secs 2345485 edges, 3112 markings/sec, 315 secs 2383295 edges, 3131 markings/sec, 320 secs 2416409 edges, 2858 markings/sec, 325 secs 2453945 edges, 3133 markings/sec, 330 secs 2490307 edges, 3111 markings/sec, 335 secs 2520671 edges, 2636 markings/sec, 340 secs 2550842 edges, 2460 markings/sec, 345 secs 2572858 edges, 2207 markings/sec, 350 secs 2603463 edges, 2875 markings/sec, 355 secs 2639154 edges, 3051 markings/sec, 360 secs 2678929 edges, 3116 markings/sec, 365 secs 2709541 edges, 2556 markings/sec, 370 secs 2745533 edges, 2957 markings/sec, 375 secs 2779342 edges, 2821 markings/sec, 380 secs 2824522 edges, 3550 markings/sec, 385 secs 2855190 edges, 2619 markings/sec, 390 secs 2891073 edges, 2948 markings/sec, 395 secs 2924547 edges, 2792 markings/sec, 400 secs 2967067 edges, 3421 markings/sec, 405 secs 2998281 edges, 2582 markings/sec, 410 secs 3033176 edges, 2867 markings/sec, 415 secs 3065707 edges, 2724 markings/sec, 420 secs 3108697 edges, 3485 markings/sec, 425 secs 3140559 edges, 2693 markings/sec, 430 secs 3173099 edges, 2622 markings/sec, 435 secs 3206352 edges, 2706 markings/sec, 440 secs 3241623 edges, 2895 markings/sec, 445 secs 3270928 edges, 2501 markings/sec, 450 secs 3300281 edges, 2333 markings/sec, 455 secs 3335567 edges, 2840 markings/sec, 460 secs 3372151 edges, 3044 markings/sec, 465 secs 3407292 edges, 2874 markings/sec, 470 secs 3439300 edges, 2653 markings/sec, 475 secs 3480858 edges, 3398 markings/sec, 480 secs 3515200 edges, 2852 markings/sec, 485 secs 3548156 edges, 2684 markings/sec, 490 secs 3587962 edges, 3226 markings/sec, 495 secs 3620943 edges, 2802 markings/sec, 500 secs 3653474 edges, 2633 markings/sec, 505 secs 3693417 edges, 3195 markings/sec, 510 secs 3724624 edges, 2679 markings/sec, 515 secs 3757356 edges, 2647 markings/sec, 520 secs 3796181 edges, 3122 markings/sec, 525 secs 3828870 edges, 2757 markings/sec, 530 secs 3860680 edges, 2568 markings/sec, 535 secs 3899287 edges, 3170 markings/sec, 540 secs 3932908 edges, 2751 markings/sec, 545 secs 3971517 edges, 3123 markings/sec, 550 secs 4004519 edges, 2728 markings/sec, 555 secs 4039695 edges, 2932 markings/sec, 560 secs 4078532 edges, 3171 markings/sec, 565 secs 4109177 edges, 2517 markings/sec, 570 secs 4142576 edges, 2698 markings/sec, 575 secs 4171101 edges, 2374 markings/sec, 580 secs 4206070 edges, 2888 markings/sec, 585 secs 4244917 edges, 3187 markings/sec, 590 secs 4280468 edges, 2929 markings/sec, 595 secs 4317842 edges, 3067 markings/sec, 600 secs 4352007 edges, 2809 markings/sec, 605 secs 4388701 edges, 3009 markings/sec, 610 secs 4424358 edges, 2940 markings/sec, 615 secs 4460226 edges, 2993 markings/sec, 620 secs 4500189 edges, 3174 markings/sec, 625 secs 4533217 edges, 2773 markings/sec, 630 secs 4569137 edges, 3036 markings/sec, 635 secs 4603325 edges, 2804 markings/sec, 640 secs 4641256 edges, 3197 markings/sec, 645 secs 4672398 edges, 2628 markings/sec, 650 secs 4696402 edges, 2264 markings/sec, 655 secs 4720059 edges, 2245 markings/sec, 660 secs 4751264 edges, 2807 markings/sec, 665 secs 4782097 edges, 2604 markings/sec, 670 secs 4819590 edges, 3081 markings/sec, 675 secs 4847466 edges, 2252 markings/sec, 680 secs 4874896 edges, 2304 markings/sec, 685 secs 4906497 edges, 2651 markings/sec, 690 secs 4942839 edges, 2793 markings/sec, 695 secs 4979105 edges, 2988 markings/sec, 700 secs 5024093 edges, 3529 markings/sec, 705 secs 5056711 edges, 2785 markings/sec, 710 secs 5090782 edges, 2812 markings/sec, 715 secs 5128038 edges, 2903 markings/sec, 720 secs 5164133 edges, 2959 markings/sec, 725 secs 5209739 edges, 3559 markings/sec, 730 secs 5241119 edges, 2692 markings/sec, 735 secs 5276753 edges, 2978 markings/sec, 740 secs 5311850 edges, 2753 markings/sec, 745 secs 5347175 edges, 2852 markings/sec, 750 secs 5391031 edges, 3527 markings/sec, 755 secs 5422549 edges, 2585 markings/sec, 760 secs 5459144 edges, 3003 markings/sec, 765 secs 5490443 edges, 2493 markings/sec, 770 secs 5527548 edges, 3001 markings/sec, 775 secs 5563422 edges, 2956 markings/sec, 780 secs 5594768 edges, 2479 markings/sec, 785 secs 5631762 edges, 2993 markings/sec, 790 secs 5662907 edges, 2601 markings/sec, 795 secs 5704080 edges, 3207 markings/sec, 800 secs 5733509 edges, 2513 markings/sec, 805 secs 5765776 edges, 2704 markings/sec, 810 secs 5800391 edges, 2691 markings/sec, 815 secs 5837101 edges, 2951 markings/sec, 820 secs 5876064 edges, 3213 markings/sec, 825 secs 5908400 edges, 2638 markings/sec, 830 secs 5946582 edges, 3028 markings/sec, 835 secs 5984503 edges, 3077 markings/sec, 840 secs 6022892 edges, 3156 markings/sec, 845 secs 6057365 edges, 2863 markings/sec, 850 secs 6092762 edges, 2767 markings/sec, 855 secs 6134484 edges, 3326 markings/sec, 860 secs 6168062 edges, 2804 markings/sec, 865 secs 6205007 edges, 2988 markings/sec, 870 secs 6238475 edges, 2711 markings/sec, 875 secs 6277514 edges, 3139 markings/sec, 880 secs 6306898 edges, 2378 markings/sec, 885 secs 6341458 edges, 2800 markings/sec, 890 secs 6372407 edges, 2505 markings/sec, 895 secs 6408625 edges, 2976 markings/sec, 900 secs 6437879 edges, 2343 markings/sec, 905 secs 6473689 edges, 2874 markings/sec, 910 secs 6512091 edges, 3089 markings/sec, 915 secs 6542137 edges, 2505 markings/sec, 920 secs 6576072 edges, 2747 markings/sec, 925 secs 6607728 edges, 2556 markings/sec, 930 secs 6645510 edges, 3109 markings/sec, 935 secs limit reached - aborting aborted or communication problem between parent and child process unknown 1 unknown 1 50 1 unknown unknown unknown unknown 1 unknown 1 unknown -COL-V50P20N20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN cles-COL-V50P20N20-UpperBounds-1 50 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN cles-COL-V50P20N20-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN cles-COL-V50P20N20-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN cles-COL-V50P20N20-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN cles-COL-V50P20N20-UpperBounds-5 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN cles-COL-V50P20N20-UpperBounds-6 50 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN cles-COL-V50P20N20-UpperBounds-7 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN cles-COL-V50P20N20-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN cles-COL-V50P20N20-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN cles-COL-V50P20N20-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN cles-COL-V50P20N20-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN cles-COL-V50P20N20-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN cles-COL-V50P20N20-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN cles-COL-V50P20N20-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN cles-COL-V50P20N20-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN and sara stdout ----- stderr ----- stderr ----- stderr ----- sara stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BridgeAndVehicles-PT-V50P20N20"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V50P20N20.tgz
mv BridgeAndVehicles-PT-V50P20N20 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is BridgeAndVehicles-PT-V50P20N20, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r008-csrt-149436126300479"
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 ;