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 DLCround-PT-11a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-csrt-149580961900344
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496543354499


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


checking for too many tokens
===========================================================================================
DLCround-PT-11a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ DLCround-PT-11a @ 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: 3370/65536 symbol table entries, 452 collisions
lola: preprocessing...
lola: finding significant places
lola: 377 places, 2993 transitions, 133 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2646 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-11a-UpperBounds.task
lola: MAX(p91) : MAX(p245) : MAX(p214) : MAX(p340) : MAX(p230) : MAX(p373) : MAX(p202) : MAX(p326) : MAX(p254) : MAX(p301) : MAX(p302) : MAX(p9) : MAX(p73) : MAX(p25) : MAX(p246) : MAX(p191)
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(p91)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 27 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: 28118 markings, 296274 edges, 5624 markings/sec, 0 secs
lola: 56955 markings, 620045 edges, 5767 markings/sec, 5 secs
lola: 86378 markings, 956698 edges, 5885 markings/sec, 10 secs
lola: 114829 markings, 1277864 edges, 5690 markings/sec, 15 secs
lola: 144735 markings, 1633035 edges, 5981 markings/sec, 20 secs
lola: 174856 markings, 1965896 edges, 6024 markings/sec, 25 secs
lola: 203964 markings, 2302152 edges, 5822 markings/sec, 30 secs
lola: 233940 markings, 2643882 edges, 5995 markings/sec, 35 secs
lola: 262446 markings, 2982631 edges, 5701 markings/sec, 40 secs
lola: 293002 markings, 3336162 edges, 6111 markings/sec, 45 secs
lola: 323391 markings, 3674395 edges, 6078 markings/sec, 50 secs
lola: 352022 markings, 4006054 edges, 5726 markings/sec, 55 secs
lola: 380329 markings, 4325123 edges, 5661 markings/sec, 60 secs
lola: 408382 markings, 4649435 edges, 5611 markings/sec, 65 secs
lola: 436091 markings, 4964296 edges, 5542 markings/sec, 70 secs
lola: 465873 markings, 5306394 edges, 5956 markings/sec, 75 secs
lola: 494860 markings, 5645413 edges, 5797 markings/sec, 80 secs
lola: 523620 markings, 5979020 edges, 5752 markings/sec, 85 secs
lola: 551926 markings, 6296821 edges, 5661 markings/sec, 90 secs
lola: 579568 markings, 6621044 edges, 5528 markings/sec, 95 secs
lola: 607566 markings, 6937455 edges, 5600 markings/sec, 100 secs
lola: 636049 markings, 7281182 edges, 5697 markings/sec, 105 secs
lola: 665363 markings, 7606951 edges, 5863 markings/sec, 110 secs
lola: 694660 markings, 7947397 edges, 5859 markings/sec, 115 secs
lola: 722879 markings, 8267831 edges, 5644 markings/sec, 120 secs
lola: 750904 markings, 8587539 edges, 5605 markings/sec, 125 secs
lola: 778957 markings, 8898048 edges, 5611 markings/sec, 130 secs
lola: 807231 markings, 9212967 edges, 5655 markings/sec, 135 secs
lola: 835396 markings, 9533005 edges, 5633 markings/sec, 140 secs
lola: 863774 markings, 9851341 edges, 5676 markings/sec, 145 secs
lola: 892394 markings, 10174639 edges, 5724 markings/sec, 150 secs
lola: 922329 markings, 10524019 edges, 5987 markings/sec, 155 secs
lola: 952306 markings, 10880775 edges, 5995 markings/sec, 160 secs
lola: 982363 markings, 11211855 edges, 6011 markings/sec, 165 secs
lola: 1011080 markings, 11560599 edges, 5743 markings/sec, 170 secs
lola: 1040982 markings, 11909004 edges, 5980 markings/sec, 175 secs
lola: 1071241 markings, 12250663 edges, 6052 markings/sec, 180 secs
lola: 1101407 markings, 12592086 edges, 6033 markings/sec, 185 secs
lola: 1131625 markings, 12941641 edges, 6044 markings/sec, 190 secs
lola: 1160879 markings, 13270846 edges, 5851 markings/sec, 195 secs
lola: 1190513 markings, 13623496 edges, 5927 markings/sec, 200 secs
lola: 1220544 markings, 13958808 edges, 6006 markings/sec, 205 secs
lola: 1250462 markings, 14296793 edges, 5984 markings/sec, 210 secs
lola: 1280205 markings, 14636599 edges, 5949 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(p245)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 27 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 2 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p214)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 27 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 3 will run for 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p340)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 27 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 4 will run for 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p230)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 27 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 301 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p373)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 27 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 6 will run for 331 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p202)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 27 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 7 will run for 368 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p326)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 27 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 8 will run for 414 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p254)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 27 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 9 will run for 474 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p301)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 27 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 10 will run for 553 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p302)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 27 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 11 will run for 663 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 27 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: 36781 markings, 217852 edges, 7356 markings/sec, 0 secs
lola: 73946 markings, 445671 edges, 7433 markings/sec, 5 secs
lola: 110780 markings, 674731 edges, 7367 markings/sec, 10 secs
lola: 148341 markings, 903387 edges, 7512 markings/sec, 15 secs
lola: 186196 markings, 1130013 edges, 7571 markings/sec, 20 secs
lola: 223273 markings, 1363515 edges, 7415 markings/sec, 25 secs
lola: 260686 markings, 1592815 edges, 7483 markings/sec, 30 secs
lola: 297620 markings, 1825284 edges, 7387 markings/sec, 35 secs
lola: 334394 markings, 2054549 edges, 7355 markings/sec, 40 secs
lola: 371596 markings, 2288242 edges, 7440 markings/sec, 45 secs
lola: 408598 markings, 2512764 edges, 7400 markings/sec, 50 secs
lola: 445622 markings, 2738527 edges, 7405 markings/sec, 55 secs
lola: 482560 markings, 2975263 edges, 7388 markings/sec, 60 secs
lola: 518969 markings, 3206227 edges, 7282 markings/sec, 65 secs
lola: 555432 markings, 3436265 edges, 7293 markings/sec, 70 secs
lola: 591914 markings, 3659068 edges, 7296 markings/sec, 75 secs
lola: 628353 markings, 3883541 edges, 7288 markings/sec, 80 secs
lola: 664656 markings, 4104643 edges, 7261 markings/sec, 85 secs
lola: 701536 markings, 4330226 edges, 7376 markings/sec, 90 secs
lola: 738308 markings, 4552011 edges, 7354 markings/sec, 95 secs
lola: 774965 markings, 4777406 edges, 7331 markings/sec, 100 secs
lola: 811732 markings, 5004153 edges, 7353 markings/sec, 105 secs
lola: 849253 markings, 5235713 edges, 7504 markings/sec, 110 secs
lola: 886309 markings, 5463162 edges, 7411 markings/sec, 115 secs
lola: 922292 markings, 5683820 edges, 7197 markings/sec, 120 secs
lola: 958829 markings, 5908521 edges, 7307 markings/sec, 125 secs
lola: 995069 markings, 6135467 edges, 7248 markings/sec, 130 secs
lola: 1031436 markings, 6364358 edges, 7273 markings/sec, 135 secs
lola: 1067522 markings, 6589577 edges, 7217 markings/sec, 140 secs
lola: 1104336 markings, 6818155 edges, 7363 markings/sec, 145 secs
lola: 1140722 markings, 7042914 edges, 7277 markings/sec, 150 secs
lola: 1177713 markings, 7273715 edges, 7398 markings/sec, 155 secs
lola: 1214164 markings, 7496957 edges, 7290 markings/sec, 160 secs
lola: 1250768 markings, 7723271 edges, 7321 markings/sec, 165 secs
lola: 1287601 markings, 7945989 edges, 7367 markings/sec, 170 secs
lola: 1324225 markings, 8173626 edges, 7325 markings/sec, 175 secs
lola: 1360409 markings, 8398987 edges, 7237 markings/sec, 180 secs
lola: 1396328 markings, 8621295 edges, 7184 markings/sec, 185 secs
lola: 1433145 markings, 8851444 edges, 7363 markings/sec, 190 secs
lola: 1469733 markings, 9082345 edges, 7318 markings/sec, 195 secs
lola: 1506122 markings, 9310558 edges, 7278 markings/sec, 200 secs
lola: 1542452 markings, 9536058 edges, 7266 markings/sec, 205 secs
lola: 1578300 markings, 9761696 edges, 7170 markings/sec, 210 secs
lola: 1614300 markings, 9982457 edges, 7200 markings/sec, 215 secs
lola: 1650730 markings, 10209626 edges, 7286 markings/sec, 220 secs
lola: 1688136 markings, 10439589 edges, 7481 markings/sec, 225 secs
lola: 1725621 markings, 10672709 edges, 7497 markings/sec, 230 secs
lola: 1762977 markings, 10902958 edges, 7471 markings/sec, 235 secs
lola: 1799268 markings, 11131616 edges, 7258 markings/sec, 240 secs
lola: 1833228 markings, 11341183 edges, 6792 markings/sec, 245 secs
lola: 1867426 markings, 11551836 edges, 6840 markings/sec, 250 secs
lola: 1901457 markings, 11763313 edges, 6806 markings/sec, 255 secs
lola: 1934274 markings, 11969110 edges, 6563 markings/sec, 260 secs
lola: 1968041 markings, 12181343 edges, 6753 markings/sec, 265 secs
lola: 2001284 markings, 12391417 edges, 6649 markings/sec, 270 secs
lola: 2035045 markings, 12600635 edges, 6752 markings/sec, 275 secs
lola: 2071473 markings, 12822966 edges, 7286 markings/sec, 280 secs
lola: 2105782 markings, 13035819 edges, 6862 markings/sec, 285 secs
lola: 2142738 markings, 13265170 edges, 7391 markings/sec, 290 secs
lola: 2180440 markings, 13494908 edges, 7540 markings/sec, 295 secs
lola: 2217541 markings, 13725314 edges, 7420 markings/sec, 300 secs
lola: 2253625 markings, 13949400 edges, 7217 markings/sec, 305 secs
lola: 2287301 markings, 14167122 edges, 6735 markings/sec, 310 secs
lola: 2321272 markings, 14381834 edges, 6794 markings/sec, 315 secs
lola: 2355350 markings, 14595406 edges, 6816 markings/sec, 320 secs
lola: 2389286 markings, 14807644 edges, 6787 markings/sec, 325 secs
lola: 2425026 markings, 15035620 edges, 7148 markings/sec, 330 secs
lola: 2461561 markings, 15266105 edges, 7307 markings/sec, 335 secs
lola: 2497990 markings, 15498763 edges, 7286 markings/sec, 340 secs
lola: 2534364 markings, 15726924 edges, 7275 markings/sec, 345 secs
lola: 2570892 markings, 15954416 edges, 7306 markings/sec, 350 secs
lola: 2608392 markings, 16195599 edges, 7500 markings/sec, 355 secs
lola: 2645260 markings, 16426015 edges, 7374 markings/sec, 360 secs
lola: 2681948 markings, 16656198 edges, 7338 markings/sec, 365 secs
lola: 2718284 markings, 16884168 edges, 7267 markings/sec, 370 secs
lola: 2754878 markings, 17117610 edges, 7319 markings/sec, 375 secs
lola: 2791766 markings, 17352604 edges, 7378 markings/sec, 380 secs
lola: 2826912 markings, 17573618 edges, 7029 markings/sec, 385 secs
lola: 2860229 markings, 17793134 edges, 6663 markings/sec, 390 secs
lola: 2895786 markings, 18021222 edges, 7111 markings/sec, 395 secs
lola: 2930485 markings, 18236797 edges, 6940 markings/sec, 400 secs
lola: 2964405 markings, 18446341 edges, 6784 markings/sec, 405 secs
lola: 2998564 markings, 18667089 edges, 6832 markings/sec, 410 secs
lola: 3035290 markings, 18897376 edges, 7345 markings/sec, 415 secs
lola: 3072000 markings, 19135984 edges, 7342 markings/sec, 420 secs
lola: 3106858 markings, 19355056 edges, 6972 markings/sec, 425 secs
lola: 3143193 markings, 19587399 edges, 7267 markings/sec, 430 secs
lola: 3178004 markings, 19807375 edges, 6962 markings/sec, 435 secs
lola: 3212750 markings, 20028645 edges, 6949 markings/sec, 440 secs
lola: 3248560 markings, 20254566 edges, 7162 markings/sec, 445 secs
lola: 3282933 markings, 20472964 edges, 6875 markings/sec, 450 secs
lola: 3316304 markings, 20685231 edges, 6674 markings/sec, 455 secs
lola: 3349502 markings, 20891515 edges, 6640 markings/sec, 460 secs
lola: 3382689 markings, 21103768 edges, 6637 markings/sec, 465 secs
lola: 3415869 markings, 21310320 edges, 6636 markings/sec, 470 secs
lola: 3449270 markings, 21519771 edges, 6680 markings/sec, 475 secs
lola: 3482493 markings, 21728263 edges, 6645 markings/sec, 480 secs
lola: 3515749 markings, 21935110 edges, 6651 markings/sec, 485 secs
lola: 3549669 markings, 22149012 edges, 6784 markings/sec, 490 secs
lola: 3585428 markings, 22371566 edges, 7152 markings/sec, 495 secs
lola: 3621096 markings, 22594404 edges, 7134 markings/sec, 500 secs
lola: 3656064 markings, 22809725 edges, 6994 markings/sec, 505 secs
lola: 3691596 markings, 23026982 edges, 7106 markings/sec, 510 secs
lola: 3727068 markings, 23243568 edges, 7094 markings/sec, 515 secs
lola: 3762195 markings, 23465134 edges, 7025 markings/sec, 520 secs
lola: 3797840 markings, 23689564 edges, 7129 markings/sec, 525 secs
lola: 3833537 markings, 23918521 edges, 7139 markings/sec, 530 secs
lola: 3867224 markings, 24135346 edges, 6737 markings/sec, 535 secs
lola: 3903800 markings, 24366565 edges, 7315 markings/sec, 540 secs
lola: 3940493 markings, 24599873 edges, 7339 markings/sec, 545 secs
lola: 3976584 markings, 24832135 edges, 7218 markings/sec, 550 secs
lola: 4012572 markings, 25056597 edges, 7198 markings/sec, 555 secs
lola: 4049065 markings, 25286215 edges, 7299 markings/sec, 560 secs
lola: 4085586 markings, 25520642 edges, 7304 markings/sec, 565 secs
lola: 4122152 markings, 25752982 edges, 7313 markings/sec, 570 secs
lola: 4158664 markings, 25979168 edges, 7302 markings/sec, 575 secs
lola: 4195132 markings, 26207208 edges, 7294 markings/sec, 580 secs
lola: 4231542 markings, 26436041 edges, 7282 markings/sec, 585 secs
lola: 4267337 markings, 26670024 edges, 7159 markings/sec, 590 secs
lola: 4303764 markings, 26907337 edges, 7285 markings/sec, 595 secs
lola: 4340114 markings, 27131432 edges, 7270 markings/sec, 600 secs
lola: 4376674 markings, 27360094 edges, 7312 markings/sec, 605 secs
lola: 4413173 markings, 27587794 edges, 7300 markings/sec, 610 secs
lola: 4449676 markings, 27815504 edges, 7301 markings/sec, 615 secs
lola: 4486165 markings, 28045097 edges, 7298 markings/sec, 620 secs
lola: 4522537 markings, 28274559 edges, 7274 markings/sec, 625 secs
lola: 4558657 markings, 28498760 edges, 7224 markings/sec, 630 secs
lola: 4594266 markings, 28719415 edges, 7122 markings/sec, 635 secs
lola: 4630661 markings, 28954098 edges, 7279 markings/sec, 640 secs
lola: 4667160 markings, 29181369 edges, 7300 markings/sec, 645 secs
lola: 4703880 markings, 29406591 edges, 7344 markings/sec, 650 secs
lola: 4739984 markings, 29635720 edges, 7221 markings/sec, 655 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 663 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p73)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 27 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: 26980 markings, 275424 edges, 5396 markings/sec, 0 secs
lola: 55185 markings, 576298 edges, 5641 markings/sec, 5 secs
lola: 83219 markings, 882317 edges, 5607 markings/sec, 10 secs
lola: 111271 markings, 1191553 edges, 5610 markings/sec, 15 secs
lola: 138179 markings, 1486959 edges, 5382 markings/sec, 20 secs
lola: 163769 markings, 1769464 edges, 5118 markings/sec, 25 secs
lola: 191095 markings, 2059000 edges, 5465 markings/sec, 30 secs
lola: 218891 markings, 2365855 edges, 5559 markings/sec, 35 secs
lola: 246484 markings, 2673013 edges, 5519 markings/sec, 40 secs
lola: 271860 markings, 2949188 edges, 5075 markings/sec, 45 secs
lola: 297156 markings, 3224444 edges, 5059 markings/sec, 50 secs
lola: 323902 markings, 3518679 edges, 5349 markings/sec, 55 secs
lola: 350835 markings, 3809692 edges, 5387 markings/sec, 60 secs
lola: 377704 markings, 4108041 edges, 5374 markings/sec, 65 secs
lola: 404855 markings, 4408102 edges, 5430 markings/sec, 70 secs
lola: 431963 markings, 4710116 edges, 5422 markings/sec, 75 secs
lola: 459156 markings, 5015111 edges, 5439 markings/sec, 80 secs
lola: 484479 markings, 5295198 edges, 5065 markings/sec, 85 secs
lola: 509132 markings, 5566648 edges, 4931 markings/sec, 90 secs
lola: 534445 markings, 5848981 edges, 5063 markings/sec, 95 secs
lola: 559873 markings, 6118787 edges, 5086 markings/sec, 100 secs
lola: 585167 markings, 6388940 edges, 5059 markings/sec, 105 secs
lola: 611283 markings, 6681410 edges, 5223 markings/sec, 110 secs
lola: 637917 markings, 6977276 edges, 5327 markings/sec, 115 secs
lola: 664094 markings, 7261249 edges, 5235 markings/sec, 120 secs
lola: 689264 markings, 7535481 edges, 5034 markings/sec, 125 secs
lola: 714356 markings, 7804678 edges, 5018 markings/sec, 130 secs
lola: 739885 markings, 8077963 edges, 5106 markings/sec, 135 secs
lola: 766410 markings, 8370397 edges, 5305 markings/sec, 140 secs
lola: 792970 markings, 8654585 edges, 5312 markings/sec, 145 secs
lola: 819617 markings, 8949844 edges, 5329 markings/sec, 150 secs
lola: 846824 markings, 9249006 edges, 5441 markings/sec, 155 secs
lola: 873885 markings, 9542520 edges, 5412 markings/sec, 160 secs
lola: 901089 markings, 9838402 edges, 5441 markings/sec, 165 secs
lola: 927994 markings, 10129796 edges, 5381 markings/sec, 170 secs
lola: 954088 markings, 10416437 edges, 5219 markings/sec, 175 secs
lola: 979918 markings, 10699285 edges, 5166 markings/sec, 180 secs
lola: 1005496 markings, 10998406 edges, 5116 markings/sec, 185 secs
lola: 1032080 markings, 11285462 edges, 5317 markings/sec, 190 secs
lola: 1058809 markings, 11584200 edges, 5346 markings/sec, 195 secs
lola: 1085913 markings, 11883896 edges, 5421 markings/sec, 200 secs
lola: 1112756 markings, 12192740 edges, 5369 markings/sec, 205 secs
lola: 1138765 markings, 12495201 edges, 5202 markings/sec, 210 secs
lola: 1165293 markings, 12781498 edges, 5306 markings/sec, 215 secs
lola: 1192011 markings, 13070188 edges, 5344 markings/sec, 220 secs
lola: 1218471 markings, 13375782 edges, 5292 markings/sec, 225 secs
lola: 1245199 markings, 13677359 edges, 5346 markings/sec, 230 secs
lola: 1272533 markings, 13976767 edges, 5467 markings/sec, 235 secs
lola: 1299285 markings, 14270422 edges, 5350 markings/sec, 240 secs
lola: 1325654 markings, 14566427 edges, 5274 markings/sec, 245 secs
lola: 1352275 markings, 14864289 edges, 5324 markings/sec, 250 secs
lola: 1379395 markings, 15164239 edges, 5424 markings/sec, 255 secs
lola: 1407162 markings, 15465460 edges, 5553 markings/sec, 260 secs
lola: 1434428 markings, 15768519 edges, 5453 markings/sec, 265 secs
lola: 1461691 markings, 16082621 edges, 5453 markings/sec, 270 secs
lola: 1488940 markings, 16382015 edges, 5450 markings/sec, 275 secs
lola: 1516340 markings, 16690043 edges, 5480 markings/sec, 280 secs
lola: 1543678 markings, 16996175 edges, 5468 markings/sec, 285 secs
lola: 1570794 markings, 17299081 edges, 5423 markings/sec, 290 secs
lola: 1598072 markings, 17607893 edges, 5456 markings/sec, 295 secs
lola: 1625386 markings, 17921683 edges, 5463 markings/sec, 300 secs
lola: 1652823 markings, 18220514 edges, 5487 markings/sec, 305 secs
lola: 1680153 markings, 18536739 edges, 5466 markings/sec, 310 secs
lola: 1707470 markings, 18849033 edges, 5463 markings/sec, 315 secs
lola: 1734710 markings, 19147138 edges, 5448 markings/sec, 320 secs
lola: 1761874 markings, 19459313 edges, 5433 markings/sec, 325 secs
lola: 1788672 markings, 19749801 edges, 5360 markings/sec, 330 secs
lola: 1815421 markings, 20035826 edges, 5350 markings/sec, 335 secs
lola: 1842042 markings, 20320494 edges, 5324 markings/sec, 340 secs
lola: 1868685 markings, 20617588 edges, 5329 markings/sec, 345 secs
lola: 1895023 markings, 20906238 edges, 5268 markings/sec, 350 secs
lola: 1921772 markings, 21201468 edges, 5350 markings/sec, 355 secs
lola: 1949238 markings, 21494428 edges, 5493 markings/sec, 360 secs
lola: 1976713 markings, 21792112 edges, 5495 markings/sec, 365 secs
lola: 2004053 markings, 22090219 edges, 5468 markings/sec, 370 secs
lola: 2031328 markings, 22384026 edges, 5455 markings/sec, 375 secs
lola: 2058715 markings, 22690611 edges, 5477 markings/sec, 380 secs
lola: 2085331 markings, 22981739 edges, 5323 markings/sec, 385 secs
lola: 2111847 markings, 23288698 edges, 5303 markings/sec, 390 secs
lola: 2139056 markings, 23581162 edges, 5442 markings/sec, 395 secs
lola: 2166343 markings, 23883858 edges, 5457 markings/sec, 400 secs
lola: 2193110 markings, 24188563 edges, 5353 markings/sec, 405 secs
lola: 2220478 markings, 24485682 edges, 5474 markings/sec, 410 secs
lola: 2247685 markings, 24785424 edges, 5441 markings/sec, 415 secs
lola: 2275061 markings, 25097019 edges, 5475 markings/sec, 420 secs
lola: 2302434 markings, 25399481 edges, 5475 markings/sec, 425 secs
lola: 2329614 markings, 25703813 edges, 5436 markings/sec, 430 secs
lola: 2356636 markings, 26015832 edges, 5404 markings/sec, 435 secs
lola: 2383839 markings, 26318407 edges, 5441 markings/sec, 440 secs
lola: 2410951 markings, 26615659 edges, 5422 markings/sec, 445 secs
lola: 2438282 markings, 26918877 edges, 5466 markings/sec, 450 secs
lola: 2465548 markings, 27214766 edges, 5453 markings/sec, 455 secs
lola: 2492993 markings, 27507951 edges, 5489 markings/sec, 460 secs
lola: 2520374 markings, 27802388 edges, 5476 markings/sec, 465 secs
lola: 2547829 markings, 28111535 edges, 5491 markings/sec, 470 secs
lola: 2575133 markings, 28415713 edges, 5461 markings/sec, 475 secs
lola: 2602569 markings, 28713829 edges, 5487 markings/sec, 480 secs
lola: 2629918 markings, 29010139 edges, 5470 markings/sec, 485 secs
lola: 2657532 markings, 29301994 edges, 5523 markings/sec, 490 secs
lola: 2685032 markings, 29604589 edges, 5500 markings/sec, 495 secs
lola: 2712632 markings, 29897765 edges, 5520 markings/sec, 500 secs
lola: 2740147 markings, 30197393 edges, 5503 markings/sec, 505 secs
lola: 2767582 markings, 30501253 edges, 5487 markings/sec, 510 secs
lola: 2795052 markings, 30804729 edges, 5494 markings/sec, 515 secs
lola: 2822458 markings, 31116704 edges, 5481 markings/sec, 520 secs
lola: 2849841 markings, 31421056 edges, 5477 markings/sec, 525 secs
lola: 2876514 markings, 31706339 edges, 5335 markings/sec, 530 secs
lola: 2903563 markings, 32006138 edges, 5410 markings/sec, 535 secs
lola: 2930960 markings, 32303350 edges, 5479 markings/sec, 540 secs
lola: 2958524 markings, 32595258 edges, 5513 markings/sec, 545 secs
lola: 2985954 markings, 32908127 edges, 5486 markings/sec, 550 secs
lola: 3013373 markings, 33200680 edges, 5484 markings/sec, 555 secs
lola: 3040879 markings, 33508394 edges, 5501 markings/sec, 560 secs
lola: 3068390 markings, 33806754 edges, 5502 markings/sec, 565 secs
lola: 3095783 markings, 34100945 edges, 5479 markings/sec, 570 secs
lola: 3123243 markings, 34409807 edges, 5492 markings/sec, 575 secs
lola: 3150598 markings, 34711338 edges, 5471 markings/sec, 580 secs
lola: 3177893 markings, 35012828 edges, 5459 markings/sec, 585 secs
lola: 3205168 markings, 35317860 edges, 5455 markings/sec, 590 secs
lola: 3232367 markings, 35626337 edges, 5440 markings/sec, 595 secs
lola: 3259634 markings, 35917238 edges, 5453 markings/sec, 600 secs
lola: 3286877 markings, 36228413 edges, 5449 markings/sec, 605 secs
lola: 3314237 markings, 36539521 edges, 5472 markings/sec, 610 secs
lola: 3341600 markings, 36853021 edges, 5473 markings/sec, 615 secs
lola: 3369054 markings, 37147080 edges, 5491 markings/sec, 620 secs
lola: 3396668 markings, 37464247 edges, 5523 markings/sec, 625 secs
lola: 3422904 markings, 37754484 edges, 5247 markings/sec, 630 secs
lola: 3449155 markings, 38060328 edges, 5250 markings/sec, 635 secs
lola: 3475640 markings, 38366425 edges, 5297 markings/sec, 640 secs
lola: 3500994 markings, 38646189 edges, 5071 markings/sec, 645 secs
lola: 3526133 markings, 38935950 edges, 5028 markings/sec, 650 secs
lola: 3552224 markings, 39223115 edges, 5218 markings/sec, 655 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 664 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 27 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: 31593 markings, 211069 edges, 6319 markings/sec, 0 secs
lola: 60436 markings, 404040 edges, 5769 markings/sec, 5 secs
lola: 89491 markings, 601676 edges, 5811 markings/sec, 10 secs
lola: 121012 markings, 821981 edges, 6304 markings/sec, 15 secs
lola: 150017 markings, 1019049 edges, 5801 markings/sec, 20 secs
lola: 179886 markings, 1226264 edges, 5974 markings/sec, 25 secs
lola: 209633 markings, 1428869 edges, 5949 markings/sec, 30 secs
lola: 241174 markings, 1647857 edges, 6308 markings/sec, 35 secs
lola: 273154 markings, 1871589 edges, 6396 markings/sec, 40 secs
lola: 303177 markings, 2078840 edges, 6005 markings/sec, 45 secs
lola: 332806 markings, 2284308 edges, 5926 markings/sec, 50 secs
lola: 361191 markings, 2481508 edges, 5677 markings/sec, 55 secs
lola: 389992 markings, 2679731 edges, 5760 markings/sec, 60 secs
lola: 418885 markings, 2876980 edges, 5779 markings/sec, 65 secs
lola: 447916 markings, 3076294 edges, 5806 markings/sec, 70 secs
lola: 477330 markings, 3278450 edges, 5883 markings/sec, 75 secs
lola: 506210 markings, 3475894 edges, 5776 markings/sec, 80 secs
lola: 535181 markings, 3677022 edges, 5794 markings/sec, 85 secs
lola: 564966 markings, 3881389 edges, 5957 markings/sec, 90 secs
lola: 595501 markings, 4088956 edges, 6107 markings/sec, 95 secs
lola: 626108 markings, 4307383 edges, 6121 markings/sec, 100 secs
lola: 656839 markings, 4522058 edges, 6146 markings/sec, 105 secs
lola: 688153 markings, 4738705 edges, 6263 markings/sec, 110 secs
lola: 717066 markings, 4936354 edges, 5783 markings/sec, 115 secs
lola: 746037 markings, 5135243 edges, 5794 markings/sec, 120 secs
lola: 775479 markings, 5340134 edges, 5888 markings/sec, 125 secs
lola: 803572 markings, 5536120 edges, 5619 markings/sec, 130 secs
lola: 832611 markings, 5739552 edges, 5808 markings/sec, 135 secs
lola: 861396 markings, 5941831 edges, 5757 markings/sec, 140 secs
lola: 890382 markings, 6147662 edges, 5797 markings/sec, 145 secs
lola: 920099 markings, 6351242 edges, 5943 markings/sec, 150 secs
lola: 950652 markings, 6560236 edges, 6111 markings/sec, 155 secs
lola: 981501 markings, 6779592 edges, 6170 markings/sec, 160 secs
lola: 1012198 markings, 6993327 edges, 6139 markings/sec, 165 secs
lola: 1042906 markings, 7206981 edges, 6142 markings/sec, 170 secs
lola: 1072473 markings, 7413498 edges, 5913 markings/sec, 175 secs
lola: 1104007 markings, 7634015 edges, 6307 markings/sec, 180 secs
lola: 1135591 markings, 7852798 edges, 6317 markings/sec, 185 secs
lola: 1166977 markings, 8065072 edges, 6277 markings/sec, 190 secs
lola: 1198506 markings, 8283607 edges, 6306 markings/sec, 195 secs
lola: 1229594 markings, 8498956 edges, 6218 markings/sec, 200 secs
lola: 1261102 markings, 8718686 edges, 6302 markings/sec, 205 secs
lola: 1292585 markings, 8938833 edges, 6297 markings/sec, 210 secs
lola: 1324243 markings, 9159861 edges, 6332 markings/sec, 215 secs
lola: 1355678 markings, 9378615 edges, 6287 markings/sec, 220 secs
lola: 1387368 markings, 9600609 edges, 6338 markings/sec, 225 secs
lola: 1418515 markings, 9822144 edges, 6229 markings/sec, 230 secs
lola: 1450073 markings, 10047877 edges, 6312 markings/sec, 235 secs
lola: 1481463 markings, 10268413 edges, 6278 markings/sec, 240 secs
lola: 1513416 markings, 10493744 edges, 6391 markings/sec, 245 secs
lola: 1544229 markings, 10708425 edges, 6163 markings/sec, 250 secs
lola: 1576579 markings, 10934287 edges, 6470 markings/sec, 255 secs
lola: 1608782 markings, 11157054 edges, 6441 markings/sec, 260 secs
lola: 1641266 markings, 11386076 edges, 6497 markings/sec, 265 secs
lola: 1673649 markings, 11617784 edges, 6477 markings/sec, 270 secs
lola: 1704584 markings, 11841883 edges, 6187 markings/sec, 275 secs
lola: 1733992 markings, 12052433 edges, 5882 markings/sec, 280 secs
lola: 1763527 markings, 12261563 edges, 5907 markings/sec, 285 secs
lola: 1794775 markings, 12477998 edges, 6250 markings/sec, 290 secs
lola: 1827053 markings, 12704851 edges, 6456 markings/sec, 295 secs
lola: 1859503 markings, 12934502 edges, 6490 markings/sec, 300 secs
lola: 1891603 markings, 13165973 edges, 6420 markings/sec, 305 secs
lola: 1923807 markings, 13386690 edges, 6441 markings/sec, 310 secs
lola: 1955415 markings, 13608461 edges, 6322 markings/sec, 315 secs
lola: 1987422 markings, 13825585 edges, 6401 markings/sec, 320 secs
lola: 2019161 markings, 14047898 edges, 6348 markings/sec, 325 secs
lola: 2051378 markings, 14275009 edges, 6443 markings/sec, 330 secs
lola: 2083108 markings, 14498187 edges, 6346 markings/sec, 335 secs
lola: 2114728 markings, 14717385 edges, 6324 markings/sec, 340 secs
lola: 2145750 markings, 14932993 edges, 6204 markings/sec, 345 secs
lola: 2177738 markings, 15154562 edges, 6398 markings/sec, 350 secs
lola: 2210001 markings, 15378252 edges, 6453 markings/sec, 355 secs
lola: 2242719 markings, 15606296 edges, 6544 markings/sec, 360 secs
lola: 2275196 markings, 15832541 edges, 6495 markings/sec, 365 secs
lola: 2307810 markings, 16061819 edges, 6523 markings/sec, 370 secs
lola: 2340299 markings, 16289855 edges, 6498 markings/sec, 375 secs
lola: 2372825 markings, 16516721 edges, 6505 markings/sec, 380 secs
lola: 2405034 markings, 16742508 edges, 6442 markings/sec, 385 secs
lola: 2436806 markings, 16963570 edges, 6354 markings/sec, 390 secs
lola: 2468029 markings, 17188302 edges, 6245 markings/sec, 395 secs
lola: 2499784 markings, 17412518 edges, 6351 markings/sec, 400 secs
lola: 2531636 markings, 17633529 edges, 6370 markings/sec, 405 secs
lola: 2563356 markings, 17866843 edges, 6344 markings/sec, 410 secs
lola: 2594985 markings, 18089634 edges, 6326 markings/sec, 415 secs
lola: 2626900 markings, 18313149 edges, 6383 markings/sec, 420 secs
lola: 2658598 markings, 18535218 edges, 6340 markings/sec, 425 secs
lola: 2690044 markings, 18756048 edges, 6289 markings/sec, 430 secs
lola: 2721743 markings, 18979576 edges, 6340 markings/sec, 435 secs
lola: 2753311 markings, 19200842 edges, 6314 markings/sec, 440 secs
lola: 2784892 markings, 19423524 edges, 6316 markings/sec, 445 secs
lola: 2816562 markings, 19649065 edges, 6334 markings/sec, 450 secs
lola: 2848787 markings, 19873758 edges, 6445 markings/sec, 455 secs
lola: 2880648 markings, 20104480 edges, 6372 markings/sec, 460 secs
lola: 2912066 markings, 20333598 edges, 6284 markings/sec, 465 secs
lola: 2944232 markings, 20565026 edges, 6433 markings/sec, 470 secs
lola: 2976325 markings, 20787593 edges, 6419 markings/sec, 475 secs
lola: 3008626 markings, 21014106 edges, 6460 markings/sec, 480 secs
lola: 3040620 markings, 21240731 edges, 6399 markings/sec, 485 secs
lola: 3072429 markings, 21468485 edges, 6362 markings/sec, 490 secs
lola: 3104312 markings, 21692009 edges, 6377 markings/sec, 495 secs
lola: 3135800 markings, 21919324 edges, 6298 markings/sec, 500 secs
lola: 3167447 markings, 22145164 edges, 6329 markings/sec, 505 secs
lola: 3199185 markings, 22369462 edges, 6348 markings/sec, 510 secs
lola: 3230866 markings, 22591031 edges, 6336 markings/sec, 515 secs
lola: 3262682 markings, 22808973 edges, 6363 markings/sec, 520 secs
lola: 3294490 markings, 23036903 edges, 6362 markings/sec, 525 secs
lola: 3325469 markings, 23252209 edges, 6196 markings/sec, 530 secs
lola: 3356041 markings, 23469765 edges, 6114 markings/sec, 535 secs
lola: 3386818 markings, 23690874 edges, 6155 markings/sec, 540 secs
lola: 3418740 markings, 23913792 edges, 6384 markings/sec, 545 secs
lola: 3450686 markings, 24144537 edges, 6389 markings/sec, 550 secs
lola: 3482510 markings, 24369983 edges, 6365 markings/sec, 555 secs
lola: 3513202 markings, 24593591 edges, 6138 markings/sec, 560 secs
lola: 3544906 markings, 24814993 edges, 6341 markings/sec, 565 secs
lola: 3576589 markings, 25037767 edges, 6337 markings/sec, 570 secs
lola: 3608368 markings, 25269157 edges, 6356 markings/sec, 575 secs
lola: 3639997 markings, 25496185 edges, 6326 markings/sec, 580 secs
lola: 3671885 markings, 25723775 edges, 6378 markings/sec, 585 secs
lola: 3703312 markings, 25951859 edges, 6285 markings/sec, 590 secs
lola: 3735201 markings, 26180792 edges, 6378 markings/sec, 595 secs
lola: 3767005 markings, 26410265 edges, 6361 markings/sec, 600 secs
lola: 3798814 markings, 26635091 edges, 6362 markings/sec, 605 secs
lola: 3830066 markings, 26855575 edges, 6250 markings/sec, 610 secs
lola: 3861747 markings, 27083156 edges, 6336 markings/sec, 615 secs
lola: 3892989 markings, 27300265 edges, 6248 markings/sec, 620 secs
lola: 3922850 markings, 27512762 edges, 5972 markings/sec, 625 secs
lola: 3954050 markings, 27735257 edges, 6240 markings/sec, 630 secs
lola: 3984958 markings, 27950357 edges, 6182 markings/sec, 635 secs
lola: 4016757 markings, 28171838 edges, 6360 markings/sec, 640 secs
lola: 4047992 markings, 28398739 edges, 6247 markings/sec, 645 secs
lola: 4078798 markings, 28622583 edges, 6161 markings/sec, 650 secs
lola: 4110814 markings, 28843979 edges, 6403 markings/sec, 655 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 664 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p246)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 27 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 15 will run for 1328 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p191)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 27 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: RESULT
lola:
SUMMARY: unknown 1 1 1 1 1 1 1 1 1 1 unknown unknown unknown 1 1
lola: ========================================
FORMULA DLCround-PT-11a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11a-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11a-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11a-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11a-UpperBounds-4 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11a-UpperBounds-5 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11a-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11a-UpperBounds-7 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11a-UpperBounds-8 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11a-UpperBounds-9 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11a-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11a-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11a-UpperBounds-15 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496545566471

--------------------
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="DLCround-PT-11a"
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/DLCround-PT-11a.tgz
mv DLCround-PT-11a 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 DLCround-PT-11a, 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 r178-csrt-149580961900344"
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 ;