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-COL-V50P50N20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r008-csrt-149436126200362
=====================================================================

--------------------
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-V50P50N20-UpperBounds-0
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-1
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-10
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-11
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-12
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-13
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-14
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-15
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-2
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-3
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-4
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-5
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-6
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-7
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-8
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1494608031612


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ BridgeAndVehicles-COL-V50P50N20 @ 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: 2486/65536 symbol table entries, 22 collisions
lola: preprocessing...
lola: finding significant places
lola: 138 places, 2348 transitions, 131 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2693 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V50P50N20-UpperBounds.task
lola: MAX(p1) : MAX(p3 + p4) : MAX(p137) : MAX(p135) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p98 + p97 + p96 + p95 + p94 + p93 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p99) : MAX(p60 + p61) : MAX(p3 + p4) : MAX(p136) : MAX(p136) : MAX(p135) : MAX(p135) : MAX(p0) : MAX(p136) : MAX(p5 + p6) : MAX(p135) : MAX(p135)
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(p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 5604 markings, 14040 edges, 1121 markings/sec, 0 secs
lola: 11235 markings, 28360 edges, 1126 markings/sec, 5 secs
lola: 16832 markings, 42576 edges, 1119 markings/sec, 10 secs
lola: 22424 markings, 56818 edges, 1118 markings/sec, 15 secs
lola: 28004 markings, 71023 edges, 1116 markings/sec, 20 secs
lola: 33632 markings, 85422 edges, 1126 markings/sec, 25 secs
lola: 39294 markings, 99926 edges, 1132 markings/sec, 30 secs
lola: 45217 markings, 115162 edges, 1185 markings/sec, 35 secs
lola: 50737 markings, 129300 edges, 1104 markings/sec, 40 secs
lola: 56449 markings, 143311 edges, 1142 markings/sec, 45 secs
lola: 62252 markings, 157770 edges, 1161 markings/sec, 50 secs
lola: 67774 markings, 172094 edges, 1104 markings/sec, 55 secs
lola: 73314 markings, 186478 edges, 1108 markings/sec, 60 secs
lola: 78990 markings, 201214 edges, 1135 markings/sec, 65 secs
lola: 85078 markings, 216038 edges, 1218 markings/sec, 70 secs
lola: 90554 markings, 230350 edges, 1095 markings/sec, 75 secs
lola: 95903 markings, 244226 edges, 1070 markings/sec, 80 secs
lola: 101614 markings, 258296 edges, 1142 markings/sec, 85 secs
lola: 105702 markings, 267248 edges, 818 markings/sec, 90 secs
lola: 110663 markings, 280180 edges, 992 markings/sec, 95 secs
lola: 116114 markings, 296121 edges, 1090 markings/sec, 100 secs
lola: 121498 markings, 311732 edges, 1077 markings/sec, 105 secs
lola: 127033 markings, 327656 edges, 1107 markings/sec, 110 secs
lola: 132727 markings, 342334 edges, 1139 markings/sec, 115 secs
lola: 137129 markings, 351297 edges, 880 markings/sec, 120 secs
lola: 142167 markings, 365649 edges, 1008 markings/sec, 125 secs
lola: 147240 markings, 380450 edges, 1015 markings/sec, 130 secs
lola: 152276 markings, 394991 edges, 1007 markings/sec, 135 secs
lola: 157407 markings, 409661 edges, 1026 markings/sec, 140 secs
lola: 162835 markings, 422979 edges, 1086 markings/sec, 145 secs
lola: 167719 markings, 433949 edges, 977 markings/sec, 150 secs
lola: 173344 markings, 450255 edges, 1125 markings/sec, 155 secs
lola: 179007 markings, 466714 edges, 1133 markings/sec, 160 secs
lola: 184637 markings, 482886 edges, 1126 markings/sec, 165 secs
lola: 190628 markings, 498440 edges, 1198 markings/sec, 170 secs
lola: 195254 markings, 508028 edges, 925 markings/sec, 175 secs
lola: 200287 markings, 522708 edges, 1007 markings/sec, 180 secs
lola: 205366 markings, 537466 edges, 1016 markings/sec, 185 secs
lola: 210494 markings, 552244 edges, 1026 markings/sec, 190 secs
lola: 216143 markings, 567020 edges, 1130 markings/sec, 195 secs
lola: 220506 markings, 576930 edges, 873 markings/sec, 200 secs
lola: 225818 markings, 591098 edges, 1062 markings/sec, 205 secs
lola: 231187 markings, 606779 edges, 1074 markings/sec, 210 secs
lola: 236615 markings, 622484 edges, 1086 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(p3 + p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 29912 markings, 81819 edges, 5982 markings/sec, 0 secs
lola: 58799 markings, 162366 edges, 5777 markings/sec, 5 secs
lola: 87929 markings, 242479 edges, 5826 markings/sec, 10 secs
lola: 117850 markings, 325150 edges, 5984 markings/sec, 15 secs
lola: 147655 markings, 407257 edges, 5961 markings/sec, 20 secs
lola: 175737 markings, 484216 edges, 5616 markings/sec, 25 secs
lola: 202107 markings, 556006 edges, 5274 markings/sec, 30 secs
lola: 228397 markings, 627466 edges, 5258 markings/sec, 35 secs
lola: 256051 markings, 703391 edges, 5531 markings/sec, 40 secs
lola: 279282 markings, 767810 edges, 4646 markings/sec, 45 secs
lola: 297091 markings, 819087 edges, 3562 markings/sec, 50 secs
lola: 319608 markings, 893239 edges, 4503 markings/sec, 55 secs
lola: 332884 markings, 930667 edges, 2655 markings/sec, 60 secs
lola: 357903 markings, 1014115 edges, 5004 markings/sec, 65 secs
lola: 371294 markings, 1052059 edges, 2678 markings/sec, 70 secs
lola: 395198 markings, 1132055 edges, 4781 markings/sec, 75 secs
lola: 408643 markings, 1169849 edges, 2689 markings/sec, 80 secs
lola: 432502 markings, 1248902 edges, 4772 markings/sec, 85 secs
lola: 445537 markings, 1285444 edges, 2607 markings/sec, 90 secs
lola: 468531 markings, 1361315 edges, 4599 markings/sec, 95 secs
lola: 482227 markings, 1399715 edges, 2739 markings/sec, 100 secs
lola: 505223 markings, 1474859 edges, 4599 markings/sec, 105 secs
lola: 521009 markings, 1521267 edges, 3157 markings/sec, 110 secs
lola: 541085 markings, 1585724 edges, 4015 markings/sec, 115 secs
lola: 563057 markings, 1657240 edges, 4394 markings/sec, 120 secs
lola: 576761 markings, 1695354 edges, 2741 markings/sec, 125 secs
lola: 597958 markings, 1763647 edges, 4239 markings/sec, 130 secs
lola: 616185 markings, 1818314 edges, 3645 markings/sec, 135 secs
lola: 634337 markings, 1874476 edges, 3630 markings/sec, 140 secs
lola: 651638 markings, 1927796 edges, 3460 markings/sec, 145 secs
lola: 669311 markings, 1982160 edges, 3535 markings/sec, 150 secs
lola: 686971 markings, 2037559 edges, 3532 markings/sec, 155 secs
lola: 705759 markings, 2096196 edges, 3758 markings/sec, 160 secs
lola: 725094 markings, 2156879 edges, 3867 markings/sec, 165 secs
lola: 743390 markings, 2215353 edges, 3659 markings/sec, 170 secs
lola: 756107 markings, 2251114 edges, 2543 markings/sec, 175 secs
lola: 773630 markings, 2307437 edges, 3505 markings/sec, 180 secs
lola: 793787 markings, 2372124 edges, 4031 markings/sec, 185 secs
lola: 809382 markings, 2417331 edges, 3119 markings/sec, 190 secs
lola: 828330 markings, 2478941 edges, 3790 markings/sec, 195 secs
lola: 842571 markings, 2519922 edges, 2848 markings/sec, 200 secs
lola: 855632 markings, 2555710 edges, 2612 markings/sec, 205 secs
lola: 881805 markings, 2643526 edges, 5235 markings/sec, 210 secs
lola: 894392 markings, 2680733 edges, 2517 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(p137)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 11586 markings, 25673 edges, 2317 markings/sec, 0 secs
lola: 20587 markings, 47888 edges, 1800 markings/sec, 5 secs
lola: 38382 markings, 106860 edges, 3559 markings/sec, 10 secs
lola: 60567 markings, 184403 edges, 4437 markings/sec, 15 secs
lola: 70580 markings, 212028 edges, 2003 markings/sec, 20 secs
lola: 77694 markings, 231194 edges, 1423 markings/sec, 25 secs
lola: 94338 markings, 288330 edges, 3329 markings/sec, 30 secs
lola: 111051 markings, 346970 edges, 3343 markings/sec, 35 secs
lola: 122313 markings, 372964 edges, 2252 markings/sec, 40 secs
lola: 130600 markings, 394944 edges, 1657 markings/sec, 45 secs
lola: 138423 markings, 415916 edges, 1565 markings/sec, 50 secs
lola: 149894 markings, 450197 edges, 2294 markings/sec, 55 secs
lola: 171193 markings, 525430 edges, 4260 markings/sec, 60 secs
lola: 184697 markings, 567075 edges, 2701 markings/sec, 65 secs
lola: 192934 markings, 589317 edges, 1647 markings/sec, 70 secs
lola: 214982 markings, 666784 edges, 4410 markings/sec, 75 secs
lola: 229748 markings, 713564 edges, 2953 markings/sec, 80 secs
lola: 237480 markings, 734599 edges, 1546 markings/sec, 85 secs
lola: 256963 markings, 801800 edges, 3897 markings/sec, 90 secs
lola: 273007 markings, 854828 edges, 3209 markings/sec, 95 secs
lola: 281312 markings, 876759 edges, 1661 markings/sec, 100 secs
lola: 298300 markings, 935201 edges, 3398 markings/sec, 105 secs
lola: 313551 markings, 986766 edges, 3050 markings/sec, 110 secs
lola: 320721 markings, 1006054 edges, 1434 markings/sec, 115 secs
lola: 331314 markings, 1038549 edges, 2119 markings/sec, 120 secs
lola: 350819 markings, 1107635 edges, 3901 markings/sec, 125 secs
lola: 360658 markings, 1135319 edges, 1968 markings/sec, 130 secs
lola: 375527 markings, 1183513 edges, 2974 markings/sec, 135 secs
lola: 393554 markings, 1244797 edges, 3605 markings/sec, 140 secs
lola: 401735 markings, 1266639 edges, 1636 markings/sec, 145 secs
lola: 420600 markings, 1331077 edges, 3773 markings/sec, 150 secs
lola: 433492 markings, 1371569 edges, 2578 markings/sec, 155 secs
lola: 440132 markings, 1389424 edges, 1328 markings/sec, 160 secs
lola: 459298 markings, 1456663 edges, 3833 markings/sec, 165 secs
lola: 469697 markings, 1487654 edges, 2080 markings/sec, 170 secs
lola: 485007 markings, 1537445 edges, 3062 markings/sec, 175 secs
lola: 500610 markings, 1587971 edges, 3121 markings/sec, 180 secs
lola: 510236 markings, 1616056 edges, 1925 markings/sec, 185 secs
lola: 529674 markings, 1682823 edges, 3888 markings/sec, 190 secs
lola: 537394 markings, 1703389 edges, 1544 markings/sec, 195 secs
lola: 557631 markings, 1773280 edges, 4047 markings/sec, 200 secs
lola: 565850 markings, 1795237 edges, 1644 markings/sec, 205 secs
lola: 585051 markings, 1861420 edges, 3840 markings/sec, 210 secs
lola: 593225 markings, 1883252 edges, 1635 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(p135)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 14518 markings, 26674 edges, 2904 markings/sec, 0 secs
lola: 61024 markings, 145695 edges, 9301 markings/sec, 5 secs
lola: 89481 markings, 213420 edges, 5691 markings/sec, 10 secs
lola: 117984 markings, 281479 edges, 5701 markings/sec, 15 secs
lola: 162836 markings, 393217 edges, 8970 markings/sec, 20 secs
lola: 198747 markings, 480704 edges, 7182 markings/sec, 25 secs
lola: 228783 markings, 552790 edges, 6007 markings/sec, 30 secs
lola: 260909 markings, 630208 edges, 6425 markings/sec, 35 secs
lola: 299139 markings, 724211 edges, 7646 markings/sec, 40 secs
lola: 338932 markings, 821970 edges, 7959 markings/sec, 45 secs
lola: 377031 markings, 915339 edges, 7620 markings/sec, 50 secs
lola: 413179 markings, 1003033 edges, 7230 markings/sec, 55 secs
lola: 448249 markings, 1088160 edges, 7014 markings/sec, 60 secs
lola: 482808 markings, 1172269 edges, 6912 markings/sec, 65 secs
lola: 515241 markings, 1250276 edges, 6487 markings/sec, 70 secs
lola: 546205 markings, 1324446 edges, 6193 markings/sec, 75 secs
lola: 581356 markings, 1409786 edges, 7030 markings/sec, 80 secs
lola: 620060 markings, 1504555 edges, 7741 markings/sec, 85 secs
lola: 649550 markings, 1574691 edges, 5898 markings/sec, 90 secs
lola: 688526 markings, 1670329 edges, 7795 markings/sec, 95 secs
lola: 712082 markings, 1725344 edges, 4711 markings/sec, 100 secs
lola: 723109 markings, 1747884 edges, 2205 markings/sec, 105 secs
lola: 767465 markings, 1857678 edges, 8871 markings/sec, 110 secs
lola: 782355 markings, 1894635 edges, 2978 markings/sec, 115 secs
lola: 812063 markings, 1965943 edges, 5942 markings/sec, 120 secs
lola: 837744 markings, 2027574 edges, 5136 markings/sec, 125 secs
lola: 869100 markings, 2103028 edges, 6271 markings/sec, 130 secs
lola: 891967 markings, 2156876 edges, 4573 markings/sec, 135 secs
lola: 931689 markings, 2254204 edges, 7944 markings/sec, 140 secs
lola: 945595 markings, 2283634 edges, 2781 markings/sec, 145 secs
lola: 988228 markings, 2390258 edges, 8527 markings/sec, 150 secs
lola: 1005655 markings, 2428806 edges, 3485 markings/sec, 155 secs
lola: 1037329 markings, 2506097 edges, 6335 markings/sec, 160 secs
lola: 1074081 markings, 2595211 edges, 7350 markings/sec, 165 secs
lola: 1093248 markings, 2638133 edges, 3833 markings/sec, 170 secs
lola: 1125355 markings, 2716111 edges, 6421 markings/sec, 175 secs
lola: 1162861 markings, 2807971 edges, 7501 markings/sec, 180 secs
lola: 1191564 markings, 2875415 edges, 5741 markings/sec, 185 secs
lola: 1216064 markings, 2932498 edges, 4900 markings/sec, 190 secs
lola: 1242460 markings, 2994670 edges, 5279 markings/sec, 195 secs
lola: 1275521 markings, 3074609 edges, 6612 markings/sec, 200 secs
lola: 1307344 markings, 3151071 edges, 6365 markings/sec, 205 secs
lola: 1337748 markings, 3223818 edges, 6081 markings/sec, 210 secs
lola: 1366658 markings, 3292786 edges, 5782 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(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p98 + p97 + p96 + p95 + p94 + p93 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 5 will run for 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p60 + p61)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 18624 markings, 47364 edges, 3725 markings/sec, 0 secs
lola: 34506 markings, 91269 edges, 3176 markings/sec, 5 secs
lola: 49438 markings, 134607 edges, 2986 markings/sec, 10 secs
lola: 63933 markings, 176969 edges, 2899 markings/sec, 15 secs
lola: 79136 markings, 221369 edges, 3041 markings/sec, 20 secs
lola: 93039 markings, 263903 edges, 2781 markings/sec, 25 secs
lola: 108372 markings, 308964 edges, 3067 markings/sec, 30 secs
lola: 121835 markings, 350791 edges, 2693 markings/sec, 35 secs
lola: 137144 markings, 396432 edges, 3062 markings/sec, 40 secs
lola: 150915 markings, 438692 edges, 2754 markings/sec, 45 secs
lola: 165117 markings, 483638 edges, 2840 markings/sec, 50 secs
lola: 181662 markings, 532495 edges, 3309 markings/sec, 55 secs
lola: 196824 markings, 579724 edges, 3032 markings/sec, 60 secs
lola: 211594 markings, 626842 edges, 2954 markings/sec, 65 secs
lola: 224603 markings, 669128 edges, 2602 markings/sec, 70 secs
lola: 238734 markings, 715528 edges, 2826 markings/sec, 75 secs
lola: 254140 markings, 760371 edges, 3081 markings/sec, 80 secs
lola: 267878 markings, 803514 edges, 2748 markings/sec, 85 secs
lola: 281181 markings, 846522 edges, 2661 markings/sec, 90 secs
lola: 294234 markings, 889068 edges, 2611 markings/sec, 95 secs
lola: 307174 markings, 931444 edges, 2588 markings/sec, 100 secs
lola: 321786 markings, 978547 edges, 2922 markings/sec, 105 secs
lola: 335527 markings, 1019638 edges, 2748 markings/sec, 110 secs
lola: 349490 markings, 1063802 edges, 2793 markings/sec, 115 secs
lola: 362107 markings, 1104827 edges, 2523 markings/sec, 120 secs
lola: 375004 markings, 1147001 edges, 2579 markings/sec, 125 secs
lola: 389407 markings, 1194420 edges, 2881 markings/sec, 130 secs
lola: 403271 markings, 1240742 edges, 2773 markings/sec, 135 secs
lola: 419328 markings, 1289634 edges, 3211 markings/sec, 140 secs
lola: 433630 markings, 1334227 edges, 2860 markings/sec, 145 secs
lola: 447345 markings, 1378335 edges, 2743 markings/sec, 150 secs
lola: 461135 markings, 1423519 edges, 2758 markings/sec, 155 secs
lola: 475257 markings, 1469938 edges, 2824 markings/sec, 160 secs
lola: 489538 markings, 1517180 edges, 2856 markings/sec, 165 secs
lola: 502579 markings, 1561129 edges, 2608 markings/sec, 170 secs
lola: 518642 markings, 1613091 edges, 3213 markings/sec, 175 secs
lola: 534186 markings, 1659494 edges, 3109 markings/sec, 180 secs
lola: 547987 markings, 1703641 edges, 2760 markings/sec, 185 secs
lola: 561694 markings, 1748422 edges, 2741 markings/sec, 190 secs
lola: 574934 markings, 1791793 edges, 2648 markings/sec, 195 secs
lola: 588135 markings, 1835498 edges, 2640 markings/sec, 200 secs
lola: 599433 markings, 1873671 edges, 2260 markings/sec, 205 secs
lola: 613289 markings, 1919682 edges, 2771 markings/sec, 210 secs
lola: 624880 markings, 1958918 edges, 2318 markings/sec, 215 secs
lola: 640998 markings, 2011155 edges, 3224 markings/sec, 220 secs
lola: 655067 markings, 2052460 edges, 2814 markings/sec, 225 secs
lola: 670731 markings, 2102597 edges, 3133 markings/sec, 230 secs
lola: 684253 markings, 2146751 edges, 2704 markings/sec, 235 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 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3 + p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 28608 markings, 78176 edges, 5722 markings/sec, 0 secs
lola: 56998 markings, 157215 edges, 5678 markings/sec, 5 secs
lola: 85292 markings, 235246 edges, 5659 markings/sec, 10 secs
lola: 114269 markings, 315795 edges, 5795 markings/sec, 15 secs
lola: 143084 markings, 395018 edges, 5763 markings/sec, 20 secs
lola: 172044 markings, 473809 edges, 5792 markings/sec, 25 secs
lola: 199277 markings, 548036 edges, 5447 markings/sec, 30 secs
lola: 225911 markings, 620530 edges, 5327 markings/sec, 35 secs
lola: 254825 markings, 699979 edges, 5783 markings/sec, 40 secs
lola: 278416 markings, 765410 edges, 4718 markings/sec, 45 secs
lola: 294438 markings, 809580 edges, 3204 markings/sec, 50 secs
lola: 318620 markings, 890450 edges, 4836 markings/sec, 55 secs
lola: 331930 markings, 928036 edges, 2662 markings/sec, 60 secs
lola: 357379 markings, 1012595 edges, 5090 markings/sec, 65 secs
lola: 370550 markings, 1050047 edges, 2634 markings/sec, 70 secs
lola: 393946 markings, 1128097 edges, 4679 markings/sec, 75 secs
lola: 407664 markings, 1167075 edges, 2744 markings/sec, 80 secs
lola: 431518 markings, 1245773 edges, 4771 markings/sec, 85 secs
lola: 445509 markings, 1285366 edges, 2798 markings/sec, 90 secs
lola: 469372 markings, 1363377 edges, 4773 markings/sec, 95 secs
lola: 482650 markings, 1400847 edges, 2656 markings/sec, 100 secs
lola: 504782 markings, 1473629 edges, 4426 markings/sec, 105 secs
lola: 517571 markings, 1509615 edges, 2558 markings/sec, 110 secs
lola: 539018 markings, 1579789 edges, 4289 markings/sec, 115 secs
lola: 559223 markings, 1643284 edges, 4041 markings/sec, 120 secs
lola: 574729 markings, 1689894 edges, 3101 markings/sec, 125 secs
lola: 595835 markings, 1757708 edges, 4221 markings/sec, 130 secs
lola: 614671 markings, 1814157 edges, 3767 markings/sec, 135 secs
lola: 632678 markings, 1869134 edges, 3601 markings/sec, 140 secs
lola: 651455 markings, 1927190 edges, 3755 markings/sec, 145 secs
lola: 669394 markings, 1982443 edges, 3588 markings/sec, 150 secs
lola: 687316 markings, 2038425 edges, 3584 markings/sec, 155 secs
lola: 705259 markings, 2094823 edges, 3589 markings/sec, 160 secs
lola: 724026 markings, 2153952 edges, 3753 markings/sec, 165 secs
lola: 743433 markings, 2215474 edges, 3881 markings/sec, 170 secs
lola: 760027 markings, 2264347 edges, 3319 markings/sec, 175 secs
lola: 777014 markings, 2317115 edges, 3397 markings/sec, 180 secs
lola: 797433 markings, 2382137 edges, 4084 markings/sec, 185 secs
lola: 817312 markings, 2444846 edges, 3976 markings/sec, 190 secs
lola: 832524 markings, 2491278 edges, 3042 markings/sec, 195 secs
lola: 846615 markings, 2530515 edges, 2818 markings/sec, 200 secs
lola: 862504 markings, 2576319 edges, 3178 markings/sec, 205 secs
lola: 886800 markings, 2657580 edges, 4859 markings/sec, 210 secs
lola: 898582 markings, 2693514 edges, 2356 markings/sec, 215 secs
lola: 913369 markings, 2737570 edges, 2957 markings/sec, 220 secs
lola: 928316 markings, 2784147 edges, 2989 markings/sec, 225 secs
lola: 949268 markings, 2853413 edges, 4190 markings/sec, 230 secs
lola: 959627 markings, 2884757 edges, 2072 markings/sec, 235 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 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p136)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 12061 markings, 26579 edges, 2412 markings/sec, 0 secs
lola: 21180 markings, 48415 edges, 1824 markings/sec, 5 secs
lola: 37618 markings, 102753 edges, 3288 markings/sec, 10 secs
lola: 56977 markings, 171093 edges, 3872 markings/sec, 15 secs
lola: 67669 markings, 201094 edges, 2138 markings/sec, 20 secs
lola: 75673 markings, 222593 edges, 1601 markings/sec, 25 secs
lola: 97040 markings, 297531 edges, 4273 markings/sec, 30 secs
lola: 114537 markings, 349541 edges, 3499 markings/sec, 35 secs
lola: 124184 markings, 373644 edges, 1929 markings/sec, 40 secs
lola: 132975 markings, 397062 edges, 1758 markings/sec, 45 secs
lola: 140460 markings, 417241 edges, 1497 markings/sec, 50 secs
lola: 161018 markings, 489027 edges, 4112 markings/sec, 55 secs
lola: 176911 markings, 541939 edges, 3179 markings/sec, 60 secs
lola: 185224 markings, 564293 edges, 1663 markings/sec, 65 secs
lola: 199717 markings, 611091 edges, 2899 markings/sec, 70 secs
lola: 221501 markings, 687034 edges, 4357 markings/sec, 75 secs
lola: 230249 markings, 710730 edges, 1750 markings/sec, 80 secs
lola: 243065 markings, 750788 edges, 2563 markings/sec, 85 secs
lola: 263470 markings, 823333 edges, 4081 markings/sec, 90 secs
lola: 273611 markings, 851326 edges, 2028 markings/sec, 95 secs
lola: 287563 markings, 895150 edges, 2790 markings/sec, 100 secs
lola: 308824 markings, 969047 edges, 4252 markings/sec, 105 secs
lola: 317466 markings, 992406 edges, 1728 markings/sec, 110 secs
lola: 336419 markings, 1056152 edges, 3791 markings/sec, 115 secs
lola: 352385 markings, 1107774 edges, 3193 markings/sec, 120 secs
lola: 360487 markings, 1129711 edges, 1620 markings/sec, 125 secs
lola: 382505 markings, 1206555 edges, 4404 markings/sec, 130 secs
lola: 393646 markings, 1239569 edges, 2228 markings/sec, 135 secs
lola: 405580 markings, 1276287 edges, 2387 markings/sec, 140 secs
lola: 425353 markings, 1344405 edges, 3955 markings/sec, 145 secs
lola: 433828 markings, 1366976 edges, 1695 markings/sec, 150 secs
lola: 452883 markings, 1432551 edges, 3811 markings/sec, 155 secs
lola: 464964 markings, 1469247 edges, 2416 markings/sec, 160 secs
lola: 480972 markings, 1521812 edges, 3202 markings/sec, 165 secs
lola: 495838 markings, 1569367 edges, 2973 markings/sec, 170 secs
lola: 507269 markings, 1604183 edges, 2286 markings/sec, 175 secs
lola: 525436 markings, 1665403 edges, 3633 markings/sec, 180 secs
lola: 535014 markings, 1692524 edges, 1916 markings/sec, 185 secs
lola: 554487 markings, 1758854 edges, 3895 markings/sec, 190 secs
lola: 566851 markings, 1796464 edges, 2473 markings/sec, 195 secs
lola: 583127 markings, 1849716 edges, 3255 markings/sec, 200 secs
lola: 595523 markings, 1889208 edges, 2479 markings/sec, 205 secs
lola: 609727 markings, 1934679 edges, 2841 markings/sec, 210 secs
lola: 624801 markings, 1984101 edges, 3015 markings/sec, 215 secs
lola: 635639 markings, 2016830 edges, 2168 markings/sec, 220 secs
lola: 651304 markings, 2069784 edges, 3133 markings/sec, 225 secs
lola: 659774 markings, 2093432 edges, 1694 markings/sec, 230 secs
lola: 675963 markings, 2148003 edges, 3238 markings/sec, 235 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 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p136)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 11786 markings, 25783 edges, 2357 markings/sec, 0 secs
lola: 21338 markings, 48850 edges, 1910 markings/sec, 5 secs
lola: 41706 markings, 118578 edges, 4074 markings/sec, 10 secs
lola: 60360 markings, 181430 edges, 3731 markings/sec, 15 secs
lola: 69010 markings, 204603 edges, 1730 markings/sec, 20 secs
lola: 80722 markings, 239368 edges, 2342 markings/sec, 25 secs
lola: 102991 markings, 318269 edges, 4454 markings/sec, 30 secs
lola: 118526 markings, 358527 edges, 3107 markings/sec, 35 secs
lola: 126766 markings, 380372 edges, 1648 markings/sec, 40 secs
lola: 134060 markings, 399986 edges, 1459 markings/sec, 45 secs
lola: 141471 markings, 420022 edges, 1482 markings/sec, 50 secs
lola: 164673 markings, 501772 edges, 4640 markings/sec, 55 secs
lola: 179406 markings, 548190 edges, 2947 markings/sec, 60 secs
lola: 187763 markings, 570975 edges, 1671 markings/sec, 65 secs
lola: 208087 markings, 641321 edges, 4065 markings/sec, 70 secs
lola: 224625 markings, 695432 edges, 3308 markings/sec, 75 secs
lola: 233263 markings, 718601 edges, 1728 markings/sec, 80 secs
lola: 253632 markings, 789056 edges, 4074 markings/sec, 85 secs
lola: 269626 markings, 840379 edges, 3199 markings/sec, 90 secs
lola: 277962 markings, 863042 edges, 1667 markings/sec, 95 secs
lola: 299069 markings, 936342 edges, 4221 markings/sec, 100 secs
lola: 313265 markings, 980834 edges, 2839 markings/sec, 105 secs
lola: 321187 markings, 1002244 edges, 1584 markings/sec, 110 secs
lola: 343887 markings, 1082007 edges, 4540 markings/sec, 115 secs
lola: 355485 markings, 1116300 edges, 2320 markings/sec, 120 secs
lola: 369618 markings, 1160954 edges, 2827 markings/sec, 125 secs
lola: 389240 markings, 1227878 edges, 3924 markings/sec, 130 secs
lola: 397642 markings, 1250204 edges, 1680 markings/sec, 135 secs
lola: 417560 markings, 1318933 edges, 3984 markings/sec, 140 secs
lola: 429961 markings, 1356722 edges, 2480 markings/sec, 145 secs
lola: 445648 markings, 1407943 edges, 3137 markings/sec, 150 secs
lola: 460485 markings, 1457293 edges, 2967 markings/sec, 155 secs
lola: 467722 markings, 1476590 edges, 1447 markings/sec, 160 secs
lola: 484287 markings, 1533113 edges, 3313 markings/sec, 165 secs
lola: 497309 markings, 1573507 edges, 2604 markings/sec, 170 secs
lola: 514062 markings, 1628425 edges, 3351 markings/sec, 175 secs
lola: 528171 markings, 1672699 edges, 2822 markings/sec, 180 secs
lola: 544702 markings, 1727223 edges, 3306 markings/sec, 185 secs
lola: 557537 markings, 1766857 edges, 2567 markings/sec, 190 secs
lola: 574408 markings, 1822798 edges, 3374 markings/sec, 195 secs
lola: 586096 markings, 1857910 edges, 2338 markings/sec, 200 secs
lola: 604543 markings, 1920550 edges, 3689 markings/sec, 205 secs
lola: 613952 markings, 1945985 edges, 1882 markings/sec, 210 secs
lola: 633224 markings, 2010229 edges, 3854 markings/sec, 215 secs
lola: 647394 markings, 2056075 edges, 2834 markings/sec, 220 secs
lola: 659313 markings, 2092364 edges, 2384 markings/sec, 225 secs
lola: 676880 markings, 2150342 edges, 3513 markings/sec, 230 secs
lola: 690657 markings, 2194683 edges, 2755 markings/sec, 235 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 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p135)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 16039 markings, 30466 edges, 3208 markings/sec, 0 secs
lola: 61606 markings, 147121 edges, 9113 markings/sec, 5 secs
lola: 92227 markings, 220325 edges, 6124 markings/sec, 10 secs
lola: 123359 markings, 294824 edges, 6226 markings/sec, 15 secs
lola: 164256 markings, 395567 edges, 8179 markings/sec, 20 secs
lola: 209156 markings, 506628 edges, 8980 markings/sec, 25 secs
lola: 245448 markings, 594583 edges, 7258 markings/sec, 30 secs
lola: 276883 markings, 670310 edges, 6287 markings/sec, 35 secs
lola: 308987 markings, 747598 edges, 6421 markings/sec, 40 secs
lola: 340994 markings, 825387 edges, 6401 markings/sec, 45 secs
lola: 378735 markings, 918195 edges, 7548 markings/sec, 50 secs
lola: 415487 markings, 1007816 edges, 7350 markings/sec, 55 secs
lola: 450603 markings, 1093211 edges, 7023 markings/sec, 60 secs
lola: 484468 markings, 1175027 edges, 6773 markings/sec, 65 secs
lola: 516883 markings, 1252995 edges, 6483 markings/sec, 70 secs
lola: 554079 markings, 1343618 edges, 7439 markings/sec, 75 secs
lola: 594726 markings, 1443157 edges, 8129 markings/sec, 80 secs
lola: 625521 markings, 1516607 edges, 6159 markings/sec, 85 secs
lola: 666349 markings, 1616614 edges, 8166 markings/sec, 90 secs
lola: 697181 markings, 1690453 edges, 6166 markings/sec, 95 secs
lola: 716688 markings, 1734263 edges, 3901 markings/sec, 100 secs
lola: 738328 markings, 1784303 edges, 4328 markings/sec, 105 secs
lola: 778059 markings, 1886907 edges, 7946 markings/sec, 110 secs
lola: 785939 markings, 1900576 edges, 1576 markings/sec, 115 secs
lola: 832887 markings, 2018453 edges, 9390 markings/sec, 120 secs
lola: 840943 markings, 2032863 edges, 1611 markings/sec, 125 secs
lola: 887855 markings, 2150052 edges, 9382 markings/sec, 130 secs
lola: 907865 markings, 2194348 edges, 4002 markings/sec, 135 secs
lola: 941941 markings, 2277443 edges, 6815 markings/sec, 140 secs
lola: 979766 markings, 2369244 edges, 7565 markings/sec, 145 secs
lola: 996805 markings, 2406701 edges, 3408 markings/sec, 150 secs
lola: 1036626 markings, 2504934 edges, 7964 markings/sec, 155 secs
lola: 1070847 markings, 2587130 edges, 6844 markings/sec, 160 secs
lola: 1088162 markings, 2625643 edges, 3463 markings/sec, 165 secs
lola: 1124624 markings, 2714902 edges, 7292 markings/sec, 170 secs
lola: 1162094 markings, 2806197 edges, 7494 markings/sec, 175 secs
lola: 1186790 markings, 2863478 edges, 4939 markings/sec, 180 secs
lola: 1207562 markings, 2911230 edges, 4154 markings/sec, 185 secs
lola: 1240886 markings, 2992058 edges, 6665 markings/sec, 190 secs
lola: 1273517 markings, 3071292 edges, 6526 markings/sec, 195 secs
lola: 1303966 markings, 3144656 edges, 6090 markings/sec, 200 secs
lola: 1328472 markings, 3202239 edges, 4901 markings/sec, 205 secs
lola: 1358016 markings, 3272702 edges, 5909 markings/sec, 210 secs
lola: 1386961 markings, 3341824 edges, 5789 markings/sec, 215 secs
lola: 1416553 markings, 3412839 edges, 5918 markings/sec, 220 secs
lola: 1442189 markings, 3473865 edges, 5127 markings/sec, 225 secs
lola: 1465684 markings, 3529168 edges, 4699 markings/sec, 230 secs
lola: 1490178 markings, 3587981 edges, 4899 markings/sec, 235 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 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p135)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 11156 markings, 18291 edges, 2231 markings/sec, 0 secs
lola: 60398 markings, 143230 edges, 9848 markings/sec, 5 secs
lola: 91977 markings, 219668 edges, 6316 markings/sec, 10 secs
lola: 125670 markings, 300564 edges, 6739 markings/sec, 15 secs
lola: 164922 markings, 396690 edges, 7850 markings/sec, 20 secs
lola: 209148 markings, 506616 edges, 8845 markings/sec, 25 secs
lola: 244804 markings, 593060 edges, 7131 markings/sec, 30 secs
lola: 279117 markings, 675882 edges, 6863 markings/sec, 35 secs
lola: 313918 markings, 760103 edges, 6960 markings/sec, 40 secs
lola: 350630 markings, 849004 edges, 7342 markings/sec, 45 secs
lola: 387171 markings, 937763 edges, 7308 markings/sec, 50 secs
lola: 421595 markings, 1021371 edges, 6885 markings/sec, 55 secs
lola: 458632 markings, 1111435 edges, 7407 markings/sec, 60 secs
lola: 497030 markings, 1205345 edges, 7680 markings/sec, 65 secs
lola: 535054 markings, 1298185 edges, 7605 markings/sec, 70 secs
lola: 571939 markings, 1388421 edges, 7377 markings/sec, 75 secs
lola: 600530 markings, 1456209 edges, 5718 markings/sec, 80 secs
lola: 639675 markings, 1551749 edges, 7829 markings/sec, 85 secs
lola: 671411 markings, 1627646 edges, 6347 markings/sec, 90 secs
lola: 709651 markings, 1721229 edges, 7648 markings/sec, 95 secs
lola: 721306 markings, 1744857 edges, 2331 markings/sec, 100 secs
lola: 761077 markings, 1841666 edges, 7954 markings/sec, 105 secs
lola: 782348 markings, 1894622 edges, 4254 markings/sec, 110 secs
lola: 817330 markings, 1979144 edges, 6996 markings/sec, 115 secs
lola: 839443 markings, 2030390 edges, 4423 markings/sec, 120 secs
lola: 882921 markings, 2137636 edges, 8696 markings/sec, 125 secs
lola: 893778 markings, 2159857 edges, 2171 markings/sec, 130 secs
lola: 937714 markings, 2269385 edges, 8787 markings/sec, 135 secs
lola: 949722 markings, 2293881 edges, 2402 markings/sec, 140 secs
lola: 989339 markings, 2392091 edges, 7923 markings/sec, 145 secs
lola: 1017942 markings, 2459661 edges, 5721 markings/sec, 150 secs
lola: 1039775 markings, 2510142 edges, 4367 markings/sec, 155 secs
lola: 1079946 markings, 2609600 edges, 8034 markings/sec, 160 secs
lola: 1106777 markings, 2672278 edges, 5366 markings/sec, 165 secs
lola: 1127351 markings, 2719396 edges, 4115 markings/sec, 170 secs
lola: 1164899 markings, 2811342 edges, 7510 markings/sec, 175 secs
lola: 1200689 markings, 2898343 edges, 7158 markings/sec, 180 secs
lola: 1226973 markings, 2959771 edges, 5257 markings/sec, 185 secs
lola: 1251350 markings, 3016772 edges, 4875 markings/sec, 190 secs
lola: 1276001 markings, 3075394 edges, 4930 markings/sec, 195 secs
lola: 1306809 markings, 3150183 edges, 6162 markings/sec, 200 secs
lola: 1337185 markings, 3222889 edges, 6075 markings/sec, 205 secs
lola: 1366073 markings, 3291822 edges, 5778 markings/sec, 210 secs
lola: 1393974 markings, 3357860 edges, 5580 markings/sec, 215 secs
lola: 1419923 markings, 3419480 edges, 5190 markings/sec, 220 secs
lola: 1446164 markings, 3481144 edges, 5248 markings/sec, 225 secs
lola: 1480649 markings, 3564698 edges, 6897 markings/sec, 230 secs
lola: 1505949 markings, 3625852 edges, 5060 markings/sec, 235 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 242 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 5070 markings, 12525 edges, 1014 markings/sec, 0 secs
lola: 10153 markings, 25202 edges, 1017 markings/sec, 5 secs
lola: 15284 markings, 38006 edges, 1026 markings/sec, 10 secs
lola: 20332 markings, 50606 edges, 1010 markings/sec, 15 secs
lola: 25216 markings, 62759 edges, 977 markings/sec, 20 secs
lola: 29616 markings, 75079 edges, 880 markings/sec, 25 secs
lola: 34643 markings, 87861 edges, 1005 markings/sec, 30 secs
lola: 39509 markings, 100090 edges, 973 markings/sec, 35 secs
lola: 44086 markings, 111522 edges, 915 markings/sec, 40 secs
lola: 48694 markings, 123041 edges, 922 markings/sec, 45 secs
lola: 53507 markings, 135151 edges, 963 markings/sec, 50 secs
lola: 58309 markings, 147270 edges, 960 markings/sec, 55 secs
lola: 62918 markings, 158897 edges, 922 markings/sec, 60 secs
lola: 67484 markings, 170425 edges, 913 markings/sec, 65 secs
lola: 71937 markings, 181656 edges, 891 markings/sec, 70 secs
lola: 76408 markings, 192972 edges, 894 markings/sec, 75 secs
lola: 80919 markings, 204458 edges, 902 markings/sec, 80 secs
lola: 85488 markings, 216127 edges, 914 markings/sec, 85 secs
lola: 90289 markings, 228506 edges, 960 markings/sec, 90 secs
lola: 95041 markings, 240722 edges, 950 markings/sec, 95 secs
lola: 99706 markings, 252699 edges, 933 markings/sec, 100 secs
lola: 104178 markings, 263927 edges, 894 markings/sec, 105 secs
lola: 108387 markings, 275294 edges, 842 markings/sec, 110 secs
lola: 112068 markings, 285052 edges, 736 markings/sec, 115 secs
lola: 116207 markings, 295726 edges, 828 markings/sec, 120 secs
lola: 120076 markings, 306988 edges, 774 markings/sec, 125 secs
lola: 123992 markings, 318404 edges, 783 markings/sec, 130 secs
lola: 128145 markings, 330277 edges, 831 markings/sec, 135 secs
lola: 132159 markings, 341904 edges, 803 markings/sec, 140 secs
lola: 136525 markings, 354196 edges, 873 markings/sec, 145 secs
lola: 141164 markings, 365583 edges, 928 markings/sec, 150 secs
lola: 144998 markings, 376048 edges, 767 markings/sec, 155 secs
lola: 148761 markings, 386066 edges, 753 markings/sec, 160 secs
lola: 153025 markings, 397197 edges, 853 markings/sec, 165 secs
lola: 157130 markings, 409169 edges, 821 markings/sec, 170 secs
lola: 161570 markings, 421777 edges, 888 markings/sec, 175 secs
lola: 165728 markings, 433906 edges, 832 markings/sec, 180 secs
lola: 169892 markings, 445922 edges, 833 markings/sec, 185 secs
lola: 174636 markings, 457885 edges, 949 markings/sec, 190 secs
lola: 178835 markings, 469258 edges, 840 markings/sec, 195 secs
lola: 182783 markings, 479610 edges, 790 markings/sec, 200 secs
lola: 186745 markings, 490024 edges, 792 markings/sec, 205 secs
lola: 191039 markings, 502265 edges, 859 markings/sec, 210 secs
lola: 195245 markings, 514405 edges, 841 markings/sec, 215 secs
lola: 199774 markings, 527413 edges, 906 markings/sec, 220 secs
lola: 204235 markings, 540285 edges, 892 markings/sec, 225 secs
lola: 209308 markings, 553243 edges, 1015 markings/sec, 230 secs
lola: 213643 markings, 564992 edges, 867 markings/sec, 235 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 242 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p136)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 11965 markings, 26292 edges, 2393 markings/sec, 0 secs
lola: 21471 markings, 49221 edges, 1901 markings/sec, 5 secs
lola: 43077 markings, 123418 edges, 4321 markings/sec, 10 secs
lola: 61430 markings, 184293 edges, 3671 markings/sec, 15 secs
lola: 69122 markings, 204939 edges, 1538 markings/sec, 20 secs
lola: 79197 markings, 234080 edges, 2015 markings/sec, 25 secs
lola: 101062 markings, 311435 edges, 4373 markings/sec, 30 secs
lola: 117893 markings, 356776 edges, 3366 markings/sec, 35 secs
lola: 126883 markings, 380689 edges, 1798 markings/sec, 40 secs
lola: 134073 markings, 400012 edges, 1438 markings/sec, 45 secs
lola: 141487 markings, 420068 edges, 1483 markings/sec, 50 secs
lola: 163000 markings, 495824 edges, 4303 markings/sec, 55 secs
lola: 178337 markings, 545571 edges, 3067 markings/sec, 60 secs
lola: 185993 markings, 566355 edges, 1531 markings/sec, 65 secs
lola: 204504 markings, 629346 edges, 3702 markings/sec, 70 secs
lola: 222364 markings, 689428 edges, 3572 markings/sec, 75 secs
lola: 230829 markings, 712472 edges, 1693 markings/sec, 80 secs
lola: 248824 markings, 772338 edges, 3599 markings/sec, 85 secs
lola: 267209 markings, 834227 edges, 3677 markings/sec, 90 secs
lola: 275875 markings, 857563 edges, 1733 markings/sec, 95 secs
lola: 295309 markings, 923437 edges, 3887 markings/sec, 100 secs
lola: 311350 markings, 975821 edges, 3208 markings/sec, 105 secs
lola: 319721 markings, 998283 edges, 1674 markings/sec, 110 secs
lola: 340121 markings, 1068829 edges, 4080 markings/sec, 115 secs
lola: 354188 markings, 1112769 edges, 2813 markings/sec, 120 secs
lola: 364821 markings, 1143946 edges, 2127 markings/sec, 125 secs
lola: 387270 markings, 1222443 edges, 4490 markings/sec, 130 secs
lola: 396195 markings, 1246529 edges, 1785 markings/sec, 135 secs
lola: 415311 markings, 1311281 edges, 3823 markings/sec, 140 secs
lola: 429280 markings, 1354845 edges, 2794 markings/sec, 145 secs
lola: 441803 markings, 1393379 edges, 2505 markings/sec, 150 secs
lola: 461121 markings, 1459101 edges, 3864 markings/sec, 155 secs
lola: 469471 markings, 1481181 edges, 1670 markings/sec, 160 secs
lola: 491916 markings, 1559000 edges, 4489 markings/sec, 165 secs
lola: 500768 markings, 1582680 edges, 1770 markings/sec, 170 secs
lola: 520707 markings, 1651508 edges, 3988 markings/sec, 175 secs
lola: 530932 markings, 1680078 edges, 2045 markings/sec, 180 secs
lola: 550548 markings, 1747477 edges, 3923 markings/sec, 185 secs
lola: 560458 markings, 1774616 edges, 1982 markings/sec, 190 secs
lola: 579599 markings, 1840472 edges, 3828 markings/sec, 195 secs
lola: 588511 markings, 1864243 edges, 1782 markings/sec, 200 secs
lola: 608112 markings, 1930448 edges, 3920 markings/sec, 205 secs
lola: 621720 markings, 1973330 edges, 2722 markings/sec, 210 secs
lola: 635190 markings, 2015719 edges, 2694 markings/sec, 215 secs
lola: 653151 markings, 2075760 edges, 3592 markings/sec, 220 secs
lola: 665933 markings, 2114600 edges, 2556 markings/sec, 225 secs
lola: 679317 markings, 2156918 edges, 2677 markings/sec, 230 secs
lola: 696267 markings, 2212794 edges, 3390 markings/sec, 235 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 242 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p5 + p6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 26729 markings, 72700 edges, 5346 markings/sec, 0 secs
lola: 56088 markings, 153771 edges, 5872 markings/sec, 5 secs
lola: 84500 markings, 232485 edges, 5682 markings/sec, 10 secs
lola: 112394 markings, 309013 edges, 5579 markings/sec, 15 secs
lola: 136626 markings, 376221 edges, 4846 markings/sec, 20 secs
lola: 161428 markings, 443860 edges, 4960 markings/sec, 25 secs
lola: 188395 markings, 517627 edges, 5393 markings/sec, 30 secs
lola: 216484 markings, 594832 edges, 5618 markings/sec, 35 secs
lola: 244458 markings, 670554 edges, 5595 markings/sec, 40 secs
lola: 271198 markings, 743116 edges, 5348 markings/sec, 45 secs
lola: 285159 markings, 781187 edges, 2792 markings/sec, 50 secs
lola: 290871 markings, 797708 edges, 1142 markings/sec, 55 secs
lola: 294812 markings, 808934 edges, 788 markings/sec, 60 secs
lola: 300421 markings, 822952 edges, 1122 markings/sec, 65 secs
lola: 308039 markings, 847014 edges, 1524 markings/sec, 70 secs
lola: 330777 markings, 927281 edges, 4548 markings/sec, 75 secs
lola: 338042 markings, 948044 edges, 1453 markings/sec, 80 secs
lola: 342961 markings, 962208 edges, 984 markings/sec, 85 secs
lola: 346593 markings, 971926 edges, 726 markings/sec, 90 secs
lola: 353838 markings, 992536 edges, 1449 markings/sec, 95 secs
lola: 358884 markings, 1007017 edges, 1009 markings/sec, 100 secs
lola: 362433 markings, 1016360 edges, 710 markings/sec, 105 secs
lola: 367122 markings, 1029527 edges, 938 markings/sec, 110 secs
lola: 389314 markings, 1111844 edges, 4438 markings/sec, 115 secs
lola: 396295 markings, 1131561 edges, 1396 markings/sec, 120 secs
lola: 401394 markings, 1146214 edges, 1020 markings/sec, 125 secs
lola: 405395 markings, 1156809 edges, 800 markings/sec, 130 secs
lola: 412181 markings, 1177809 edges, 1357 markings/sec, 135 secs
lola: 431891 markings, 1249914 edges, 3942 markings/sec, 140 secs
lola: 438777 markings, 1269824 edges, 1377 markings/sec, 145 secs
lola: 443094 markings, 1282158 edges, 863 markings/sec, 150 secs
lola: 447741 markings, 1294541 edges, 929 markings/sec, 155 secs
lola: 460809 markings, 1341304 edges, 2614 markings/sec, 160 secs
lola: 472771 markings, 1382715 edges, 2392 markings/sec, 165 secs
lola: 478474 markings, 1399199 edges, 1141 markings/sec, 170 secs
lola: 482311 markings, 1410026 edges, 767 markings/sec, 175 secs
lola: 487122 markings, 1422879 edges, 962 markings/sec, 180 secs
lola: 507016 markings, 1495688 edges, 3979 markings/sec, 185 secs
lola: 513948 markings, 1515494 edges, 1386 markings/sec, 190 secs
lola: 518257 markings, 1527791 edges, 862 markings/sec, 195 secs
lola: 522766 markings, 1539766 edges, 902 markings/sec, 200 secs
lola: 541532 markings, 1608670 edges, 3753 markings/sec, 205 secs
lola: 548022 markings, 1626949 edges, 1298 markings/sec, 210 secs
lola: 552742 markings, 1640448 edges, 944 markings/sec, 215 secs
lola: 557167 markings, 1652205 edges, 885 markings/sec, 220 secs
lola: 575172 markings, 1717915 edges, 3601 markings/sec, 225 secs
lola: 581936 markings, 1737160 edges, 1353 markings/sec, 230 secs
lola: 586180 markings, 1749253 edges, 849 markings/sec, 235 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 242 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p135)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 16987 markings, 32824 edges, 3397 markings/sec, 0 secs
lola: 62417 markings, 148515 edges, 9086 markings/sec, 5 secs
lola: 98595 markings, 236273 edges, 7236 markings/sec, 10 secs
lola: 128985 markings, 308808 edges, 6078 markings/sec, 15 secs
lola: 165202 markings, 397151 edges, 7243 markings/sec, 20 secs
lola: 210099 markings, 508190 edges, 8979 markings/sec, 25 secs
lola: 250893 markings, 608192 edges, 8159 markings/sec, 30 secs
lola: 286167 markings, 693544 edges, 7055 markings/sec, 35 secs
lola: 322541 markings, 781735 edges, 7275 markings/sec, 40 secs
lola: 359392 markings, 871166 edges, 7370 markings/sec, 45 secs
lola: 396727 markings, 961888 edges, 7467 markings/sec, 50 secs
lola: 435202 markings, 1055560 edges, 7695 markings/sec, 55 secs
lola: 474162 markings, 1150510 edges, 7792 markings/sec, 60 secs
lola: 514092 markings, 1248192 edges, 7986 markings/sec, 65 secs
lola: 545628 markings, 1323475 edges, 6307 markings/sec, 70 secs
lola: 581482 markings, 1410098 edges, 7171 markings/sec, 75 secs
lola: 623323 markings, 1512913 edges, 8368 markings/sec, 80 secs
lola: 655191 markings, 1588810 edges, 6374 markings/sec, 85 secs
lola: 690788 markings, 1674944 edges, 7119 markings/sec, 90 secs
lola: 714940 markings, 1730200 edges, 4830 markings/sec, 95 secs
lola: 737943 markings, 1783422 edges, 4601 markings/sec, 100 secs
lola: 778935 markings, 1888972 edges, 8198 markings/sec, 105 secs
lola: 795617 markings, 1924455 edges, 3336 markings/sec, 110 secs
lola: 836215 markings, 2025034 edges, 8120 markings/sec, 115 secs
lola: 860904 markings, 2082457 edges, 4938 markings/sec, 120 secs
lola: 891261 markings, 2155695 edges, 6071 markings/sec, 125 secs
lola: 926548 markings, 2241356 edges, 7057 markings/sec, 130 secs
lola: 944783 markings, 2282137 edges, 3647 markings/sec, 135 secs
lola: 988369 markings, 2390491 edges, 8717 markings/sec, 140 secs
lola: 1011822 markings, 2444307 edges, 4691 markings/sec, 145 secs
lola: 1038293 markings, 2507689 edges, 5294 markings/sec, 150 secs
lola: 1076367 markings, 2600931 edges, 7615 markings/sec, 155 secs
lola: 1089341 markings, 2628514 edges, 2595 markings/sec, 160 secs
lola: 1124352 markings, 2714457 edges, 7002 markings/sec, 165 secs
lola: 1158299 markings, 2796643 edges, 6789 markings/sec, 170 secs
lola: 1176047 markings, 2836489 edges, 3550 markings/sec, 175 secs
lola: 1205110 markings, 2906134 edges, 5813 markings/sec, 180 secs
lola: 1239287 markings, 2989412 edges, 6835 markings/sec, 185 secs
lola: 1272227 markings, 3069158 edges, 6588 markings/sec, 190 secs
lola: 1300905 markings, 3136898 edges, 5736 markings/sec, 195 secs
lola: 1325677 markings, 3195270 edges, 4954 markings/sec, 200 secs
lola: 1355634 markings, 3266754 edges, 5991 markings/sec, 205 secs
lola: 1386629 markings, 3341078 edges, 6199 markings/sec, 210 secs
lola: 1416956 markings, 3413854 edges, 6065 markings/sec, 215 secs
lola: 1443011 markings, 3475215 edges, 5211 markings/sec, 220 secs
lola: 1467064 markings, 3531442 edges, 4811 markings/sec, 225 secs
lola: 1496295 markings, 3602560 edges, 5846 markings/sec, 230 secs
lola: 1523303 markings, 3667799 edges, 5402 markings/sec, 235 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 242 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p135)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 19159 markings, 38212 edges, 3832 markings/sec, 0 secs
lola: 62875 markings, 149271 edges, 8743 markings/sec, 5 secs
lola: 103050 markings, 247545 edges, 8035 markings/sec, 10 secs
lola: 138032 markings, 331778 edges, 6996 markings/sec, 15 secs
lola: 173458 markings, 417189 edges, 7085 markings/sec, 20 secs
lola: 212045 markings, 511429 edges, 7717 markings/sec, 25 secs
lola: 255644 markings, 618695 edges, 8720 markings/sec, 30 secs
lola: 297703 markings, 721810 edges, 8412 markings/sec, 35 secs
lola: 337823 markings, 820099 edges, 8024 markings/sec, 40 secs
lola: 375164 markings, 910628 edges, 7468 markings/sec, 45 secs
lola: 413634 markings, 1004265 edges, 7694 markings/sec, 50 secs
lola: 449803 markings, 1091886 edges, 7234 markings/sec, 55 secs
lola: 483846 markings, 1174002 edges, 6809 markings/sec, 60 secs
lola: 516322 markings, 1252077 edges, 6495 markings/sec, 65 secs
lola: 551850 markings, 1338004 edges, 7106 markings/sec, 70 secs
lola: 590287 markings, 1432104 edges, 7687 markings/sec, 75 secs
lola: 624751 markings, 1515322 edges, 6893 markings/sec, 80 secs
lola: 663427 markings, 1609337 edges, 7735 markings/sec, 85 secs
lola: 693338 markings, 1680884 edges, 5982 markings/sec, 90 secs
lola: 716154 markings, 1733129 edges, 4563 markings/sec, 95 secs
lola: 742303 markings, 1794451 edges, 5230 markings/sec, 100 secs
lola: 779809 markings, 1890420 edges, 7501 markings/sec, 105 secs
lola: 802013 markings, 1940588 edges, 4441 markings/sec, 110 secs
lola: 837028 markings, 2026384 edges, 7003 markings/sec, 115 secs
lola: 869582 markings, 2104223 edges, 6511 markings/sec, 120 secs
lola: 892755 markings, 2158175 edges, 4635 markings/sec, 125 secs
lola: 937602 markings, 2269237 edges, 8969 markings/sec, 130 secs
lola: 954848 markings, 2306555 edges, 3449 markings/sec, 135 secs
lola: 990566 markings, 2394123 edges, 7144 markings/sec, 140 secs
lola: 1027163 markings, 2482835 edges, 7319 markings/sec, 145 secs
lola: 1046038 markings, 2524864 edges, 3775 markings/sec, 150 secs
lola: 1082080 markings, 2613121 edges, 7208 markings/sec, 155 secs
lola: 1120648 markings, 2707170 edges, 7714 markings/sec, 160 secs
lola: 1141577 markings, 2754760 edges, 4186 markings/sec, 165 secs
lola: 1167013 markings, 2814824 edges, 5087 markings/sec, 170 secs
lola: 1202955 markings, 2902573 edges, 7188 markings/sec, 175 secs
lola: 1237281 markings, 2985660 edges, 6865 markings/sec, 180 secs
lola: 1265583 markings, 3052354 edges, 5660 markings/sec, 185 secs
lola: 1291814 markings, 3114183 edges, 5246 markings/sec, 190 secs
lola: 1319000 markings, 3178588 edges, 5437 markings/sec, 195 secs
lola: 1348283 markings, 3248406 edges, 5857 markings/sec, 200 secs
lola: 1372989 markings, 3306982 edges, 4941 markings/sec, 205 secs
lola: 1398922 markings, 3368710 edges, 5187 markings/sec, 210 secs
lola: 1425571 markings, 3432456 edges, 5330 markings/sec, 215 secs
lola: 1453702 markings, 3500000 edges, 5626 markings/sec, 220 secs
lola: 1485367 markings, 3576441 edges, 6333 markings/sec, 225 secs
lola: 1507182 markings, 3628723 edges, 4363 markings/sec, 230 secs
lola: 1527515 markings, 3678833 edges, 4067 markings/sec, 235 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-4 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494611571764

--------------------
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-COL-V50P50N20"
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-COL-V50P50N20.tgz
mv BridgeAndVehicles-COL-V50P50N20 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-COL-V50P50N20, 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-149436126200362"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;