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 '
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 ;