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 PolyORBNT-COL-S05J80, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r058-smll-149440926100038
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494672383927


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBNT-COL-S05J80 @ 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: 3699/65536 symbol table entries, 69 collisions
lola: preprocessing...
lola: finding significant places
lola: 1269 places, 2430 transitions, 1087 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2248 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S05J80-UpperBounds.task
lola: MAX(p422 + p423 + p424 + p425 + p426) : MAX(p90) : MAX(p82) : MAX(p1260) : MAX(p428) : MAX(p1259) : MAX(p90) : MAX(p420) : MAX(p766) : MAX(p1267) : MAX(p1177) : MAX(p1259) : MAX(p83) : MAX(p601) : MAX(p422 + p423 + p424 + p425 + p426) : MAX(p1267)
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(p422 + p423 + p424 + p425 + p426)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 19754 markings, 49894 edges, 3951 markings/sec, 0 secs
lola: 39185 markings, 99417 edges, 3886 markings/sec, 5 secs
lola: 58793 markings, 146469 edges, 3922 markings/sec, 10 secs
lola: 78349 markings, 192063 edges, 3911 markings/sec, 15 secs
lola: 97860 markings, 237872 edges, 3902 markings/sec, 20 secs
lola: 117386 markings, 283414 edges, 3905 markings/sec, 25 secs
lola: 136904 markings, 329222 edges, 3904 markings/sec, 30 secs
lola: 156378 markings, 374651 edges, 3895 markings/sec, 35 secs
lola: 175823 markings, 420296 edges, 3889 markings/sec, 40 secs
lola: 195262 markings, 465636 edges, 3888 markings/sec, 45 secs
lola: 214696 markings, 511287 edges, 3887 markings/sec, 50 secs
lola: 234131 markings, 556588 edges, 3887 markings/sec, 55 secs
lola: 253517 markings, 602144 edges, 3877 markings/sec, 60 secs
lola: 272894 markings, 647635 edges, 3875 markings/sec, 65 secs
lola: 292206 markings, 692668 edges, 3862 markings/sec, 70 secs
lola: 311545 markings, 738098 edges, 3868 markings/sec, 75 secs
lola: 330909 markings, 783610 edges, 3873 markings/sec, 80 secs
lola: 350201 markings, 828588 edges, 3858 markings/sec, 85 secs
lola: 369456 markings, 873827 edges, 3851 markings/sec, 90 secs
lola: 389143 markings, 920089 edges, 3937 markings/sec, 95 secs
lola: 409059 markings, 966853 edges, 3983 markings/sec, 100 secs
lola: 428936 markings, 1013520 edges, 3975 markings/sec, 105 secs
lola: 448799 markings, 1059857 edges, 3973 markings/sec, 110 secs
lola: 468647 markings, 1106493 edges, 3970 markings/sec, 115 secs
lola: 488497 markings, 1153101 edges, 3970 markings/sec, 120 secs
lola: 507885 markings, 1198661 edges, 3878 markings/sec, 125 secs
lola: 527079 markings, 1243766 edges, 3839 markings/sec, 130 secs
lola: 546245 markings, 1288813 edges, 3833 markings/sec, 135 secs
lola: 565403 markings, 1333847 edges, 3832 markings/sec, 140 secs
lola: 584537 markings, 1378842 edges, 3827 markings/sec, 145 secs
lola: 603654 markings, 1423764 edges, 3823 markings/sec, 150 secs
lola: 622763 markings, 1468700 edges, 3822 markings/sec, 155 secs
lola: 641833 markings, 1513529 edges, 3814 markings/sec, 160 secs
lola: 660881 markings, 1558661 edges, 3810 markings/sec, 165 secs
lola: 679935 markings, 1603486 edges, 3811 markings/sec, 170 secs
lola: 698980 markings, 1648247 edges, 3809 markings/sec, 175 secs
lola: 717989 markings, 1692958 edges, 3802 markings/sec, 180 secs
lola: 736975 markings, 1737957 edges, 3797 markings/sec, 185 secs
lola: 755998 markings, 1782717 edges, 3805 markings/sec, 190 secs
lola: 774980 markings, 1827698 edges, 3796 markings/sec, 195 secs
lola: 793970 markings, 1872364 edges, 3798 markings/sec, 200 secs
lola: 812951 markings, 1917367 edges, 3796 markings/sec, 205 secs
lola: 831980 markings, 1962498 edges, 3806 markings/sec, 210 secs
lola: 851619 markings, 2009021 edges, 3928 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(p90)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 25250 markings, 58402 edges, 5050 markings/sec, 0 secs
lola: 50515 markings, 112976 edges, 5053 markings/sec, 5 secs
lola: 74509 markings, 163013 edges, 4799 markings/sec, 10 secs
lola: 98145 markings, 211606 edges, 4727 markings/sec, 15 secs
lola: 121699 markings, 259752 edges, 4711 markings/sec, 20 secs
lola: 145292 markings, 308251 edges, 4719 markings/sec, 25 secs
lola: 168854 markings, 356733 edges, 4712 markings/sec, 30 secs
lola: 192373 markings, 405110 edges, 4704 markings/sec, 35 secs
lola: 215861 markings, 453432 edges, 4698 markings/sec, 40 secs
lola: 239345 markings, 501741 edges, 4697 markings/sec, 45 secs
lola: 262812 markings, 550018 edges, 4693 markings/sec, 50 secs
lola: 286244 markings, 598236 edges, 4686 markings/sec, 55 secs
lola: 309668 markings, 646411 edges, 4685 markings/sec, 60 secs
lola: 333050 markings, 694544 edges, 4676 markings/sec, 65 secs
lola: 356405 markings, 742595 edges, 4671 markings/sec, 70 secs
lola: 379754 markings, 790633 edges, 4670 markings/sec, 75 secs
lola: 403119 markings, 838718 edges, 4673 markings/sec, 80 secs
lola: 426402 markings, 886641 edges, 4657 markings/sec, 85 secs
lola: 449581 markings, 934348 edges, 4636 markings/sec, 90 secs
lola: 472716 markings, 982307 edges, 4627 markings/sec, 95 secs
lola: 495874 markings, 1029994 edges, 4632 markings/sec, 100 secs
lola: 519215 markings, 1078038 edges, 4668 markings/sec, 105 secs
lola: 542517 markings, 1126006 edges, 4660 markings/sec, 110 secs
lola: 565781 markings, 1174239 edges, 4653 markings/sec, 115 secs
lola: 589243 markings, 1222541 edges, 4692 markings/sec, 120 secs
lola: 613025 markings, 1271834 edges, 4756 markings/sec, 125 secs
lola: 636236 markings, 1319613 edges, 4642 markings/sec, 130 secs
lola: 659390 markings, 1367648 edges, 4631 markings/sec, 135 secs
lola: 682502 markings, 1415593 edges, 4622 markings/sec, 140 secs
lola: 705612 markings, 1463191 edges, 4622 markings/sec, 145 secs
lola: 728702 markings, 1511078 edges, 4618 markings/sec, 150 secs
lola: 751751 markings, 1558918 edges, 4610 markings/sec, 155 secs
lola: 774784 markings, 1606715 edges, 4607 markings/sec, 160 secs
lola: 797809 markings, 1654499 edges, 4605 markings/sec, 165 secs
lola: 820806 markings, 1702239 edges, 4599 markings/sec, 170 secs
lola: 843783 markings, 1750284 edges, 4595 markings/sec, 175 secs
lola: 867578 markings, 1799646 edges, 4759 markings/sec, 180 secs
lola: 891317 markings, 1849268 edges, 4748 markings/sec, 185 secs
lola: 915020 markings, 1898817 edges, 4741 markings/sec, 190 secs
lola: 938682 markings, 1948280 edges, 4732 markings/sec, 195 secs
lola: 962305 markings, 1997683 edges, 4725 markings/sec, 200 secs
lola: 985902 markings, 2047420 edges, 4719 markings/sec, 205 secs
lola: 1009422 markings, 2097009 edges, 4704 markings/sec, 210 secs
lola: 1032924 markings, 2146934 edges, 4700 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(p82)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 42951 markings, 52011 edges, 8590 markings/sec, 0 secs
lola: 84799 markings, 107599 edges, 8370 markings/sec, 5 secs
lola: 141095 markings, 188068 edges, 11259 markings/sec, 10 secs
lola: 204718 markings, 267920 edges, 12725 markings/sec, 15 secs
lola: 268591 markings, 349761 edges, 12775 markings/sec, 20 secs
lola: 334392 markings, 438708 edges, 13160 markings/sec, 25 secs
lola: 381128 markings, 517025 edges, 9347 markings/sec, 30 secs
lola: 416079 markings, 573530 edges, 6990 markings/sec, 35 secs
lola: 451534 markings, 632368 edges, 7091 markings/sec, 40 secs
lola: 487763 markings, 696909 edges, 7246 markings/sec, 45 secs
lola: 528367 markings, 757432 edges, 8121 markings/sec, 50 secs
lola: 569831 markings, 810465 edges, 8293 markings/sec, 55 secs
lola: 619195 markings, 884279 edges, 9873 markings/sec, 60 secs
lola: 681653 markings, 962300 edges, 12492 markings/sec, 65 secs
lola: 742973 markings, 1040230 edges, 12264 markings/sec, 70 secs
lola: 808478 markings, 1126518 edges, 13101 markings/sec, 75 secs
lola: 864813 markings, 1215731 edges, 11267 markings/sec, 80 secs
lola: 899425 markings, 1271435 edges, 6922 markings/sec, 85 secs
lola: 933891 markings, 1327788 edges, 6893 markings/sec, 90 secs
lola: 970013 markings, 1389571 edges, 7224 markings/sec, 95 secs
lola: 1007393 markings, 1455417 edges, 7476 markings/sec, 100 secs
lola: 1049160 markings, 1506968 edges, 8353 markings/sec, 105 secs
lola: 1090412 markings, 1567476 edges, 8250 markings/sec, 110 secs
lola: 1151306 markings, 1647871 edges, 12179 markings/sec, 115 secs
lola: 1212200 markings, 1724512 edges, 12179 markings/sec, 120 secs
lola: 1275441 markings, 1806120 edges, 12648 markings/sec, 125 secs
lola: 1339659 markings, 1895300 edges, 12844 markings/sec, 130 secs
lola: 1379866 markings, 1964628 edges, 8041 markings/sec, 135 secs
lola: 1414122 markings, 2020108 edges, 6851 markings/sec, 140 secs
lola: 1449179 markings, 2078598 edges, 7011 markings/sec, 145 secs
lola: 1484613 markings, 2143288 edges, 7087 markings/sec, 150 secs
lola: 1525103 markings, 2200467 edges, 8098 markings/sec, 155 secs
lola: 1566083 markings, 2253726 edges, 8196 markings/sec, 160 secs
lola: 1620008 markings, 2332401 edges, 10785 markings/sec, 165 secs
lola: 1684398 markings, 2413195 edges, 12878 markings/sec, 170 secs
lola: 1749465 markings, 2496626 edges, 13013 markings/sec, 175 secs
lola: 1816511 markings, 2587488 edges, 13409 markings/sec, 180 secs
lola: 1863048 markings, 2665925 edges, 9307 markings/sec, 185 secs
lola: 1898727 markings, 2723809 edges, 7136 markings/sec, 190 secs
lola: 1935345 markings, 2784878 edges, 7324 markings/sec, 195 secs
lola: 1972082 markings, 2854436 edges, 7347 markings/sec, 200 secs
lola: 2015128 markings, 2910517 edges, 8609 markings/sec, 205 secs
lola: 2057799 markings, 2967731 edges, 8534 markings/sec, 210 secs
lola: 2116124 markings, 3050135 edges, 11665 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(p1260)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 26688 markings, 57629 edges, 5338 markings/sec, 0 secs
lola: 52419 markings, 112232 edges, 5146 markings/sec, 5 secs
lola: 76867 markings, 162487 edges, 4890 markings/sec, 10 secs
lola: 101291 markings, 212692 edges, 4885 markings/sec, 15 secs
lola: 125660 markings, 262793 edges, 4874 markings/sec, 20 secs
lola: 149959 markings, 312754 edges, 4860 markings/sec, 25 secs
lola: 174264 markings, 362729 edges, 4861 markings/sec, 30 secs
lola: 198553 markings, 412677 edges, 4858 markings/sec, 35 secs
lola: 222805 markings, 462223 edges, 4850 markings/sec, 40 secs
lola: 247041 markings, 512062 edges, 4847 markings/sec, 45 secs
lola: 271210 markings, 562085 edges, 4834 markings/sec, 50 secs
lola: 295368 markings, 611777 edges, 4832 markings/sec, 55 secs
lola: 319482 markings, 661378 edges, 4823 markings/sec, 60 secs
lola: 343555 markings, 710879 edges, 4815 markings/sec, 65 secs
lola: 367609 markings, 760370 edges, 4811 markings/sec, 70 secs
lola: 391662 markings, 809855 edges, 4811 markings/sec, 75 secs
lola: 415649 markings, 859192 edges, 4797 markings/sec, 80 secs
lola: 439601 markings, 908795 edges, 4790 markings/sec, 85 secs
lola: 463519 markings, 958025 edges, 4784 markings/sec, 90 secs
lola: 487587 markings, 1007530 edges, 4814 markings/sec, 95 secs
lola: 511517 markings, 1057124 edges, 4786 markings/sec, 100 secs
lola: 535445 markings, 1106359 edges, 4786 markings/sec, 105 secs
lola: 559296 markings, 1155453 edges, 4770 markings/sec, 110 secs
lola: 583110 markings, 1204805 edges, 4763 markings/sec, 115 secs
lola: 606899 markings, 1253771 edges, 4758 markings/sec, 120 secs
lola: 630695 markings, 1303087 edges, 4759 markings/sec, 125 secs
lola: 654401 markings, 1352229 edges, 4741 markings/sec, 130 secs
lola: 678124 markings, 1401410 edges, 4745 markings/sec, 135 secs
lola: 702132 markings, 1450841 edges, 4802 markings/sec, 140 secs
lola: 726076 markings, 1500487 edges, 4789 markings/sec, 145 secs
lola: 750021 markings, 1550127 edges, 4789 markings/sec, 150 secs
lola: 773890 markings, 1599975 edges, 4774 markings/sec, 155 secs
lola: 797798 markings, 1649549 edges, 4782 markings/sec, 160 secs
lola: 821653 markings, 1699043 edges, 4771 markings/sec, 165 secs
lola: 846046 markings, 1749963 edges, 4879 markings/sec, 170 secs
lola: 870767 markings, 1801563 edges, 4944 markings/sec, 175 secs
lola: 895451 markings, 1853111 edges, 4937 markings/sec, 180 secs
lola: 920091 markings, 1904571 edges, 4928 markings/sec, 185 secs
lola: 944668 markings, 1955890 edges, 4915 markings/sec, 190 secs
lola: 969208 markings, 2007538 edges, 4908 markings/sec, 195 secs
lola: 993690 markings, 2059430 edges, 4896 markings/sec, 200 secs
lola: 1018116 markings, 2111248 edges, 4885 markings/sec, 205 secs
lola: 1042462 markings, 2162902 edges, 4869 markings/sec, 210 secs
lola: 1066595 markings, 2215289 edges, 4827 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(p428)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 44896 markings, 54448 edges, 8979 markings/sec, 0 secs
lola: 89127 markings, 114155 edges, 8846 markings/sec, 5 secs
lola: 151133 markings, 200522 edges, 12401 markings/sec, 10 secs
lola: 217480 markings, 284135 edges, 13269 markings/sec, 15 secs
lola: 285952 markings, 372487 edges, 13694 markings/sec, 20 secs
lola: 354262 markings, 469484 edges, 13662 markings/sec, 25 secs
lola: 393886 markings, 537602 edges, 7925 markings/sec, 30 secs
lola: 430564 markings, 597405 edges, 7336 markings/sec, 35 secs
lola: 468619 markings, 661758 edges, 7611 markings/sec, 40 secs
lola: 508088 markings, 732876 edges, 7894 markings/sec, 45 secs
lola: 552135 markings, 787212 edges, 8809 markings/sec, 50 secs
lola: 595841 markings, 855002 edges, 8741 markings/sec, 55 secs
lola: 661797 markings, 937384 edges, 13191 markings/sec, 60 secs
lola: 726373 markings, 1018997 edges, 12915 markings/sec, 65 secs
lola: 794768 markings, 1108016 edges, 13679 markings/sec, 70 secs
lola: 859127 markings, 1206673 edges, 12872 markings/sec, 75 secs
lola: 895854 markings, 1265516 edges, 7345 markings/sec, 80 secs
lola: 931979 markings, 1324662 edges, 7225 markings/sec, 85 secs
lola: 970057 markings, 1389657 edges, 7616 markings/sec, 90 secs
lola: 1009762 markings, 1458276 edges, 7941 markings/sec, 95 secs
lola: 1053724 markings, 1512861 edges, 8792 markings/sec, 100 secs
lola: 1099346 markings, 1583169 edges, 9124 markings/sec, 105 secs
lola: 1165004 markings, 1664923 edges, 13132 markings/sec, 110 secs
lola: 1228707 markings, 1745576 edges, 12741 markings/sec, 115 secs
lola: 1296542 markings, 1834234 edges, 13567 markings/sec, 120 secs
lola: 1358330 markings, 1930252 edges, 12358 markings/sec, 125 secs
lola: 1394752 markings, 1988642 edges, 7284 markings/sec, 130 secs
lola: 1430825 markings, 2047718 edges, 7215 markings/sec, 135 secs
lola: 1468662 markings, 2112569 edges, 7567 markings/sec, 140 secs
lola: 1508650 markings, 2180311 edges, 7998 markings/sec, 145 secs
lola: 1552424 markings, 2235180 edges, 8755 markings/sec, 150 secs
lola: 1600466 markings, 2308125 edges, 9608 markings/sec, 155 secs
lola: 1666146 markings, 2390199 edges, 13136 markings/sec, 160 secs
lola: 1730796 markings, 2472451 edges, 12930 markings/sec, 165 secs
lola: 1799193 markings, 2563024 edges, 13679 markings/sec, 170 secs
lola: 1853930 markings, 2651368 edges, 10947 markings/sec, 175 secs
lola: 1890461 markings, 2710137 edges, 7306 markings/sec, 180 secs
lola: 1927209 markings, 2771072 edges, 7350 markings/sec, 185 secs
lola: 1964708 markings, 2837857 edges, 7500 markings/sec, 190 secs
lola: 2006855 markings, 2900239 edges, 8429 markings/sec, 195 secs
lola: 2050071 markings, 2956345 edges, 8643 markings/sec, 200 secs
lola: 2104993 markings, 3036334 edges, 10984 markings/sec, 205 secs
lola: 2169295 markings, 3117017 edges, 12860 markings/sec, 210 secs
lola: 2234837 markings, 3201048 edges, 13108 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(p1259)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 18249 markings, 44745 edges, 3650 markings/sec, 0 secs
lola: 36172 markings, 88777 edges, 3585 markings/sec, 5 secs
lola: 54216 markings, 130993 edges, 3609 markings/sec, 10 secs
lola: 72152 markings, 171519 edges, 3587 markings/sec, 15 secs
lola: 90138 markings, 212063 edges, 3597 markings/sec, 20 secs
lola: 108140 markings, 252624 edges, 3600 markings/sec, 25 secs
lola: 126030 markings, 293092 edges, 3578 markings/sec, 30 secs
lola: 143921 markings, 333416 edges, 3578 markings/sec, 35 secs
lola: 161902 markings, 374085 edges, 3596 markings/sec, 40 secs
lola: 179786 markings, 414403 edges, 3577 markings/sec, 45 secs
lola: 197570 markings, 454469 edges, 3557 markings/sec, 50 secs
lola: 215467 markings, 494997 edges, 3579 markings/sec, 55 secs
lola: 233456 markings, 535530 edges, 3598 markings/sec, 60 secs
lola: 251364 markings, 576086 edges, 3582 markings/sec, 65 secs
lola: 269705 markings, 617403 edges, 3668 markings/sec, 70 secs
lola: 288257 markings, 659389 edges, 3710 markings/sec, 75 secs
lola: 306809 markings, 701383 edges, 3710 markings/sec, 80 secs
lola: 325317 markings, 743125 edges, 3702 markings/sec, 85 secs
lola: 343771 markings, 784915 edges, 3691 markings/sec, 90 secs
lola: 362219 markings, 826503 edges, 3690 markings/sec, 95 secs
lola: 380748 markings, 868464 edges, 3706 markings/sec, 100 secs
lola: 399421 markings, 910760 edges, 3735 markings/sec, 105 secs
lola: 418078 markings, 953031 edges, 3731 markings/sec, 110 secs
lola: 436729 markings, 995111 edges, 3730 markings/sec, 115 secs
lola: 455321 markings, 1037220 edges, 3718 markings/sec, 120 secs
lola: 473920 markings, 1079395 edges, 3720 markings/sec, 125 secs
lola: 492507 markings, 1121501 edges, 3717 markings/sec, 130 secs
lola: 511075 markings, 1163677 edges, 3714 markings/sec, 135 secs
lola: 529644 markings, 1205510 edges, 3714 markings/sec, 140 secs
lola: 548184 markings, 1247564 edges, 3708 markings/sec, 145 secs
lola: 566703 markings, 1289559 edges, 3704 markings/sec, 150 secs
lola: 585201 markings, 1331527 edges, 3700 markings/sec, 155 secs
lola: 603690 markings, 1373462 edges, 3698 markings/sec, 160 secs
lola: 622153 markings, 1415336 edges, 3693 markings/sec, 165 secs
lola: 640600 markings, 1457200 edges, 3689 markings/sec, 170 secs
lola: 659027 markings, 1499040 edges, 3685 markings/sec, 175 secs
lola: 677439 markings, 1540822 edges, 3682 markings/sec, 180 secs
lola: 695825 markings, 1582802 edges, 3677 markings/sec, 185 secs
lola: 714231 markings, 1624618 edges, 3681 markings/sec, 190 secs
lola: 732634 markings, 1666430 edges, 3681 markings/sec, 195 secs
lola: 750982 markings, 1708333 edges, 3670 markings/sec, 200 secs
lola: 769326 markings, 1750020 edges, 3669 markings/sec, 205 secs
lola: 787650 markings, 1791693 edges, 3665 markings/sec, 210 secs
lola: 805958 markings, 1833533 edges, 3662 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(p90)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 23658 markings, 54994 edges, 4732 markings/sec, 0 secs
lola: 47267 markings, 105984 edges, 4722 markings/sec, 5 secs
lola: 70018 markings, 153881 edges, 4550 markings/sec, 10 secs
lola: 93237 markings, 201335 edges, 4644 markings/sec, 15 secs
lola: 116370 markings, 248925 edges, 4627 markings/sec, 20 secs
lola: 139593 markings, 296692 edges, 4645 markings/sec, 25 secs
lola: 162827 markings, 344501 edges, 4647 markings/sec, 30 secs
lola: 186017 markings, 392209 edges, 4638 markings/sec, 35 secs
lola: 209166 markings, 439508 edges, 4630 markings/sec, 40 secs
lola: 232285 markings, 487089 edges, 4624 markings/sec, 45 secs
lola: 255388 markings, 534616 edges, 4621 markings/sec, 50 secs
lola: 278473 markings, 582127 edges, 4617 markings/sec, 55 secs
lola: 301558 markings, 629637 edges, 4617 markings/sec, 60 secs
lola: 324624 markings, 677094 edges, 4613 markings/sec, 65 secs
lola: 347694 markings, 724586 edges, 4614 markings/sec, 70 secs
lola: 370853 markings, 772242 edges, 4632 markings/sec, 75 secs
lola: 394009 markings, 819919 edges, 4631 markings/sec, 80 secs
lola: 414216 markings, 861576 edges, 4041 markings/sec, 85 secs
lola: 427201 markings, 888275 edges, 2597 markings/sec, 90 secs
lola: 440147 markings, 914888 edges, 2589 markings/sec, 95 secs
lola: 453100 markings, 941837 edges, 2591 markings/sec, 100 secs
lola: 466034 markings, 968429 edges, 2587 markings/sec, 105 secs
lola: 478998 markings, 995054 edges, 2593 markings/sec, 110 secs
lola: 491948 markings, 1021680 edges, 2590 markings/sec, 115 secs
lola: 504861 markings, 1048572 edges, 2583 markings/sec, 120 secs
lola: 517793 markings, 1075149 edges, 2586 markings/sec, 125 secs
lola: 530740 markings, 1101768 edges, 2589 markings/sec, 130 secs
lola: 543084 markings, 1127156 edges, 2469 markings/sec, 135 secs
lola: 555404 markings, 1152829 edges, 2464 markings/sec, 140 secs
lola: 567746 markings, 1178213 edges, 2468 markings/sec, 145 secs
lola: 580112 markings, 1203655 edges, 2473 markings/sec, 150 secs
lola: 592464 markings, 1229402 edges, 2470 markings/sec, 155 secs
lola: 604816 markings, 1254811 edges, 2470 markings/sec, 160 secs
lola: 617171 markings, 1280230 edges, 2471 markings/sec, 165 secs
lola: 629498 markings, 1305953 edges, 2465 markings/sec, 170 secs
lola: 641814 markings, 1331286 edges, 2463 markings/sec, 175 secs
lola: 654129 markings, 1356624 edges, 2463 markings/sec, 180 secs
lola: 666427 markings, 1382264 edges, 2460 markings/sec, 185 secs
lola: 686837 markings, 1424375 edges, 4082 markings/sec, 190 secs
lola: 709553 markings, 1471520 edges, 4543 markings/sec, 195 secs
lola: 732253 markings, 1518646 edges, 4540 markings/sec, 200 secs
lola: 754945 markings, 1565406 edges, 4538 markings/sec, 205 secs
lola: 777626 markings, 1612481 edges, 4536 markings/sec, 210 secs
lola: 800262 markings, 1659484 edges, 4527 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(p420)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 17514 markings, 43312 edges, 3503 markings/sec, 0 secs
lola: 34922 markings, 85577 edges, 3482 markings/sec, 5 secs
lola: 52554 markings, 126304 edges, 3526 markings/sec, 10 secs
lola: 70269 markings, 165627 edges, 3543 markings/sec, 15 secs
lola: 88011 markings, 204888 edges, 3548 markings/sec, 20 secs
lola: 105602 markings, 244155 edges, 3518 markings/sec, 25 secs
lola: 123323 markings, 283449 edges, 3544 markings/sec, 30 secs
lola: 141043 markings, 322711 edges, 3544 markings/sec, 35 secs
lola: 158639 markings, 361940 edges, 3519 markings/sec, 40 secs
lola: 176348 markings, 401275 edges, 3542 markings/sec, 45 secs
lola: 194031 markings, 440471 edges, 3537 markings/sec, 50 secs
lola: 211724 markings, 479890 edges, 3539 markings/sec, 55 secs
lola: 229374 markings, 518985 edges, 3530 markings/sec, 60 secs
lola: 246989 markings, 558307 edges, 3523 markings/sec, 65 secs
lola: 264765 markings, 597667 edges, 3555 markings/sec, 70 secs
lola: 282256 markings, 636619 edges, 3498 markings/sec, 75 secs
lola: 299882 markings, 675850 edges, 3525 markings/sec, 80 secs
lola: 317416 markings, 714798 edges, 3507 markings/sec, 85 secs
lola: 335143 markings, 754288 edges, 3545 markings/sec, 90 secs
lola: 352755 markings, 793395 edges, 3522 markings/sec, 95 secs
lola: 370408 markings, 832746 edges, 3531 markings/sec, 100 secs
lola: 387971 markings, 871774 edges, 3513 markings/sec, 105 secs
lola: 405687 markings, 911106 edges, 3543 markings/sec, 110 secs
lola: 423167 markings, 950186 edges, 3496 markings/sec, 115 secs
lola: 440742 markings, 989196 edges, 3515 markings/sec, 120 secs
lola: 458296 markings, 1028369 edges, 3511 markings/sec, 125 secs
lola: 475822 markings, 1067348 edges, 3505 markings/sec, 130 secs
lola: 493433 markings, 1106531 edges, 3522 markings/sec, 135 secs
lola: 510962 markings, 1145680 edges, 3506 markings/sec, 140 secs
lola: 528443 markings, 1184678 edges, 3496 markings/sec, 145 secs
lola: 545956 markings, 1223578 edges, 3503 markings/sec, 150 secs
lola: 563457 markings, 1262556 edges, 3500 markings/sec, 155 secs
lola: 580868 markings, 1301475 edges, 3482 markings/sec, 160 secs
lola: 598311 markings, 1340423 edges, 3489 markings/sec, 165 secs
lola: 615765 markings, 1379248 edges, 3491 markings/sec, 170 secs
lola: 633211 markings, 1418157 edges, 3489 markings/sec, 175 secs
lola: 650629 markings, 1457034 edges, 3484 markings/sec, 180 secs
lola: 668036 markings, 1495894 edges, 3481 markings/sec, 185 secs
lola: 685426 markings, 1534710 edges, 3478 markings/sec, 190 secs
lola: 702790 markings, 1573482 edges, 3473 markings/sec, 195 secs
lola: 720128 markings, 1612227 edges, 3468 markings/sec, 200 secs
lola: 737453 markings, 1650991 edges, 3465 markings/sec, 205 secs
lola: 754769 markings, 1689698 edges, 3463 markings/sec, 210 secs
lola: 772046 markings, 1728485 edges, 3455 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(p766)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 42240 markings, 51170 edges, 8448 markings/sec, 0 secs
lola: 83744 markings, 106014 edges, 8301 markings/sec, 5 secs
lola: 139019 markings, 185416 edges, 11055 markings/sec, 10 secs
lola: 201792 markings, 264167 edges, 12555 markings/sec, 15 secs
lola: 264434 markings, 344360 edges, 12528 markings/sec, 20 secs
lola: 329754 markings, 432049 edges, 13064 markings/sec, 25 secs
lola: 378237 markings, 512429 edges, 9697 markings/sec, 30 secs
lola: 412823 markings, 568329 edges, 6917 markings/sec, 35 secs
lola: 447771 markings, 626006 edges, 6990 markings/sec, 40 secs
lola: 483590 markings, 688857 edges, 7164 markings/sec, 45 secs
lola: 522933 markings, 750783 edges, 7869 markings/sec, 50 secs
lola: 564069 markings, 802701 edges, 8227 markings/sec, 55 secs
lola: 609553 markings, 872323 edges, 9097 markings/sec, 60 secs
lola: 671623 markings, 949745 edges, 12414 markings/sec, 65 secs
lola: 732326 markings, 1026598 edges, 12141 markings/sec, 70 secs
lola: 797185 markings, 1111264 edges, 12972 markings/sec, 75 secs
lola: 858469 markings, 1205744 edges, 12257 markings/sec, 80 secs
lola: 893223 markings, 1261287 edges, 6951 markings/sec, 85 secs
lola: 927167 markings, 1316727 edges, 6789 markings/sec, 90 secs
lola: 963122 markings, 1377381 edges, 7191 markings/sec, 95 secs
lola: 999154 markings, 1445567 edges, 7206 markings/sec, 100 secs
lola: 1040950 markings, 1496558 edges, 8359 markings/sec, 105 secs
lola: 1082066 markings, 1552454 edges, 8223 markings/sec, 110 secs
lola: 1138929 markings, 1632322 edges, 11373 markings/sec, 115 secs
lola: 1202267 markings, 1711894 edges, 12668 markings/sec, 120 secs
lola: 1266884 markings, 1794994 edges, 12923 markings/sec, 125 secs
lola: 1333963 markings, 1886617 edges, 13416 markings/sec, 130 secs
lola: 1378024 markings, 1961714 edges, 8812 markings/sec, 135 secs
lola: 1413619 markings, 2019379 edges, 7119 markings/sec, 140 secs
lola: 1450139 markings, 2080231 edges, 7304 markings/sec, 145 secs
lola: 1486903 markings, 2148628 edges, 7353 markings/sec, 150 secs
lola: 1529702 markings, 2206133 edges, 8560 markings/sec, 155 secs
lola: 1572317 markings, 2262774 edges, 8523 markings/sec, 160 secs
lola: 1629726 markings, 2344638 edges, 11482 markings/sec, 165 secs
lola: 1693378 markings, 2424637 edges, 12730 markings/sec, 170 secs
lola: 1759478 markings, 2509740 edges, 13220 markings/sec, 175 secs
lola: 1826246 markings, 2602055 edges, 13354 markings/sec, 180 secs
lola: 1868283 markings, 2674363 edges, 8407 markings/sec, 185 secs
lola: 1903921 markings, 2732316 edges, 7128 markings/sec, 190 secs
lola: 1941052 markings, 2794726 edges, 7426 markings/sec, 195 secs
lola: 1978310 markings, 2865683 edges, 7452 markings/sec, 200 secs
lola: 2021816 markings, 2918908 edges, 8701 markings/sec, 205 secs
lola: 2064469 markings, 2978507 edges, 8531 markings/sec, 210 secs
lola: 2125579 markings, 3062062 edges, 12222 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(p1267)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 26707 markings, 57713 edges, 5341 markings/sec, 0 secs
lola: 52462 markings, 112326 edges, 5151 markings/sec, 5 secs
lola: 76960 markings, 162692 edges, 4900 markings/sec, 10 secs
lola: 101459 markings, 213048 edges, 4900 markings/sec, 15 secs
lola: 125913 markings, 263320 edges, 4891 markings/sec, 20 secs
lola: 150321 markings, 313508 edges, 4882 markings/sec, 25 secs
lola: 174693 markings, 363618 edges, 4874 markings/sec, 30 secs
lola: 199042 markings, 413676 edges, 4870 markings/sec, 35 secs
lola: 223343 markings, 463649 edges, 4860 markings/sec, 40 secs
lola: 247608 markings, 513547 edges, 4853 markings/sec, 45 secs
lola: 271842 markings, 563385 edges, 4847 markings/sec, 50 secs
lola: 296051 markings, 613167 edges, 4842 markings/sec, 55 secs
lola: 320222 markings, 662885 edges, 4834 markings/sec, 60 secs
lola: 344349 markings, 712514 edges, 4825 markings/sec, 65 secs
lola: 368492 markings, 762166 edges, 4829 markings/sec, 70 secs
lola: 392599 markings, 811767 edges, 4821 markings/sec, 75 secs
lola: 416628 markings, 861205 edges, 4806 markings/sec, 80 secs
lola: 440835 markings, 911334 edges, 4841 markings/sec, 85 secs
lola: 465013 markings, 961069 edges, 4836 markings/sec, 90 secs
lola: 489173 markings, 1010765 edges, 4832 markings/sec, 95 secs
lola: 513295 markings, 1060733 edges, 4824 markings/sec, 100 secs
lola: 537421 markings, 1110369 edges, 4825 markings/sec, 105 secs
lola: 561474 markings, 1160211 edges, 4811 markings/sec, 110 secs
lola: 585547 markings, 1209763 edges, 4815 markings/sec, 115 secs
lola: 609531 markings, 1259448 edges, 4797 markings/sec, 120 secs
lola: 633545 markings, 1308894 edges, 4803 markings/sec, 125 secs
lola: 657461 markings, 1358467 edges, 4783 markings/sec, 130 secs
lola: 681363 markings, 1408010 edges, 4780 markings/sec, 135 secs
lola: 705231 markings, 1457493 edges, 4774 markings/sec, 140 secs
lola: 729062 markings, 1506893 edges, 4766 markings/sec, 145 secs
lola: 752909 markings, 1556348 edges, 4769 markings/sec, 150 secs
lola: 776715 markings, 1605716 edges, 4761 markings/sec, 155 secs
lola: 800497 markings, 1655036 edges, 4756 markings/sec, 160 secs
lola: 824249 markings, 1704672 edges, 4750 markings/sec, 165 secs
lola: 848662 markings, 1755280 edges, 4883 markings/sec, 170 secs
lola: 873299 markings, 1806715 edges, 4927 markings/sec, 175 secs
lola: 897898 markings, 1858096 edges, 4920 markings/sec, 180 secs
lola: 922442 markings, 1909357 edges, 4909 markings/sec, 185 secs
lola: 946927 markings, 1960868 edges, 4897 markings/sec, 190 secs
lola: 971364 markings, 2012298 edges, 4887 markings/sec, 195 secs
lola: 995746 markings, 2063630 edges, 4876 markings/sec, 200 secs
lola: 1020086 markings, 2115258 edges, 4868 markings/sec, 205 secs
lola: 1044307 markings, 2167046 edges, 4844 markings/sec, 210 secs
lola: 1068315 markings, 2218780 edges, 4802 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(p1177)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 40344 markings, 48808 edges, 8069 markings/sec, 0 secs
lola: 80017 markings, 100608 edges, 7935 markings/sec, 5 secs
lola: 127977 markings, 171743 edges, 9592 markings/sec, 10 secs
lola: 183214 markings, 240734 edges, 11047 markings/sec, 15 secs
lola: 237825 markings, 309974 edges, 10922 markings/sec, 20 secs
lola: 294840 markings, 384281 edges, 11403 markings/sec, 25 secs
lola: 350965 markings, 463912 edges, 11225 markings/sec, 30 secs
lola: 387968 markings, 528176 edges, 7401 markings/sec, 35 secs
lola: 421193 markings, 581917 edges, 6645 markings/sec, 40 secs
lola: 455183 markings, 638499 edges, 6798 markings/sec, 45 secs
lola: 489484 markings, 700437 edges, 6860 markings/sec, 50 secs
lola: 528071 markings, 757077 edges, 7717 markings/sec, 55 secs
lola: 567558 markings, 807365 edges, 7897 markings/sec, 60 secs
lola: 611363 markings, 874527 edges, 8761 markings/sec, 65 secs
lola: 665744 markings, 942329 edges, 10876 markings/sec, 70 secs
lola: 718834 markings, 1009437 edges, 10618 markings/sec, 75 secs
lola: 774493 markings, 1081205 edges, 11132 markings/sec, 80 secs
lola: 830765 markings, 1157644 edges, 11254 markings/sec, 85 secs
lola: 873306 markings, 1229437 edges, 8508 markings/sec, 90 secs
lola: 906285 markings, 1282542 edges, 6596 markings/sec, 95 secs
lola: 939419 markings, 1336991 edges, 6627 markings/sec, 100 secs
lola: 972735 markings, 1394445 edges, 6663 markings/sec, 105 secs
lola: 1007226 markings, 1455182 edges, 6898 markings/sec, 110 secs
lola: 1045852 markings, 1502754 edges, 7725 markings/sec, 115 secs
lola: 1084946 markings, 1557070 edges, 7819 markings/sec, 120 secs
lola: 1133727 markings, 1625913 edges, 9756 markings/sec, 125 secs
lola: 1185061 markings, 1690222 edges, 10267 markings/sec, 130 secs
lola: 1235672 markings, 1754529 edges, 10122 markings/sec, 135 secs
lola: 1290585 markings, 1826234 edges, 10983 markings/sec, 140 secs
lola: 1345930 markings, 1905491 edges, 11069 markings/sec, 145 secs
lola: 1381530 markings, 1967278 edges, 7120 markings/sec, 150 secs
lola: 1414374 markings, 2020465 edges, 6569 markings/sec, 155 secs
lola: 1447690 markings, 2076018 edges, 6663 markings/sec, 160 secs
lola: 1480438 markings, 2134685 edges, 6550 markings/sec, 165 secs
lola: 1516813 markings, 2190250 edges, 7275 markings/sec, 170 secs
lola: 1555544 markings, 2239352 edges, 7746 markings/sec, 175 secs
lola: 1598104 markings, 2305167 edges, 8512 markings/sec, 180 secs
lola: 1651311 markings, 2371562 edges, 10641 markings/sec, 185 secs
lola: 1703362 markings, 2437319 edges, 10410 markings/sec, 190 secs
lola: 1756543 markings, 2505904 edges, 10636 markings/sec, 195 secs
lola: 1810642 markings, 2579080 edges, 10820 markings/sec, 200 secs
lola: 1853978 markings, 2651435 edges, 8667 markings/sec, 205 secs
lola: 1886897 markings, 2704498 edges, 6584 markings/sec, 210 secs
lola: 1918778 markings, 2756910 edges, 6376 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(p1259)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 18384 markings, 45014 edges, 3677 markings/sec, 0 secs
lola: 36420 markings, 89379 edges, 3607 markings/sec, 5 secs
lola: 54584 markings, 131797 edges, 3633 markings/sec, 10 secs
lola: 72596 markings, 172527 edges, 3602 markings/sec, 15 secs
lola: 90629 markings, 213163 edges, 3607 markings/sec, 20 secs
lola: 108759 markings, 254014 edges, 3626 markings/sec, 25 secs
lola: 127048 markings, 295361 edges, 3658 markings/sec, 30 secs
lola: 145769 markings, 337547 edges, 3744 markings/sec, 35 secs
lola: 164588 markings, 380119 edges, 3764 markings/sec, 40 secs
lola: 182794 markings, 421150 edges, 3641 markings/sec, 45 secs
lola: 201251 markings, 462907 edges, 3691 markings/sec, 50 secs
lola: 219385 markings, 503787 edges, 3627 markings/sec, 55 secs
lola: 238145 markings, 546216 edges, 3752 markings/sec, 60 secs
lola: 256654 markings, 587945 edges, 3702 markings/sec, 65 secs
lola: 275100 markings, 629677 edges, 3689 markings/sec, 70 secs
lola: 293067 markings, 670187 edges, 3593 markings/sec, 75 secs
lola: 311003 markings, 710826 edges, 3587 markings/sec, 80 secs
lola: 329312 markings, 752293 edges, 3662 markings/sec, 85 secs
lola: 347764 markings, 793883 edges, 3690 markings/sec, 90 secs
lola: 365663 markings, 834415 edges, 3580 markings/sec, 95 secs
lola: 383589 markings, 874848 edges, 3585 markings/sec, 100 secs
lola: 401522 markings, 915493 edges, 3587 markings/sec, 105 secs
lola: 419886 markings, 957083 edges, 3673 markings/sec, 110 secs
lola: 437781 markings, 997484 edges, 3579 markings/sec, 115 secs
lola: 455617 markings, 1037914 edges, 3567 markings/sec, 120 secs
lola: 473449 markings, 1078337 edges, 3566 markings/sec, 125 secs
lola: 491270 markings, 1118740 edges, 3564 markings/sec, 130 secs
lola: 509167 markings, 1159142 edges, 3579 markings/sec, 135 secs
lola: 527429 markings, 1200526 edges, 3652 markings/sec, 140 secs
lola: 545190 markings, 1240816 edges, 3552 markings/sec, 145 secs
lola: 563149 markings, 1281556 edges, 3592 markings/sec, 150 secs
lola: 581582 markings, 1323372 edges, 3687 markings/sec, 155 secs
lola: 599818 markings, 1364744 edges, 3647 markings/sec, 160 secs
lola: 617525 markings, 1404961 edges, 3541 markings/sec, 165 secs
lola: 635398 markings, 1445515 edges, 3575 markings/sec, 170 secs
lola: 653744 markings, 1487191 edges, 3669 markings/sec, 175 secs
lola: 672074 markings, 1528777 edges, 3666 markings/sec, 180 secs
lola: 690129 markings, 1569782 edges, 3611 markings/sec, 185 secs
lola: 707789 markings, 1609914 edges, 3532 markings/sec, 190 secs
lola: 725427 markings, 1649987 edges, 3528 markings/sec, 195 secs
lola: 743199 markings, 1690615 edges, 3554 markings/sec, 200 secs
lola: 761238 markings, 1731614 edges, 3608 markings/sec, 205 secs
lola: 779498 markings, 1773109 edges, 3652 markings/sec, 210 secs
lola: 797404 markings, 1814090 edges, 3581 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p83)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 34592 markings, 62495 edges, 6918 markings/sec, 0 secs
lola: 65659 markings, 116830 edges, 6213 markings/sec, 5 secs
lola: 96661 markings, 170968 edges, 6200 markings/sec, 10 secs
lola: 127613 markings, 225060 edges, 6190 markings/sec, 15 secs
lola: 158588 markings, 279179 edges, 6195 markings/sec, 20 secs
lola: 189494 markings, 333161 edges, 6181 markings/sec, 25 secs
lola: 220237 markings, 386891 edges, 6149 markings/sec, 30 secs
lola: 250913 markings, 440597 edges, 6135 markings/sec, 35 secs
lola: 281538 markings, 494196 edges, 6125 markings/sec, 40 secs
lola: 312331 markings, 548011 edges, 6159 markings/sec, 45 secs
lola: 342940 markings, 601500 edges, 6122 markings/sec, 50 secs
lola: 373350 markings, 654827 edges, 6082 markings/sec, 55 secs
lola: 403958 markings, 708329 edges, 6122 markings/sec, 60 secs
lola: 434361 markings, 761539 edges, 6081 markings/sec, 65 secs
lola: 463615 markings, 812815 edges, 5851 markings/sec, 70 secs
lola: 494060 markings, 866039 edges, 6089 markings/sec, 75 secs
lola: 524180 markings, 918879 edges, 6024 markings/sec, 80 secs
lola: 554424 markings, 971818 edges, 6049 markings/sec, 85 secs
lola: 584644 markings, 1024752 edges, 6044 markings/sec, 90 secs
lola: 614584 markings, 1077293 edges, 5988 markings/sec, 95 secs
lola: 644692 markings, 1130052 edges, 6022 markings/sec, 100 secs
lola: 674741 markings, 1182725 edges, 6010 markings/sec, 105 secs
lola: 704763 markings, 1235371 edges, 6004 markings/sec, 110 secs
lola: 736286 markings, 1290741 edges, 6305 markings/sec, 115 secs
lola: 767727 markings, 1346005 edges, 6288 markings/sec, 120 secs
lola: 799242 markings, 1401306 edges, 6303 markings/sec, 125 secs
lola: 830592 markings, 1456420 edges, 6270 markings/sec, 130 secs
lola: 861920 markings, 1511514 edges, 6266 markings/sec, 135 secs
lola: 893136 markings, 1566490 edges, 6243 markings/sec, 140 secs
lola: 924347 markings, 1621430 edges, 6242 markings/sec, 145 secs
lola: 955554 markings, 1676443 edges, 6241 markings/sec, 150 secs
lola: 986738 markings, 1731391 edges, 6237 markings/sec, 155 secs
lola: 1017692 markings, 1786110 edges, 6191 markings/sec, 160 secs
lola: 1048422 markings, 1840467 edges, 6146 markings/sec, 165 secs
lola: 1078602 markings, 1893979 edges, 6036 markings/sec, 170 secs
lola: 1108713 markings, 1947362 edges, 6022 markings/sec, 175 secs
lola: 1138631 markings, 2000739 edges, 5984 markings/sec, 180 secs
lola: 1168417 markings, 2053991 edges, 5957 markings/sec, 185 secs
lola: 1199359 markings, 2109761 edges, 6188 markings/sec, 190 secs
lola: 1231191 markings, 2168579 edges, 6366 markings/sec, 195 secs
lola: 1263524 markings, 2226952 edges, 6467 markings/sec, 200 secs
lola: 1294978 markings, 2279740 edges, 6291 markings/sec, 205 secs
lola: 1326107 markings, 2329975 edges, 6226 markings/sec, 210 secs
lola: 1357400 markings, 2380481 edges, 6259 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p601)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 22864 markings, 53722 edges, 4573 markings/sec, 0 secs
lola: 45235 markings, 106169 edges, 4474 markings/sec, 5 secs
lola: 66654 markings, 153015 edges, 4284 markings/sec, 10 secs
lola: 88076 markings, 200188 edges, 4284 markings/sec, 15 secs
lola: 109436 markings, 246918 edges, 4272 markings/sec, 20 secs
lola: 130705 markings, 293766 edges, 4254 markings/sec, 25 secs
lola: 151966 markings, 340603 edges, 4252 markings/sec, 30 secs
lola: 173215 markings, 387073 edges, 4250 markings/sec, 35 secs
lola: 194447 markings, 433854 edges, 4246 markings/sec, 40 secs
lola: 215642 markings, 480534 edges, 4239 markings/sec, 45 secs
lola: 236875 markings, 527333 edges, 4247 markings/sec, 50 secs
lola: 258047 markings, 573656 edges, 4234 markings/sec, 55 secs
lola: 279202 markings, 620259 edges, 4231 markings/sec, 60 secs
lola: 300317 markings, 666785 edges, 4223 markings/sec, 65 secs
lola: 321417 markings, 713280 edges, 4220 markings/sec, 70 secs
lola: 342514 markings, 759766 edges, 4219 markings/sec, 75 secs
lola: 363598 markings, 806233 edges, 4217 markings/sec, 80 secs
lola: 384660 markings, 852309 edges, 4212 markings/sec, 85 secs
lola: 405709 markings, 898703 edges, 4210 markings/sec, 90 secs
lola: 426738 markings, 945036 edges, 4206 markings/sec, 95 secs
lola: 447741 markings, 991331 edges, 4201 markings/sec, 100 secs
lola: 468720 markings, 1037589 edges, 4196 markings/sec, 105 secs
lola: 489679 markings, 1083775 edges, 4192 markings/sec, 110 secs
lola: 510627 markings, 1129959 edges, 4190 markings/sec, 115 secs
lola: 531549 markings, 1176416 edges, 4184 markings/sec, 120 secs
lola: 552448 markings, 1222512 edges, 4180 markings/sec, 125 secs
lola: 573345 markings, 1268592 edges, 4179 markings/sec, 130 secs
lola: 594228 markings, 1314623 edges, 4177 markings/sec, 135 secs
lola: 615069 markings, 1360584 edges, 4168 markings/sec, 140 secs
lola: 635864 markings, 1406798 edges, 4159 markings/sec, 145 secs
lola: 656688 markings, 1452709 edges, 4165 markings/sec, 150 secs
lola: 677458 markings, 1498521 edges, 4154 markings/sec, 155 secs
lola: 698221 markings, 1544673 edges, 4153 markings/sec, 160 secs
lola: 718972 markings, 1590442 edges, 4150 markings/sec, 165 secs
lola: 739696 markings, 1636531 edges, 4145 markings/sec, 170 secs
lola: 760388 markings, 1682517 edges, 4138 markings/sec, 175 secs
lola: 781074 markings, 1728501 edges, 4137 markings/sec, 180 secs
lola: 801735 markings, 1774107 edges, 4132 markings/sec, 185 secs
lola: 822399 markings, 1820059 edges, 4133 markings/sec, 190 secs
lola: 843464 markings, 1866874 edges, 4213 markings/sec, 195 secs
lola: 864820 markings, 1914695 edges, 4271 markings/sec, 200 secs
lola: 886147 markings, 1962103 edges, 4265 markings/sec, 205 secs
lola: 907434 markings, 2009779 edges, 4257 markings/sec, 210 secs
lola: 928698 markings, 2057063 edges, 4253 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(p422 + p423 + p424 + p425 + p426)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 19697 markings, 49808 edges, 3939 markings/sec, 0 secs
lola: 39072 markings, 99084 edges, 3875 markings/sec, 5 secs
lola: 58677 markings, 146191 edges, 3921 markings/sec, 10 secs
lola: 78187 markings, 191686 edges, 3902 markings/sec, 15 secs
lola: 97629 markings, 237355 edges, 3888 markings/sec, 20 secs
lola: 117106 markings, 282750 edges, 3895 markings/sec, 25 secs
lola: 136552 markings, 328422 edges, 3889 markings/sec, 30 secs
lola: 155943 markings, 373646 edges, 3878 markings/sec, 35 secs
lola: 175316 markings, 419118 edges, 3875 markings/sec, 40 secs
lola: 194685 markings, 464321 edges, 3874 markings/sec, 45 secs
lola: 214040 markings, 509747 edges, 3871 markings/sec, 50 secs
lola: 233384 markings, 554856 edges, 3869 markings/sec, 55 secs
lola: 252688 markings, 600210 edges, 3861 markings/sec, 60 secs
lola: 272018 markings, 645614 edges, 3866 markings/sec, 65 secs
lola: 291604 markings, 691280 edges, 3917 markings/sec, 70 secs
lola: 311541 markings, 738090 edges, 3987 markings/sec, 75 secs
lola: 331485 markings, 784935 edges, 3989 markings/sec, 80 secs
lola: 351425 markings, 831432 edges, 3988 markings/sec, 85 secs
lola: 371361 markings, 878230 edges, 3987 markings/sec, 90 secs
lola: 391283 markings, 925018 edges, 3984 markings/sec, 95 secs
lola: 411156 markings, 971709 edges, 3975 markings/sec, 100 secs
lola: 430638 markings, 1017466 edges, 3896 markings/sec, 105 secs
lola: 450481 markings, 1064081 edges, 3969 markings/sec, 110 secs
lola: 470325 markings, 1110381 edges, 3969 markings/sec, 115 secs
lola: 489337 markings, 1155046 edges, 3802 markings/sec, 120 secs
lola: 508362 markings, 1199755 edges, 3805 markings/sec, 125 secs
lola: 527370 markings, 1244439 edges, 3802 markings/sec, 130 secs
lola: 546322 markings, 1288996 edges, 3790 markings/sec, 135 secs
lola: 565267 markings, 1333533 edges, 3789 markings/sec, 140 secs
lola: 584213 markings, 1378097 edges, 3789 markings/sec, 145 secs
lola: 603119 markings, 1422555 edges, 3781 markings/sec, 150 secs
lola: 622023 markings, 1467000 edges, 3781 markings/sec, 155 secs
lola: 640899 markings, 1511365 edges, 3775 markings/sec, 160 secs
lola: 659746 markings, 1555699 edges, 3769 markings/sec, 165 secs
lola: 678580 markings, 1600339 edges, 3767 markings/sec, 170 secs
lola: 697431 markings, 1644679 edges, 3770 markings/sec, 175 secs
lola: 716265 markings, 1688968 edges, 3767 markings/sec, 180 secs
lola: 735074 markings, 1733235 edges, 3762 markings/sec, 185 secs
lola: 753856 markings, 1777734 edges, 3756 markings/sec, 190 secs
lola: 772680 markings, 1822019 edges, 3765 markings/sec, 195 secs
lola: 791590 markings, 1866852 edges, 3782 markings/sec, 200 secs
lola: 810458 markings, 1911604 edges, 3774 markings/sec, 205 secs
lola: 829327 markings, 1955993 edges, 3774 markings/sec, 210 secs
lola: 848779 markings, 2002095 edges, 3890 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1267)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 25726 markings, 55615 edges, 5145 markings/sec, 0 secs
lola: 50576 markings, 108505 edges, 4970 markings/sec, 5 secs
lola: 74140 markings, 156955 edges, 4713 markings/sec, 10 secs
lola: 97673 markings, 205360 edges, 4707 markings/sec, 15 secs
lola: 121190 markings, 253407 edges, 4703 markings/sec, 20 secs
lola: 144640 markings, 301641 edges, 4690 markings/sec, 25 secs
lola: 167902 markings, 349494 edges, 4652 markings/sec, 30 secs
lola: 191116 markings, 397264 edges, 4643 markings/sec, 35 secs
lola: 214348 markings, 445070 edges, 4646 markings/sec, 40 secs
lola: 237536 markings, 492778 edges, 4638 markings/sec, 45 secs
lola: 260691 markings, 540417 edges, 4631 markings/sec, 50 secs
lola: 283851 markings, 588089 edges, 4632 markings/sec, 55 secs
lola: 307282 markings, 636294 edges, 4686 markings/sec, 60 secs
lola: 331445 markings, 685982 edges, 4833 markings/sec, 65 secs
lola: 355575 markings, 735617 edges, 4826 markings/sec, 70 secs
lola: 379739 markings, 785338 edges, 4833 markings/sec, 75 secs
lola: 403857 markings, 834951 edges, 4824 markings/sec, 80 secs
lola: 427921 markings, 884444 edges, 4813 markings/sec, 85 secs
lola: 451939 markings, 934195 edges, 4804 markings/sec, 90 secs
lola: 475431 markings, 982550 edges, 4698 markings/sec, 95 secs
lola: 499616 markings, 1032304 edges, 4837 markings/sec, 100 secs
lola: 523789 markings, 1082381 edges, 4835 markings/sec, 105 secs
lola: 547985 markings, 1132171 edges, 4839 markings/sec, 110 secs
lola: 572106 markings, 1182145 edges, 4824 markings/sec, 115 secs
lola: 596233 markings, 1231791 edges, 4825 markings/sec, 120 secs
lola: 620294 markings, 1281639 edges, 4812 markings/sec, 125 secs
lola: 644324 markings, 1331439 edges, 4806 markings/sec, 130 secs
lola: 668379 markings, 1380967 edges, 4811 markings/sec, 135 secs
lola: 692383 markings, 1430722 edges, 4801 markings/sec, 140 secs
lola: 716362 markings, 1480417 edges, 4796 markings/sec, 145 secs
lola: 740307 markings, 1530064 edges, 4789 markings/sec, 150 secs
lola: 764224 markings, 1579667 edges, 4783 markings/sec, 155 secs
lola: 788099 markings, 1629179 edges, 4775 markings/sec, 160 secs
lola: 811990 markings, 1679089 edges, 4778 markings/sec, 165 secs
lola: 836112 markings, 1729114 edges, 4824 markings/sec, 170 secs
lola: 860958 markings, 1780972 edges, 4969 markings/sec, 175 secs
lola: 885759 markings, 1832733 edges, 4960 markings/sec, 180 secs
lola: 910513 markings, 1884426 edges, 4951 markings/sec, 185 secs
lola: 935218 markings, 1936372 edges, 4941 markings/sec, 190 secs
lola: 959875 markings, 1987877 edges, 4931 markings/sec, 195 secs
lola: 984463 markings, 2039978 edges, 4918 markings/sec, 200 secs
lola: 1009014 markings, 2091668 edges, 4910 markings/sec, 205 secs
lola: 1033480 markings, 2143925 edges, 4893 markings/sec, 210 secs
lola: 1057783 markings, 2195890 edges, 4861 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA PolyORBNT-COL-S05J80-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494675924061

--------------------
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="PolyORBNT-COL-S05J80"
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/PolyORBNT-COL-S05J80.tgz
mv PolyORBNT-COL-S05J80 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 PolyORBNT-COL-S05J80, 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 r058-smll-149440926100038"
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 ;