About the Execution of LoLA for BridgeAndVehicles-PT-V80P50N20
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
993.180 | 3540145.00 | 3550819.00 | 267.60 | ? ? 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 BridgeAndVehicles-PT-V80P50N20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r008-csrt-149436126400560
=====================================================================
--------------------
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 1494619869486
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ 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: 3170 markings, 6424 edges, 634 markings/sec, 0 secs
lola: 6955 markings, 15308 edges, 757 markings/sec, 5 secs
lola: 11212 markings, 25496 edges, 851 markings/sec, 10 secs
lola: 15180 markings, 34625 edges, 794 markings/sec, 15 secs
lola: 19306 markings, 43911 edges, 825 markings/sec, 20 secs
lola: 23304 markings, 52912 edges, 800 markings/sec, 25 secs
lola: 27280 markings, 61612 edges, 795 markings/sec, 30 secs
lola: 33017 markings, 74151 edges, 1147 markings/sec, 35 secs
lola: 37380 markings, 85893 edges, 873 markings/sec, 40 secs
lola: 41316 markings, 96341 edges, 787 markings/sec, 45 secs
lola: 45293 markings, 107029 edges, 795 markings/sec, 50 secs
lola: 49180 markings, 117539 edges, 777 markings/sec, 55 secs
lola: 53501 markings, 128951 edges, 864 markings/sec, 60 secs
lola: 57284 markings, 139172 edges, 757 markings/sec, 65 secs
lola: 60620 markings, 148394 edges, 667 markings/sec, 70 secs
lola: 64282 markings, 158309 edges, 732 markings/sec, 75 secs
lola: 68297 markings, 168977 edges, 803 markings/sec, 80 secs
lola: 71976 markings, 178765 edges, 736 markings/sec, 85 secs
lola: 75376 markings, 188358 edges, 680 markings/sec, 90 secs
lola: 79148 markings, 198292 edges, 754 markings/sec, 95 secs
lola: 82507 markings, 207844 edges, 672 markings/sec, 100 secs
lola: 88316 markings, 222546 edges, 1162 markings/sec, 105 secs
lola: 92256 markings, 233307 edges, 788 markings/sec, 110 secs
lola: 96191 markings, 244191 edges, 787 markings/sec, 115 secs
lola: 99612 markings, 253866 edges, 684 markings/sec, 120 secs
lola: 103319 markings, 264296 edges, 741 markings/sec, 125 secs
lola: 106985 markings, 274607 edges, 733 markings/sec, 130 secs
lola: 110670 markings, 284982 edges, 737 markings/sec, 135 secs
lola: 114514 markings, 295727 edges, 769 markings/sec, 140 secs
lola: 118263 markings, 306128 edges, 750 markings/sec, 145 secs
lola: 121637 markings, 316091 edges, 675 markings/sec, 150 secs
lola: 125438 markings, 326680 edges, 760 markings/sec, 155 secs
lola: 129267 markings, 337393 edges, 766 markings/sec, 160 secs
lola: 132705 markings, 347387 edges, 688 markings/sec, 165 secs
lola: 136520 markings, 358089 edges, 763 markings/sec, 170 secs
lola: 140067 markings, 368382 edges, 709 markings/sec, 175 secs
lola: 143390 markings, 378250 edges, 665 markings/sec, 180 secs
lola: 147323 markings, 389022 edges, 787 markings/sec, 185 secs
lola: 150738 markings, 399263 edges, 683 markings/sec, 190 secs
lola: 154691 markings, 409975 edges, 791 markings/sec, 195 secs
lola: 157927 markings, 419714 edges, 647 markings/sec, 200 secs
lola: 161198 markings, 429592 edges, 654 markings/sec, 205 secs
lola: 165958 markings, 441983 edges, 952 markings/sec, 210 secs
lola: 171010 markings, 455555 edges, 1010 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: 44169 markings, 69420 edges, 8834 markings/sec, 0 secs
lola: 85032 markings, 135664 edges, 8173 markings/sec, 5 secs
lola: 135034 markings, 214729 edges, 10000 markings/sec, 10 secs
lola: 176805 markings, 281859 edges, 8354 markings/sec, 15 secs
lola: 228230 markings, 363620 edges, 10285 markings/sec, 20 secs
lola: 269578 markings, 429928 edges, 8270 markings/sec, 25 secs
lola: 321472 markings, 512552 edges, 10379 markings/sec, 30 secs
lola: 362892 markings, 579113 edges, 8284 markings/sec, 35 secs
lola: 404012 markings, 645175 edges, 8224 markings/sec, 40 secs
lola: 455622 markings, 727633 edges, 10322 markings/sec, 45 secs
lola: 496663 markings, 793019 edges, 8208 markings/sec, 50 secs
lola: 547364 markings, 873802 edges, 10140 markings/sec, 55 secs
lola: 588636 markings, 939833 edges, 8254 markings/sec, 60 secs
lola: 629932 markings, 1006130 edges, 8259 markings/sec, 65 secs
lola: 681728 markings, 1088712 edges, 10359 markings/sec, 70 secs
lola: 723086 markings, 1154900 edges, 8272 markings/sec, 75 secs
lola: 765061 markings, 1222220 edges, 8395 markings/sec, 80 secs
lola: 817134 markings, 1305440 edges, 10415 markings/sec, 85 secs
lola: 857506 markings, 1369734 edges, 8074 markings/sec, 90 secs
lola: 897940 markings, 1434647 edges, 8087 markings/sec, 95 secs
lola: 947886 markings, 1514594 edges, 9989 markings/sec, 100 secs
lola: 989734 markings, 1581737 edges, 8370 markings/sec, 105 secs
lola: 1030627 markings, 1646589 edges, 8179 markings/sec, 110 secs
lola: 1070950 markings, 1711356 edges, 8065 markings/sec, 115 secs
lola: 1121868 markings, 1792231 edges, 10184 markings/sec, 120 secs
lola: 1162780 markings, 1858034 edges, 8182 markings/sec, 125 secs
lola: 1203288 markings, 1922755 edges, 8102 markings/sec, 130 secs
lola: 1243132 markings, 1986355 edges, 7969 markings/sec, 135 secs
lola: 1287240 markings, 2057488 edges, 8822 markings/sec, 140 secs
lola: 1334470 markings, 2131939 edges, 9446 markings/sec, 145 secs
lola: 1345894 markings, 2151454 edges, 2285 markings/sec, 150 secs
lola: 1350310 markings, 2157873 edges, 883 markings/sec, 155 secs
lola: 1356528 markings, 2167884 edges, 1244 markings/sec, 160 secs
lola: 1360952 markings, 2174274 edges, 885 markings/sec, 165 secs
lola: 1365288 markings, 2180573 edges, 867 markings/sec, 170 secs
lola: 1369626 markings, 2186834 edges, 868 markings/sec, 175 secs
lola: 1374038 markings, 2193208 edges, 882 markings/sec, 180 secs
lola: 1378470 markings, 2199649 edges, 886 markings/sec, 185 secs
lola: 1382868 markings, 2206000 edges, 880 markings/sec, 190 secs
lola: 1387464 markings, 2212648 edges, 919 markings/sec, 195 secs
lola: 1392214 markings, 2219527 edges, 950 markings/sec, 200 secs
lola: 1395026 markings, 2223745 edges, 562 markings/sec, 205 secs
lola: 1397748 markings, 2227826 edges, 544 markings/sec, 210 secs
lola: 1400374 markings, 2231946 edges, 525 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: 5986 markings, 11189 edges, 1197 markings/sec, 0 secs
lola: 12013 markings, 24545 edges, 1205 markings/sec, 5 secs
lola: 18093 markings, 38733 edges, 1216 markings/sec, 10 secs
lola: 23248 markings, 50143 edges, 1031 markings/sec, 15 secs
lola: 28455 markings, 63033 edges, 1041 markings/sec, 20 secs
lola: 33189 markings, 74339 edges, 947 markings/sec, 25 secs
lola: 38516 markings, 87018 edges, 1065 markings/sec, 30 secs
lola: 43894 markings, 99320 edges, 1076 markings/sec, 35 secs
lola: 49741 markings, 113792 edges, 1169 markings/sec, 40 secs
lola: 55690 markings, 128479 edges, 1190 markings/sec, 45 secs
lola: 61220 markings, 141899 edges, 1106 markings/sec, 50 secs
lola: 66435 markings, 154899 edges, 1043 markings/sec, 55 secs
lola: 71934 markings, 168238 edges, 1100 markings/sec, 60 secs
lola: 77527 markings, 181628 edges, 1119 markings/sec, 65 secs
lola: 83440 markings, 194692 edges, 1183 markings/sec, 70 secs
lola: 88037 markings, 206919 edges, 919 markings/sec, 75 secs
lola: 92895 markings, 219549 edges, 972 markings/sec, 80 secs
lola: 98601 markings, 233748 edges, 1141 markings/sec, 85 secs
lola: 104178 markings, 247286 edges, 1115 markings/sec, 90 secs
lola: 109629 markings, 261065 edges, 1090 markings/sec, 95 secs
lola: 114798 markings, 274115 edges, 1034 markings/sec, 100 secs
lola: 120024 markings, 287339 edges, 1045 markings/sec, 105 secs
lola: 125040 markings, 300121 edges, 1003 markings/sec, 110 secs
lola: 129767 markings, 311645 edges, 945 markings/sec, 115 secs
lola: 134480 markings, 322672 edges, 943 markings/sec, 120 secs
lola: 139662 markings, 335513 edges, 1036 markings/sec, 125 secs
lola: 144292 markings, 345892 edges, 926 markings/sec, 130 secs
lola: 149545 markings, 359084 edges, 1051 markings/sec, 135 secs
lola: 154630 markings, 372698 edges, 1017 markings/sec, 140 secs
lola: 160092 markings, 387049 edges, 1092 markings/sec, 145 secs
lola: 165416 markings, 400819 edges, 1065 markings/sec, 150 secs
lola: 170765 markings, 414175 edges, 1070 markings/sec, 155 secs
lola: 175591 markings, 426677 edges, 965 markings/sec, 160 secs
lola: 181012 markings, 439723 edges, 1084 markings/sec, 165 secs
lola: 185903 markings, 452102 edges, 978 markings/sec, 170 secs
lola: 190772 markings, 465000 edges, 974 markings/sec, 175 secs
lola: 195655 markings, 477220 edges, 977 markings/sec, 180 secs
lola: 200245 markings, 489266 edges, 918 markings/sec, 185 secs
lola: 205163 markings, 501926 edges, 984 markings/sec, 190 secs
lola: 210294 markings, 514872 edges, 1026 markings/sec, 195 secs
lola: 214923 markings, 526559 edges, 926 markings/sec, 200 secs
lola: 219717 markings, 538730 edges, 959 markings/sec, 205 secs
lola: 224006 markings, 549196 edges, 858 markings/sec, 210 secs
lola: 228300 markings, 559347 edges, 859 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: 40972 markings, 64430 edges, 8194 markings/sec, 0 secs
lola: 84480 markings, 134842 edges, 8702 markings/sec, 5 secs
lola: 125456 markings, 199490 edges, 8195 markings/sec, 10 secs
lola: 167172 markings, 267031 edges, 8343 markings/sec, 15 secs
lola: 208873 markings, 332678 edges, 8340 markings/sec, 20 secs
lola: 247964 markings, 396169 edges, 7818 markings/sec, 25 secs
lola: 294160 markings, 469029 edges, 9239 markings/sec, 30 secs
lola: 330935 markings, 528167 edges, 7355 markings/sec, 35 secs
lola: 380274 markings, 607297 edges, 9868 markings/sec, 40 secs
lola: 417900 markings, 667195 edges, 7525 markings/sec, 45 secs
lola: 466154 markings, 743990 edges, 9651 markings/sec, 50 secs
lola: 503812 markings, 804402 edges, 7532 markings/sec, 55 secs
lola: 550234 markings, 879469 edges, 9284 markings/sec, 60 secs
lola: 591692 markings, 944821 edges, 8292 markings/sec, 65 secs
lola: 632214 markings, 1009774 edges, 8104 markings/sec, 70 secs
lola: 683138 markings, 1091155 edges, 10185 markings/sec, 75 secs
lola: 722166 markings, 1153625 edges, 7806 markings/sec, 80 secs
lola: 760281 markings, 1214749 edges, 7623 markings/sec, 85 secs
lola: 808601 markings, 1291453 edges, 9664 markings/sec, 90 secs
lola: 846308 markings, 1351933 edges, 7541 markings/sec, 95 secs
lola: 888036 markings, 1419468 edges, 8346 markings/sec, 100 secs
lola: 936778 markings, 1496394 edges, 9748 markings/sec, 105 secs
lola: 976858 markings, 1560716 edges, 8016 markings/sec, 110 secs
lola: 1019444 markings, 1628847 edges, 8517 markings/sec, 115 secs
lola: 1068690 markings, 1708274 edges, 9849 markings/sec, 120 secs
lola: 1114246 markings, 1780164 edges, 9111 markings/sec, 125 secs
lola: 1156748 markings, 1848245 edges, 8500 markings/sec, 130 secs
lola: 1196958 markings, 1912474 edges, 8042 markings/sec, 135 secs
lola: 1235342 markings, 1974531 edges, 7677 markings/sec, 140 secs
lola: 1282450 markings, 2048954 edges, 9422 markings/sec, 145 secs
lola: 1320922 markings, 2110563 edges, 7694 markings/sec, 150 secs
lola: 1344476 markings, 2149428 edges, 4711 markings/sec, 155 secs
lola: 1348514 markings, 2155261 edges, 808 markings/sec, 160 secs
lola: 1354766 markings, 2165336 edges, 1250 markings/sec, 165 secs
lola: 1359200 markings, 2171769 edges, 887 markings/sec, 170 secs
lola: 1363662 markings, 2178216 edges, 892 markings/sec, 175 secs
lola: 1367980 markings, 2184447 edges, 864 markings/sec, 180 secs
lola: 1372418 markings, 2190899 edges, 888 markings/sec, 185 secs
lola: 1376954 markings, 2197457 edges, 907 markings/sec, 190 secs
lola: 1381414 markings, 2203901 edges, 892 markings/sec, 195 secs
lola: 1385826 markings, 2210273 edges, 882 markings/sec, 200 secs
lola: 1390388 markings, 2216870 edges, 912 markings/sec, 205 secs
lola: 1394078 markings, 2222323 edges, 738 markings/sec, 210 secs
lola: 1397062 markings, 2226798 edges, 597 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: 8627 markings, 18835 edges, 1725 markings/sec, 0 secs
lola: 17723 markings, 38009 edges, 1819 markings/sec, 5 secs
lola: 23405 markings, 47245 edges, 1136 markings/sec, 10 secs
lola: 30052 markings, 60748 edges, 1329 markings/sec, 15 secs
lola: 36562 markings, 74758 edges, 1302 markings/sec, 20 secs
lola: 42155 markings, 86663 edges, 1119 markings/sec, 25 secs
lola: 49757 markings, 99604 edges, 1520 markings/sec, 30 secs
lola: 56194 markings, 113667 edges, 1287 markings/sec, 35 secs
lola: 62901 markings, 124276 edges, 1341 markings/sec, 40 secs
lola: 69295 markings, 138335 edges, 1279 markings/sec, 45 secs
lola: 77767 markings, 156500 edges, 1694 markings/sec, 50 secs
lola: 86883 markings, 180204 edges, 1823 markings/sec, 55 secs
lola: 95922 markings, 203275 edges, 1808 markings/sec, 60 secs
lola: 105364 markings, 228046 edges, 1888 markings/sec, 65 secs
lola: 113476 markings, 248392 edges, 1622 markings/sec, 70 secs
lola: 117704 markings, 261021 edges, 846 markings/sec, 75 secs
lola: 122114 markings, 270961 edges, 882 markings/sec, 80 secs
lola: 127561 markings, 283594 edges, 1089 markings/sec, 85 secs
lola: 134023 markings, 297533 edges, 1292 markings/sec, 90 secs
lola: 139644 markings, 309625 edges, 1124 markings/sec, 95 secs
lola: 146024 markings, 323656 edges, 1276 markings/sec, 100 secs
lola: 151630 markings, 336029 edges, 1121 markings/sec, 105 secs
lola: 157802 markings, 349253 edges, 1234 markings/sec, 110 secs
lola: 166480 markings, 371625 edges, 1736 markings/sec, 115 secs
lola: 175031 markings, 393750 edges, 1710 markings/sec, 120 secs
lola: 183661 markings, 416472 edges, 1726 markings/sec, 125 secs
lola: 192447 markings, 439187 edges, 1757 markings/sec, 130 secs
lola: 199721 markings, 455196 edges, 1455 markings/sec, 135 secs
lola: 205733 markings, 468509 edges, 1202 markings/sec, 140 secs
lola: 211675 markings, 481873 edges, 1188 markings/sec, 145 secs
lola: 217667 markings, 494961 edges, 1198 markings/sec, 150 secs
lola: 223461 markings, 507567 edges, 1159 markings/sec, 155 secs
lola: 229380 markings, 520345 edges, 1184 markings/sec, 160 secs
lola: 236284 markings, 536648 edges, 1381 markings/sec, 165 secs
lola: 244842 markings, 558822 edges, 1712 markings/sec, 170 secs
lola: 253797 markings, 581660 edges, 1791 markings/sec, 175 secs
lola: 262037 markings, 603465 edges, 1648 markings/sec, 180 secs
lola: 269524 markings, 622438 edges, 1497 markings/sec, 185 secs
lola: 275377 markings, 634975 edges, 1171 markings/sec, 190 secs
lola: 281452 markings, 648100 edges, 1215 markings/sec, 195 secs
lola: 286514 markings, 659296 edges, 1012 markings/sec, 200 secs
lola: 291844 markings, 671301 edges, 1066 markings/sec, 205 secs
lola: 297379 markings, 683192 edges, 1107 markings/sec, 210 secs
lola: 303006 markings, 695375 edges, 1125 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: 14191 markings, 28827 edges, 2838 markings/sec, 0 secs
lola: 25891 markings, 57613 edges, 2340 markings/sec, 5 secs
lola: 37694 markings, 88604 edges, 2361 markings/sec, 10 secs
lola: 49769 markings, 120679 edges, 2415 markings/sec, 15 secs
lola: 65314 markings, 165734 edges, 3109 markings/sec, 20 secs
lola: 75007 markings, 190154 edges, 1939 markings/sec, 25 secs
lola: 85385 markings, 218460 edges, 2076 markings/sec, 30 secs
lola: 96492 markings, 249580 edges, 2221 markings/sec, 35 secs
lola: 107915 markings, 282368 edges, 2285 markings/sec, 40 secs
lola: 118673 markings, 312805 edges, 2152 markings/sec, 45 secs
lola: 129876 markings, 345032 edges, 2241 markings/sec, 50 secs
lola: 143005 markings, 384070 edges, 2626 markings/sec, 55 secs
lola: 150730 markings, 403556 edges, 1545 markings/sec, 60 secs
lola: 159414 markings, 427208 edges, 1737 markings/sec, 65 secs
lola: 169069 markings, 454511 edges, 1931 markings/sec, 70 secs
lola: 178376 markings, 480792 edges, 1861 markings/sec, 75 secs
lola: 188107 markings, 508925 edges, 1946 markings/sec, 80 secs
lola: 198048 markings, 537827 edges, 1988 markings/sec, 85 secs
lola: 208180 markings, 567473 edges, 2026 markings/sec, 90 secs
lola: 218461 markings, 597588 edges, 2056 markings/sec, 95 secs
lola: 228951 markings, 628856 edges, 2098 markings/sec, 100 secs
lola: 240079 markings, 662200 edges, 2226 markings/sec, 105 secs
lola: 250758 markings, 692598 edges, 2136 markings/sec, 110 secs
lola: 258108 markings, 711556 edges, 1470 markings/sec, 115 secs
lola: 266109 markings, 733398 edges, 1600 markings/sec, 120 secs
lola: 274498 markings, 757077 edges, 1678 markings/sec, 125 secs
lola: 283395 markings, 782112 edges, 1779 markings/sec, 130 secs
lola: 292425 markings, 808400 edges, 1806 markings/sec, 135 secs
lola: 301646 markings, 834865 edges, 1844 markings/sec, 140 secs
lola: 311130 markings, 863207 edges, 1897 markings/sec, 145 secs
lola: 319953 markings, 888582 edges, 1765 markings/sec, 150 secs
lola: 329999 markings, 917967 edges, 2009 markings/sec, 155 secs
lola: 341252 markings, 952129 edges, 2251 markings/sec, 160 secs
lola: 350095 markings, 977962 edges, 1769 markings/sec, 165 secs
lola: 361198 markings, 1011732 edges, 2221 markings/sec, 170 secs
lola: 371446 markings, 1042211 edges, 2050 markings/sec, 175 secs
lola: 384911 markings, 1083824 edges, 2693 markings/sec, 180 secs
lola: 392227 markings, 1101396 edges, 1463 markings/sec, 185 secs
lola: 399918 markings, 1121672 edges, 1538 markings/sec, 190 secs
lola: 408870 markings, 1146374 edges, 1790 markings/sec, 195 secs
lola: 417135 markings, 1169168 edges, 1653 markings/sec, 200 secs
lola: 426118 markings, 1194827 edges, 1797 markings/sec, 205 secs
lola: 434982 markings, 1220240 edges, 1773 markings/sec, 210 secs
lola: 444284 markings, 1247290 edges, 1860 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: 12690 markings, 26699 edges, 2538 markings/sec, 0 secs
lola: 24555 markings, 55271 edges, 2373 markings/sec, 5 secs
lola: 36187 markings, 79889 edges, 2326 markings/sec, 10 secs
lola: 48618 markings, 109938 edges, 2486 markings/sec, 15 secs
lola: 60256 markings, 135527 edges, 2328 markings/sec, 20 secs
lola: 71667 markings, 161510 edges, 2282 markings/sec, 25 secs
lola: 96887 markings, 241712 edges, 5044 markings/sec, 30 secs
lola: 124591 markings, 332859 edges, 5541 markings/sec, 35 secs
lola: 145002 markings, 398330 edges, 4082 markings/sec, 40 secs
lola: 156971 markings, 423922 edges, 2394 markings/sec, 45 secs
lola: 169500 markings, 454249 edges, 2506 markings/sec, 50 secs
lola: 180469 markings, 480227 edges, 2194 markings/sec, 55 secs
lola: 193627 markings, 510038 edges, 2632 markings/sec, 60 secs
lola: 205027 markings, 536258 edges, 2280 markings/sec, 65 secs
lola: 217135 markings, 564599 edges, 2422 markings/sec, 70 secs
lola: 240838 markings, 638820 edges, 4741 markings/sec, 75 secs
lola: 268746 markings, 730589 edges, 5582 markings/sec, 80 secs
lola: 290338 markings, 799060 edges, 4318 markings/sec, 85 secs
lola: 303499 markings, 828294 edges, 2632 markings/sec, 90 secs
lola: 315233 markings, 856401 edges, 2347 markings/sec, 95 secs
lola: 327619 markings, 883545 edges, 2477 markings/sec, 100 secs
lola: 339897 markings, 913259 edges, 2456 markings/sec, 105 secs
lola: 350702 markings, 938785 edges, 2161 markings/sec, 110 secs
lola: 363341 markings, 967426 edges, 2528 markings/sec, 115 secs
lola: 375169 markings, 994417 edges, 2366 markings/sec, 120 secs
lola: 386773 markings, 1021817 edges, 2321 markings/sec, 125 secs
lola: 411620 markings, 1101161 edges, 4969 markings/sec, 130 secs
lola: 439230 markings, 1192056 edges, 5522 markings/sec, 135 secs
lola: 461013 markings, 1256728 edges, 4357 markings/sec, 140 secs
lola: 473725 markings, 1287466 edges, 2542 markings/sec, 145 secs
lola: 484863 markings, 1313547 edges, 2228 markings/sec, 150 secs
lola: 498256 markings, 1344277 edges, 2679 markings/sec, 155 secs
lola: 510003 markings, 1371201 edges, 2349 markings/sec, 160 secs
lola: 523209 markings, 1404538 edges, 2641 markings/sec, 165 secs
lola: 549919 markings, 1492742 edges, 5342 markings/sec, 170 secs
lola: 576542 markings, 1580158 edges, 5325 markings/sec, 175 secs
lola: 593891 markings, 1627206 edges, 3470 markings/sec, 180 secs
lola: 605338 markings, 1654849 edges, 2289 markings/sec, 185 secs
lola: 616097 markings, 1678610 edges, 2152 markings/sec, 190 secs
lola: 628200 markings, 1707717 edges, 2421 markings/sec, 195 secs
lola: 639869 markings, 1734576 edges, 2334 markings/sec, 200 secs
lola: 655027 markings, 1775961 edges, 3032 markings/sec, 205 secs
lola: 682995 markings, 1867504 edges, 5594 markings/sec, 210 secs
lola: 710220 markings, 1958527 edges, 5445 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: 13929 markings, 29778 edges, 2786 markings/sec, 0 secs
lola: 25741 markings, 58079 edges, 2362 markings/sec, 5 secs
lola: 37791 markings, 83494 edges, 2410 markings/sec, 10 secs
lola: 50144 markings, 113283 edges, 2471 markings/sec, 15 secs
lola: 62099 markings, 139312 edges, 2391 markings/sec, 20 secs
lola: 73274 markings, 164412 edges, 2235 markings/sec, 25 secs
lola: 100306 markings, 251890 edges, 5406 markings/sec, 30 secs
lola: 128076 markings, 343292 edges, 5554 markings/sec, 35 secs
lola: 150140 markings, 408796 edges, 4413 markings/sec, 40 secs
lola: 162494 markings, 438685 edges, 2471 markings/sec, 45 secs
lola: 173588 markings, 464892 edges, 2219 markings/sec, 50 secs
lola: 186631 markings, 494456 edges, 2609 markings/sec, 55 secs
lola: 198289 markings, 520906 edges, 2332 markings/sec, 60 secs
lola: 209877 markings, 548341 edges, 2318 markings/sec, 65 secs
lola: 231918 markings, 617196 edges, 4408 markings/sec, 70 secs
lola: 258283 markings, 703650 edges, 5273 markings/sec, 75 secs
lola: 281925 markings, 780624 edges, 4728 markings/sec, 80 secs
lola: 294532 markings, 807704 edges, 2521 markings/sec, 85 secs
lola: 305495 markings, 834140 edges, 2193 markings/sec, 90 secs
lola: 316880 markings, 858066 edges, 2277 markings/sec, 95 secs
lola: 328848 markings, 887727 edges, 2394 markings/sec, 100 secs
lola: 339474 markings, 913084 edges, 2125 markings/sec, 105 secs
lola: 351323 markings, 939438 edges, 2370 markings/sec, 110 secs
lola: 362846 markings, 967031 edges, 2305 markings/sec, 115 secs
lola: 374326 markings, 993413 edges, 2296 markings/sec, 120 secs
lola: 391993 markings, 1045043 edges, 3533 markings/sec, 125 secs
lola: 419432 markings, 1134505 edges, 5488 markings/sec, 130 secs
lola: 446745 markings, 1225684 edges, 5463 markings/sec, 135 secs
lola: 460229 markings, 1255816 edges, 2697 markings/sec, 140 secs
lola: 471617 markings, 1283122 edges, 2278 markings/sec, 145 secs
lola: 483613 markings, 1309884 edges, 2399 markings/sec, 150 secs
lola: 495015 markings, 1337199 edges, 2280 markings/sec, 155 secs
lola: 507049 markings, 1364898 edges, 2407 markings/sec, 160 secs
lola: 526880 markings, 1424335 edges, 3966 markings/sec, 165 secs
lola: 554317 markings, 1514357 edges, 5487 markings/sec, 170 secs
lola: 579297 markings, 1592550 edges, 4996 markings/sec, 175 secs
lola: 591111 markings, 1621557 edges, 2363 markings/sec, 180 secs
lola: 602439 markings, 1648528 edges, 2266 markings/sec, 185 secs
lola: 614807 markings, 1676307 edges, 2474 markings/sec, 190 secs
lola: 625820 markings, 1702467 edges, 2203 markings/sec, 195 secs
lola: 637336 markings, 1728949 edges, 2303 markings/sec, 200 secs
lola: 660983 markings, 1803384 edges, 4729 markings/sec, 205 secs
lola: 688156 markings, 1892662 edges, 5435 markings/sec, 210 secs
lola: 709435 markings, 1955297 edges, 4256 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: 14278 markings, 29020 edges, 2856 markings/sec, 0 secs
lola: 25610 markings, 56916 edges, 2266 markings/sec, 5 secs
lola: 37668 markings, 88547 edges, 2412 markings/sec, 10 secs
lola: 50017 markings, 121275 edges, 2470 markings/sec, 15 secs
lola: 65287 markings, 165665 edges, 3054 markings/sec, 20 secs
lola: 74220 markings, 188089 edges, 1787 markings/sec, 25 secs
lola: 84437 markings, 215873 edges, 2043 markings/sec, 30 secs
lola: 95054 markings, 245544 edges, 2123 markings/sec, 35 secs
lola: 106744 markings, 279225 edges, 2338 markings/sec, 40 secs
lola: 117216 markings, 308928 edges, 2094 markings/sec, 45 secs
lola: 128524 markings, 341171 edges, 2262 markings/sec, 50 secs
lola: 142110 markings, 382161 edges, 2717 markings/sec, 55 secs
lola: 150583 markings, 403123 edges, 1695 markings/sec, 60 secs
lola: 159973 markings, 428661 edges, 1878 markings/sec, 65 secs
lola: 169923 markings, 456593 edges, 1990 markings/sec, 70 secs
lola: 181473 markings, 490320 edges, 2310 markings/sec, 75 secs
lola: 191622 markings, 519235 edges, 2030 markings/sec, 80 secs
lola: 201772 markings, 548769 edges, 2030 markings/sec, 85 secs
lola: 212483 markings, 580753 edges, 2142 markings/sec, 90 secs
lola: 221685 markings, 607234 edges, 1840 markings/sec, 95 secs
lola: 232604 markings, 639269 edges, 2184 markings/sec, 100 secs
lola: 243977 markings, 673826 edges, 2275 markings/sec, 105 secs
lola: 253429 markings, 699253 edges, 1890 markings/sec, 110 secs
lola: 261283 markings, 720068 edges, 1571 markings/sec, 115 secs
lola: 270644 markings, 746136 edges, 1872 markings/sec, 120 secs
lola: 279219 markings, 770065 edges, 1715 markings/sec, 125 secs
lola: 288199 markings, 795977 edges, 1796 markings/sec, 130 secs
lola: 297237 markings, 822149 edges, 1808 markings/sec, 135 secs
lola: 307335 markings, 851513 edges, 2020 markings/sec, 140 secs
lola: 316968 markings, 879540 edges, 1927 markings/sec, 145 secs
lola: 327324 markings, 910776 edges, 2071 markings/sec, 150 secs
lola: 336413 markings, 937720 edges, 1818 markings/sec, 155 secs
lola: 346697 markings, 967727 edges, 2057 markings/sec, 160 secs
lola: 358651 markings, 1004204 edges, 2391 markings/sec, 165 secs
lola: 368324 markings, 1032614 edges, 1935 markings/sec, 170 secs
lola: 379983 markings, 1068053 edges, 2332 markings/sec, 175 secs
lola: 390033 markings, 1095840 edges, 2010 markings/sec, 180 secs
lola: 397675 markings, 1115841 edges, 1528 markings/sec, 185 secs
lola: 405815 markings, 1137802 edges, 1628 markings/sec, 190 secs
lola: 414968 markings, 1163541 edges, 1831 markings/sec, 195 secs
lola: 423737 markings, 1188121 edges, 1754 markings/sec, 200 secs
lola: 433010 markings, 1214678 edges, 1855 markings/sec, 205 secs
lola: 442951 markings, 1243846 edges, 1988 markings/sec, 210 secs
lola: 452796 markings, 1272932 edges, 1969 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: 14513 markings, 29459 edges, 2903 markings/sec, 0 secs
lola: 26251 markings, 58486 edges, 2348 markings/sec, 5 secs
lola: 38446 markings, 90377 edges, 2439 markings/sec, 10 secs
lola: 52070 markings, 127685 edges, 2725 markings/sec, 15 secs
lola: 66530 markings, 168325 edges, 2892 markings/sec, 20 secs
lola: 76130 markings, 193309 edges, 1920 markings/sec, 25 secs
lola: 87538 markings, 224837 edges, 2282 markings/sec, 30 secs
lola: 97583 markings, 252687 edges, 2009 markings/sec, 35 secs
lola: 109209 markings, 285717 edges, 2325 markings/sec, 40 secs
lola: 121178 markings, 319861 edges, 2394 markings/sec, 45 secs
lola: 132911 markings, 353543 edges, 2347 markings/sec, 50 secs
lola: 145781 markings, 390684 edges, 2574 markings/sec, 55 secs
lola: 154966 markings, 415020 edges, 1837 markings/sec, 60 secs
lola: 164616 markings, 441607 edges, 1930 markings/sec, 65 secs
lola: 174562 markings, 470084 edges, 1989 markings/sec, 70 secs
lola: 183836 markings, 496589 edges, 1855 markings/sec, 75 secs
lola: 194166 markings, 526364 edges, 2066 markings/sec, 80 secs
lola: 204996 markings, 557979 edges, 2166 markings/sec, 85 secs
lola: 216395 markings, 591420 edges, 2280 markings/sec, 90 secs
lola: 227897 markings, 625944 edges, 2300 markings/sec, 95 secs
lola: 237687 markings, 654601 edges, 1958 markings/sec, 100 secs
lola: 249905 markings, 690580 edges, 2444 markings/sec, 105 secs
lola: 257611 markings, 710326 edges, 1541 markings/sec, 110 secs
lola: 266057 markings, 733252 edges, 1689 markings/sec, 115 secs
lola: 275354 markings, 759591 edges, 1859 markings/sec, 120 secs
lola: 284266 markings, 784770 edges, 1782 markings/sec, 125 secs
lola: 293489 markings, 811164 edges, 1845 markings/sec, 130 secs
lola: 303516 markings, 840328 edges, 2005 markings/sec, 135 secs
lola: 314250 markings, 872233 edges, 2147 markings/sec, 140 secs
lola: 325170 markings, 904786 edges, 2184 markings/sec, 145 secs
lola: 334335 markings, 931209 edges, 1833 markings/sec, 150 secs
lola: 344492 markings, 961314 edges, 2031 markings/sec, 155 secs
lola: 356069 markings, 996560 edges, 2315 markings/sec, 160 secs
lola: 366193 markings, 1025978 edges, 2025 markings/sec, 165 secs
lola: 378419 markings, 1063633 edges, 2445 markings/sec, 170 secs
lola: 388736 markings, 1092608 edges, 2063 markings/sec, 175 secs
lola: 396145 markings, 1111575 edges, 1482 markings/sec, 180 secs
lola: 404322 markings, 1133655 edges, 1635 markings/sec, 185 secs
lola: 413600 markings, 1159769 edges, 1856 markings/sec, 190 secs
lola: 422362 markings, 1184374 edges, 1752 markings/sec, 195 secs
lola: 431526 markings, 1210722 edges, 1833 markings/sec, 200 secs
lola: 440964 markings, 1238128 edges, 1888 markings/sec, 205 secs
lola: 449875 markings, 1264140 edges, 1782 markings/sec, 210 secs
lola: 458869 markings, 1289789 edges, 1799 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 266 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: 41588 markings, 66925 edges, 8318 markings/sec, 0 secs
lola: 91452 markings, 149071 edges, 9973 markings/sec, 5 secs
lola: 141774 markings, 232681 edges, 10064 markings/sec, 10 secs
lola: 178970 markings, 293089 edges, 7439 markings/sec, 15 secs
lola: 228026 markings, 373108 edges, 9811 markings/sec, 20 secs
lola: 277256 markings, 455595 edges, 9846 markings/sec, 25 secs
lola: 314852 markings, 515753 edges, 7519 markings/sec, 30 secs
lola: 364094 markings, 596777 edges, 9848 markings/sec, 35 secs
lola: 414258 markings, 679994 edges, 10033 markings/sec, 40 secs
lola: 452832 markings, 742042 edges, 7715 markings/sec, 45 secs
lola: 503194 markings, 824683 edges, 10072 markings/sec, 50 secs
lola: 552154 markings, 906313 edges, 9792 markings/sec, 55 secs
lola: 589079 markings, 965514 edges, 7385 markings/sec, 60 secs
lola: 637835 markings, 1045361 edges, 9751 markings/sec, 65 secs
lola: 688144 markings, 1129350 edges, 10062 markings/sec, 70 secs
lola: 722680 markings, 1184709 edges, 6907 markings/sec, 75 secs
lola: 769270 markings, 1260775 edges, 9318 markings/sec, 80 secs
lola: 816040 markings, 1338935 edges, 9354 markings/sec, 85 secs
lola: 853932 markings, 1399372 edges, 7578 markings/sec, 90 secs
lola: 903224 markings, 1480217 edges, 9858 markings/sec, 95 secs
lola: 950422 markings, 1557573 edges, 9440 markings/sec, 100 secs
lola: 984723 markings, 1613677 edges, 6860 markings/sec, 105 secs
lola: 1031910 markings, 1691250 edges, 9437 markings/sec, 110 secs
lola: 1075288 markings, 1763150 edges, 8676 markings/sec, 115 secs
lola: 1113250 markings, 1824506 edges, 7592 markings/sec, 120 secs
lola: 1160064 markings, 1901696 edges, 9363 markings/sec, 125 secs
lola: 1195160 markings, 1959463 edges, 7019 markings/sec, 130 secs
lola: 1241030 markings, 2034325 edges, 9174 markings/sec, 135 secs
lola: 1288072 markings, 2111951 edges, 9408 markings/sec, 140 secs
lola: 1322948 markings, 2168223 edges, 6975 markings/sec, 145 secs
lola: 1370195 markings, 2245473 edges, 9449 markings/sec, 150 secs
lola: 1417916 markings, 2324873 edges, 9544 markings/sec, 155 secs
lola: 1456298 markings, 2386638 edges, 7676 markings/sec, 160 secs
lola: 1504808 markings, 2466552 edges, 9702 markings/sec, 165 secs
lola: 1541724 markings, 2526546 edges, 7383 markings/sec, 170 secs
lola: 1588200 markings, 2602598 edges, 9295 markings/sec, 175 secs
lola: 1634857 markings, 2679512 edges, 9331 markings/sec, 180 secs
lola: 1670027 markings, 2736637 edges, 7034 markings/sec, 185 secs
lola: 1717730 markings, 2815488 edges, 9541 markings/sec, 190 secs
lola: 1754144 markings, 2874594 edges, 7283 markings/sec, 195 secs
lola: 1803296 markings, 2954803 edges, 9830 markings/sec, 200 secs
lola: 1842702 markings, 3019984 edges, 7881 markings/sec, 205 secs
lola: 1889774 markings, 3096299 edges, 9414 markings/sec, 210 secs
lola: 1937850 markings, 3175300 edges, 9615 markings/sec, 215 secs
lola: 1976406 markings, 3238695 edges, 7711 markings/sec, 220 secs
lola: 2025018 markings, 3319073 edges, 9722 markings/sec, 225 secs
lola: 2061680 markings, 3377863 edges, 7332 markings/sec, 230 secs
lola: 2110388 markings, 3458514 edges, 9742 markings/sec, 235 secs
lola: 2147616 markings, 3518286 edges, 7446 markings/sec, 240 secs
lola: 2196660 markings, 3599332 edges, 9809 markings/sec, 245 secs
lola: 2233622 markings, 3658961 edges, 7392 markings/sec, 250 secs
lola: 2282570 markings, 3739807 edges, 9790 markings/sec, 255 secs
lola: 2305670 markings, 3776466 edges, 4620 markings/sec, 260 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: 3297 markings, 6753 edges, 659 markings/sec, 0 secs
lola: 6963 markings, 15332 edges, 733 markings/sec, 5 secs
lola: 10089 markings, 22845 edges, 625 markings/sec, 10 secs
lola: 13506 markings, 30779 edges, 683 markings/sec, 15 secs
lola: 16670 markings, 37899 edges, 633 markings/sec, 20 secs
lola: 19968 markings, 45385 edges, 660 markings/sec, 25 secs
lola: 23194 markings, 52666 edges, 645 markings/sec, 30 secs
lola: 26426 markings, 59870 edges, 646 markings/sec, 35 secs
lola: 29631 markings, 67017 edges, 641 markings/sec, 40 secs
lola: 35534 markings, 80844 edges, 1181 markings/sec, 45 secs
lola: 38919 markings, 89983 edges, 677 markings/sec, 50 secs
lola: 42300 markings, 99075 edges, 676 markings/sec, 55 secs
lola: 45672 markings, 108076 edges, 674 markings/sec, 60 secs
lola: 48854 markings, 116646 edges, 636 markings/sec, 65 secs
lola: 52180 markings, 125619 edges, 665 markings/sec, 70 secs
lola: 55720 markings, 135128 edges, 708 markings/sec, 75 secs
lola: 59273 markings, 144675 edges, 711 markings/sec, 80 secs
lola: 62910 markings, 154382 edges, 727 markings/sec, 85 secs
lola: 66517 markings, 164008 edges, 721 markings/sec, 90 secs
lola: 69786 markings, 173217 edges, 654 markings/sec, 95 secs
lola: 73447 markings, 182895 edges, 732 markings/sec, 100 secs
lola: 76964 markings, 192621 edges, 703 markings/sec, 105 secs
lola: 80818 markings, 203046 edges, 771 markings/sec, 110 secs
lola: 85548 markings, 215335 edges, 946 markings/sec, 115 secs
lola: 90607 markings, 228838 edges, 1012 markings/sec, 120 secs
lola: 94566 markings, 239773 edges, 792 markings/sec, 125 secs
lola: 98274 markings, 250020 edges, 742 markings/sec, 130 secs
lola: 101854 markings, 260236 edges, 716 markings/sec, 135 secs
lola: 105751 markings, 270991 edges, 779 markings/sec, 140 secs
lola: 109523 markings, 281556 edges, 754 markings/sec, 145 secs
lola: 113249 markings, 292115 edges, 745 markings/sec, 150 secs
lola: 116607 markings, 301711 edges, 672 markings/sec, 155 secs
lola: 120379 markings, 312357 edges, 754 markings/sec, 160 secs
lola: 124231 markings, 323014 edges, 770 markings/sec, 165 secs
lola: 127475 markings, 332714 edges, 649 markings/sec, 170 secs
lola: 131367 markings, 343399 edges, 778 markings/sec, 175 secs
lola: 134193 markings, 351877 edges, 565 markings/sec, 180 secs
lola: 137809 markings, 361630 edges, 723 markings/sec, 185 secs
lola: 140928 markings, 371036 edges, 624 markings/sec, 190 secs
lola: 144728 markings, 381657 edges, 760 markings/sec, 195 secs
lola: 148282 markings, 391897 edges, 711 markings/sec, 200 secs
lola: 151422 markings, 401393 edges, 628 markings/sec, 205 secs
lola: 155555 markings, 412491 edges, 827 markings/sec, 210 secs
lola: 158707 markings, 422102 edges, 630 markings/sec, 215 secs
lola: 162213 markings, 432553 edges, 701 markings/sec, 220 secs
lola: 167830 markings, 446673 edges, 1123 markings/sec, 225 secs
lola: 172152 markings, 458603 edges, 864 markings/sec, 230 secs
lola: 176282 markings, 470213 edges, 826 markings/sec, 235 secs
lola: 180544 markings, 482041 edges, 852 markings/sec, 240 secs
lola: 184012 markings, 492050 edges, 694 markings/sec, 245 secs
lola: 187800 markings, 502831 edges, 758 markings/sec, 250 secs
lola: 192044 markings, 514822 edges, 849 markings/sec, 255 secs
lola: 195477 markings, 525019 edges, 687 markings/sec, 260 secs
lola: 199549 markings, 536567 edges, 814 markings/sec, 265 secs
lola: 203424 markings, 547692 edges, 775 markings/sec, 270 secs
lola: 207469 markings, 559595 edges, 809 markings/sec, 275 secs
lola: 211559 markings, 571015 edges, 818 markings/sec, 280 secs
lola: 215007 markings, 581483 edges, 690 markings/sec, 285 secs
lola: 219173 markings, 593103 edges, 833 markings/sec, 290 secs
lola: 222449 markings, 603142 edges, 655 markings/sec, 295 secs
lola: 226493 markings, 614525 edges, 809 markings/sec, 300 secs
lola: 230398 markings, 626115 edges, 781 markings/sec, 305 secs
lola: 233526 markings, 635684 edges, 626 markings/sec, 310 secs
lola: 237455 markings, 646322 edges, 786 markings/sec, 315 secs
lola: 240140 markings, 654657 edges, 537 markings/sec, 320 secs
lola: 243337 markings, 664397 edges, 639 markings/sec, 325 secs
lola: 246993 markings, 674755 edges, 731 markings/sec, 330 secs
lola: 250778 markings, 685778 edges, 757 markings/sec, 335 secs
lola: 253909 markings, 695508 edges, 626 markings/sec, 340 secs
lola: 257714 markings, 706967 edges, 761 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: 8855 markings, 19290 edges, 1771 markings/sec, 0 secs
lola: 17428 markings, 37580 edges, 1715 markings/sec, 5 secs
lola: 23153 markings, 46973 edges, 1145 markings/sec, 10 secs
lola: 29547 markings, 59485 edges, 1279 markings/sec, 15 secs
lola: 35076 markings, 71459 edges, 1106 markings/sec, 20 secs
lola: 40338 markings, 83444 edges, 1052 markings/sec, 25 secs
lola: 46555 markings, 92352 edges, 1243 markings/sec, 30 secs
lola: 52111 markings, 104866 edges, 1111 markings/sec, 35 secs
lola: 57738 markings, 117094 edges, 1125 markings/sec, 40 secs
lola: 64264 markings, 127327 edges, 1305 markings/sec, 45 secs
lola: 69822 markings, 139007 edges, 1112 markings/sec, 50 secs
lola: 76977 markings, 154340 edges, 1431 markings/sec, 55 secs
lola: 86114 markings, 178056 edges, 1827 markings/sec, 60 secs
lola: 95805 markings, 202976 edges, 1938 markings/sec, 65 secs
lola: 105482 markings, 228401 edges, 1935 markings/sec, 70 secs
lola: 113252 markings, 247927 edges, 1554 markings/sec, 75 secs
lola: 117956 markings, 261649 edges, 941 markings/sec, 80 secs
lola: 123125 markings, 273298 edges, 1034 markings/sec, 85 secs
lola: 129274 markings, 286980 edges, 1230 markings/sec, 90 secs
lola: 135745 markings, 301398 edges, 1294 markings/sec, 95 secs
lola: 141771 markings, 314523 edges, 1205 markings/sec, 100 secs
lola: 148119 markings, 328337 edges, 1270 markings/sec, 105 secs
lola: 154531 markings, 342303 edges, 1282 markings/sec, 110 secs
lola: 161766 markings, 359544 edges, 1447 markings/sec, 115 secs
lola: 170717 markings, 382881 edges, 1790 markings/sec, 120 secs
lola: 179795 markings, 405974 edges, 1816 markings/sec, 125 secs
lola: 189458 markings, 431251 edges, 1933 markings/sec, 130 secs
lola: 197704 markings, 450721 edges, 1649 markings/sec, 135 secs
lola: 203780 markings, 464754 edges, 1215 markings/sec, 140 secs
lola: 210912 markings, 480154 edges, 1426 markings/sec, 145 secs
lola: 217028 markings, 493504 edges, 1223 markings/sec, 150 secs
lola: 223235 markings, 507095 edges, 1241 markings/sec, 155 secs
lola: 229619 markings, 520858 edges, 1277 markings/sec, 160 secs
lola: 236980 markings, 538524 edges, 1472 markings/sec, 165 secs
lola: 245862 markings, 561670 edges, 1776 markings/sec, 170 secs
lola: 255376 markings, 585836 edges, 1903 markings/sec, 175 secs
lola: 264483 markings, 609722 edges, 1821 markings/sec, 180 secs
lola: 272422 markings, 628152 edges, 1588 markings/sec, 185 secs
lola: 278546 markings, 642146 edges, 1225 markings/sec, 190 secs
lola: 285395 markings, 657060 edges, 1370 markings/sec, 195 secs
lola: 291579 markings, 670671 edges, 1237 markings/sec, 200 secs
lola: 297637 markings, 683716 edges, 1212 markings/sec, 205 secs
lola: 304120 markings, 697801 edges, 1297 markings/sec, 210 secs
lola: 312599 markings, 718732 edges, 1696 markings/sec, 215 secs
lola: 321630 markings, 742073 edges, 1806 markings/sec, 220 secs
lola: 330259 markings, 764836 edges, 1726 markings/sec, 225 secs
lola: 339163 markings, 787939 edges, 1781 markings/sec, 230 secs
lola: 346387 markings, 803770 edges, 1445 markings/sec, 235 secs
lola: 352707 markings, 817386 edges, 1264 markings/sec, 240 secs
lola: 358232 markings, 829915 edges, 1105 markings/sec, 245 secs
lola: 364510 markings, 843488 edges, 1256 markings/sec, 250 secs
lola: 370753 markings, 857148 edges, 1249 markings/sec, 255 secs
lola: 377036 markings, 870776 edges, 1257 markings/sec, 260 secs
lola: 386335 markings, 894549 edges, 1860 markings/sec, 265 secs
lola: 396053 markings, 919742 edges, 1944 markings/sec, 270 secs
lola: 405233 markings, 943706 edges, 1836 markings/sec, 275 secs
lola: 413756 markings, 964220 edges, 1705 markings/sec, 280 secs
lola: 420338 markings, 979414 edges, 1316 markings/sec, 285 secs
lola: 427145 markings, 994105 edges, 1361 markings/sec, 290 secs
lola: 433360 markings, 1007735 edges, 1243 markings/sec, 295 secs
lola: 440399 markings, 1022770 edges, 1408 markings/sec, 300 secs
lola: 447500 markings, 1038612 edges, 1420 markings/sec, 305 secs
lola: 457334 markings, 1064217 edges, 1967 markings/sec, 310 secs
lola: 467226 markings, 1089582 edges, 1978 markings/sec, 315 secs
lola: 476815 markings, 1114712 edges, 1918 markings/sec, 320 secs
lola: 484785 markings, 1132678 edges, 1594 markings/sec, 325 secs
lola: 491904 markings, 1148322 edges, 1424 markings/sec, 330 secs
lola: 498305 markings, 1162274 edges, 1280 markings/sec, 335 secs
lola: 504923 markings, 1176974 edges, 1324 markings/sec, 340 secs
lola: 511336 markings, 1190915 edges, 1283 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: 46074 markings, 72334 edges, 9215 markings/sec, 0 secs
lola: 91752 markings, 145729 edges, 9136 markings/sec, 5 secs
lola: 144398 markings, 229896 edges, 10529 markings/sec, 10 secs
lola: 186372 markings, 296834 edges, 8395 markings/sec, 15 secs
lola: 238428 markings, 379976 edges, 10411 markings/sec, 20 secs
lola: 278786 markings, 444469 edges, 8072 markings/sec, 25 secs
lola: 326322 markings, 521461 edges, 9507 markings/sec, 30 secs
lola: 377794 markings, 603144 edges, 10294 markings/sec, 35 secs
lola: 421562 markings, 672873 edges, 8754 markings/sec, 40 secs
lola: 475450 markings, 759222 edges, 10778 markings/sec, 45 secs
lola: 522322 markings, 834036 edges, 9374 markings/sec, 50 secs
lola: 567672 markings, 906532 edges, 9070 markings/sec, 55 secs
lola: 621266 markings, 993032 edges, 10719 markings/sec, 60 secs
lola: 669720 markings, 1069925 edges, 9691 markings/sec, 65 secs
lola: 714708 markings, 1141556 edges, 8998 markings/sec, 70 secs
lola: 759622 markings, 1213685 edges, 8983 markings/sec, 75 secs
lola: 815622 markings, 1302863 edges, 11200 markings/sec, 80 secs
lola: 861302 markings, 1375985 edges, 9136 markings/sec, 85 secs
lola: 907214 markings, 1449422 edges, 9182 markings/sec, 90 secs
lola: 952887 markings, 1522634 edges, 9135 markings/sec, 95 secs
lola: 1007488 markings, 1609558 edges, 10920 markings/sec, 100 secs
lola: 1053246 markings, 1682575 edges, 9152 markings/sec, 105 secs
lola: 1098134 markings, 1754452 edges, 8978 markings/sec, 110 secs
lola: 1143898 markings, 1827646 edges, 9153 markings/sec, 115 secs
lola: 1189360 markings, 1900408 edges, 9092 markings/sec, 120 secs
lola: 1235378 markings, 1974567 edges, 9204 markings/sec, 125 secs
lola: 1286276 markings, 2055834 edges, 10180 markings/sec, 130 secs
lola: 1332370 markings, 2128838 edges, 9219 markings/sec, 135 secs
lola: 1346122 markings, 2151796 edges, 2750 markings/sec, 140 secs
lola: 1350998 markings, 2158864 edges, 975 markings/sec, 145 secs
lola: 1357674 markings, 2169562 edges, 1335 markings/sec, 150 secs
lola: 1362504 markings, 2176520 edges, 966 markings/sec, 155 secs
lola: 1367368 markings, 2183570 edges, 973 markings/sec, 160 secs
lola: 1372274 markings, 2190683 edges, 981 markings/sec, 165 secs
lola: 1377180 markings, 2197755 edges, 981 markings/sec, 170 secs
lola: 1382068 markings, 2204841 edges, 978 markings/sec, 175 secs
lola: 1386942 markings, 2211906 edges, 975 markings/sec, 180 secs
lola: 1391810 markings, 2218921 edges, 974 markings/sec, 185 secs
lola: 1395376 markings, 2224269 edges, 713 markings/sec, 190 secs
lola: 1398686 markings, 2229235 edges, 662 markings/sec, 195 secs
lola: 1401844 markings, 2234518 edges, 632 markings/sec, 200 secs
lola: 1404898 markings, 2239700 edges, 611 markings/sec, 205 secs
lola: 1407980 markings, 2245093 edges, 616 markings/sec, 210 secs
lola: 1411172 markings, 2250514 edges, 638 markings/sec, 215 secs
lola: 1414470 markings, 2256119 edges, 660 markings/sec, 220 secs
lola: 1417612 markings, 2261616 edges, 628 markings/sec, 225 secs
lola: 1420814 markings, 2267052 edges, 640 markings/sec, 230 secs
lola: 1423942 markings, 2272355 edges, 626 markings/sec, 235 secs
lola: 1427028 markings, 2277582 edges, 617 markings/sec, 240 secs
lola: 1430368 markings, 2283252 edges, 668 markings/sec, 245 secs
lola: 1433648 markings, 2288815 edges, 656 markings/sec, 250 secs
lola: 1437010 markings, 2294520 edges, 672 markings/sec, 255 secs
lola: 1440218 markings, 2299953 edges, 642 markings/sec, 260 secs
lola: 1443198 markings, 2304985 edges, 596 markings/sec, 265 secs
lola: 1446550 markings, 2310629 edges, 670 markings/sec, 270 secs
lola: 1449674 markings, 2315757 edges, 625 markings/sec, 275 secs
lola: 1453098 markings, 2321170 edges, 685 markings/sec, 280 secs
lola: 1462388 markings, 2336051 edges, 1858 markings/sec, 285 secs
lola: 1467464 markings, 2343378 edges, 1015 markings/sec, 290 secs
lola: 1474346 markings, 2354366 edges, 1376 markings/sec, 295 secs
lola: 1479324 markings, 2361546 edges, 996 markings/sec, 300 secs
lola: 1484292 markings, 2368752 edges, 994 markings/sec, 305 secs
lola: 1489164 markings, 2375792 edges, 974 markings/sec, 310 secs
lola: 1494156 markings, 2383015 edges, 998 markings/sec, 315 secs
lola: 1499176 markings, 2390276 edges, 1004 markings/sec, 320 secs
lola: 1504170 markings, 2397503 edges, 999 markings/sec, 325 secs
lola: 1508946 markings, 2404462 edges, 955 markings/sec, 330 secs
lola: 1512390 markings, 2409628 edges, 689 markings/sec, 335 secs
lola: 1515782 markings, 2414795 edges, 678 markings/sec, 340 secs
lola: 1518804 markings, 2420084 edges, 604 markings/sec, 345 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 80 unknown 80 unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
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 1494623409631
--------------------
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="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/BridgeAndVehicles-PT-V80P50N20.tgz
mv 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 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 r008-csrt-149436126400560"
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 ;