MCC'2017 - Execution of r088-csrt-149441074500479

About the Execution of LoLA for S_BridgeAndVehicles-PT-V50P20N20

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
835.850	3539597.00	3550332.00	267.70	? 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 S_BridgeAndVehi
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 1496348920638

Time: 3600 - MCC
----- Start make prepare
============================
S_BridgeAndVehicles-PT-V50P20N20:
============================
translating PT Petri net complete

checking for too many tokens
============================
S_BridgeAndVehicles-PT-V50P20N20:
============================
translating formula complete
touch formulae;
----- Start make result
UpperBounds @ S_BridgeAndVeh
----- 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: 12133 markings,
lola: 23397 markings,
lola: 33421 markings,
lola: 45767 markings,
lola: 58115 markings,
lola: 70286 markings,
lola: 83562 markings,
lola: 95302 markings,
lola: 107084 markings,
lola: 117770 markings,
lola: 128566 markings,
lola: 141157 markings,
lola: 152005 markings,
lola: 162197 markings,
lola: 173045 markings,
lola: 183638 markings,
lola: 193824 markings,
lola: 204524 markings,
lola: 215130 markings,
lola: 225561 markings,
lola: 238587 markings,
lola: 249551 markings,
lola: 259663 markings,
lola: 269636 markings,
lola: 279726 markings,
lola: 290451 markings,
lola: 301358 markings,
lola: 311670 markings,
lola: 321318 markings,
lola: 331240 markings,
lola: 341882 markings,
lola: 353063 markings,
lola: 363655 markings,
lola: 376071 markings,
lola: 388605 markings,
lola: 398890 markings,
lola: 408606 markings,
lola: 418799 markings,
lola: 429031 markings,
lola: 438796 markings,
lola: 448220 markings,
lola: 458074 markings,
lola: 467896 markings,
lola: 477575 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: 25587 markings,
lola: 63086 markings,
lola: 93869 markings,
lola: 124550 markings,
lola: 151338 markings,
lola: 185658 markings,
lola: 221331 markings,
lola: 249788 markings,
lola: 279549 markings,
lola: 313100 markings,
lola: 344126 markings,
lola: 372001 markings,
lola: 401540 markings,
lola: 434215 markings,
lola: 466631 markings,
lola: 498393 markings,
lola: 529572 markings,
lola: 560122 markings,
lola: 589543 markings,
lola: 619922 markings,
lola: 651637 markings,
lola: 679959 markings,
lola: 712447 markings,
lola: 735996 markings,
lola: 765885 markings,
lola: 793650 markings,
lola: 815394 markings,
lola: 845330 markings,
lola: 871624 markings,
lola: 892791 markings,
lola: 915286 markings,
lola: 937252 markings,
lola: 972065 markings,
lola: 993742 markings,
lola: 1019057 markings,
lola: 1049361 markings,
lola: 1070877 markings,
lola: 1103431 markings,
lola: 1125601 markings,
lola: 1149478 markings,
lola: 1179942 markings,
lola: 1201934 markings,
lola: 1235254 markings,
lola: 1257278 markings,
lola: 1289738 markings,
lola: 1312179 markings,
lola: 1344299 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: 23906 markings,
lola: 60027 markings,
lola: 84806 markings,
lola: 119330 markings,
lola: 142182 markings,
lola: 176607 markings,
lola: 201241 markings,
lola: 233617 markings,
lola: 266585 markings,
lola: 291201 markings,
lola: 321865 markings,
lola: 354546 markings,
lola: 383841 markings,
lola: 409861 markings,
lola: 439488 markings,
lola: 470411 markings,
lola: 500908 markings,
lola: 531271 markings,
lola: 561145 markings,
lola: 590225 markings,
lola: 618441 markings,
lola: 648500 markings,
lola: 679390 markings,
lola: 706223 markings,
lola: 732256 markings,
lola: 752582 markings,
lola: 784671 markings,
lola: 805845 markings,
lola: 828494 markings,
lola: 861397 markings,
lola: 883359 markings,
lola: 900914 markings,
lola: 923449 markings,
lola: 945137 markings,
lola: 975842 markings,
lola: 1000004 markings,
lola: 1023311 markings,
lola: 1058067 markings,
lola: 1080833 markings,
lola: 1110448 markings,
lola: 1137294 markings,
lola: 1160676 markings,
lola: 1194745 markings,
lola: 1216971 markings,
lola: 1248996 markings,
lola: 1271281 markings,
lola: 1302862 markings,
lola: 1325334 markings,
lola: 1354299 markings,
lola: 1379624 markings,
lola: 1407550 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: 23388 markings,
lola: 58022 markings,
lola: 80560 markings,
lola: 116858 markings,
lola: 140092 markings,
lola: 174713 markings,
lola: 198039 markings,
lola: 231838 markings,
lola: 263828 markings,
lola: 287587 markings,
lola: 320202 markings,
lola: 352914 markings,
lola: 381649 markings,
lola: 408666 markings,
lola: 440453 markings,
lola: 472406 markings,
lola: 503681 markings,
lola: 534321 markings,
lola: 564728 markings,
lola: 594562 markings,
lola: 628337 markings,
lola: 660238 markings,
lola: 689725 markings,
lola: 721335 markings,
lola: 744736 markings,
lola: 776107 markings,
lola: 801704 markings,
lola: 823239 markings,
lola: 851956 markings,
lola: 879656 markings,
lola: 895791 markings,
lola: 918945 markings,
lola: 940312 markings,
lola: 968101 markings,
lola: 997561 markings,
lola: 1019789 markings,
lola: 1053185 markings,
lola: 1076673 markings,
lola: 1100606 markings,
lola: 1132926 markings,
lola: 1155538 markings,
lola: 1188924 markings,
lola: 1211746 markings,
lola: 1242854 markings,
lola: 1265647 markings,
lola: 1289871 markings,
lola: 1318422 markings,
lola: 1341952 markings,
lola: 1372295 markings,
lola: 1395234 markings,
lola: 1425689 markings,
lola: 1451581 markings,
lola: 1479325 markings,
lola: 1508604 markings,
lola: 1531546 markings,
lola: 1561161 markings,
lola: 1584551 markings,
lola: 1612163 markings,
lola: 1640735 markings,
lola: 1665809 markings,
lola: 1690246 markings,
lola: 1716926 markings,
lola: 1744081 markings,
lola: 1769879 markings,
lola: 1793986 markings,
lola: 1817393 markings,
lola: 1837357 markings,
lola: 1854634 markings,
lola: 1885538 markings,
lola: 1906741 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: 72544 markings,
lola: 150103 markings,
lola: 225738 markings,
lola: 300738 markings,
lola: 378524 markings,
lola: 453336 markings,
lola: 524298 markings,
lola: 596663 markings,
lola: 666286 markings,
lola: 727630 markings,
lola: 737034 markings,
lola: 744656 markings,
lola: 752234 markings,
lola: 759992 markings,
lola: 768060 markings,
lola: 778662 markings,
lola: 785876 markings,
lola: 793556 markings,
lola: 801292 markings,
lola: 809212 markings,
lola: 820154 markings,
lola: 827852 markings,
lola: 835438 markings,
lola: 843010 markings,
lola: 851836 markings,
lola: 860980 markings,
lola: 868814 markings,
lola: 876648 markings,
lola: 884596 markings,
lola: 894636 markings,
lola: 903400 markings,
lola: 911414 markings,
lola: 919264 markings,
lola: 927318 markings,
lola: 938002 markings,
lola: 945926 markings,
lola: 953774 markings,
lola: 961838 markings,
lola: 972568 markings,
lola: 980614 markings,
lola: 988544 markings,
lola: 996630 markings,
lola: 1007054 markings,
lola: 1015504 markings,
lola: 1023712 markings,
lola: 1031664 markings,
lola: 1041220 markings,
lola: 1049174 markings,
lola: 1056730 markings,
lola: 1064310 markings,
lola: 1073674 markings,
lola: 1082070 markings,
lola: 1089932 markings,
lola: 1097492 markings,
lola: 1106744 markings,
lola: 1114816 markings,
lola: 1122530 markings,
lola: 1130120 markings,
lola: 1139658 markings,
lola: 1147286 markings,
lola: 1154874 markings,
lola: 1162482 markings,
lola: 1172504 markings,
lola: 1180368 markings,
lola: 1187968 markings,
lola: 1197036 markings,
lola: 1205000 markings,
lola: 1212564 markings,
lola: 1220208 markings,
lola: 1229956 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: 24116 markings,
lola: 59591 markings,
lola: 83748 markings,
lola: 119321 markings,
lola: 143227 markings,
lola: 179232 markings,
lola: 207690 markings,
lola: 237694 markings,
lola: 272983 markings,
lola: 304750 markings,
lola: 332505 markings,
lola: 364380 markings,
lola: 397336 markings,
lola: 429362 markings,
lola: 459292 markings,
lola: 487092 markings,
lola: 515529 markings,
lola: 548715 markings,
lola: 581949 markings,
lola: 611370 markings,
lola: 640323 markings,
lola: 669397 markings,
lola: 700648 markings,
lola: 727086 markings,
lola: 747236 markings,
lola: 781009 markings,
lola: 802182 markings,
lola: 824651 markings,
lola: 853407 markings,
lola: 880084 markings,
lola: 897123 markings,
lola: 921379 markings,
lola: 944019 markings,
lola: 975155 markings,
lola: 999986 markings,
lola: 1022425 markings,
lola: 1056434 markings,
lola: 1078858 markings,
lola: 1105811 markings,
lola: 1134509 markings,
lola: 1156805 markings,
lola: 1190443 markings,
lola: 1212547 markings,
lola: 1243859 markings,
lola: 1266095 markings,
lola: 1291226 markings,
lola: 1318297 markings,
lola: 1340397 markings,
lola: 1371355 markings,
lola: 1392766 markings,
lola: 1423514 markings,
lola: 1445504 markings,
lola: 1474969 markings,
lola: 1501116 markings,
lola: 1526560 markings,
lola: 1555342 markings,
lola: 1577400 markings,
lola: 1606440 markings,
lola: 1635771 markings,
lola: 1658853 markings,
lola: 1688013 markings,
lola: 1715426 markings,
lola: 1742914 markings,
lola: 1770017 markings,
lola: 1796755 markings,
lola: 1818450 markings,
lola: 1837749 markings,
lola: 1854492 markings,
lola: 1885071 markings,
lola: 1905387 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: 19849 markings,
lola: 37008 markings,
lola: 53256 markings,
lola: 69250 markings,
lola: 84201 markings,
lola: 101699 markings,
lola: 117263 markings,
lola: 134269 markings,
lola: 149982 markings,
lola: 166109 markings,
lola: 181638 markings,
lola: 200940 markings,
lola: 218207 markings,
lola: 234565 markings,
lola: 252219 markings,
lola: 273178 markings,
lola: 290882 markings,
lola: 308163 markings,
lola: 324817 markings,
lola: 346971 markings,
lola: 366147 markings,
lola: 384254 markings,
lola: 402677 markings,
lola: 421415 markings,
lola: 444093 markings,
lola: 464755 markings,
lola: 482992 markings,
lola: 499249 markings,
lola: 514868 markings,
lola: 536722 markings,
lola: 558394 markings,
lola: 579313 markings,
lola: 599038 markings,
lola: 617715 markings,
lola: 635714 markings,
lola: 659062 markings,
lola: 681914 markings,
lola: 701275 markings,
lola: 721343 markings,
lola: 742164 markings,
lola: 761368 markings,
lola: 779417 markings,
lola: 803465 markings,
lola: 827298 markings,
lola: 847482 markings,
lola: 868069 markings,
lola: 885338 markings,
lola: 901606 markings,
lola: 921803 markings,
lola: 938675 markings,
lola: 961921 markings,
lola: 983910 markings,
lola: 1006054 markings,
lola: 1024902 markings,
lola: 1046143 markings,
lola: 1064942 markings,
lola: 1082959 markings,
lola: 1105446 markings,
lola: 1122488 markings,
lola: 1146281 markings,
lola: 1170699 markings,
lola: 1192708 markings,
lola: 1215211 markings,
lola: 1235378 markings,
lola: 1254010 markings,
lola: 1275748 markings,
lola: 1294094 markings,
lola: 1314322 markings,
lola: 1330725 markings,
lola: 1354831 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: 68924 markings,
lola: 140596 markings,
lola: 210442 markings,
lola: 280216 markings,
lola: 349448 markings,
lola: 422466 markings,
lola: 445084 markings,
lola: 454504 markings,
lola: 463978 markings,
lola: 473810 markings,
lola: 485358 markings,
lola: 495128 markings,
lola: 504216 markings,
lola: 513866 markings,
lola: 525422 markings,
lola: 535372 markings,
lola: 545250 markings,
lola: 555142 markings,
lola: 566148 markings,
lola: 574970 markings,
lola: 583758 markings,
lola: 592908 markings,
lola: 602730 markings,
lola: 611774 markings,
lola: 619732 markings,
lola: 628062 markings,
lola: 635906 markings,
lola: 646260 markings,
lola: 654180 markings,
lola: 662334 markings,
lola: 670928 markings,
lola: 681356 markings,
lola: 689990 markings,
lola: 698322 markings,
lola: 706852 markings,
lola: 717600 markings,
lola: 725596 markings,
lola: 733858 markings,
lola: 742308 markings,
lola: 752752 markings,
lola: 760734 markings,
lola: 768964 markings,
lola: 776914 markings,
lola: 787386 markings,
lola: 796206 markings,
lola: 804724 markings,
lola: 813292 markings,
lola: 823114 markings,
lola: 831742 markings,
lola: 840434 markings,
lola: 850846 markings,
lola: 859270 markings,
lola: 867948 markings,
lola: 877268 markings,
lola: 885778 markings,
lola: 893918 markings,
lola: 902366 markings,
lola: 912602 markings,
lola: 920552 markings,
lola: 928556 markings,
lola: 938126 markings,
lola: 946024 markings,
lola: 954022 markings,
lola: 963440 markings,
lola: 971270 markings,
lola: 979498 markings,
lola: 989916 markings,
lola: 999086 markings,
lola: 1008084 markings,
lola: 1018122 markings,
lola: 1026552 markings,
lola: 1035762 markings,
lola: 1044006 markings,
lola: 1053840 markings,
lola: 1064218 markings,
lola: 1072272 markings,
lola: 1081832 markings,
lola: 1090906 markings,
lola: 1100094 markings,
lola: 1110820 markings,
lola: 1120942 markings,
lola: 1128328 markings,
lola: 1135364 markings,
lola: 1142548 markings,
lola: 1149700 markings,
lola: 1156586 markings,
lola: 1165510 markings,
lola: 1173584 markings,
lola: 1182924 markings,
lola: 1193002 markings,
lola: 1203096 markings,
lola: 1211750 markings,
lola: 1219996 markings,
lola: 1228244 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: 16173 markings,
lola: 35091 markings,
lola: 51016 markings,
lola: 68838 markings,
lola: 84924 markings,
lola: 103470 markings,
lola: 120039 markings,
lola: 136972 markings,
lola: 155278 markings,
lola: 171684 markings,
lola: 188456 markings,
lola: 206272 markings,
lola: 224225 markings,
lola: 240877 markings,
lola: 257502 markings,
lola: 274655 markings,
lola: 292078 markings,
lola: 309512 markings,
lola: 326688 markings,
lola: 343283 markings,
lola: 358998 markings,
lola: 376291 markings,
lola: 393038 markings,
lola: 408631 markings,
lola: 423374 markings,
lola: 436954 markings,
lola: 449161 markings,
lola: 463132 markings,
lola: 479277 markings,
lola: 491242 markings,
lola: 503874 markings,
lola: 521199 markings,
lola: 536050 markings,
lola: 550726 markings,
lola: 569085 markings,
lola: 584040 markings,
lola: 599044 markings,
lola: 615379 markings,
lola: 629227 markings,
lola: 647659 markings,
lola: 662820 markings,
lola: 679048 markings,
lola: 694963 markings,
lola: 709821 markings,
lola: 727027 markings,
lola: 741649 markings,
lola: 759106 markings,
lola: 773848 markings,
lola: 791061 markings,
lola: 805597 markings,
lola: 822594 markings,
lola: 837158 markings,
lola: 853997 markings,
lola: 870266 markings,
lola: 886249 markings,
lola: 902273 markings,
lola: 916484 markings,
lola: 931996 markings,
lola: 948103 markings,
lola: 962591 markings,
lola: 977906 markings,
lola: 994271 markings,
lola: 1009658 markings,
lola: 1024224 markings,
lola: 1040405 markings,
lola: 1056257 markings,
lola: 1071030 markings,
lola: 1084195 markings,
lola: 1096828 markings,
lola: 1111865 markings,
lola: 1127916 markings,
lola: 1142486 markings,
lola: 1155022 markings,
lola: 1169208 markings,
lola: 1182501 markings,
lola: 1199458 markings,
lola: 1211630 markings,
lola: 1225024 markings,
lola: 1237698 markings,
lola: 1253338 markings,
lola: 1266110 markings,
lola: 1279758 markings,
lola: 1291798 markings,
lola: 1307335 markings,
lola: 1320922 markings,
lola: 1334463 markings,
lola: 1346966 markings,
lola: 1362867 markings,
lola: 1376267 markings,
lola: 1390344 markings,
lola: 1403421 markings,
lola: 1420317 markings,
lola: 1434293 markings,
lola: 1448079 markings,
lola: 1465159 markings,
lola: 1477318 markings,
lola: 1491754 markings,
lola: 1509345 markings,
lola: 1521835 markings,
lola: 1535943 markings,
lola: 1552035 markings,
lola: 1563929 markings,
lola: 1576598 markings,
lola: 1590468 markings,
lola: 1603847 markings,
lola: 1616471 markings,
lola: 1629222 markings,
lola: 1643740 markings,
lola: 1657451 markings,
lola: 1673429 markings,
lola: 1687041 markings,
lola: 1700207 markings,
lola: 1715811 markings,
lola: 1729821 markings,
lola: 1745268 markings,
lola: 1759201 markings,
lola: 1774016 markings,
lola: 1788082 markings,
lola: 1803489 markings,
lola: 1817162 markings,
lola: 1831852 markings,
lola: 1845952 markings,
lola: 1861241 markings,
lola: 1873926 markings,
lola: 1887447 markings,
lola: 1899529 markings,
lola: 1913759 markings,
lola: 1928274 markings,
lola: 1943803 markings,
lola: 1957129 markings,
lola: 1967975 markings,
lola: 1979092 markings,
lola: 1992358 markings,
lola: 2007608 markings,
lola: 2024907 markings,
lola: 2037649 markings,
lola: 2051507 markings,
lola: 2067345 markings,
lola: 2080484 markings,
lola: 2095653 markings,
lola: 2112287 markings,
lola: 2125458 markings,
lola: 2140398 markings,
lola: 2153413 markings,
lola: 2166035 markings,
lola: 2182267 markings,
lola: 2193210 markings,
lola: 2204765 markings,
lola: 2220146 markings,
lola: 2233773 markings,
lola: 2250074 markings,
lola: 2263121 markings,
lola: 2275404 markings,
lola: 2289928 markings,
lola: 2303387 markings,
lola: 2320057 markings,
lola: 2332577 markings,
lola: 2347209 markings,
lola: 2360099 markings,
lola: 2374896 markings,
lola: 2390466 markings,
lola: 2403047 markings,
lola: 2418396 markings,
lola: 2431648 markings,
lola: 2448016 markings,
lola: 2460775 markings,
lola: 2475343 markings,
lola: 2488585 markings,
lola: 2505271 markings,
lola: 2517508 markings,
lola: 2532200 markings,
lola: 2545392 markings,
lola: 2560656 markings,
lola: 2571391 markings,
lola: 2584205 markings,
lola: 2595556 markings,
lola: 2609929 markings,
lola: 2622474 markings,
lola: 2636901 markings,
lola: 2650476 markings,
lola: 2666184 markings,
lola: 2678909 markings,
lola: 2693909 markings,
lola: 2709972 markings,
lola: 2723411 markings,
lola: 2738008 markings,
lola: 2751766 markings,
lola: 2766714 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 1496352460235

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

----- Start make prepare
----- Start make result
----- Start make result
----- Kill lola and
----- Finished stderr -----
ready (probing ssh) =============================================================== cles-PT-V50P20N20, examination is UpperBounds is 3600 seconds is 16384 MBytes is r088-csrt-149441074500479 ========================================= 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 ----- =============================================================== translating PT Petri net model.pnml into LoLA format =============================================================== =============================================================== translating PT formula UpperBounds into LoLA format =============================================================== stdout ----- icles-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) 25306 edges, 2427 markings/sec, 0 secs 51163 edges, 2253 markings/sec, 5 secs 75220 edges, 2005 markings/sec, 10 secs 104182 edges, 2469 markings/sec, 15 secs 134030 edges, 2470 markings/sec, 20 secs 164116 edges, 2434 markings/sec, 25 secs 195828 edges, 2655 markings/sec, 30 secs 225314 edges, 2348 markings/sec, 35 secs 254347 edges, 2356 markings/sec, 40 secs 281444 edges, 2137 markings/sec, 45 secs 307938 edges, 2159 markings/sec, 50 secs 337759 edges, 2518 markings/sec, 55 secs 365908 edges, 2170 markings/sec, 60 secs 391699 edges, 2038 markings/sec, 65 secs 418627 edges, 2170 markings/sec, 70 secs 445367 edges, 2119 markings/sec, 75 secs 471814 edges, 2037 markings/sec, 80 secs 498968 edges, 2140 markings/sec, 85 secs 525647 edges, 2121 markings/sec, 90 secs 551364 edges, 2086 markings/sec, 95 secs 582799 edges, 2605 markings/sec, 100 secs 611546 edges, 2193 markings/sec, 105 secs 637886 edges, 2022 markings/sec, 110 secs 663232 edges, 1995 markings/sec, 115 secs 688980 edges, 2018 markings/sec, 120 secs 715228 edges, 2145 markings/sec, 125 secs 743512 edges, 2181 markings/sec, 130 secs 770245 edges, 2062 markings/sec, 135 secs 795401 edges, 1930 markings/sec, 140 secs 821184 edges, 1984 markings/sec, 145 secs 849086 edges, 2128 markings/sec, 150 secs 877165 edges, 2236 markings/sec, 155 secs 903286 edges, 2118 markings/sec, 160 secs 932734 edges, 2483 markings/sec, 165 secs 965526 edges, 2507 markings/sec, 170 secs 992948 edges, 2057 markings/sec, 175 secs 1018452 edges, 1943 markings/sec, 180 secs 1045380 edges, 2039 markings/sec, 185 secs 1071728 edges, 2046 markings/sec, 190 secs 1096371 edges, 1953 markings/sec, 195 secs 1121168 edges, 1885 markings/sec, 200 secs 1145861 edges, 1971 markings/sec, 205 secs 1170407 edges, 1964 markings/sec, 210 secs 1195694 edges, 1936 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) 57994 edges, 5117 markings/sec, 0 secs 169308 edges, 7500 markings/sec, 5 secs 254027 edges, 6157 markings/sec, 10 secs 334204 edges, 6136 markings/sec, 15 secs 401002 edges, 5358 markings/sec, 20 secs 499639 edges, 6864 markings/sec, 25 secs 603322 edges, 7135 markings/sec, 30 secs 678443 edges, 5691 markings/sec, 35 secs 759564 edges, 5952 markings/sec, 40 secs 857349 edges, 6710 markings/sec, 45 secs 947383 edges, 6205 markings/sec, 50 secs 1018969 edges, 5575 markings/sec, 55 secs 1099550 edges, 5908 markings/sec, 60 secs 1192544 edges, 6535 markings/sec, 65 secs 1284051 edges, 6483 markings/sec, 70 secs 1372968 edges, 6352 markings/sec, 75 secs 1459755 edges, 6236 markings/sec, 80 secs 1544085 edges, 6110 markings/sec, 85 secs 1624816 edges, 5884 markings/sec, 90 secs 1710556 edges, 6076 markings/sec, 95 secs 1802023 edges, 6343 markings/sec, 100 secs 1877975 edges, 5664 markings/sec, 105 secs 1970931 edges, 6498 markings/sec, 110 secs 2042087 edges, 4710 markings/sec, 115 secs 2132553 edges, 5978 markings/sec, 120 secs 2207307 edges, 5553 markings/sec, 125 secs 2274376 edges, 4349 markings/sec, 130 secs 2368210 edges, 5987 markings/sec, 135 secs 2435518 edges, 5259 markings/sec, 140 secs 2498927 edges, 4233 markings/sec, 145 secs 2558027 edges, 4499 markings/sec, 150 secs 2623784 edges, 4393 markings/sec, 155 secs 2729584 edges, 6963 markings/sec, 160 secs 2792944 edges, 4335 markings/sec, 165 secs 2868219 edges, 5063 markings/sec, 170 secs 2953826 edges, 6061 markings/sec, 175 secs 3019042 edges, 4303 markings/sec, 180 secs 3120712 edges, 6511 markings/sec, 185 secs 3181527 edges, 4434 markings/sec, 190 secs 3254011 edges, 4775 markings/sec, 195 secs 3340008 edges, 6093 markings/sec, 200 secs 3406356 edges, 4398 markings/sec, 205 secs 3506999 edges, 6664 markings/sec, 210 secs 3572044 edges, 4405 markings/sec, 215 secs 3669979 edges, 6492 markings/sec, 220 secs 3735806 edges, 4488 markings/sec, 225 secs 3831663 edges, 6424 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) 54156 edges, 4781 markings/sec, 0 secs 161289 edges, 7224 markings/sec, 5 secs 222105 edges, 4956 markings/sec, 10 secs 322559 edges, 6905 markings/sec, 15 secs 375099 edges, 4570 markings/sec, 20 secs 477415 edges, 6885 markings/sec, 25 secs 538892 edges, 4927 markings/sec, 30 secs 632237 edges, 6475 markings/sec, 35 secs 728364 edges, 6594 markings/sec, 40 secs 790676 edges, 4923 markings/sec, 45 secs 877613 edges, 6133 markings/sec, 50 secs 971971 edges, 6536 markings/sec, 55 secs 1055055 edges, 5859 markings/sec, 60 secs 1122092 edges, 5204 markings/sec, 65 secs 1204390 edges, 5925 markings/sec, 70 secs 1292578 edges, 6185 markings/sec, 75 secs 1378562 edges, 6099 markings/sec, 80 secs 1463362 edges, 6073 markings/sec, 85 secs 1546232 edges, 5975 markings/sec, 90 secs 1626447 edges, 5816 markings/sec, 95 secs 1703606 edges, 5643 markings/sec, 100 secs 1788272 edges, 6012 markings/sec, 105 secs 1876158 edges, 6178 markings/sec, 110 secs 1947880 edges, 5367 markings/sec, 115 secs 2032249 edges, 5207 markings/sec, 120 secs 2085013 edges, 4065 markings/sec, 125 secs 2187629 edges, 6418 markings/sec, 130 secs 2236787 edges, 4235 markings/sec, 135 secs 2306028 edges, 4530 markings/sec, 140 secs 2412648 edges, 6581 markings/sec, 145 secs 2463883 edges, 4392 markings/sec, 150 secs 2512338 edges, 3511 markings/sec, 155 secs 2572403 edges, 4507 markings/sec, 160 secs 2638854 edges, 4338 markings/sec, 165 secs 2735484 edges, 6141 markings/sec, 170 secs 2798034 edges, 4832 markings/sec, 175 secs 2869039 edges, 4661 markings/sec, 180 secs 2975884 edges, 6951 markings/sec, 185 secs 3042322 edges, 4553 markings/sec, 190 secs 3132319 edges, 5923 markings/sec, 195 secs 3205037 edges, 5369 markings/sec, 200 secs 3277239 edges, 4676 markings/sec, 205 secs 3377332 edges, 6814 markings/sec, 210 secs 3443344 edges, 4445 markings/sec, 215 secs 3541702 edges, 6405 markings/sec, 220 secs 3605987 edges, 4457 markings/sec, 225 secs 3704497 edges, 6316 markings/sec, 230 secs 3764455 edges, 4494 markings/sec, 235 secs 3854962 edges, 5793 markings/sec, 240 secs 3924954 edges, 5065 markings/sec, 245 secs 4012479 edges, 5585 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) 52915 edges, 4678 markings/sec, 0 secs 156394 edges, 6927 markings/sec, 5 secs 209496 edges, 4508 markings/sec, 10 secs 316676 edges, 7260 markings/sec, 15 secs 370809 edges, 4647 markings/sec, 20 secs 472925 edges, 6924 markings/sec, 25 secs 528301 edges, 4665 markings/sec, 30 secs 628085 edges, 6760 markings/sec, 35 secs 722393 edges, 6398 markings/sec, 40 secs 778718 edges, 4752 markings/sec, 45 secs 873838 edges, 6523 markings/sec, 50 secs 968043 edges, 6542 markings/sec, 55 secs 1047695 edges, 5747 markings/sec, 60 secs 1118062 edges, 5403 markings/sec, 65 secs 1206707 edges, 6357 markings/sec, 70 secs 1297108 edges, 6391 markings/sec, 75 secs 1385090 edges, 6255 markings/sec, 80 secs 1470604 edges, 6128 markings/sec, 85 secs 1554601 edges, 6081 markings/sec, 90 secs 1636264 edges, 5967 markings/sec, 95 secs 1734105 edges, 6755 markings/sec, 100 secs 1822186 edges, 6380 markings/sec, 105 secs 1901925 edges, 5897 markings/sec, 110 secs 1995106 edges, 6322 markings/sec, 115 secs 2061723 edges, 4680 markings/sec, 120 secs 2159725 edges, 6274 markings/sec, 125 secs 2227212 edges, 5119 markings/sec, 130 secs 2293520 edges, 4307 markings/sec, 135 secs 2380894 edges, 5743 markings/sec, 140 secs 2455899 edges, 5540 markings/sec, 145 secs 2494793 edges, 3227 markings/sec, 150 secs 2561820 edges, 4631 markings/sec, 155 secs 2626996 edges, 4273 markings/sec, 160 secs 2709525 edges, 5558 markings/sec, 165 secs 2791097 edges, 5892 markings/sec, 170 secs 2858512 edges, 4446 markings/sec, 175 secs 2964111 edges, 6679 markings/sec, 180 secs 3028325 edges, 4698 markings/sec, 185 secs 3100311 edges, 4787 markings/sec, 190 secs 3192962 edges, 6464 markings/sec, 195 secs 3260262 edges, 4522 markings/sec, 200 secs 3363334 edges, 6677 markings/sec, 205 secs 3430123 edges, 4564 markings/sec, 210 secs 3526507 edges, 6222 markings/sec, 215 secs 3586943 edges, 4559 markings/sec, 220 secs 3661165 edges, 4845 markings/sec, 225 secs 3740654 edges, 5710 markings/sec, 230 secs 3814493 edges, 4706 markings/sec, 235 secs 3900982 edges, 6069 markings/sec, 240 secs 3972214 edges, 4588 markings/sec, 245 secs 4058468 edges, 6091 markings/sec, 250 secs 4140391 edges, 5178 markings/sec, 255 secs 4219417 edges, 5549 markings/sec, 260 secs 4312421 edges, 5856 markings/sec, 265 secs 4376367 edges, 4588 markings/sec, 270 secs 4462416 edges, 5923 markings/sec, 275 secs 4532792 edges, 4678 markings/sec, 280 secs 4612890 edges, 5522 markings/sec, 285 secs 4698083 edges, 5714 markings/sec, 290 secs 4773957 edges, 5015 markings/sec, 295 secs 4844711 edges, 4887 markings/sec, 300 secs 4920030 edges, 5336 markings/sec, 305 secs 5003316 edges, 5431 markings/sec, 310 secs 5082428 edges, 5160 markings/sec, 315 secs 5151684 edges, 4821 markings/sec, 320 secs 5227665 edges, 4681 markings/sec, 325 secs 5278317 edges, 3993 markings/sec, 330 secs 5328254 edges, 3455 markings/sec, 335 secs 5427488 edges, 6181 markings/sec, 340 secs 5476505 edges, 4241 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) 117980 edges, 14509 markings/sec, 0 secs 245425 edges, 15512 markings/sec, 5 secs 368420 edges, 15127 markings/sec, 10 secs 491258 edges, 15000 markings/sec, 15 secs 618688 edges, 15557 markings/sec, 20 secs 740916 edges, 14962 markings/sec, 25 secs 856157 edges, 14192 markings/sec, 30 secs 973870 edges, 14473 markings/sec, 35 secs 1086773 edges, 13925 markings/sec, 40 secs 1186109 edges, 12269 markings/sec, 45 secs 1199824 edges, 1881 markings/sec, 50 secs 1212892 edges, 1524 markings/sec, 55 secs 1225866 edges, 1516 markings/sec, 60 secs 1238922 edges, 1552 markings/sec, 65 secs 1251841 edges, 1614 markings/sec, 70 secs 1266951 edges, 2120 markings/sec, 75 secs 1279363 edges, 1443 markings/sec, 80 secs 1292433 edges, 1536 markings/sec, 85 secs 1305569 edges, 1547 markings/sec, 90 secs 1318431 edges, 1584 markings/sec, 95 secs 1333960 edges, 2188 markings/sec, 100 secs 1347136 edges, 1540 markings/sec, 105 secs 1360138 edges, 1517 markings/sec, 110 secs 1372894 edges, 1514 markings/sec, 115 secs 1386810 edges, 1765 markings/sec, 120 secs 1399924 edges, 1829 markings/sec, 125 secs 1413382 edges, 1567 markings/sec, 130 secs 1426734 edges, 1567 markings/sec, 135 secs 1440150 edges, 1590 markings/sec, 140 secs 1454998 edges, 2008 markings/sec, 145 secs 1468791 edges, 1753 markings/sec, 150 secs 1482484 edges, 1603 markings/sec, 155 secs 1495864 edges, 1570 markings/sec, 160 secs 1509033 edges, 1611 markings/sec, 165 secs 1524354 edges, 2137 markings/sec, 170 secs 1537930 edges, 1585 markings/sec, 175 secs 1551244 edges, 1570 markings/sec, 180 secs 1564790 edges, 1613 markings/sec, 185 secs 1580135 edges, 2146 markings/sec, 190 secs 1593749 edges, 1609 markings/sec, 195 secs 1607222 edges, 1586 markings/sec, 200 secs 1620917 edges, 1617 markings/sec, 205 secs 1636156 edges, 2085 markings/sec, 210 secs 1650001 edges, 1690 markings/sec, 215 secs 1663973 edges, 1642 markings/sec, 220 secs 1677446 edges, 1590 markings/sec, 225 secs 1691459 edges, 1911 markings/sec, 230 secs 1704277 edges, 1591 markings/sec, 235 secs 1717200 edges, 1511 markings/sec, 240 secs 1730045 edges, 1516 markings/sec, 245 secs 1744154 edges, 1873 markings/sec, 250 secs 1757405 edges, 1679 markings/sec, 255 secs 1770825 edges, 1572 markings/sec, 260 secs 1783560 edges, 1512 markings/sec, 265 secs 1797371 edges, 1850 markings/sec, 270 secs 1810332 edges, 1614 markings/sec, 275 secs 1823476 edges, 1543 markings/sec, 280 secs 1836267 edges, 1518 markings/sec, 285 secs 1850092 edges, 1908 markings/sec, 290 secs 1862918 edges, 1526 markings/sec, 295 secs 1875845 edges, 1518 markings/sec, 300 secs 1888546 edges, 1522 markings/sec, 305 secs 1903219 edges, 2004 markings/sec, 310 secs 1916671 edges, 1573 markings/sec, 315 secs 1929533 edges, 1520 markings/sec, 320 secs 1943146 edges, 1814 markings/sec, 325 secs 1956055 edges, 1593 markings/sec, 330 secs 1968965 edges, 1513 markings/sec, 335 secs 1981626 edges, 1529 markings/sec, 340 secs 1996147 edges, 1950 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) 54678 edges, 4823 markings/sec, 0 secs 160199 edges, 7095 markings/sec, 5 secs 218612 edges, 4831 markings/sec, 10 secs 322536 edges, 7115 markings/sec, 15 secs 377620 edges, 4781 markings/sec, 20 secs 483728 edges, 7201 markings/sec, 25 secs 559577 edges, 5692 markings/sec, 30 secs 641311 edges, 6001 markings/sec, 35 secs 744111 edges, 7058 markings/sec, 40 secs 835176 edges, 6353 markings/sec, 45 secs 905935 edges, 5551 markings/sec, 50 secs 994912 edges, 6375 markings/sec, 55 secs 1089629 edges, 6591 markings/sec, 60 secs 1180692 edges, 6405 markings/sec, 65 secs 1266936 edges, 5986 markings/sec, 70 secs 1341160 edges, 5560 markings/sec, 75 secs 1418596 edges, 5687 markings/sec, 80 secs 1512850 edges, 6637 markings/sec, 85 secs 1606902 edges, 6647 markings/sec, 90 secs 1687061 edges, 5884 markings/sec, 95 secs 1765703 edges, 5791 markings/sec, 100 secs 1845688 edges, 5815 markings/sec, 105 secs 1934709 edges, 6250 markings/sec, 110 secs 2014798 edges, 5288 markings/sec, 115 secs 2066753 edges, 4030 markings/sec, 120 secs 2176324 edges, 6755 markings/sec, 125 secs 2228299 edges, 4235 markings/sec, 130 secs 2296930 edges, 4494 markings/sec, 135 secs 2385729 edges, 5751 markings/sec, 140 secs 2456858 edges, 5335 markings/sec, 145 secs 2499345 edges, 3408 markings/sec, 150 secs 2567609 edges, 4851 markings/sec, 155 secs 2636144 edges, 4528 markings/sec, 160 secs 2733080 edges, 6227 markings/sec, 165 secs 2797951 edges, 4966 markings/sec, 170 secs 2865993 edges, 4488 markings/sec, 175 secs 2971884 edges, 6802 markings/sec, 180 secs 3035700 edges, 4485 markings/sec, 185 secs 3116816 edges, 5391 markings/sec, 190 secs 3196499 edges, 5740 markings/sec, 195 secs 3264100 edges, 4459 markings/sec, 200 secs 3367052 edges, 6728 markings/sec, 205 secs 3432735 edges, 4421 markings/sec, 210 secs 3529961 edges, 6262 markings/sec, 215 secs 3588428 edges, 4447 markings/sec, 220 secs 3665571 edges, 5026 markings/sec, 225 secs 3740337 edges, 5414 markings/sec, 230 secs 3809451 edges, 4420 markings/sec, 235 secs 3898846 edges, 6192 markings/sec, 240 secs 3964482 edges, 4282 markings/sec, 245 secs 4053471 edges, 6150 markings/sec, 250 secs 4120938 edges, 4398 markings/sec, 255 secs 4204491 edges, 5893 markings/sec, 260 secs 4287573 edges, 5229 markings/sec, 265 secs 4359540 edges, 5089 markings/sec, 270 secs 4448372 edges, 5756 markings/sec, 275 secs 4511254 edges, 4412 markings/sec, 280 secs 4593755 edges, 5808 markings/sec, 285 secs 4686009 edges, 5866 markings/sec, 290 secs 4751744 edges, 4616 markings/sec, 295 secs 4837178 edges, 5832 markings/sec, 300 secs 4916585 edges, 5483 markings/sec, 305 secs 5000504 edges, 5498 markings/sec, 310 secs 5082753 edges, 5421 markings/sec, 315 secs 5160944 edges, 5348 markings/sec, 320 secs 5229521 edges, 4339 markings/sec, 325 secs 5279630 edges, 3860 markings/sec, 330 secs 5327972 edges, 3349 markings/sec, 335 secs 5426172 edges, 6116 markings/sec, 340 secs 5473502 edges, 4063 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) 47652 edges, 3970 markings/sec, 0 secs 92410 edges, 3432 markings/sec, 5 secs 135278 edges, 3250 markings/sec, 10 secs 178799 edges, 3199 markings/sec, 15 secs 217365 edges, 2990 markings/sec, 20 secs 265400 edges, 3500 markings/sec, 25 secs 305447 edges, 3113 markings/sec, 30 secs 352911 edges, 3401 markings/sec, 35 secs 392675 edges, 3143 markings/sec, 40 secs 435722 edges, 3225 markings/sec, 45 secs 479022 edges, 3106 markings/sec, 50 secs 530958 edges, 3860 markings/sec, 55 secs 579947 edges, 3453 markings/sec, 60 secs 625743 edges, 3272 markings/sec, 65 secs 674150 edges, 3531 markings/sec, 70 secs 733186 edges, 4192 markings/sec, 75 secs 784055 edges, 3541 markings/sec, 80 secs 832830 edges, 3456 markings/sec, 85 secs 880198 edges, 3331 markings/sec, 90 secs 941890 edges, 4431 markings/sec, 95 secs 996965 edges, 3835 markings/sec, 100 secs 1050310 edges, 3621 markings/sec, 105 secs 1104156 edges, 3685 markings/sec, 110 secs 1154307 edges, 3748 markings/sec, 115 secs 1220096 edges, 4536 markings/sec, 120 secs 1280060 edges, 4132 markings/sec, 125 secs 1333865 edges, 3647 markings/sec, 130 secs 1380525 edges, 3251 markings/sec, 135 secs 1426597 edges, 3124 markings/sec, 140 secs 1487109 edges, 4371 markings/sec, 145 secs 1550799 edges, 4334 markings/sec, 150 secs 1611969 edges, 4184 markings/sec, 155 secs 1670191 edges, 3945 markings/sec, 160 secs 1724576 edges, 3735 markings/sec, 165 secs 1778184 edges, 3600 markings/sec, 170 secs 1842624 edges, 4670 markings/sec, 175 secs 1910870 edges, 4570 markings/sec, 180 secs 1967699 edges, 3872 markings/sec, 185 secs 2027194 edges, 4014 markings/sec, 190 secs 2089857 edges, 4164 markings/sec, 195 secs 2146842 edges, 3841 markings/sec, 200 secs 2199176 edges, 3610 markings/sec, 205 secs 2266351 edges, 4810 markings/sec, 210 secs 2337467 edges, 4767 markings/sec, 215 secs 2398423 edges, 4037 markings/sec, 220 secs 2460198 edges, 4117 markings/sec, 225 secs 2510358 edges, 3454 markings/sec, 230 secs 2559472 edges, 3254 markings/sec, 235 secs 2620863 edges, 4039 markings/sec, 240 secs 2670684 edges, 3374 markings/sec, 245 secs 2734790 edges, 4649 markings/sec, 250 secs 2800236 edges, 4398 markings/sec, 255 secs 2866763 edges, 4429 markings/sec, 260 secs 2923538 edges, 3770 markings/sec, 265 secs 2988739 edges, 4248 markings/sec, 270 secs 3043777 edges, 3760 markings/sec, 275 secs 3098334 edges, 3603 markings/sec, 280 secs 3167028 edges, 4497 markings/sec, 285 secs 3217409 edges, 3408 markings/sec, 290 secs 3283506 edges, 4759 markings/sec, 295 secs 3356338 edges, 4884 markings/sec, 300 secs 3423001 edges, 4402 markings/sec, 305 secs 3491191 edges, 4501 markings/sec, 310 secs 3551346 edges, 4033 markings/sec, 315 secs 3608405 edges, 3726 markings/sec, 320 secs 3675327 edges, 4348 markings/sec, 325 secs 3729154 edges, 3669 markings/sec, 330 secs 3792473 edges, 4046 markings/sec, 335 secs 3840687 edges, 3281 markings/sec, 340 secs 3907686 edges, 4821 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) 108915 edges, 13785 markings/sec, 0 secs 222778 edges, 14334 markings/sec, 5 secs 333733 edges, 13969 markings/sec, 10 secs 444389 edges, 13955 markings/sec, 15 secs 553949 edges, 13846 markings/sec, 20 secs 669845 edges, 14604 markings/sec, 25 secs 704601 edges, 4524 markings/sec, 30 secs 720349 edges, 1884 markings/sec, 35 secs 736541 edges, 1895 markings/sec, 40 secs 753105 edges, 1966 markings/sec, 45 secs 770516 edges, 2310 markings/sec, 50 secs 786300 edges, 1954 markings/sec, 55 secs 801834 edges, 1818 markings/sec, 60 secs 818120 edges, 1930 markings/sec, 65 secs 836048 edges, 2311 markings/sec, 70 secs 851718 edges, 1990 markings/sec, 75 secs 868559 edges, 1976 markings/sec, 80 secs 885270 edges, 1978 markings/sec, 85 secs 902233 edges, 2201 markings/sec, 90 secs 916057 edges, 1764 markings/sec, 95 secs 931094 edges, 1758 markings/sec, 100 secs 946560 edges, 1830 markings/sec, 105 secs 962193 edges, 1964 markings/sec, 110 secs 975725 edges, 1809 markings/sec, 115 secs 989327 edges, 1592 markings/sec, 120 secs 1003549 edges, 1666 markings/sec, 125 secs 1016629 edges, 1569 markings/sec, 130 secs 1031957 edges, 2071 markings/sec, 135 secs 1045102 edges, 1584 markings/sec, 140 secs 1059043 edges, 1631 markings/sec, 145 secs 1073526 edges, 1719 markings/sec, 150 secs 1089395 edges, 2086 markings/sec, 155 secs 1103233 edges, 1727 markings/sec, 160 secs 1117494 edges, 1666 markings/sec, 165 secs 1131882 edges, 1706 markings/sec, 170 secs 1148237 edges, 2150 markings/sec, 175 secs 1161147 edges, 1599 markings/sec, 180 secs 1175296 edges, 1652 markings/sec, 185 secs 1189522 edges, 1690 markings/sec, 190 secs 1205270 edges, 2089 markings/sec, 195 secs 1218382 edges, 1596 markings/sec, 200 secs 1232404 edges, 1646 markings/sec, 205 secs 1245795 edges, 1590 markings/sec, 210 secs 1261418 edges, 2094 markings/sec, 215 secs 1276199 edges, 1764 markings/sec, 220 secs 1290718 edges, 1704 markings/sec, 225 secs 1304566 edges, 1714 markings/sec, 230 secs 1319516 edges, 1964 markings/sec, 235 secs 1334270 edges, 1726 markings/sec, 240 secs 1348917 edges, 1738 markings/sec, 245 secs 1364592 edges, 2082 markings/sec, 250 secs 1378755 edges, 1685 markings/sec, 255 secs 1393499 edges, 1736 markings/sec, 260 secs 1408206 edges, 1864 markings/sec, 265 secs 1421576 edges, 1702 markings/sec, 270 secs 1435491 edges, 1628 markings/sec, 275 secs 1449555 edges, 1690 markings/sec, 280 secs 1465016 edges, 2047 markings/sec, 285 secs 1478621 edges, 1590 markings/sec, 290 secs 1492113 edges, 1601 markings/sec, 295 secs 1506367 edges, 1914 markings/sec, 300 secs 1519850 edges, 1580 markings/sec, 305 secs 1533363 edges, 1600 markings/sec, 310 secs 1547656 edges, 1884 markings/sec, 315 secs 1560816 edges, 1566 markings/sec, 320 secs 1574766 edges, 1646 markings/sec, 325 secs 1590563 edges, 2084 markings/sec, 330 secs 1606184 edges, 1834 markings/sec, 335 secs 1621097 edges, 1800 markings/sec, 340 secs 1636726 edges, 2008 markings/sec, 345 secs 1651076 edges, 1686 markings/sec, 350 secs 1665194 edges, 1842 markings/sec, 355 secs 1679029 edges, 1649 markings/sec, 360 secs 1695313 edges, 1967 markings/sec, 365 secs 1711772 edges, 2076 markings/sec, 370 secs 1725354 edges, 1611 markings/sec, 375 secs 1740121 edges, 1912 markings/sec, 380 secs 1755557 edges, 1815 markings/sec, 385 secs 1769262 edges, 1838 markings/sec, 390 secs 1784625 edges, 2145 markings/sec, 395 secs 1799082 edges, 2024 markings/sec, 400 secs 1810407 edges, 1477 markings/sec, 405 secs 1822450 edges, 1407 markings/sec, 410 secs 1834734 edges, 1437 markings/sec, 415 secs 1846838 edges, 1430 markings/sec, 420 secs 1858196 edges, 1377 markings/sec, 425 secs 1871867 edges, 1785 markings/sec, 430 secs 1885551 edges, 1615 markings/sec, 435 secs 1899396 edges, 1868 markings/sec, 440 secs 1913799 edges, 2016 markings/sec, 445 secs 1928214 edges, 2019 markings/sec, 450 secs 1942030 edges, 1731 markings/sec, 455 secs 1956099 edges, 1649 markings/sec, 460 secs 1970139 edges, 1650 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) 29005 edges, 3235 markings/sec, 0 secs 70657 edges, 3784 markings/sec, 5 secs 108310 edges, 3185 markings/sec, 10 secs 151290 edges, 3564 markings/sec, 15 secs 187444 edges, 3217 markings/sec, 20 secs 232912 edges, 3709 markings/sec, 25 secs 271195 edges, 3314 markings/sec, 30 secs 310768 edges, 3387 markings/sec, 35 secs 355177 edges, 3661 markings/sec, 40 secs 393273 edges, 3281 markings/sec, 45 secs 431870 edges, 3354 markings/sec, 50 secs 474936 edges, 3563 markings/sec, 55 secs 518392 edges, 3591 markings/sec, 60 secs 556805 edges, 3330 markings/sec, 65 secs 594705 edges, 3325 markings/sec, 70 secs 635122 edges, 3431 markings/sec, 75 secs 676651 edges, 3485 markings/sec, 80 secs 717740 edges, 3487 markings/sec, 85 secs 758109 edges, 3435 markings/sec, 90 secs 797052 edges, 3319 markings/sec, 95 secs 833890 edges, 3143 markings/sec, 100 secs 874178 edges, 3459 markings/sec, 105 secs 914327 edges, 3349 markings/sec, 110 secs 950745 edges, 3119 markings/sec, 115 secs 984722 edges, 2949 markings/sec, 120 secs 1015837 edges, 2716 markings/sec, 125 secs 1039223 edges, 2441 markings/sec, 130 secs 1070227 edges, 2794 markings/sec, 135 secs 1112117 edges, 3229 markings/sec, 140 secs 1138866 edges, 2393 markings/sec, 145 secs 1168506 edges, 2526 markings/sec, 150 secs 1211943 edges, 3465 markings/sec, 155 secs 1245746 edges, 2970 markings/sec, 160 secs 1280538 edges, 2935 markings/sec, 165 secs 1325957 edges, 3672 markings/sec, 170 secs 1360893 edges, 2991 markings/sec, 175 secs 1396510 edges, 3001 markings/sec, 180 secs 1436007 edges, 3267 markings/sec, 185 secs 1468224 edges, 2770 markings/sec, 190 secs 1513809 edges, 3686 markings/sec, 195 secs 1548925 edges, 3032 markings/sec, 200 secs 1588333 edges, 3246 markings/sec, 205 secs 1625071 edges, 3183 markings/sec, 210 secs 1660569 edges, 2972 markings/sec, 215 secs 1702434 edges, 3441 markings/sec, 220 secs 1736463 edges, 2924 markings/sec, 225 secs 1778954 edges, 3491 markings/sec, 230 secs 1813173 edges, 2948 markings/sec, 235 secs 1855244 edges, 3443 markings/sec, 240 secs 1889033 edges, 2907 markings/sec, 245 secs 1930477 edges, 3399 markings/sec, 250 secs 1964548 edges, 2913 markings/sec, 255 secs 2005382 edges, 3368 markings/sec, 260 secs 2044486 edges, 3254 markings/sec, 265 secs 2081991 edges, 3197 markings/sec, 270 secs 2120924 edges, 3205 markings/sec, 275 secs 2153778 edges, 2842 markings/sec, 280 secs 2191351 edges, 3102 markings/sec, 285 secs 2230321 edges, 3221 markings/sec, 290 secs 2263939 edges, 2898 markings/sec, 295 secs 2300787 edges, 3063 markings/sec, 300 secs 2340158 edges, 3273 markings/sec, 305 secs 2376619 edges, 3077 markings/sec, 310 secs 2410986 edges, 2913 markings/sec, 315 secs 2449337 edges, 3236 markings/sec, 320 secs 2486682 edges, 3170 markings/sec, 325 secs 2520802 edges, 2955 markings/sec, 330 secs 2552821 edges, 2633 markings/sec, 335 secs 2577753 edges, 2527 markings/sec, 340 secs 2611277 edges, 3007 markings/sec, 345 secs 2649400 edges, 3210 markings/sec, 350 secs 2685552 edges, 2914 markings/sec, 355 secs 2715994 edges, 2507 markings/sec, 360 secs 2750669 edges, 2837 markings/sec, 365 secs 2782552 edges, 2659 markings/sec, 370 secs 2825370 edges, 3391 markings/sec, 375 secs 2854074 edges, 2434 markings/sec, 380 secs 2886467 edges, 2679 markings/sec, 385 secs 2916660 edges, 2535 markings/sec, 390 secs 2956434 edges, 3128 markings/sec, 395 secs 2986567 edges, 2554 markings/sec, 400 secs 3019639 edges, 2730 markings/sec, 405 secs 3048513 edges, 2408 markings/sec, 410 secs 3087995 edges, 3107 markings/sec, 415 secs 3120269 edges, 2717 markings/sec, 420 secs 3152920 edges, 2708 markings/sec, 425 secs 3182915 edges, 2501 markings/sec, 430 secs 3223592 edges, 3180 markings/sec, 435 secs 3255291 edges, 2680 markings/sec, 440 secs 3289702 edges, 2815 markings/sec, 445 secs 3320917 edges, 2615 markings/sec, 450 secs 3362480 edges, 3379 markings/sec, 455 secs 3395818 edges, 2795 markings/sec, 460 secs 3429595 edges, 2757 markings/sec, 465 secs 3472236 edges, 3416 markings/sec, 470 secs 3501385 edges, 2432 markings/sec, 475 secs 3536384 edges, 2887 markings/sec, 480 secs 3580856 edges, 3518 markings/sec, 485 secs 3610115 edges, 2498 markings/sec, 490 secs 3644058 edges, 2822 markings/sec, 495 secs 3684408 edges, 3218 markings/sec, 500 secs 3712623 edges, 2379 markings/sec, 505 secs 3743545 edges, 2534 markings/sec, 510 secs 3777615 edges, 2774 markings/sec, 515 secs 3809839 edges, 2676 markings/sec, 520 secs 3840718 edges, 2525 markings/sec, 525 secs 3871773 edges, 2550 markings/sec, 530 secs 3906968 edges, 2904 markings/sec, 535 secs 3940582 edges, 2742 markings/sec, 540 secs 3980173 edges, 3196 markings/sec, 545 secs 4011583 edges, 2722 markings/sec, 550 secs 4044482 edges, 2633 markings/sec, 555 secs 4082571 edges, 3121 markings/sec, 560 secs 4116814 edges, 2802 markings/sec, 565 secs 4154375 edges, 3089 markings/sec, 570 secs 4188167 edges, 2787 markings/sec, 575 secs 4225143 edges, 2963 markings/sec, 580 secs 4257915 edges, 2813 markings/sec, 585 secs 4296558 edges, 3081 markings/sec, 590 secs 4328463 edges, 2735 markings/sec, 595 secs 4365481 edges, 2938 markings/sec, 600 secs 4398692 edges, 2820 markings/sec, 605 secs 4437427 edges, 3058 markings/sec, 610 secs 4467083 edges, 2537 markings/sec, 615 secs 4500815 edges, 2704 markings/sec, 620 secs 4529485 edges, 2416 markings/sec, 625 secs 4564088 edges, 2846 markings/sec, 630 secs 4598371 edges, 2903 markings/sec, 635 secs 4634916 edges, 3106 markings/sec, 640 secs 4667873 edges, 2665 markings/sec, 645 secs 4690690 edges, 2169 markings/sec, 650 secs 4714254 edges, 2223 markings/sec, 655 secs 4743700 edges, 2653 markings/sec, 660 secs 4779503 edges, 3050 markings/sec, 665 secs 4821036 edges, 3460 markings/sec, 670 secs 4852268 edges, 2548 markings/sec, 675 secs 4886679 edges, 2772 markings/sec, 680 secs 4925224 edges, 3168 markings/sec, 685 secs 4957762 edges, 2628 markings/sec, 690 secs 4995114 edges, 3034 markings/sec, 695 secs 5036749 edges, 3327 markings/sec, 700 secs 5068554 edges, 2634 markings/sec, 705 secs 5104895 edges, 2988 markings/sec, 710 secs 5137584 edges, 2603 markings/sec, 715 secs 5168973 edges, 2524 markings/sec, 720 secs 5210436 edges, 3246 markings/sec, 725 secs 5235523 edges, 2189 markings/sec, 730 secs 5263929 edges, 2311 markings/sec, 735 secs 5302736 edges, 3076 markings/sec, 740 secs 5335716 edges, 2725 markings/sec, 745 secs 5377188 edges, 3260 markings/sec, 750 secs 5407990 edges, 2609 markings/sec, 755 secs 5437920 edges, 2457 markings/sec, 760 secs 5474999 edges, 2905 markings/sec, 765 secs 5507590 edges, 2692 markings/sec, 770 secs 5550020 edges, 3334 markings/sec, 775 secs 5579322 edges, 2504 markings/sec, 780 secs 5615035 edges, 2926 markings/sec, 785 secs 5647501 edges, 2578 markings/sec, 790 secs 5684253 edges, 2959 markings/sec, 795 secs 5722097 edges, 3114 markings/sec, 800 secs 5754098 edges, 2516 markings/sec, 805 secs 5791956 edges, 3070 markings/sec, 810 secs 5824251 edges, 2650 markings/sec, 815 secs 5864666 edges, 3274 markings/sec, 820 secs 5896023 edges, 2552 markings/sec, 825 secs 5931983 edges, 2914 markings/sec, 830 secs 5964176 edges, 2648 markings/sec, 835 secs 6006027 edges, 3337 markings/sec, 840 secs 6035820 edges, 2447 markings/sec, 845 secs 6071957 edges, 2938 markings/sec, 850 secs 6104400 edges, 2638 markings/sec, 855 secs 6143210 edges, 3053 markings/sec, 860 secs 6168478 edges, 2147 markings/sec, 865 secs 6199815 edges, 2563 markings/sec, 870 secs 6228523 edges, 2270 markings/sec, 875 secs 6264563 edges, 2875 markings/sec, 880 secs 6294521 edges, 2509 markings/sec, 885 secs 6329719 edges, 2885 markings/sec, 890 secs 6363716 edges, 2715 markings/sec, 895 secs 6402880 edges, 3142 markings/sec, 900 secs 6434396 edges, 2545 markings/sec, 905 secs 6471737 edges, 3000 markings/sec, 910 secs 6511488 edges, 3213 markings/sec, 915 secs 6543906 edges, 2688 markings/sec, 920 secs 6580094 edges, 2919 markings/sec, 925 secs 6613990 edges, 2752 markings/sec, 930 secs 6650458 edges, 2990 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="S_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/S_BridgeAndVehicles-PT-V50P20N20.tgz
mv S_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 S_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 r088-csrt-149441074500479"
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 ;