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-3253
Executing tool lola
Input is DLCshifumi-PT-5b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436309400506
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494647018734


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DLCshifumi-PT-5b @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 66995/65536 symbol table entries, 38693 collisions
lola: preprocessing...
lola: finding significant places
lola: 27146 places, 39849 transitions, 25768 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 54873 transition conflict sets
lola: TASK
lola: reading formula from DLCshifumi-PT-5b-UpperBounds.task
lola: MAX(p21273) : MAX(p5284) : MAX(p4525) : MAX(p3207) : MAX(p6172) : MAX(p21222) : MAX(p58) : MAX(p11754) : MAX(p3792) : MAX(p21701) : MAX(p18398) : MAX(p16070) : MAX(p10494) : MAX(p19468) : MAX(p1353) : MAX(p11647)
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(p21273)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3224 bytes per marking, with 24 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: 2474 markings, 2690 edges, 495 markings/sec, 0 secs
lola: 4800 markings, 5289 edges, 465 markings/sec, 5 secs
lola: 7166 markings, 7917 edges, 473 markings/sec, 10 secs
lola: 9067 markings, 10020 edges, 380 markings/sec, 15 secs
lola: 10651 markings, 11760 edges, 317 markings/sec, 20 secs
lola: 11926 markings, 13175 edges, 255 markings/sec, 25 secs
lola: 13482 markings, 14880 edges, 311 markings/sec, 30 secs
lola: 14889 markings, 16439 edges, 281 markings/sec, 35 secs
lola: 16223 markings, 17913 edges, 267 markings/sec, 40 secs
lola: 17580 markings, 19419 edges, 271 markings/sec, 45 secs
lola: 18946 markings, 20926 edges, 273 markings/sec, 50 secs
lola: 20252 markings, 22378 edges, 261 markings/sec, 55 secs
lola: 21419 markings, 23666 edges, 233 markings/sec, 60 secs
lola: 22634 markings, 25007 edges, 243 markings/sec, 65 secs
lola: 23854 markings, 26364 edges, 244 markings/sec, 70 secs
lola: 25107 markings, 27747 edges, 251 markings/sec, 75 secs
lola: 26359 markings, 29139 edges, 250 markings/sec, 80 secs
lola: 27594 markings, 30504 edges, 247 markings/sec, 85 secs
lola: 28867 markings, 31976 edges, 255 markings/sec, 90 secs
lola: 37494 markings, 41784 edges, 1725 markings/sec, 95 secs
lola: 41134 markings, 45944 edges, 728 markings/sec, 100 secs
lola: 44103 markings, 49310 edges, 594 markings/sec, 105 secs
lola: 47316 markings, 52995 edges, 643 markings/sec, 110 secs
lola: 50302 markings, 56373 edges, 597 markings/sec, 115 secs
lola: 53094 markings, 59570 edges, 558 markings/sec, 120 secs
lola: 55588 markings, 62394 edges, 499 markings/sec, 125 secs
lola: 58189 markings, 65361 edges, 520 markings/sec, 130 secs
lola: 60854 markings, 68406 edges, 533 markings/sec, 135 secs
lola: 63309 markings, 71186 edges, 491 markings/sec, 140 secs
lola: 66017 markings, 74279 edges, 542 markings/sec, 145 secs
lola: 68836 markings, 77491 edges, 564 markings/sec, 150 secs
lola: 72183 markings, 81311 edges, 669 markings/sec, 155 secs
lola: 75370 markings, 84931 edges, 637 markings/sec, 160 secs
lola: 78623 markings, 88645 edges, 651 markings/sec, 165 secs
lola: 81930 markings, 92403 edges, 661 markings/sec, 170 secs
lola: 85197 markings, 96137 edges, 653 markings/sec, 175 secs
lola: 88513 markings, 99919 edges, 663 markings/sec, 180 secs
lola: 91751 markings, 103587 edges, 648 markings/sec, 185 secs
lola: 95070 markings, 107391 edges, 664 markings/sec, 190 secs
lola: 98281 markings, 111037 edges, 642 markings/sec, 195 secs
lola: 101634 markings, 114862 edges, 671 markings/sec, 200 secs
lola: 104916 markings, 118598 edges, 656 markings/sec, 205 secs
lola: 108352 markings, 122519 edges, 687 markings/sec, 210 secs
lola: 111629 markings, 126234 edges, 655 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(p5284)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3224 bytes per marking, with 24 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: 14171 markings, 15203 edges, 2834 markings/sec, 0 secs
lola: 23385 markings, 25157 edges, 1843 markings/sec, 5 secs
lola: 32127 markings, 34612 edges, 1748 markings/sec, 10 secs
lola: 41031 markings, 44209 edges, 1781 markings/sec, 15 secs
lola: 48794 markings, 52625 edges, 1553 markings/sec, 20 secs
lola: 55767 markings, 60126 edges, 1395 markings/sec, 25 secs
lola: 61438 markings, 66235 edges, 1134 markings/sec, 30 secs
lola: 67091 markings, 72315 edges, 1131 markings/sec, 35 secs
lola: 72989 markings, 78706 edges, 1180 markings/sec, 40 secs
lola: 79026 markings, 85222 edges, 1207 markings/sec, 45 secs
lola: 85083 markings, 91823 edges, 1211 markings/sec, 50 secs
lola: 92569 markings, 99911 edges, 1497 markings/sec, 55 secs
lola: 98684 markings, 106501 edges, 1223 markings/sec, 60 secs
lola: 104187 markings, 112435 edges, 1101 markings/sec, 65 secs
lola: 109844 markings, 118533 edges, 1131 markings/sec, 70 secs
lola: 115869 markings, 125070 edges, 1205 markings/sec, 75 secs
lola: 121915 markings, 131601 edges, 1209 markings/sec, 80 secs
lola: 127861 markings, 138113 edges, 1189 markings/sec, 85 secs
lola: 133729 markings, 144564 edges, 1174 markings/sec, 90 secs
lola: 141152 markings, 152629 edges, 1485 markings/sec, 95 secs
lola: 148826 markings, 160899 edges, 1535 markings/sec, 100 secs
lola: 157004 markings, 169690 edges, 1636 markings/sec, 105 secs
lola: 165331 markings, 178667 edges, 1665 markings/sec, 110 secs
lola: 172632 markings, 186607 edges, 1460 markings/sec, 115 secs
lola: 180270 markings, 194890 edges, 1528 markings/sec, 120 secs
lola: 188218 markings, 203600 edges, 1590 markings/sec, 125 secs
lola: 194918 markings, 210903 edges, 1340 markings/sec, 130 secs
lola: 200880 markings, 217423 edges, 1192 markings/sec, 135 secs
lola: 205569 markings, 222496 edges, 938 markings/sec, 140 secs
lola: 210013 markings, 227348 edges, 889 markings/sec, 145 secs
lola: 214141 markings, 231846 edges, 826 markings/sec, 150 secs
lola: 218138 markings, 236210 edges, 799 markings/sec, 155 secs
lola: 222000 markings, 240424 edges, 772 markings/sec, 160 secs
lola: 225679 markings, 244394 edges, 736 markings/sec, 165 secs
lola: 229826 markings, 248991 edges, 829 markings/sec, 170 secs
lola: 233387 markings, 252877 edges, 712 markings/sec, 175 secs
lola: 237196 markings, 257031 edges, 762 markings/sec, 180 secs
lola: 240757 markings, 260907 edges, 712 markings/sec, 185 secs
lola: 244669 markings, 265175 edges, 782 markings/sec, 190 secs
lola: 248846 markings, 269750 edges, 835 markings/sec, 195 secs
lola: 253252 markings, 274611 edges, 881 markings/sec, 200 secs
lola: 257811 markings, 279615 edges, 912 markings/sec, 205 secs
lola: 262639 markings, 284915 edges, 966 markings/sec, 210 secs
lola: 267275 markings, 289964 edges, 927 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(p4525)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3224 bytes per marking, with 24 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: 13256 markings, 15006 edges, 2651 markings/sec, 0 secs
lola: 27866 markings, 31678 edges, 2922 markings/sec, 5 secs
lola: 42431 markings, 48285 edges, 2913 markings/sec, 10 secs
lola: 56435 markings, 64410 edges, 2801 markings/sec, 15 secs
lola: 71449 markings, 81618 edges, 3003 markings/sec, 20 secs
lola: 86042 markings, 98290 edges, 2919 markings/sec, 25 secs
lola: 101154 markings, 115654 edges, 3022 markings/sec, 30 secs
lola: 116620 markings, 133388 edges, 3093 markings/sec, 35 secs
lola: 131599 markings, 150495 edges, 2996 markings/sec, 40 secs
lola: 145885 markings, 166916 edges, 2857 markings/sec, 45 secs
lola: 161051 markings, 184203 edges, 3033 markings/sec, 50 secs
lola: 175393 markings, 200716 edges, 2868 markings/sec, 55 secs
lola: 190129 markings, 217628 edges, 2947 markings/sec, 60 secs
lola: 204903 markings, 234486 edges, 2955 markings/sec, 65 secs
lola: 218887 markings, 250568 edges, 2797 markings/sec, 70 secs
lola: 233386 markings, 267203 edges, 2900 markings/sec, 75 secs
lola: 247591 markings, 283431 edges, 2841 markings/sec, 80 secs
lola: 260208 markings, 297938 edges, 2523 markings/sec, 85 secs
lola: 272574 markings, 312067 edges, 2473 markings/sec, 90 secs
lola: 284457 markings, 325745 edges, 2377 markings/sec, 95 secs
lola: 296236 markings, 339175 edges, 2356 markings/sec, 100 secs
lola: 307253 markings, 351876 edges, 2203 markings/sec, 105 secs
lola: 318737 markings, 364979 edges, 2297 markings/sec, 110 secs
lola: 330237 markings, 378193 edges, 2300 markings/sec, 115 secs
lola: 341426 markings, 390964 edges, 2238 markings/sec, 120 secs
lola: 352460 markings, 403521 edges, 2207 markings/sec, 125 secs
lola: 361976 markings, 414528 edges, 1903 markings/sec, 130 secs
lola: 371750 markings, 425808 edges, 1955 markings/sec, 135 secs
lola: 382091 markings, 437591 edges, 2068 markings/sec, 140 secs
lola: 391374 markings, 448293 edges, 1857 markings/sec, 145 secs
lola: 400624 markings, 458864 edges, 1850 markings/sec, 150 secs
lola: 410626 markings, 470262 edges, 2000 markings/sec, 155 secs
lola: 419650 markings, 480688 edges, 1805 markings/sec, 160 secs
lola: 429845 markings, 492306 edges, 2039 markings/sec, 165 secs
lola: 439335 markings, 503244 edges, 1898 markings/sec, 170 secs
lola: 449281 markings, 514604 edges, 1989 markings/sec, 175 secs
lola: 459577 markings, 526443 edges, 2059 markings/sec, 180 secs
lola: 468851 markings, 537073 edges, 1855 markings/sec, 185 secs
lola: 479654 markings, 549361 edges, 2161 markings/sec, 190 secs
lola: 486855 markings, 557721 edges, 1440 markings/sec, 195 secs
lola: 493913 markings, 565774 edges, 1412 markings/sec, 200 secs
lola: 500900 markings, 573730 edges, 1397 markings/sec, 205 secs
lola: 507596 markings, 581487 edges, 1339 markings/sec, 210 secs
lola: 513845 markings, 588633 edges, 1250 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(p3207)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3224 bytes per marking, with 24 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: 2788 markings, 3139 edges, 558 markings/sec, 0 secs
lola: 4989 markings, 5652 edges, 440 markings/sec, 5 secs
lola: 7199 markings, 8174 edges, 442 markings/sec, 10 secs
lola: 9144 markings, 10365 edges, 389 markings/sec, 15 secs
lola: 11508 markings, 13039 edges, 473 markings/sec, 20 secs
lola: 14011 markings, 15872 edges, 501 markings/sec, 25 secs
lola: 16718 markings, 18933 edges, 541 markings/sec, 30 secs
lola: 19421 markings, 21992 edges, 541 markings/sec, 35 secs
lola: 22148 markings, 25077 edges, 545 markings/sec, 40 secs
lola: 24958 markings, 28256 edges, 562 markings/sec, 45 secs
lola: 27699 markings, 31358 edges, 548 markings/sec, 50 secs
lola: 30427 markings, 34443 edges, 546 markings/sec, 55 secs
lola: 33274 markings, 37664 edges, 569 markings/sec, 60 secs
lola: 36310 markings, 41099 edges, 607 markings/sec, 65 secs
lola: 39850 markings, 45103 edges, 708 markings/sec, 70 secs
lola: 44212 markings, 50037 edges, 872 markings/sec, 75 secs
lola: 46823 markings, 52993 edges, 522 markings/sec, 80 secs
lola: 49052 markings, 55513 edges, 446 markings/sec, 85 secs
lola: 51186 markings, 57929 edges, 427 markings/sec, 90 secs
lola: 53303 markings, 60322 edges, 423 markings/sec, 95 secs
lola: 55332 markings, 62620 edges, 406 markings/sec, 100 secs
lola: 57300 markings, 64846 edges, 394 markings/sec, 105 secs
lola: 59365 markings, 67179 edges, 413 markings/sec, 110 secs
lola: 61458 markings, 69548 edges, 419 markings/sec, 115 secs
lola: 63479 markings, 71834 edges, 404 markings/sec, 120 secs
lola: 65488 markings, 74107 edges, 402 markings/sec, 125 secs
lola: 67583 markings, 76477 edges, 419 markings/sec, 130 secs
lola: 69710 markings, 78883 edges, 425 markings/sec, 135 secs
lola: 71753 markings, 81189 edges, 409 markings/sec, 140 secs
lola: 74274 markings, 84030 edges, 504 markings/sec, 145 secs
lola: 76793 markings, 86872 edges, 504 markings/sec, 150 secs
lola: 78673 markings, 88995 edges, 376 markings/sec, 155 secs
lola: 85056 markings, 96233 edges, 1277 markings/sec, 160 secs
lola: 92214 markings, 104356 edges, 1432 markings/sec, 165 secs
lola: 99549 markings, 112683 edges, 1467 markings/sec, 170 secs
lola: 107078 markings, 121227 edges, 1506 markings/sec, 175 secs
lola: 114727 markings, 129906 edges, 1530 markings/sec, 180 secs
lola: 122519 markings, 138750 edges, 1558 markings/sec, 185 secs
lola: 130289 markings, 147568 edges, 1554 markings/sec, 190 secs
lola: 136322 markings, 154621 edges, 1207 markings/sec, 195 secs
lola: 141551 markings, 160945 edges, 1046 markings/sec, 200 secs
lola: 146799 markings, 167460 edges, 1050 markings/sec, 205 secs
lola: 152086 markings, 174057 edges, 1057 markings/sec, 210 secs
lola: 157407 markings, 180700 edges, 1064 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(p6172)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3224 bytes per marking, with 24 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: 10917 markings, 13166 edges, 2183 markings/sec, 0 secs
lola: 18180 markings, 22241 edges, 1453 markings/sec, 5 secs
lola: 24847 markings, 30552 edges, 1333 markings/sec, 10 secs
lola: 31665 markings, 39054 edges, 1364 markings/sec, 15 secs
lola: 38629 markings, 47738 edges, 1393 markings/sec, 20 secs
lola: 45415 markings, 56106 edges, 1357 markings/sec, 25 secs
lola: 52096 markings, 63817 edges, 1336 markings/sec, 30 secs
lola: 58559 markings, 71306 edges, 1293 markings/sec, 35 secs
lola: 64298 markings, 78145 edges, 1148 markings/sec, 40 secs
lola: 70335 markings, 85202 edges, 1207 markings/sec, 45 secs
lola: 75867 markings, 91678 edges, 1106 markings/sec, 50 secs
lola: 81216 markings, 98020 edges, 1070 markings/sec, 55 secs
lola: 86685 markings, 104553 edges, 1094 markings/sec, 60 secs
lola: 92660 markings, 111552 edges, 1195 markings/sec, 65 secs
lola: 98239 markings, 118063 edges, 1116 markings/sec, 70 secs
lola: 103530 markings, 124345 edges, 1058 markings/sec, 75 secs
lola: 109222 markings, 131131 edges, 1138 markings/sec, 80 secs
lola: 115017 markings, 137931 edges, 1159 markings/sec, 85 secs
lola: 120823 markings, 144717 edges, 1161 markings/sec, 90 secs
lola: 126571 markings, 151490 edges, 1150 markings/sec, 95 secs
lola: 132089 markings, 158073 edges, 1104 markings/sec, 100 secs
lola: 137533 markings, 164544 edges, 1089 markings/sec, 105 secs
lola: 143365 markings, 171318 edges, 1166 markings/sec, 110 secs
lola: 148893 markings, 177817 edges, 1106 markings/sec, 115 secs
lola: 154256 markings, 184228 edges, 1073 markings/sec, 120 secs
lola: 159656 markings, 190649 edges, 1080 markings/sec, 125 secs
lola: 165425 markings, 197350 edges, 1154 markings/sec, 130 secs
lola: 170893 markings, 203786 edges, 1094 markings/sec, 135 secs
lola: 176165 markings, 210092 edges, 1054 markings/sec, 140 secs
lola: 181633 markings, 216573 edges, 1094 markings/sec, 145 secs
lola: 187299 markings, 223155 edges, 1133 markings/sec, 150 secs
lola: 192654 markings, 229485 edges, 1071 markings/sec, 155 secs
lola: 198261 markings, 236168 edges, 1121 markings/sec, 160 secs
lola: 203770 markings, 242695 edges, 1102 markings/sec, 165 secs
lola: 209470 markings, 249314 edges, 1140 markings/sec, 170 secs
lola: 215004 markings, 255844 edges, 1107 markings/sec, 175 secs
lola: 220469 markings, 262368 edges, 1093 markings/sec, 180 secs
lola: 226027 markings, 268970 edges, 1112 markings/sec, 185 secs
lola: 231806 markings, 275673 edges, 1156 markings/sec, 190 secs
lola: 237364 markings, 282218 edges, 1112 markings/sec, 195 secs
lola: 242854 markings, 288772 edges, 1098 markings/sec, 200 secs
lola: 248281 markings, 295222 edges, 1085 markings/sec, 205 secs
lola: 254155 markings, 302043 edges, 1175 markings/sec, 210 secs
lola: 259796 markings, 308673 edges, 1128 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(p21222)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3224 bytes per marking, with 24 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: 5535 markings, 6045 edges, 1107 markings/sec, 0 secs
lola: 10387 markings, 11409 edges, 970 markings/sec, 5 secs
lola: 15813 markings, 17407 edges, 1085 markings/sec, 10 secs
lola: 21437 markings, 23622 edges, 1125 markings/sec, 15 secs
lola: 27496 markings, 30319 edges, 1212 markings/sec, 20 secs
lola: 32359 markings, 35700 edges, 973 markings/sec, 25 secs
lola: 39125 markings, 43178 edges, 1353 markings/sec, 30 secs
lola: 47822 markings, 52789 edges, 1739 markings/sec, 35 secs
lola: 56444 markings, 62321 edges, 1724 markings/sec, 40 secs
lola: 64994 markings, 71758 edges, 1710 markings/sec, 45 secs
lola: 73599 markings, 81257 edges, 1721 markings/sec, 50 secs
lola: 82078 markings, 90615 edges, 1696 markings/sec, 55 secs
lola: 90288 markings, 99676 edges, 1642 markings/sec, 60 secs
lola: 98357 markings, 108580 edges, 1614 markings/sec, 65 secs
lola: 106113 markings, 117137 edges, 1551 markings/sec, 70 secs
lola: 113395 markings, 125176 edges, 1456 markings/sec, 75 secs
lola: 120271 markings, 132768 edges, 1375 markings/sec, 80 secs
lola: 126545 markings, 139689 edges, 1255 markings/sec, 85 secs
lola: 132679 markings, 146458 edges, 1227 markings/sec, 90 secs
lola: 138502 markings, 152889 edges, 1165 markings/sec, 95 secs
lola: 143579 markings, 158484 edges, 1015 markings/sec, 100 secs
lola: 148695 markings, 164110 edges, 1023 markings/sec, 105 secs
lola: 154655 markings, 170681 edges, 1192 markings/sec, 110 secs
lola: 160723 markings, 177366 edges, 1214 markings/sec, 115 secs
lola: 166667 markings, 183907 edges, 1189 markings/sec, 120 secs
lola: 172538 markings, 190380 edges, 1174 markings/sec, 125 secs
lola: 178793 markings, 197269 edges, 1251 markings/sec, 130 secs
lola: 185397 markings, 204554 edges, 1321 markings/sec, 135 secs
lola: 192058 markings, 211901 edges, 1332 markings/sec, 140 secs
lola: 198836 markings, 219374 edges, 1356 markings/sec, 145 secs
lola: 205734 markings, 226951 edges, 1380 markings/sec, 150 secs
lola: 212444 markings, 234321 edges, 1342 markings/sec, 155 secs
lola: 219095 markings, 241631 edges, 1330 markings/sec, 160 secs
lola: 225781 markings, 248998 edges, 1337 markings/sec, 165 secs
lola: 232423 markings, 256285 edges, 1328 markings/sec, 170 secs
lola: 238435 markings, 262901 edges, 1202 markings/sec, 175 secs
lola: 245142 markings, 270261 edges, 1341 markings/sec, 180 secs
lola: 251827 markings, 277592 edges, 1337 markings/sec, 185 secs
lola: 258477 markings, 284910 edges, 1330 markings/sec, 190 secs
lola: 265186 markings, 292296 edges, 1342 markings/sec, 195 secs
lola: 271801 markings, 299572 edges, 1323 markings/sec, 200 secs
lola: 278557 markings, 306972 edges, 1351 markings/sec, 205 secs
lola: 285119 markings, 314194 edges, 1312 markings/sec, 210 secs
lola: 291907 markings, 321643 edges, 1358 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(p58)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3224 bytes per marking, with 24 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 245 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p11754)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3224 bytes per marking, with 24 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: 14883 markings, 16510 edges, 2977 markings/sec, 0 secs
lola: 19770 markings, 21942 edges, 977 markings/sec, 5 secs
lola: 22859 markings, 25373 edges, 618 markings/sec, 10 secs
lola: 25351 markings, 28152 edges, 498 markings/sec, 15 secs
lola: 27957 markings, 31053 edges, 521 markings/sec, 20 secs
lola: 30582 markings, 33975 edges, 525 markings/sec, 25 secs
lola: 34570 markings, 38416 edges, 798 markings/sec, 30 secs
lola: 38693 markings, 43020 edges, 825 markings/sec, 35 secs
lola: 42564 markings, 47493 edges, 774 markings/sec, 40 secs
lola: 46157 markings, 52009 edges, 719 markings/sec, 45 secs
lola: 50167 markings, 56775 edges, 802 markings/sec, 50 secs
lola: 55903 markings, 64106 edges, 1147 markings/sec, 55 secs
lola: 59916 markings, 68961 edges, 803 markings/sec, 60 secs
lola: 64926 markings, 75157 edges, 1002 markings/sec, 65 secs
lola: 70010 markings, 81394 edges, 1017 markings/sec, 70 secs
lola: 75566 markings, 88193 edges, 1111 markings/sec, 75 secs
lola: 81191 markings, 95168 edges, 1125 markings/sec, 80 secs
lola: 86663 markings, 101835 edges, 1094 markings/sec, 85 secs
lola: 90883 markings, 106999 edges, 844 markings/sec, 90 secs
lola: 96433 markings, 113765 edges, 1110 markings/sec, 95 secs
lola: 101705 markings, 120342 edges, 1054 markings/sec, 100 secs
lola: 106544 markings, 126227 edges, 968 markings/sec, 105 secs
lola: 111842 markings, 132817 edges, 1060 markings/sec, 110 secs
lola: 117467 markings, 139549 edges, 1125 markings/sec, 115 secs
lola: 123028 markings, 146426 edges, 1112 markings/sec, 120 secs
lola: 127802 markings, 152277 edges, 955 markings/sec, 125 secs
lola: 133940 markings, 159776 edges, 1228 markings/sec, 130 secs
lola: 139750 markings, 166954 edges, 1162 markings/sec, 135 secs
lola: 145866 markings, 174469 edges, 1223 markings/sec, 140 secs
lola: 150460 markings, 180052 edges, 919 markings/sec, 145 secs
lola: 156063 markings, 186886 edges, 1121 markings/sec, 150 secs
lola: 161987 markings, 194200 edges, 1185 markings/sec, 155 secs
lola: 167008 markings, 200393 edges, 1004 markings/sec, 160 secs
lola: 171497 markings, 205962 edges, 898 markings/sec, 165 secs
lola: 176710 markings, 212204 edges, 1043 markings/sec, 170 secs
lola: 182302 markings, 219127 edges, 1118 markings/sec, 175 secs
lola: 187052 markings, 224952 edges, 950 markings/sec, 180 secs
lola: 192780 markings, 231992 edges, 1146 markings/sec, 185 secs
lola: 197898 markings, 238329 edges, 1024 markings/sec, 190 secs
lola: 200918 markings, 242060 edges, 604 markings/sec, 195 secs
lola: 205087 markings, 247113 edges, 834 markings/sec, 200 secs
lola: 207414 markings, 249881 edges, 465 markings/sec, 205 secs
lola: 209804 markings, 252839 edges, 478 markings/sec, 210 secs
lola: 213207 markings, 257040 edges, 681 markings/sec, 215 secs
lola: 215636 markings, 259936 edges, 486 markings/sec, 220 secs
lola: 219030 markings, 264220 edges, 679 markings/sec, 225 secs
lola: 221973 markings, 267775 edges, 589 markings/sec, 230 secs
lola: 224653 markings, 271079 edges, 536 markings/sec, 235 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 245 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3792)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3224 bytes per marking, with 24 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: 12196 markings, 13363 edges, 2439 markings/sec, 0 secs
lola: 18501 markings, 20375 edges, 1261 markings/sec, 5 secs
lola: 28089 markings, 31080 edges, 1918 markings/sec, 10 secs
lola: 42821 markings, 47523 edges, 2946 markings/sec, 15 secs
lola: 56662 markings, 62959 edges, 2768 markings/sec, 20 secs
lola: 67463 markings, 74964 edges, 2160 markings/sec, 25 secs
lola: 82973 markings, 92247 edges, 3102 markings/sec, 30 secs
lola: 92244 markings, 102611 edges, 1854 markings/sec, 35 secs
lola: 99929 markings, 111138 edges, 1537 markings/sec, 40 secs
lola: 113512 markings, 126294 edges, 2717 markings/sec, 45 secs
lola: 124242 markings, 138246 edges, 2146 markings/sec, 50 secs
lola: 133707 markings, 148764 edges, 1893 markings/sec, 55 secs
lola: 147321 markings, 163952 edges, 2723 markings/sec, 60 secs
lola: 157793 markings, 175628 edges, 2094 markings/sec, 65 secs
lola: 171610 markings, 190986 edges, 2763 markings/sec, 70 secs
lola: 187476 markings, 208687 edges, 3173 markings/sec, 75 secs
lola: 199337 markings, 221880 edges, 2372 markings/sec, 80 secs
lola: 216589 markings, 241101 edges, 3450 markings/sec, 85 secs
lola: 228598 markings, 254469 edges, 2402 markings/sec, 90 secs
lola: 243858 markings, 271491 edges, 3052 markings/sec, 95 secs
lola: 257407 markings, 286604 edges, 2710 markings/sec, 100 secs
lola: 270945 markings, 301648 edges, 2708 markings/sec, 105 secs
lola: 286530 markings, 319033 edges, 3117 markings/sec, 110 secs
lola: 298629 markings, 332497 edges, 2420 markings/sec, 115 secs
lola: 316005 markings, 351863 edges, 3475 markings/sec, 120 secs
lola: 327937 markings, 365139 edges, 2386 markings/sec, 125 secs
lola: 343282 markings, 382254 edges, 3069 markings/sec, 130 secs
lola: 356608 markings, 397107 edges, 2665 markings/sec, 135 secs
lola: 370540 markings, 412610 edges, 2786 markings/sec, 140 secs
lola: 385794 markings, 429618 edges, 3051 markings/sec, 145 secs
lola: 398208 markings, 443432 edges, 2483 markings/sec, 150 secs
lola: 415291 markings, 462468 edges, 3417 markings/sec, 155 secs
lola: 426971 markings, 475459 edges, 2336 markings/sec, 160 secs
lola: 442853 markings, 493186 edges, 3176 markings/sec, 165 secs
lola: 455112 markings, 506847 edges, 2452 markings/sec, 170 secs
lola: 467214 markings, 520302 edges, 2420 markings/sec, 175 secs
lola: 481875 markings, 536640 edges, 2932 markings/sec, 180 secs
lola: 492458 markings, 548419 edges, 2117 markings/sec, 185 secs
lola: 506196 markings, 563749 edges, 2748 markings/sec, 190 secs
lola: 518993 markings, 578005 edges, 2559 markings/sec, 195 secs
lola: 530691 markings, 591010 edges, 2340 markings/sec, 200 secs
lola: 545678 markings, 607712 edges, 2997 markings/sec, 205 secs
lola: 556673 markings, 619951 edges, 2199 markings/sec, 210 secs
lola: 569704 markings, 634481 edges, 2606 markings/sec, 215 secs
lola: 583265 markings, 649604 edges, 2712 markings/sec, 220 secs
lola: 593847 markings, 661366 edges, 2116 markings/sec, 225 secs
lola: 608980 markings, 678235 edges, 3027 markings/sec, 230 secs
lola: 621031 markings, 691657 edges, 2410 markings/sec, 235 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p21701)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3224 bytes per marking, with 24 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: 15954 markings, 17622 edges, 3191 markings/sec, 0 secs
lola: 31577 markings, 34907 edges, 3125 markings/sec, 5 secs
lola: 46650 markings, 51772 edges, 3015 markings/sec, 10 secs
lola: 61876 markings, 68688 edges, 3045 markings/sec, 15 secs
lola: 77377 markings, 86068 edges, 3100 markings/sec, 20 secs
lola: 93222 markings, 103850 edges, 3169 markings/sec, 25 secs
lola: 108482 markings, 120956 edges, 3052 markings/sec, 30 secs
lola: 123599 markings, 137853 edges, 3023 markings/sec, 35 secs
lola: 138391 markings, 154368 edges, 2958 markings/sec, 40 secs
lola: 153279 markings, 171009 edges, 2978 markings/sec, 45 secs
lola: 167813 markings, 187293 edges, 2907 markings/sec, 50 secs
lola: 182439 markings, 203711 edges, 2925 markings/sec, 55 secs
lola: 197616 markings, 220737 edges, 3035 markings/sec, 60 secs
lola: 212922 markings, 237867 edges, 3061 markings/sec, 65 secs
lola: 227952 markings, 254628 edges, 3006 markings/sec, 70 secs
lola: 243734 markings, 272209 edges, 3156 markings/sec, 75 secs
lola: 258941 markings, 289209 edges, 3041 markings/sec, 80 secs
lola: 274013 markings, 305955 edges, 3014 markings/sec, 85 secs
lola: 290127 markings, 323999 edges, 3223 markings/sec, 90 secs
lola: 306191 markings, 341853 edges, 3213 markings/sec, 95 secs
lola: 322383 markings, 359977 edges, 3238 markings/sec, 100 secs
lola: 338484 markings, 377875 edges, 3220 markings/sec, 105 secs
lola: 354643 markings, 395960 edges, 3232 markings/sec, 110 secs
lola: 370226 markings, 413289 edges, 3117 markings/sec, 115 secs
lola: 386351 markings, 431302 edges, 3225 markings/sec, 120 secs
lola: 402303 markings, 449073 edges, 3190 markings/sec, 125 secs
lola: 418494 markings, 467152 edges, 3238 markings/sec, 130 secs
lola: 433983 markings, 484420 edges, 3098 markings/sec, 135 secs
lola: 450194 markings, 502490 edges, 3242 markings/sec, 140 secs
lola: 466154 markings, 520311 edges, 3192 markings/sec, 145 secs
lola: 482212 markings, 538199 edges, 3212 markings/sec, 150 secs
lola: 498183 markings, 556045 edges, 3194 markings/sec, 155 secs
lola: 514271 markings, 573968 edges, 3218 markings/sec, 160 secs
lola: 530287 markings, 591860 edges, 3203 markings/sec, 165 secs
lola: 546424 markings, 609836 edges, 3227 markings/sec, 170 secs
lola: 562504 markings, 627794 edges, 3216 markings/sec, 175 secs
lola: 578454 markings, 645573 edges, 3190 markings/sec, 180 secs
lola: 594369 markings, 663352 edges, 3183 markings/sec, 185 secs
lola: 610071 markings, 680848 edges, 3140 markings/sec, 190 secs
lola: 625807 markings, 698441 edges, 3147 markings/sec, 195 secs
lola: 641327 markings, 715703 edges, 3104 markings/sec, 200 secs
lola: 656892 markings, 733115 edges, 3113 markings/sec, 205 secs
lola: 672450 markings, 750411 edges, 3112 markings/sec, 210 secs
lola: 688090 markings, 767895 edges, 3128 markings/sec, 215 secs
lola: 703541 markings, 785105 edges, 3090 markings/sec, 220 secs
lola: 719027 markings, 802371 edges, 3097 markings/sec, 225 secs
lola: 734456 markings, 819616 edges, 3086 markings/sec, 230 secs
lola: 749638 markings, 836523 edges, 3036 markings/sec, 235 secs
lola: 764821 markings, 853508 edges, 3037 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p18398)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3224 bytes per marking, with 24 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: 11968 markings, 14411 edges, 2394 markings/sec, 0 secs
lola: 23203 markings, 28243 edges, 2247 markings/sec, 5 secs
lola: 34560 markings, 42384 edges, 2271 markings/sec, 10 secs
lola: 45827 markings, 56238 edges, 2253 markings/sec, 15 secs
lola: 57077 markings, 70089 edges, 2250 markings/sec, 20 secs
lola: 68548 markings, 84374 edges, 2294 markings/sec, 25 secs
lola: 79587 markings, 97973 edges, 2208 markings/sec, 30 secs
lola: 90933 markings, 111957 edges, 2269 markings/sec, 35 secs
lola: 102071 markings, 125811 edges, 2228 markings/sec, 40 secs
lola: 113084 markings, 139379 edges, 2203 markings/sec, 45 secs
lola: 124361 markings, 153326 edges, 2255 markings/sec, 50 secs
lola: 135563 markings, 167189 edges, 2240 markings/sec, 55 secs
lola: 146651 markings, 180820 edges, 2218 markings/sec, 60 secs
lola: 157739 markings, 194616 edges, 2218 markings/sec, 65 secs
lola: 168554 markings, 207978 edges, 2163 markings/sec, 70 secs
lola: 179448 markings, 221352 edges, 2179 markings/sec, 75 secs
lola: 190739 markings, 235511 edges, 2258 markings/sec, 80 secs
lola: 202049 markings, 250034 edges, 2262 markings/sec, 85 secs
lola: 213554 markings, 265150 edges, 2301 markings/sec, 90 secs
lola: 224147 markings, 278212 edges, 2119 markings/sec, 95 secs
lola: 235019 markings, 291731 edges, 2174 markings/sec, 100 secs
lola: 245589 markings, 304759 edges, 2114 markings/sec, 105 secs
lola: 256085 markings, 317714 edges, 2099 markings/sec, 110 secs
lola: 266565 markings, 330644 edges, 2096 markings/sec, 115 secs
lola: 277170 markings, 343846 edges, 2121 markings/sec, 120 secs
lola: 287162 markings, 356149 edges, 1998 markings/sec, 125 secs
lola: 296482 markings, 367644 edges, 1864 markings/sec, 130 secs
lola: 305491 markings, 378775 edges, 1802 markings/sec, 135 secs
lola: 314671 markings, 390097 edges, 1836 markings/sec, 140 secs
lola: 323937 markings, 401527 edges, 1853 markings/sec, 145 secs
lola: 332945 markings, 412661 edges, 1802 markings/sec, 150 secs
lola: 342274 markings, 424307 edges, 1866 markings/sec, 155 secs
lola: 351513 markings, 435696 edges, 1848 markings/sec, 160 secs
lola: 360681 markings, 447005 edges, 1834 markings/sec, 165 secs
lola: 369906 markings, 458399 edges, 1845 markings/sec, 170 secs
lola: 378997 markings, 469638 edges, 1818 markings/sec, 175 secs
lola: 388077 markings, 480831 edges, 1816 markings/sec, 180 secs
lola: 397094 markings, 491977 edges, 1803 markings/sec, 185 secs
lola: 406261 markings, 503274 edges, 1833 markings/sec, 190 secs
lola: 415375 markings, 514562 edges, 1823 markings/sec, 195 secs
lola: 424554 markings, 526005 edges, 1836 markings/sec, 200 secs
lola: 433335 markings, 536881 edges, 1756 markings/sec, 205 secs
lola: 442251 markings, 547859 edges, 1783 markings/sec, 210 secs
lola: 451321 markings, 559040 edges, 1814 markings/sec, 215 secs
lola: 460170 markings, 569977 edges, 1770 markings/sec, 220 secs
lola: 469127 markings, 581034 edges, 1791 markings/sec, 225 secs
lola: 477212 markings, 591045 edges, 1617 markings/sec, 230 secs
lola: 485386 markings, 601133 edges, 1635 markings/sec, 235 secs
lola: 493616 markings, 611305 edges, 1646 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p16070)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3224 bytes per marking, with 24 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: 14290 markings, 15899 edges, 2858 markings/sec, 0 secs
lola: 26145 markings, 29230 edges, 2371 markings/sec, 5 secs
lola: 38069 markings, 42677 edges, 2385 markings/sec, 10 secs
lola: 50527 markings, 56740 edges, 2492 markings/sec, 15 secs
lola: 63021 markings, 70854 edges, 2499 markings/sec, 20 secs
lola: 76924 markings, 86484 edges, 2781 markings/sec, 25 secs
lola: 92926 markings, 104491 edges, 3200 markings/sec, 30 secs
lola: 109096 markings, 122699 edges, 3234 markings/sec, 35 secs
lola: 125368 markings, 140971 edges, 3254 markings/sec, 40 secs
lola: 139050 markings, 156340 edges, 2736 markings/sec, 45 secs
lola: 153235 markings, 172278 edges, 2837 markings/sec, 50 secs
lola: 166155 markings, 186791 edges, 2584 markings/sec, 55 secs
lola: 179689 markings, 202000 edges, 2707 markings/sec, 60 secs
lola: 193637 markings, 217684 edges, 2790 markings/sec, 65 secs
lola: 205613 markings, 231136 edges, 2395 markings/sec, 70 secs
lola: 219769 markings, 247053 edges, 2831 markings/sec, 75 secs
lola: 232178 markings, 260985 edges, 2482 markings/sec, 80 secs
lola: 246397 markings, 276968 edges, 2844 markings/sec, 85 secs
lola: 260525 markings, 292840 edges, 2826 markings/sec, 90 secs
lola: 274631 markings, 308690 edges, 2821 markings/sec, 95 secs
lola: 287589 markings, 323255 edges, 2592 markings/sec, 100 secs
lola: 299556 markings, 336676 edges, 2393 markings/sec, 105 secs
lola: 312279 markings, 350977 edges, 2545 markings/sec, 110 secs
lola: 326575 markings, 367054 edges, 2859 markings/sec, 115 secs
lola: 341130 markings, 383443 edges, 2911 markings/sec, 120 secs
lola: 355715 markings, 399824 edges, 2917 markings/sec, 125 secs
lola: 367897 markings, 413517 edges, 2436 markings/sec, 130 secs
lola: 377512 markings, 424318 edges, 1923 markings/sec, 135 secs
lola: 387234 markings, 435243 edges, 1944 markings/sec, 140 secs
lola: 395811 markings, 444878 edges, 1715 markings/sec, 145 secs
lola: 409050 markings, 459692 edges, 2648 markings/sec, 150 secs
lola: 423352 markings, 475731 edges, 2860 markings/sec, 155 secs
lola: 437858 markings, 492022 edges, 2901 markings/sec, 160 secs
lola: 452584 markings, 508587 edges, 2945 markings/sec, 165 secs
lola: 465840 markings, 523485 edges, 2651 markings/sec, 170 secs
lola: 478505 markings, 537712 edges, 2533 markings/sec, 175 secs
lola: 488384 markings, 548814 edges, 1976 markings/sec, 180 secs
lola: 497993 markings, 559607 edges, 1922 markings/sec, 185 secs
lola: 506561 markings, 569235 edges, 1714 markings/sec, 190 secs
lola: 520325 markings, 584683 edges, 2753 markings/sec, 195 secs
lola: 531167 markings, 596867 edges, 2168 markings/sec, 200 secs
lola: 540665 markings, 607510 edges, 1900 markings/sec, 205 secs
lola: 550227 markings, 618256 edges, 1912 markings/sec, 210 secs
lola: 559864 markings, 629080 edges, 1927 markings/sec, 215 secs
lola: 568892 markings, 639223 edges, 1806 markings/sec, 220 secs
lola: 578031 markings, 649454 edges, 1828 markings/sec, 225 secs
lola: 588357 markings, 661081 edges, 2065 markings/sec, 230 secs
lola: 598698 markings, 672698 edges, 2068 markings/sec, 235 secs
lola: 608942 markings, 684210 edges, 2049 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p10494)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3224 bytes per marking, with 24 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: 2551 markings, 3237 edges, 510 markings/sec, 0 secs
lola: 4868 markings, 6286 edges, 463 markings/sec, 5 secs
lola: 7150 markings, 9342 edges, 456 markings/sec, 10 secs
lola: 9426 markings, 12376 edges, 455 markings/sec, 15 secs
lola: 11711 markings, 15418 edges, 457 markings/sec, 20 secs
lola: 14040 markings, 18502 edges, 466 markings/sec, 25 secs
lola: 16232 markings, 21111 edges, 438 markings/sec, 30 secs
lola: 18149 markings, 23218 edges, 383 markings/sec, 35 secs
lola: 20236 markings, 25583 edges, 417 markings/sec, 40 secs
lola: 22358 markings, 27982 edges, 424 markings/sec, 45 secs
lola: 26095 markings, 32039 edges, 747 markings/sec, 50 secs
lola: 31622 markings, 38050 edges, 1105 markings/sec, 55 secs
lola: 36988 markings, 43880 edges, 1073 markings/sec, 60 secs
lola: 42500 markings, 49859 edges, 1102 markings/sec, 65 secs
lola: 47274 markings, 55054 edges, 955 markings/sec, 70 secs
lola: 52838 markings, 61086 edges, 1113 markings/sec, 75 secs
lola: 57648 markings, 66298 edges, 962 markings/sec, 80 secs
lola: 62582 markings, 71660 edges, 987 markings/sec, 85 secs
lola: 67255 markings, 76748 edges, 935 markings/sec, 90 secs
lola: 72479 markings, 82452 edges, 1045 markings/sec, 95 secs
lola: 77328 markings, 87727 edges, 970 markings/sec, 100 secs
lola: 82914 markings, 93778 edges, 1117 markings/sec, 105 secs
lola: 87071 markings, 98282 edges, 831 markings/sec, 110 secs
lola: 91448 markings, 103043 edges, 875 markings/sec, 115 secs
lola: 97016 markings, 109087 edges, 1114 markings/sec, 120 secs
lola: 102217 markings, 114738 edges, 1040 markings/sec, 125 secs
lola: 107852 markings, 120858 edges, 1127 markings/sec, 130 secs
lola: 112812 markings, 126253 edges, 992 markings/sec, 135 secs
lola: 117890 markings, 131753 edges, 1016 markings/sec, 140 secs
lola: 122583 markings, 136843 edges, 939 markings/sec, 145 secs
lola: 127464 markings, 142146 edges, 976 markings/sec, 150 secs
lola: 132319 markings, 147448 edges, 971 markings/sec, 155 secs
lola: 137429 markings, 153015 edges, 1022 markings/sec, 160 secs
lola: 142075 markings, 158066 edges, 929 markings/sec, 165 secs
lola: 147287 markings, 163715 edges, 1042 markings/sec, 170 secs
lola: 152919 markings, 169815 edges, 1126 markings/sec, 175 secs
lola: 157043 markings, 174284 edges, 825 markings/sec, 180 secs
lola: 161165 markings, 178770 edges, 824 markings/sec, 185 secs
lola: 166875 markings, 184967 edges, 1142 markings/sec, 190 secs
lola: 172090 markings, 190633 edges, 1043 markings/sec, 195 secs
lola: 177537 markings, 196547 edges, 1089 markings/sec, 200 secs
lola: 182520 markings, 201963 edges, 997 markings/sec, 205 secs
lola: 187910 markings, 207806 edges, 1078 markings/sec, 210 secs
lola: 192713 markings, 213014 edges, 961 markings/sec, 215 secs
lola: 197679 markings, 218409 edges, 993 markings/sec, 220 secs
lola: 202665 markings, 223856 edges, 997 markings/sec, 225 secs
lola: 208563 markings, 230258 edges, 1180 markings/sec, 230 secs
lola: 212740 markings, 234786 edges, 835 markings/sec, 235 secs
lola: 216926 markings, 239339 edges, 837 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p19468)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3224 bytes per marking, with 24 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: 12085 markings, 13964 edges, 2417 markings/sec, 0 secs
lola: 25391 markings, 29691 edges, 2661 markings/sec, 5 secs
lola: 38679 markings, 45382 edges, 2658 markings/sec, 10 secs
lola: 52291 markings, 61475 edges, 2722 markings/sec, 15 secs
lola: 65830 markings, 77479 edges, 2708 markings/sec, 20 secs
lola: 79518 markings, 93662 edges, 2738 markings/sec, 25 secs
lola: 93033 markings, 109637 edges, 2703 markings/sec, 30 secs
lola: 106620 markings, 125699 edges, 2717 markings/sec, 35 secs
lola: 120323 markings, 141904 edges, 2741 markings/sec, 40 secs
lola: 133462 markings, 157405 edges, 2628 markings/sec, 45 secs
lola: 146775 markings, 173123 edges, 2663 markings/sec, 50 secs
lola: 160222 markings, 189009 edges, 2689 markings/sec, 55 secs
lola: 173560 markings, 204759 edges, 2668 markings/sec, 60 secs
lola: 187121 markings, 220803 edges, 2712 markings/sec, 65 secs
lola: 200326 markings, 236381 edges, 2641 markings/sec, 70 secs
lola: 213738 markings, 252236 edges, 2682 markings/sec, 75 secs
lola: 225688 markings, 266374 edges, 2390 markings/sec, 80 secs
lola: 238650 markings, 281702 edges, 2592 markings/sec, 85 secs
lola: 251725 markings, 297152 edges, 2615 markings/sec, 90 secs
lola: 264881 markings, 312684 edges, 2631 markings/sec, 95 secs
lola: 278147 markings, 328368 edges, 2653 markings/sec, 100 secs
lola: 291745 markings, 344441 edges, 2720 markings/sec, 105 secs
lola: 304006 markings, 358937 edges, 2452 markings/sec, 110 secs
lola: 317428 markings, 374785 edges, 2684 markings/sec, 115 secs
lola: 330472 markings, 390198 edges, 2609 markings/sec, 120 secs
lola: 343911 markings, 406075 edges, 2688 markings/sec, 125 secs
lola: 356628 markings, 421093 edges, 2543 markings/sec, 130 secs
lola: 369906 markings, 436791 edges, 2656 markings/sec, 135 secs
lola: 381452 markings, 450384 edges, 2309 markings/sec, 140 secs
lola: 392314 markings, 463185 edges, 2172 markings/sec, 145 secs
lola: 403034 markings, 475824 edges, 2144 markings/sec, 150 secs
lola: 413934 markings, 488703 edges, 2180 markings/sec, 155 secs
lola: 424996 markings, 501763 edges, 2212 markings/sec, 160 secs
lola: 436194 markings, 514976 edges, 2240 markings/sec, 165 secs
lola: 447335 markings, 528128 edges, 2228 markings/sec, 170 secs
lola: 458506 markings, 541343 edges, 2234 markings/sec, 175 secs
lola: 469754 markings, 554617 edges, 2250 markings/sec, 180 secs
lola: 480981 markings, 567880 edges, 2245 markings/sec, 185 secs
lola: 492119 markings, 581022 edges, 2228 markings/sec, 190 secs
lola: 503316 markings, 594251 edges, 2239 markings/sec, 195 secs
lola: 514442 markings, 607382 edges, 2225 markings/sec, 200 secs
lola: 525563 markings, 620506 edges, 2224 markings/sec, 205 secs
lola: 536579 markings, 633503 edges, 2203 markings/sec, 210 secs
lola: 547908 markings, 646892 edges, 2266 markings/sec, 215 secs
lola: 558865 markings, 659800 edges, 2191 markings/sec, 220 secs
lola: 570033 markings, 672992 edges, 2234 markings/sec, 225 secs
lola: 581159 markings, 686128 edges, 2225 markings/sec, 230 secs
lola: 592343 markings, 699326 edges, 2237 markings/sec, 235 secs
lola: 603519 markings, 712511 edges, 2235 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1353)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3224 bytes per marking, with 24 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: 13734 markings, 15375 edges, 2747 markings/sec, 0 secs
lola: 23865 markings, 26867 edges, 2026 markings/sec, 5 secs
lola: 33970 markings, 38332 edges, 2021 markings/sec, 10 secs
lola: 44130 markings, 49858 edges, 2032 markings/sec, 15 secs
lola: 54341 markings, 61435 edges, 2042 markings/sec, 20 secs
lola: 64459 markings, 72914 edges, 2024 markings/sec, 25 secs
lola: 74538 markings, 84347 edges, 2016 markings/sec, 30 secs
lola: 84594 markings, 95756 edges, 2011 markings/sec, 35 secs
lola: 94473 markings, 106969 edges, 1976 markings/sec, 40 secs
lola: 103757 markings, 117421 edges, 1857 markings/sec, 45 secs
lola: 115095 markings, 130200 edges, 2268 markings/sec, 50 secs
lola: 126985 markings, 143726 edges, 2378 markings/sec, 55 secs
lola: 138040 markings, 156235 edges, 2211 markings/sec, 60 secs
lola: 148877 markings, 168459 edges, 2167 markings/sec, 65 secs
lola: 161465 markings, 182677 edges, 2518 markings/sec, 70 secs
lola: 174259 markings, 197194 edges, 2559 markings/sec, 75 secs
lola: 186338 markings, 210901 edges, 2416 markings/sec, 80 secs
lola: 198394 markings, 224528 edges, 2411 markings/sec, 85 secs
lola: 211192 markings, 239086 edges, 2560 markings/sec, 90 secs
lola: 223787 markings, 253397 edges, 2519 markings/sec, 95 secs
lola: 236555 markings, 267807 edges, 2554 markings/sec, 100 secs
lola: 248667 markings, 281473 edges, 2422 markings/sec, 105 secs
lola: 260668 markings, 295053 edges, 2400 markings/sec, 110 secs
lola: 272519 markings, 308457 edges, 2370 markings/sec, 115 secs
lola: 284471 markings, 321969 edges, 2390 markings/sec, 120 secs
lola: 296074 markings, 335105 edges, 2321 markings/sec, 125 secs
lola: 307866 markings, 348443 edges, 2358 markings/sec, 130 secs
lola: 319801 markings, 361934 edges, 2387 markings/sec, 135 secs
lola: 331617 markings, 375289 edges, 2363 markings/sec, 140 secs
lola: 342711 markings, 387856 edges, 2219 markings/sec, 145 secs
lola: 354094 markings, 400717 edges, 2277 markings/sec, 150 secs
lola: 365643 markings, 413777 edges, 2310 markings/sec, 155 secs
lola: 377261 markings, 426924 edges, 2324 markings/sec, 160 secs
lola: 388750 markings, 439927 edges, 2298 markings/sec, 165 secs
lola: 400080 markings, 452742 edges, 2266 markings/sec, 170 secs
lola: 411897 markings, 466153 edges, 2363 markings/sec, 175 secs
lola: 424155 markings, 479976 edges, 2452 markings/sec, 180 secs
lola: 435795 markings, 493182 edges, 2328 markings/sec, 185 secs
lola: 447321 markings, 506237 edges, 2305 markings/sec, 190 secs
lola: 459570 markings, 520161 edges, 2450 markings/sec, 195 secs
lola: 471585 markings, 533826 edges, 2403 markings/sec, 200 secs
lola: 483116 markings, 546881 edges, 2306 markings/sec, 205 secs
lola: 494520 markings, 559789 edges, 2281 markings/sec, 210 secs
lola: 506293 markings, 573081 edges, 2355 markings/sec, 215 secs
lola: 518030 markings, 586404 edges, 2347 markings/sec, 220 secs
lola: 529692 markings, 599606 edges, 2332 markings/sec, 225 secs
lola: 541358 markings, 612819 edges, 2333 markings/sec, 230 secs
lola: 552751 markings, 625736 edges, 2279 markings/sec, 235 secs
lola: 564567 markings, 639114 edges, 2363 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p11647)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3224 bytes per marking, with 24 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: 11666 markings, 13047 edges, 2333 markings/sec, 0 secs
lola: 21664 markings, 24604 edges, 2000 markings/sec, 5 secs
lola: 34944 markings, 40481 edges, 2656 markings/sec, 10 secs
lola: 47818 markings, 56085 edges, 2575 markings/sec, 15 secs
lola: 61071 markings, 72019 edges, 2651 markings/sec, 20 secs
lola: 74404 markings, 88067 edges, 2667 markings/sec, 25 secs
lola: 87071 markings, 103187 edges, 2533 markings/sec, 30 secs
lola: 100318 markings, 119200 edges, 2649 markings/sec, 35 secs
lola: 113031 markings, 134574 edges, 2543 markings/sec, 40 secs
lola: 126309 markings, 150499 edges, 2656 markings/sec, 45 secs
lola: 139562 markings, 166453 edges, 2651 markings/sec, 50 secs
lola: 152320 markings, 181880 edges, 2552 markings/sec, 55 secs
lola: 165639 markings, 197904 edges, 2664 markings/sec, 60 secs
lola: 178916 markings, 213852 edges, 2655 markings/sec, 65 secs
lola: 191645 markings, 229122 edges, 2546 markings/sec, 70 secs
lola: 204737 markings, 244952 edges, 2618 markings/sec, 75 secs
lola: 217503 markings, 260316 edges, 2553 markings/sec, 80 secs
lola: 230740 markings, 276227 edges, 2647 markings/sec, 85 secs
lola: 243687 markings, 291767 edges, 2589 markings/sec, 90 secs
lola: 256261 markings, 307025 edges, 2515 markings/sec, 95 secs
lola: 269311 markings, 322671 edges, 2610 markings/sec, 100 secs
lola: 282519 markings, 338587 edges, 2642 markings/sec, 105 secs
lola: 295051 markings, 353576 edges, 2506 markings/sec, 110 secs
lola: 307770 markings, 368990 edges, 2544 markings/sec, 115 secs
lola: 320515 markings, 384331 edges, 2549 markings/sec, 120 secs
lola: 333683 markings, 400165 edges, 2634 markings/sec, 125 secs
lola: 346684 markings, 415764 edges, 2600 markings/sec, 130 secs
lola: 359254 markings, 431019 edges, 2514 markings/sec, 135 secs
lola: 372273 markings, 446631 edges, 2604 markings/sec, 140 secs
lola: 385194 markings, 462161 edges, 2584 markings/sec, 145 secs
lola: 397698 markings, 477183 edges, 2501 markings/sec, 150 secs
lola: 410680 markings, 492889 edges, 2596 markings/sec, 155 secs
lola: 423271 markings, 508065 edges, 2518 markings/sec, 160 secs
lola: 436397 markings, 523791 edges, 2625 markings/sec, 165 secs
lola: 449459 markings, 539519 edges, 2612 markings/sec, 170 secs
lola: 462008 markings, 554730 edges, 2510 markings/sec, 175 secs
lola: 475108 markings, 570429 edges, 2620 markings/sec, 180 secs
lola: 488227 markings, 586200 edges, 2624 markings/sec, 185 secs
lola: 500823 markings, 601325 edges, 2519 markings/sec, 190 secs
lola: 513759 markings, 616980 edges, 2587 markings/sec, 195 secs
lola: 526327 markings, 632127 edges, 2514 markings/sec, 200 secs
lola: 539471 markings, 647875 edges, 2629 markings/sec, 205 secs
lola: 552545 markings, 663616 edges, 2615 markings/sec, 210 secs
lola: 565077 markings, 678817 edges, 2506 markings/sec, 215 secs
lola: 578295 markings, 694659 edges, 2644 markings/sec, 220 secs
lola: 591547 markings, 710619 edges, 2650 markings/sec, 225 secs
lola: 604123 markings, 725660 edges, 2515 markings/sec, 230 secs
lola: 616885 markings, 741123 edges, 2552 markings/sec, 235 secs
lola: 630043 markings, 757000 edges, 2632 markings/sec, 240 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA DLCshifumi-PT-5b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5b-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-5b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494650558140

--------------------
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="DLCshifumi-PT-5b"
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/DLCshifumi-PT-5b.tgz
mv DLCshifumi-PT-5b execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is DLCshifumi-PT-5b, 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 r018-ebro-149436309400506"
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 ;