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 FlexibleBarrier-PT-12b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r188-blw3-149581034200083
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496487496827


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


checking for too many tokens
===========================================================================================
FlexibleBarrier-PT-12b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ FlexibleBarrier-PT-12b @ 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: 4277/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: finding significant places
lola: 1988 places, 2289 transitions, 1974 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2315 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-12b-UpperBounds.task
lola: MAX(p386) : MAX(p1138) : MAX(p1768) : MAX(p1194) : MAX(p102) : MAX(p675) : MAX(p140) : MAX(p467) : MAX(p1285) : MAX(p1014) : MAX(p557) : MAX(p1732) : MAX(p1845) : MAX(p725) : MAX(p417) : MAX(p652)
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(p386)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 248 bytes per marking, with 10 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: 121894 markings, 147002 edges, 24379 markings/sec, 0 secs
lola: 240709 markings, 300666 edges, 23763 markings/sec, 5 secs
lola: 362384 markings, 449148 edges, 24335 markings/sec, 10 secs
lola: 481616 markings, 602821 edges, 23846 markings/sec, 15 secs
lola: 601027 markings, 755919 edges, 23882 markings/sec, 20 secs
lola: 720455 markings, 899347 edges, 23886 markings/sec, 25 secs
lola: 838124 markings, 1044405 edges, 23534 markings/sec, 30 secs
lola: 948717 markings, 1181914 edges, 22119 markings/sec, 35 secs
lola: 1066909 markings, 1326585 edges, 23638 markings/sec, 40 secs
lola: 1186193 markings, 1470670 edges, 23857 markings/sec, 45 secs
lola: 1305333 markings, 1616850 edges, 23828 markings/sec, 50 secs
lola: 1414252 markings, 1752561 edges, 21784 markings/sec, 55 secs
lola: 1526500 markings, 1892053 edges, 22450 markings/sec, 60 secs
lola: 1646725 markings, 2036150 edges, 24045 markings/sec, 65 secs
lola: 1766481 markings, 2182838 edges, 23951 markings/sec, 70 secs
lola: 1886532 markings, 2330834 edges, 24010 markings/sec, 75 secs
lola: 2006212 markings, 2478726 edges, 23936 markings/sec, 80 secs
lola: 2123431 markings, 2629361 edges, 23444 markings/sec, 85 secs
lola: 2239940 markings, 2785366 edges, 23302 markings/sec, 90 secs
lola: 2349252 markings, 2933288 edges, 21862 markings/sec, 95 secs
lola: 2466217 markings, 3089925 edges, 23393 markings/sec, 100 secs
lola: 2582807 markings, 3246164 edges, 23318 markings/sec, 105 secs
lola: 2698523 markings, 3403654 edges, 23143 markings/sec, 110 secs
lola: 2811110 markings, 3564888 edges, 22517 markings/sec, 115 secs
lola: 2924075 markings, 3729456 edges, 22593 markings/sec, 120 secs
lola: 3036729 markings, 3872915 edges, 22531 markings/sec, 125 secs
lola: 3134289 markings, 4087355 edges, 19512 markings/sec, 130 secs
lola: 3237752 markings, 4224035 edges, 20693 markings/sec, 135 secs
lola: 3353098 markings, 4378160 edges, 23069 markings/sec, 140 secs
lola: 3471996 markings, 4528752 edges, 23780 markings/sec, 145 secs
lola: 3588499 markings, 4679954 edges, 23301 markings/sec, 150 secs
lola: 3703025 markings, 4834874 edges, 22905 markings/sec, 155 secs
lola: 3819049 markings, 4983950 edges, 23205 markings/sec, 160 secs
lola: 3934012 markings, 5138537 edges, 22993 markings/sec, 165 secs
lola: 4050204 markings, 5295194 edges, 23238 markings/sec, 170 secs
lola: 4159702 markings, 5433237 edges, 21900 markings/sec, 175 secs
lola: 4274663 markings, 5584868 edges, 22992 markings/sec, 180 secs
lola: 4390218 markings, 5731402 edges, 23111 markings/sec, 185 secs
lola: 4502499 markings, 5878254 edges, 22456 markings/sec, 190 secs
lola: 4616396 markings, 6028576 edges, 22779 markings/sec, 195 secs
lola: 4731508 markings, 6174881 edges, 23022 markings/sec, 200 secs
lola: 4847090 markings, 6325400 edges, 23116 markings/sec, 205 secs
lola: 4963281 markings, 6478437 edges, 23238 markings/sec, 210 secs
lola: 5079625 markings, 6630522 edges, 23269 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(p1138)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 248 bytes per marking, with 10 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: 132540 markings, 159901 edges, 26508 markings/sec, 0 secs
lola: 263907 markings, 328842 edges, 26273 markings/sec, 5 secs
lola: 396275 markings, 497266 edges, 26474 markings/sec, 10 secs
lola: 528080 markings, 661924 edges, 26361 markings/sec, 15 secs
lola: 656797 markings, 827288 edges, 25743 markings/sec, 20 secs
lola: 782376 markings, 975121 edges, 25116 markings/sec, 25 secs
lola: 913323 markings, 1135763 edges, 26189 markings/sec, 30 secs
lola: 1043295 markings, 1295369 edges, 25994 markings/sec, 35 secs
lola: 1173591 markings, 1455316 edges, 26059 markings/sec, 40 secs
lola: 1303310 markings, 1614650 edges, 25944 markings/sec, 45 secs
lola: 1435867 markings, 1777101 edges, 26511 markings/sec, 50 secs
lola: 1567349 markings, 1938349 edges, 26296 markings/sec, 55 secs
lola: 1698915 markings, 2100019 edges, 26313 markings/sec, 60 secs
lola: 1830698 markings, 2261827 edges, 26357 markings/sec, 65 secs
lola: 1963507 markings, 2424947 edges, 26562 markings/sec, 70 secs
lola: 2094169 markings, 2590309 edges, 26132 markings/sec, 75 secs
lola: 2221651 markings, 2760189 edges, 25496 markings/sec, 80 secs
lola: 2348882 markings, 2932902 edges, 25446 markings/sec, 85 secs
lola: 2477243 markings, 3103233 edges, 25672 markings/sec, 90 secs
lola: 2604859 markings, 3273783 edges, 25523 markings/sec, 95 secs
lola: 2729180 markings, 3446558 edges, 24864 markings/sec, 100 secs
lola: 2853546 markings, 3629132 edges, 24873 markings/sec, 105 secs
lola: 2978604 markings, 3799904 edges, 25012 markings/sec, 110 secs
lola: 3094933 markings, 3987142 edges, 23266 markings/sec, 115 secs
lola: 3204987 markings, 4184284 edges, 22011 markings/sec, 120 secs
lola: 3332240 markings, 4346445 edges, 25451 markings/sec, 125 secs
lola: 3460012 markings, 4514684 edges, 25554 markings/sec, 130 secs
lola: 3588213 markings, 4679835 edges, 25640 markings/sec, 135 secs
lola: 3713897 markings, 4847865 edges, 25137 markings/sec, 140 secs
lola: 3822823 markings, 4989380 edges, 21785 markings/sec, 145 secs
lola: 3948671 markings, 5156196 edges, 25170 markings/sec, 150 secs
lola: 4074614 markings, 5325501 edges, 25189 markings/sec, 155 secs
lola: 4200027 markings, 5488659 edges, 25083 markings/sec, 160 secs
lola: 4326516 markings, 5649132 edges, 25298 markings/sec, 165 secs
lola: 4452922 markings, 5813040 edges, 25281 markings/sec, 170 secs
lola: 4579637 markings, 5977469 edges, 25343 markings/sec, 175 secs
lola: 4705859 markings, 6142618 edges, 25244 markings/sec, 180 secs
lola: 4832944 markings, 6308648 edges, 25417 markings/sec, 185 secs
lola: 4960120 markings, 6474788 edges, 25435 markings/sec, 190 secs
lola: 5087885 markings, 6641609 edges, 25553 markings/sec, 195 secs
lola: 5216153 markings, 6808986 edges, 25654 markings/sec, 200 secs
lola: 5345744 markings, 6972961 edges, 25918 markings/sec, 205 secs
lola: 5474783 markings, 7140499 edges, 25808 markings/sec, 210 secs
lola: 5601180 markings, 7310608 edges, 25279 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(p1768)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 248 bytes per marking, with 10 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: 129655 markings, 156623 edges, 25931 markings/sec, 0 secs
lola: 254379 markings, 318285 edges, 24945 markings/sec, 5 secs
lola: 381173 markings, 474921 edges, 25359 markings/sec, 10 secs
lola: 508118 markings, 634496 edges, 25389 markings/sec, 15 secs
lola: 632552 markings, 793526 edges, 24887 markings/sec, 20 secs
lola: 758232 markings, 948714 edges, 25136 markings/sec, 25 secs
lola: 884348 markings, 1103881 edges, 25223 markings/sec, 30 secs
lola: 1010324 markings, 1258941 edges, 25195 markings/sec, 35 secs
lola: 1136070 markings, 1413707 edges, 25149 markings/sec, 40 secs
lola: 1263061 markings, 1569891 edges, 25398 markings/sec, 45 secs
lola: 1392041 markings, 1728376 edges, 25796 markings/sec, 50 secs
lola: 1519324 markings, 1884893 edges, 25457 markings/sec, 55 secs
lola: 1646286 markings, 2040408 edges, 25392 markings/sec, 60 secs
lola: 1773521 markings, 2195035 edges, 25447 markings/sec, 65 secs
lola: 1901280 markings, 2350740 edges, 25552 markings/sec, 70 secs
lola: 2028866 markings, 2507282 edges, 25517 markings/sec, 75 secs
lola: 2151302 markings, 2669651 edges, 24487 markings/sec, 80 secs
lola: 2274491 markings, 2835606 edges, 24638 markings/sec, 85 secs
lola: 2398088 markings, 3002030 edges, 24719 markings/sec, 90 secs
lola: 2521819 markings, 3166890 edges, 24746 markings/sec, 95 secs
lola: 2645499 markings, 3331979 edges, 24736 markings/sec, 100 secs
lola: 2763921 markings, 3503898 edges, 23684 markings/sec, 105 secs
lola: 2882449 markings, 3675656 edges, 23706 markings/sec, 110 secs
lola: 3000021 markings, 3834279 edges, 23514 markings/sec, 115 secs
lola: 3107403 markings, 4036674 edges, 21476 markings/sec, 120 secs
lola: 3218775 markings, 4201265 edges, 22274 markings/sec, 125 secs
lola: 3342896 markings, 4361493 edges, 24824 markings/sec, 130 secs
lola: 3467883 markings, 4524278 edges, 24997 markings/sec, 135 secs
lola: 3591205 markings, 4686984 edges, 24664 markings/sec, 140 secs
lola: 3713966 markings, 4848418 edges, 24552 markings/sec, 145 secs
lola: 3835278 markings, 5011650 edges, 24262 markings/sec, 150 secs
lola: 3959945 markings, 5171581 edges, 24933 markings/sec, 155 secs
lola: 4082073 markings, 5335056 edges, 24426 markings/sec, 160 secs
lola: 4204213 markings, 5495092 edges, 24428 markings/sec, 165 secs
lola: 4327354 markings, 5656451 edges, 24628 markings/sec, 170 secs
lola: 4451602 markings, 5813876 edges, 24850 markings/sec, 175 secs
lola: 4575384 markings, 5974344 edges, 24756 markings/sec, 180 secs
lola: 4699177 markings, 6136045 edges, 24759 markings/sec, 185 secs
lola: 4822833 markings, 6297973 edges, 24731 markings/sec, 190 secs
lola: 4946751 markings, 6460262 edges, 24784 markings/sec, 195 secs
lola: 5071316 markings, 6622209 edges, 24913 markings/sec, 200 secs
lola: 5196307 markings, 6781214 edges, 24998 markings/sec, 205 secs
lola: 5321505 markings, 6943339 edges, 25040 markings/sec, 210 secs
lola: 5446862 markings, 7107366 edges, 25071 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(p1194)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 248 bytes per marking, with 10 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: 130703 markings, 157611 edges, 26141 markings/sec, 0 secs
lola: 257857 markings, 321938 edges, 25431 markings/sec, 5 secs
lola: 386852 markings, 483886 edges, 25799 markings/sec, 10 secs
lola: 516282 markings, 644194 edges, 25886 markings/sec, 15 secs
lola: 642253 markings, 805532 edges, 25194 markings/sec, 20 secs
lola: 767907 markings, 958700 edges, 25131 markings/sec, 25 secs
lola: 893902 markings, 1113789 edges, 25199 markings/sec, 30 secs
lola: 1019323 markings, 1268172 edges, 25084 markings/sec, 35 secs
lola: 1145815 markings, 1423824 edges, 25298 markings/sec, 40 secs
lola: 1272742 markings, 1579936 edges, 25385 markings/sec, 45 secs
lola: 1399204 markings, 1735475 edges, 25292 markings/sec, 50 secs
lola: 1524903 markings, 1890363 edges, 25140 markings/sec, 55 secs
lola: 1649407 markings, 2039742 edges, 24901 markings/sec, 60 secs
lola: 1774598 markings, 2193234 edges, 25038 markings/sec, 65 secs
lola: 1903673 markings, 2351618 edges, 25815 markings/sec, 70 secs
lola: 2031569 markings, 2508547 edges, 25579 markings/sec, 75 secs
lola: 2155687 markings, 2672459 edges, 24824 markings/sec, 80 secs
lola: 2280092 markings, 2838463 edges, 24881 markings/sec, 85 secs
lola: 2392958 markings, 2990014 edges, 22573 markings/sec, 90 secs
lola: 2517721 markings, 3156934 edges, 24953 markings/sec, 95 secs
lola: 2643830 markings, 3327277 edges, 25222 markings/sec, 100 secs
lola: 2769148 markings, 3504493 edges, 25064 markings/sec, 105 secs
lola: 2882510 markings, 3670076 edges, 22672 markings/sec, 110 secs
lola: 3007362 markings, 3835412 edges, 24970 markings/sec, 115 secs
lola: 3122914 markings, 4036435 edges, 23110 markings/sec, 120 secs
lola: 3238863 markings, 4225537 edges, 23190 markings/sec, 125 secs
lola: 3351501 markings, 4376219 edges, 22528 markings/sec, 130 secs
lola: 3479157 markings, 4537379 edges, 25531 markings/sec, 135 secs
lola: 3604542 markings, 4707001 edges, 25077 markings/sec, 140 secs
lola: 3730088 markings, 4867082 edges, 25109 markings/sec, 145 secs
lola: 3851948 markings, 5031660 edges, 24372 markings/sec, 150 secs
lola: 3978283 markings, 5197120 edges, 25267 markings/sec, 155 secs
lola: 4101835 markings, 5361601 edges, 24710 markings/sec, 160 secs
lola: 4225215 markings, 5518710 edges, 24676 markings/sec, 165 secs
lola: 4337625 markings, 5667249 edges, 22482 markings/sec, 170 secs
lola: 4462770 markings, 5826078 edges, 25029 markings/sec, 175 secs
lola: 4587642 markings, 5987929 edges, 24974 markings/sec, 180 secs
lola: 4712959 markings, 6151098 edges, 25063 markings/sec, 185 secs
lola: 4837760 markings, 6314437 edges, 24960 markings/sec, 190 secs
lola: 4963222 markings, 6478510 edges, 25092 markings/sec, 195 secs
lola: 5088788 markings, 6642694 edges, 25113 markings/sec, 200 secs
lola: 5214512 markings, 6805401 edges, 25145 markings/sec, 205 secs
lola: 5341121 markings, 6966953 edges, 25322 markings/sec, 210 secs
lola: 5467632 markings, 7130974 edges, 25302 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(p102)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 248 bytes per marking, with 10 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: 129820 markings, 156578 edges, 25964 markings/sec, 0 secs
lola: 254766 markings, 318455 edges, 24989 markings/sec, 5 secs
lola: 381827 markings, 474883 edges, 25412 markings/sec, 10 secs
lola: 510071 markings, 636418 edges, 25649 markings/sec, 15 secs
lola: 636426 markings, 797878 edges, 25271 markings/sec, 20 secs
lola: 762483 markings, 952543 edges, 25211 markings/sec, 25 secs
lola: 888442 markings, 1107524 edges, 25192 markings/sec, 30 secs
lola: 1014716 markings, 1262926 edges, 25255 markings/sec, 35 secs
lola: 1140871 markings, 1418189 edges, 25231 markings/sec, 40 secs
lola: 1266147 markings, 1572416 edges, 25055 markings/sec, 45 secs
lola: 1371530 markings, 1698018 edges, 21077 markings/sec, 50 secs
lola: 1498580 markings, 1854386 edges, 25410 markings/sec, 55 secs
lola: 1624603 markings, 2009507 edges, 25205 markings/sec, 60 secs
lola: 1751741 markings, 2165854 edges, 25428 markings/sec, 65 secs
lola: 1879177 markings, 2322588 edges, 25487 markings/sec, 70 secs
lola: 2006835 markings, 2479514 edges, 25532 markings/sec, 75 secs
lola: 2131319 markings, 2639353 edges, 24897 markings/sec, 80 secs
lola: 2253769 markings, 2803224 edges, 24490 markings/sec, 85 secs
lola: 2355313 markings, 2940319 edges, 20309 markings/sec, 90 secs
lola: 2479469 markings, 3105912 edges, 24831 markings/sec, 95 secs
lola: 2603687 markings, 3272100 edges, 24844 markings/sec, 100 secs
lola: 2725102 markings, 3442021 edges, 24283 markings/sec, 105 secs
lola: 2844376 markings, 3614404 edges, 23855 markings/sec, 110 secs
lola: 2964155 markings, 3783061 edges, 23956 markings/sec, 115 secs
lola: 3080077 markings, 3949246 edges, 23184 markings/sec, 120 secs
lola: 3184213 markings, 4152553 edges, 20827 markings/sec, 125 secs
lola: 3283835 markings, 4287183 edges, 19924 markings/sec, 130 secs
lola: 3408524 markings, 4446363 edges, 24938 markings/sec, 135 secs
lola: 3533047 markings, 4608441 edges, 24905 markings/sec, 140 secs
lola: 3654882 markings, 4769068 edges, 24367 markings/sec, 145 secs
lola: 3775758 markings, 4928086 edges, 24175 markings/sec, 150 secs
lola: 3897395 markings, 5089902 edges, 24327 markings/sec, 155 secs
lola: 4022393 markings, 5253487 edges, 25000 markings/sec, 160 secs
lola: 4144235 markings, 5414902 edges, 24368 markings/sec, 165 secs
lola: 4261619 markings, 5567211 edges, 23477 markings/sec, 170 secs
lola: 4380716 markings, 5718957 edges, 23819 markings/sec, 175 secs
lola: 4497343 markings, 5872201 edges, 23325 markings/sec, 180 secs
lola: 4617859 markings, 6030425 edges, 24103 markings/sec, 185 secs
lola: 4740184 markings, 6191151 edges, 24465 markings/sec, 190 secs
lola: 4865421 markings, 6348917 edges, 25047 markings/sec, 195 secs
lola: 4988529 markings, 6508499 edges, 24622 markings/sec, 200 secs
lola: 5111233 markings, 6669467 edges, 24541 markings/sec, 205 secs
lola: 5233550 markings, 6829846 edges, 24463 markings/sec, 210 secs
lola: 5358335 markings, 6993090 edges, 24957 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(p675)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 248 bytes per marking, with 10 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: 128333 markings, 154787 edges, 25667 markings/sec, 0 secs
lola: 254673 markings, 318355 edges, 25268 markings/sec, 5 secs
lola: 382682 markings, 476004 edges, 25602 markings/sec, 10 secs
lola: 509617 markings, 635788 edges, 25387 markings/sec, 15 secs
lola: 636560 markings, 798020 edges, 25389 markings/sec, 20 secs
lola: 760049 markings, 949806 edges, 24698 markings/sec, 25 secs
lola: 882546 markings, 1100854 edges, 24499 markings/sec, 30 secs
lola: 1007487 markings, 1254704 edges, 24988 markings/sec, 35 secs
lola: 1133983 markings, 1410486 edges, 25299 markings/sec, 40 secs
lola: 1261835 markings, 1566430 edges, 25570 markings/sec, 45 secs
lola: 1384742 markings, 1714631 edges, 24581 markings/sec, 50 secs
lola: 1511737 markings, 1870484 edges, 25399 markings/sec, 55 secs
lola: 1639481 markings, 2027282 edges, 25549 markings/sec, 60 secs
lola: 1767689 markings, 2184570 edges, 25642 markings/sec, 65 secs
lola: 1891718 markings, 2336725 edges, 24806 markings/sec, 70 secs
lola: 2020604 markings, 2495075 edges, 25777 markings/sec, 75 secs
lola: 2144020 markings, 2658602 edges, 24683 markings/sec, 80 secs
lola: 2267413 markings, 2822508 edges, 24679 markings/sec, 85 secs
lola: 2386990 markings, 2982504 edges, 23915 markings/sec, 90 secs
lola: 2511058 markings, 3148129 edges, 24814 markings/sec, 95 secs
lola: 2633753 markings, 3312314 edges, 24539 markings/sec, 100 secs
lola: 2750407 markings, 3479037 edges, 23331 markings/sec, 105 secs
lola: 2865392 markings, 3646081 edges, 22997 markings/sec, 110 secs
lola: 2985886 markings, 3808564 edges, 24099 markings/sec, 115 secs
lola: 3098619 markings, 3996105 edges, 22547 markings/sec, 120 secs
lola: 3206966 markings, 4186673 edges, 21669 markings/sec, 125 secs
lola: 3326562 markings, 4339252 edges, 23919 markings/sec, 130 secs
lola: 3450740 markings, 4503761 edges, 24836 markings/sec, 135 secs
lola: 3576431 markings, 4663203 edges, 25138 markings/sec, 140 secs
lola: 3698195 markings, 4829349 edges, 24353 markings/sec, 145 secs
lola: 3820621 markings, 4986469 edges, 24485 markings/sec, 150 secs
lola: 3943058 markings, 5149267 edges, 24487 markings/sec, 155 secs
lola: 4066181 markings, 5315046 edges, 24625 markings/sec, 160 secs
lola: 4189386 markings, 5472056 edges, 24641 markings/sec, 165 secs
lola: 4312762 markings, 5630732 edges, 24675 markings/sec, 170 secs
lola: 4436876 markings, 5792914 edges, 24823 markings/sec, 175 secs
lola: 4560353 markings, 5954641 edges, 24695 markings/sec, 180 secs
lola: 4684622 markings, 6117285 edges, 24854 markings/sec, 185 secs
lola: 4804524 markings, 6270587 edges, 23980 markings/sec, 190 secs
lola: 4928018 markings, 6430015 edges, 24699 markings/sec, 195 secs
lola: 5052775 markings, 6592552 edges, 24951 markings/sec, 200 secs
lola: 5176853 markings, 6755001 edges, 24816 markings/sec, 205 secs
lola: 5301911 markings, 6918585 edges, 25012 markings/sec, 210 secs
lola: 5427378 markings, 7082714 edges, 25093 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(p140)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 248 bytes per marking, with 10 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: 127139 markings, 153363 edges, 25428 markings/sec, 0 secs
lola: 251284 markings, 314717 edges, 24829 markings/sec, 5 secs
lola: 377165 markings, 468643 edges, 25176 markings/sec, 10 secs
lola: 476457 markings, 597049 edges, 19858 markings/sec, 15 secs
lola: 599778 markings, 754484 edges, 24664 markings/sec, 20 secs
lola: 724819 markings, 905010 edges, 25008 markings/sec, 25 secs
lola: 850131 markings, 1057987 edges, 25062 markings/sec, 30 secs
lola: 950863 markings, 1184441 edges, 20146 markings/sec, 35 secs
lola: 1076178 markings, 1338722 edges, 25063 markings/sec, 40 secs
lola: 1201269 markings, 1492758 edges, 25018 markings/sec, 45 secs
lola: 1325925 markings, 1644418 edges, 24931 markings/sec, 50 secs
lola: 1451013 markings, 1796096 edges, 25018 markings/sec, 55 secs
lola: 1576724 markings, 1950290 edges, 25142 markings/sec, 60 secs
lola: 1701788 markings, 2103646 edges, 25013 markings/sec, 65 secs
lola: 1827822 markings, 2258121 edges, 25207 markings/sec, 70 secs
lola: 1928848 markings, 2384965 edges, 20205 markings/sec, 75 secs
lola: 2053849 markings, 2538532 edges, 25000 markings/sec, 80 secs
lola: 2175989 markings, 2700717 edges, 24428 markings/sec, 85 secs
lola: 2297815 markings, 2863194 edges, 24365 markings/sec, 90 secs
lola: 2419790 markings, 3026178 edges, 24395 markings/sec, 95 secs
lola: 2539173 markings, 3185820 edges, 23877 markings/sec, 100 secs
lola: 2657730 markings, 3344589 edges, 23711 markings/sec, 105 secs
lola: 2776574 markings, 3516967 edges, 23769 markings/sec, 110 secs
lola: 2886443 markings, 3674547 edges, 21974 markings/sec, 115 secs
lola: 3006888 markings, 3834712 edges, 24089 markings/sec, 120 secs
lola: 3118219 markings, 4029733 edges, 22266 markings/sec, 125 secs
lola: 3233173 markings, 4218622 edges, 22991 markings/sec, 130 secs
lola: 3350238 markings, 4373954 edges, 23413 markings/sec, 135 secs
lola: 3473904 markings, 4531187 edges, 24733 markings/sec, 140 secs
lola: 3597129 markings, 4697456 edges, 24645 markings/sec, 145 secs
lola: 3722085 markings, 4857583 edges, 24991 markings/sec, 150 secs
lola: 3820666 markings, 4986517 edges, 19716 markings/sec, 155 secs
lola: 3942964 markings, 5149166 edges, 24460 markings/sec, 160 secs
lola: 4063083 markings, 5311274 edges, 24024 markings/sec, 165 secs
lola: 4186117 markings, 5467466 edges, 24607 markings/sec, 170 secs
lola: 4309713 markings, 5626589 edges, 24719 markings/sec, 175 secs
lola: 4433302 markings, 5788650 edges, 24718 markings/sec, 180 secs
lola: 4556882 markings, 5950486 edges, 24716 markings/sec, 185 secs
lola: 4679817 markings, 6111523 edges, 24587 markings/sec, 190 secs
lola: 4779418 markings, 6237540 edges, 19920 markings/sec, 195 secs
lola: 4902686 markings, 6399070 edges, 24654 markings/sec, 200 secs
lola: 5025383 markings, 6559833 edges, 24539 markings/sec, 205 secs
lola: 5147648 markings, 6719150 edges, 24453 markings/sec, 210 secs
lola: 5271342 markings, 6876153 edges, 24739 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(p467)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 248 bytes per marking, with 10 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: 120317 markings, 145232 edges, 24063 markings/sec, 0 secs
lola: 237828 markings, 296252 edges, 23502 markings/sec, 5 secs
lola: 358097 markings, 444262 edges, 24054 markings/sec, 10 secs
lola: 473646 markings, 593848 edges, 23110 markings/sec, 15 secs
lola: 590328 markings, 741885 edges, 23336 markings/sec, 20 secs
lola: 705973 markings, 882407 edges, 23129 markings/sec, 25 secs
lola: 820073 markings, 1023960 edges, 22820 markings/sec, 30 secs
lola: 930964 markings, 1157812 edges, 22178 markings/sec, 35 secs
lola: 1047299 markings, 1300276 edges, 23267 markings/sec, 40 secs
lola: 1163854 markings, 1444325 edges, 23311 markings/sec, 45 secs
lola: 1279376 markings, 1587506 edges, 23104 markings/sec, 50 secs
lola: 1396370 markings, 1732327 edges, 23399 markings/sec, 55 secs
lola: 1513839 markings, 1873169 edges, 23494 markings/sec, 60 secs
lola: 1631879 markings, 2017672 edges, 23608 markings/sec, 65 secs
lola: 1750376 markings, 2164377 edges, 23699 markings/sec, 70 secs
lola: 1851986 markings, 2291670 edges, 20322 markings/sec, 75 secs
lola: 1957198 markings, 2417085 edges, 21042 markings/sec, 80 secs
lola: 2074570 markings, 2565460 edges, 23474 markings/sec, 85 secs
lola: 2189748 markings, 2717773 edges, 23036 markings/sec, 90 secs
lola: 2300741 markings, 2866894 edges, 22199 markings/sec, 95 secs
lola: 2416310 markings, 3021903 edges, 23114 markings/sec, 100 secs
lola: 2531968 markings, 3176858 edges, 23132 markings/sec, 105 secs
lola: 2647930 markings, 3332283 edges, 23192 markings/sec, 110 secs
lola: 2761149 markings, 3495529 edges, 22644 markings/sec, 115 secs
lola: 2874739 markings, 3657561 edges, 22718 markings/sec, 120 secs
lola: 2987961 markings, 3811134 edges, 22644 markings/sec, 125 secs
lola: 3094586 markings, 3986920 edges, 21325 markings/sec, 130 secs
lola: 3191318 markings, 4162086 edges, 19346 markings/sec, 135 secs
lola: 3304493 markings, 4312265 edges, 22635 markings/sec, 140 secs
lola: 3420608 markings, 4462593 edges, 23223 markings/sec, 145 secs
lola: 3535743 markings, 4615670 edges, 23027 markings/sec, 150 secs
lola: 3657786 markings, 4769632 edges, 24409 markings/sec, 155 secs
lola: 3781092 markings, 4931713 edges, 24661 markings/sec, 160 secs
lola: 3907567 markings, 5093425 edges, 25295 markings/sec, 165 secs
lola: 4033944 markings, 5255173 edges, 25275 markings/sec, 170 secs
lola: 4159835 markings, 5413474 edges, 25178 markings/sec, 175 secs
lola: 4284159 markings, 5571798 edges, 24865 markings/sec, 180 secs
lola: 4411335 markings, 5731495 edges, 25435 markings/sec, 185 secs
lola: 4538459 markings, 5891170 edges, 25425 markings/sec, 190 secs
lola: 4665910 markings, 6051228 edges, 25490 markings/sec, 195 secs
lola: 4793780 markings, 6211769 edges, 25574 markings/sec, 200 secs
lola: 4921532 markings, 6372160 edges, 25550 markings/sec, 205 secs
lola: 5048600 markings, 6531777 edges, 25414 markings/sec, 210 secs
lola: 5173404 markings, 6688734 edges, 24961 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(p1285)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 248 bytes per marking, with 10 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: 133284 markings, 160746 edges, 26657 markings/sec, 0 secs
lola: 262595 markings, 327329 edges, 25862 markings/sec, 5 secs
lola: 394731 markings, 495623 edges, 26427 markings/sec, 10 secs
lola: 527612 markings, 661391 edges, 26576 markings/sec, 15 secs
lola: 656902 markings, 827711 edges, 25858 markings/sec, 20 secs
lola: 787654 markings, 981376 edges, 26150 markings/sec, 25 secs
lola: 917629 markings, 1140984 edges, 25995 markings/sec, 30 secs
lola: 1048025 markings, 1301040 edges, 26079 markings/sec, 35 secs
lola: 1177761 markings, 1460231 edges, 25947 markings/sec, 40 secs
lola: 1308556 markings, 1620871 edges, 26159 markings/sec, 45 secs
lola: 1440174 markings, 1782428 edges, 26324 markings/sec, 50 secs
lola: 1571882 markings, 1944142 edges, 26342 markings/sec, 55 secs
lola: 1704051 markings, 2106493 edges, 26434 markings/sec, 60 secs
lola: 1836331 markings, 2268978 edges, 26456 markings/sec, 65 secs
lola: 1968973 markings, 2431874 edges, 26528 markings/sec, 70 secs
lola: 2099629 markings, 2597155 edges, 26131 markings/sec, 75 secs
lola: 2227268 markings, 2769033 edges, 25528 markings/sec, 80 secs
lola: 2355173 markings, 2940052 edges, 25581 markings/sec, 85 secs
lola: 2483829 markings, 3111421 edges, 25731 markings/sec, 90 secs
lola: 2611709 markings, 3284968 edges, 25576 markings/sec, 95 secs
lola: 2738027 markings, 3460818 edges, 25264 markings/sec, 100 secs
lola: 2863597 markings, 3641903 edges, 25114 markings/sec, 105 secs
lola: 2989279 markings, 3812566 edges, 25136 markings/sec, 110 secs
lola: 3105751 markings, 4007781 edges, 23294 markings/sec, 115 secs
lola: 3219942 markings, 4202342 edges, 22838 markings/sec, 120 secs
lola: 3347931 markings, 4368661 edges, 25598 markings/sec, 125 secs
lola: 3478701 markings, 4536771 edges, 26154 markings/sec, 130 secs
lola: 3605035 markings, 4707687 edges, 25267 markings/sec, 135 secs
lola: 3733804 markings, 4871881 edges, 25754 markings/sec, 140 secs
lola: 3860403 markings, 5042152 edges, 25320 markings/sec, 145 secs
lola: 3989819 markings, 5211547 edges, 25883 markings/sec, 150 secs
lola: 4117547 markings, 5384691 edges, 25546 markings/sec, 155 secs
lola: 4247110 markings, 5545471 edges, 25913 markings/sec, 160 secs
lola: 4376509 markings, 5713447 edges, 25880 markings/sec, 165 secs
lola: 4503685 markings, 5879810 edges, 25435 markings/sec, 170 secs
lola: 4631038 markings, 6046149 edges, 25471 markings/sec, 175 secs
lola: 4759074 markings, 6213343 edges, 25607 markings/sec, 180 secs
lola: 4887300 markings, 6380687 edges, 25645 markings/sec, 185 secs
lola: 5015880 markings, 6548520 edges, 25716 markings/sec, 190 secs
lola: 5145580 markings, 6714465 edges, 25940 markings/sec, 195 secs
lola: 5275295 markings, 6881361 edges, 25943 markings/sec, 200 secs
lola: 5405959 markings, 7051074 edges, 26133 markings/sec, 205 secs
lola: 5536935 markings, 7220915 edges, 26195 markings/sec, 210 secs
lola: 5661878 markings, 7397483 edges, 24989 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(p1014)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 248 bytes per marking, with 10 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: 122484 markings, 147719 edges, 24497 markings/sec, 0 secs
lola: 242022 markings, 303734 edges, 23908 markings/sec, 5 secs
lola: 364775 markings, 452152 edges, 24551 markings/sec, 10 secs
lola: 484837 markings, 606517 edges, 24012 markings/sec, 15 secs
lola: 604510 markings, 760040 edges, 23935 markings/sec, 20 secs
lola: 724626 markings, 904619 edges, 24023 markings/sec, 25 secs
lola: 843646 markings, 1050691 edges, 23804 markings/sec, 30 secs
lola: 963110 markings, 1198336 edges, 23893 markings/sec, 35 secs
lola: 1082114 markings, 1345422 edges, 23801 markings/sec, 40 secs
lola: 1202010 markings, 1493550 edges, 23979 markings/sec, 45 secs
lola: 1322478 markings, 1638166 edges, 24094 markings/sec, 50 secs
lola: 1442981 markings, 1785826 edges, 24101 markings/sec, 55 secs
lola: 1563824 markings, 1934443 edges, 24169 markings/sec, 60 secs
lola: 1684669 markings, 2083675 edges, 24169 markings/sec, 65 secs
lola: 1805736 markings, 2233091 edges, 24213 markings/sec, 70 secs
lola: 1927112 markings, 2382914 edges, 24275 markings/sec, 75 secs
lola: 2048773 markings, 2533081 edges, 24332 markings/sec, 80 secs
lola: 2166420 markings, 2685981 edges, 23529 markings/sec, 85 secs
lola: 2283373 markings, 2842775 edges, 23391 markings/sec, 90 secs
lola: 2400519 markings, 2999636 edges, 23429 markings/sec, 95 secs
lola: 2518213 markings, 3157456 edges, 23539 markings/sec, 100 secs
lola: 2635553 markings, 3315478 edges, 23468 markings/sec, 105 secs
lola: 2750660 markings, 3479310 edges, 23021 markings/sec, 110 secs
lola: 2864905 markings, 3643922 edges, 22849 markings/sec, 115 secs
lola: 2979724 markings, 3801100 edges, 22964 markings/sec, 120 secs
lola: 3088679 markings, 3971481 edges, 21791 markings/sec, 125 secs
lola: 3191540 markings, 4162052 edges, 20572 markings/sec, 130 secs
lola: 3306771 markings, 4314871 edges, 23046 markings/sec, 135 secs
lola: 3424106 markings, 4466938 edges, 23467 markings/sec, 140 secs
lola: 3541839 markings, 4619287 edges, 23547 markings/sec, 145 secs
lola: 3657672 markings, 4772386 edges, 23167 markings/sec, 150 secs
lola: 3773556 markings, 4925248 edges, 23177 markings/sec, 155 secs
lola: 3887951 markings, 5076795 edges, 22879 markings/sec, 160 secs
lola: 4005249 markings, 5230726 edges, 23460 markings/sec, 165 secs
lola: 4118197 markings, 5385387 edges, 22590 markings/sec, 170 secs
lola: 4235446 markings, 5530874 edges, 23450 markings/sec, 175 secs
lola: 4351649 markings, 5683935 edges, 23241 markings/sec, 180 secs
lola: 4468208 markings, 5836440 edges, 23312 markings/sec, 185 secs
lola: 4585886 markings, 5985423 edges, 23536 markings/sec, 190 secs
lola: 4702928 markings, 6139060 edges, 23408 markings/sec, 195 secs
lola: 4819513 markings, 6292557 edges, 23317 markings/sec, 200 secs
lola: 4938168 markings, 6443375 edges, 23731 markings/sec, 205 secs
lola: 5056767 markings, 6597048 edges, 23720 markings/sec, 210 secs
lola: 5175136 markings, 6752869 edges, 23674 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(p557)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 248 bytes per marking, with 10 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: 128966 markings, 155575 edges, 25793 markings/sec, 0 secs
lola: 254041 markings, 317683 edges, 25015 markings/sec, 5 secs
lola: 378144 markings, 470115 edges, 24821 markings/sec, 10 secs
lola: 502715 markings, 627281 edges, 24914 markings/sec, 15 secs
lola: 627461 markings, 787281 edges, 24949 markings/sec, 20 secs
lola: 752397 markings, 941084 edges, 24987 markings/sec, 25 secs
lola: 878572 markings, 1096380 edges, 25235 markings/sec, 30 secs
lola: 1006463 markings, 1253617 edges, 25578 markings/sec, 35 secs
lola: 1132243 markings, 1408646 edges, 25156 markings/sec, 40 secs
lola: 1259661 markings, 1562210 edges, 25484 markings/sec, 45 secs
lola: 1385775 markings, 1716028 edges, 25223 markings/sec, 50 secs
lola: 1512559 markings, 1871657 edges, 25357 markings/sec, 55 secs
lola: 1639719 markings, 2027685 edges, 25432 markings/sec, 60 secs
lola: 1767961 markings, 2185007 edges, 25648 markings/sec, 65 secs
lola: 1895363 markings, 2341293 edges, 25480 markings/sec, 70 secs
lola: 2024304 markings, 2499655 edges, 25788 markings/sec, 75 secs
lola: 2148160 markings, 2663135 edges, 24771 markings/sec, 80 secs
lola: 2272098 markings, 2828511 edges, 24788 markings/sec, 85 secs
lola: 2395196 markings, 2992833 edges, 24620 markings/sec, 90 secs
lola: 2518826 markings, 3160015 edges, 24726 markings/sec, 95 secs
lola: 2642478 markings, 3325812 edges, 24730 markings/sec, 100 secs
lola: 2762716 markings, 3497183 edges, 24048 markings/sec, 105 secs
lola: 2881949 markings, 3669484 edges, 23847 markings/sec, 110 secs
lola: 3002930 markings, 3830064 edges, 24196 markings/sec, 115 secs
lola: 3115082 markings, 4024607 edges, 22430 markings/sec, 120 secs
lola: 3230329 markings, 4215174 edges, 23049 markings/sec, 125 secs
lola: 3353106 markings, 4378513 edges, 24555 markings/sec, 130 secs
lola: 3476638 markings, 4536380 edges, 24706 markings/sec, 135 secs
lola: 3596201 markings, 4696632 edges, 23913 markings/sec, 140 secs
lola: 3717496 markings, 4843595 edges, 24259 markings/sec, 145 secs
lola: 3835559 markings, 4994151 edges, 23613 markings/sec, 150 secs
lola: 3955424 markings, 5142742 edges, 23973 markings/sec, 155 secs
lola: 4073207 markings, 5295015 edges, 23557 markings/sec, 160 secs
lola: 4191113 markings, 5446394 edges, 23581 markings/sec, 165 secs
lola: 4310964 markings, 5589817 edges, 23970 markings/sec, 170 secs
lola: 4431454 markings, 5738574 edges, 24098 markings/sec, 175 secs
lola: 4552604 markings, 5888132 edges, 24230 markings/sec, 180 secs
lola: 4673800 markings, 6037712 edges, 24239 markings/sec, 185 secs
lola: 4795146 markings, 6185614 edges, 24269 markings/sec, 190 secs
lola: 4917611 markings, 6334039 edges, 24493 markings/sec, 195 secs
lola: 5039950 markings, 6484063 edges, 24468 markings/sec, 200 secs
lola: 5162240 markings, 6634390 edges, 24458 markings/sec, 205 secs
lola: 5283643 markings, 6784242 edges, 24281 markings/sec, 210 secs
lola: 5405997 markings, 6935132 edges, 24471 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1732)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 248 bytes per marking, with 10 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: 121733 markings, 146751 edges, 24347 markings/sec, 0 secs
lola: 240721 markings, 300647 edges, 23798 markings/sec, 5 secs
lola: 355238 markings, 441243 edges, 22903 markings/sec, 10 secs
lola: 452936 markings, 565404 edges, 19540 markings/sec, 15 secs
lola: 573627 markings, 716333 edges, 24138 markings/sec, 20 secs
lola: 691348 markings, 866408 edges, 23544 markings/sec, 25 secs
lola: 810182 markings, 1009490 edges, 23767 markings/sec, 30 secs
lola: 930231 markings, 1154824 edges, 24010 markings/sec, 35 secs
lola: 1050145 markings, 1303026 edges, 23983 markings/sec, 40 secs
lola: 1169240 markings, 1450210 edges, 23819 markings/sec, 45 secs
lola: 1288822 markings, 1597985 edges, 23916 markings/sec, 50 secs
lola: 1408607 markings, 1746005 edges, 23957 markings/sec, 55 secs
lola: 1528869 markings, 1894529 edges, 24052 markings/sec, 60 secs
lola: 1649182 markings, 2041739 edges, 24063 markings/sec, 65 secs
lola: 1763899 markings, 2180336 edges, 22943 markings/sec, 70 secs
lola: 1883651 markings, 2327497 edges, 23950 markings/sec, 75 secs
lola: 2004349 markings, 2476478 edges, 24140 markings/sec, 80 secs
lola: 2123399 markings, 2625775 edges, 23810 markings/sec, 85 secs
lola: 2232919 markings, 2772477 edges, 21904 markings/sec, 90 secs
lola: 2343595 markings, 2921341 edges, 22135 markings/sec, 95 secs
lola: 2459556 markings, 3076832 edges, 23192 markings/sec, 100 secs
lola: 2576125 markings, 3232914 edges, 23314 markings/sec, 105 secs
lola: 2692679 markings, 3388927 edges, 23311 markings/sec, 110 secs
lola: 2805005 markings, 3553572 edges, 22465 markings/sec, 115 secs
lola: 2918716 markings, 3716543 edges, 22742 markings/sec, 120 secs
lola: 3031429 markings, 3865684 edges, 22543 markings/sec, 125 secs
lola: 3133187 markings, 4065120 edges, 20352 markings/sec, 130 secs
lola: 3239498 markings, 4226368 edges, 21262 markings/sec, 135 secs
lola: 3353922 markings, 4379193 edges, 22885 markings/sec, 140 secs
lola: 3472668 markings, 4529553 edges, 23749 markings/sec, 145 secs
lola: 3589540 markings, 4681287 edges, 23374 markings/sec, 150 secs
lola: 3703785 markings, 4836809 edges, 22849 markings/sec, 155 secs
lola: 3820702 markings, 4985804 edges, 23383 markings/sec, 160 secs
lola: 3934996 markings, 5140489 edges, 22859 markings/sec, 165 secs
lola: 4045706 markings, 5288056 edges, 22142 markings/sec, 170 secs
lola: 4140767 markings, 5411401 edges, 19012 markings/sec, 175 secs
lola: 4257647 markings, 5559009 edges, 23376 markings/sec, 180 secs
lola: 4374740 markings, 5710740 edges, 23419 markings/sec, 185 secs
lola: 4485140 markings, 5856899 edges, 22080 markings/sec, 190 secs
lola: 4597003 markings, 5998099 edges, 22373 markings/sec, 195 secs
lola: 4714600 markings, 6152254 edges, 23519 markings/sec, 200 secs
lola: 4831938 markings, 6306643 edges, 23468 markings/sec, 205 secs
lola: 4943877 markings, 6452967 edges, 22388 markings/sec, 210 secs
lola: 5054878 markings, 6594151 edges, 22200 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1845)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 248 bytes per marking, with 10 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: 127998 markings, 154317 edges, 25600 markings/sec, 0 secs
lola: 252680 markings, 316199 edges, 24936 markings/sec, 5 secs
lola: 380184 markings, 472706 edges, 25501 markings/sec, 10 secs
lola: 506505 markings, 631894 edges, 25264 markings/sec, 15 secs
lola: 630683 markings, 790939 edges, 24836 markings/sec, 20 secs
lola: 754063 markings, 942949 edges, 24676 markings/sec, 25 secs
lola: 878461 markings, 1096220 edges, 24880 markings/sec, 30 secs
lola: 1003597 markings, 1250444 edges, 25027 markings/sec, 35 secs
lola: 1129329 markings, 1401282 edges, 25146 markings/sec, 40 secs
lola: 1254588 markings, 1554836 edges, 25052 markings/sec, 45 secs
lola: 1380274 markings, 1709003 edges, 25137 markings/sec, 50 secs
lola: 1505796 markings, 1862996 edges, 25104 markings/sec, 55 secs
lola: 1632056 markings, 2017837 edges, 25252 markings/sec, 60 secs
lola: 1758470 markings, 2173513 edges, 25283 markings/sec, 65 secs
lola: 1885253 markings, 2329457 edges, 25357 markings/sec, 70 secs
lola: 2012216 markings, 2485617 edges, 25393 markings/sec, 75 secs
lola: 2135243 markings, 2644306 edges, 24605 markings/sec, 80 secs
lola: 2256834 markings, 2808784 edges, 24318 markings/sec, 85 secs
lola: 2366635 markings, 2954394 edges, 21960 markings/sec, 90 secs
lola: 2488837 markings, 3118166 edges, 24440 markings/sec, 95 secs
lola: 2610796 markings, 3284003 edges, 24392 markings/sec, 100 secs
lola: 2731654 markings, 3449832 edges, 24172 markings/sec, 105 secs
lola: 2838699 markings, 3606157 edges, 21409 markings/sec, 110 secs
lola: 2958410 markings, 3776371 edges, 23942 markings/sec, 115 secs
lola: 3074395 markings, 3939120 edges, 23197 markings/sec, 120 secs
lola: 3180571 markings, 4147969 edges, 21235 markings/sec, 125 secs
lola: 3299694 markings, 4306227 edges, 23825 markings/sec, 130 secs
lola: 3423085 markings, 4465637 edges, 24678 markings/sec, 135 secs
lola: 3546250 markings, 4624823 edges, 24633 markings/sec, 140 secs
lola: 3667130 markings, 4785415 edges, 24176 markings/sec, 145 secs
lola: 3776466 markings, 4928889 edges, 21867 markings/sec, 150 secs
lola: 3896133 markings, 5087977 edges, 23933 markings/sec, 155 secs
lola: 4019086 markings, 5248792 edges, 24591 markings/sec, 160 secs
lola: 4139849 markings, 5409680 edges, 24153 markings/sec, 165 secs
lola: 4261175 markings, 5565411 edges, 24265 markings/sec, 170 secs
lola: 4382687 markings, 5721647 edges, 24302 markings/sec, 175 secs
lola: 4504140 markings, 5880317 edges, 24291 markings/sec, 180 secs
lola: 4626115 markings, 6040236 edges, 24395 markings/sec, 185 secs
lola: 4748619 markings, 6200826 edges, 24501 markings/sec, 190 secs
lola: 4872157 markings, 6357924 edges, 24708 markings/sec, 195 secs
lola: 4995109 markings, 6517170 edges, 24590 markings/sec, 200 secs
lola: 5118336 markings, 6677938 edges, 24645 markings/sec, 205 secs
lola: 5240502 markings, 6838115 edges, 24433 markings/sec, 210 secs
lola: 5364121 markings, 7000048 edges, 24724 markings/sec, 215 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p725)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 248 bytes per marking, with 10 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: 119806 markings, 144884 edges, 23961 markings/sec, 0 secs
lola: 236718 markings, 295737 edges, 23382 markings/sec, 5 secs
lola: 355806 markings, 441957 edges, 23818 markings/sec, 10 secs
lola: 472926 markings, 593336 edges, 23424 markings/sec, 15 secs
lola: 591051 markings, 744508 edges, 23625 markings/sec, 20 secs
lola: 708607 markings, 886507 edges, 23511 markings/sec, 25 secs
lola: 825301 markings, 1030877 edges, 23339 markings/sec, 30 secs
lola: 942468 markings, 1175870 edges, 23433 markings/sec, 35 secs
lola: 1059769 markings, 1320350 edges, 23460 markings/sec, 40 secs
lola: 1177426 markings, 1461998 edges, 23531 markings/sec, 45 secs
lola: 1294852 markings, 1606114 edges, 23485 markings/sec, 50 secs
lola: 1412656 markings, 1751832 edges, 23561 markings/sec, 55 secs
lola: 1530488 markings, 1897562 edges, 23566 markings/sec, 60 secs
lola: 1648228 markings, 2043329 edges, 23548 markings/sec, 65 secs
lola: 1767112 markings, 2185939 edges, 23777 markings/sec, 70 secs
lola: 1885900 markings, 2331446 edges, 23758 markings/sec, 75 secs
lola: 2004319 markings, 2477659 edges, 23684 markings/sec, 80 secs
lola: 2118991 markings, 2626641 edges, 22934 markings/sec, 85 secs
lola: 2232678 markings, 2779218 edges, 22737 markings/sec, 90 secs
lola: 2347286 markings, 2933038 edges, 22922 markings/sec, 95 secs
lola: 2461757 markings, 3086595 edges, 22894 markings/sec, 100 secs
lola: 2576461 markings, 3240396 edges, 22941 markings/sec, 105 secs
lola: 2689599 markings, 3394951 edges, 22628 markings/sec, 110 secs
lola: 2801010 markings, 3556990 edges, 22282 markings/sec, 115 secs
lola: 2913473 markings, 3719033 edges, 22493 markings/sec, 120 secs
lola: 3022410 markings, 3870078 edges, 21787 markings/sec, 125 secs
lola: 3122196 markings, 4067039 edges, 19957 markings/sec, 130 secs
lola: 3228453 markings, 4213129 edges, 21251 markings/sec, 135 secs
lola: 3343447 markings, 4362285 edges, 22999 markings/sec, 140 secs
lola: 3458738 markings, 4514640 edges, 23058 markings/sec, 145 secs
lola: 3574073 markings, 4663694 edges, 23067 markings/sec, 150 secs
lola: 3688866 markings, 4809667 edges, 22959 markings/sec, 155 secs
lola: 3802743 markings, 4953020 edges, 22775 markings/sec, 160 secs
lola: 3917120 markings, 5097545 edges, 22875 markings/sec, 165 secs
lola: 4030732 markings, 5239980 edges, 22722 markings/sec, 170 secs
lola: 4140457 markings, 5378549 edges, 21945 markings/sec, 175 secs
lola: 4248239 markings, 5515866 edges, 21556 markings/sec, 180 secs
lola: 4361026 markings, 5653565 edges, 22557 markings/sec, 185 secs
lola: 4476629 markings, 5796786 edges, 23121 markings/sec, 190 secs
lola: 4592622 markings, 5939141 edges, 23199 markings/sec, 195 secs
lola: 4708989 markings, 6079589 edges, 23273 markings/sec, 200 secs
lola: 4824711 markings, 6222064 edges, 23144 markings/sec, 205 secs
lola: 4940285 markings, 6365305 edges, 23115 markings/sec, 210 secs
lola: 5056319 markings, 6508995 edges, 23207 markings/sec, 215 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p417)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 248 bytes per marking, with 10 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: 127530 markings, 153729 edges, 25506 markings/sec, 0 secs
lola: 242581 markings, 304521 edges, 23010 markings/sec, 5 secs
lola: 368983 markings, 457592 edges, 25280 markings/sec, 10 secs
lola: 493446 markings, 616316 edges, 24893 markings/sec, 15 secs
lola: 615931 markings, 773490 edges, 24497 markings/sec, 20 secs
lola: 731831 markings, 913645 edges, 23180 markings/sec, 25 secs
lola: 857191 markings, 1066750 edges, 25072 markings/sec, 30 secs
lola: 982612 markings, 1220615 edges, 25084 markings/sec, 35 secs
lola: 1107944 markings, 1374784 edges, 25066 markings/sec, 40 secs
lola: 1224757 markings, 1519393 edges, 23363 markings/sec, 45 secs
lola: 1350225 markings, 1673911 edges, 25094 markings/sec, 50 secs
lola: 1475409 markings, 1828044 edges, 25037 markings/sec, 55 secs
lola: 1600062 markings, 1981526 edges, 24931 markings/sec, 60 secs
lola: 1716843 markings, 2123345 edges, 23356 markings/sec, 65 secs
lola: 1841470 markings, 2275334 edges, 24925 markings/sec, 70 secs
lola: 1966635 markings, 2428798 edges, 25033 markings/sec, 75 secs
lola: 2089675 markings, 2584737 edges, 24608 markings/sec, 80 secs
lola: 2211318 markings, 2747024 edges, 24329 markings/sec, 85 secs
lola: 2333419 markings, 2910182 edges, 24420 markings/sec, 90 secs
lola: 2455589 markings, 3073471 edges, 24434 markings/sec, 95 secs
lola: 2573528 markings, 3231389 edges, 23588 markings/sec, 100 secs
lola: 2691848 markings, 3392149 edges, 23664 markings/sec, 105 secs
lola: 2811404 markings, 3565687 edges, 23911 markings/sec, 110 secs
lola: 2931282 markings, 3741421 edges, 23976 markings/sec, 115 secs
lola: 3048994 markings, 3893566 edges, 23542 markings/sec, 120 secs
lola: 3146139 markings, 4105936 edges, 19429 markings/sec, 125 secs
lola: 3267175 markings, 4261821 edges, 24207 markings/sec, 130 secs
lola: 3384000 markings, 4416073 edges, 23365 markings/sec, 135 secs
lola: 3508849 markings, 4576388 edges, 24970 markings/sec, 140 secs
lola: 3632066 markings, 4740613 edges, 24643 markings/sec, 145 secs
lola: 3755349 markings, 4903147 edges, 24657 markings/sec, 150 secs
lola: 3877402 markings, 5063137 edges, 24411 markings/sec, 155 secs
lola: 4000076 markings, 5224268 edges, 24535 markings/sec, 160 secs
lola: 4119744 markings, 5387034 edges, 23934 markings/sec, 165 secs
lola: 4243534 markings, 5540780 edges, 24758 markings/sec, 170 secs
lola: 4365857 markings, 5700898 edges, 24465 markings/sec, 175 secs
lola: 4488378 markings, 5861459 edges, 24504 markings/sec, 180 secs
lola: 4602341 markings, 6009661 edges, 22793 markings/sec, 185 secs
lola: 4725253 markings, 6166529 edges, 24582 markings/sec, 190 secs
lola: 4847898 markings, 6326386 edges, 24529 markings/sec, 195 secs
lola: 4970589 markings, 6487251 edges, 24538 markings/sec, 200 secs
lola: 5093213 markings, 6647929 edges, 24525 markings/sec, 205 secs
lola: 5215923 markings, 6807681 edges, 24542 markings/sec, 210 secs
lola: 5338929 markings, 6963769 edges, 24601 markings/sec, 215 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p652)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 248 bytes per marking, with 10 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: 125764 markings, 151615 edges, 25153 markings/sec, 0 secs
lola: 245907 markings, 308674 edges, 24029 markings/sec, 5 secs
lola: 370859 markings, 459958 edges, 24990 markings/sec, 10 secs
lola: 493389 markings, 616975 edges, 24506 markings/sec, 15 secs
lola: 611852 markings, 768932 edges, 23693 markings/sec, 20 secs
lola: 721968 markings, 901328 edges, 22023 markings/sec, 25 secs
lola: 845120 markings, 1052182 edges, 24630 markings/sec, 30 secs
lola: 970110 markings, 1206111 edges, 24998 markings/sec, 35 secs
lola: 1094609 markings, 1359492 edges, 24900 markings/sec, 40 secs
lola: 1205709 markings, 1496364 edges, 22220 markings/sec, 45 secs
lola: 1330367 markings, 1648552 edges, 24932 markings/sec, 50 secs
lola: 1454839 markings, 1800558 edges, 24894 markings/sec, 55 secs
lola: 1580046 markings, 1954422 edges, 25041 markings/sec, 60 secs
lola: 1705093 markings, 2108251 edges, 25009 markings/sec, 65 secs
lola: 1829388 markings, 2261133 edges, 24859 markings/sec, 70 secs
lola: 1955246 markings, 2415819 edges, 25172 markings/sec, 75 secs
lola: 2081446 markings, 2571092 edges, 25240 markings/sec, 80 secs
lola: 2202731 markings, 2732188 edges, 24257 markings/sec, 85 secs
lola: 2323282 markings, 2893235 edges, 24110 markings/sec, 90 secs
lola: 2442170 markings, 3055816 edges, 23778 markings/sec, 95 secs
lola: 2563602 markings, 3217306 edges, 24286 markings/sec, 100 secs
lola: 2684592 markings, 3379075 edges, 24198 markings/sec, 105 secs
lola: 2802961 markings, 3550243 edges, 23674 markings/sec, 110 secs
lola: 2921274 markings, 3722695 edges, 23663 markings/sec, 115 secs
lola: 3039295 markings, 3876469 edges, 23604 markings/sec, 120 secs
lola: 3134160 markings, 4068946 edges, 18973 markings/sec, 125 secs
lola: 3251738 markings, 4241462 edges, 23516 markings/sec, 130 secs
lola: 3374092 markings, 4403956 edges, 24471 markings/sec, 135 secs
lola: 3496539 markings, 4558799 edges, 24489 markings/sec, 140 secs
lola: 3611654 markings, 4715814 edges, 23023 markings/sec, 145 secs
lola: 3730465 markings, 4868398 edges, 23762 markings/sec, 150 secs
lola: 3849948 markings, 5029382 edges, 23897 markings/sec, 155 secs
lola: 3971776 markings, 5186317 edges, 24366 markings/sec, 160 secs
lola: 4077256 markings, 5329006 edges, 21096 markings/sec, 165 secs
lola: 4198049 markings, 5482553 edges, 24159 markings/sec, 170 secs
lola: 4316012 markings, 5633495 edges, 23593 markings/sec, 175 secs
lola: 4435408 markings, 5790389 edges, 23879 markings/sec, 180 secs
lola: 4544093 markings, 5930214 edges, 21737 markings/sec, 185 secs
lola: 4664308 markings, 6085896 edges, 24043 markings/sec, 190 secs
lola: 4784338 markings, 6242745 edges, 24006 markings/sec, 195 secs
lola: 4905303 markings, 6401505 edges, 24193 markings/sec, 200 secs
lola: 5026405 markings, 6560349 edges, 24220 markings/sec, 205 secs
lola: 5148039 markings, 6719884 edges, 24327 markings/sec, 210 secs
lola: 5271342 markings, 6876728 edges, 24661 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA FlexibleBarrier-PT-12b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496491036471

--------------------
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="FlexibleBarrier-PT-12b"
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/FlexibleBarrier-PT-12b.tgz
mv FlexibleBarrier-PT-12b 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 FlexibleBarrier-PT-12b, 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 r188-blw3-149581034200083"
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 ;