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 S_PolyORBNT-COL-S05J30, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r138-smll-149479231500011
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496268694791


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBNT-COL-S05J30: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBNT-COL-S05J30: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PolyORBNT-COL-S05J30 @ 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: 1949/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: finding significant places
lola: 519 places, 1430 transitions, 437 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 948 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S05J30-UpperBounds.task
lola: MAX(p376) : MAX(p410) : MAX(p77) : MAX(p419) : MAX(p455 + p454 + p453 + p452 + p451 + p450 + p449 + p448 + p447 + p446 + p445 + p444 + p443 + p442 + p441 + p440 + p439 + p438 + p437 + p436 + p435 + p434 + p433 + p432 + p431 + p430 + p429 + p428 + p427 + p426 + p425) : MAX(p410) : MAX(p70 + p71 + p72 + p73 + p74) : MAX(p0) : MAX(p0) : MAX(p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409) : MAX(p456) : MAX(p75) : MAX(p303) : MAX(p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409) : MAX(p81) : MAX(p69)
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(p376)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 96006 markings, 141756 edges, 19201 markings/sec, 0 secs
lola: 190300 markings, 285528 edges, 18859 markings/sec, 5 secs
lola: 282644 markings, 427522 edges, 18469 markings/sec, 10 secs
lola: 377094 markings, 571350 edges, 18890 markings/sec, 15 secs
lola: 470876 markings, 714277 edges, 18756 markings/sec, 20 secs
lola: 561869 markings, 857563 edges, 18199 markings/sec, 25 secs
lola: 656750 markings, 1002803 edges, 18976 markings/sec, 30 secs
lola: 751577 markings, 1148791 edges, 18965 markings/sec, 35 secs
lola: 844250 markings, 1292587 edges, 18535 markings/sec, 40 secs
lola: 937160 markings, 1438614 edges, 18582 markings/sec, 45 secs
lola: 1029892 markings, 1585970 edges, 18546 markings/sec, 50 secs
lola: 1120827 markings, 1731792 edges, 18187 markings/sec, 55 secs
lola: 1213541 markings, 1879743 edges, 18543 markings/sec, 60 secs
lola: 1305368 markings, 2028963 edges, 18365 markings/sec, 65 secs
lola: 1398537 markings, 2179165 edges, 18634 markings/sec, 70 secs
lola: 1489792 markings, 2330416 edges, 18251 markings/sec, 75 secs
lola: 1582245 markings, 2483429 edges, 18491 markings/sec, 80 secs
lola: 1673789 markings, 2639066 edges, 18309 markings/sec, 85 secs
lola: 1764612 markings, 2798160 edges, 18165 markings/sec, 90 secs
lola: 1855605 markings, 2962764 edges, 18199 markings/sec, 95 secs
lola: 1944434 markings, 3136667 edges, 17766 markings/sec, 100 secs
lola: 2033908 markings, 3332107 edges, 17895 markings/sec, 105 secs
lola: 2148508 markings, 3483544 edges, 22920 markings/sec, 110 secs
lola: 2245559 markings, 3628183 edges, 19410 markings/sec, 115 secs
lola: 2354424 markings, 3776067 edges, 21773 markings/sec, 120 secs
lola: 2458905 markings, 3922376 edges, 20896 markings/sec, 125 secs
lola: 2559805 markings, 4069669 edges, 20180 markings/sec, 130 secs
lola: 2670934 markings, 4216052 edges, 22226 markings/sec, 135 secs
lola: 2764602 markings, 4357265 edges, 18734 markings/sec, 140 secs
lola: 2870398 markings, 4499928 edges, 21159 markings/sec, 145 secs
lola: 2965450 markings, 4637497 edges, 19010 markings/sec, 150 secs
lola: 3064127 markings, 4777358 edges, 19735 markings/sec, 155 secs
lola: 3167241 markings, 4917104 edges, 20623 markings/sec, 160 secs
lola: 3260491 markings, 5056907 edges, 18650 markings/sec, 165 secs
lola: 3365906 markings, 5200879 edges, 21083 markings/sec, 170 secs
lola: 3464788 markings, 5340900 edges, 19776 markings/sec, 175 secs
lola: 3560024 markings, 5482216 edges, 19047 markings/sec, 180 secs
lola: 3666591 markings, 5626327 edges, 21313 markings/sec, 185 secs
lola: 3763920 markings, 5766058 edges, 19466 markings/sec, 190 secs
lola: 3859543 markings, 5907287 edges, 19125 markings/sec, 195 secs
lola: 3964924 markings, 6050906 edges, 21076 markings/sec, 200 secs
lola: 4063897 markings, 6191520 edges, 19795 markings/sec, 205 secs
lola: 4158676 markings, 6333832 edges, 18956 markings/sec, 210 secs
lola: 4259334 markings, 6477261 edges, 20132 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(p410)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 119694 markings, 269999 edges, 23939 markings/sec, 0 secs
lola: 236291 markings, 528018 edges, 23319 markings/sec, 5 secs
lola: 350741 markings, 772377 edges, 22890 markings/sec, 10 secs
lola: 476250 markings, 1002704 edges, 25102 markings/sec, 15 secs
lola: 586694 markings, 1216272 edges, 22089 markings/sec, 20 secs
lola: 701420 markings, 1460022 edges, 22945 markings/sec, 25 secs
lola: 821685 markings, 1693914 edges, 24053 markings/sec, 30 secs
lola: 937266 markings, 1902900 edges, 23116 markings/sec, 35 secs
lola: 1051456 markings, 2145116 edges, 22838 markings/sec, 40 secs
lola: 1167668 markings, 2383111 edges, 23242 markings/sec, 45 secs
lola: 1291672 markings, 2606629 edges, 24801 markings/sec, 50 secs
lola: 1399687 markings, 2805863 edges, 21603 markings/sec, 55 secs
lola: 1526079 markings, 3034250 edges, 25278 markings/sec, 60 secs
lola: 1638256 markings, 3240205 edges, 22435 markings/sec, 65 secs
lola: 1763224 markings, 3467372 edges, 24994 markings/sec, 70 secs
lola: 1876217 markings, 3674066 edges, 22599 markings/sec, 75 secs
lola: 1998486 markings, 3897222 edges, 24454 markings/sec, 80 secs
lola: 2111218 markings, 4102768 edges, 22546 markings/sec, 85 secs
lola: 2233292 markings, 4326178 edges, 24415 markings/sec, 90 secs
lola: 2349539 markings, 4536783 edges, 23249 markings/sec, 95 secs
lola: 2469453 markings, 4757817 edges, 23983 markings/sec, 100 secs
lola: 2588550 markings, 4973463 edges, 23819 markings/sec, 105 secs
lola: 2705017 markings, 5188299 edges, 23293 markings/sec, 110 secs
lola: 2825994 markings, 5407686 edges, 24195 markings/sec, 115 secs
lola: 2939898 markings, 5617529 edges, 22781 markings/sec, 120 secs
lola: 3058695 markings, 5832734 edges, 23759 markings/sec, 125 secs
lola: 3176555 markings, 6049981 edges, 23572 markings/sec, 130 secs
lola: 3291324 markings, 6259487 edges, 22954 markings/sec, 135 secs
lola: 3412001 markings, 6480366 edges, 24135 markings/sec, 140 secs
lola: 3525721 markings, 6688180 edges, 22744 markings/sec, 145 secs
lola: 3644472 markings, 6905331 edges, 23750 markings/sec, 150 secs
lola: 3758209 markings, 7114101 edges, 22747 markings/sec, 155 secs
lola: 3880784 markings, 7337476 edges, 24515 markings/sec, 160 secs
lola: 3992245 markings, 7543499 edges, 22292 markings/sec, 165 secs
lola: 4114938 markings, 7766082 edges, 24539 markings/sec, 170 secs
lola: 4226461 markings, 7972834 edges, 22305 markings/sec, 175 secs
lola: 4341978 markings, 8183960 edges, 23103 markings/sec, 180 secs
lola: 4463012 markings, 8405325 edges, 24207 markings/sec, 185 secs
lola: 4575521 markings, 8612701 edges, 22502 markings/sec, 190 secs
lola: 4697144 markings, 8834120 edges, 24325 markings/sec, 195 secs
lola: 4809410 markings, 9042118 edges, 22453 markings/sec, 200 secs
lola: 4924205 markings, 9252735 edges, 22959 markings/sec, 205 secs
lola: 5043083 markings, 9469831 edges, 23776 markings/sec, 210 secs
lola: 5155450 markings, 9678458 edges, 22473 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(p77)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 105710 markings, 203944 edges, 21142 markings/sec, 0 secs
lola: 209569 markings, 390549 edges, 20772 markings/sec, 5 secs
lola: 308354 markings, 550575 edges, 19757 markings/sec, 10 secs
lola: 410654 markings, 747135 edges, 20460 markings/sec, 15 secs
lola: 511993 markings, 931189 edges, 20268 markings/sec, 20 secs
lola: 611407 markings, 1091007 edges, 19883 markings/sec, 25 secs
lola: 715874 markings, 1289251 edges, 20893 markings/sec, 30 secs
lola: 821936 markings, 1480869 edges, 21212 markings/sec, 35 secs
lola: 921596 markings, 1641885 edges, 19932 markings/sec, 40 secs
lola: 1019774 markings, 1802236 edges, 19636 markings/sec, 45 secs
lola: 1117396 markings, 1962731 edges, 19524 markings/sec, 50 secs
lola: 1218004 markings, 2124073 edges, 20122 markings/sec, 55 secs
lola: 1316288 markings, 2285883 edges, 19657 markings/sec, 60 secs
lola: 1417318 markings, 2447649 edges, 20206 markings/sec, 65 secs
lola: 1517197 markings, 2612400 edges, 19976 markings/sec, 70 secs
lola: 1623709 markings, 2782633 edges, 21302 markings/sec, 75 secs
lola: 1722086 markings, 2947264 edges, 19675 markings/sec, 80 secs
lola: 1828043 markings, 3116467 edges, 21191 markings/sec, 85 secs
lola: 1924254 markings, 3275001 edges, 19242 markings/sec, 90 secs
lola: 2025980 markings, 3442055 edges, 20345 markings/sec, 95 secs
lola: 2129164 markings, 3607369 edges, 20637 markings/sec, 100 secs
lola: 2223500 markings, 3764509 edges, 18867 markings/sec, 105 secs
lola: 2326427 markings, 3929456 edges, 20585 markings/sec, 110 secs
lola: 2424590 markings, 4091554 edges, 19633 markings/sec, 115 secs
lola: 2525621 markings, 4257782 edges, 20206 markings/sec, 120 secs
lola: 2631351 markings, 4427387 edges, 21146 markings/sec, 125 secs
lola: 2730723 markings, 4592507 edges, 19874 markings/sec, 130 secs
lola: 2830298 markings, 4756473 edges, 19915 markings/sec, 135 secs
lola: 2933500 markings, 4922036 edges, 20640 markings/sec, 140 secs
lola: 3031704 markings, 5085247 edges, 19641 markings/sec, 145 secs
lola: 3129694 markings, 5247328 edges, 19598 markings/sec, 150 secs
lola: 3229365 markings, 5409308 edges, 19934 markings/sec, 155 secs
lola: 3327117 markings, 5569004 edges, 19550 markings/sec, 160 secs
lola: 3421876 markings, 5727345 edges, 18952 markings/sec, 165 secs
lola: 3519212 markings, 5887302 edges, 19467 markings/sec, 170 secs
lola: 3620669 markings, 6052114 edges, 20291 markings/sec, 175 secs
lola: 3719540 markings, 6214396 edges, 19774 markings/sec, 180 secs
lola: 3819510 markings, 6380667 edges, 19994 markings/sec, 185 secs
lola: 3919641 markings, 6547225 edges, 20026 markings/sec, 190 secs
lola: 4020523 markings, 6713426 edges, 20176 markings/sec, 195 secs
lola: 4118873 markings, 6876140 edges, 19670 markings/sec, 200 secs
lola: 4217340 markings, 7038865 edges, 19693 markings/sec, 205 secs
lola: 4319932 markings, 7207267 edges, 20518 markings/sec, 210 secs
lola: 4422333 markings, 7376292 edges, 20480 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(p419)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 53727 markings, 136761 edges, 10745 markings/sec, 0 secs
lola: 109920 markings, 284848 edges, 11239 markings/sec, 5 secs
lola: 158879 markings, 426843 edges, 9792 markings/sec, 10 secs
lola: 216376 markings, 572307 edges, 11499 markings/sec, 15 secs
lola: 266246 markings, 717942 edges, 9974 markings/sec, 20 secs
lola: 317176 markings, 859864 edges, 10186 markings/sec, 25 secs
lola: 376570 markings, 1007513 edges, 11879 markings/sec, 30 secs
lola: 423272 markings, 1155034 edges, 9340 markings/sec, 35 secs
lola: 476936 markings, 1292057 edges, 10733 markings/sec, 40 secs
lola: 528564 markings, 1435550 edges, 10326 markings/sec, 45 secs
lola: 577733 markings, 1573788 edges, 9834 markings/sec, 50 secs
lola: 633536 markings, 1715387 edges, 11161 markings/sec, 55 secs
lola: 680484 markings, 1864456 edges, 9390 markings/sec, 60 secs
lola: 733988 markings, 2001074 edges, 10701 markings/sec, 65 secs
lola: 786074 markings, 2144373 edges, 10417 markings/sec, 70 secs
lola: 834929 markings, 2283546 edges, 9771 markings/sec, 75 secs
lola: 890272 markings, 2426027 edges, 11069 markings/sec, 80 secs
lola: 937538 markings, 2572341 edges, 9453 markings/sec, 85 secs
lola: 991520 markings, 2710548 edges, 10796 markings/sec, 90 secs
lola: 1039470 markings, 2852233 edges, 9590 markings/sec, 95 secs
lola: 1087850 markings, 2988277 edges, 9676 markings/sec, 100 secs
lola: 1139821 markings, 3124279 edges, 10394 markings/sec, 105 secs
lola: 1185373 markings, 3258318 edges, 9110 markings/sec, 110 secs
lola: 1238004 markings, 3394261 edges, 10526 markings/sec, 115 secs
lola: 1285848 markings, 3543416 edges, 9569 markings/sec, 120 secs
lola: 1337333 markings, 3676020 edges, 10297 markings/sec, 125 secs
lola: 1384230 markings, 3814755 edges, 9379 markings/sec, 130 secs
lola: 1433064 markings, 3950756 edges, 9767 markings/sec, 135 secs
lola: 1484970 markings, 4092630 edges, 10381 markings/sec, 140 secs
lola: 1533610 markings, 4237627 edges, 9728 markings/sec, 145 secs
lola: 1586699 markings, 4379396 edges, 10618 markings/sec, 150 secs
lola: 1634959 markings, 4524694 edges, 9652 markings/sec, 155 secs
lola: 1688384 markings, 4666033 edges, 10685 markings/sec, 160 secs
lola: 1736669 markings, 4807506 edges, 9657 markings/sec, 165 secs
lola: 1790060 markings, 4952749 edges, 10678 markings/sec, 170 secs
lola: 1837993 markings, 5095352 edges, 9587 markings/sec, 175 secs
lola: 1890451 markings, 5240060 edges, 10492 markings/sec, 180 secs
lola: 1938302 markings, 5382059 edges, 9570 markings/sec, 185 secs
lola: 1987830 markings, 5518180 edges, 9906 markings/sec, 190 secs
lola: 2035092 markings, 5656896 edges, 9452 markings/sec, 195 secs
lola: 2084247 markings, 5793366 edges, 9831 markings/sec, 200 secs
lola: 2131980 markings, 5932133 edges, 9547 markings/sec, 205 secs
lola: 2179666 markings, 6071104 edges, 9537 markings/sec, 210 secs
lola: 2229366 markings, 6207696 edges, 9940 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(p455 + p454 + p453 + p452 + p451 + p450 + p449 + p448 + p447 + p446 + p445 + p444 + p443 + p442 + p441 + p440 + p439 + p438 + p437 + p436 + p435 + p434 + p433 + p432 + p431 + p430 + p429 + p428 + p427 + p426 + p425)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 115674 markings, 170568 edges, 23135 markings/sec, 0 secs
lola: 223635 markings, 336765 edges, 21592 markings/sec, 5 secs
lola: 336112 markings, 511121 edges, 22495 markings/sec, 10 secs
lola: 450593 markings, 686123 edges, 22896 markings/sec, 15 secs
lola: 564832 markings, 862001 edges, 22848 markings/sec, 20 secs
lola: 680535 markings, 1040261 edges, 23141 markings/sec, 25 secs
lola: 797986 markings, 1220254 edges, 23490 markings/sec, 30 secs
lola: 908364 markings, 1397717 edges, 22076 markings/sec, 35 secs
lola: 1025318 markings, 1577839 edges, 23391 markings/sec, 40 secs
lola: 1136808 markings, 1757221 edges, 22298 markings/sec, 45 secs
lola: 1250589 markings, 1939306 edges, 22756 markings/sec, 50 secs
lola: 1365167 markings, 2124334 edges, 22916 markings/sec, 55 secs
lola: 1477820 markings, 2308983 edges, 22531 markings/sec, 60 secs
lola: 1590403 markings, 2497399 edges, 22517 markings/sec, 65 secs
lola: 1701548 markings, 2688454 edges, 22229 markings/sec, 70 secs
lola: 1813971 markings, 2885871 edges, 22485 markings/sec, 75 secs
lola: 1923417 markings, 3093312 edges, 21889 markings/sec, 80 secs
lola: 2031554 markings, 3328990 edges, 21627 markings/sec, 85 secs
lola: 2174472 markings, 3524441 edges, 28584 markings/sec, 90 secs
lola: 2315855 markings, 3716512 edges, 28277 markings/sec, 95 secs
lola: 2443210 markings, 3902919 edges, 25471 markings/sec, 100 secs
lola: 2573987 markings, 4090482 edges, 26155 markings/sec, 105 secs
lola: 2715028 markings, 4283994 edges, 28208 markings/sec, 110 secs
lola: 2856038 markings, 4476663 edges, 28202 markings/sec, 115 secs
lola: 2983913 markings, 4660594 edges, 25575 markings/sec, 120 secs
lola: 3111733 markings, 4847692 edges, 25564 markings/sec, 125 secs
lola: 3244998 markings, 5036359 edges, 26653 markings/sec, 130 secs
lola: 3382944 markings, 5228635 edges, 27589 markings/sec, 135 secs
lola: 3521482 markings, 5420418 edges, 27708 markings/sec, 140 secs
lola: 3657450 markings, 5611993 edges, 27194 markings/sec, 145 secs
lola: 3789166 markings, 5798329 edges, 26343 markings/sec, 150 secs
lola: 3920135 markings, 5986548 edges, 26194 markings/sec, 155 secs
lola: 4051411 markings, 6175693 edges, 26255 markings/sec, 160 secs
lola: 4183930 markings, 6365599 edges, 26504 markings/sec, 165 secs
lola: 4316479 markings, 6555453 edges, 26510 markings/sec, 170 secs
lola: 4449228 markings, 6745650 edges, 26550 markings/sec, 175 secs
lola: 4583118 markings, 6936431 edges, 26778 markings/sec, 180 secs
lola: 4716870 markings, 7127205 edges, 26750 markings/sec, 185 secs
lola: 4850846 markings, 7319132 edges, 26795 markings/sec, 190 secs
lola: 4981430 markings, 7510400 edges, 26117 markings/sec, 195 secs
lola: 5109968 markings, 7698683 edges, 25708 markings/sec, 200 secs
lola: 5239704 markings, 7889490 edges, 25947 markings/sec, 205 secs
lola: 5375647 markings, 8083736 edges, 27189 markings/sec, 210 secs
lola: 5509633 markings, 8279037 edges, 26797 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(p410)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 125796 markings, 283601 edges, 25159 markings/sec, 0 secs
lola: 247654 markings, 552136 edges, 24372 markings/sec, 5 secs
lola: 367956 markings, 808286 edges, 24060 markings/sec, 10 secs
lola: 500123 markings, 1045847 edges, 26433 markings/sec, 15 secs
lola: 614403 markings, 1274971 edges, 22856 markings/sec, 20 secs
lola: 733284 markings, 1528422 edges, 23776 markings/sec, 25 secs
lola: 863948 markings, 1769897 edges, 26133 markings/sec, 30 secs
lola: 979860 markings, 1993137 edges, 23182 markings/sec, 35 secs
lola: 1099503 markings, 2247554 edges, 23929 markings/sec, 40 secs
lola: 1226090 markings, 2487978 edges, 25317 markings/sec, 45 secs
lola: 1342292 markings, 2699983 edges, 23240 markings/sec, 50 secs
lola: 1471035 markings, 2935063 edges, 25749 markings/sec, 55 secs
lola: 1590295 markings, 3152410 edges, 23852 markings/sec, 60 secs
lola: 1718035 markings, 3386094 edges, 25548 markings/sec, 65 secs
lola: 1841729 markings, 3609837 edges, 24739 markings/sec, 70 secs
lola: 1964042 markings, 3835382 edges, 24463 markings/sec, 75 secs
lola: 2092327 markings, 4068085 edges, 25657 markings/sec, 80 secs
lola: 2209354 markings, 4283216 edges, 23405 markings/sec, 85 secs
lola: 2337919 markings, 4516351 edges, 25713 markings/sec, 90 secs
lola: 2456590 markings, 4734729 edges, 23734 markings/sec, 95 secs
lola: 2584021 markings, 4965588 edges, 25486 markings/sec, 100 secs
lola: 2703536 markings, 5185687 edges, 23903 markings/sec, 105 secs
lola: 2828662 markings, 5412298 edges, 25025 markings/sec, 110 secs
lola: 2949933 markings, 5635551 edges, 24254 markings/sec, 115 secs
lola: 3070525 markings, 5855599 edges, 24118 markings/sec, 120 secs
lola: 3197402 markings, 6087503 edges, 25375 markings/sec, 125 secs
lola: 3315630 markings, 6303887 edges, 23646 markings/sec, 130 secs
lola: 3442079 markings, 6534466 edges, 25290 markings/sec, 135 secs
lola: 3558701 markings, 6748754 edges, 23324 markings/sec, 140 secs
lola: 3686662 markings, 6981626 edges, 25592 markings/sec, 145 secs
lola: 3803271 markings, 7197868 edges, 23322 markings/sec, 150 secs
lola: 3925372 markings, 7419316 edges, 24420 markings/sec, 155 secs
lola: 4039754 markings, 7630082 edges, 22876 markings/sec, 160 secs
lola: 4153700 markings, 7838528 edges, 22789 markings/sec, 165 secs
lola: 4275174 markings, 8060519 edges, 24295 markings/sec, 170 secs
lola: 4387964 markings, 8268842 edges, 22558 markings/sec, 175 secs
lola: 4512234 markings, 8495027 edges, 24854 markings/sec, 180 secs
lola: 4629166 markings, 8711029 edges, 23386 markings/sec, 185 secs
lola: 4747754 markings, 8928469 edges, 23718 markings/sec, 190 secs
lola: 4874475 markings, 9159871 edges, 25344 markings/sec, 195 secs
lola: 4992665 markings, 9378689 edges, 23638 markings/sec, 200 secs
lola: 5111595 markings, 9597188 edges, 23786 markings/sec, 205 secs
lola: 5237780 markings, 9827637 edges, 25237 markings/sec, 210 secs
lola: 5355738 markings, 10045606 edges, 23592 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(p70 + p71 + p72 + p73 + p74)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 119668 markings, 177338 edges, 23934 markings/sec, 0 secs
lola: 234548 markings, 351364 edges, 22976 markings/sec, 5 secs
lola: 347079 markings, 525414 edges, 22506 markings/sec, 10 secs
lola: 460967 markings, 701162 edges, 22778 markings/sec, 15 secs
lola: 575748 markings, 877705 edges, 22956 markings/sec, 20 secs
lola: 692061 markings, 1055687 edges, 23263 markings/sec, 25 secs
lola: 805735 markings, 1234047 edges, 22735 markings/sec, 30 secs
lola: 916355 markings, 1409535 edges, 22124 markings/sec, 35 secs
lola: 1033054 markings, 1591507 edges, 23340 markings/sec, 40 secs
lola: 1147261 markings, 1771800 edges, 22841 markings/sec, 45 secs
lola: 1260805 markings, 1954047 edges, 22709 markings/sec, 50 secs
lola: 1371267 markings, 2136071 edges, 22092 markings/sec, 55 secs
lola: 1485538 markings, 2322272 edges, 22854 markings/sec, 60 secs
lola: 1596264 markings, 2508721 edges, 22145 markings/sec, 65 secs
lola: 1708576 markings, 2700613 edges, 22462 markings/sec, 70 secs
lola: 1819523 markings, 2897087 edges, 22189 markings/sec, 75 secs
lola: 1928899 markings, 3104761 edges, 21875 markings/sec, 80 secs
lola: 2038819 markings, 3338552 edges, 21984 markings/sec, 85 secs
lola: 2180162 markings, 3533658 edges, 28269 markings/sec, 90 secs
lola: 2324039 markings, 3727741 edges, 28775 markings/sec, 95 secs
lola: 2451821 markings, 3913543 edges, 25556 markings/sec, 100 secs
lola: 2581116 markings, 4099768 edges, 25859 markings/sec, 105 secs
lola: 2720434 markings, 4292891 edges, 27864 markings/sec, 110 secs
lola: 2861799 markings, 4486527 edges, 28273 markings/sec, 115 secs
lola: 2992158 markings, 4670976 edges, 26072 markings/sec, 120 secs
lola: 3120160 markings, 4858092 edges, 25600 markings/sec, 125 secs
lola: 3252359 markings, 5045991 edges, 26440 markings/sec, 130 secs
lola: 3388437 markings, 5238579 edges, 27216 markings/sec, 135 secs
lola: 3527118 markings, 5429373 edges, 27736 markings/sec, 140 secs
lola: 3663148 markings, 5620891 edges, 27206 markings/sec, 145 secs
lola: 3797033 markings, 5808960 edges, 26777 markings/sec, 150 secs
lola: 3927592 markings, 5996129 edges, 26112 markings/sec, 155 secs
lola: 4058665 markings, 6184843 edges, 26215 markings/sec, 160 secs
lola: 4191202 markings, 6374714 edges, 26507 markings/sec, 165 secs
lola: 4323521 markings, 6564381 edges, 26464 markings/sec, 170 secs
lola: 4456567 markings, 6754831 edges, 26609 markings/sec, 175 secs
lola: 4590549 markings, 6945872 edges, 26796 markings/sec, 180 secs
lola: 4724276 markings, 7136819 edges, 26745 markings/sec, 185 secs
lola: 4857859 markings, 7330599 edges, 26717 markings/sec, 190 secs
lola: 4986804 markings, 7519028 edges, 25789 markings/sec, 195 secs
lola: 5115679 markings, 7709243 edges, 25775 markings/sec, 200 secs
lola: 5247316 markings, 7901358 edges, 26327 markings/sec, 205 secs
lola: 5385133 markings, 8095923 edges, 27563 markings/sec, 210 secs
lola: 5516420 markings, 8290030 edges, 26257 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 119515 markings, 177045 edges, 23903 markings/sec, 0 secs
lola: 233940 markings, 350519 edges, 22885 markings/sec, 5 secs
lola: 346351 markings, 524434 edges, 22482 markings/sec, 10 secs
lola: 459982 markings, 699870 edges, 22726 markings/sec, 15 secs
lola: 574516 markings, 876079 edges, 22907 markings/sec, 20 secs
lola: 690905 markings, 1054111 edges, 23278 markings/sec, 25 secs
lola: 805003 markings, 1232780 edges, 22820 markings/sec, 30 secs
lola: 915494 markings, 1408003 edges, 22098 markings/sec, 35 secs
lola: 1032145 markings, 1589906 edges, 23330 markings/sec, 40 secs
lola: 1141851 markings, 1764098 edges, 21941 markings/sec, 45 secs
lola: 1249205 markings, 1937447 edges, 21471 markings/sec, 50 secs
lola: 1358941 markings, 2113445 edges, 21947 markings/sec, 55 secs
lola: 1464793 markings, 2289516 edges, 21170 markings/sec, 60 secs
lola: 1572388 markings, 2468477 edges, 21519 markings/sec, 65 secs
lola: 1680313 markings, 2651210 edges, 21585 markings/sec, 70 secs
lola: 1786905 markings, 2837841 edges, 21318 markings/sec, 75 secs
lola: 1891566 markings, 3030876 edges, 20932 markings/sec, 80 secs
lola: 1993627 markings, 3247564 edges, 20412 markings/sec, 85 secs
lola: 2126838 markings, 3452000 edges, 26642 markings/sec, 90 secs
lola: 2247421 markings, 3630503 edges, 24117 markings/sec, 95 secs
lola: 2376551 markings, 3812673 edges, 25826 markings/sec, 100 secs
lola: 2517325 markings, 4001048 edges, 28155 markings/sec, 105 secs
lola: 2646328 markings, 4184612 edges, 25801 markings/sec, 110 secs
lola: 2773404 markings, 4370881 edges, 25415 markings/sec, 115 secs
lola: 2907048 markings, 4558507 edges, 26729 markings/sec, 120 secs
lola: 3048182 markings, 4751456 edges, 28227 markings/sec, 125 secs
lola: 3185310 markings, 4941286 edges, 27426 markings/sec, 130 secs
lola: 3314293 markings, 5126765 edges, 25797 markings/sec, 135 secs
lola: 3442741 markings, 5313446 edges, 25690 markings/sec, 140 secs
lola: 3573667 markings, 5500273 edges, 26185 markings/sec, 145 secs
lola: 3705849 markings, 5689629 edges, 26436 markings/sec, 150 secs
lola: 3841307 markings, 5881128 edges, 27092 markings/sec, 155 secs
lola: 3976951 markings, 6070216 edges, 27129 markings/sec, 160 secs
lola: 4110165 markings, 6259990 edges, 26643 markings/sec, 165 secs
lola: 4243244 markings, 6449591 edges, 26616 markings/sec, 170 secs
lola: 4376223 markings, 6639052 edges, 26596 markings/sec, 175 secs
lola: 4507068 markings, 6827946 edges, 26169 markings/sec, 180 secs
lola: 4637540 markings, 7016390 edges, 26094 markings/sec, 185 secs
lola: 4768156 markings, 7205508 edges, 26123 markings/sec, 190 secs
lola: 4896196 markings, 7392936 edges, 25608 markings/sec, 195 secs
lola: 5027290 markings, 7581179 edges, 26219 markings/sec, 200 secs
lola: 5157130 markings, 7767411 edges, 25968 markings/sec, 205 secs
lola: 5288223 markings, 7953876 edges, 26219 markings/sec, 210 secs
lola: 5414356 markings, 8139446 edges, 25227 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 116662 markings, 172177 edges, 23332 markings/sec, 0 secs
lola: 230570 markings, 345945 edges, 22782 markings/sec, 5 secs
lola: 344103 markings, 521494 edges, 22707 markings/sec, 10 secs
lola: 458936 markings, 698496 edges, 22967 markings/sec, 15 secs
lola: 574584 markings, 876178 edges, 23130 markings/sec, 20 secs
lola: 691896 markings, 1055481 edges, 23462 markings/sec, 25 secs
lola: 806345 markings, 1235150 edges, 22890 markings/sec, 30 secs
lola: 918102 markings, 1412783 edges, 22351 markings/sec, 35 secs
lola: 1034848 markings, 1594698 edges, 23349 markings/sec, 40 secs
lola: 1150698 markings, 1777983 edges, 23170 markings/sec, 45 secs
lola: 1263868 markings, 1959984 edges, 22634 markings/sec, 50 secs
lola: 1374484 markings, 2141330 edges, 22123 markings/sec, 55 secs
lola: 1488308 markings, 2327398 edges, 22765 markings/sec, 60 secs
lola: 1600525 markings, 2516110 edges, 22443 markings/sec, 65 secs
lola: 1715429 markings, 2710776 edges, 22981 markings/sec, 70 secs
lola: 1827082 markings, 2910079 edges, 22331 markings/sec, 75 secs
lola: 1936950 markings, 3121536 edges, 21974 markings/sec, 80 secs
lola: 2050820 markings, 3355071 edges, 22774 markings/sec, 85 secs
lola: 2190140 markings, 3551519 edges, 27864 markings/sec, 90 secs
lola: 2336851 markings, 3748436 edges, 29342 markings/sec, 95 secs
lola: 2470173 markings, 3936470 edges, 26664 markings/sec, 100 secs
lola: 2599144 markings, 4124438 edges, 25794 markings/sec, 105 secs
lola: 2735272 markings, 4316573 edges, 27226 markings/sec, 110 secs
lola: 2877956 markings, 4511928 edges, 28537 markings/sec, 115 secs
lola: 3017350 markings, 4703459 edges, 27879 markings/sec, 120 secs
lola: 3147230 markings, 4891759 edges, 25976 markings/sec, 125 secs
lola: 3278370 markings, 5081945 edges, 26228 markings/sec, 130 secs
lola: 3411723 markings, 5271356 edges, 26671 markings/sec, 135 secs
lola: 3548730 markings, 5465196 edges, 27401 markings/sec, 140 secs
lola: 3686143 markings, 5657734 edges, 27483 markings/sec, 145 secs
lola: 3823298 markings, 5850624 edges, 27431 markings/sec, 150 secs
lola: 3960397 markings, 6043770 edges, 27420 markings/sec, 155 secs
lola: 4095241 markings, 6236268 edges, 26969 markings/sec, 160 secs
lola: 4230009 markings, 6428619 edges, 26954 markings/sec, 165 secs
lola: 4364696 markings, 6620845 edges, 26937 markings/sec, 170 secs
lola: 4497181 markings, 6812160 edges, 26497 markings/sec, 175 secs
lola: 4629507 markings, 7003363 edges, 26465 markings/sec, 180 secs
lola: 4761781 markings, 7194689 edges, 26455 markings/sec, 185 secs
lola: 4891536 markings, 7385324 edges, 25951 markings/sec, 190 secs
lola: 5025034 markings, 7577876 edges, 26700 markings/sec, 195 secs
lola: 5162409 markings, 7774164 edges, 27475 markings/sec, 200 secs
lola: 5300518 markings, 7972707 edges, 27622 markings/sec, 205 secs
lola: 5428781 markings, 8163754 edges, 25653 markings/sec, 210 secs
lola: 5563166 markings, 8359834 edges, 26877 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 55405 markings, 140523 edges, 11081 markings/sec, 0 secs
lola: 111182 markings, 288582 edges, 11155 markings/sec, 5 secs
lola: 160166 markings, 430100 edges, 9797 markings/sec, 10 secs
lola: 217453 markings, 574892 edges, 11457 markings/sec, 15 secs
lola: 267675 markings, 722471 edges, 10044 markings/sec, 20 secs
lola: 318775 markings, 867654 edges, 10220 markings/sec, 25 secs
lola: 378407 markings, 1013900 edges, 11926 markings/sec, 30 secs
lola: 425089 markings, 1159279 edges, 9336 markings/sec, 35 secs
lola: 479068 markings, 1296986 edges, 10796 markings/sec, 40 secs
lola: 530394 markings, 1441180 edges, 10265 markings/sec, 45 secs
lola: 579851 markings, 1579994 edges, 9891 markings/sec, 50 secs
lola: 635982 markings, 1722118 edges, 11226 markings/sec, 55 secs
lola: 682965 markings, 1870251 edges, 9397 markings/sec, 60 secs
lola: 736905 markings, 2007763 edges, 10788 markings/sec, 65 secs
lola: 788410 markings, 2151519 edges, 10301 markings/sec, 70 secs
lola: 837420 markings, 2290913 edges, 9802 markings/sec, 75 secs
lola: 892991 markings, 2435331 edges, 11114 markings/sec, 80 secs
lola: 940289 markings, 2579109 edges, 9460 markings/sec, 85 secs
lola: 994609 markings, 2718118 edges, 10864 markings/sec, 90 secs
lola: 1043117 markings, 2864404 edges, 9702 markings/sec, 95 secs
lola: 1095115 markings, 3005024 edges, 10400 markings/sec, 100 secs
lola: 1147625 markings, 3148070 edges, 10502 markings/sec, 105 secs
lola: 1196247 markings, 3288110 edges, 9724 markings/sec, 110 secs
lola: 1250791 markings, 3434740 edges, 10909 markings/sec, 115 secs
lola: 1299123 markings, 3576101 edges, 9666 markings/sec, 120 secs
lola: 1354062 markings, 3718505 edges, 10988 markings/sec, 125 secs
lola: 1401800 markings, 3866283 edges, 9548 markings/sec, 130 secs
lola: 1456101 markings, 4005980 edges, 10860 markings/sec, 135 secs
lola: 1504429 markings, 4157094 edges, 9666 markings/sec, 140 secs
lola: 1558157 markings, 4295632 edges, 10746 markings/sec, 145 secs
lola: 1606890 markings, 4446565 edges, 9747 markings/sec, 150 secs
lola: 1660580 markings, 4584954 edges, 10738 markings/sec, 155 secs
lola: 1709328 markings, 4736063 edges, 9750 markings/sec, 160 secs
lola: 1762906 markings, 4874127 edges, 10716 markings/sec, 165 secs
lola: 1811664 markings, 5025304 edges, 9752 markings/sec, 170 secs
lola: 1865073 markings, 5163646 edges, 10682 markings/sec, 175 secs
lola: 1913790 markings, 5313086 edges, 9743 markings/sec, 180 secs
lola: 1967345 markings, 5453077 edges, 10711 markings/sec, 185 secs
lola: 2015317 markings, 5599852 edges, 9594 markings/sec, 190 secs
lola: 2068567 markings, 5741754 edges, 10650 markings/sec, 195 secs
lola: 2116071 markings, 5886674 edges, 9501 markings/sec, 200 secs
lola: 2167877 markings, 6033095 edges, 10361 markings/sec, 205 secs
lola: 2217071 markings, 6178116 edges, 9839 markings/sec, 210 secs
lola: 2266754 markings, 6321791 edges, 9937 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p456)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 53063 markings, 93616 edges, 10613 markings/sec, 0 secs
lola: 105478 markings, 189147 edges, 10483 markings/sec, 5 secs
lola: 156269 markings, 290516 edges, 10158 markings/sec, 10 secs
lola: 204657 markings, 422967 edges, 9678 markings/sec, 15 secs
lola: 250339 markings, 555311 edges, 9136 markings/sec, 20 secs
lola: 303097 markings, 648900 edges, 10552 markings/sec, 25 secs
lola: 355133 markings, 743595 edges, 10407 markings/sec, 30 secs
lola: 406450 markings, 845625 edges, 10263 markings/sec, 35 secs
lola: 454488 markings, 977985 edges, 9608 markings/sec, 40 secs
lola: 499836 markings, 1109556 edges, 9070 markings/sec, 45 secs
lola: 552434 markings, 1202658 edges, 10520 markings/sec, 50 secs
lola: 604423 markings, 1297587 edges, 10398 markings/sec, 55 secs
lola: 655710 markings, 1399588 edges, 10257 markings/sec, 60 secs
lola: 703754 markings, 1531055 edges, 9609 markings/sec, 65 secs
lola: 749032 markings, 1663413 edges, 9056 markings/sec, 70 secs
lola: 800236 markings, 1754452 edges, 10241 markings/sec, 75 secs
lola: 851122 markings, 1848876 edges, 10177 markings/sec, 80 secs
lola: 901290 markings, 1950779 edges, 10034 markings/sec, 85 secs
lola: 948051 markings, 2083239 edges, 9352 markings/sec, 90 secs
lola: 994776 markings, 2207024 edges, 9345 markings/sec, 95 secs
lola: 1045832 markings, 2298260 edges, 10211 markings/sec, 100 secs
lola: 1096309 markings, 2394220 edges, 10095 markings/sec, 105 secs
lola: 1146059 markings, 2500079 edges, 9950 markings/sec, 110 secs
lola: 1192231 markings, 2635555 edges, 9234 markings/sec, 115 secs
lola: 1240681 markings, 2750748 edges, 9690 markings/sec, 120 secs
lola: 1291903 markings, 2844475 edges, 10244 markings/sec, 125 secs
lola: 1342740 markings, 2942306 edges, 10167 markings/sec, 130 secs
lola: 1391544 markings, 3067059 edges, 9761 markings/sec, 135 secs
lola: 1437465 markings, 3192317 edges, 9184 markings/sec, 140 secs
lola: 1487419 markings, 3297962 edges, 9991 markings/sec, 145 secs
lola: 1538625 markings, 3392945 edges, 10241 markings/sec, 150 secs
lola: 1589081 markings, 3496570 edges, 10091 markings/sec, 155 secs
lola: 1635949 markings, 3630847 edges, 9374 markings/sec, 160 secs
lola: 1683881 markings, 3749368 edges, 9586 markings/sec, 165 secs
lola: 1734997 markings, 3842692 edges, 10223 markings/sec, 170 secs
lola: 1785458 markings, 3942112 edges, 10092 markings/sec, 175 secs
lola: 1833610 markings, 4069119 edges, 9630 markings/sec, 180 secs
lola: 1878940 markings, 4200775 edges, 9066 markings/sec, 185 secs
lola: 1930239 markings, 4293218 edges, 10260 markings/sec, 190 secs
lola: 1981117 markings, 4389692 edges, 10176 markings/sec, 195 secs
lola: 2031028 markings, 4495760 edges, 9982 markings/sec, 200 secs
lola: 2076945 markings, 4630960 edges, 9183 markings/sec, 205 secs
lola: 2125576 markings, 4743197 edges, 9726 markings/sec, 210 secs
lola: 2176547 markings, 4837856 edges, 10194 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p75)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 116076 markings, 259353 edges, 23215 markings/sec, 0 secs
lola: 231958 markings, 502553 edges, 23176 markings/sec, 5 secs
lola: 357062 markings, 728069 edges, 25021 markings/sec, 10 secs
lola: 466055 markings, 957723 edges, 21799 markings/sec, 15 secs
lola: 576346 markings, 1201184 edges, 22058 markings/sec, 20 secs
lola: 701422 markings, 1430385 edges, 25015 markings/sec, 25 secs
lola: 812870 markings, 1646797 edges, 22290 markings/sec, 30 secs
lola: 924909 markings, 1892424 edges, 22408 markings/sec, 35 secs
lola: 1043460 markings, 2125328 edges, 23710 markings/sec, 40 secs
lola: 1157434 markings, 2331430 edges, 22795 markings/sec, 45 secs
lola: 1274427 markings, 2547426 edges, 23399 markings/sec, 50 secs
lola: 1397941 markings, 2770468 edges, 24703 markings/sec, 55 secs
lola: 1507796 markings, 2973987 edges, 21971 markings/sec, 60 secs
lola: 1632009 markings, 3197362 edges, 24843 markings/sec, 65 secs
lola: 1742864 markings, 3401185 edges, 22171 markings/sec, 70 secs
lola: 1861632 markings, 3616824 edges, 23754 markings/sec, 75 secs
lola: 1973789 markings, 3822095 edges, 22431 markings/sec, 80 secs
lola: 2095372 markings, 4043909 edges, 24317 markings/sec, 85 secs
lola: 2207482 markings, 4248961 edges, 22422 markings/sec, 90 secs
lola: 2329021 markings, 4470965 edges, 24308 markings/sec, 95 secs
lola: 2444314 markings, 4681541 edges, 23059 markings/sec, 100 secs
lola: 2565662 markings, 4903416 edges, 24270 markings/sec, 105 secs
lola: 2681300 markings, 5114470 edges, 23128 markings/sec, 110 secs
lola: 2802489 markings, 5336120 edges, 24238 markings/sec, 115 secs
lola: 2917629 markings, 5546681 edges, 23028 markings/sec, 120 secs
lola: 3039227 markings, 5768808 edges, 24320 markings/sec, 125 secs
lola: 3153947 markings, 5978952 edges, 22944 markings/sec, 130 secs
lola: 3276055 markings, 6201696 edges, 24422 markings/sec, 135 secs
lola: 3389711 markings, 6410363 edges, 22731 markings/sec, 140 secs
lola: 3512370 markings, 6633756 edges, 24532 markings/sec, 145 secs
lola: 3624335 markings, 6841566 edges, 22393 markings/sec, 150 secs
lola: 3748690 markings, 7066510 edges, 24871 markings/sec, 155 secs
lola: 3861367 markings, 7275122 edges, 22535 markings/sec, 160 secs
lola: 3978847 markings, 7488448 edges, 23496 markings/sec, 165 secs
lola: 4098477 markings, 7708457 edges, 23926 markings/sec, 170 secs
lola: 4212683 markings, 7918562 edges, 22841 markings/sec, 175 secs
lola: 4335066 markings, 8141521 edges, 24477 markings/sec, 180 secs
lola: 4447870 markings, 8350705 edges, 22561 markings/sec, 185 secs
lola: 4564481 markings, 8563908 edges, 23322 markings/sec, 190 secs
lola: 4684779 markings, 8783904 edges, 24060 markings/sec, 195 secs
lola: 4797594 markings, 8993653 edges, 22563 markings/sec, 200 secs
lola: 4914977 markings, 9208066 edges, 23477 markings/sec, 205 secs
lola: 5034704 markings, 9427177 edges, 23945 markings/sec, 210 secs
lola: 5147592 markings, 9636983 edges, 22578 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p303)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 54945 markings, 116504 edges, 10989 markings/sec, 0 secs
lola: 109135 markings, 230382 edges, 10838 markings/sec, 5 secs
lola: 174371 markings, 355580 edges, 13047 markings/sec, 10 secs
lola: 238948 markings, 478514 edges, 12915 markings/sec, 15 secs
lola: 303391 markings, 592497 edges, 12889 markings/sec, 20 secs
lola: 366840 markings, 692434 edges, 12690 markings/sec, 25 secs
lola: 421912 markings, 789246 edges, 11014 markings/sec, 30 secs
lola: 486165 markings, 911797 edges, 12851 markings/sec, 35 secs
lola: 549544 markings, 1032495 edges, 12676 markings/sec, 40 secs
lola: 613183 markings, 1144678 edges, 12728 markings/sec, 45 secs
lola: 675916 markings, 1243510 edges, 12547 markings/sec, 50 secs
lola: 730368 markings, 1338386 edges, 10890 markings/sec, 55 secs
lola: 794367 markings, 1459625 edges, 12800 markings/sec, 60 secs
lola: 857179 markings, 1579241 edges, 12562 markings/sec, 65 secs
lola: 919916 markings, 1689308 edges, 12547 markings/sec, 70 secs
lola: 981738 markings, 1786737 edges, 12364 markings/sec, 75 secs
lola: 1034811 markings, 1877181 edges, 10615 markings/sec, 80 secs
lola: 1093666 markings, 1972953 edges, 11771 markings/sec, 85 secs
lola: 1156493 markings, 2071617 edges, 12565 markings/sec, 90 secs
lola: 1212891 markings, 2164938 edges, 11280 markings/sec, 95 secs
lola: 1269598 markings, 2259100 edges, 11341 markings/sec, 100 secs
lola: 1332243 markings, 2358056 edges, 12529 markings/sec, 105 secs
lola: 1391898 markings, 2454921 edges, 11931 markings/sec, 110 secs
lola: 1445591 markings, 2544639 edges, 10739 markings/sec, 115 secs
lola: 1506545 markings, 2642323 edges, 12191 markings/sec, 120 secs
lola: 1579155 markings, 2759409 edges, 14522 markings/sec, 125 secs
lola: 1674259 markings, 2916224 edges, 19021 markings/sec, 130 secs
lola: 1771043 markings, 3075319 edges, 19357 markings/sec, 135 secs
lola: 1870869 markings, 3235389 edges, 19965 markings/sec, 140 secs
lola: 1966646 markings, 3393480 edges, 19155 markings/sec, 145 secs
lola: 2067690 markings, 3555088 edges, 20209 markings/sec, 150 secs
lola: 2161582 markings, 3711545 edges, 18778 markings/sec, 155 secs
lola: 2264621 markings, 3876541 edges, 20608 markings/sec, 160 secs
lola: 2358955 markings, 4032827 edges, 18867 markings/sec, 165 secs
lola: 2455387 markings, 4191481 edges, 19286 markings/sec, 170 secs
lola: 2555244 markings, 4351505 edges, 19971 markings/sec, 175 secs
lola: 2648759 markings, 4507794 edges, 18703 markings/sec, 180 secs
lola: 2749156 markings, 4669624 edges, 20079 markings/sec, 185 secs
lola: 2846452 markings, 4828889 edges, 19459 markings/sec, 190 secs
lola: 2941700 markings, 4986630 edges, 19050 markings/sec, 195 secs
lola: 3043302 markings, 5150164 edges, 20320 markings/sec, 200 secs
lola: 3138448 markings, 5307481 edges, 19029 markings/sec, 205 secs
lola: 3233660 markings, 5465526 edges, 19042 markings/sec, 210 secs
lola: 3332524 markings, 5626350 edges, 19773 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 55086 markings, 139801 edges, 11017 markings/sec, 0 secs
lola: 110737 markings, 287227 edges, 11130 markings/sec, 5 secs
lola: 159460 markings, 428106 edges, 9745 markings/sec, 10 secs
lola: 216488 markings, 572521 edges, 11406 markings/sec, 15 secs
lola: 266641 markings, 719204 edges, 10031 markings/sec, 20 secs
lola: 317366 markings, 860673 edges, 10145 markings/sec, 25 secs
lola: 376572 markings, 1007519 edges, 11841 markings/sec, 30 secs
lola: 423154 markings, 1154665 edges, 9316 markings/sec, 35 secs
lola: 476696 markings, 1291478 edges, 10708 markings/sec, 40 secs
lola: 528350 markings, 1434854 edges, 10331 markings/sec, 45 secs
lola: 577471 markings, 1573123 edges, 9824 markings/sec, 50 secs
lola: 633151 markings, 1714311 edges, 11136 markings/sec, 55 secs
lola: 679988 markings, 1863222 edges, 9367 markings/sec, 60 secs
lola: 733338 markings, 1999473 edges, 10670 markings/sec, 65 secs
lola: 785416 markings, 2142447 edges, 10416 markings/sec, 70 secs
lola: 834067 markings, 2281053 edges, 9730 markings/sec, 75 secs
lola: 889216 markings, 2422876 edges, 11030 markings/sec, 80 secs
lola: 936387 markings, 2569610 edges, 9434 markings/sec, 85 secs
lola: 990138 markings, 2707246 edges, 10750 markings/sec, 90 secs
lola: 1039350 markings, 2851830 edges, 9842 markings/sec, 95 secs
lola: 1090281 markings, 2993814 edges, 10186 markings/sec, 100 secs
lola: 1143638 markings, 3135929 edges, 10671 markings/sec, 105 secs
lola: 1191758 markings, 3275069 edges, 9624 markings/sec, 110 secs
lola: 1246216 markings, 3417365 edges, 10892 markings/sec, 115 secs
lola: 1293604 markings, 3562127 edges, 9478 markings/sec, 120 secs
lola: 1347409 markings, 3700978 edges, 10761 markings/sec, 125 secs
lola: 1395029 markings, 3849935 edges, 9524 markings/sec, 130 secs
lola: 1448242 markings, 3986666 edges, 10643 markings/sec, 135 secs
lola: 1497606 markings, 4132983 edges, 9873 markings/sec, 140 secs
lola: 1549670 markings, 4275155 edges, 10413 markings/sec, 145 secs
lola: 1599552 markings, 4420130 edges, 9976 markings/sec, 150 secs
lola: 1651302 markings, 4562668 edges, 10350 markings/sec, 155 secs
lola: 1701428 markings, 4707091 edges, 10025 markings/sec, 160 secs
lola: 1752885 markings, 4850108 edges, 10291 markings/sec, 165 secs
lola: 1803209 markings, 4993777 edges, 10065 markings/sec, 170 secs
lola: 1854287 markings, 5137326 edges, 10216 markings/sec, 175 secs
lola: 1903705 markings, 5283012 edges, 9884 markings/sec, 180 secs
lola: 1956054 markings, 5424413 edges, 10470 markings/sec, 185 secs
lola: 2004685 markings, 5573838 edges, 9726 markings/sec, 190 secs
lola: 2057742 markings, 5711733 edges, 10611 markings/sec, 195 secs
lola: 2105950 markings, 5859957 edges, 9642 markings/sec, 200 secs
lola: 2158768 markings, 6002415 edges, 10564 markings/sec, 205 secs
lola: 2206474 markings, 6147645 edges, 9541 markings/sec, 210 secs
lola: 2258158 markings, 6293743 edges, 10337 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p81)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 131532 markings, 254364 edges, 26306 markings/sec, 0 secs
lola: 264597 markings, 505606 edges, 26613 markings/sec, 5 secs
lola: 397766 markings, 745559 edges, 26634 markings/sec, 10 secs
lola: 537771 markings, 973830 edges, 28001 markings/sec, 15 secs
lola: 653718 markings, 1187711 edges, 23189 markings/sec, 20 secs
lola: 784267 markings, 1423068 edges, 26110 markings/sec, 25 secs
lola: 922716 markings, 1648556 edges, 27690 markings/sec, 30 secs
lola: 1041044 markings, 1865099 edges, 23666 markings/sec, 35 secs
lola: 1170101 markings, 2097321 edges, 25811 markings/sec, 40 secs
lola: 1306826 markings, 2320046 edges, 27345 markings/sec, 45 secs
lola: 1417826 markings, 2508309 edges, 22200 markings/sec, 50 secs
lola: 1558570 markings, 2736860 edges, 28149 markings/sec, 55 secs
lola: 1682474 markings, 2946501 edges, 24781 markings/sec, 60 secs
lola: 1823103 markings, 3175034 edges, 28126 markings/sec, 65 secs
lola: 1946608 markings, 3383896 edges, 24701 markings/sec, 70 secs
lola: 2085903 markings, 3610341 edges, 27859 markings/sec, 75 secs
lola: 2207555 markings, 3816041 edges, 24330 markings/sec, 80 secs
lola: 2343683 markings, 4039088 edges, 27226 markings/sec, 85 secs
lola: 2469115 markings, 4249119 edges, 25086 markings/sec, 90 secs
lola: 2597483 markings, 4461145 edges, 25674 markings/sec, 95 secs
lola: 2729370 markings, 4680097 edges, 26377 markings/sec, 100 secs
lola: 2853856 markings, 4887996 edges, 24897 markings/sec, 105 secs
lola: 2989889 markings, 5111603 edges, 27207 markings/sec, 110 secs
lola: 3114998 markings, 5321363 edges, 25022 markings/sec, 115 secs
lola: 3250541 markings, 5543505 edges, 27109 markings/sec, 120 secs
lola: 3375977 markings, 5755719 edges, 25087 markings/sec, 125 secs
lola: 3511192 markings, 5977562 edges, 27043 markings/sec, 130 secs
lola: 3640919 markings, 6194118 edges, 25945 markings/sec, 135 secs
lola: 3768492 markings, 6407647 edges, 25515 markings/sec, 140 secs
lola: 3907018 markings, 6635058 edges, 27705 markings/sec, 145 secs
lola: 4032592 markings, 6847008 edges, 25115 markings/sec, 150 secs
lola: 4160530 markings, 7060403 edges, 25588 markings/sec, 155 secs
lola: 4298211 markings, 7286843 edges, 27536 markings/sec, 160 secs
lola: 4425318 markings, 7501424 edges, 25421 markings/sec, 165 secs
lola: 4554303 markings, 7716605 edges, 25797 markings/sec, 170 secs
lola: 4690912 markings, 7941272 edges, 27322 markings/sec, 175 secs
lola: 4817898 markings, 8155461 edges, 25397 markings/sec, 180 secs
lola: 4946286 markings, 8370502 edges, 25678 markings/sec, 185 secs
lola: 5079143 markings, 8591060 edges, 26571 markings/sec, 190 secs
lola: 5212228 markings, 8812351 edges, 26617 markings/sec, 195 secs
lola: 5339583 markings, 9027186 edges, 25471 markings/sec, 200 secs
lola: 5467995 markings, 9242701 edges, 25682 markings/sec, 205 secs
lola: 5597848 markings, 9460196 edges, 25971 markings/sec, 210 secs
lola: 5733791 markings, 9684642 edges, 27189 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p69)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1748 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 110120 markings, 212172 edges, 22024 markings/sec, 0 secs
lola: 217521 markings, 402852 edges, 21480 markings/sec, 5 secs
lola: 318475 markings, 570765 edges, 20191 markings/sec, 10 secs
lola: 426694 markings, 777526 edges, 21644 markings/sec, 15 secs
lola: 533156 markings, 964222 edges, 21292 markings/sec, 20 secs
lola: 633899 markings, 1133714 edges, 20149 markings/sec, 25 secs
lola: 741167 markings, 1337303 edges, 21454 markings/sec, 30 secs
lola: 847755 markings, 1521250 edges, 21318 markings/sec, 35 secs
lola: 946892 markings, 1684745 edges, 19827 markings/sec, 40 secs
lola: 1051911 markings, 1852649 edges, 21004 markings/sec, 45 secs
lola: 1133879 markings, 1988882 edges, 16394 markings/sec, 50 secs
lola: 1237499 markings, 2154629 edges, 20724 markings/sec, 55 secs
lola: 1336009 markings, 2317387 edges, 19702 markings/sec, 60 secs
lola: 1441661 markings, 2485978 edges, 21130 markings/sec, 65 secs
lola: 1538935 markings, 2648000 edges, 19455 markings/sec, 70 secs
lola: 1645675 markings, 2818037 edges, 21348 markings/sec, 75 secs
lola: 1743838 markings, 2981183 edges, 19633 markings/sec, 80 secs
lola: 1845220 markings, 3147464 edges, 20276 markings/sec, 85 secs
lola: 1948874 markings, 3313603 edges, 20731 markings/sec, 90 secs
lola: 2047664 markings, 3476815 edges, 19758 markings/sec, 95 secs
lola: 2153366 markings, 3645954 edges, 21140 markings/sec, 100 secs
lola: 2251475 markings, 3809328 edges, 19622 markings/sec, 105 secs
lola: 2352429 markings, 3975021 edges, 20191 markings/sec, 110 secs
lola: 2456435 markings, 4141640 edges, 20801 markings/sec, 115 secs
lola: 2554009 markings, 4304846 edges, 19515 markings/sec, 120 secs
lola: 2655743 markings, 4471335 edges, 20347 markings/sec, 125 secs
lola: 2759539 markings, 4637870 edges, 20759 markings/sec, 130 secs
lola: 2857633 markings, 4801730 edges, 19619 markings/sec, 135 secs
lola: 2959040 markings, 4967774 edges, 20281 markings/sec, 140 secs
lola: 3062090 markings, 5133283 edges, 20610 markings/sec, 145 secs
lola: 3159381 markings, 5295391 edges, 19458 markings/sec, 150 secs
lola: 3258039 markings, 5457790 edges, 19732 markings/sec, 155 secs
lola: 3361345 markings, 5625023 edges, 20661 markings/sec, 160 secs
lola: 3460555 markings, 5788270 edges, 19842 markings/sec, 165 secs
lola: 3559116 markings, 5952370 edges, 19712 markings/sec, 170 secs
lola: 3658125 markings, 6115623 edges, 19802 markings/sec, 175 secs
lola: 3757993 markings, 6280120 edges, 19974 markings/sec, 180 secs
lola: 3860520 markings, 6446291 edges, 20505 markings/sec, 185 secs
lola: 3959395 markings, 6609962 edges, 19775 markings/sec, 190 secs
lola: 4057908 markings, 6773726 edges, 19703 markings/sec, 195 secs
lola: 4157203 markings, 6938884 edges, 19859 markings/sec, 200 secs
lola: 4257243 markings, 7105076 edges, 20008 markings/sec, 205 secs
lola: 4357231 markings, 7271255 edges, 19998 markings/sec, 210 secs
lola: 4457685 markings, 7436993 edges, 20091 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA PolyORBNT-COL-S05J30-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J30-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496272234488

--------------------
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="S_PolyORBNT-COL-S05J30"
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/S_PolyORBNT-COL-S05J30.tgz
mv S_PolyORBNT-COL-S05J30 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 S_PolyORBNT-COL-S05J30, 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 r138-smll-149479231500011"
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 ;