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 FlexibleBarrier-PT-18b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r188-blw3-149581034300137
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496494547963


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


checking for too many tokens
===========================================================================================
FlexibleBarrier-PT-18b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ FlexibleBarrier-PT-18b @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 9407/65536 symbol table entries, 2286 collisions
lola: preprocessing...
lola: finding significant places
lola: 4370 places, 5037 transitions, 4350 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 5075 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-18b-UpperBounds.task
lola: MAX(p42) : MAX(p2990) : MAX(p3490) : MAX(p4239) : MAX(p3214) : MAX(p4321) : MAX(p2409) : MAX(p3667) : MAX(p644) : MAX(p204) : MAX(p1496) : MAX(p2902) : MAX(p3355) : MAX(p2993) : MAX(p2303) : MAX(p1170)
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(p42)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 2 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: 45320 markings, 81702 edges, 9064 markings/sec, 0 secs
lola: 87333 markings, 172728 edges, 8403 markings/sec, 5 secs
lola: 130357 markings, 263509 edges, 8605 markings/sec, 10 secs
lola: 175378 markings, 345850 edges, 9004 markings/sec, 15 secs
lola: 220165 markings, 428345 edges, 8957 markings/sec, 20 secs
lola: 263977 markings, 509563 edges, 8762 markings/sec, 25 secs
lola: 302586 markings, 614134 edges, 7722 markings/sec, 30 secs
lola: 337448 markings, 738925 edges, 6972 markings/sec, 35 secs
lola: 372608 markings, 864431 edges, 7032 markings/sec, 40 secs
lola: 405688 markings, 999305 edges, 6616 markings/sec, 45 secs
lola: 440222 markings, 1109788 edges, 6907 markings/sec, 50 secs
lola: 472880 markings, 1245875 edges, 6532 markings/sec, 55 secs
lola: 505400 markings, 1376988 edges, 6504 markings/sec, 60 secs
lola: 541277 markings, 1476728 edges, 7175 markings/sec, 65 secs
lola: 583939 markings, 1561208 edges, 8532 markings/sec, 70 secs
lola: 626550 markings, 1647200 edges, 8522 markings/sec, 75 secs
lola: 668340 markings, 1733793 edges, 8358 markings/sec, 80 secs
lola: 711391 markings, 1819091 edges, 8610 markings/sec, 85 secs
lola: 754573 markings, 1906285 edges, 8636 markings/sec, 90 secs
lola: 796923 markings, 1992529 edges, 8470 markings/sec, 95 secs
lola: 836891 markings, 2082513 edges, 7994 markings/sec, 100 secs
lola: 869442 markings, 2197701 edges, 6510 markings/sec, 105 secs
lola: 902061 markings, 2313384 edges, 6524 markings/sec, 110 secs
lola: 934155 markings, 2441296 edges, 6419 markings/sec, 115 secs
lola: 965956 markings, 2576989 edges, 6360 markings/sec, 120 secs
lola: 997686 markings, 2708145 edges, 6346 markings/sec, 125 secs
lola: 1028513 markings, 2842409 edges, 6165 markings/sec, 130 secs
lola: 1069202 markings, 2929898 edges, 8138 markings/sec, 135 secs
lola: 1111405 markings, 3014118 edges, 8441 markings/sec, 140 secs
lola: 1153646 markings, 3099345 edges, 8448 markings/sec, 145 secs
lola: 1195281 markings, 3185151 edges, 8327 markings/sec, 150 secs
lola: 1237792 markings, 3269750 edges, 8502 markings/sec, 155 secs
lola: 1274920 markings, 3344931 edges, 7426 markings/sec, 160 secs
lola: 1313420 markings, 3424626 edges, 7700 markings/sec, 165 secs
lola: 1349333 markings, 3523707 edges, 7183 markings/sec, 170 secs
lola: 1380983 markings, 3635976 edges, 6330 markings/sec, 175 secs
lola: 1409676 markings, 3737663 edges, 5739 markings/sec, 180 secs
lola: 1438864 markings, 3857824 edges, 5838 markings/sec, 185 secs
lola: 1470527 markings, 3992505 edges, 6333 markings/sec, 190 secs
lola: 1501490 markings, 4121263 edges, 6193 markings/sec, 195 secs
lola: 1532137 markings, 4252769 edges, 6129 markings/sec, 200 secs
lola: 1574622 markings, 4336962 edges, 8497 markings/sec, 205 secs
lola: 1617405 markings, 4423340 edges, 8557 markings/sec, 210 secs
lola: 1658975 markings, 4508781 edges, 8314 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(p2990)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 2 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: 44891 markings, 49774 edges, 8978 markings/sec, 0 secs
lola: 89952 markings, 99964 edges, 9012 markings/sec, 5 secs
lola: 125608 markings, 140054 edges, 7131 markings/sec, 10 secs
lola: 169690 markings, 194509 edges, 8816 markings/sec, 15 secs
lola: 214585 markings, 244482 edges, 8979 markings/sec, 20 secs
lola: 260110 markings, 295187 edges, 9105 markings/sec, 25 secs
lola: 296238 markings, 335464 edges, 7226 markings/sec, 30 secs
lola: 340326 markings, 390168 edges, 8818 markings/sec, 35 secs
lola: 385175 markings, 440195 edges, 8970 markings/sec, 40 secs
lola: 430288 markings, 490435 edges, 9023 markings/sec, 45 secs
lola: 466712 markings, 531004 edges, 7285 markings/sec, 50 secs
lola: 510568 markings, 585429 edges, 8771 markings/sec, 55 secs
lola: 555376 markings, 635458 edges, 8962 markings/sec, 60 secs
lola: 601076 markings, 686361 edges, 9140 markings/sec, 65 secs
lola: 637480 markings, 726910 edges, 7281 markings/sec, 70 secs
lola: 681972 markings, 780767 edges, 8898 markings/sec, 75 secs
lola: 726354 markings, 831558 edges, 8876 markings/sec, 80 secs
lola: 771599 markings, 882000 edges, 9049 markings/sec, 85 secs
lola: 816905 markings, 932494 edges, 9061 markings/sec, 90 secs
lola: 861224 markings, 987435 edges, 8864 markings/sec, 95 secs
lola: 906192 markings, 1037604 edges, 8994 markings/sec, 100 secs
lola: 951516 markings, 1088086 edges, 9065 markings/sec, 105 secs
lola: 987892 markings, 1128603 edges, 7275 markings/sec, 110 secs
lola: 1032266 markings, 1183432 edges, 8875 markings/sec, 115 secs
lola: 1076744 markings, 1233267 edges, 8896 markings/sec, 120 secs
lola: 1122262 markings, 1283975 edges, 9104 markings/sec, 125 secs
lola: 1167582 markings, 1334617 edges, 9064 markings/sec, 130 secs
lola: 1211836 markings, 1389382 edges, 8851 markings/sec, 135 secs
lola: 1256686 markings, 1439388 edges, 8970 markings/sec, 140 secs
lola: 1302199 markings, 1490082 edges, 9103 markings/sec, 145 secs
lola: 1338680 markings, 1530755 edges, 7296 markings/sec, 150 secs
lola: 1383224 markings, 1585946 edges, 8909 markings/sec, 155 secs
lola: 1428067 markings, 1635975 edges, 8969 markings/sec, 160 secs
lola: 1473439 markings, 1686512 edges, 9074 markings/sec, 165 secs
lola: 1518710 markings, 1737418 edges, 9054 markings/sec, 170 secs
lola: 1563134 markings, 1792219 edges, 8885 markings/sec, 175 secs
lola: 1607259 markings, 1840492 edges, 8825 markings/sec, 180 secs
lola: 1651931 markings, 1889245 edges, 8934 markings/sec, 185 secs
lola: 1686286 markings, 1947279 edges, 6871 markings/sec, 190 secs
lola: 1726661 markings, 2046636 edges, 8075 markings/sec, 195 secs
lola: 1762598 markings, 2180805 edges, 7187 markings/sec, 200 secs
lola: 1802664 markings, 2265866 edges, 8013 markings/sec, 205 secs
lola: 1846469 markings, 2313679 edges, 8761 markings/sec, 210 secs
lola: 1890697 markings, 2361944 edges, 8846 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(p3490)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 2 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: 44082 markings, 86524 edges, 8816 markings/sec, 0 secs
lola: 83887 markings, 188443 edges, 7961 markings/sec, 5 secs
lola: 126021 markings, 270789 edges, 8427 markings/sec, 10 secs
lola: 169362 markings, 356481 edges, 8668 markings/sec, 15 secs
lola: 212995 markings, 442709 edges, 8727 markings/sec, 20 secs
lola: 256311 markings, 528152 edges, 8663 markings/sec, 25 secs
lola: 298980 markings, 616450 edges, 8534 markings/sec, 30 secs
lola: 333740 markings, 740397 edges, 6952 markings/sec, 35 secs
lola: 368809 markings, 865244 edges, 7014 markings/sec, 40 secs
lola: 403653 markings, 990498 edges, 6969 markings/sec, 45 secs
lola: 434251 markings, 1123996 edges, 6120 markings/sec, 50 secs
lola: 466731 markings, 1263280 edges, 6496 markings/sec, 55 secs
lola: 498054 markings, 1397569 edges, 6265 markings/sec, 60 secs
lola: 529436 markings, 1524354 edges, 6276 markings/sec, 65 secs
lola: 569433 markings, 1611061 edges, 7999 markings/sec, 70 secs
lola: 609127 markings, 1701633 edges, 7939 markings/sec, 75 secs
lola: 650511 markings, 1793612 edges, 8277 markings/sec, 80 secs
lola: 692181 markings, 1877933 edges, 8334 markings/sec, 85 secs
lola: 735137 markings, 1961827 edges, 8591 markings/sec, 90 secs
lola: 777736 markings, 2045925 edges, 8520 markings/sec, 95 secs
lola: 820913 markings, 2131227 edges, 8635 markings/sec, 100 secs
lola: 857396 markings, 2240628 edges, 7297 markings/sec, 105 secs
lola: 890748 markings, 2359996 edges, 6670 markings/sec, 110 secs
lola: 925793 markings, 2484552 edges, 7009 markings/sec, 115 secs
lola: 958253 markings, 2617901 edges, 6492 markings/sec, 120 secs
lola: 990239 markings, 2753773 edges, 6397 markings/sec, 125 secs
lola: 1021552 markings, 2896037 edges, 6263 markings/sec, 130 secs
lola: 1052090 markings, 3029154 edges, 6108 markings/sec, 135 secs
lola: 1088828 markings, 3124476 edges, 7348 markings/sec, 140 secs
lola: 1129798 markings, 3206466 edges, 8194 markings/sec, 145 secs
lola: 1166464 markings, 3301611 edges, 7333 markings/sec, 150 secs
lola: 1208866 markings, 3384852 edges, 8480 markings/sec, 155 secs
lola: 1251757 markings, 3469571 edges, 8578 markings/sec, 160 secs
lola: 1295093 markings, 3555074 edges, 8667 markings/sec, 165 secs
lola: 1335347 markings, 3635368 edges, 8051 markings/sec, 170 secs
lola: 1377178 markings, 3727330 edges, 8366 markings/sec, 175 secs
lola: 1411375 markings, 3849608 edges, 6839 markings/sec, 180 secs
lola: 1446255 markings, 3973693 edges, 6976 markings/sec, 185 secs
lola: 1480653 markings, 4097817 edges, 6880 markings/sec, 190 secs
lola: 1512008 markings, 4236052 edges, 6271 markings/sec, 195 secs
lola: 1544232 markings, 4373631 edges, 6445 markings/sec, 200 secs
lola: 1575066 markings, 4505096 edges, 6167 markings/sec, 205 secs
lola: 1605329 markings, 4625422 edges, 6053 markings/sec, 210 secs
lola: 1645935 markings, 4712718 edges, 8121 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(p4239)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 2 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: 43286 markings, 84271 edges, 8657 markings/sec, 0 secs
lola: 82912 markings, 185184 edges, 7925 markings/sec, 5 secs
lola: 126346 markings, 271357 edges, 8687 markings/sec, 10 secs
lola: 169852 markings, 357331 edges, 8701 markings/sec, 15 secs
lola: 213406 markings, 443424 edges, 8711 markings/sec, 20 secs
lola: 256197 markings, 527756 edges, 8558 markings/sec, 25 secs
lola: 297957 markings, 612552 edges, 8352 markings/sec, 30 secs
lola: 332503 markings, 735512 edges, 6909 markings/sec, 35 secs
lola: 367265 markings, 859856 edges, 6952 markings/sec, 40 secs
lola: 402119 markings, 983542 edges, 6971 markings/sec, 45 secs
lola: 433326 markings, 1120617 edges, 6241 markings/sec, 50 secs
lola: 465010 markings, 1254891 edges, 6337 markings/sec, 55 secs
lola: 496021 markings, 1390642 edges, 6202 markings/sec, 60 secs
lola: 527165 markings, 1517180 edges, 6229 markings/sec, 65 secs
lola: 566740 markings, 1604894 edges, 7915 markings/sec, 70 secs
lola: 605964 markings, 1695715 edges, 7845 markings/sec, 75 secs
lola: 646581 markings, 1786509 edges, 8123 markings/sec, 80 secs
lola: 689480 markings, 1871260 edges, 8580 markings/sec, 85 secs
lola: 732454 markings, 1956172 edges, 8595 markings/sec, 90 secs
lola: 775086 markings, 2039896 edges, 8526 markings/sec, 95 secs
lola: 816544 markings, 2123360 edges, 8292 markings/sec, 100 secs
lola: 854177 markings, 2228754 edges, 7527 markings/sec, 105 secs
lola: 888771 markings, 2352461 edges, 6919 markings/sec, 110 secs
lola: 923575 markings, 2476654 edges, 6961 markings/sec, 115 secs
lola: 956209 markings, 2607781 edges, 6527 markings/sec, 120 secs
lola: 988135 markings, 2744642 edges, 6385 markings/sec, 125 secs
lola: 1019280 markings, 2888325 edges, 6229 markings/sec, 130 secs
lola: 1049719 markings, 3020168 edges, 6088 markings/sec, 135 secs
lola: 1086143 markings, 3118433 edges, 7285 markings/sec, 140 secs
lola: 1126947 markings, 3200183 edges, 8161 markings/sec, 145 secs
lola: 1163801 markings, 3295522 edges, 7371 markings/sec, 150 secs
lola: 1206128 markings, 3378921 edges, 8465 markings/sec, 155 secs
lola: 1247695 markings, 3462382 edges, 8313 markings/sec, 160 secs
lola: 1290582 markings, 3546472 edges, 8577 markings/sec, 165 secs
lola: 1331202 markings, 3626542 edges, 8124 markings/sec, 170 secs
lola: 1372896 markings, 3712105 edges, 8339 markings/sec, 175 secs
lola: 1407374 markings, 3834583 edges, 6896 markings/sec, 180 secs
lola: 1442133 markings, 3958969 edges, 6952 markings/sec, 185 secs
lola: 1475599 markings, 4078126 edges, 6693 markings/sec, 190 secs
lola: 1506825 markings, 4213586 edges, 6245 markings/sec, 195 secs
lola: 1538853 markings, 4349669 edges, 6406 markings/sec, 200 secs
lola: 1569687 markings, 4485744 edges, 6167 markings/sec, 205 secs
lola: 1600921 markings, 4612733 edges, 6247 markings/sec, 210 secs
lola: 1640718 markings, 4701263 edges, 7959 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(p3214)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 2 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: 43549 markings, 85228 edges, 8710 markings/sec, 0 secs
lola: 84357 markings, 171936 edges, 8162 markings/sec, 5 secs
lola: 125092 markings, 268957 edges, 8147 markings/sec, 10 secs
lola: 168418 markings, 354590 edges, 8665 markings/sec, 15 secs
lola: 211583 markings, 439685 edges, 8633 markings/sec, 20 secs
lola: 252650 markings, 522438 edges, 8213 markings/sec, 25 secs
lola: 295561 markings, 606342 edges, 8582 markings/sec, 30 secs
lola: 329908 markings, 726484 edges, 6869 markings/sec, 35 secs
lola: 364629 markings, 850733 edges, 6944 markings/sec, 40 secs
lola: 399130 markings, 973934 edges, 6900 markings/sec, 45 secs
lola: 430753 markings, 1109242 edges, 6325 markings/sec, 50 secs
lola: 462989 markings, 1246783 edges, 6447 markings/sec, 55 secs
lola: 494131 markings, 1384268 edges, 6228 markings/sec, 60 secs
lola: 525211 markings, 1511590 edges, 6216 markings/sec, 65 secs
lola: 563620 markings, 1600703 edges, 7682 markings/sec, 70 secs
lola: 605397 markings, 1682259 edges, 8355 markings/sec, 75 secs
lola: 643611 markings, 1780593 edges, 7643 markings/sec, 80 secs
lola: 685322 markings, 1862595 edges, 8342 markings/sec, 85 secs
lola: 726330 markings, 1944460 edges, 8202 markings/sec, 90 secs
lola: 768684 markings, 2028105 edges, 8471 markings/sec, 95 secs
lola: 811586 markings, 2112798 edges, 8580 markings/sec, 100 secs
lola: 847906 markings, 2207262 edges, 7264 markings/sec, 105 secs
lola: 881485 markings, 2327163 edges, 6716 markings/sec, 110 secs
lola: 916214 markings, 2450406 edges, 6946 markings/sec, 115 secs
lola: 949379 markings, 2576872 edges, 6633 markings/sec, 120 secs
lola: 980842 markings, 2713986 edges, 6293 markings/sec, 125 secs
lola: 1012368 markings, 2851888 edges, 6305 markings/sec, 130 secs
lola: 1041874 markings, 2992041 edges, 5901 markings/sec, 135 secs
lola: 1075064 markings, 3097924 edges, 6638 markings/sec, 140 secs
lola: 1115191 markings, 3176687 edges, 8025 markings/sec, 145 secs
lola: 1155707 markings, 3258023 edges, 8103 markings/sec, 150 secs
lola: 1194344 markings, 3356807 edges, 7727 markings/sec, 155 secs
lola: 1236415 markings, 3439459 edges, 8414 markings/sec, 160 secs
lola: 1278638 markings, 3522841 edges, 8445 markings/sec, 165 secs
lola: 1320980 markings, 3605966 edges, 8468 markings/sec, 170 secs
lola: 1362763 markings, 3690554 edges, 8357 markings/sec, 175 secs
lola: 1398573 markings, 3804177 edges, 7162 markings/sec, 180 secs
lola: 1431986 markings, 3923315 edges, 6683 markings/sec, 185 secs
lola: 1466584 markings, 4046315 edges, 6920 markings/sec, 190 secs
lola: 1498231 markings, 4177941 edges, 6329 markings/sec, 195 secs
lola: 1529932 markings, 4312087 edges, 6340 markings/sec, 200 secs
lola: 1559870 markings, 4449098 edges, 5988 markings/sec, 205 secs
lola: 1590391 markings, 4581475 edges, 6104 markings/sec, 210 secs
lola: 1626828 markings, 4674891 edges, 7287 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(p4321)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 2 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: 43088 markings, 84064 edges, 8618 markings/sec, 0 secs
lola: 84649 markings, 174156 edges, 8312 markings/sec, 5 secs
lola: 125570 markings, 269945 edges, 8184 markings/sec, 10 secs
lola: 168511 markings, 354759 edges, 8588 markings/sec, 15 secs
lola: 211729 markings, 440034 edges, 8644 markings/sec, 20 secs
lola: 254283 markings, 524564 edges, 8511 markings/sec, 25 secs
lola: 296582 markings, 608601 edges, 8460 markings/sec, 30 secs
lola: 330765 markings, 730120 edges, 6837 markings/sec, 35 secs
lola: 365394 markings, 853235 edges, 6926 markings/sec, 40 secs
lola: 400023 markings, 977256 edges, 6926 markings/sec, 45 secs
lola: 431524 markings, 1113838 edges, 6300 markings/sec, 50 secs
lola: 463480 markings, 1249752 edges, 6391 markings/sec, 55 secs
lola: 494556 markings, 1385715 edges, 6215 markings/sec, 60 secs
lola: 525524 markings, 1512590 edges, 6194 markings/sec, 65 secs
lola: 563476 markings, 1600036 edges, 7590 markings/sec, 70 secs
lola: 604730 markings, 1680923 edges, 8251 markings/sec, 75 secs
lola: 642254 markings, 1777715 edges, 7505 markings/sec, 80 secs
lola: 682726 markings, 1858779 edges, 8094 markings/sec, 85 secs
lola: 724480 markings, 1940674 edges, 8351 markings/sec, 90 secs
lola: 766783 markings, 2024058 edges, 8461 markings/sec, 95 secs
lola: 808890 markings, 2107963 edges, 8421 markings/sec, 100 secs
lola: 847600 markings, 2206200 edges, 7742 markings/sec, 105 secs
lola: 881814 markings, 2328255 edges, 6843 markings/sec, 110 secs
lola: 916190 markings, 2450305 edges, 6875 markings/sec, 115 secs
lola: 949410 markings, 2577325 edges, 6644 markings/sec, 120 secs
lola: 980804 markings, 2713585 edges, 6279 markings/sec, 125 secs
lola: 1012436 markings, 2852135 edges, 6326 markings/sec, 130 secs
lola: 1042035 markings, 2993240 edges, 5920 markings/sec, 135 secs
lola: 1075371 markings, 3098251 edges, 6667 markings/sec, 140 secs
lola: 1116083 markings, 3178536 edges, 8142 markings/sec, 145 secs
lola: 1156383 markings, 3260278 edges, 8060 markings/sec, 150 secs
lola: 1194921 markings, 3357429 edges, 7708 markings/sec, 155 secs
lola: 1236253 markings, 3439150 edges, 8266 markings/sec, 160 secs
lola: 1278311 markings, 3522168 edges, 8412 markings/sec, 165 secs
lola: 1320759 markings, 3605417 edges, 8490 markings/sec, 170 secs
lola: 1362547 markings, 3690021 edges, 8358 markings/sec, 175 secs
lola: 1397810 markings, 3801082 edges, 7053 markings/sec, 180 secs
lola: 1432220 markings, 3924061 edges, 6882 markings/sec, 185 secs
lola: 1465838 markings, 4043744 edges, 6724 markings/sec, 190 secs
lola: 1496609 markings, 4171008 edges, 6154 markings/sec, 195 secs
lola: 1527555 markings, 4302873 edges, 6189 markings/sec, 200 secs
lola: 1557474 markings, 4440838 edges, 5984 markings/sec, 205 secs
lola: 1587532 markings, 4572248 edges, 6012 markings/sec, 210 secs
lola: 1623539 markings, 4667962 edges, 7201 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(p2409)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 2 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: 43280 markings, 84418 edges, 8656 markings/sec, 0 secs
lola: 82266 markings, 181979 edges, 7797 markings/sec, 5 secs
lola: 125177 markings, 269155 edges, 8582 markings/sec, 10 secs
lola: 168200 markings, 354134 edges, 8605 markings/sec, 15 secs
lola: 211391 markings, 439124 edges, 8638 markings/sec, 20 secs
lola: 253424 markings, 523648 edges, 8407 markings/sec, 25 secs
lola: 296267 markings, 607731 edges, 8569 markings/sec, 30 secs
lola: 330658 markings, 729735 edges, 6878 markings/sec, 35 secs
lola: 365465 markings, 853483 edges, 6961 markings/sec, 40 secs
lola: 400297 markings, 978118 edges, 6966 markings/sec, 45 secs
lola: 431753 markings, 1114693 edges, 6291 markings/sec, 50 secs
lola: 457394 markings, 1222457 edges, 5128 markings/sec, 55 secs
lola: 487874 markings, 1362406 edges, 6096 markings/sec, 60 secs
lola: 518711 markings, 1492486 edges, 6167 markings/sec, 65 secs
lola: 555403 markings, 1584242 edges, 7338 markings/sec, 70 secs
lola: 596270 markings, 1664575 edges, 8173 markings/sec, 75 secs
lola: 634751 markings, 1763122 edges, 7696 markings/sec, 80 secs
lola: 676700 markings, 1845289 edges, 8390 markings/sec, 85 secs
lola: 717312 markings, 1926610 edges, 8122 markings/sec, 90 secs
lola: 759113 markings, 2009106 edges, 8360 markings/sec, 95 secs
lola: 798998 markings, 2089296 edges, 7977 markings/sec, 100 secs
lola: 839528 markings, 2177251 edges, 8106 markings/sec, 105 secs
lola: 872827 markings, 2295914 edges, 6660 markings/sec, 110 secs
lola: 906720 markings, 2417105 edges, 6779 markings/sec, 115 secs
lola: 940421 markings, 2537999 edges, 6740 markings/sec, 120 secs
lola: 970969 markings, 2671588 edges, 6110 markings/sec, 125 secs
lola: 1002993 markings, 2807545 edges, 6405 markings/sec, 130 secs
lola: 1032809 markings, 2938625 edges, 5963 markings/sec, 135 secs
lola: 1063570 markings, 3063878 edges, 6152 markings/sec, 140 secs
lola: 1101844 markings, 3150823 edges, 7655 markings/sec, 145 secs
lola: 1141184 markings, 3236562 edges, 7868 markings/sec, 150 secs
lola: 1180531 markings, 3328754 edges, 7869 markings/sec, 155 secs
lola: 1221599 markings, 3410217 edges, 8214 markings/sec, 160 secs
lola: 1262962 markings, 3491980 edges, 8273 markings/sec, 165 secs
lola: 1304941 markings, 3574811 edges, 8396 markings/sec, 170 secs
lola: 1345813 markings, 3656277 edges, 8174 markings/sec, 175 secs
lola: 1384147 markings, 3752256 edges, 7667 markings/sec, 180 secs
lola: 1414963 markings, 3862660 edges, 6163 markings/sec, 185 secs
lola: 1443915 markings, 3965886 edges, 5790 markings/sec, 190 secs
lola: 1477947 markings, 4087826 edges, 6806 markings/sec, 195 secs
lola: 1509049 markings, 4223924 edges, 6220 markings/sec, 200 secs
lola: 1540916 markings, 4360276 edges, 6373 markings/sec, 205 secs
lola: 1571159 markings, 4491411 edges, 6049 markings/sec, 210 secs
lola: 1601702 markings, 4615644 edges, 6109 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(p3667)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 2 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: 44239 markings, 86881 edges, 8848 markings/sec, 0 secs
lola: 85724 markings, 190638 edges, 8297 markings/sec, 5 secs
lola: 130398 markings, 278851 edges, 8935 markings/sec, 10 secs
lola: 175035 markings, 367023 edges, 8927 markings/sec, 15 secs
lola: 219158 markings, 454647 edges, 8825 markings/sec, 20 secs
lola: 262461 markings, 541392 edges, 8661 markings/sec, 25 secs
lola: 304964 markings, 637948 edges, 8501 markings/sec, 30 secs
lola: 340498 markings, 764643 edges, 7107 markings/sec, 35 secs
lola: 376436 markings, 892735 edges, 7188 markings/sec, 40 secs
lola: 407908 markings, 1005924 edges, 6294 markings/sec, 45 secs
lola: 440101 markings, 1149193 edges, 6439 markings/sec, 50 secs
lola: 472841 markings, 1288706 edges, 6548 markings/sec, 55 secs
lola: 503301 markings, 1428679 edges, 6092 markings/sec, 60 secs
lola: 536177 markings, 1544500 edges, 6575 markings/sec, 65 secs
lola: 578152 markings, 1628251 edges, 8395 markings/sec, 70 secs
lola: 617954 markings, 1722639 edges, 7960 markings/sec, 75 secs
lola: 660622 markings, 1814114 edges, 8534 markings/sec, 80 secs
lola: 704425 markings, 1900609 edges, 8761 markings/sec, 85 secs
lola: 748484 markings, 1987523 edges, 8812 markings/sec, 90 secs
lola: 791039 markings, 2072692 edges, 8511 markings/sec, 95 secs
lola: 834883 markings, 2160671 edges, 8769 markings/sec, 100 secs
lola: 869986 markings, 2285454 edges, 7021 markings/sec, 105 secs
lola: 905624 markings, 2412743 edges, 7128 markings/sec, 110 secs
lola: 941092 markings, 2540044 edges, 7094 markings/sec, 115 secs
lola: 973223 markings, 2680349 edges, 6426 markings/sec, 120 secs
lola: 1006217 markings, 2821613 edges, 6599 markings/sec, 125 secs
lola: 1038047 markings, 2956814 edges, 6366 markings/sec, 130 secs
lola: 1070354 markings, 3083746 edges, 6461 markings/sec, 135 secs
lola: 1112762 markings, 3171190 edges, 8482 markings/sec, 140 secs
lola: 1152927 markings, 3263172 edges, 8033 markings/sec, 145 secs
lola: 1194556 markings, 3357029 edges, 8326 markings/sec, 150 secs
lola: 1237969 markings, 3443127 edges, 8683 markings/sec, 155 secs
lola: 1282079 markings, 3530134 edges, 8822 markings/sec, 160 secs
lola: 1325315 markings, 3615267 edges, 8647 markings/sec, 165 secs
lola: 1369521 markings, 3702728 edges, 8841 markings/sec, 170 secs
lola: 1404752 markings, 3825912 edges, 7046 markings/sec, 175 secs
lola: 1440221 markings, 3951859 edges, 7094 markings/sec, 180 secs
lola: 1471710 markings, 4064746 edges, 6298 markings/sec, 185 secs
lola: 1504792 markings, 4205618 edges, 6616 markings/sec, 190 secs
lola: 1538641 markings, 4349303 edges, 6770 markings/sec, 195 secs
lola: 1571263 markings, 4491546 edges, 6524 markings/sec, 200 secs
lola: 1603672 markings, 4621381 edges, 6482 markings/sec, 205 secs
lola: 1645298 markings, 4711411 edges, 8325 markings/sec, 210 secs
lola: 1686717 markings, 4804853 edges, 8284 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(p644)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 2 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: 43821 markings, 85982 edges, 8764 markings/sec, 0 secs
lola: 87295 markings, 178932 edges, 8695 markings/sec, 5 secs
lola: 131113 markings, 272500 edges, 8764 markings/sec, 10 secs
lola: 174184 markings, 358607 edges, 8614 markings/sec, 15 secs
lola: 217428 markings, 444895 edges, 8649 markings/sec, 20 secs
lola: 260930 markings, 531116 edges, 8700 markings/sec, 25 secs
lola: 300995 markings, 631648 edges, 8013 markings/sec, 30 secs
lola: 336130 markings, 755838 edges, 7027 markings/sec, 35 secs
lola: 371388 markings, 881558 edges, 7052 markings/sec, 40 secs
lola: 404993 markings, 1010765 edges, 6721 markings/sec, 45 secs
lola: 436828 markings, 1152364 edges, 6367 markings/sec, 50 secs
lola: 469117 markings, 1296836 edges, 6458 markings/sec, 55 secs
lola: 500022 markings, 1433748 edges, 6181 markings/sec, 60 secs
lola: 535364 markings, 1533698 edges, 7068 markings/sec, 65 secs
lola: 577428 markings, 1615799 edges, 8413 markings/sec, 70 secs
lola: 617700 markings, 1706303 edges, 8054 markings/sec, 75 secs
lola: 659742 markings, 1793686 edges, 8408 markings/sec, 80 secs
lola: 702503 markings, 1877877 edges, 8552 markings/sec, 85 secs
lola: 745275 markings, 1962578 edges, 8554 markings/sec, 90 secs
lola: 788000 markings, 2048313 edges, 8545 markings/sec, 95 secs
lola: 827674 markings, 2148829 edges, 7935 markings/sec, 100 secs
lola: 862613 markings, 2272477 edges, 6988 markings/sec, 105 secs
lola: 897672 markings, 2397336 edges, 7012 markings/sec, 110 secs
lola: 931044 markings, 2524659 edges, 6674 markings/sec, 115 secs
lola: 962604 markings, 2664435 edges, 6312 markings/sec, 120 secs
lola: 994296 markings, 2806599 edges, 6338 markings/sec, 125 secs
lola: 1024763 markings, 2944795 edges, 6093 markings/sec, 130 secs
lola: 1059836 markings, 3044927 edges, 7015 markings/sec, 135 secs
lola: 1102317 markings, 3128826 edges, 8496 markings/sec, 140 secs
lola: 1142678 markings, 3217667 edges, 8072 markings/sec, 145 secs
lola: 1184545 markings, 3306131 edges, 8373 markings/sec, 150 secs
lola: 1227233 markings, 3391142 edges, 8538 markings/sec, 155 secs
lola: 1270432 markings, 3477381 edges, 8640 markings/sec, 160 secs
lola: 1313729 markings, 3563443 edges, 8659 markings/sec, 165 secs
lola: 1353287 markings, 3661849 edges, 7912 markings/sec, 170 secs
lola: 1388215 markings, 3786068 edges, 6986 markings/sec, 175 secs
lola: 1423318 markings, 3911082 edges, 7021 markings/sec, 180 secs
lola: 1456357 markings, 4037523 edges, 6608 markings/sec, 185 secs
lola: 1488322 markings, 4178679 edges, 6393 markings/sec, 190 secs
lola: 1520070 markings, 4320264 edges, 6350 markings/sec, 195 secs
lola: 1549768 markings, 4456417 edges, 5940 markings/sec, 200 secs
lola: 1584582 markings, 4557666 edges, 6963 markings/sec, 205 secs
lola: 1626139 markings, 4639210 edges, 8311 markings/sec, 210 secs
lola: 1665666 markings, 4725898 edges, 7905 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(p204)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 2 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: 42102 markings, 77314 edges, 8420 markings/sec, 0 secs
lola: 87547 markings, 159537 edges, 9089 markings/sec, 5 secs
lola: 131763 markings, 241668 edges, 8843 markings/sec, 10 secs
lola: 176102 markings, 323888 edges, 8868 markings/sec, 15 secs
lola: 218404 markings, 401901 edges, 8460 markings/sec, 20 secs
lola: 261818 markings, 482253 edges, 8683 markings/sec, 25 secs
lola: 297704 markings, 595538 edges, 7177 markings/sec, 30 secs
lola: 332838 markings, 720368 edges, 7027 markings/sec, 35 secs
lola: 367759 markings, 845318 edges, 6984 markings/sec, 40 secs
lola: 400889 markings, 973100 edges, 6626 markings/sec, 45 secs
lola: 433249 markings, 1085705 edges, 6472 markings/sec, 50 secs
lola: 466174 markings, 1220984 edges, 6585 markings/sec, 55 secs
lola: 498054 markings, 1345676 edges, 6376 markings/sec, 60 secs
lola: 535438 markings, 1438731 edges, 7477 markings/sec, 65 secs
lola: 577097 markings, 1515442 edges, 8332 markings/sec, 70 secs
lola: 619570 markings, 1593807 edges, 8495 markings/sec, 75 secs
lola: 663129 markings, 1674434 edges, 8712 markings/sec, 80 secs
lola: 707600 markings, 1756520 edges, 8894 markings/sec, 85 secs
lola: 752738 markings, 1838900 edges, 9028 markings/sec, 90 secs
lola: 794371 markings, 1922107 edges, 8327 markings/sec, 95 secs
lola: 828702 markings, 2044930 edges, 6866 markings/sec, 100 secs
lola: 863679 markings, 2169618 edges, 6995 markings/sec, 105 secs
lola: 897402 markings, 2290207 edges, 6745 markings/sec, 110 secs
lola: 929308 markings, 2407273 edges, 6381 markings/sec, 115 secs
lola: 961344 markings, 2528813 edges, 6407 markings/sec, 120 secs
lola: 993803 markings, 2662279 edges, 6492 markings/sec, 125 secs
lola: 1025766 markings, 2779623 edges, 6393 markings/sec, 130 secs
lola: 1064373 markings, 2866456 edges, 7721 markings/sec, 135 secs
lola: 1106966 markings, 2945087 edges, 8519 markings/sec, 140 secs
lola: 1149889 markings, 3024395 edges, 8585 markings/sec, 145 secs
lola: 1191973 markings, 3101960 edges, 8417 markings/sec, 150 secs
lola: 1235333 markings, 3182328 edges, 8672 markings/sec, 155 secs
lola: 1279833 markings, 3263416 edges, 8900 markings/sec, 160 secs
lola: 1320026 markings, 3352827 edges, 8039 markings/sec, 165 secs
lola: 1353818 markings, 3473045 edges, 6758 markings/sec, 170 secs
lola: 1388308 markings, 3596593 edges, 6898 markings/sec, 175 secs
lola: 1422746 markings, 3719398 edges, 6888 markings/sec, 180 secs
lola: 1455026 markings, 3834837 edges, 6456 markings/sec, 185 secs
lola: 1487150 markings, 3963092 edges, 6425 markings/sec, 190 secs
lola: 1520117 markings, 4095529 edges, 6593 markings/sec, 195 secs
lola: 1552698 markings, 4210459 edges, 6516 markings/sec, 200 secs
lola: 1593339 markings, 4294291 edges, 8128 markings/sec, 205 secs
lola: 1636665 markings, 4374382 edges, 8665 markings/sec, 210 secs
lola: 1679993 markings, 4454857 edges, 8666 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(p1496)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 2 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: 40868 markings, 74492 edges, 8174 markings/sec, 0 secs
lola: 82447 markings, 174373 edges, 8316 markings/sec, 5 secs
lola: 126978 markings, 256410 edges, 8906 markings/sec, 10 secs
lola: 170943 markings, 337961 edges, 8793 markings/sec, 15 secs
lola: 215471 markings, 420589 edges, 8906 markings/sec, 20 secs
lola: 259706 markings, 501568 edges, 8847 markings/sec, 25 secs
lola: 299171 markings, 601900 edges, 7893 markings/sec, 30 secs
lola: 334615 markings, 728577 edges, 7089 markings/sec, 35 secs
lola: 369960 markings, 854906 edges, 7069 markings/sec, 40 secs
lola: 403790 markings, 988440 edges, 6766 markings/sec, 45 secs
lola: 438190 markings, 1102536 edges, 6880 markings/sec, 50 secs
lola: 471008 markings, 1237548 edges, 6564 markings/sec, 55 secs
lola: 503616 markings, 1371273 edges, 6522 markings/sec, 60 secs
lola: 539366 markings, 1471052 edges, 7150 markings/sec, 65 secs
lola: 582155 markings, 1557436 edges, 8558 markings/sec, 70 secs
lola: 624304 markings, 1643433 edges, 8430 markings/sec, 75 secs
lola: 664373 markings, 1723798 edges, 8014 markings/sec, 80 secs
lola: 707322 markings, 1810372 edges, 8590 markings/sec, 85 secs
lola: 749428 markings, 1896986 edges, 8421 markings/sec, 90 secs
lola: 792658 markings, 1983438 edges, 8646 markings/sec, 95 secs
lola: 833593 markings, 2070507 edges, 8187 markings/sec, 100 secs
lola: 865813 markings, 2184836 edges, 6444 markings/sec, 105 secs
lola: 898286 markings, 2299990 edges, 6495 markings/sec, 110 secs
lola: 930058 markings, 2422858 edges, 6354 markings/sec, 115 secs
lola: 961929 markings, 2559047 edges, 6374 markings/sec, 120 secs
lola: 993109 markings, 2691240 edges, 6236 markings/sec, 125 secs
lola: 1023762 markings, 2829514 edges, 6131 markings/sec, 130 secs
lola: 1064540 markings, 2919137 edges, 8156 markings/sec, 135 secs
lola: 1107325 markings, 3005422 edges, 8557 markings/sec, 140 secs
lola: 1149046 markings, 3090372 edges, 8344 markings/sec, 145 secs
lola: 1191369 markings, 3175706 edges, 8465 markings/sec, 150 secs
lola: 1234155 markings, 3262093 edges, 8557 markings/sec, 155 secs
lola: 1275825 markings, 3346797 edges, 8334 markings/sec, 160 secs
lola: 1317647 markings, 3431255 edges, 8364 markings/sec, 165 secs
lola: 1351849 markings, 3532514 edges, 6840 markings/sec, 170 secs
lola: 1383414 markings, 3644466 edges, 6313 markings/sec, 175 secs
lola: 1415771 markings, 3759305 edges, 6471 markings/sec, 180 secs
lola: 1447169 markings, 3893232 edges, 6280 markings/sec, 185 secs
lola: 1479024 markings, 4028962 edges, 6371 markings/sec, 190 secs
lola: 1509028 markings, 4162365 edges, 6001 markings/sec, 195 secs
lola: 1544235 markings, 4275079 edges, 7041 markings/sec, 200 secs
lola: 1585966 markings, 4360774 edges, 8346 markings/sec, 205 secs
lola: 1628585 markings, 4446064 edges, 8524 markings/sec, 210 secs
lola: 1671165 markings, 4531846 edges, 8516 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(p2902)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 2 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: 44490 markings, 87897 edges, 8898 markings/sec, 0 secs
lola: 85847 markings, 190775 edges, 8271 markings/sec, 5 secs
lola: 129281 markings, 277659 edges, 8687 markings/sec, 10 secs
lola: 172746 markings, 364449 edges, 8693 markings/sec, 15 secs
lola: 216814 markings, 451110 edges, 8814 markings/sec, 20 secs
lola: 259839 markings, 535636 edges, 8605 markings/sec, 25 secs
lola: 301718 markings, 626500 edges, 8376 markings/sec, 30 secs
lola: 336155 markings, 748804 edges, 6887 markings/sec, 35 secs
lola: 367988 markings, 862678 edges, 6367 markings/sec, 40 secs
lola: 403404 markings, 989800 edges, 7083 markings/sec, 45 secs
lola: 435434 markings, 1130107 edges, 6406 markings/sec, 50 secs
lola: 468375 markings, 1269869 edges, 6588 markings/sec, 55 secs
lola: 500122 markings, 1405290 edges, 6349 markings/sec, 60 secs
lola: 532228 markings, 1532311 edges, 6421 markings/sec, 65 secs
lola: 574236 markings, 1620559 edges, 8402 markings/sec, 70 secs
lola: 614538 markings, 1711641 edges, 8060 markings/sec, 75 secs
lola: 651884 markings, 1796915 edges, 7469 markings/sec, 80 secs
lola: 695042 markings, 1881851 edges, 8632 markings/sec, 85 secs
lola: 737512 markings, 1966930 edges, 8494 markings/sec, 90 secs
lola: 780772 markings, 2052781 edges, 8652 markings/sec, 95 secs
lola: 820740 markings, 2130926 edges, 7994 markings/sec, 100 secs
lola: 858220 markings, 2244169 edges, 7496 markings/sec, 105 secs
lola: 893544 markings, 2369904 edges, 7065 markings/sec, 110 secs
lola: 929106 markings, 2496447 edges, 7112 markings/sec, 115 secs
lola: 961535 markings, 2632141 edges, 6486 markings/sec, 120 secs
lola: 993911 markings, 2769250 edges, 6475 markings/sec, 125 secs
lola: 1025394 markings, 2912668 edges, 6297 markings/sec, 130 secs
lola: 1056615 markings, 3044277 edges, 6244 markings/sec, 135 secs
lola: 1090332 markings, 3127637 edges, 6743 markings/sec, 140 secs
lola: 1131977 markings, 3210494 edges, 8329 markings/sec, 145 secs
lola: 1171618 markings, 3311086 edges, 7928 markings/sec, 150 secs
lola: 1214628 markings, 3395881 edges, 8602 markings/sec, 155 secs
lola: 1257844 markings, 3481327 edges, 8643 markings/sec, 160 secs
lola: 1300037 markings, 3565941 edges, 8439 markings/sec, 165 secs
lola: 1342334 markings, 3648931 edges, 8459 markings/sec, 170 secs
lola: 1382141 markings, 3745520 edges, 7961 markings/sec, 175 secs
lola: 1413499 markings, 3856966 edges, 6272 markings/sec, 180 secs
lola: 1448115 markings, 3980928 edges, 6923 markings/sec, 185 secs
lola: 1482417 markings, 4103983 edges, 6860 markings/sec, 190 secs
lola: 1513669 markings, 4243392 edges, 6250 markings/sec, 195 secs
lola: 1546095 markings, 4381533 edges, 6485 markings/sec, 200 secs
lola: 1576827 markings, 4513693 edges, 6146 markings/sec, 205 secs
lola: 1609029 markings, 4637170 edges, 6440 markings/sec, 210 secs
lola: 1650642 markings, 4721668 edges, 8323 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3355)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 2 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: 43724 markings, 85503 edges, 8745 markings/sec, 0 secs
lola: 83537 markings, 187529 edges, 7963 markings/sec, 5 secs
lola: 127242 markings, 273312 edges, 8741 markings/sec, 10 secs
lola: 170831 markings, 359501 edges, 8718 markings/sec, 15 secs
lola: 213962 markings, 444735 edges, 8626 markings/sec, 20 secs
lola: 256845 markings, 529444 edges, 8577 markings/sec, 25 secs
lola: 298668 markings, 615500 edges, 8365 markings/sec, 30 secs
lola: 332857 markings, 737012 edges, 6838 markings/sec, 35 secs
lola: 367337 markings, 860491 edges, 6896 markings/sec, 40 secs
lola: 401959 markings, 983373 edges, 6924 markings/sec, 45 secs
lola: 433274 markings, 1121288 edges, 6263 markings/sec, 50 secs
lola: 465448 markings, 1257830 edges, 6435 markings/sec, 55 secs
lola: 495340 markings, 1388690 edges, 5978 markings/sec, 60 secs
lola: 526527 markings, 1515563 edges, 6237 markings/sec, 65 secs
lola: 566051 markings, 1603715 edges, 7905 markings/sec, 70 secs
lola: 604934 markings, 1693145 edges, 7777 markings/sec, 75 secs
lola: 645218 markings, 1783862 edges, 8057 markings/sec, 80 secs
lola: 687661 markings, 1867689 edges, 8489 markings/sec, 85 secs
lola: 730464 markings, 1951755 edges, 8561 markings/sec, 90 secs
lola: 772150 markings, 2036116 edges, 8337 markings/sec, 95 secs
lola: 814880 markings, 2119557 edges, 8546 markings/sec, 100 secs
lola: 852807 markings, 2224486 edges, 7585 markings/sec, 105 secs
lola: 887382 markings, 2348022 edges, 6915 markings/sec, 110 secs
lola: 922495 markings, 2472855 edges, 7023 markings/sec, 115 secs
lola: 955392 markings, 2604722 edges, 6579 markings/sec, 120 secs
lola: 987208 markings, 2740089 edges, 6363 markings/sec, 125 secs
lola: 1018215 markings, 2885369 edges, 6201 markings/sec, 130 secs
lola: 1048796 markings, 3017483 edges, 6116 markings/sec, 135 secs
lola: 1083903 markings, 3115460 edges, 7021 markings/sec, 140 secs
lola: 1125238 markings, 3196602 edges, 8267 markings/sec, 145 secs
lola: 1163480 markings, 3295026 edges, 7648 markings/sec, 150 secs
lola: 1205666 markings, 3378069 edges, 8437 markings/sec, 155 secs
lola: 1247077 markings, 3461648 edges, 8282 markings/sec, 160 secs
lola: 1290034 markings, 3545540 edges, 8591 markings/sec, 165 secs
lola: 1332207 markings, 3628802 edges, 8435 markings/sec, 170 secs
lola: 1374199 markings, 3716694 edges, 8398 markings/sec, 175 secs
lola: 1407037 markings, 3833838 edges, 6568 markings/sec, 180 secs
lola: 1442024 markings, 3958978 edges, 6997 markings/sec, 185 secs
lola: 1476813 markings, 4083666 edges, 6958 markings/sec, 190 secs
lola: 1508196 markings, 4220293 edges, 6277 markings/sec, 195 secs
lola: 1540552 markings, 4357204 edges, 6471 markings/sec, 200 secs
lola: 1572004 markings, 4493905 edges, 6290 markings/sec, 205 secs
lola: 1603340 markings, 4620729 edges, 6267 markings/sec, 210 secs
lola: 1643472 markings, 4707675 edges, 8026 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2993)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 2 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: 45566 markings, 82327 edges, 9113 markings/sec, 0 secs
lola: 89866 markings, 164499 edges, 8860 markings/sec, 5 secs
lola: 134244 markings, 246776 edges, 8876 markings/sec, 10 secs
lola: 179107 markings, 329162 edges, 8973 markings/sec, 15 secs
lola: 223952 markings, 411455 edges, 8969 markings/sec, 20 secs
lola: 267859 markings, 492822 edges, 8781 markings/sec, 25 secs
lola: 302708 markings, 612855 edges, 6970 markings/sec, 30 secs
lola: 338251 markings, 739826 edges, 7109 markings/sec, 35 secs
lola: 373422 markings, 865776 edges, 7034 markings/sec, 40 secs
lola: 406917 markings, 990227 edges, 6699 markings/sec, 45 secs
lola: 440150 markings, 1114249 edges, 6647 markings/sec, 50 secs
lola: 473331 markings, 1250288 edges, 6636 markings/sec, 55 secs
lola: 506141 markings, 1369345 edges, 6562 markings/sec, 60 secs
lola: 545227 markings, 1457047 edges, 7817 markings/sec, 65 secs
lola: 588090 markings, 1536548 edges, 8573 markings/sec, 70 secs
lola: 632333 markings, 1617039 edges, 8849 markings/sec, 75 secs
lola: 676560 markings, 1698387 edges, 8845 markings/sec, 80 secs
lola: 720253 markings, 1779351 edges, 8739 markings/sec, 85 secs
lola: 764366 markings, 1861044 edges, 8823 markings/sec, 90 secs
lola: 803750 markings, 1955488 edges, 7877 markings/sec, 95 secs
lola: 838555 markings, 2080030 edges, 6961 markings/sec, 100 secs
lola: 873366 markings, 2204192 edges, 6962 markings/sec, 105 secs
lola: 906513 markings, 2335495 edges, 6629 markings/sec, 110 secs
lola: 940684 markings, 2442164 edges, 6834 markings/sec, 115 secs
lola: 972750 markings, 2576094 edges, 6413 markings/sec, 120 secs
lola: 1005744 markings, 2700750 edges, 6599 markings/sec, 125 secs
lola: 1038573 markings, 2815990 edges, 6566 markings/sec, 130 secs
lola: 1080814 markings, 2896694 edges, 8448 markings/sec, 135 secs
lola: 1123942 markings, 2976435 edges, 8626 markings/sec, 140 secs
lola: 1167446 markings, 3056916 edges, 8701 markings/sec, 145 secs
lola: 1212039 markings, 3138484 edges, 8919 markings/sec, 150 secs
lola: 1256443 markings, 3220098 edges, 8881 markings/sec, 155 secs
lola: 1299964 markings, 3300708 edges, 8704 markings/sec, 160 secs
lola: 1336230 markings, 3410644 edges, 7253 markings/sec, 165 secs
lola: 1371091 markings, 3534937 edges, 6972 markings/sec, 170 secs
lola: 1406056 markings, 3659443 edges, 6993 markings/sec, 175 secs
lola: 1438561 markings, 3788067 edges, 6501 markings/sec, 180 secs
lola: 1472007 markings, 3900398 edges, 6689 markings/sec, 185 secs
lola: 1504431 markings, 4033768 edges, 6485 markings/sec, 190 secs
lola: 1536455 markings, 4160412 edges, 6405 markings/sec, 195 secs
lola: 1573169 markings, 4256217 edges, 7343 markings/sec, 200 secs
lola: 1615645 markings, 4334640 edges, 8495 markings/sec, 205 secs
lola: 1658851 markings, 4414529 edges, 8641 markings/sec, 210 secs
lola: 1702459 markings, 4495334 edges, 8722 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2303)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 2 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: 45398 markings, 81788 edges, 9080 markings/sec, 0 secs
lola: 89872 markings, 164426 edges, 8895 markings/sec, 5 secs
lola: 134329 markings, 246882 edges, 8891 markings/sec, 10 secs
lola: 180574 markings, 331021 edges, 9249 markings/sec, 15 secs
lola: 224758 markings, 413106 edges, 8837 markings/sec, 20 secs
lola: 267863 markings, 492808 edges, 8621 markings/sec, 25 secs
lola: 302501 markings, 612051 edges, 6928 markings/sec, 30 secs
lola: 333621 markings, 723455 edges, 6224 markings/sec, 35 secs
lola: 368556 markings, 847715 edges, 6987 markings/sec, 40 secs
lola: 401384 markings, 974395 edges, 6566 markings/sec, 45 secs
lola: 434744 markings, 1091653 edges, 6672 markings/sec, 50 secs
lola: 467612 markings, 1226373 edges, 6574 markings/sec, 55 secs
lola: 499989 markings, 1351501 edges, 6475 markings/sec, 60 secs
lola: 537373 markings, 1442926 edges, 7477 markings/sec, 65 secs
lola: 580818 markings, 1522631 edges, 8689 markings/sec, 70 secs
lola: 624874 markings, 1602786 edges, 8811 markings/sec, 75 secs
lola: 668510 markings, 1683526 edges, 8727 markings/sec, 80 secs
lola: 712347 markings, 1764796 edges, 8767 markings/sec, 85 secs
lola: 755895 markings, 1845412 edges, 8710 markings/sec, 90 secs
lola: 796680 markings, 1930297 edges, 8157 markings/sec, 95 secs
lola: 831197 markings, 2053722 edges, 6903 markings/sec, 100 secs
lola: 865905 markings, 2177122 edges, 6942 markings/sec, 105 secs
lola: 901102 markings, 2302886 edges, 7039 markings/sec, 110 secs
lola: 933942 markings, 2420858 edges, 6568 markings/sec, 115 secs
lola: 966025 markings, 2547587 edges, 6417 markings/sec, 120 secs
lola: 998566 markings, 2680573 edges, 6508 markings/sec, 125 secs
lola: 1031303 markings, 2795499 edges, 6547 markings/sec, 130 secs
lola: 1071976 markings, 2880262 edges, 8135 markings/sec, 135 secs
lola: 1115112 markings, 2960017 edges, 8627 markings/sec, 140 secs
lola: 1158495 markings, 3040257 edges, 8677 markings/sec, 145 secs
lola: 1201898 markings, 3120971 edges, 8681 markings/sec, 150 secs
lola: 1246787 markings, 3202022 edges, 8978 markings/sec, 155 secs
lola: 1289960 markings, 3281855 edges, 8635 markings/sec, 160 secs
lola: 1327601 markings, 3379396 edges, 7528 markings/sec, 165 secs
lola: 1361857 markings, 3502046 edges, 6851 markings/sec, 170 secs
lola: 1396555 markings, 3625316 edges, 6940 markings/sec, 175 secs
lola: 1428987 markings, 3753852 edges, 6486 markings/sec, 180 secs
lola: 1462675 markings, 3861686 edges, 6738 markings/sec, 185 secs
lola: 1494528 markings, 3993349 edges, 6371 markings/sec, 190 secs
lola: 1527092 markings, 4118814 edges, 6513 markings/sec, 195 secs
lola: 1560542 markings, 4232506 edges, 6690 markings/sec, 200 secs
lola: 1604081 markings, 4314964 edges, 8708 markings/sec, 205 secs
lola: 1649216 markings, 4396379 edges, 9027 markings/sec, 210 secs
lola: 1692669 markings, 4476805 edges, 8691 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1170)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 2 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: 45020 markings, 81178 edges, 9004 markings/sec, 0 secs
lola: 86321 markings, 170931 edges, 8260 markings/sec, 5 secs
lola: 128996 markings, 260703 edges, 8535 markings/sec, 10 secs
lola: 172783 markings, 341763 edges, 8757 markings/sec, 15 secs
lola: 217041 markings, 423173 edges, 8852 markings/sec, 20 secs
lola: 261474 markings, 504491 edges, 8887 markings/sec, 25 secs
lola: 300112 markings, 605625 edges, 7728 markings/sec, 30 secs
lola: 333344 markings, 724315 edges, 6646 markings/sec, 35 secs
lola: 368278 markings, 848443 edges, 6987 markings/sec, 40 secs
lola: 401887 markings, 980658 edges, 6722 markings/sec, 45 secs
lola: 435615 markings, 1091314 edges, 6746 markings/sec, 50 secs
lola: 468024 markings, 1225361 edges, 6482 markings/sec, 55 secs
lola: 499975 markings, 1358929 edges, 6390 markings/sec, 60 secs
lola: 534860 markings, 1461491 edges, 6977 markings/sec, 65 secs
lola: 575870 markings, 1544967 edges, 8202 markings/sec, 70 secs
lola: 618290 markings, 1630567 edges, 8484 markings/sec, 75 secs
lola: 659884 markings, 1716103 edges, 8319 markings/sec, 80 secs
lola: 702209 markings, 1800498 edges, 8465 markings/sec, 85 secs
lola: 744724 markings, 1886289 edges, 8503 markings/sec, 90 secs
lola: 785104 markings, 1968340 edges, 8076 markings/sec, 95 secs
lola: 827220 markings, 2053378 edges, 8423 markings/sec, 100 secs
lola: 859821 markings, 2163566 edges, 6520 markings/sec, 105 secs
lola: 892166 markings, 2278362 edges, 6469 markings/sec, 110 secs
lola: 924247 markings, 2398866 edges, 6416 markings/sec, 115 secs
lola: 955962 markings, 2533521 edges, 6343 markings/sec, 120 secs
lola: 987634 markings, 2665065 edges, 6334 markings/sec, 125 secs
lola: 1017150 markings, 2807961 edges, 5903 markings/sec, 130 secs
lola: 1054118 markings, 2897976 edges, 7394 markings/sec, 135 secs
lola: 1095103 markings, 2982122 edges, 8197 markings/sec, 140 secs
lola: 1137301 markings, 3066381 edges, 8440 markings/sec, 145 secs
lola: 1179049 markings, 3151231 edges, 8350 markings/sec, 150 secs
lola: 1219231 markings, 3232158 edges, 8036 markings/sec, 155 secs
lola: 1261492 markings, 3317373 edges, 8452 markings/sec, 160 secs
lola: 1302515 markings, 3400922 edges, 8205 markings/sec, 165 secs
lola: 1340701 markings, 3492926 edges, 7637 markings/sec, 170 secs
lola: 1372177 markings, 3604571 edges, 6295 markings/sec, 175 secs
lola: 1404650 markings, 3719814 edges, 6495 markings/sec, 180 secs
lola: 1436119 markings, 3846903 edges, 6294 markings/sec, 185 secs
lola: 1467557 markings, 3980754 edges, 6288 markings/sec, 190 secs
lola: 1497489 markings, 4104739 edges, 5986 markings/sec, 195 secs
lola: 1527732 markings, 4237253 edges, 6049 markings/sec, 200 secs
lola: 1567944 markings, 4324468 edges, 8042 markings/sec, 205 secs
lola: 1610052 markings, 4408559 edges, 8422 markings/sec, 210 secs
lola: 1651523 markings, 4493151 edges, 8294 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA FlexibleBarrier-PT-18b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496498087173

--------------------
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="FlexibleBarrier-PT-18b"
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/FlexibleBarrier-PT-18b.tgz
mv FlexibleBarrier-PT-18b 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 FlexibleBarrier-PT-18b, 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 r188-blw3-149581034300137"
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 ;