fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r088-csrt-149441074600560
Last Updated
June 27, 2017

About the Execution of LoLA for S_BridgeAndVehicles-PT-V80P50N20

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
988.080 3539696.00 3550662.00 165.10 ? ? 80 ? 80 ? ? ? ? ? ? ? ? ? ? ? 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 ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_BridgeAndVehicles-PT-V80P50N20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-149441074600560
=====================================================================


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

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-UpperBounds-0
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-UpperBounds-1
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-UpperBounds-10
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-UpperBounds-11
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-UpperBounds-12
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-UpperBounds-13
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-UpperBounds-14
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-UpperBounds-15
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-UpperBounds-2
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-UpperBounds-3
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-UpperBounds-4
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-UpperBounds-5
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-UpperBounds-6
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-UpperBounds-7
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-UpperBounds-8
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496354399733


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


checking for too many tokens
===========================================================================================
S_BridgeAndVehicles-PT-V80P50N20: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_BridgeAndVehicles-PT-V80P50N20 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3926/65536 symbol table entries, 230 collisions
lola: preprocessing...
lola: finding significant places
lola: 198 places, 3728 transitions, 191 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4253 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V80P50N20-UpperBounds.task
lola: MAX(CHOIX_1 + CHOIX_2) : MAX(ATTENTE_B) : MAX(VIDANGE_1 + VIDANGE_2) : MAX(ATTENTE_B) : MAX(SUR_PONT_B) : MAX(CAPACITE) : MAX(SUR_PONT_A) : MAX(SORTI_A) : MAX(CAPACITE) : MAX(CAPACITE) : MAX(ROUTE_B) : MAX(ATTENTE_A) : MAX(ROUTE_A) : MAX(CHOIX_1 + CHOIX_2) : MAX(SUR_PONT_B) : MAX(ATTENTE_B)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CHOIX_1 + CHOIX_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3122 markings, 6333 edges, 624 markings/sec, 0 secs
lola: 7053 markings, 15650 edges, 786 markings/sec, 5 secs
lola: 10965 markings, 24944 edges, 782 markings/sec, 10 secs
lola: 15144 markings, 34499 edges, 836 markings/sec, 15 secs
lola: 18132 markings, 41281 edges, 598 markings/sec, 20 secs
lola: 21472 markings, 48734 edges, 668 markings/sec, 25 secs
lola: 24759 markings, 56019 edges, 657 markings/sec, 30 secs
lola: 28374 markings, 64100 edges, 723 markings/sec, 35 secs
lola: 34754 markings, 78738 edges, 1276 markings/sec, 40 secs
lola: 38622 markings, 89264 edges, 774 markings/sec, 45 secs
lola: 42698 markings, 100010 edges, 815 markings/sec, 50 secs
lola: 46501 markings, 110358 edges, 761 markings/sec, 55 secs
lola: 50491 markings, 120943 edges, 798 markings/sec, 60 secs
lola: 54425 markings, 131526 edges, 787 markings/sec, 65 secs
lola: 58226 markings, 141747 edges, 760 markings/sec, 70 secs
lola: 62040 markings, 151965 edges, 763 markings/sec, 75 secs
lola: 65649 markings, 161834 edges, 722 markings/sec, 80 secs
lola: 69432 markings, 172206 edges, 757 markings/sec, 85 secs
lola: 73135 markings, 182040 edges, 741 markings/sec, 90 secs
lola: 76769 markings, 192170 edges, 727 markings/sec, 95 secs
lola: 80560 markings, 202344 edges, 758 markings/sec, 100 secs
lola: 84686 markings, 213192 edges, 825 markings/sec, 105 secs
lola: 90297 markings, 227962 edges, 1122 markings/sec, 110 secs
lola: 94566 markings, 239773 edges, 854 markings/sec, 115 secs
lola: 98768 markings, 251336 edges, 840 markings/sec, 120 secs
lola: 102404 markings, 261648 edges, 727 markings/sec, 125 secs
lola: 106497 markings, 273179 edges, 819 markings/sec, 130 secs
lola: 110221 markings, 283632 edges, 745 markings/sec, 135 secs
lola: 113844 markings, 293737 edges, 725 markings/sec, 140 secs
lola: 117527 markings, 304071 edges, 737 markings/sec, 145 secs
lola: 120819 markings, 313696 edges, 658 markings/sec, 150 secs
lola: 124857 markings, 324874 edges, 808 markings/sec, 155 secs
lola: 128118 markings, 334565 edges, 652 markings/sec, 160 secs
lola: 132091 markings, 345569 edges, 795 markings/sec, 165 secs
lola: 135382 markings, 355318 edges, 658 markings/sec, 170 secs
lola: 139507 markings, 366688 edges, 825 markings/sec, 175 secs
lola: 142792 markings, 376609 edges, 657 markings/sec, 180 secs
lola: 146844 markings, 387600 edges, 810 markings/sec, 185 secs
lola: 150196 markings, 397655 edges, 670 markings/sec, 190 secs
lola: 153723 markings, 407539 edges, 705 markings/sec, 195 secs
lola: 157422 markings, 418216 edges, 740 markings/sec, 200 secs
lola: 161131 markings, 429361 edges, 742 markings/sec, 205 secs
lola: 166135 markings, 442420 edges, 1001 markings/sec, 210 secs
lola: 171509 markings, 456733 edges, 1075 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ATTENTE_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 45042 markings, 70735 edges, 9008 markings/sec, 0 secs
lola: 85114 markings, 135746 edges, 8014 markings/sec, 5 secs
lola: 136456 markings, 217014 edges, 10268 markings/sec, 10 secs
lola: 174266 markings, 277671 edges, 7562 markings/sec, 15 secs
lola: 221884 markings, 353870 edges, 9524 markings/sec, 20 secs
lola: 257818 markings, 411280 edges, 7187 markings/sec, 25 secs
lola: 306512 markings, 488729 edges, 9739 markings/sec, 30 secs
lola: 346956 markings, 553619 edges, 8089 markings/sec, 35 secs
lola: 397088 markings, 633560 edges, 10026 markings/sec, 40 secs
lola: 435396 markings, 694956 edges, 7662 markings/sec, 45 secs
lola: 477580 markings, 763292 edges, 8437 markings/sec, 50 secs
lola: 519910 markings, 830004 edges, 8466 markings/sec, 55 secs
lola: 558811 markings, 892471 edges, 7780 markings/sec, 60 secs
lola: 609634 markings, 973377 edges, 10165 markings/sec, 65 secs
lola: 649748 markings, 1037643 edges, 8023 markings/sec, 70 secs
lola: 691156 markings, 1104702 edges, 8282 markings/sec, 75 secs
lola: 740694 markings, 1183001 edges, 9908 markings/sec, 80 secs
lola: 781152 markings, 1247788 edges, 8092 markings/sec, 85 secs
lola: 824070 markings, 1317215 edges, 8584 markings/sec, 90 secs
lola: 872086 markings, 1393063 edges, 9603 markings/sec, 95 secs
lola: 911483 markings, 1456140 edges, 7879 markings/sec, 100 secs
lola: 950244 markings, 1518878 edges, 7752 markings/sec, 105 secs
lola: 998858 markings, 1595781 edges, 9723 markings/sec, 110 secs
lola: 1037074 markings, 1656844 edges, 7643 markings/sec, 115 secs
lola: 1077130 markings, 1721091 edges, 8011 markings/sec, 120 secs
lola: 1125562 markings, 1799178 edges, 9686 markings/sec, 125 secs
lola: 1167938 markings, 1865943 edges, 8475 markings/sec, 130 secs
lola: 1208043 markings, 1930096 edges, 8021 markings/sec, 135 secs
lola: 1249584 markings, 1996618 edges, 8308 markings/sec, 140 secs
lola: 1291350 markings, 2063473 edges, 8353 markings/sec, 145 secs
lola: 1337606 markings, 2137973 edges, 9251 markings/sec, 150 secs
lola: 1346498 markings, 2152360 edges, 1778 markings/sec, 155 secs
lola: 1350866 markings, 2158666 edges, 874 markings/sec, 160 secs
lola: 1357110 markings, 2168716 edges, 1249 markings/sec, 165 secs
lola: 1361500 markings, 2175096 edges, 878 markings/sec, 170 secs
lola: 1365940 markings, 2181510 edges, 888 markings/sec, 175 secs
lola: 1370372 markings, 2187912 edges, 886 markings/sec, 180 secs
lola: 1374772 markings, 2194286 edges, 880 markings/sec, 185 secs
lola: 1379054 markings, 2200484 edges, 856 markings/sec, 190 secs
lola: 1383272 markings, 2206570 edges, 844 markings/sec, 195 secs
lola: 1387488 markings, 2212684 edges, 843 markings/sec, 200 secs
lola: 1391748 markings, 2218830 edges, 852 markings/sec, 205 secs
lola: 1395142 markings, 2223918 edges, 679 markings/sec, 210 secs
lola: 1398562 markings, 2229048 edges, 684 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(VIDANGE_1 + VIDANGE_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 6958 markings, 13310 edges, 1392 markings/sec, 0 secs
lola: 13083 markings, 27139 edges, 1225 markings/sec, 5 secs
lola: 19139 markings, 41088 edges, 1211 markings/sec, 10 secs
lola: 25112 markings, 54896 edges, 1195 markings/sec, 15 secs
lola: 31185 markings, 69410 edges, 1215 markings/sec, 20 secs
lola: 36399 markings, 82103 edges, 1043 markings/sec, 25 secs
lola: 41741 markings, 94540 edges, 1068 markings/sec, 30 secs
lola: 47727 markings, 108581 edges, 1197 markings/sec, 35 secs
lola: 53927 markings, 124068 edges, 1240 markings/sec, 40 secs
lola: 59189 markings, 136887 edges, 1052 markings/sec, 45 secs
lola: 64447 markings, 149840 edges, 1052 markings/sec, 50 secs
lola: 69008 markings, 161194 edges, 912 markings/sec, 55 secs
lola: 73393 markings, 171736 edges, 877 markings/sec, 60 secs
lola: 77826 markings, 182342 edges, 887 markings/sec, 65 secs
lola: 83414 markings, 194660 edges, 1118 markings/sec, 70 secs
lola: 88654 markings, 208554 edges, 1048 markings/sec, 75 secs
lola: 94368 markings, 223248 edges, 1143 markings/sec, 80 secs
lola: 100087 markings, 237682 edges, 1144 markings/sec, 85 secs
lola: 105661 markings, 250984 edges, 1115 markings/sec, 90 secs
lola: 110992 markings, 264677 edges, 1066 markings/sec, 95 secs
lola: 116203 markings, 277833 edges, 1042 markings/sec, 100 secs
lola: 121109 markings, 290235 edges, 981 markings/sec, 105 secs
lola: 126036 markings, 302522 edges, 985 markings/sec, 110 secs
lola: 131072 markings, 314720 edges, 1007 markings/sec, 115 secs
lola: 136100 markings, 326890 edges, 1006 markings/sec, 120 secs
lola: 141500 markings, 339698 edges, 1080 markings/sec, 125 secs
lola: 146708 markings, 351400 edges, 1042 markings/sec, 130 secs
lola: 152279 markings, 366377 edges, 1114 markings/sec, 135 secs
lola: 158065 markings, 381759 edges, 1157 markings/sec, 140 secs
lola: 163565 markings, 396107 edges, 1100 markings/sec, 145 secs
lola: 169398 markings, 410860 edges, 1167 markings/sec, 150 secs
lola: 174665 markings, 424223 edges, 1053 markings/sec, 155 secs
lola: 180165 markings, 437488 edges, 1100 markings/sec, 160 secs
lola: 184693 markings, 449342 edges, 906 markings/sec, 165 secs
lola: 189923 markings, 462781 edges, 1046 markings/sec, 170 secs
lola: 194879 markings, 475275 edges, 991 markings/sec, 175 secs
lola: 199701 markings, 487933 edges, 964 markings/sec, 180 secs
lola: 204724 markings, 500726 edges, 1005 markings/sec, 185 secs
lola: 209715 markings, 513315 edges, 998 markings/sec, 190 secs
lola: 214624 markings, 525738 edges, 982 markings/sec, 195 secs
lola: 219539 markings, 538300 edges, 983 markings/sec, 200 secs
lola: 224474 markings, 550375 edges, 987 markings/sec, 205 secs
lola: 229602 markings, 562656 edges, 1026 markings/sec, 210 secs
lola: 234042 markings, 573997 edges, 888 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ATTENTE_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 40848 markings, 64214 edges, 8170 markings/sec, 0 secs
lola: 84554 markings, 134953 edges, 8741 markings/sec, 5 secs
lola: 126584 markings, 201348 edges, 8406 markings/sec, 10 secs
lola: 167250 markings, 267148 edges, 8133 markings/sec, 15 secs
lola: 210564 markings, 335267 edges, 8663 markings/sec, 20 secs
lola: 248088 markings, 396331 edges, 7505 markings/sec, 25 secs
lola: 295762 markings, 471699 edges, 9535 markings/sec, 30 secs
lola: 332812 markings, 531187 edges, 7410 markings/sec, 35 secs
lola: 382422 markings, 610206 edges, 9922 markings/sec, 40 secs
lola: 423790 markings, 676513 edges, 8274 markings/sec, 45 secs
lola: 474440 markings, 757202 edges, 10130 markings/sec, 50 secs
lola: 514564 markings, 821388 edges, 8025 markings/sec, 55 secs
lola: 551897 markings, 881560 edges, 7467 markings/sec, 60 secs
lola: 599546 markings, 957958 edges, 9530 markings/sec, 65 secs
lola: 636312 markings, 1016265 edges, 7353 markings/sec, 70 secs
lola: 685638 markings, 1094886 edges, 9865 markings/sec, 75 secs
lola: 722692 markings, 1154337 edges, 7411 markings/sec, 80 secs
lola: 759798 markings, 1213967 edges, 7421 markings/sec, 85 secs
lola: 809394 markings, 1292774 edges, 9919 markings/sec, 90 secs
lola: 850506 markings, 1358734 edges, 8222 markings/sec, 95 secs
lola: 890532 markings, 1422954 edges, 8005 markings/sec, 100 secs
lola: 941184 markings, 1503558 edges, 10130 markings/sec, 105 secs
lola: 981748 markings, 1568442 edges, 8113 markings/sec, 110 secs
lola: 1021544 markings, 1632182 edges, 7959 markings/sec, 115 secs
lola: 1068652 markings, 1708217 edges, 9422 markings/sec, 120 secs
lola: 1111735 markings, 1776056 edges, 8617 markings/sec, 125 secs
lola: 1151890 markings, 1840356 edges, 8031 markings/sec, 130 secs
lola: 1192104 markings, 1904850 edges, 8043 markings/sec, 135 secs
lola: 1235164 markings, 1974274 edges, 8612 markings/sec, 140 secs
lola: 1282698 markings, 2049326 edges, 9507 markings/sec, 145 secs
lola: 1319730 markings, 2108984 edges, 7406 markings/sec, 150 secs
lola: 1344316 markings, 2149188 edges, 4917 markings/sec, 155 secs
lola: 1348406 markings, 2155099 edges, 818 markings/sec, 160 secs
lola: 1354658 markings, 2165202 edges, 1250 markings/sec, 165 secs
lola: 1359052 markings, 2171547 edges, 879 markings/sec, 170 secs
lola: 1363472 markings, 2177931 edges, 884 markings/sec, 175 secs
lola: 1367826 markings, 2184244 edges, 871 markings/sec, 180 secs
lola: 1372224 markings, 2190608 edges, 880 markings/sec, 185 secs
lola: 1376602 markings, 2196929 edges, 876 markings/sec, 190 secs
lola: 1380706 markings, 2202880 edges, 821 markings/sec, 195 secs
lola: 1384744 markings, 2208730 edges, 808 markings/sec, 200 secs
lola: 1388758 markings, 2214507 edges, 803 markings/sec, 205 secs
lola: 1392924 markings, 2220590 edges, 833 markings/sec, 210 secs
lola: 1396320 markings, 2225684 edges, 679 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SUR_PONT_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 9333 markings, 19985 edges, 1867 markings/sec, 0 secs
lola: 17485 markings, 37684 edges, 1630 markings/sec, 5 secs
lola: 22907 markings, 46717 edges, 1084 markings/sec, 10 secs
lola: 29746 markings, 59983 edges, 1368 markings/sec, 15 secs
lola: 36138 markings, 73698 edges, 1278 markings/sec, 20 secs
lola: 41308 markings, 85480 edges, 1034 markings/sec, 25 secs
lola: 48240 markings, 96086 edges, 1386 markings/sec, 30 secs
lola: 54136 markings, 108897 edges, 1179 markings/sec, 35 secs
lola: 60120 markings, 120286 edges, 1197 markings/sec, 40 secs
lola: 67007 markings, 133197 edges, 1377 markings/sec, 45 secs
lola: 73432 markings, 145520 edges, 1285 markings/sec, 50 secs
lola: 81914 markings, 167255 edges, 1696 markings/sec, 55 secs
lola: 90753 markings, 190035 edges, 1768 markings/sec, 60 secs
lola: 99353 markings, 212541 edges, 1720 markings/sec, 65 secs
lola: 108100 markings, 235130 edges, 1749 markings/sec, 70 secs
lola: 114282 markings, 250271 edges, 1236 markings/sec, 75 secs
lola: 118736 markings, 263721 edges, 891 markings/sec, 80 secs
lola: 123938 markings, 275136 edges, 1040 markings/sec, 85 secs
lola: 128810 markings, 286089 edges, 974 markings/sec, 90 secs
lola: 134836 markings, 299389 edges, 1205 markings/sec, 95 secs
lola: 140687 markings, 311953 edges, 1170 markings/sec, 100 secs
lola: 146831 markings, 325537 edges, 1229 markings/sec, 105 secs
lola: 152805 markings, 338269 edges, 1195 markings/sec, 110 secs
lola: 158812 markings, 351788 edges, 1201 markings/sec, 115 secs
lola: 167522 markings, 374169 edges, 1742 markings/sec, 120 secs
lola: 176213 markings, 396880 edges, 1738 markings/sec, 125 secs
lola: 184793 markings, 419673 edges, 1716 markings/sec, 130 secs
lola: 193389 markings, 441629 edges, 1719 markings/sec, 135 secs
lola: 200249 markings, 456518 edges, 1372 markings/sec, 140 secs
lola: 206498 markings, 470039 edges, 1250 markings/sec, 145 secs
lola: 211958 markings, 482445 edges, 1092 markings/sec, 150 secs
lola: 217855 markings, 495431 edges, 1179 markings/sec, 155 secs
lola: 223835 markings, 508362 edges, 1196 markings/sec, 160 secs
lola: 229986 markings, 521689 edges, 1230 markings/sec, 165 secs
lola: 237193 markings, 539163 edges, 1441 markings/sec, 170 secs
lola: 245806 markings, 561502 edges, 1723 markings/sec, 175 secs
lola: 254631 markings, 583852 edges, 1765 markings/sec, 180 secs
lola: 263391 markings, 606810 edges, 1752 markings/sec, 185 secs
lola: 270710 markings, 624425 edges, 1464 markings/sec, 190 secs
lola: 276320 markings, 637139 edges, 1122 markings/sec, 195 secs
lola: 282054 markings, 649427 edges, 1147 markings/sec, 200 secs
lola: 287423 markings, 661058 edges, 1074 markings/sec, 205 secs
lola: 293392 markings, 674173 edges, 1194 markings/sec, 210 secs
lola: 298547 markings, 685511 edges, 1031 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CAPACITE)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 12683 markings, 23774 edges, 2537 markings/sec, 0 secs
lola: 24495 markings, 53695 edges, 2362 markings/sec, 5 secs
lola: 37619 markings, 88443 edges, 2625 markings/sec, 10 secs
lola: 50105 markings, 121495 edges, 2497 markings/sec, 15 secs
lola: 65691 markings, 166470 edges, 3117 markings/sec, 20 secs
lola: 75802 markings, 192470 edges, 2022 markings/sec, 25 secs
lola: 85842 markings, 219801 edges, 2008 markings/sec, 30 secs
lola: 96921 markings, 250770 edges, 2216 markings/sec, 35 secs
lola: 108836 markings, 284711 edges, 2383 markings/sec, 40 secs
lola: 120321 markings, 317464 edges, 2297 markings/sec, 45 secs
lola: 132184 markings, 351457 edges, 2373 markings/sec, 50 secs
lola: 145191 markings, 389168 edges, 2601 markings/sec, 55 secs
lola: 154359 markings, 413468 edges, 1834 markings/sec, 60 secs
lola: 163606 markings, 439084 edges, 1849 markings/sec, 65 secs
lola: 172703 markings, 464794 edges, 1819 markings/sec, 70 secs
lola: 182654 markings, 493264 edges, 1990 markings/sec, 75 secs
lola: 192417 markings, 521627 edges, 1953 markings/sec, 80 secs
lola: 202441 markings, 551052 edges, 2005 markings/sec, 85 secs
lola: 212872 markings, 581651 edges, 2086 markings/sec, 90 secs
lola: 222103 markings, 608529 edges, 1846 markings/sec, 95 secs
lola: 232596 markings, 639249 edges, 2099 markings/sec, 100 secs
lola: 243732 markings, 673033 edges, 2227 markings/sec, 105 secs
lola: 253225 markings, 698788 edges, 1899 markings/sec, 110 secs
lola: 260919 markings, 719230 edges, 1539 markings/sec, 115 secs
lola: 269030 markings, 741696 edges, 1622 markings/sec, 120 secs
lola: 277366 markings, 764949 edges, 1667 markings/sec, 125 secs
lola: 285759 markings, 788650 edges, 1679 markings/sec, 130 secs
lola: 294728 markings, 814525 edges, 1794 markings/sec, 135 secs
lola: 303756 markings, 840857 edges, 1806 markings/sec, 140 secs
lola: 313905 markings, 871149 edges, 2030 markings/sec, 145 secs
lola: 322957 markings, 898008 edges, 1810 markings/sec, 150 secs
lola: 332216 markings, 924683 edges, 1852 markings/sec, 155 secs
lola: 342569 markings, 955974 edges, 2071 markings/sec, 160 secs
lola: 351545 markings, 982471 edges, 1795 markings/sec, 165 secs
lola: 361661 markings, 1012923 edges, 2023 markings/sec, 170 secs
lola: 371665 markings, 1042759 edges, 2001 markings/sec, 175 secs
lola: 384810 markings, 1083630 edges, 2629 markings/sec, 180 secs
lola: 391509 markings, 1099459 edges, 1340 markings/sec, 185 secs
lola: 399136 markings, 1119723 edges, 1525 markings/sec, 190 secs
lola: 407119 markings, 1141789 edges, 1597 markings/sec, 195 secs
lola: 415239 markings, 1164314 edges, 1624 markings/sec, 200 secs
lola: 423449 markings, 1187364 edges, 1642 markings/sec, 205 secs
lola: 432268 markings, 1212845 edges, 1764 markings/sec, 210 secs
lola: 441143 markings, 1238594 edges, 1775 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SUR_PONT_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 12035 markings, 25186 edges, 2407 markings/sec, 0 secs
lola: 23389 markings, 52536 edges, 2271 markings/sec, 5 secs
lola: 33552 markings, 75044 edges, 2033 markings/sec, 10 secs
lola: 46059 markings, 103793 edges, 2501 markings/sec, 15 secs
lola: 56497 markings, 127071 edges, 2088 markings/sec, 20 secs
lola: 68525 markings, 155166 edges, 2406 markings/sec, 25 secs
lola: 88535 markings, 215122 edges, 4002 markings/sec, 30 secs
lola: 116474 markings, 306024 edges, 5588 markings/sec, 35 secs
lola: 143756 markings, 396472 edges, 5456 markings/sec, 40 secs
lola: 152138 markings, 414110 edges, 1676 markings/sec, 45 secs
lola: 165830 markings, 445414 edges, 2738 markings/sec, 50 secs
lola: 177142 markings, 472469 edges, 2262 markings/sec, 55 secs
lola: 189439 markings, 499919 edges, 2459 markings/sec, 60 secs
lola: 200959 markings, 527612 edges, 2304 markings/sec, 65 secs
lola: 213120 markings, 555496 edges, 2432 markings/sec, 70 secs
lola: 230271 markings, 604572 edges, 3430 markings/sec, 75 secs
lola: 257839 markings, 695059 edges, 5514 markings/sec, 80 secs
lola: 285469 markings, 786799 edges, 5526 markings/sec, 85 secs
lola: 297974 markings, 814815 edges, 2501 markings/sec, 90 secs
lola: 310094 markings, 844188 edges, 2424 markings/sec, 95 secs
lola: 321113 markings, 870136 edges, 2204 markings/sec, 100 secs
lola: 334511 markings, 900293 edges, 2680 markings/sec, 105 secs
lola: 345847 markings, 927440 edges, 2267 markings/sec, 110 secs
lola: 357972 markings, 954457 edges, 2425 markings/sec, 115 secs
lola: 369089 markings, 981184 edges, 2223 markings/sec, 120 secs
lola: 380272 markings, 1006794 edges, 2237 markings/sec, 125 secs
lola: 393803 markings, 1042772 edges, 2706 markings/sec, 130 secs
lola: 419924 markings, 1129098 edges, 5224 markings/sec, 135 secs
lola: 446099 markings, 1215207 edges, 5235 markings/sec, 140 secs
lola: 463589 markings, 1263011 edges, 3498 markings/sec, 145 secs
lola: 475720 markings, 1292191 edges, 2426 markings/sec, 150 secs
lola: 487355 markings, 1317603 edges, 2327 markings/sec, 155 secs
lola: 499575 markings, 1347454 edges, 2444 markings/sec, 160 secs
lola: 511625 markings, 1375130 edges, 2410 markings/sec, 165 secs
lola: 526524 markings, 1415426 edges, 2980 markings/sec, 170 secs
lola: 554925 markings, 1508828 edges, 5680 markings/sec, 175 secs
lola: 583255 markings, 1603051 edges, 5666 markings/sec, 180 secs
lola: 597408 markings, 1635841 edges, 2831 markings/sec, 185 secs
lola: 608793 markings, 1663145 edges, 2277 markings/sec, 190 secs
lola: 621490 markings, 1691617 edges, 2539 markings/sec, 195 secs
lola: 633147 markings, 1719467 edges, 2331 markings/sec, 200 secs
lola: 645009 markings, 1746727 edges, 2372 markings/sec, 205 secs
lola: 668690 markings, 1820452 edges, 4736 markings/sec, 210 secs
lola: 697073 markings, 1913964 edges, 5677 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SORTI_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 13471 markings, 28633 edges, 2694 markings/sec, 0 secs
lola: 25293 markings, 57098 edges, 2364 markings/sec, 5 secs
lola: 37409 markings, 82539 edges, 2423 markings/sec, 10 secs
lola: 49797 markings, 112415 edges, 2478 markings/sec, 15 secs
lola: 61489 markings, 137856 edges, 2338 markings/sec, 20 secs
lola: 72600 markings, 162853 edges, 2222 markings/sec, 25 secs
lola: 98390 markings, 245510 edges, 5158 markings/sec, 30 secs
lola: 124958 markings, 332740 edges, 5314 markings/sec, 35 secs
lola: 147907 markings, 403134 edges, 4590 markings/sec, 40 secs
lola: 159759 markings, 432018 edges, 2370 markings/sec, 45 secs
lola: 170364 markings, 457475 edges, 2121 markings/sec, 50 secs
lola: 182032 markings, 483310 edges, 2334 markings/sec, 55 secs
lola: 192906 markings, 509388 edges, 2175 markings/sec, 60 secs
lola: 204145 markings, 535123 edges, 2248 markings/sec, 65 secs
lola: 217137 markings, 568974 edges, 2598 markings/sec, 70 secs
lola: 243338 markings, 655438 edges, 5240 markings/sec, 75 secs
lola: 269534 markings, 741552 edges, 5239 markings/sec, 80 secs
lola: 287154 markings, 789772 edges, 3524 markings/sec, 85 secs
lola: 298929 markings, 818356 edges, 2355 markings/sec, 90 secs
lola: 310052 markings, 844907 edges, 2225 markings/sec, 95 secs
lola: 322921 markings, 873236 edges, 2574 markings/sec, 100 secs
lola: 334923 markings, 902236 edges, 2400 markings/sec, 105 secs
lola: 346640 markings, 927781 edges, 2343 markings/sec, 110 secs
lola: 357934 markings, 955383 edges, 2259 markings/sec, 115 secs
lola: 368675 markings, 979826 edges, 2148 markings/sec, 120 secs
lola: 379055 markings, 1004199 edges, 2076 markings/sec, 125 secs
lola: 402718 markings, 1079793 edges, 4733 markings/sec, 130 secs
lola: 428893 markings, 1165756 edges, 5235 markings/sec, 135 secs
lola: 451667 markings, 1235047 edges, 4555 markings/sec, 140 secs
lola: 463390 markings, 1263554 edges, 2345 markings/sec, 145 secs
lola: 473839 markings, 1288356 edges, 2090 markings/sec, 150 secs
lola: 485875 markings, 1315340 edges, 2407 markings/sec, 155 secs
lola: 497224 markings, 1342292 edges, 2270 markings/sec, 160 secs
lola: 509442 markings, 1370333 edges, 2444 markings/sec, 165 secs
lola: 534125 markings, 1448245 edges, 4937 markings/sec, 170 secs
lola: 562375 markings, 1541193 edges, 5650 markings/sec, 175 secs
lola: 583960 markings, 1604151 edges, 4317 markings/sec, 180 secs
lola: 596247 markings, 1633906 edges, 2457 markings/sec, 185 secs
lola: 607968 markings, 1659643 edges, 2344 markings/sec, 190 secs
lola: 620122 markings, 1689101 edges, 2431 markings/sec, 195 secs
lola: 631797 markings, 1715910 edges, 2335 markings/sec, 200 secs
lola: 646893 markings, 1757303 edges, 3019 markings/sec, 205 secs
lola: 674404 markings, 1847368 edges, 5502 markings/sec, 210 secs
lola: 702177 markings, 1940274 edges, 5555 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CAPACITE)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 14732 markings, 29792 edges, 2946 markings/sec, 0 secs
lola: 26705 markings, 59527 edges, 2395 markings/sec, 5 secs
lola: 40773 markings, 97450 edges, 2814 markings/sec, 10 secs
lola: 54126 markings, 133403 edges, 2671 markings/sec, 15 secs
lola: 68100 markings, 172129 edges, 2795 markings/sec, 20 secs
lola: 79037 markings, 201347 edges, 2187 markings/sec, 25 secs
lola: 89995 markings, 231321 edges, 2192 markings/sec, 30 secs
lola: 101657 markings, 264197 edges, 2332 markings/sec, 35 secs
lola: 114009 markings, 299585 edges, 2470 markings/sec, 40 secs
lola: 126362 markings, 335257 edges, 2471 markings/sec, 45 secs
lola: 137843 markings, 368537 edges, 2296 markings/sec, 50 secs
lola: 147950 markings, 396220 edges, 2021 markings/sec, 55 secs
lola: 156710 markings, 419720 edges, 1752 markings/sec, 60 secs
lola: 166066 markings, 445896 edges, 1871 markings/sec, 65 secs
lola: 175991 markings, 474087 edges, 1985 markings/sec, 70 secs
lola: 185690 markings, 501762 edges, 1940 markings/sec, 75 secs
lola: 195651 markings, 530715 edges, 1992 markings/sec, 80 secs
lola: 205751 markings, 560207 edges, 2020 markings/sec, 85 secs
lola: 215928 markings, 590072 edges, 2035 markings/sec, 90 secs
lola: 227138 markings, 623364 edges, 2242 markings/sec, 95 secs
lola: 237497 markings, 653922 edges, 2072 markings/sec, 100 secs
lola: 250300 markings, 691524 edges, 2561 markings/sec, 105 secs
lola: 258524 markings, 712712 edges, 1645 markings/sec, 110 secs
lola: 267349 markings, 736691 edges, 1765 markings/sec, 115 secs
lola: 276957 markings, 763981 edges, 1922 markings/sec, 120 secs
lola: 286001 markings, 789379 edges, 1809 markings/sec, 125 secs
lola: 295882 markings, 818023 edges, 1976 markings/sec, 130 secs
lola: 305991 markings, 847421 edges, 2022 markings/sec, 135 secs
lola: 315988 markings, 876619 edges, 1999 markings/sec, 140 secs
lola: 327067 markings, 909884 edges, 2216 markings/sec, 145 secs
lola: 336269 markings, 937202 edges, 1840 markings/sec, 150 secs
lola: 345538 markings, 964158 edges, 1854 markings/sec, 155 secs
lola: 356733 markings, 998746 edges, 2239 markings/sec, 160 secs
lola: 365507 markings, 1023913 edges, 1755 markings/sec, 165 secs
lola: 377241 markings, 1060589 edges, 2347 markings/sec, 170 secs
lola: 387567 markings, 1089821 edges, 2065 markings/sec, 175 secs
lola: 394977 markings, 1108562 edges, 1482 markings/sec, 180 secs
lola: 402403 markings, 1128590 edges, 1485 markings/sec, 185 secs
lola: 409698 markings, 1148507 edges, 1459 markings/sec, 190 secs
lola: 418487 markings, 1173310 edges, 1758 markings/sec, 195 secs
lola: 427474 markings, 1199022 edges, 1797 markings/sec, 200 secs
lola: 436826 markings, 1225902 edges, 1870 markings/sec, 205 secs
lola: 446179 markings, 1252668 edges, 1871 markings/sec, 210 secs
lola: 456279 markings, 1282605 edges, 2020 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CAPACITE)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 14969 markings, 30259 edges, 2994 markings/sec, 0 secs
lola: 27190 markings, 60660 edges, 2444 markings/sec, 5 secs
lola: 41194 markings, 98344 edges, 2801 markings/sec, 10 secs
lola: 54678 markings, 134640 edges, 2697 markings/sec, 15 secs
lola: 68517 markings, 173213 edges, 2768 markings/sec, 20 secs
lola: 78388 markings, 199270 edges, 1974 markings/sec, 25 secs
lola: 88791 markings, 228158 edges, 2081 markings/sec, 30 secs
lola: 99753 markings, 259024 edges, 2192 markings/sec, 35 secs
lola: 110749 markings, 290035 edges, 2199 markings/sec, 40 secs
lola: 121755 markings, 321548 edges, 2201 markings/sec, 45 secs
lola: 132841 markings, 353368 edges, 2217 markings/sec, 50 secs
lola: 145146 markings, 389063 edges, 2461 markings/sec, 55 secs
lola: 153971 markings, 412382 edges, 1765 markings/sec, 60 secs
lola: 163755 markings, 439424 edges, 1957 markings/sec, 65 secs
lola: 174364 markings, 469618 edges, 2122 markings/sec, 70 secs
lola: 184319 markings, 497843 edges, 1991 markings/sec, 75 secs
lola: 195114 markings, 529118 edges, 2159 markings/sec, 80 secs
lola: 205950 markings, 560835 edges, 2167 markings/sec, 85 secs
lola: 217025 markings, 593302 edges, 2215 markings/sec, 90 secs
lola: 228639 markings, 628066 edges, 2323 markings/sec, 95 secs
lola: 240192 markings, 662582 edges, 2311 markings/sec, 100 secs
lola: 251053 markings, 693333 edges, 2172 markings/sec, 105 secs
lola: 258517 markings, 712701 edges, 1493 markings/sec, 110 secs
lola: 266328 markings, 733945 edges, 1562 markings/sec, 115 secs
lola: 275507 markings, 759930 edges, 1836 markings/sec, 120 secs
lola: 284454 markings, 785224 edges, 1789 markings/sec, 125 secs
lola: 293559 markings, 811335 edges, 1821 markings/sec, 130 secs
lola: 303402 markings, 840006 edges, 1969 markings/sec, 135 secs
lola: 313888 markings, 871085 edges, 2097 markings/sec, 140 secs
lola: 323999 markings, 901130 edges, 2022 markings/sec, 145 secs
lola: 333553 markings, 928715 edges, 1911 markings/sec, 150 secs
lola: 344118 markings, 960307 edges, 2113 markings/sec, 155 secs
lola: 353845 markings, 989511 edges, 1945 markings/sec, 160 secs
lola: 363289 markings, 1017235 edges, 1889 markings/sec, 165 secs
lola: 373537 markings, 1048652 edges, 2050 markings/sec, 170 secs
lola: 385830 markings, 1085959 edges, 2459 markings/sec, 175 secs
lola: 392360 markings, 1101724 edges, 1306 markings/sec, 180 secs
lola: 399892 markings, 1121597 edges, 1506 markings/sec, 185 secs
lola: 408469 markings, 1145291 edges, 1715 markings/sec, 190 secs
lola: 416437 markings, 1167300 edges, 1594 markings/sec, 195 secs
lola: 425379 markings, 1192660 edges, 1788 markings/sec, 200 secs
lola: 434282 markings, 1218134 edges, 1781 markings/sec, 205 secs
lola: 443783 markings, 1245939 edges, 1900 markings/sec, 210 secs
lola: 453272 markings, 1274122 edges, 1898 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ROUTE_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: ========================================
lola: subprocess 11 will run for 265 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ATTENTE_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 40328 markings, 64820 edges, 8066 markings/sec, 0 secs
lola: 88188 markings, 143629 edges, 9572 markings/sec, 5 secs
lola: 135894 markings, 223610 edges, 9541 markings/sec, 10 secs
lola: 170720 markings, 279195 edges, 6965 markings/sec, 15 secs
lola: 218112 markings, 357621 edges, 9478 markings/sec, 20 secs
lola: 265982 markings, 436473 edges, 9574 markings/sec, 25 secs
lola: 300727 markings, 492236 edges, 6949 markings/sec, 30 secs
lola: 348112 markings, 570332 edges, 9477 markings/sec, 35 secs
lola: 395588 markings, 648506 edges, 9495 markings/sec, 40 secs
lola: 430778 markings, 706407 edges, 7038 markings/sec, 45 secs
lola: 477544 markings, 782363 edges, 9353 markings/sec, 50 secs
lola: 524894 markings, 860336 edges, 9470 markings/sec, 55 secs
lola: 566256 markings, 928699 edges, 8272 markings/sec, 60 secs
lola: 606851 markings, 994279 edges, 8119 markings/sec, 65 secs
lola: 654244 markings, 1072297 edges, 9479 markings/sec, 70 secs
lola: 698658 markings, 1145808 edges, 8883 markings/sec, 75 secs
lola: 738196 markings, 1209718 edges, 7908 markings/sec, 80 secs
lola: 789017 markings, 1293361 edges, 10164 markings/sec, 85 secs
lola: 827988 markings, 1357786 edges, 7794 markings/sec, 90 secs
lola: 871764 markings, 1428831 edges, 8755 markings/sec, 95 secs
lola: 919244 markings, 1506934 edges, 9496 markings/sec, 100 secs
lola: 954204 markings, 1564428 edges, 6992 markings/sec, 105 secs
lola: 1001386 markings, 1641564 edges, 9436 markings/sec, 110 secs
lola: 1048760 markings, 1719682 edges, 9475 markings/sec, 115 secs
lola: 1083230 markings, 1775257 edges, 6894 markings/sec, 120 secs
lola: 1130418 markings, 1853398 edges, 9438 markings/sec, 125 secs
lola: 1177734 markings, 1931546 edges, 9463 markings/sec, 130 secs
lola: 1212416 markings, 1987330 edges, 6936 markings/sec, 135 secs
lola: 1258996 markings, 2063318 edges, 9316 markings/sec, 140 secs
lola: 1306069 markings, 2141182 edges, 9415 markings/sec, 145 secs
lola: 1340561 markings, 2196843 edges, 6898 markings/sec, 150 secs
lola: 1387700 markings, 2274440 edges, 9428 markings/sec, 155 secs
lola: 1423444 markings, 2333451 edges, 7149 markings/sec, 160 secs
lola: 1470674 markings, 2410794 edges, 9446 markings/sec, 165 secs
lola: 1520080 markings, 2492492 edges, 9881 markings/sec, 170 secs
lola: 1554391 markings, 2546982 edges, 6862 markings/sec, 175 secs
lola: 1601482 markings, 2624473 edges, 9418 markings/sec, 180 secs
lola: 1639286 markings, 2686890 edges, 7561 markings/sec, 185 secs
lola: 1687802 markings, 2765915 edges, 9703 markings/sec, 190 secs
lola: 1736710 markings, 2847198 edges, 9782 markings/sec, 195 secs
lola: 1773422 markings, 2905992 edges, 7342 markings/sec, 200 secs
lola: 1822410 markings, 2987062 edges, 9798 markings/sec, 205 secs
lola: 1859556 markings, 3046692 edges, 7429 markings/sec, 210 secs
lola: 1908417 markings, 3127229 edges, 9772 markings/sec, 215 secs
lola: 1945968 markings, 3188461 edges, 7510 markings/sec, 220 secs
lola: 1994898 markings, 3268469 edges, 9786 markings/sec, 225 secs
lola: 2034296 markings, 3333546 edges, 7880 markings/sec, 230 secs
lola: 2081058 markings, 3409386 edges, 9352 markings/sec, 235 secs
lola: 2125284 markings, 3482463 edges, 8845 markings/sec, 240 secs
lola: 2166592 markings, 3549314 edges, 8262 markings/sec, 245 secs
lola: 2213226 markings, 3626218 edges, 9327 markings/sec, 250 secs
lola: 2253354 markings, 3691140 edges, 8026 markings/sec, 255 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ROUTE_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: ========================================
lola: subprocess 13 will run for 354 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CHOIX_1 + CHOIX_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4270 markings, 8797 edges, 854 markings/sec, 0 secs
lola: 8297 markings, 18510 edges, 805 markings/sec, 5 secs
lola: 12196 markings, 27839 edges, 780 markings/sec, 10 secs
lola: 16274 markings, 37080 edges, 816 markings/sec, 15 secs
lola: 20019 markings, 45513 edges, 749 markings/sec, 20 secs
lola: 24196 markings, 54884 edges, 835 markings/sec, 25 secs
lola: 28195 markings, 63703 edges, 800 markings/sec, 30 secs
lola: 34365 markings, 77719 edges, 1234 markings/sec, 35 secs
lola: 37751 markings, 86834 edges, 677 markings/sec, 40 secs
lola: 41232 markings, 96045 edges, 696 markings/sec, 45 secs
lola: 44521 markings, 105017 edges, 658 markings/sec, 50 secs
lola: 48373 markings, 115322 edges, 770 markings/sec, 55 secs
lola: 51951 markings, 124976 edges, 716 markings/sec, 60 secs
lola: 55548 markings, 134696 edges, 719 markings/sec, 65 secs
lola: 59268 markings, 144659 edges, 744 markings/sec, 70 secs
lola: 62947 markings, 154513 edges, 736 markings/sec, 75 secs
lola: 66499 markings, 163964 edges, 710 markings/sec, 80 secs
lola: 69898 markings, 173545 edges, 680 markings/sec, 85 secs
lola: 73815 markings, 183929 edges, 783 markings/sec, 90 secs
lola: 77540 markings, 193988 edges, 745 markings/sec, 95 secs
lola: 81318 markings, 204506 edges, 756 markings/sec, 100 secs
lola: 86968 markings, 218848 edges, 1130 markings/sec, 105 secs
lola: 91782 markings, 232124 edges, 963 markings/sec, 110 secs
lola: 96001 markings, 243691 edges, 844 markings/sec, 115 secs
lola: 99648 markings, 253974 edges, 729 markings/sec, 120 secs
lola: 103337 markings, 264340 edges, 738 markings/sec, 125 secs
lola: 106898 markings, 274362 edges, 712 markings/sec, 130 secs
lola: 110625 markings, 284820 edges, 745 markings/sec, 135 secs
lola: 114399 markings, 295365 edges, 755 markings/sec, 140 secs
lola: 118282 markings, 306182 edges, 777 markings/sec, 145 secs
lola: 121966 markings, 316989 edges, 737 markings/sec, 150 secs
lola: 125846 markings, 327895 edges, 776 markings/sec, 155 secs
lola: 129588 markings, 338485 edges, 748 markings/sec, 160 secs
lola: 133225 markings, 348967 edges, 727 markings/sec, 165 secs
lola: 137081 markings, 359699 edges, 771 markings/sec, 170 secs
lola: 140639 markings, 370120 edges, 712 markings/sec, 175 secs
lola: 144394 markings, 380758 edges, 751 markings/sec, 180 secs
lola: 147997 markings, 391130 edges, 721 markings/sec, 185 secs
lola: 151387 markings, 401267 edges, 678 markings/sec, 190 secs
lola: 155560 markings, 412511 edges, 835 markings/sec, 195 secs
lola: 158508 markings, 421436 edges, 590 markings/sec, 200 secs
lola: 161578 markings, 430609 edges, 614 markings/sec, 205 secs
lola: 165571 markings, 441009 edges, 799 markings/sec, 210 secs
lola: 170916 markings, 455210 edges, 1069 markings/sec, 215 secs
lola: 174959 markings, 466367 edges, 809 markings/sec, 220 secs
lola: 178460 markings, 476453 edges, 700 markings/sec, 225 secs
lola: 182626 markings, 488229 edges, 833 markings/sec, 230 secs
lola: 186158 markings, 498308 edges, 706 markings/sec, 235 secs
lola: 189622 markings, 508098 edges, 693 markings/sec, 240 secs
lola: 193090 markings, 517857 edges, 694 markings/sec, 245 secs
lola: 196133 markings, 526643 edges, 609 markings/sec, 250 secs
lola: 199640 markings, 536809 edges, 701 markings/sec, 255 secs
lola: 202982 markings, 546298 edges, 668 markings/sec, 260 secs
lola: 206120 markings, 555525 edges, 628 markings/sec, 265 secs
lola: 209561 markings, 565247 edges, 688 markings/sec, 270 secs
lola: 212863 markings, 575057 edges, 660 markings/sec, 275 secs
lola: 216582 markings, 585684 edges, 744 markings/sec, 280 secs
lola: 220425 markings, 596879 edges, 769 markings/sec, 285 secs
lola: 223705 markings, 606912 edges, 656 markings/sec, 290 secs
lola: 228105 markings, 619041 edges, 880 markings/sec, 295 secs
lola: 231256 markings, 628804 edges, 630 markings/sec, 300 secs
lola: 234790 markings, 639069 edges, 707 markings/sec, 305 secs
lola: 238814 markings, 650548 edges, 805 markings/sec, 310 secs
lola: 242180 markings, 660907 edges, 673 markings/sec, 315 secs
lola: 245657 markings, 671269 edges, 695 markings/sec, 320 secs
lola: 250046 markings, 683480 edges, 878 markings/sec, 325 secs
lola: 253619 markings, 694436 edges, 715 markings/sec, 330 secs
lola: 256871 markings, 704534 edges, 650 markings/sec, 335 secs
lola: 261405 markings, 716678 edges, 907 markings/sec, 340 secs
lola: 264857 markings, 727319 edges, 690 markings/sec, 345 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 355 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SUR_PONT_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 8835 markings, 19258 edges, 1767 markings/sec, 0 secs
lola: 17562 markings, 37786 edges, 1745 markings/sec, 5 secs
lola: 23131 markings, 46951 edges, 1114 markings/sec, 10 secs
lola: 29977 markings, 60560 edges, 1369 markings/sec, 15 secs
lola: 36556 markings, 74743 edges, 1316 markings/sec, 20 secs
lola: 42145 markings, 86653 edges, 1118 markings/sec, 25 secs
lola: 49576 markings, 99152 edges, 1486 markings/sec, 30 secs
lola: 56033 markings, 113366 edges, 1291 markings/sec, 35 secs
lola: 62849 markings, 124190 edges, 1363 markings/sec, 40 secs
lola: 69114 markings, 137969 edges, 1253 markings/sec, 45 secs
lola: 77014 markings, 154451 edges, 1580 markings/sec, 50 secs
lola: 86082 markings, 177988 edges, 1814 markings/sec, 55 secs
lola: 95058 markings, 201408 edges, 1795 markings/sec, 60 secs
lola: 104236 markings, 225358 edges, 1836 markings/sec, 65 secs
lola: 112588 markings, 246599 edges, 1670 markings/sec, 70 secs
lola: 117529 markings, 260582 edges, 988 markings/sec, 75 secs
lola: 122556 markings, 271974 edges, 1005 markings/sec, 80 secs
lola: 128265 markings, 285279 edges, 1142 markings/sec, 85 secs
lola: 134979 markings, 299674 edges, 1343 markings/sec, 90 secs
lola: 141025 markings, 312801 edges, 1209 markings/sec, 95 secs
lola: 147289 markings, 326543 edges, 1253 markings/sec, 100 secs
lola: 153498 markings, 339919 edges, 1242 markings/sec, 105 secs
lola: 160246 markings, 355388 edges, 1350 markings/sec, 110 secs
lola: 169203 markings, 378709 edges, 1791 markings/sec, 115 secs
lola: 177988 markings, 401781 edges, 1757 markings/sec, 120 secs
lola: 187225 markings, 425700 edges, 1847 markings/sec, 125 secs
lola: 195593 markings, 446829 edges, 1674 markings/sec, 130 secs
lola: 202139 markings, 460852 edges, 1309 markings/sec, 135 secs
lola: 208772 markings, 475357 edges, 1327 markings/sec, 140 secs
lola: 214779 markings, 488283 edges, 1201 markings/sec, 145 secs
lola: 221305 markings, 502719 edges, 1305 markings/sec, 150 secs
lola: 227095 markings, 515473 edges, 1158 markings/sec, 155 secs
lola: 233685 markings, 529812 edges, 1318 markings/sec, 160 secs
lola: 242908 markings, 553532 edges, 1845 markings/sec, 165 secs
lola: 251891 markings, 577228 edges, 1797 markings/sec, 170 secs
lola: 261287 markings, 601695 edges, 1879 markings/sec, 175 secs
lola: 269929 markings, 623272 edges, 1728 markings/sec, 180 secs
lola: 276561 markings, 637741 edges, 1326 markings/sec, 185 secs
lola: 283192 markings, 652092 edges, 1326 markings/sec, 190 secs
lola: 289103 markings, 664883 edges, 1182 markings/sec, 195 secs
lola: 295831 markings, 679804 edges, 1346 markings/sec, 200 secs
lola: 302043 markings, 693191 edges, 1242 markings/sec, 205 secs
lola: 309131 markings, 709860 edges, 1418 markings/sec, 210 secs
lola: 318455 markings, 734226 edges, 1865 markings/sec, 215 secs
lola: 328241 markings, 759260 edges, 1957 markings/sec, 220 secs
lola: 337861 markings, 784400 edges, 1924 markings/sec, 225 secs
lola: 345552 markings, 801868 edges, 1538 markings/sec, 230 secs
lola: 351831 markings, 815680 edges, 1256 markings/sec, 235 secs
lola: 357911 markings, 829277 edges, 1216 markings/sec, 240 secs
lola: 364179 markings, 842827 edges, 1254 markings/sec, 245 secs
lola: 370606 markings, 856781 edges, 1285 markings/sec, 250 secs
lola: 376874 markings, 870452 edges, 1254 markings/sec, 255 secs
lola: 386444 markings, 894876 edges, 1914 markings/sec, 260 secs
lola: 395936 markings, 919457 edges, 1898 markings/sec, 265 secs
lola: 405813 markings, 945118 edges, 1975 markings/sec, 270 secs
lola: 414252 markings, 965294 edges, 1688 markings/sec, 275 secs
lola: 420497 markings, 979707 edges, 1249 markings/sec, 280 secs
lola: 427444 markings, 994671 edges, 1389 markings/sec, 285 secs
lola: 433636 markings, 1008259 edges, 1238 markings/sec, 290 secs
lola: 440383 markings, 1022730 edges, 1349 markings/sec, 295 secs
lola: 446882 markings, 1036941 edges, 1300 markings/sec, 300 secs
lola: 456435 markings, 1061691 edges, 1911 markings/sec, 305 secs
lola: 465950 markings, 1086053 edges, 1903 markings/sec, 310 secs
lola: 475567 markings, 1111320 edges, 1923 markings/sec, 315 secs
lola: 483781 markings, 1130347 edges, 1643 markings/sec, 320 secs
lola: 490454 markings, 1145053 edges, 1335 markings/sec, 325 secs
lola: 496694 markings, 1158779 edges, 1248 markings/sec, 330 secs
lola: 503594 markings, 1173894 edges, 1380 markings/sec, 335 secs
lola: 509573 markings, 1187067 edges, 1196 markings/sec, 340 secs
lola: 517322 markings, 1205281 edges, 1550 markings/sec, 345 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 355 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ATTENTE_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 46948 markings, 73705 edges, 9390 markings/sec, 0 secs
lola: 91572 markings, 145417 edges, 8925 markings/sec, 5 secs
lola: 146600 markings, 233079 edges, 11006 markings/sec, 10 secs
lola: 191334 markings, 304870 edges, 8947 markings/sec, 15 secs
lola: 243861 markings, 388361 edges, 10505 markings/sec, 20 secs
lola: 288336 markings, 459727 edges, 8895 markings/sec, 25 secs
lola: 333362 markings, 532137 edges, 9005 markings/sec, 30 secs
lola: 388588 markings, 619860 edges, 11045 markings/sec, 35 secs
lola: 433361 markings, 691677 edges, 8955 markings/sec, 40 secs
lola: 478410 markings, 764322 edges, 9010 markings/sec, 45 secs
lola: 534082 markings, 852562 edges, 11134 markings/sec, 50 secs
lola: 579310 markings, 924987 edges, 9046 markings/sec, 55 secs
lola: 624190 markings, 997129 edges, 8976 markings/sec, 60 secs
lola: 677962 markings, 1082657 edges, 10754 markings/sec, 65 secs
lola: 720310 markings, 1150564 edges, 8470 markings/sec, 70 secs
lola: 765652 markings, 1223137 edges, 9068 markings/sec, 75 secs
lola: 820814 markings, 1311008 edges, 11032 markings/sec, 80 secs
lola: 865488 markings, 1382950 edges, 8935 markings/sec, 85 secs
lola: 910660 markings, 1454872 edges, 9034 markings/sec, 90 secs
lola: 955670 markings, 1526950 edges, 9002 markings/sec, 95 secs
lola: 1009298 markings, 1613178 edges, 10726 markings/sec, 100 secs
lola: 1056496 markings, 1687767 edges, 9440 markings/sec, 105 secs
lola: 1101482 markings, 1759991 edges, 8997 markings/sec, 110 secs
lola: 1145834 markings, 1830796 edges, 8870 markings/sec, 115 secs
lola: 1189164 markings, 1900080 edges, 8666 markings/sec, 120 secs
lola: 1235340 markings, 1974529 edges, 9235 markings/sec, 125 secs
lola: 1286902 markings, 2056981 edges, 10312 markings/sec, 130 secs
lola: 1334934 markings, 2132800 edges, 9606 markings/sec, 135 secs
lola: 1346368 markings, 2152165 edges, 2287 markings/sec, 140 secs
lola: 1351116 markings, 2159041 edges, 950 markings/sec, 145 secs
lola: 1357562 markings, 2169394 edges, 1289 markings/sec, 150 secs
lola: 1361846 markings, 2175574 edges, 857 markings/sec, 155 secs
lola: 1366150 markings, 2181825 edges, 861 markings/sec, 160 secs
lola: 1370682 markings, 2188377 edges, 906 markings/sec, 165 secs
lola: 1375240 markings, 2194968 edges, 912 markings/sec, 170 secs
lola: 1379880 markings, 2201682 edges, 928 markings/sec, 175 secs
lola: 1384950 markings, 2209000 edges, 1014 markings/sec, 180 secs
lola: 1390026 markings, 2216368 edges, 1015 markings/sec, 185 secs
lola: 1394428 markings, 2222847 edges, 880 markings/sec, 190 secs
lola: 1398002 markings, 2228209 edges, 715 markings/sec, 195 secs
lola: 1401296 markings, 2233559 edges, 659 markings/sec, 200 secs
lola: 1404478 markings, 2238978 edges, 636 markings/sec, 205 secs
lola: 1407532 markings, 2244309 edges, 611 markings/sec, 210 secs
lola: 1410838 markings, 2249930 edges, 661 markings/sec, 215 secs
lola: 1414080 markings, 2255436 edges, 648 markings/sec, 220 secs
lola: 1417236 markings, 2260959 edges, 631 markings/sec, 225 secs
lola: 1420430 markings, 2266380 edges, 639 markings/sec, 230 secs
lola: 1423638 markings, 2271823 edges, 642 markings/sec, 235 secs
lola: 1426890 markings, 2277341 edges, 650 markings/sec, 240 secs
lola: 1430178 markings, 2282920 edges, 658 markings/sec, 245 secs
lola: 1433490 markings, 2288539 edges, 662 markings/sec, 250 secs
lola: 1436746 markings, 2294058 edges, 651 markings/sec, 255 secs
lola: 1439994 markings, 2299561 edges, 650 markings/sec, 260 secs
lola: 1443070 markings, 2304761 edges, 615 markings/sec, 265 secs
lola: 1446166 markings, 2309994 edges, 619 markings/sec, 270 secs
lola: 1449318 markings, 2315134 edges, 630 markings/sec, 275 secs
lola: 1452494 markings, 2320308 edges, 635 markings/sec, 280 secs
lola: 1461016 markings, 2334053 edges, 1704 markings/sec, 285 secs
lola: 1465954 markings, 2341195 edges, 988 markings/sec, 290 secs
lola: 1472566 markings, 2351778 edges, 1322 markings/sec, 295 secs
lola: 1477472 markings, 2358891 edges, 981 markings/sec, 300 secs
lola: 1482298 markings, 2365843 edges, 965 markings/sec, 305 secs
lola: 1487124 markings, 2372836 edges, 965 markings/sec, 310 secs
lola: 1491996 markings, 2379898 edges, 974 markings/sec, 315 secs
lola: 1496816 markings, 2386882 edges, 964 markings/sec, 320 secs
lola: 1501842 markings, 2394134 edges, 1005 markings/sec, 325 secs
lola: 1506748 markings, 2401247 edges, 981 markings/sec, 330 secs
lola: 1510608 markings, 2406955 edges, 772 markings/sec, 335 secs
lola: 1513970 markings, 2411997 edges, 672 markings/sec, 340 secs
lola: 1517142 markings, 2417175 edges, 634 markings/sec, 345 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 80 unknown 80 unknown unknown unknown
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-10 80 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-12 80 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496357939429

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

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_BridgeAndVehicles-PT-V80P50N20"
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-V80P50N20.tgz
mv S_BridgeAndVehicles-PT-V80P50N20 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-V80P50N20, 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-149441074600560"
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 ;