Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_HypercubeGrid-PT-C4K3P3B12, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r118-blw7-149441649700011
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496346828495


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


checking for too many tokens
===========================================================================================
S_HypercubeGrid-PT-C4K3P3B12: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_HypercubeGrid-PT-C4K3P3B12 @ 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: 7857/65536 symbol table entries, 1827 collisions
lola: preprocessing...
lola: finding significant places
lola: 2457 places, 5400 transitions, 1511 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 6345 transition conflict sets
lola: TASK
lola: reading formula from HypercubeGrid-PT-C4K3P3B12-UpperBounds.task
lola: MAX(pil_d4_n1_3_3_1_4) : MAX(pb_d3_n1_2_3_2_2) : MAX(po_d4_n1_2_1_2_4) : MAX(pi_d3_n1_2_1_1_3) : MAX(pil_d1_n1_2_1_1_1) : MAX(po_d3_n1_3_1_3_1) : MAX(pb_d4_n1_3_3_3_1) : MAX(pb_d2_n2_1_1_1_1) : MAX(po_d4_n1_3_3_2_1) : MAX(pb_d3_n1_3_3_1_1) : MAX(pil_d3_n1_1_1_2_1) : MAX(pb_d1_n1_2_3_2_3) : MAX(pol_d4_n1_2_3_1_4) : MAX(pil_d3_n1_3_2_1_3) : MAX(pil_d3_n1_2_3_3_3) : MAX(pil_d3_n1_1_2_2_1)
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(pil_d4_n1_3_3_1_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 119437 markings, 123428 edges, 23887 markings/sec, 0 secs
lola: 191019 markings, 198015 edges, 14316 markings/sec, 5 secs
lola: 264451 markings, 274025 edges, 14686 markings/sec, 10 secs
lola: 338503 markings, 350298 edges, 14810 markings/sec, 15 secs
lola: 417034 markings, 432894 edges, 15706 markings/sec, 20 secs
lola: 492707 markings, 512262 edges, 15135 markings/sec, 25 secs
lola: 568101 markings, 591444 edges, 15079 markings/sec, 30 secs
lola: 644731 markings, 671577 edges, 15326 markings/sec, 35 secs
lola: 723242 markings, 753462 edges, 15702 markings/sec, 40 secs
lola: 795279 markings, 828727 edges, 14407 markings/sec, 45 secs
lola: 870506 markings, 907136 edges, 15045 markings/sec, 50 secs
lola: 947598 markings, 987562 edges, 15418 markings/sec, 55 secs
lola: 1024659 markings, 1068012 edges, 15412 markings/sec, 60 secs
lola: 1103307 markings, 1150115 edges, 15730 markings/sec, 65 secs
lola: 1181771 markings, 1232556 edges, 15693 markings/sec, 70 secs
lola: 1260271 markings, 1314421 edges, 15700 markings/sec, 75 secs
lola: 1338308 markings, 1395749 edges, 15607 markings/sec, 80 secs
lola: 1416614 markings, 1477129 edges, 15661 markings/sec, 85 secs
lola: 1494910 markings, 1558526 edges, 15659 markings/sec, 90 secs
lola: 1573203 markings, 1639908 edges, 15659 markings/sec, 95 secs
lola: 1651521 markings, 1721414 edges, 15664 markings/sec, 100 secs
lola: 1729597 markings, 1802706 edges, 15615 markings/sec, 105 secs
lola: 1807742 markings, 1884043 edges, 15629 markings/sec, 110 secs
lola: 1885785 markings, 1964808 edges, 15609 markings/sec, 115 secs
lola: 1956558 markings, 2037779 edges, 14155 markings/sec, 120 secs
lola: 2031813 markings, 2115370 edges, 15051 markings/sec, 125 secs
lola: 2103342 markings, 2189084 edges, 14306 markings/sec, 130 secs
lola: 2179244 markings, 2265839 edges, 15180 markings/sec, 135 secs
lola: 2249940 markings, 2344982 edges, 14139 markings/sec, 140 secs
lola: 2317915 markings, 2423353 edges, 13595 markings/sec, 145 secs
lola: 2388709 markings, 2502354 edges, 14159 markings/sec, 150 secs
lola: 2460017 markings, 2582042 edges, 14262 markings/sec, 155 secs
lola: 2531035 markings, 2658855 edges, 14204 markings/sec, 160 secs
lola: 2599623 markings, 2732478 edges, 13718 markings/sec, 165 secs
lola: 2669619 markings, 2810231 edges, 13999 markings/sec, 170 secs
lola: 2739421 markings, 2887420 edges, 13960 markings/sec, 175 secs
lola: 2808601 markings, 2964415 edges, 13836 markings/sec, 180 secs
lola: 2877211 markings, 3041901 edges, 13722 markings/sec, 185 secs
lola: 2942783 markings, 3113586 edges, 13114 markings/sec, 190 secs
lola: 3010723 markings, 3188361 edges, 13588 markings/sec, 195 secs
lola: 3079074 markings, 3264349 edges, 13670 markings/sec, 200 secs
lola: 3147683 markings, 3343819 edges, 13722 markings/sec, 205 secs
lola: 3216312 markings, 3420722 edges, 13726 markings/sec, 210 secs
lola: 3282495 markings, 3494561 edges, 13237 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(pb_d3_n1_2_3_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 179608 markings, 190116 edges, 35922 markings/sec, 0 secs
lola: 283157 markings, 304023 edges, 20710 markings/sec, 5 secs
lola: 388697 markings, 422786 edges, 21108 markings/sec, 10 secs
lola: 493912 markings, 541159 edges, 21043 markings/sec, 15 secs
lola: 599394 markings, 659886 edges, 21096 markings/sec, 20 secs
lola: 704547 markings, 778077 edges, 21031 markings/sec, 25 secs
lola: 808925 markings, 895513 edges, 20876 markings/sec, 30 secs
lola: 912904 markings, 1012453 edges, 20796 markings/sec, 35 secs
lola: 1020630 markings, 1126812 edges, 21545 markings/sec, 40 secs
lola: 1131753 markings, 1237938 edges, 22225 markings/sec, 45 secs
lola: 1243496 markings, 1349954 edges, 22349 markings/sec, 50 secs
lola: 1353859 markings, 1460585 edges, 22073 markings/sec, 55 secs
lola: 1465482 markings, 1572467 edges, 22325 markings/sec, 60 secs
lola: 1575693 markings, 1682950 edges, 22042 markings/sec, 65 secs
lola: 1686865 markings, 1794384 edges, 22234 markings/sec, 70 secs
lola: 1796788 markings, 1904573 edges, 21985 markings/sec, 75 secs
lola: 1906970 markings, 2015017 edges, 22036 markings/sec, 80 secs
lola: 2018339 markings, 2126652 edges, 22274 markings/sec, 85 secs
lola: 2131045 markings, 2239633 edges, 22541 markings/sec, 90 secs
lola: 2243190 markings, 2352038 edges, 22429 markings/sec, 95 secs
lola: 2353377 markings, 2462493 edges, 22037 markings/sec, 100 secs
lola: 2466410 markings, 2575773 edges, 22607 markings/sec, 105 secs
lola: 2578623 markings, 2688334 edges, 22443 markings/sec, 110 secs
lola: 2690994 markings, 2801044 edges, 22474 markings/sec, 115 secs
lola: 2802464 markings, 2912863 edges, 22294 markings/sec, 120 secs
lola: 2914249 markings, 3025503 edges, 22357 markings/sec, 125 secs
lola: 3025669 markings, 3138006 edges, 22284 markings/sec, 130 secs
lola: 3137231 markings, 3250236 edges, 22312 markings/sec, 135 secs
lola: 3248375 markings, 3361720 edges, 22229 markings/sec, 140 secs
lola: 3359527 markings, 3473851 edges, 22230 markings/sec, 145 secs
lola: 3470578 markings, 3585920 edges, 22210 markings/sec, 150 secs
lola: 3582048 markings, 3698004 edges, 22294 markings/sec, 155 secs
lola: 3694115 markings, 3810458 edges, 22413 markings/sec, 160 secs
lola: 3803852 markings, 3921266 edges, 21947 markings/sec, 165 secs
lola: 3914131 markings, 4032482 edges, 22056 markings/sec, 170 secs
lola: 4024803 markings, 4143650 edges, 22134 markings/sec, 175 secs
lola: 4135271 markings, 4254634 edges, 22094 markings/sec, 180 secs
lola: 4245705 markings, 4366150 edges, 22087 markings/sec, 185 secs
lola: 4356127 markings, 4477455 edges, 22084 markings/sec, 190 secs
lola: 4468423 markings, 4590210 edges, 22459 markings/sec, 195 secs
lola: 4580620 markings, 4703100 edges, 22439 markings/sec, 200 secs
lola: 4692945 markings, 4816521 edges, 22465 markings/sec, 205 secs
lola: 4805353 markings, 4929700 edges, 22482 markings/sec, 210 secs
lola: 4916247 markings, 5040939 edges, 22179 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(po_d4_n1_2_1_2_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 122613 markings, 125299 edges, 24523 markings/sec, 0 secs
lola: 204515 markings, 208857 edges, 16380 markings/sec, 5 secs
lola: 286607 markings, 292747 edges, 16418 markings/sec, 10 secs
lola: 368854 markings, 376286 edges, 16449 markings/sec, 15 secs
lola: 451805 markings, 460700 edges, 16590 markings/sec, 20 secs
lola: 534732 markings, 544701 edges, 16585 markings/sec, 25 secs
lola: 617341 markings, 628445 edges, 16522 markings/sec, 30 secs
lola: 699539 markings, 711706 edges, 16440 markings/sec, 35 secs
lola: 781464 markings, 794815 edges, 16385 markings/sec, 40 secs
lola: 864512 markings, 880140 edges, 16610 markings/sec, 45 secs
lola: 947386 markings, 965816 edges, 16575 markings/sec, 50 secs
lola: 1037830 markings, 1056798 edges, 18089 markings/sec, 55 secs
lola: 1129026 markings, 1148316 edges, 18239 markings/sec, 60 secs
lola: 1219708 markings, 1239341 edges, 18136 markings/sec, 65 secs
lola: 1310642 markings, 1330602 edges, 18187 markings/sec, 70 secs
lola: 1401550 markings, 1421832 edges, 18182 markings/sec, 75 secs
lola: 1492405 markings, 1513010 edges, 18171 markings/sec, 80 secs
lola: 1583450 markings, 1604465 edges, 18209 markings/sec, 85 secs
lola: 1673903 markings, 1695303 edges, 18091 markings/sec, 90 secs
lola: 1763365 markings, 1784937 edges, 17892 markings/sec, 95 secs
lola: 1853732 markings, 1875564 edges, 18073 markings/sec, 100 secs
lola: 1942655 markings, 1964837 edges, 17785 markings/sec, 105 secs
lola: 2032280 markings, 2054750 edges, 17925 markings/sec, 110 secs
lola: 2121385 markings, 2144201 edges, 17821 markings/sec, 115 secs
lola: 2211007 markings, 2234209 edges, 17924 markings/sec, 120 secs
lola: 2300579 markings, 2324174 edges, 17914 markings/sec, 125 secs
lola: 2390137 markings, 2414113 edges, 17912 markings/sec, 130 secs
lola: 2479567 markings, 2503928 edges, 17886 markings/sec, 135 secs
lola: 2568997 markings, 2593742 edges, 17886 markings/sec, 140 secs
lola: 2658595 markings, 2683615 edges, 17920 markings/sec, 145 secs
lola: 2747502 markings, 2772716 edges, 17781 markings/sec, 150 secs
lola: 2837006 markings, 2862439 edges, 17901 markings/sec, 155 secs
lola: 2925050 markings, 2950881 edges, 17609 markings/sec, 160 secs
lola: 3014160 markings, 3040364 edges, 17822 markings/sec, 165 secs
lola: 3102975 markings, 3129643 edges, 17763 markings/sec, 170 secs
lola: 3190114 markings, 3217303 edges, 17428 markings/sec, 175 secs
lola: 3277620 markings, 3305329 edges, 17501 markings/sec, 180 secs
lola: 3364999 markings, 3393223 edges, 17476 markings/sec, 185 secs
lola: 3452619 markings, 3481363 edges, 17524 markings/sec, 190 secs
lola: 3539938 markings, 3569185 edges, 17464 markings/sec, 195 secs
lola: 3627276 markings, 3657004 edges, 17468 markings/sec, 200 secs
lola: 3714406 markings, 3744599 edges, 17426 markings/sec, 205 secs
lola: 3802252 markings, 3832919 edges, 17569 markings/sec, 210 secs
lola: 3889378 markings, 3920553 edges, 17425 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(pi_d3_n1_2_1_1_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 467493 markings, 474794 edges, 93499 markings/sec, 0 secs
lola: 903598 markings, 917807 edges, 87221 markings/sec, 5 secs
lola: 1337348 markings, 1358435 edges, 86750 markings/sec, 10 secs
lola: 1766278 markings, 1794156 edges, 85786 markings/sec, 15 secs
lola: 2196280 markings, 2231450 edges, 86000 markings/sec, 20 secs
lola: 2638771 markings, 2679225 edges, 88498 markings/sec, 25 secs
lola: 3075790 markings, 3117826 edges, 87404 markings/sec, 30 secs
lola: 3450798 markings, 3494148 edges, 75002 markings/sec, 35 secs
lola: 3821246 markings, 3865887 edges, 74090 markings/sec, 40 secs
lola: 4191582 markings, 4236254 edges, 74067 markings/sec, 45 secs
lola: 4560354 markings, 4605171 edges, 73754 markings/sec, 50 secs
lola: 4927543 markings, 4972636 edges, 73438 markings/sec, 55 secs
lola: 5300750 markings, 5346071 edges, 74641 markings/sec, 60 secs
lola: 5677838 markings, 5723404 edges, 75418 markings/sec, 65 secs
lola: 6049445 markings, 6095317 edges, 74321 markings/sec, 70 secs
lola: 6419726 markings, 6465912 edges, 74056 markings/sec, 75 secs
lola: 6786322 markings, 6832774 edges, 73319 markings/sec, 80 secs
lola: 7157102 markings, 7203765 edges, 74156 markings/sec, 85 secs
lola: 7535174 markings, 7582171 edges, 75614 markings/sec, 90 secs
lola: 7909646 markings, 7956914 edges, 74894 markings/sec, 95 secs
lola: 8282748 markings, 8330284 edges, 74620 markings/sec, 100 secs
lola: 8655020 markings, 8702823 edges, 74454 markings/sec, 105 secs
lola: 9027077 markings, 9075152 edges, 74411 markings/sec, 110 secs
lola: 9399540 markings, 9447880 edges, 74493 markings/sec, 115 secs
lola: 9769358 markings, 9817961 edges, 73964 markings/sec, 120 secs
lola: 10142208 markings, 10191084 edges, 74570 markings/sec, 125 secs
lola: 10518951 markings, 10568055 edges, 75349 markings/sec, 130 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 228 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pil_d1_n1_2_1_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 149785 markings, 154775 edges, 29957 markings/sec, 0 secs
lola: 285856 markings, 291105 edges, 27214 markings/sec, 5 secs
lola: 420266 markings, 425816 edges, 26882 markings/sec, 10 secs
lola: 553556 markings, 559343 edges, 26658 markings/sec, 15 secs
lola: 687603 markings, 693638 edges, 26809 markings/sec, 20 secs
lola: 820323 markings, 826618 edges, 26544 markings/sec, 25 secs
lola: 952942 markings, 959499 edges, 26524 markings/sec, 30 secs
lola: 1085529 markings, 1092340 edges, 26517 markings/sec, 35 secs
lola: 1218964 markings, 1226091 edges, 26687 markings/sec, 40 secs
lola: 1350563 markings, 1358136 edges, 26320 markings/sec, 45 secs
lola: 1481994 markings, 1490352 edges, 26286 markings/sec, 50 secs
lola: 1611486 markings, 1620274 edges, 25898 markings/sec, 55 secs
lola: 1744321 markings, 1753857 edges, 26567 markings/sec, 60 secs
lola: 1875410 markings, 1885549 edges, 26218 markings/sec, 65 secs
lola: 2007698 markings, 2018415 edges, 26458 markings/sec, 70 secs
lola: 2139114 markings, 2150563 edges, 26283 markings/sec, 75 secs
lola: 2270081 markings, 2281971 edges, 26193 markings/sec, 80 secs
lola: 2401265 markings, 2413892 edges, 26237 markings/sec, 85 secs
lola: 2531265 markings, 2544328 edges, 26000 markings/sec, 90 secs
lola: 2661592 markings, 2675395 edges, 26065 markings/sec, 95 secs
lola: 2790421 markings, 2804762 edges, 25766 markings/sec, 100 secs
lola: 2921046 markings, 2936015 edges, 26125 markings/sec, 105 secs
lola: 3050335 markings, 3066020 edges, 25858 markings/sec, 110 secs
lola: 3181014 markings, 3197151 edges, 26136 markings/sec, 115 secs
lola: 3310692 markings, 3327557 edges, 25936 markings/sec, 120 secs
lola: 3439531 markings, 3456831 edges, 25768 markings/sec, 125 secs
lola: 3572611 markings, 3590658 edges, 26616 markings/sec, 130 secs
lola: 3705434 markings, 3723946 edges, 26565 markings/sec, 135 secs
lola: 3838618 markings, 3857857 edges, 26637 markings/sec, 140 secs
lola: 3970276 markings, 3990218 edges, 26332 markings/sec, 145 secs
lola: 4097058 markings, 4117460 edges, 25356 markings/sec, 150 secs
lola: 4228122 markings, 4249253 edges, 26213 markings/sec, 155 secs
lola: 4358756 markings, 4380330 edges, 26127 markings/sec, 160 secs
lola: 4489768 markings, 4512077 edges, 26202 markings/sec, 165 secs
lola: 4618134 markings, 4640871 edges, 25673 markings/sec, 170 secs
lola: 4749721 markings, 4773205 edges, 26317 markings/sec, 175 secs
lola: 4879584 markings, 4903654 edges, 25973 markings/sec, 180 secs
lola: 5010772 markings, 5035428 edges, 26238 markings/sec, 185 secs
lola: 5141425 markings, 5166807 edges, 26131 markings/sec, 190 secs
lola: 5272243 markings, 5298056 edges, 26164 markings/sec, 195 secs
lola: 5404567 markings, 5430828 edges, 26465 markings/sec, 200 secs
lola: 5535400 markings, 5562128 edges, 26167 markings/sec, 205 secs
lola: 5665552 markings, 5692743 edges, 26030 markings/sec, 210 secs
lola: 5793763 markings, 5821432 edges, 25642 markings/sec, 215 secs
lola: 5920847 markings, 5948996 edges, 25417 markings/sec, 220 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 228 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(po_d3_n1_3_1_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 123798 markings, 128033 edges, 24760 markings/sec, 0 secs
lola: 210274 markings, 217107 edges, 17295 markings/sec, 5 secs
lola: 296487 markings, 305497 edges, 17243 markings/sec, 10 secs
lola: 376099 markings, 387129 edges, 15922 markings/sec, 15 secs
lola: 462466 markings, 473812 edges, 17273 markings/sec, 20 secs
lola: 549343 markings, 560822 edges, 17375 markings/sec, 25 secs
lola: 636782 markings, 648459 edges, 17488 markings/sec, 30 secs
lola: 725417 markings, 737326 edges, 17727 markings/sec, 35 secs
lola: 813692 markings, 825834 edges, 17655 markings/sec, 40 secs
lola: 901535 markings, 913894 edges, 17569 markings/sec, 45 secs
lola: 989787 markings, 1002210 edges, 17650 markings/sec, 50 secs
lola: 1078337 markings, 1090760 edges, 17710 markings/sec, 55 secs
lola: 1167295 markings, 1179720 edges, 17792 markings/sec, 60 secs
lola: 1256069 markings, 1268495 edges, 17755 markings/sec, 65 secs
lola: 1345014 markings, 1357444 edges, 17789 markings/sec, 70 secs
lola: 1433259 markings, 1445697 edges, 17649 markings/sec, 75 secs
lola: 1521395 markings, 1533841 edges, 17627 markings/sec, 80 secs
lola: 1609665 markings, 1622121 edges, 17654 markings/sec, 85 secs
lola: 1697610 markings, 1710074 edges, 17589 markings/sec, 90 secs
lola: 1785439 markings, 1797914 edges, 17566 markings/sec, 95 secs
lola: 1873799 markings, 1886305 edges, 17672 markings/sec, 100 secs
lola: 1961678 markings, 1974222 edges, 17576 markings/sec, 105 secs
lola: 2049445 markings, 2062024 edges, 17553 markings/sec, 110 secs
lola: 2137295 markings, 2149904 edges, 17570 markings/sec, 115 secs
lola: 2225164 markings, 2237801 edges, 17574 markings/sec, 120 secs
lola: 2312607 markings, 2325276 edges, 17489 markings/sec, 125 secs
lola: 2400262 markings, 2412970 edges, 17531 markings/sec, 130 secs
lola: 2487701 markings, 2500441 edges, 17488 markings/sec, 135 secs
lola: 2575716 markings, 2588485 edges, 17603 markings/sec, 140 secs
lola: 2663406 markings, 2676195 edges, 17538 markings/sec, 145 secs
lola: 2750998 markings, 2763808 edges, 17518 markings/sec, 150 secs
lola: 2837946 markings, 2850787 edges, 17390 markings/sec, 155 secs
lola: 2925219 markings, 2938089 edges, 17455 markings/sec, 160 secs
lola: 3012495 markings, 3025390 edges, 17455 markings/sec, 165 secs
lola: 3099836 markings, 3112756 edges, 17468 markings/sec, 170 secs
lola: 3186626 markings, 3199574 edges, 17358 markings/sec, 175 secs
lola: 3273081 markings, 3286059 edges, 17291 markings/sec, 180 secs
lola: 3359369 markings, 3372377 edges, 17258 markings/sec, 185 secs
lola: 3445555 markings, 3458593 edges, 17237 markings/sec, 190 secs
lola: 3531852 markings, 3544920 edges, 17259 markings/sec, 195 secs
lola: 3618076 markings, 3631174 edges, 17245 markings/sec, 200 secs
lola: 3704552 markings, 3717682 edges, 17295 markings/sec, 205 secs
lola: 3791262 markings, 3804426 edges, 17342 markings/sec, 210 secs
lola: 3877799 markings, 3891002 edges, 17307 markings/sec, 215 secs
lola: 3964589 markings, 3977823 edges, 17358 markings/sec, 220 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 228 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d4_n1_3_3_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 196678 markings, 217042 edges, 39336 markings/sec, 0 secs
lola: 268906 markings, 292060 edges, 14446 markings/sec, 5 secs
lola: 340872 markings, 366730 edges, 14393 markings/sec, 10 secs
lola: 416352 markings, 443366 edges, 15096 markings/sec, 15 secs
lola: 493040 markings, 520256 edges, 15338 markings/sec, 20 secs
lola: 569070 markings, 596612 edges, 15206 markings/sec, 25 secs
lola: 645591 markings, 673516 edges, 15304 markings/sec, 30 secs
lola: 722184 markings, 750360 edges, 15319 markings/sec, 35 secs
lola: 798203 markings, 826594 edges, 15204 markings/sec, 40 secs
lola: 874801 markings, 903424 edges, 15320 markings/sec, 45 secs
lola: 951288 markings, 980120 edges, 15297 markings/sec, 50 secs
lola: 1027847 markings, 1056920 edges, 15312 markings/sec, 55 secs
lola: 1104263 markings, 1133563 edges, 15283 markings/sec, 60 secs
lola: 1180888 markings, 1210581 edges, 15325 markings/sec, 65 secs
lola: 1256805 markings, 1286936 edges, 15183 markings/sec, 70 secs
lola: 1332895 markings, 1363216 edges, 15218 markings/sec, 75 secs
lola: 1409398 markings, 1439942 edges, 15301 markings/sec, 80 secs
lola: 1484810 markings, 1515603 edges, 15082 markings/sec, 85 secs
lola: 1560136 markings, 1591175 edges, 15065 markings/sec, 90 secs
lola: 1635589 markings, 1666903 edges, 15091 markings/sec, 95 secs
lola: 1710974 markings, 1742531 edges, 15077 markings/sec, 100 secs
lola: 1786574 markings, 1818335 edges, 15120 markings/sec, 105 secs
lola: 1862949 markings, 1895013 edges, 15275 markings/sec, 110 secs
lola: 1939208 markings, 1971621 edges, 15252 markings/sec, 115 secs
lola: 2015222 markings, 2048018 edges, 15203 markings/sec, 120 secs
lola: 2087084 markings, 2122150 edges, 14372 markings/sec, 125 secs
lola: 2157311 markings, 2194879 edges, 14045 markings/sec, 130 secs
lola: 2226523 markings, 2266203 edges, 13842 markings/sec, 135 secs
lola: 2297462 markings, 2339267 edges, 14188 markings/sec, 140 secs
lola: 2366737 markings, 2410664 edges, 13855 markings/sec, 145 secs
lola: 2435546 markings, 2481610 edges, 13762 markings/sec, 150 secs
lola: 2505199 markings, 2552554 edges, 13931 markings/sec, 155 secs
lola: 2576902 markings, 2625580 edges, 14341 markings/sec, 160 secs
lola: 2649014 markings, 2698176 edges, 14422 markings/sec, 165 secs
lola: 2719029 markings, 2768870 edges, 14003 markings/sec, 170 secs
lola: 2790548 markings, 2842384 edges, 14304 markings/sec, 175 secs
lola: 2860066 markings, 2913412 edges, 13904 markings/sec, 180 secs
lola: 2930627 markings, 2986011 edges, 14112 markings/sec, 185 secs
lola: 3000680 markings, 3058734 edges, 14011 markings/sec, 190 secs
lola: 3070396 markings, 3129802 edges, 13943 markings/sec, 195 secs
lola: 3140498 markings, 3201378 edges, 14020 markings/sec, 200 secs
lola: 3210339 markings, 3273286 edges, 13968 markings/sec, 205 secs
lola: 3279786 markings, 3344951 edges, 13889 markings/sec, 210 secs
lola: 3349817 markings, 3417274 edges, 14006 markings/sec, 215 secs
lola: 3419035 markings, 3488638 edges, 13844 markings/sec, 220 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 228 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d2_n2_1_1_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 247581 markings, 270246 edges, 49516 markings/sec, 0 secs
lola: 316765 markings, 340673 edges, 13837 markings/sec, 5 secs
lola: 389693 markings, 413712 edges, 14586 markings/sec, 10 secs
lola: 463644 markings, 487696 edges, 14790 markings/sec, 15 secs
lola: 537652 markings, 561718 edges, 14802 markings/sec, 20 secs
lola: 611056 markings, 635145 edges, 14681 markings/sec, 25 secs
lola: 684561 markings, 708670 edges, 14701 markings/sec, 30 secs
lola: 758659 markings, 782785 edges, 14820 markings/sec, 35 secs
lola: 832626 markings, 856770 edges, 14793 markings/sec, 40 secs
lola: 906617 markings, 930777 edges, 14798 markings/sec, 45 secs
lola: 980363 markings, 1004539 edges, 14749 markings/sec, 50 secs
lola: 1054283 markings, 1078475 edges, 14784 markings/sec, 55 secs
lola: 1128088 markings, 1152295 edges, 14761 markings/sec, 60 secs
lola: 1201685 markings, 1225907 edges, 14719 markings/sec, 65 secs
lola: 1275239 markings, 1299505 edges, 14711 markings/sec, 70 secs
lola: 1348537 markings, 1372839 edges, 14660 markings/sec, 75 secs
lola: 1422125 markings, 1446459 edges, 14718 markings/sec, 80 secs
lola: 1495698 markings, 1520077 edges, 14715 markings/sec, 85 secs
lola: 1569345 markings, 1593753 edges, 14729 markings/sec, 90 secs
lola: 1643355 markings, 1667792 edges, 14802 markings/sec, 95 secs
lola: 1717221 markings, 1741689 edges, 14773 markings/sec, 100 secs
lola: 1791112 markings, 1815608 edges, 14778 markings/sec, 105 secs
lola: 1864825 markings, 1889349 edges, 14743 markings/sec, 110 secs
lola: 1938522 markings, 1963074 edges, 14739 markings/sec, 115 secs
lola: 2012191 markings, 2036772 edges, 14734 markings/sec, 120 secs
lola: 2082491 markings, 2107103 edges, 14060 markings/sec, 125 secs
lola: 2155068 markings, 2179711 edges, 14515 markings/sec, 130 secs
lola: 2226236 markings, 2250909 edges, 14234 markings/sec, 135 secs
lola: 2298565 markings, 2323271 edges, 14466 markings/sec, 140 secs
lola: 2370457 markings, 2395191 edges, 14378 markings/sec, 145 secs
lola: 2440920 markings, 2465666 edges, 14093 markings/sec, 150 secs
lola: 2511806 markings, 2536564 edges, 14177 markings/sec, 155 secs
lola: 2583205 markings, 2607975 edges, 14280 markings/sec, 160 secs
lola: 2654712 markings, 2679494 edges, 14301 markings/sec, 165 secs
lola: 2726125 markings, 2750919 edges, 14283 markings/sec, 170 secs
lola: 2798392 markings, 2823200 edges, 14453 markings/sec, 175 secs
lola: 2871049 markings, 2895870 edges, 14531 markings/sec, 180 secs
lola: 2943854 markings, 2968690 edges, 14561 markings/sec, 185 secs
lola: 3016762 markings, 3041613 edges, 14582 markings/sec, 190 secs
lola: 3089594 markings, 3114459 edges, 14566 markings/sec, 195 secs
lola: 3162507 markings, 3187387 edges, 14583 markings/sec, 200 secs
lola: 3235324 markings, 3260219 edges, 14563 markings/sec, 205 secs
lola: 3308187 markings, 3333096 edges, 14573 markings/sec, 210 secs
lola: 3380868 markings, 3405792 edges, 14536 markings/sec, 215 secs
lola: 3453718 markings, 3478657 edges, 14570 markings/sec, 220 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 228 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(po_d4_n1_3_3_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 220451 markings, 254309 edges, 44090 markings/sec, 0 secs
lola: 407892 markings, 467092 edges, 37488 markings/sec, 5 secs
lola: 591429 markings, 666943 edges, 36707 markings/sec, 10 secs
lola: 756654 markings, 846597 edges, 33045 markings/sec, 15 secs
lola: 903838 markings, 996490 edges, 29437 markings/sec, 20 secs
lola: 1024449 markings, 1120465 edges, 24122 markings/sec, 25 secs
lola: 1144795 markings, 1244223 edges, 24069 markings/sec, 30 secs
lola: 1264582 markings, 1367367 edges, 23957 markings/sec, 35 secs
lola: 1384968 markings, 1491104 edges, 24077 markings/sec, 40 secs
lola: 1504327 markings, 1613745 edges, 23872 markings/sec, 45 secs
lola: 1633354 markings, 1743341 edges, 25805 markings/sec, 50 secs
lola: 1757556 markings, 1868034 edges, 24840 markings/sec, 55 secs
lola: 1879349 markings, 1990052 edges, 24359 markings/sec, 60 secs
lola: 1997465 markings, 2108814 edges, 23623 markings/sec, 65 secs
lola: 2115359 markings, 2226982 edges, 23579 markings/sec, 70 secs
lola: 2231796 markings, 2343707 edges, 23287 markings/sec, 75 secs
lola: 2346724 markings, 2458926 edges, 22986 markings/sec, 80 secs
lola: 2456592 markings, 2571251 edges, 21974 markings/sec, 85 secs
lola: 2560653 markings, 2678699 edges, 20812 markings/sec, 90 secs
lola: 2663452 markings, 2785054 edges, 20560 markings/sec, 95 secs
lola: 2764086 markings, 2889508 edges, 20127 markings/sec, 100 secs
lola: 2865272 markings, 2993488 edges, 20237 markings/sec, 105 secs
lola: 2967065 markings, 3098609 edges, 20359 markings/sec, 110 secs
lola: 3071523 markings, 3206621 edges, 20892 markings/sec, 115 secs
lola: 3172992 markings, 3310926 edges, 20294 markings/sec, 120 secs
lola: 3275940 markings, 3416300 edges, 20590 markings/sec, 125 secs
lola: 3377059 markings, 3519110 edges, 20224 markings/sec, 130 secs
lola: 3479275 markings, 3623126 edges, 20443 markings/sec, 135 secs
lola: 3582679 markings, 3728866 edges, 20681 markings/sec, 140 secs
lola: 3685946 markings, 3834531 edges, 20653 markings/sec, 145 secs
lola: 3788810 markings, 3940424 edges, 20573 markings/sec, 150 secs
lola: 3891529 markings, 4045141 edges, 20544 markings/sec, 155 secs
lola: 3992823 markings, 4149679 edges, 20259 markings/sec, 160 secs
lola: 4095548 markings, 4254716 edges, 20545 markings/sec, 165 secs
lola: 4196885 markings, 4359064 edges, 20267 markings/sec, 170 secs
lola: 4298179 markings, 4463287 edges, 20259 markings/sec, 175 secs
lola: 4399535 markings, 4567341 edges, 20271 markings/sec, 180 secs
lola: 4500360 markings, 4671422 edges, 20165 markings/sec, 185 secs
lola: 4603023 markings, 4777821 edges, 20533 markings/sec, 190 secs
lola: 4704060 markings, 4882375 edges, 20207 markings/sec, 195 secs
lola: 4806163 markings, 4987616 edges, 20421 markings/sec, 200 secs
lola: 4909163 markings, 5093289 edges, 20600 markings/sec, 205 secs
lola: 5011706 markings, 5200212 edges, 20509 markings/sec, 210 secs
lola: 5111420 markings, 5303637 edges, 19943 markings/sec, 215 secs
lola: 5211507 markings, 5407773 edges, 20017 markings/sec, 220 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 228 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d3_n1_3_3_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 175415 markings, 183269 edges, 35083 markings/sec, 0 secs
lola: 342803 markings, 352933 edges, 33478 markings/sec, 5 secs
lola: 508003 markings, 518519 edges, 33040 markings/sec, 10 secs
lola: 671563 markings, 682661 edges, 32712 markings/sec, 15 secs
lola: 834827 markings, 846581 edges, 32653 markings/sec, 20 secs
lola: 998815 markings, 1011223 edges, 32798 markings/sec, 25 secs
lola: 1164217 markings, 1176718 edges, 33080 markings/sec, 30 secs
lola: 1329028 markings, 1341569 edges, 32962 markings/sec, 35 secs
lola: 1493828 markings, 1506411 edges, 32960 markings/sec, 40 secs
lola: 1660363 markings, 1672985 edges, 33307 markings/sec, 45 secs
lola: 1827683 markings, 1840333 edges, 33464 markings/sec, 50 secs
lola: 1993619 markings, 2006307 edges, 33187 markings/sec, 55 secs
lola: 2158698 markings, 2171431 edges, 33016 markings/sec, 60 secs
lola: 2323604 markings, 2336381 edges, 32981 markings/sec, 65 secs
lola: 2487782 markings, 2500619 edges, 32836 markings/sec, 70 secs
lola: 2652145 markings, 2665047 edges, 32873 markings/sec, 75 secs
lola: 2816115 markings, 2829081 edges, 32794 markings/sec, 80 secs
lola: 2979842 markings, 2992873 edges, 32745 markings/sec, 85 secs
lola: 3136707 markings, 3149798 edges, 31373 markings/sec, 90 secs
lola: 3302780 markings, 3315916 edges, 33215 markings/sec, 95 secs
lola: 3468260 markings, 3481438 edges, 33096 markings/sec, 100 secs
lola: 3633620 markings, 3646843 edges, 33072 markings/sec, 105 secs
lola: 3798087 markings, 3811355 edges, 32893 markings/sec, 110 secs
lola: 3965226 markings, 3978536 edges, 33428 markings/sec, 115 secs
lola: 4130847 markings, 4144199 edges, 33124 markings/sec, 120 secs
lola: 4296555 markings, 4309954 edges, 33142 markings/sec, 125 secs
lola: 4462604 markings, 4476068 edges, 33210 markings/sec, 130 secs
lola: 4628587 markings, 4642116 edges, 33197 markings/sec, 135 secs
lola: 4794974 markings, 4808564 edges, 33277 markings/sec, 140 secs
lola: 4961188 markings, 4974842 edges, 33243 markings/sec, 145 secs
lola: 5127421 markings, 5141137 edges, 33247 markings/sec, 150 secs
lola: 5293675 markings, 5307458 edges, 33251 markings/sec, 155 secs
lola: 5459387 markings, 5473225 edges, 33142 markings/sec, 160 secs
lola: 5624607 markings, 5638486 edges, 33044 markings/sec, 165 secs
lola: 5790610 markings, 5804524 edges, 33201 markings/sec, 170 secs
lola: 5957715 markings, 5971664 edges, 33421 markings/sec, 175 secs
lola: 6122931 markings, 6136916 edges, 33043 markings/sec, 180 secs
lola: 6286883 markings, 6300905 edges, 32790 markings/sec, 185 secs
lola: 6450494 markings, 6464553 edges, 32722 markings/sec, 190 secs
lola: 6613796 markings, 6627900 edges, 32660 markings/sec, 195 secs
lola: 6777462 markings, 6791635 edges, 32733 markings/sec, 200 secs
lola: 6942180 markings, 6956421 edges, 32944 markings/sec, 205 secs
lola: 7110144 markings, 7124452 edges, 33593 markings/sec, 210 secs
lola: 7277147 markings, 7291528 edges, 33401 markings/sec, 215 secs
lola: 7443352 markings, 7457798 edges, 33241 markings/sec, 220 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 227 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pil_d3_n1_1_1_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 207374 markings, 217152 edges, 41475 markings/sec, 0 secs
lola: 292901 markings, 304002 edges, 17105 markings/sec, 5 secs
lola: 377628 markings, 389928 edges, 16945 markings/sec, 10 secs
lola: 462921 markings, 476271 edges, 17059 markings/sec, 15 secs
lola: 548152 markings, 562555 edges, 17046 markings/sec, 20 secs
lola: 635378 markings, 650463 edges, 17445 markings/sec, 25 secs
lola: 724266 markings, 739648 edges, 17778 markings/sec, 30 secs
lola: 812614 markings, 828202 edges, 17670 markings/sec, 35 secs
lola: 900969 markings, 916969 edges, 17671 markings/sec, 40 secs
lola: 989072 markings, 1005493 edges, 17621 markings/sec, 45 secs
lola: 1075303 markings, 1092101 edges, 17246 markings/sec, 50 secs
lola: 1161516 markings, 1178777 edges, 17243 markings/sec, 55 secs
lola: 1247780 markings, 1265519 edges, 17253 markings/sec, 60 secs
lola: 1335132 markings, 1353245 edges, 17470 markings/sec, 65 secs
lola: 1423734 markings, 1442208 edges, 17720 markings/sec, 70 secs
lola: 1511718 markings, 1530546 edges, 17597 markings/sec, 75 secs
lola: 1600126 markings, 1619275 edges, 17682 markings/sec, 80 secs
lola: 1688584 markings, 1708017 edges, 17692 markings/sec, 85 secs
lola: 1776688 markings, 1796422 edges, 17621 markings/sec, 90 secs
lola: 1864559 markings, 1884565 edges, 17574 markings/sec, 95 secs
lola: 1952585 markings, 1972875 edges, 17605 markings/sec, 100 secs
lola: 2039801 markings, 2060437 edges, 17443 markings/sec, 105 secs
lola: 2126990 markings, 2147972 edges, 17438 markings/sec, 110 secs
lola: 2214378 markings, 2235704 edges, 17478 markings/sec, 115 secs
lola: 2301783 markings, 2323442 edges, 17481 markings/sec, 120 secs
lola: 2389083 markings, 2411095 edges, 17460 markings/sec, 125 secs
lola: 2475195 markings, 2497573 edges, 17222 markings/sec, 130 secs
lola: 2561139 markings, 2583883 edges, 17189 markings/sec, 135 secs
lola: 2647111 markings, 2670220 edges, 17194 markings/sec, 140 secs
lola: 2732981 markings, 2756454 edges, 17174 markings/sec, 145 secs
lola: 2819713 markings, 2843593 edges, 17346 markings/sec, 150 secs
lola: 2905646 markings, 2929952 edges, 17187 markings/sec, 155 secs
lola: 2992269 markings, 3016957 edges, 17325 markings/sec, 160 secs
lola: 3078179 markings, 3103191 edges, 17182 markings/sec, 165 secs
lola: 3163936 markings, 3189260 edges, 17151 markings/sec, 170 secs
lola: 3250628 markings, 3276326 edges, 17338 markings/sec, 175 secs
lola: 3336631 markings, 3362731 edges, 17201 markings/sec, 180 secs
lola: 3422981 markings, 3449480 edges, 17270 markings/sec, 185 secs
lola: 3508774 markings, 3535678 edges, 17159 markings/sec, 190 secs
lola: 3593553 markings, 3620870 edges, 16956 markings/sec, 195 secs
lola: 3678223 markings, 3705953 edges, 16934 markings/sec, 200 secs
lola: 3762826 markings, 3790965 edges, 16921 markings/sec, 205 secs
lola: 3847287 markings, 3875834 edges, 16892 markings/sec, 210 secs
lola: 3931636 markings, 3960594 edges, 16870 markings/sec, 215 secs
lola: 4016833 markings, 4046205 edges, 17039 markings/sec, 220 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 228 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d1_n1_2_3_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 119117 markings, 128185 edges, 23823 markings/sec, 0 secs
lola: 205342 markings, 270401 edges, 17245 markings/sec, 5 secs
lola: 275856 markings, 588592 edges, 14103 markings/sec, 10 secs
lola: 343123 markings, 931972 edges, 13453 markings/sec, 15 secs
lola: 415183 markings, 1239295 edges, 14412 markings/sec, 20 secs
lola: 484234 markings, 1572486 edges, 13810 markings/sec, 25 secs
lola: 555234 markings, 1889511 edges, 14200 markings/sec, 30 secs
lola: 626933 markings, 2203690 edges, 14340 markings/sec, 35 secs
lola: 698659 markings, 2519822 edges, 14345 markings/sec, 40 secs
lola: 773457 markings, 2759148 edges, 14960 markings/sec, 45 secs
lola: 855520 markings, 2842708 edges, 16413 markings/sec, 50 secs
lola: 935789 markings, 2925928 edges, 16054 markings/sec, 55 secs
lola: 1019751 markings, 3010117 edges, 16792 markings/sec, 60 secs
lola: 1103643 markings, 3094381 edges, 16778 markings/sec, 65 secs
lola: 1186191 markings, 3177085 edges, 16510 markings/sec, 70 secs
lola: 1268738 markings, 3259932 edges, 16509 markings/sec, 75 secs
lola: 1352478 markings, 3343854 edges, 16748 markings/sec, 80 secs
lola: 1435629 markings, 3427191 edges, 16630 markings/sec, 85 secs
lola: 1517998 markings, 3509816 edges, 16474 markings/sec, 90 secs
lola: 1599515 markings, 3591630 edges, 16303 markings/sec, 95 secs
lola: 1681073 markings, 3673463 edges, 16312 markings/sec, 100 secs
lola: 1762760 markings, 3755397 edges, 16337 markings/sec, 105 secs
lola: 1844183 markings, 3837095 edges, 16285 markings/sec, 110 secs
lola: 1925065 markings, 3918183 edges, 16176 markings/sec, 115 secs
lola: 2006535 markings, 3999861 edges, 16294 markings/sec, 120 secs
lola: 2089094 markings, 4082658 edges, 16512 markings/sec, 125 secs
lola: 2171347 markings, 4165149 edges, 16451 markings/sec, 130 secs
lola: 2253739 markings, 4247751 edges, 16478 markings/sec, 135 secs
lola: 2335492 markings, 4329660 edges, 16351 markings/sec, 140 secs
lola: 2417267 markings, 4411540 edges, 16355 markings/sec, 145 secs
lola: 2499780 markings, 4494084 edges, 16503 markings/sec, 150 secs
lola: 2579488 markings, 4574013 edges, 15942 markings/sec, 155 secs
lola: 2657355 markings, 4652862 edges, 15573 markings/sec, 160 secs
lola: 2734624 markings, 4730379 edges, 15454 markings/sec, 165 secs
lola: 2811902 markings, 4808605 edges, 15456 markings/sec, 170 secs
lola: 2889312 markings, 4886240 edges, 15482 markings/sec, 175 secs
lola: 2965351 markings, 4963260 edges, 15208 markings/sec, 180 secs
lola: 3043018 markings, 5041167 edges, 15533 markings/sec, 185 secs
lola: 3119041 markings, 5118162 edges, 15205 markings/sec, 190 secs
lola: 3194922 markings, 5194300 edges, 15176 markings/sec, 195 secs
lola: 3268754 markings, 5269084 edges, 14766 markings/sec, 200 secs
lola: 3342468 markings, 5343154 edges, 14743 markings/sec, 205 secs
lola: 3417286 markings, 5418822 edges, 14964 markings/sec, 210 secs
lola: 3491875 markings, 5493818 edges, 14918 markings/sec, 215 secs
lola: 3565477 markings, 5568178 edges, 14720 markings/sec, 220 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 228 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pol_d4_n1_2_3_1_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 216586 markings, 237322 edges, 43317 markings/sec, 0 secs
lola: 337827 markings, 373569 edges, 24248 markings/sec, 5 secs
lola: 462643 markings, 500870 edges, 24963 markings/sec, 10 secs
lola: 597678 markings, 636378 edges, 27007 markings/sec, 15 secs
lola: 732147 markings, 771154 edges, 26894 markings/sec, 20 secs
lola: 865378 markings, 904822 edges, 26646 markings/sec, 25 secs
lola: 997392 markings, 1037260 edges, 26403 markings/sec, 30 secs
lola: 1129747 markings, 1170051 edges, 26471 markings/sec, 35 secs
lola: 1264486 markings, 1305214 edges, 26948 markings/sec, 40 secs
lola: 1396597 markings, 1437916 edges, 26422 markings/sec, 45 secs
lola: 1527438 markings, 1569441 edges, 26168 markings/sec, 50 secs
lola: 1657619 markings, 1700195 edges, 26036 markings/sec, 55 secs
lola: 1789066 markings, 1832210 edges, 26289 markings/sec, 60 secs
lola: 1924994 markings, 1968258 edges, 27186 markings/sec, 65 secs
lola: 2063405 markings, 2106767 edges, 27682 markings/sec, 70 secs
lola: 2201705 markings, 2245169 edges, 27660 markings/sec, 75 secs
lola: 2339384 markings, 2382878 edges, 27536 markings/sec, 80 secs
lola: 2476736 markings, 2520230 edges, 27470 markings/sec, 85 secs
lola: 2613188 markings, 2656682 edges, 27290 markings/sec, 90 secs
lola: 2749228 markings, 2792722 edges, 27208 markings/sec, 95 secs
lola: 2885563 markings, 2929057 edges, 27267 markings/sec, 100 secs
lola: 3021742 markings, 3065236 edges, 27236 markings/sec, 105 secs
lola: 3159658 markings, 3203152 edges, 27583 markings/sec, 110 secs
lola: 3297242 markings, 3340750 edges, 27517 markings/sec, 115 secs
lola: 3435079 markings, 3478599 edges, 27567 markings/sec, 120 secs
lola: 3571264 markings, 3614798 edges, 27237 markings/sec, 125 secs
lola: 3708187 markings, 3751731 edges, 27385 markings/sec, 130 secs
lola: 3844233 markings, 3887787 edges, 27209 markings/sec, 135 secs
lola: 3981354 markings, 4024923 edges, 27424 markings/sec, 140 secs
lola: 4116920 markings, 4160500 edges, 27113 markings/sec, 145 secs
lola: 4252117 markings, 4295711 edges, 27039 markings/sec, 150 secs
lola: 4388116 markings, 4431720 edges, 27200 markings/sec, 155 secs
lola: 4523996 markings, 4567610 edges, 27176 markings/sec, 160 secs
lola: 4660132 markings, 4703756 edges, 27227 markings/sec, 165 secs
lola: 4796852 markings, 4840490 edges, 27344 markings/sec, 170 secs
lola: 4932576 markings, 4976225 edges, 27145 markings/sec, 175 secs
lola: 5069245 markings, 5112907 edges, 27334 markings/sec, 180 secs
lola: 5205547 markings, 5249222 edges, 27260 markings/sec, 185 secs
lola: 5342200 markings, 5385887 edges, 27331 markings/sec, 190 secs
lola: 5478542 markings, 5522243 edges, 27268 markings/sec, 195 secs
lola: 5615166 markings, 5658878 edges, 27325 markings/sec, 200 secs
lola: 5751287 markings, 5795011 edges, 27224 markings/sec, 205 secs
lola: 5887346 markings, 5931084 edges, 27212 markings/sec, 210 secs
lola: 6023098 markings, 6066847 edges, 27150 markings/sec, 215 secs
lola: 6158908 markings, 6202672 edges, 27162 markings/sec, 220 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 228 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pil_d3_n1_3_2_1_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 161178 markings, 175581 edges, 32236 markings/sec, 0 secs
lola: 292939 markings, 314763 edges, 26352 markings/sec, 5 secs
lola: 373948 markings, 397088 edges, 16202 markings/sec, 10 secs
lola: 456533 markings, 479705 edges, 16517 markings/sec, 15 secs
lola: 538820 markings, 562028 edges, 16457 markings/sec, 20 secs
lola: 622354 markings, 645562 edges, 16707 markings/sec, 25 secs
lola: 705953 markings, 729162 edges, 16720 markings/sec, 30 secs
lola: 789051 markings, 812272 edges, 16620 markings/sec, 35 secs
lola: 871662 markings, 894897 edges, 16522 markings/sec, 40 secs
lola: 953976 markings, 977232 edges, 16463 markings/sec, 45 secs
lola: 1036336 markings, 1059607 edges, 16472 markings/sec, 50 secs
lola: 1119582 markings, 1142853 edges, 16649 markings/sec, 55 secs
lola: 1202713 markings, 1225987 edges, 16626 markings/sec, 60 secs
lola: 1285837 markings, 1309111 edges, 16625 markings/sec, 65 secs
lola: 1368945 markings, 1392219 edges, 16622 markings/sec, 70 secs
lola: 1451771 markings, 1475053 edges, 16565 markings/sec, 75 secs
lola: 1534095 markings, 1557391 edges, 16465 markings/sec, 80 secs
lola: 1616148 markings, 1639462 edges, 16411 markings/sec, 85 secs
lola: 1698305 markings, 1721634 edges, 16431 markings/sec, 90 secs
lola: 1780351 markings, 1803696 edges, 16409 markings/sec, 95 secs
lola: 1862433 markings, 1885796 edges, 16416 markings/sec, 100 secs
lola: 1944393 markings, 1967774 edges, 16392 markings/sec, 105 secs
lola: 2026386 markings, 2049781 edges, 16399 markings/sec, 110 secs
lola: 2108460 markings, 2131873 edges, 16415 markings/sec, 115 secs
lola: 2190376 markings, 2213802 edges, 16383 markings/sec, 120 secs
lola: 2272231 markings, 2295675 edges, 16371 markings/sec, 125 secs
lola: 2354037 markings, 2377499 edges, 16361 markings/sec, 130 secs
lola: 2436318 markings, 2459788 edges, 16456 markings/sec, 135 secs
lola: 2518507 markings, 2541989 edges, 16438 markings/sec, 140 secs
lola: 2600634 markings, 2624124 edges, 16425 markings/sec, 145 secs
lola: 2682857 markings, 2706360 edges, 16445 markings/sec, 150 secs
lola: 2765325 markings, 2788837 edges, 16494 markings/sec, 155 secs
lola: 2847989 markings, 2871509 edges, 16533 markings/sec, 160 secs
lola: 2930645 markings, 2954177 edges, 16531 markings/sec, 165 secs
lola: 3013281 markings, 3036825 edges, 16527 markings/sec, 170 secs
lola: 3095996 markings, 3119549 edges, 16543 markings/sec, 175 secs
lola: 3178667 markings, 3202232 edges, 16534 markings/sec, 180 secs
lola: 3261289 markings, 3284865 edges, 16524 markings/sec, 185 secs
lola: 3343943 markings, 3367528 edges, 16531 markings/sec, 190 secs
lola: 3426270 markings, 3449866 edges, 16465 markings/sec, 195 secs
lola: 3508854 markings, 3532462 edges, 16517 markings/sec, 200 secs
lola: 3591403 markings, 3615020 edges, 16510 markings/sec, 205 secs
lola: 3673395 markings, 3697023 edges, 16398 markings/sec, 210 secs
lola: 3755936 markings, 3779568 edges, 16508 markings/sec, 215 secs
lola: 3838317 markings, 3861949 edges, 16476 markings/sec, 220 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 227 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pil_d3_n1_2_3_3_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 180619 markings, 187727 edges, 36124 markings/sec, 0 secs
lola: 344667 markings, 359664 edges, 32810 markings/sec, 5 secs
lola: 514806 markings, 537981 edges, 34028 markings/sec, 10 secs
lola: 686331 markings, 717746 edges, 34305 markings/sec, 15 secs
lola: 853787 markings, 893149 edges, 33491 markings/sec, 20 secs
lola: 1023165 markings, 1070659 edges, 33876 markings/sec, 25 secs
lola: 1192678 markings, 1248314 edges, 33903 markings/sec, 30 secs
lola: 1360302 markings, 1423997 edges, 33525 markings/sec, 35 secs
lola: 1525556 markings, 1597299 edges, 33051 markings/sec, 40 secs
lola: 1665864 markings, 1739950 edges, 28062 markings/sec, 45 secs
lola: 1813804 markings, 1888346 edges, 29588 markings/sec, 50 secs
lola: 1962558 markings, 2037700 edges, 29751 markings/sec, 55 secs
lola: 2114080 markings, 2189661 edges, 30304 markings/sec, 60 secs
lola: 2262611 markings, 2338387 edges, 29706 markings/sec, 65 secs
lola: 2411481 markings, 2487582 edges, 29774 markings/sec, 70 secs
lola: 2559607 markings, 2636007 edges, 29625 markings/sec, 75 secs
lola: 2707987 markings, 2784753 edges, 29676 markings/sec, 80 secs
lola: 2856458 markings, 2933511 edges, 29694 markings/sec, 85 secs
lola: 3006767 markings, 3084066 edges, 30062 markings/sec, 90 secs
lola: 3155048 markings, 3232675 edges, 29656 markings/sec, 95 secs
lola: 3300702 markings, 3378910 edges, 29131 markings/sec, 100 secs
lola: 3446411 markings, 3525196 edges, 29142 markings/sec, 105 secs
lola: 3591185 markings, 3670545 edges, 28955 markings/sec, 110 secs
lola: 3738330 markings, 3818255 edges, 29429 markings/sec, 115 secs
lola: 3883259 markings, 3963574 edges, 28986 markings/sec, 120 secs
lola: 4030777 markings, 4111343 edges, 29504 markings/sec, 125 secs
lola: 4178572 markings, 4259393 edges, 29559 markings/sec, 130 secs
lola: 4325459 markings, 4406531 edges, 29377 markings/sec, 135 secs
lola: 4472620 markings, 4553944 edges, 29432 markings/sec, 140 secs
lola: 4619178 markings, 4700752 edges, 29312 markings/sec, 145 secs
lola: 4766416 markings, 4848245 edges, 29448 markings/sec, 150 secs
lola: 4913284 markings, 4995361 edges, 29374 markings/sec, 155 secs
lola: 5061419 markings, 5143582 edges, 29627 markings/sec, 160 secs
lola: 5210010 markings, 5292257 edges, 29718 markings/sec, 165 secs
lola: 5357781 markings, 5440125 edges, 29554 markings/sec, 170 secs
lola: 5505825 markings, 5588235 edges, 29609 markings/sec, 175 secs
lola: 5653626 markings, 5736089 edges, 29560 markings/sec, 180 secs
lola: 5803242 markings, 5886029 edges, 29923 markings/sec, 185 secs
lola: 5949867 markings, 6032765 edges, 29325 markings/sec, 190 secs
lola: 6096436 markings, 6179442 edges, 29314 markings/sec, 195 secs
lola: 6243172 markings, 6326294 edges, 29347 markings/sec, 200 secs
lola: 6389771 markings, 6472987 edges, 29320 markings/sec, 205 secs
lola: 6537738 markings, 6621248 edges, 29593 markings/sec, 210 secs
lola: 6687638 markings, 6771713 edges, 29980 markings/sec, 215 secs
lola: 6834183 markings, 6918326 edges, 29309 markings/sec, 220 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 228 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pil_d3_n1_1_2_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 130213 markings, 132786 edges, 26043 markings/sec, 0 secs
lola: 238421 markings, 242301 edges, 21642 markings/sec, 5 secs
lola: 353856 markings, 358272 edges, 23087 markings/sec, 10 secs
lola: 468833 markings, 473942 edges, 22995 markings/sec, 15 secs
lola: 583199 markings, 588980 edges, 22873 markings/sec, 20 secs
lola: 696854 markings, 703320 edges, 22731 markings/sec, 25 secs
lola: 810107 markings, 817254 edges, 22651 markings/sec, 30 secs
lola: 923197 markings, 930911 edges, 22618 markings/sec, 35 secs
lola: 1035081 markings, 1043720 edges, 22377 markings/sec, 40 secs
lola: 1147707 markings, 1156640 edges, 22525 markings/sec, 45 secs
lola: 1259160 markings, 1268639 edges, 22291 markings/sec, 50 secs
lola: 1369958 markings, 1380243 edges, 22160 markings/sec, 55 secs
lola: 1480616 markings, 1491659 edges, 22132 markings/sec, 60 secs
lola: 1590870 markings, 1602696 edges, 22051 markings/sec, 65 secs
lola: 1701324 markings, 1713867 edges, 22091 markings/sec, 70 secs
lola: 1811740 markings, 1825090 edges, 22083 markings/sec, 75 secs
lola: 1922071 markings, 1936205 edges, 22066 markings/sec, 80 secs
lola: 2032252 markings, 2047161 edges, 22036 markings/sec, 85 secs
lola: 2142480 markings, 2158144 edges, 22046 markings/sec, 90 secs
lola: 2252569 markings, 2269038 edges, 22018 markings/sec, 95 secs
lola: 2362902 markings, 2380261 edges, 22067 markings/sec, 100 secs
lola: 2472723 markings, 2490843 edges, 21964 markings/sec, 105 secs
lola: 2582592 markings, 2601419 edges, 21974 markings/sec, 110 secs
lola: 2692472 markings, 2712061 edges, 21976 markings/sec, 115 secs
lola: 2802751 markings, 2823261 edges, 22056 markings/sec, 120 secs
lola: 2913043 markings, 2934239 edges, 22058 markings/sec, 125 secs
lola: 3023107 markings, 3045061 edges, 22013 markings/sec, 130 secs
lola: 3133069 markings, 3155919 edges, 21992 markings/sec, 135 secs
lola: 3243059 markings, 3266565 edges, 21998 markings/sec, 140 secs
lola: 3353320 markings, 3377774 edges, 22052 markings/sec, 145 secs
lola: 3463235 markings, 3488176 edges, 21983 markings/sec, 150 secs
lola: 3573195 markings, 3598782 edges, 21992 markings/sec, 155 secs
lola: 3682795 markings, 3709259 edges, 21920 markings/sec, 160 secs
lola: 3792795 markings, 3819949 edges, 22000 markings/sec, 165 secs
lola: 3902734 markings, 3930753 edges, 21988 markings/sec, 170 secs
lola: 4012520 markings, 4041229 edges, 21957 markings/sec, 175 secs
lola: 4122398 markings, 4152007 edges, 21976 markings/sec, 180 secs
lola: 4232582 markings, 4262834 edges, 22037 markings/sec, 185 secs
lola: 4342615 markings, 4373851 edges, 22007 markings/sec, 190 secs
lola: 4452131 markings, 4483906 edges, 21903 markings/sec, 195 secs
lola: 4561815 markings, 4594573 edges, 21937 markings/sec, 200 secs
lola: 4671373 markings, 4704654 edges, 21912 markings/sec, 205 secs
lola: 4781415 markings, 4815680 edges, 22008 markings/sec, 210 secs
lola: 4890899 markings, 4925824 edges, 21897 markings/sec, 215 secs
lola: 5000722 markings, 5036484 edges, 21965 markings/sec, 220 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496350368633

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/S_HypercubeGrid-PT-C4K3P3B12.tgz
mv S_HypercubeGrid-PT-C4K3P3B12 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_HypercubeGrid-PT-C4K3P3B12, 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 r118-blw7-149441649700011"
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 ;