Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is DLCround-PT-09b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-csrt-149580961800317
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DLCround-PT-09b-UpperBounds-0
FORMULA_NAME DLCround-PT-09b-UpperBounds-1
FORMULA_NAME DLCround-PT-09b-UpperBounds-10
FORMULA_NAME DLCround-PT-09b-UpperBounds-11
FORMULA_NAME DLCround-PT-09b-UpperBounds-12
FORMULA_NAME DLCround-PT-09b-UpperBounds-13
FORMULA_NAME DLCround-PT-09b-UpperBounds-14
FORMULA_NAME DLCround-PT-09b-UpperBounds-15
FORMULA_NAME DLCround-PT-09b-UpperBounds-2
FORMULA_NAME DLCround-PT-09b-UpperBounds-3
FORMULA_NAME DLCround-PT-09b-UpperBounds-4
FORMULA_NAME DLCround-PT-09b-UpperBounds-5
FORMULA_NAME DLCround-PT-09b-UpperBounds-6
FORMULA_NAME DLCround-PT-09b-UpperBounds-7
FORMULA_NAME DLCround-PT-09b-UpperBounds-8
FORMULA_NAME DLCround-PT-09b-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496541351591


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


checking for too many tokens
===========================================================================================
DLCround-PT-09b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ DLCround-PT-09b @ 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: 8934/65536 symbol table entries, 2001 collisions
lola: preprocessing...
lola: finding significant places
lola: 3495 places, 5439 transitions, 3311 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 7698 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-09b-UpperBounds.task
lola: MAX(p962) : MAX(p633) : MAX(p863) : MAX(p2389) : MAX(p773) : MAX(p782) : MAX(p772) : MAX(p3311) : MAX(p2499) : MAX(p364) : MAX(p1471) : MAX(p1643) : MAX(p2359) : MAX(p3075) : MAX(p1302) : MAX(p2227)
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(p962)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 416 bytes per marking, with 17 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: 117861 markings, 130665 edges, 23572 markings/sec, 0 secs
lola: 233739 markings, 259437 edges, 23176 markings/sec, 5 secs
lola: 348322 markings, 386892 edges, 22917 markings/sec, 10 secs
lola: 469639 markings, 521711 edges, 24263 markings/sec, 15 secs
lola: 591146 markings, 656940 edges, 24301 markings/sec, 20 secs
lola: 711606 markings, 791036 edges, 24092 markings/sec, 25 secs
lola: 832286 markings, 925352 edges, 24136 markings/sec, 30 secs
lola: 953340 markings, 1060089 edges, 24211 markings/sec, 35 secs
lola: 1073403 markings, 1193628 edges, 24013 markings/sec, 40 secs
lola: 1193172 markings, 1326969 edges, 23954 markings/sec, 45 secs
lola: 1312410 markings, 1459716 edges, 23848 markings/sec, 50 secs
lola: 1431092 markings, 1591838 edges, 23736 markings/sec, 55 secs
lola: 1549595 markings, 1723718 edges, 23701 markings/sec, 60 secs
lola: 1668066 markings, 1855535 edges, 23694 markings/sec, 65 secs
lola: 1788507 markings, 1989605 edges, 24088 markings/sec, 70 secs
lola: 1908059 markings, 2122683 edges, 23910 markings/sec, 75 secs
lola: 2026000 markings, 2253837 edges, 23588 markings/sec, 80 secs
lola: 2146828 markings, 2388413 edges, 24166 markings/sec, 85 secs
lola: 2270591 markings, 2526091 edges, 24753 markings/sec, 90 secs
lola: 2394519 markings, 2664014 edges, 24786 markings/sec, 95 secs
lola: 2518167 markings, 2801632 edges, 24730 markings/sec, 100 secs
lola: 2640320 markings, 2937582 edges, 24431 markings/sec, 105 secs
lola: 2762658 markings, 3073744 edges, 24468 markings/sec, 110 secs
lola: 2880951 markings, 3205493 edges, 23659 markings/sec, 115 secs
lola: 2999462 markings, 3337419 edges, 23702 markings/sec, 120 secs
lola: 3117645 markings, 3468954 edges, 23637 markings/sec, 125 secs
lola: 3239952 markings, 3605085 edges, 24461 markings/sec, 130 secs
lola: 3361774 markings, 3740856 edges, 24364 markings/sec, 135 secs
lola: 3482973 markings, 3875759 edges, 24240 markings/sec, 140 secs
lola: 3605051 markings, 4011630 edges, 24416 markings/sec, 145 secs
lola: 3727549 markings, 4147839 edges, 24500 markings/sec, 150 secs
lola: 3850690 markings, 4284876 edges, 24628 markings/sec, 155 secs
lola: 3973623 markings, 4421686 edges, 24587 markings/sec, 160 secs
lola: 4096405 markings, 4558481 edges, 24556 markings/sec, 165 secs
lola: 4219215 markings, 4695159 edges, 24562 markings/sec, 170 secs
lola: 4341106 markings, 4830704 edges, 24378 markings/sec, 175 secs
lola: 4463677 markings, 4967145 edges, 24514 markings/sec, 180 secs
lola: 4585746 markings, 5103004 edges, 24414 markings/sec, 185 secs
lola: 4706601 markings, 5237584 edges, 24171 markings/sec, 190 secs
lola: 4828334 markings, 5372983 edges, 24347 markings/sec, 195 secs
lola: 4950952 markings, 5509414 edges, 24524 markings/sec, 200 secs
lola: 5073510 markings, 5645874 edges, 24512 markings/sec, 205 secs
lola: 5196771 markings, 5783099 edges, 24652 markings/sec, 210 secs
lola: 5319615 markings, 5919812 edges, 24569 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(p633)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 416 bytes per marking, with 17 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: 75347 markings, 87767 edges, 15069 markings/sec, 0 secs
lola: 150553 markings, 176283 edges, 15041 markings/sec, 5 secs
lola: 225239 markings, 264699 edges, 14937 markings/sec, 10 secs
lola: 299294 markings, 352050 edges, 14811 markings/sec, 15 secs
lola: 375655 markings, 443403 edges, 15272 markings/sec, 20 secs
lola: 449337 markings, 532074 edges, 14736 markings/sec, 25 secs
lola: 523659 markings, 621764 edges, 14864 markings/sec, 30 secs
lola: 595518 markings, 708338 edges, 14372 markings/sec, 35 secs
lola: 669391 markings, 798546 edges, 14775 markings/sec, 40 secs
lola: 744226 markings, 890024 edges, 14967 markings/sec, 45 secs
lola: 819521 markings, 981758 edges, 15059 markings/sec, 50 secs
lola: 893597 markings, 1070518 edges, 14815 markings/sec, 55 secs
lola: 968833 markings, 1161252 edges, 15047 markings/sec, 60 secs
lola: 1042264 markings, 1249733 edges, 14686 markings/sec, 65 secs
lola: 1118984 markings, 1343470 edges, 15344 markings/sec, 70 secs
lola: 1192358 markings, 1432440 edges, 14675 markings/sec, 75 secs
lola: 1266638 markings, 1522135 edges, 14856 markings/sec, 80 secs
lola: 1340359 markings, 1611057 edges, 14744 markings/sec, 85 secs
lola: 1416303 markings, 1703407 edges, 15189 markings/sec, 90 secs
lola: 1491231 markings, 1795399 edges, 14986 markings/sec, 95 secs
lola: 1566547 markings, 1887355 edges, 15063 markings/sec, 100 secs
lola: 1642173 markings, 1979432 edges, 15125 markings/sec, 105 secs
lola: 1716182 markings, 2069216 edges, 14802 markings/sec, 110 secs
lola: 1791480 markings, 2161006 edges, 15060 markings/sec, 115 secs
lola: 1867046 markings, 2252786 edges, 15113 markings/sec, 120 secs
lola: 1942777 markings, 2344793 edges, 15146 markings/sec, 125 secs
lola: 2018345 markings, 2436968 edges, 15114 markings/sec, 130 secs
lola: 2094447 markings, 2529326 edges, 15220 markings/sec, 135 secs
lola: 2167915 markings, 2616335 edges, 14694 markings/sec, 140 secs
lola: 2244196 markings, 2704998 edges, 15256 markings/sec, 145 secs
lola: 2318832 markings, 2795554 edges, 14927 markings/sec, 150 secs
lola: 2391366 markings, 2883923 edges, 14507 markings/sec, 155 secs
lola: 2466522 markings, 2974655 edges, 15031 markings/sec, 160 secs
lola: 2540932 markings, 3063561 edges, 14882 markings/sec, 165 secs
lola: 2616047 markings, 3155727 edges, 15023 markings/sec, 170 secs
lola: 2694420 markings, 3252064 edges, 15675 markings/sec, 175 secs
lola: 2772033 markings, 3348039 edges, 15523 markings/sec, 180 secs
lola: 2849332 markings, 3443463 edges, 15460 markings/sec, 185 secs
lola: 2927380 markings, 3538651 edges, 15610 markings/sec, 190 secs
lola: 3005207 markings, 3635132 edges, 15565 markings/sec, 195 secs
lola: 3083373 markings, 3730848 edges, 15633 markings/sec, 200 secs
lola: 3160417 markings, 3825488 edges, 15409 markings/sec, 205 secs
lola: 3239085 markings, 3921721 edges, 15734 markings/sec, 210 secs
lola: 3315983 markings, 4017363 edges, 15380 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(p863)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 416 bytes per marking, with 17 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: 68789 markings, 75982 edges, 13758 markings/sec, 0 secs
lola: 140446 markings, 155257 edges, 14331 markings/sec, 5 secs
lola: 218185 markings, 242319 edges, 15548 markings/sec, 10 secs
lola: 295188 markings, 328375 edges, 15401 markings/sec, 15 secs
lola: 372676 markings, 414877 edges, 15498 markings/sec, 20 secs
lola: 450294 markings, 501519 edges, 15524 markings/sec, 25 secs
lola: 510074 markings, 568484 edges, 11956 markings/sec, 30 secs
lola: 569123 markings, 634583 edges, 11810 markings/sec, 35 secs
lola: 628855 markings, 701348 edges, 11946 markings/sec, 40 secs
lola: 688203 markings, 767857 edges, 11870 markings/sec, 45 secs
lola: 746755 markings, 833291 edges, 11710 markings/sec, 50 secs
lola: 806056 markings, 899377 edges, 11860 markings/sec, 55 secs
lola: 864791 markings, 964960 edges, 11747 markings/sec, 60 secs
lola: 922608 markings, 1029575 edges, 11563 markings/sec, 65 secs
lola: 997534 markings, 1113265 edges, 14985 markings/sec, 70 secs
lola: 1073822 markings, 1198626 edges, 15258 markings/sec, 75 secs
lola: 1150178 markings, 1283834 edges, 15271 markings/sec, 80 secs
lola: 1227551 markings, 1370384 edges, 15475 markings/sec, 85 secs
lola: 1303392 markings, 1454917 edges, 15168 markings/sec, 90 secs
lola: 1378823 markings, 1539174 edges, 15086 markings/sec, 95 secs
lola: 1454718 markings, 1624178 edges, 15179 markings/sec, 100 secs
lola: 1518633 markings, 1695367 edges, 12783 markings/sec, 105 secs
lola: 1576378 markings, 1759907 edges, 11549 markings/sec, 110 secs
lola: 1634153 markings, 1824433 edges, 11555 markings/sec, 115 secs
lola: 1693754 markings, 1890920 edges, 11920 markings/sec, 120 secs
lola: 1757409 markings, 1961982 edges, 12731 markings/sec, 125 secs
lola: 1834211 markings, 2047690 edges, 15360 markings/sec, 130 secs
lola: 1911277 markings, 2133728 edges, 15413 markings/sec, 135 secs
lola: 1975743 markings, 2206025 edges, 12893 markings/sec, 140 secs
lola: 2034136 markings, 2271393 edges, 11679 markings/sec, 145 secs
lola: 2091591 markings, 2335716 edges, 11491 markings/sec, 150 secs
lola: 2148544 markings, 2399653 edges, 11391 markings/sec, 155 secs
lola: 2206597 markings, 2464767 edges, 11611 markings/sec, 160 secs
lola: 2265513 markings, 2530724 edges, 11783 markings/sec, 165 secs
lola: 2323826 markings, 2595850 edges, 11663 markings/sec, 170 secs
lola: 2382357 markings, 2661158 edges, 11706 markings/sec, 175 secs
lola: 2439280 markings, 2724828 edges, 11385 markings/sec, 180 secs
lola: 2501699 markings, 2794595 edges, 12484 markings/sec, 185 secs
lola: 2577787 markings, 2879547 edges, 15218 markings/sec, 190 secs
lola: 2653128 markings, 2963852 edges, 15068 markings/sec, 195 secs
lola: 2729093 markings, 3048554 edges, 15193 markings/sec, 200 secs
lola: 2806459 markings, 3135089 edges, 15473 markings/sec, 205 secs
lola: 2883169 markings, 3220579 edges, 15342 markings/sec, 210 secs
lola: 2959429 markings, 3305744 edges, 15252 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(p2389)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 416 bytes per marking, with 17 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: 92335 markings, 103551 edges, 18467 markings/sec, 0 secs
lola: 184160 markings, 206517 edges, 18365 markings/sec, 5 secs
lola: 276348 markings, 309913 edges, 18438 markings/sec, 10 secs
lola: 371523 markings, 416291 edges, 19035 markings/sec, 15 secs
lola: 463257 markings, 518680 edges, 18347 markings/sec, 20 secs
lola: 554736 markings, 620846 edges, 18296 markings/sec, 25 secs
lola: 645132 markings, 721794 edges, 18079 markings/sec, 30 secs
lola: 738897 markings, 826499 edges, 18753 markings/sec, 35 secs
lola: 830525 markings, 928768 edges, 18326 markings/sec, 40 secs
lola: 920738 markings, 1029582 edges, 18043 markings/sec, 45 secs
lola: 1009561 markings, 1129146 edges, 17765 markings/sec, 50 secs
lola: 1099909 markings, 1230409 edges, 18070 markings/sec, 55 secs
lola: 1189477 markings, 1330840 edges, 17914 markings/sec, 60 secs
lola: 1279776 markings, 1432221 edges, 18060 markings/sec, 65 secs
lola: 1368883 markings, 1531712 edges, 17821 markings/sec, 70 secs
lola: 1455701 markings, 1628675 edges, 17364 markings/sec, 75 secs
lola: 1542200 markings, 1725291 edges, 17300 markings/sec, 80 secs
lola: 1632477 markings, 1826363 edges, 18055 markings/sec, 85 secs
lola: 1723753 markings, 1928646 edges, 18255 markings/sec, 90 secs
lola: 1814401 markings, 2029899 edges, 18130 markings/sec, 95 secs
lola: 1905057 markings, 2131436 edges, 18131 markings/sec, 100 secs
lola: 1994980 markings, 2232353 edges, 17985 markings/sec, 105 secs
lola: 2086241 markings, 2334768 edges, 18252 markings/sec, 110 secs
lola: 2178484 markings, 2438089 edges, 18449 markings/sec, 115 secs
lola: 2270770 markings, 2541571 edges, 18457 markings/sec, 120 secs
lola: 2361101 markings, 2642816 edges, 18066 markings/sec, 125 secs
lola: 2449883 markings, 2742505 edges, 17756 markings/sec, 130 secs
lola: 2539717 markings, 2843561 edges, 17967 markings/sec, 135 secs
lola: 2629562 markings, 2944379 edges, 17969 markings/sec, 140 secs
lola: 2720001 markings, 3046183 edges, 18088 markings/sec, 145 secs
lola: 2811417 markings, 3148631 edges, 18283 markings/sec, 150 secs
lola: 2901179 markings, 3249348 edges, 17952 markings/sec, 155 secs
lola: 2989654 markings, 3348759 edges, 17695 markings/sec, 160 secs
lola: 3080507 markings, 3451144 edges, 18171 markings/sec, 165 secs
lola: 3172452 markings, 3554097 edges, 18389 markings/sec, 170 secs
lola: 3261982 markings, 3654517 edges, 17906 markings/sec, 175 secs
lola: 3352138 markings, 3755583 edges, 18031 markings/sec, 180 secs
lola: 3441066 markings, 3855322 edges, 17786 markings/sec, 185 secs
lola: 3531539 markings, 3956901 edges, 18095 markings/sec, 190 secs
lola: 3621897 markings, 4058156 edges, 18072 markings/sec, 195 secs
lola: 3710993 markings, 4158171 edges, 17819 markings/sec, 200 secs
lola: 3801302 markings, 4259454 edges, 18062 markings/sec, 205 secs
lola: 3890414 markings, 4359614 edges, 17822 markings/sec, 210 secs
lola: 3979810 markings, 4460188 edges, 17879 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(p773)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 416 bytes per marking, with 17 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: 124868 markings, 139722 edges, 24974 markings/sec, 0 secs
lola: 269555 markings, 303112 edges, 28937 markings/sec, 5 secs
lola: 419470 markings, 472602 edges, 29983 markings/sec, 10 secs
lola: 567946 markings, 640560 edges, 29695 markings/sec, 15 secs
lola: 711429 markings, 802579 edges, 28697 markings/sec, 20 secs
lola: 850559 markings, 959958 edges, 27826 markings/sec, 25 secs
lola: 993729 markings, 1121713 edges, 28634 markings/sec, 30 secs
lola: 1146562 markings, 1294587 edges, 30567 markings/sec, 35 secs
lola: 1286861 markings, 1453673 edges, 28060 markings/sec, 40 secs
lola: 1435124 markings, 1621513 edges, 29653 markings/sec, 45 secs
lola: 1580765 markings, 1786272 edges, 29128 markings/sec, 50 secs
lola: 1729240 markings, 1953717 edges, 29695 markings/sec, 55 secs
lola: 1876512 markings, 2120737 edges, 29454 markings/sec, 60 secs
lola: 2026750 markings, 2290639 edges, 30048 markings/sec, 65 secs
lola: 2171116 markings, 2453916 edges, 28873 markings/sec, 70 secs
lola: 2318141 markings, 2620586 edges, 29405 markings/sec, 75 secs
lola: 2463906 markings, 2785691 edges, 29153 markings/sec, 80 secs
lola: 2610538 markings, 2951439 edges, 29326 markings/sec, 85 secs
lola: 2755146 markings, 3115548 edges, 28922 markings/sec, 90 secs
lola: 2901169 markings, 3280439 edges, 29205 markings/sec, 95 secs
lola: 3045743 markings, 3443520 edges, 28915 markings/sec, 100 secs
lola: 3191156 markings, 3608438 edges, 29083 markings/sec, 105 secs
lola: 3333718 markings, 3770453 edges, 28512 markings/sec, 110 secs
lola: 3477317 markings, 3932522 edges, 28720 markings/sec, 115 secs
lola: 3618344 markings, 4091718 edges, 28205 markings/sec, 120 secs
lola: 3760674 markings, 4253207 edges, 28466 markings/sec, 125 secs
lola: 3901627 markings, 4412515 edges, 28191 markings/sec, 130 secs
lola: 4046938 markings, 4576084 edges, 29062 markings/sec, 135 secs
lola: 4185213 markings, 4733198 edges, 27655 markings/sec, 140 secs
lola: 4329333 markings, 4895950 edges, 28824 markings/sec, 145 secs
lola: 4479153 markings, 5064834 edges, 29964 markings/sec, 150 secs
lola: 4600972 markings, 5202806 edges, 24364 markings/sec, 155 secs
lola: 4741998 markings, 5361969 edges, 28205 markings/sec, 160 secs
lola: 4884520 markings, 5523208 edges, 28504 markings/sec, 165 secs
lola: 5029328 markings, 5686548 edges, 28962 markings/sec, 170 secs
lola: 5168079 markings, 5842910 edges, 27750 markings/sec, 175 secs
lola: 5290198 markings, 5981465 edges, 24424 markings/sec, 180 secs
lola: 5431317 markings, 6140677 edges, 28224 markings/sec, 185 secs
lola: 5577378 markings, 6305814 edges, 29212 markings/sec, 190 secs
lola: 5718915 markings, 6465459 edges, 28307 markings/sec, 195 secs
lola: 5859032 markings, 6623518 edges, 28023 markings/sec, 200 secs
lola: 5984965 markings, 6766240 edges, 25187 markings/sec, 205 secs
lola: 6127049 markings, 6926511 edges, 28417 markings/sec, 210 secs
lola: 6272792 markings, 7092124 edges, 29149 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(p782)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 416 bytes per marking, with 17 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: 179713 markings, 199008 edges, 35943 markings/sec, 0 secs
lola: 355751 markings, 396270 edges, 35208 markings/sec, 5 secs
lola: 532387 markings, 594550 edges, 35327 markings/sec, 10 secs
lola: 711941 markings, 795321 edges, 35911 markings/sec, 15 secs
lola: 892353 markings, 996290 edges, 36082 markings/sec, 20 secs
lola: 1070169 markings, 1194124 edges, 35563 markings/sec, 25 secs
lola: 1250251 markings, 1395813 edges, 36016 markings/sec, 30 secs
lola: 1429523 markings, 1595793 edges, 35854 markings/sec, 35 secs
lola: 1606833 markings, 1793751 edges, 35462 markings/sec, 40 secs
lola: 1778139 markings, 1985139 edges, 34261 markings/sec, 45 secs
lola: 1949300 markings, 2175858 edges, 34232 markings/sec, 50 secs
lola: 2125631 markings, 2372797 edges, 35266 markings/sec, 55 secs
lola: 2298517 markings, 2566859 edges, 34577 markings/sec, 60 secs
lola: 2474381 markings, 2763709 edges, 35173 markings/sec, 65 secs
lola: 2649871 markings, 2960355 edges, 35098 markings/sec, 70 secs
lola: 2828449 markings, 3159411 edges, 35716 markings/sec, 75 secs
lola: 3004201 markings, 3356574 edges, 35150 markings/sec, 80 secs
lola: 3182017 markings, 3554647 edges, 35563 markings/sec, 85 secs
lola: 3359680 markings, 3752933 edges, 35533 markings/sec, 90 secs
lola: 3538250 markings, 3952770 edges, 35714 markings/sec, 95 secs
lola: 3713715 markings, 4148583 edges, 35093 markings/sec, 100 secs
lola: 3884665 markings, 4340470 edges, 34190 markings/sec, 105 secs
lola: 4061230 markings, 4537536 edges, 35313 markings/sec, 110 secs
lola: 4239183 markings, 4735566 edges, 35591 markings/sec, 115 secs
lola: 4410335 markings, 4926778 edges, 34230 markings/sec, 120 secs
lola: 4587620 markings, 5124248 edges, 35457 markings/sec, 125 secs
lola: 4762260 markings, 5319240 edges, 34928 markings/sec, 130 secs
lola: 4935566 markings, 5512690 edges, 34661 markings/sec, 135 secs
lola: 5105849 markings, 5702798 edges, 34057 markings/sec, 140 secs
lola: 5278312 markings, 5895449 edges, 34493 markings/sec, 145 secs
lola: 5454170 markings, 6091614 edges, 35172 markings/sec, 150 secs
lola: 5628722 markings, 6286060 edges, 34910 markings/sec, 155 secs
lola: 5803465 markings, 6481731 edges, 34949 markings/sec, 160 secs
lola: 5978868 markings, 6678014 edges, 35081 markings/sec, 165 secs
lola: 6159772 markings, 6878787 edges, 36181 markings/sec, 170 secs
lola: 6338056 markings, 7077895 edges, 35657 markings/sec, 175 secs
lola: 6516343 markings, 7276760 edges, 35657 markings/sec, 180 secs
lola: 6693839 markings, 7475385 edges, 35499 markings/sec, 185 secs
lola: 6870800 markings, 7673938 edges, 35392 markings/sec, 190 secs
lola: 7046134 markings, 7869301 edges, 35067 markings/sec, 195 secs
lola: 7228174 markings, 8072474 edges, 36408 markings/sec, 200 secs
lola: 7405789 markings, 8269698 edges, 35523 markings/sec, 205 secs
lola: 7582996 markings, 8467151 edges, 35441 markings/sec, 210 secs
lola: 7762141 markings, 8666728 edges, 35829 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(p772)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 416 bytes per marking, with 17 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: 144022 markings, 161202 edges, 28804 markings/sec, 0 secs
lola: 302281 markings, 339291 edges, 31652 markings/sec, 5 secs
lola: 453639 markings, 509630 edges, 30272 markings/sec, 10 secs
lola: 608056 markings, 683245 edges, 30883 markings/sec, 15 secs
lola: 758517 markings, 852519 edges, 30092 markings/sec, 20 secs
lola: 908096 markings, 1021078 edges, 29916 markings/sec, 25 secs
lola: 1057821 markings, 1189644 edges, 29945 markings/sec, 30 secs
lola: 1207802 markings, 1358666 edges, 29996 markings/sec, 35 secs
lola: 1358680 markings, 1528553 edges, 30176 markings/sec, 40 secs
lola: 1506695 markings, 1695691 edges, 29603 markings/sec, 45 secs
lola: 1660854 markings, 1869044 edges, 30832 markings/sec, 50 secs
lola: 1812307 markings, 2039843 edges, 30291 markings/sec, 55 secs
lola: 1962872 markings, 2209370 edges, 30113 markings/sec, 60 secs
lola: 2115903 markings, 2381642 edges, 30606 markings/sec, 65 secs
lola: 2267271 markings, 2552227 edges, 30274 markings/sec, 70 secs
lola: 2420133 markings, 2724267 edges, 30572 markings/sec, 75 secs
lola: 2569546 markings, 2892716 edges, 29883 markings/sec, 80 secs
lola: 2716758 markings, 3058915 edges, 29442 markings/sec, 85 secs
lola: 2867410 markings, 3228705 edges, 30130 markings/sec, 90 secs
lola: 3018971 markings, 3399194 edges, 30312 markings/sec, 95 secs
lola: 3169747 markings, 3569065 edges, 30155 markings/sec, 100 secs
lola: 3316916 markings, 3735475 edges, 29434 markings/sec, 105 secs
lola: 3465829 markings, 3903449 edges, 29783 markings/sec, 110 secs
lola: 3623041 markings, 4080849 edges, 31442 markings/sec, 115 secs
lola: 3767168 markings, 4242958 edges, 28825 markings/sec, 120 secs
lola: 3914641 markings, 4408831 edges, 29495 markings/sec, 125 secs
lola: 4062273 markings, 4574677 edges, 29526 markings/sec, 130 secs
lola: 4198701 markings, 4728746 edges, 27286 markings/sec, 135 secs
lola: 4352863 markings, 4903391 edges, 30832 markings/sec, 140 secs
lola: 4506573 markings, 5077510 edges, 30742 markings/sec, 145 secs
lola: 4658981 markings, 5250145 edges, 30482 markings/sec, 150 secs
lola: 4812118 markings, 5423664 edges, 30627 markings/sec, 155 secs
lola: 4965729 markings, 5597665 edges, 30722 markings/sec, 160 secs
lola: 5119701 markings, 5772025 edges, 30794 markings/sec, 165 secs
lola: 5274606 markings, 5947182 edges, 30981 markings/sec, 170 secs
lola: 5425666 markings, 6117136 edges, 30212 markings/sec, 175 secs
lola: 5573474 markings, 6283587 edges, 29562 markings/sec, 180 secs
lola: 5731467 markings, 6462239 edges, 31599 markings/sec, 185 secs
lola: 5881384 markings, 6631043 edges, 29983 markings/sec, 190 secs
lola: 6027663 markings, 6795719 edges, 29256 markings/sec, 195 secs
lola: 6182355 markings, 6970067 edges, 30938 markings/sec, 200 secs
lola: 6336004 markings, 7142979 edges, 30730 markings/sec, 205 secs
lola: 6490121 markings, 7316974 edges, 30823 markings/sec, 210 secs
lola: 6645630 markings, 7492400 edges, 31102 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(p3311)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 416 bytes per marking, with 17 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: 117062 markings, 144582 edges, 23412 markings/sec, 0 secs
lola: 242908 markings, 301408 edges, 25169 markings/sec, 5 secs
lola: 369051 markings, 458344 edges, 25229 markings/sec, 10 secs
lola: 495015 markings, 614677 edges, 25193 markings/sec, 15 secs
lola: 619442 markings, 769247 edges, 24885 markings/sec, 20 secs
lola: 736449 markings, 914421 edges, 23401 markings/sec, 25 secs
lola: 859589 markings, 1067118 edges, 24628 markings/sec, 30 secs
lola: 984286 markings, 1221646 edges, 24939 markings/sec, 35 secs
lola: 1107355 markings, 1374765 edges, 24614 markings/sec, 40 secs
lola: 1229434 markings, 1526996 edges, 24416 markings/sec, 45 secs
lola: 1352675 markings, 1680421 edges, 24648 markings/sec, 50 secs
lola: 1479456 markings, 1838297 edges, 25356 markings/sec, 55 secs
lola: 1602851 markings, 1992184 edges, 24679 markings/sec, 60 secs
lola: 1728005 markings, 2147413 edges, 25031 markings/sec, 65 secs
lola: 1853373 markings, 2302915 edges, 25074 markings/sec, 70 secs
lola: 1977337 markings, 2456748 edges, 24793 markings/sec, 75 secs
lola: 2103028 markings, 2612673 edges, 25138 markings/sec, 80 secs
lola: 2229342 markings, 2769391 edges, 25263 markings/sec, 85 secs
lola: 2353116 markings, 2922868 edges, 24755 markings/sec, 90 secs
lola: 2475301 markings, 3075032 edges, 24437 markings/sec, 95 secs
lola: 2601300 markings, 3231674 edges, 25200 markings/sec, 100 secs
lola: 2725420 markings, 3385781 edges, 24824 markings/sec, 105 secs
lola: 2849674 markings, 3541176 edges, 24851 markings/sec, 110 secs
lola: 2973468 markings, 3694893 edges, 24759 markings/sec, 115 secs
lola: 3094323 markings, 3844917 edges, 24171 markings/sec, 120 secs
lola: 3217660 markings, 3998058 edges, 24667 markings/sec, 125 secs
lola: 3335646 markings, 4144707 edges, 23597 markings/sec, 130 secs
lola: 3451552 markings, 4288542 edges, 23181 markings/sec, 135 secs
lola: 3567907 markings, 4433329 edges, 23271 markings/sec, 140 secs
lola: 3691102 markings, 4586220 edges, 24639 markings/sec, 145 secs
lola: 3814059 markings, 4738960 edges, 24591 markings/sec, 150 secs
lola: 3933739 markings, 4887881 edges, 23936 markings/sec, 155 secs
lola: 4056565 markings, 5040566 edges, 24565 markings/sec, 160 secs
lola: 4177747 markings, 5191094 edges, 24236 markings/sec, 165 secs
lola: 4300900 markings, 5344120 edges, 24631 markings/sec, 170 secs
lola: 4421452 markings, 5494244 edges, 24110 markings/sec, 175 secs
lola: 4540092 markings, 5641862 edges, 23728 markings/sec, 180 secs
lola: 4661017 markings, 5791978 edges, 24185 markings/sec, 185 secs
lola: 4782820 markings, 5943348 edges, 24361 markings/sec, 190 secs
lola: 4905454 markings, 6095610 edges, 24527 markings/sec, 195 secs
lola: 5029151 markings, 6249189 edges, 24739 markings/sec, 200 secs
lola: 5146723 markings, 6395202 edges, 23514 markings/sec, 205 secs
lola: 5269928 markings, 6548190 edges, 24641 markings/sec, 210 secs
lola: 5392215 markings, 6700050 edges, 24457 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(p2499)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 416 bytes per marking, with 17 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: 114805 markings, 129394 edges, 22961 markings/sec, 0 secs
lola: 227528 markings, 256516 edges, 22545 markings/sec, 5 secs
lola: 344793 markings, 388801 edges, 23453 markings/sec, 10 secs
lola: 464036 markings, 523549 edges, 23849 markings/sec, 15 secs
lola: 585864 markings, 661225 edges, 24366 markings/sec, 20 secs
lola: 703866 markings, 794560 edges, 23600 markings/sec, 25 secs
lola: 810598 markings, 914969 edges, 21346 markings/sec, 30 secs
lola: 926345 markings, 1045620 edges, 23149 markings/sec, 35 secs
lola: 1045715 markings, 1180237 edges, 23874 markings/sec, 40 secs
lola: 1168607 markings, 1319055 edges, 24578 markings/sec, 45 secs
lola: 1288542 markings, 1454336 edges, 23987 markings/sec, 50 secs
lola: 1400912 markings, 1581244 edges, 22474 markings/sec, 55 secs
lola: 1518818 markings, 1714426 edges, 23581 markings/sec, 60 secs
lola: 1636688 markings, 1847376 edges, 23574 markings/sec, 65 secs
lola: 1754631 markings, 1980482 edges, 23589 markings/sec, 70 secs
lola: 1873220 markings, 2114260 edges, 23718 markings/sec, 75 secs
lola: 1988870 markings, 2244781 edges, 23130 markings/sec, 80 secs
lola: 2107455 markings, 2378511 edges, 23717 markings/sec, 85 secs
lola: 2228129 markings, 2514657 edges, 24135 markings/sec, 90 secs
lola: 2345669 markings, 2647242 edges, 23508 markings/sec, 95 secs
lola: 2462718 markings, 2779279 edges, 23410 markings/sec, 100 secs
lola: 2576918 markings, 2908174 edges, 22840 markings/sec, 105 secs
lola: 2693719 markings, 3040070 edges, 23360 markings/sec, 110 secs
lola: 2809017 markings, 3170092 edges, 23060 markings/sec, 115 secs
lola: 2927242 markings, 3303492 edges, 23645 markings/sec, 120 secs
lola: 3047103 markings, 3438836 edges, 23972 markings/sec, 125 secs
lola: 3167218 markings, 3574327 edges, 24023 markings/sec, 130 secs
lola: 3286201 markings, 3708651 edges, 23797 markings/sec, 135 secs
lola: 3406151 markings, 3844012 edges, 23990 markings/sec, 140 secs
lola: 3524471 markings, 3977499 edges, 23664 markings/sec, 145 secs
lola: 3640687 markings, 4108861 edges, 23243 markings/sec, 150 secs
lola: 3755710 markings, 4238629 edges, 23005 markings/sec, 155 secs
lola: 3871857 markings, 4369740 edges, 23229 markings/sec, 160 secs
lola: 3989718 markings, 4502691 edges, 23572 markings/sec, 165 secs
lola: 4108785 markings, 4637080 edges, 23813 markings/sec, 170 secs
lola: 4222322 markings, 4765146 edges, 22707 markings/sec, 175 secs
lola: 4341239 markings, 4899257 edges, 23783 markings/sec, 180 secs
lola: 4457998 markings, 5030891 edges, 23352 markings/sec, 185 secs
lola: 4577441 markings, 5165759 edges, 23889 markings/sec, 190 secs
lola: 4692909 markings, 5296010 edges, 23094 markings/sec, 195 secs
lola: 4812285 markings, 5430789 edges, 23875 markings/sec, 200 secs
lola: 4932850 markings, 5566837 edges, 24113 markings/sec, 205 secs
lola: 5045551 markings, 5694074 edges, 22540 markings/sec, 210 secs
lola: 5157797 markings, 5820731 edges, 22449 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(p364)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 416 bytes per marking, with 17 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: 89086 markings, 101384 edges, 17817 markings/sec, 0 secs
lola: 213171 markings, 240989 edges, 24817 markings/sec, 5 secs
lola: 338528 markings, 382088 edges, 25071 markings/sec, 10 secs
lola: 462331 markings, 521264 edges, 24761 markings/sec, 15 secs
lola: 589854 markings, 664694 edges, 25505 markings/sec, 20 secs
lola: 716529 markings, 807011 edges, 25335 markings/sec, 25 secs
lola: 846794 markings, 953394 edges, 26053 markings/sec, 30 secs
lola: 976363 markings, 1098955 edges, 25914 markings/sec, 35 secs
lola: 1106978 markings, 1245781 edges, 26123 markings/sec, 40 secs
lola: 1236851 markings, 1391656 edges, 25975 markings/sec, 45 secs
lola: 1364115 markings, 1534715 edges, 25453 markings/sec, 50 secs
lola: 1490700 markings, 1676987 edges, 25317 markings/sec, 55 secs
lola: 1614757 markings, 1816339 edges, 24811 markings/sec, 60 secs
lola: 1740426 markings, 1957566 edges, 25134 markings/sec, 65 secs
lola: 1869011 markings, 2102059 edges, 25717 markings/sec, 70 secs
lola: 1989759 markings, 2237963 edges, 24150 markings/sec, 75 secs
lola: 2108903 markings, 2371401 edges, 23829 markings/sec, 80 secs
lola: 2229182 markings, 2506439 edges, 24056 markings/sec, 85 secs
lola: 2350741 markings, 2643139 edges, 24312 markings/sec, 90 secs
lola: 2455622 markings, 2761603 edges, 20976 markings/sec, 95 secs
lola: 2562101 markings, 2881531 edges, 21296 markings/sec, 100 secs
lola: 2667289 markings, 3000277 edges, 21038 markings/sec, 105 secs
lola: 2773639 markings, 3120274 edges, 21270 markings/sec, 110 secs
lola: 2878829 markings, 3239043 edges, 21038 markings/sec, 115 secs
lola: 2988662 markings, 3362745 edges, 21967 markings/sec, 120 secs
lola: 3099157 markings, 3487055 edges, 22099 markings/sec, 125 secs
lola: 3209818 markings, 3611429 edges, 22132 markings/sec, 130 secs
lola: 3317034 markings, 3732115 edges, 21443 markings/sec, 135 secs
lola: 3424165 markings, 3853153 edges, 21426 markings/sec, 140 secs
lola: 3532277 markings, 3974903 edges, 21622 markings/sec, 145 secs
lola: 3644009 markings, 4101044 edges, 22346 markings/sec, 150 secs
lola: 3749689 markings, 4220419 edges, 21136 markings/sec, 155 secs
lola: 3857000 markings, 4341139 edges, 21462 markings/sec, 160 secs
lola: 3964728 markings, 4462959 edges, 21546 markings/sec, 165 secs
lola: 4073577 markings, 4585878 edges, 21770 markings/sec, 170 secs
lola: 4181525 markings, 4707786 edges, 21590 markings/sec, 175 secs
lola: 4289429 markings, 4829608 edges, 21581 markings/sec, 180 secs
lola: 4400491 markings, 4954701 edges, 22212 markings/sec, 185 secs
lola: 4510667 markings, 5079157 edges, 22035 markings/sec, 190 secs
lola: 4622130 markings, 5204577 edges, 22293 markings/sec, 195 secs
lola: 4732452 markings, 5329128 edges, 22064 markings/sec, 200 secs
lola: 4842973 markings, 5453921 edges, 22104 markings/sec, 205 secs
lola: 4953669 markings, 5578704 edges, 22139 markings/sec, 210 secs
lola: 5064005 markings, 5703337 edges, 22067 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(p1471)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 416 bytes per marking, with 17 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: 141418 markings, 160767 edges, 28284 markings/sec, 0 secs
lola: 294035 markings, 336224 edges, 30523 markings/sec, 5 secs
lola: 431814 markings, 495191 edges, 27556 markings/sec, 10 secs
lola: 555441 markings, 636536 edges, 24725 markings/sec, 15 secs
lola: 673265 markings, 770648 edges, 23565 markings/sec, 20 secs
lola: 791675 markings, 905116 edges, 23682 markings/sec, 25 secs
lola: 923648 markings, 1056152 edges, 26395 markings/sec, 30 secs
lola: 1058084 markings, 1212215 edges, 26887 markings/sec, 35 secs
lola: 1192730 markings, 1368697 edges, 26929 markings/sec, 40 secs
lola: 1327306 markings, 1524343 edges, 26915 markings/sec, 45 secs
lola: 1461941 markings, 1680529 edges, 26927 markings/sec, 50 secs
lola: 1598386 markings, 1839139 edges, 27289 markings/sec, 55 secs
lola: 1733780 markings, 1996417 edges, 27079 markings/sec, 60 secs
lola: 1867859 markings, 2151145 edges, 26816 markings/sec, 65 secs
lola: 2003858 markings, 2309769 edges, 27200 markings/sec, 70 secs
lola: 2132586 markings, 2457683 edges, 25746 markings/sec, 75 secs
lola: 2269039 markings, 2616624 edges, 27291 markings/sec, 80 secs
lola: 2403803 markings, 2773572 edges, 26953 markings/sec, 85 secs
lola: 2541617 markings, 2934607 edges, 27563 markings/sec, 90 secs
lola: 2677519 markings, 3092122 edges, 27180 markings/sec, 95 secs
lola: 2810563 markings, 3246345 edges, 26609 markings/sec, 100 secs
lola: 2941543 markings, 3396338 edges, 26196 markings/sec, 105 secs
lola: 3074381 markings, 3549496 edges, 26568 markings/sec, 110 secs
lola: 3210360 markings, 3707249 edges, 27196 markings/sec, 115 secs
lola: 3345372 markings, 3864539 edges, 27002 markings/sec, 120 secs
lola: 3479365 markings, 4020024 edges, 26799 markings/sec, 125 secs
lola: 3615505 markings, 4178788 edges, 27228 markings/sec, 130 secs
lola: 3753044 markings, 4340696 edges, 27508 markings/sec, 135 secs
lola: 3889215 markings, 4500088 edges, 27234 markings/sec, 140 secs
lola: 4024115 markings, 4656894 edges, 26980 markings/sec, 145 secs
lola: 4160762 markings, 4815755 edges, 27329 markings/sec, 150 secs
lola: 4293125 markings, 4968803 edges, 26473 markings/sec, 155 secs
lola: 4425309 markings, 5122317 edges, 26437 markings/sec, 160 secs
lola: 4559809 markings, 5278636 edges, 26900 markings/sec, 165 secs
lola: 4692031 markings, 5431853 edges, 26444 markings/sec, 170 secs
lola: 4823436 markings, 5582841 edges, 26281 markings/sec, 175 secs
lola: 4955925 markings, 5736870 edges, 26498 markings/sec, 180 secs
lola: 5086991 markings, 5887596 edges, 26213 markings/sec, 185 secs
lola: 5216086 markings, 6036969 edges, 25819 markings/sec, 190 secs
lola: 5346388 markings, 6187668 edges, 26060 markings/sec, 195 secs
lola: 5473069 markings, 6333014 edges, 25336 markings/sec, 200 secs
lola: 5600753 markings, 6479411 edges, 25537 markings/sec, 205 secs
lola: 5727834 markings, 6625625 edges, 25416 markings/sec, 210 secs
lola: 5855619 markings, 6771982 edges, 25557 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(p1643)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 416 bytes per marking, with 17 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 12 will run for 277 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2359)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 416 bytes per marking, with 17 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: 65349 markings, 74844 edges, 13070 markings/sec, 0 secs
lola: 150890 markings, 170289 edges, 17108 markings/sec, 5 secs
lola: 237163 markings, 266438 edges, 17255 markings/sec, 10 secs
lola: 321235 markings, 360115 edges, 16814 markings/sec, 15 secs
lola: 403093 markings, 451458 edges, 16372 markings/sec, 20 secs
lola: 489601 markings, 547860 edges, 17302 markings/sec, 25 secs
lola: 578252 markings, 646732 edges, 17730 markings/sec, 30 secs
lola: 669862 markings, 748947 edges, 18322 markings/sec, 35 secs
lola: 766334 markings, 856515 edges, 19294 markings/sec, 40 secs
lola: 868866 markings, 970813 edges, 20506 markings/sec, 45 secs
lola: 973815 markings, 1087810 edges, 20990 markings/sec, 50 secs
lola: 1068824 markings, 1193871 edges, 19002 markings/sec, 55 secs
lola: 1171025 markings, 1307947 edges, 20440 markings/sec, 60 secs
lola: 1282718 markings, 1432596 edges, 22339 markings/sec, 65 secs
lola: 1389877 markings, 1552061 edges, 21432 markings/sec, 70 secs
lola: 1496221 markings, 1670828 edges, 21269 markings/sec, 75 secs
lola: 1604323 markings, 1791375 edges, 21620 markings/sec, 80 secs
lola: 1713038 markings, 1912590 edges, 21743 markings/sec, 85 secs
lola: 1822067 markings, 2034178 edges, 21806 markings/sec, 90 secs
lola: 1931141 markings, 2155839 edges, 21815 markings/sec, 95 secs
lola: 2036486 markings, 2273336 edges, 21069 markings/sec, 100 secs
lola: 2139889 markings, 2388681 edges, 20681 markings/sec, 105 secs
lola: 2243941 markings, 2504735 edges, 20810 markings/sec, 110 secs
lola: 2342148 markings, 2614274 edges, 19641 markings/sec, 115 secs
lola: 2429130 markings, 2711433 edges, 17396 markings/sec, 120 secs
lola: 2519519 markings, 2812669 edges, 18078 markings/sec, 125 secs
lola: 2630685 markings, 2936739 edges, 22233 markings/sec, 130 secs
lola: 2736289 markings, 3054559 edges, 21121 markings/sec, 135 secs
lola: 2836416 markings, 3166275 edges, 20025 markings/sec, 140 secs
lola: 2939497 markings, 3281290 edges, 20616 markings/sec, 145 secs
lola: 3035158 markings, 3387984 edges, 19132 markings/sec, 150 secs
lola: 3138642 markings, 3503578 edges, 20697 markings/sec, 155 secs
lola: 3241569 markings, 3618415 edges, 20585 markings/sec, 160 secs
lola: 3348470 markings, 3737689 edges, 21380 markings/sec, 165 secs
lola: 3453044 markings, 3854347 edges, 20915 markings/sec, 170 secs
lola: 3553644 markings, 3966633 edges, 20120 markings/sec, 175 secs
lola: 3661122 markings, 4086486 edges, 21496 markings/sec, 180 secs
lola: 3767158 markings, 4204928 edges, 21207 markings/sec, 185 secs
lola: 3873252 markings, 4323304 edges, 21219 markings/sec, 190 secs
lola: 3975053 markings, 4436853 edges, 20360 markings/sec, 195 secs
lola: 4078252 markings, 4552006 edges, 20640 markings/sec, 200 secs
lola: 4183334 markings, 4669208 edges, 21016 markings/sec, 205 secs
lola: 4289411 markings, 4787561 edges, 21215 markings/sec, 210 secs
lola: 4390718 markings, 4900647 edges, 20261 markings/sec, 215 secs
lola: 4487511 markings, 5008683 edges, 19359 markings/sec, 220 secs
lola: 4589203 markings, 5122159 edges, 20338 markings/sec, 225 secs
lola: 4687680 markings, 5232027 edges, 19695 markings/sec, 230 secs
lola: 4788223 markings, 5344351 edges, 20109 markings/sec, 235 secs
lola: 4891503 markings, 5459613 edges, 20656 markings/sec, 240 secs
lola: 4994247 markings, 5574228 edges, 20549 markings/sec, 245 secs
lola: 5095857 markings, 5687564 edges, 20322 markings/sec, 250 secs
lola: 5200186 markings, 5803949 edges, 20866 markings/sec, 255 secs
lola: 5304424 markings, 5920217 edges, 20848 markings/sec, 260 secs
lola: 5400880 markings, 6027864 edges, 19291 markings/sec, 265 secs
lola: 5500535 markings, 6139067 edges, 19931 markings/sec, 270 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 277 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3075)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 416 bytes per marking, with 17 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 14 will run for 415 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1302)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 416 bytes per marking, with 17 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: 138708 markings, 160176 edges, 27742 markings/sec, 0 secs
lola: 278936 markings, 323750 edges, 28046 markings/sec, 5 secs
lola: 418677 markings, 486824 edges, 27948 markings/sec, 10 secs
lola: 556656 markings, 647904 edges, 27596 markings/sec, 15 secs
lola: 693153 markings, 807012 edges, 27299 markings/sec, 20 secs
lola: 831953 markings, 969036 edges, 27760 markings/sec, 25 secs
lola: 976082 markings, 1137125 edges, 28826 markings/sec, 30 secs
lola: 1118407 markings, 1303482 edges, 28465 markings/sec, 35 secs
lola: 1262148 markings, 1471564 edges, 28748 markings/sec, 40 secs
lola: 1410134 markings, 1647277 edges, 29597 markings/sec, 45 secs
lola: 1559746 markings, 1825111 edges, 29922 markings/sec, 50 secs
lola: 1708980 markings, 2002021 edges, 29847 markings/sec, 55 secs
lola: 1855988 markings, 2176767 edges, 29402 markings/sec, 60 secs
lola: 2005173 markings, 2353672 edges, 29837 markings/sec, 65 secs
lola: 2153057 markings, 2529129 edges, 29577 markings/sec, 70 secs
lola: 2302145 markings, 2705989 edges, 29818 markings/sec, 75 secs
lola: 2443502 markings, 2873764 edges, 28271 markings/sec, 80 secs
lola: 2584655 markings, 3041038 edges, 28231 markings/sec, 85 secs
lola: 2722158 markings, 3204279 edges, 27501 markings/sec, 90 secs
lola: 2862094 markings, 3370557 edges, 27987 markings/sec, 95 secs
lola: 3000297 markings, 3534257 edges, 27641 markings/sec, 100 secs
lola: 3139032 markings, 3698889 edges, 27747 markings/sec, 105 secs
lola: 3274263 markings, 3859557 edges, 27046 markings/sec, 110 secs
lola: 3417954 markings, 4029489 edges, 28738 markings/sec, 115 secs
lola: 3562476 markings, 4201044 edges, 28904 markings/sec, 120 secs
lola: 3703616 markings, 4368574 edges, 28228 markings/sec, 125 secs
lola: 3845814 markings, 4537081 edges, 28440 markings/sec, 130 secs
lola: 3992980 markings, 4711676 edges, 29433 markings/sec, 135 secs
lola: 4137977 markings, 4883848 edges, 28999 markings/sec, 140 secs
lola: 4282711 markings, 5055606 edges, 28947 markings/sec, 145 secs
lola: 4420046 markings, 5218735 edges, 27467 markings/sec, 150 secs
lola: 4564543 markings, 5390109 edges, 28899 markings/sec, 155 secs
lola: 4704185 markings, 5555727 edges, 27928 markings/sec, 160 secs
lola: 4845771 markings, 5723796 edges, 28317 markings/sec, 165 secs
lola: 4986252 markings, 5890295 edges, 28096 markings/sec, 170 secs
lola: 5127391 markings, 6057849 edges, 28228 markings/sec, 175 secs
lola: 5253474 markings, 6207562 edges, 25217 markings/sec, 180 secs
lola: 5388156 markings, 6367384 edges, 26936 markings/sec, 185 secs
lola: 5517991 markings, 6521149 edges, 25967 markings/sec, 190 secs
lola: 5646473 markings, 6673644 edges, 25696 markings/sec, 195 secs
lola: 5783067 markings, 6835716 edges, 27319 markings/sec, 200 secs
lola: 5908448 markings, 6984458 edges, 25076 markings/sec, 205 secs
lola: 6046097 markings, 7147747 edges, 27530 markings/sec, 210 secs
lola: 6172534 markings, 7297808 edges, 25287 markings/sec, 215 secs
lola: 6307677 markings, 7458118 edges, 27029 markings/sec, 220 secs
lola: 6429351 markings, 7602684 edges, 24335 markings/sec, 225 secs
lola: 6568222 markings, 7767172 edges, 27774 markings/sec, 230 secs
lola: 6707175 markings, 7932064 edges, 27791 markings/sec, 235 secs
lola: 6839879 markings, 8088910 edges, 26541 markings/sec, 240 secs
lola: 6974064 markings, 8247840 edges, 26837 markings/sec, 245 secs
lola: 7097028 markings, 8393910 edges, 24593 markings/sec, 250 secs
lola: 7238767 markings, 8562082 edges, 28348 markings/sec, 255 secs
lola: 7383690 markings, 8733925 edges, 28985 markings/sec, 260 secs
lola: 7526820 markings, 8903820 edges, 28626 markings/sec, 265 secs
lola: 7668554 markings, 9071818 edges, 28347 markings/sec, 270 secs
lola: 7804280 markings, 9232556 edges, 27145 markings/sec, 275 secs
lola: 7935932 markings, 9388594 edges, 26330 markings/sec, 280 secs
lola: 8076333 markings, 9555226 edges, 28080 markings/sec, 285 secs
lola: 8213005 markings, 9717586 edges, 27334 markings/sec, 290 secs
lola: 8351093 markings, 9881429 edges, 27618 markings/sec, 295 secs
lola: 8483855 markings, 10038953 edges, 26552 markings/sec, 300 secs
lola: 8621433 markings, 10202012 edges, 27516 markings/sec, 305 secs
lola: 8748966 markings, 10353520 edges, 25507 markings/sec, 310 secs
lola: 8883966 markings, 10513685 edges, 27000 markings/sec, 315 secs
lola: 9006610 markings, 10659316 edges, 24529 markings/sec, 320 secs
lola: 9143276 markings, 10821272 edges, 27333 markings/sec, 325 secs
lola: 9273235 markings, 10975424 edges, 25992 markings/sec, 330 secs
lola: 9415578 markings, 11144450 edges, 28469 markings/sec, 335 secs
lola: 9555804 markings, 11310608 edges, 28045 markings/sec, 340 secs
lola: 9696933 markings, 11477706 edges, 28226 markings/sec, 345 secs
lola: 9836752 markings, 11643715 edges, 27964 markings/sec, 350 secs
lola: 9976873 markings, 11810036 edges, 28024 markings/sec, 355 secs
lola: 10116416 markings, 11976328 edges, 27909 markings/sec, 360 secs
lola: 10257375 markings, 12143469 edges, 28192 markings/sec, 365 secs
lola: 10405981 markings, 12319938 edges, 29721 markings/sec, 370 secs
lola: 10553289 markings, 12494424 edges, 29462 markings/sec, 375 secs
lola: 10694944 markings, 12662343 edges, 28331 markings/sec, 380 secs
lola: 10830115 markings, 12822639 edges, 27034 markings/sec, 385 secs
lola: 10973887 markings, 12993228 edges, 28754 markings/sec, 390 secs
lola: 11117198 markings, 13163329 edges, 28662 markings/sec, 395 secs
lola: 11261469 markings, 13334581 edges, 28854 markings/sec, 400 secs
lola: 11396099 markings, 13494309 edges, 26926 markings/sec, 405 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 416 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2227)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 416 bytes per marking, with 17 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: 177556 markings, 214607 edges, 35511 markings/sec, 0 secs
lola: 350833 markings, 424301 edges, 34655 markings/sec, 5 secs
lola: 514881 markings, 622714 edges, 32810 markings/sec, 10 secs
lola: 677701 markings, 819716 edges, 32564 markings/sec, 15 secs
lola: 841992 markings, 1018582 edges, 32858 markings/sec, 20 secs
lola: 1005191 markings, 1216232 edges, 32640 markings/sec, 25 secs
lola: 1165393 markings, 1409993 edges, 32040 markings/sec, 30 secs
lola: 1328892 markings, 1606848 edges, 32700 markings/sec, 35 secs
lola: 1493741 markings, 1806243 edges, 32970 markings/sec, 40 secs
lola: 1654821 markings, 2001052 edges, 32216 markings/sec, 45 secs
lola: 1817348 markings, 2197886 edges, 32505 markings/sec, 50 secs
lola: 1977904 markings, 2392036 edges, 32111 markings/sec, 55 secs
lola: 2137312 markings, 2584593 edges, 31882 markings/sec, 60 secs
lola: 2295493 markings, 2775985 edges, 31636 markings/sec, 65 secs
lola: 2453164 markings, 2966092 edges, 31534 markings/sec, 70 secs
lola: 2611594 markings, 3157352 edges, 31686 markings/sec, 75 secs
lola: 2769632 markings, 3348493 edges, 31608 markings/sec, 80 secs
lola: 2924018 markings, 3535368 edges, 30877 markings/sec, 85 secs
lola: 3080276 markings, 3724207 edges, 31252 markings/sec, 90 secs
lola: 3231326 markings, 3906914 edges, 30210 markings/sec, 95 secs
lola: 3384206 markings, 4092429 edges, 30576 markings/sec, 100 secs
lola: 3539846 markings, 4279493 edges, 31128 markings/sec, 105 secs
lola: 3696295 markings, 4468782 edges, 31290 markings/sec, 110 secs
lola: 3852020 markings, 4655508 edges, 31145 markings/sec, 115 secs
lola: 4008769 markings, 4845312 edges, 31350 markings/sec, 120 secs
lola: 4164639 markings, 5032485 edges, 31174 markings/sec, 125 secs
lola: 4321706 markings, 5222517 edges, 31413 markings/sec, 130 secs
lola: 4478650 markings, 5412374 edges, 31389 markings/sec, 135 secs
lola: 4635679 markings, 5601430 edges, 31406 markings/sec, 140 secs
lola: 4791873 markings, 5790247 edges, 31239 markings/sec, 145 secs
lola: 4947891 markings, 5977300 edges, 31204 markings/sec, 150 secs
lola: 5103972 markings, 6166420 edges, 31216 markings/sec, 155 secs
lola: 5256836 markings, 6349804 edges, 30573 markings/sec, 160 secs
lola: 5408443 markings, 6533470 edges, 30321 markings/sec, 165 secs
lola: 5561539 markings, 6717115 edges, 30619 markings/sec, 170 secs
lola: 5713278 markings, 6900755 edges, 30348 markings/sec, 175 secs
lola: 5866608 markings, 7084958 edges, 30666 markings/sec, 180 secs
lola: 6019669 markings, 7270065 edges, 30612 markings/sec, 185 secs
lola: 6172486 markings, 7454330 edges, 30563 markings/sec, 190 secs
lola: 6326136 markings, 7640423 edges, 30730 markings/sec, 195 secs
lola: 6479732 markings, 7825620 edges, 30719 markings/sec, 200 secs
lola: 6632048 markings, 8009982 edges, 30463 markings/sec, 205 secs
lola: 6781893 markings, 8191134 edges, 29969 markings/sec, 210 secs
lola: 6932876 markings, 8373513 edges, 30197 markings/sec, 215 secs
lola: 7079040 markings, 8550958 edges, 29233 markings/sec, 220 secs
lola: 7229886 markings, 8733615 edges, 30169 markings/sec, 225 secs
lola: 7382062 markings, 8916205 edges, 30435 markings/sec, 230 secs
lola: 7533995 markings, 9100304 edges, 30387 markings/sec, 235 secs
lola: 7687141 markings, 9284014 edges, 30629 markings/sec, 240 secs
lola: 7839437 markings, 9468371 edges, 30459 markings/sec, 245 secs
lola: 7993312 markings, 9653196 edges, 30775 markings/sec, 250 secs
lola: 8147520 markings, 9839624 edges, 30842 markings/sec, 255 secs
lola: 8302097 markings, 10026664 edges, 30915 markings/sec, 260 secs
lola: 8455604 markings, 10211417 edges, 30701 markings/sec, 265 secs
lola: 8608437 markings, 10396075 edges, 30567 markings/sec, 270 secs
lola: 8761707 markings, 10579939 edges, 30654 markings/sec, 275 secs
lola: 8914519 markings, 10765111 edges, 30562 markings/sec, 280 secs
lola: 9068164 markings, 10949431 edges, 30729 markings/sec, 285 secs
lola: 9220354 markings, 11133298 edges, 30438 markings/sec, 290 secs
lola: 9375257 markings, 11319661 edges, 30981 markings/sec, 295 secs
lola: 9528711 markings, 11504480 edges, 30691 markings/sec, 300 secs
lola: 9683946 markings, 11691762 edges, 31047 markings/sec, 305 secs
lola: 9839419 markings, 11879643 edges, 31095 markings/sec, 310 secs
lola: 9994664 markings, 12067128 edges, 31049 markings/sec, 315 secs
lola: 10149687 markings, 12254424 edges, 31005 markings/sec, 320 secs
lola: 10303721 markings, 12440381 edges, 30807 markings/sec, 325 secs
lola: 10458125 markings, 12627444 edges, 30881 markings/sec, 330 secs
lola: 10611306 markings, 12812510 edges, 30636 markings/sec, 335 secs
lola: 10761761 markings, 12994455 edges, 30091 markings/sec, 340 secs
lola: 10913104 markings, 13178180 edges, 30269 markings/sec, 345 secs
lola: 11066560 markings, 13363436 edges, 30691 markings/sec, 350 secs
lola: 11220592 markings, 13548777 edges, 30806 markings/sec, 355 secs
lola: 11373295 markings, 13732741 edges, 30541 markings/sec, 360 secs
lola: 11527458 markings, 13918771 edges, 30833 markings/sec, 365 secs
lola: 11680500 markings, 14102432 edges, 30608 markings/sec, 370 secs
lola: 11836594 markings, 14291377 edges, 31219 markings/sec, 375 secs
lola: 11992038 markings, 14479435 edges, 31089 markings/sec, 380 secs
lola: 12146844 markings, 14665621 edges, 30961 markings/sec, 385 secs
lola: 12301053 markings, 14852200 edges, 30842 markings/sec, 390 secs
lola: 12454084 markings, 15036290 edges, 30606 markings/sec, 395 secs
lola: 12611887 markings, 15226693 edges, 31561 markings/sec, 400 secs
lola: 12769235 markings, 15415565 edges, 31470 markings/sec, 405 secs
lola: 12928666 markings, 15608541 edges, 31886 markings/sec, 410 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 1 unknown 1 unknown unknown
FORMULA DLCround-PT-09b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-09b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-09b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-09b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-09b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-09b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-09b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-09b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-09b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-09b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-09b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-09b-UpperBounds-11 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-09b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-09b-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-09b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-09b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496544891851

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-09b"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-09b.tgz
mv DLCround-PT-09b execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is DLCround-PT-09b, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r178-csrt-149580961800317"
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 ;