Execution Chart

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

Trace from the execution

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

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1496538911534


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


checking for too many tokens
===========================================================================================
DLCround-PT-06b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ DLCround-PT-06b @ 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: 5796/65536 symbol table entries, 557 collisions
lola: preprocessing...
lola: finding significant places
lola: 2340 places, 3456 transitions, 2231 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4716 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-06b-UpperBounds.task
lola: MAX(p105) : MAX(p1351) : MAX(p2189) : MAX(p46) : MAX(p1486) : MAX(p2156) : MAX(p1942) : MAX(p581) : MAX(p437) : MAX(p256) : MAX(p2077) : MAX(p1374) : MAX(p598) : MAX(p1342) : MAX(p2053) : MAX(p2190)
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(p105)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1351)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2189)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p46)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 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: 222993 markings, 246274 edges, 44599 markings/sec, 0 secs
lola: 465358 markings, 515434 edges, 48473 markings/sec, 5 secs
lola: 694240 markings, 769149 edges, 45776 markings/sec, 10 secs
lola: 919876 markings, 1019286 edges, 45127 markings/sec, 15 secs
lola: 1148037 markings, 1272485 edges, 45632 markings/sec, 20 secs
lola: 1378135 markings, 1528168 edges, 46020 markings/sec, 25 secs
lola: 1594668 markings, 1768637 edges, 43307 markings/sec, 30 secs
lola: 1810592 markings, 2008749 edges, 43185 markings/sec, 35 secs
lola: 2013858 markings, 2234501 edges, 40653 markings/sec, 40 secs
lola: 2213440 markings, 2456102 edges, 39916 markings/sec, 45 secs
lola: 2416373 markings, 2681278 edges, 40587 markings/sec, 50 secs
lola: 2615787 markings, 2902537 edges, 39883 markings/sec, 55 secs
lola: 2818125 markings, 3127352 edges, 40468 markings/sec, 60 secs
lola: 3010578 markings, 3340937 edges, 38491 markings/sec, 65 secs
lola: 3214589 markings, 3567412 edges, 40802 markings/sec, 70 secs
lola: 3426213 markings, 3802348 edges, 42325 markings/sec, 75 secs
lola: 3639674 markings, 4039195 edges, 42692 markings/sec, 80 secs
lola: 3847862 markings, 4270666 edges, 41638 markings/sec, 85 secs
lola: 4046577 markings, 4490762 edges, 39743 markings/sec, 90 secs
lola: 4246935 markings, 4713501 edges, 40072 markings/sec, 95 secs
lola: 4446312 markings, 4935411 edges, 39875 markings/sec, 100 secs
lola: 4650385 markings, 5162807 edges, 40815 markings/sec, 105 secs
lola: 4852610 markings, 5387636 edges, 40445 markings/sec, 110 secs
lola: 5078391 markings, 5639199 edges, 45156 markings/sec, 115 secs
lola: 5302118 markings, 5888423 edges, 44745 markings/sec, 120 secs
lola: 5522518 markings, 6133773 edges, 44080 markings/sec, 125 secs
lola: 5740337 markings, 6375937 edges, 43564 markings/sec, 130 secs
lola: 5959187 markings, 6619774 edges, 43770 markings/sec, 135 secs
lola: 6178901 markings, 6863897 edges, 43943 markings/sec, 140 secs
lola: 6404128 markings, 7114674 edges, 45045 markings/sec, 145 secs
lola: 6623962 markings, 7359348 edges, 43967 markings/sec, 150 secs
lola: 6842684 markings, 7602893 edges, 43744 markings/sec, 155 secs
lola: 7063348 markings, 7848621 edges, 44133 markings/sec, 160 secs
lola: 7280208 markings, 8089754 edges, 43372 markings/sec, 165 secs
lola: 7496898 markings, 8330788 edges, 43338 markings/sec, 170 secs
lola: 7717781 markings, 8576483 edges, 44177 markings/sec, 175 secs
lola: 7941215 markings, 8825116 edges, 44687 markings/sec, 180 secs
lola: 8160677 markings, 9069585 edges, 43892 markings/sec, 185 secs
lola: 8374024 markings, 9307305 edges, 42669 markings/sec, 190 secs
lola: 8570790 markings, 9526131 edges, 39353 markings/sec, 195 secs
lola: 8772866 markings, 9750767 edges, 40415 markings/sec, 200 secs
lola: 8978427 markings, 9979834 edges, 41112 markings/sec, 205 secs
lola: 9179682 markings, 10203848 edges, 40251 markings/sec, 210 secs
lola: 9381150 markings, 10427971 edges, 40294 markings/sec, 215 secs
lola: 9581765 markings, 10651192 edges, 40123 markings/sec, 220 secs
lola: 9783184 markings, 10875254 edges, 40284 markings/sec, 225 secs
lola: 9983149 markings, 11097819 edges, 39993 markings/sec, 230 secs
lola: 10183554 markings, 11320774 edges, 40081 markings/sec, 235 secs
lola: 10386652 markings, 11546789 edges, 40620 markings/sec, 240 secs
lola: 10584954 markings, 11767366 edges, 39660 markings/sec, 245 secs
lola: 10786120 markings, 11991321 edges, 40233 markings/sec, 250 secs
lola: 10988782 markings, 12217111 edges, 40532 markings/sec, 255 secs
lola: 11189403 markings, 12440128 edges, 40124 markings/sec, 260 secs
lola: 11391431 markings, 12664954 edges, 40406 markings/sec, 265 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 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1486)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 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: 197100 markings, 220606 edges, 39420 markings/sec, 0 secs
lola: 398343 markings, 445872 edges, 40249 markings/sec, 5 secs
lola: 605138 markings, 677491 edges, 41359 markings/sec, 10 secs
lola: 801585 markings, 897657 edges, 39289 markings/sec, 15 secs
lola: 991272 markings, 1110153 edges, 37937 markings/sec, 20 secs
lola: 1179517 markings, 1320971 edges, 37649 markings/sec, 25 secs
lola: 1378154 markings, 1543559 edges, 39727 markings/sec, 30 secs
lola: 1586784 markings, 1777307 edges, 41726 markings/sec, 35 secs
lola: 1797368 markings, 2013223 edges, 42117 markings/sec, 40 secs
lola: 2009432 markings, 2251091 edges, 42413 markings/sec, 45 secs
lola: 2211349 markings, 2476989 edges, 40383 markings/sec, 50 secs
lola: 2413941 markings, 2703788 edges, 40518 markings/sec, 55 secs
lola: 2622299 markings, 2936994 edges, 41672 markings/sec, 60 secs
lola: 2827465 markings, 3166808 edges, 41033 markings/sec, 65 secs
lola: 3039320 markings, 3404092 edges, 42371 markings/sec, 70 secs
lola: 3247751 markings, 3637667 edges, 41686 markings/sec, 75 secs
lola: 3457803 markings, 3872571 edges, 42010 markings/sec, 80 secs
lola: 3667532 markings, 4107244 edges, 41946 markings/sec, 85 secs
lola: 3880436 markings, 4345524 edges, 42581 markings/sec, 90 secs
lola: 4086526 markings, 4576086 edges, 41218 markings/sec, 95 secs
lola: 4293700 markings, 4808161 edges, 41435 markings/sec, 100 secs
lola: 4498296 markings, 5037136 edges, 40919 markings/sec, 105 secs
lola: 4707896 markings, 5271579 edges, 41920 markings/sec, 110 secs
lola: 4918409 markings, 5507066 edges, 42103 markings/sec, 115 secs
lola: 5125758 markings, 5739257 edges, 41470 markings/sec, 120 secs
lola: 5327856 markings, 5965779 edges, 40420 markings/sec, 125 secs
lola: 5537306 markings, 6200023 edges, 41890 markings/sec, 130 secs
lola: 5744111 markings, 6431404 edges, 41361 markings/sec, 135 secs
lola: 5944170 markings, 6655469 edges, 40012 markings/sec, 140 secs
lola: 6146948 markings, 6882363 edges, 40556 markings/sec, 145 secs
lola: 6345657 markings, 7104873 edges, 39742 markings/sec, 150 secs
lola: 6550552 markings, 7334243 edges, 40979 markings/sec, 155 secs
lola: 6753351 markings, 7560994 edges, 40560 markings/sec, 160 secs
lola: 6954100 markings, 7785676 edges, 40150 markings/sec, 165 secs
lola: 7160279 markings, 8016446 edges, 41236 markings/sec, 170 secs
lola: 7361709 markings, 8241871 edges, 40286 markings/sec, 175 secs
lola: 7571047 markings, 8476273 edges, 41868 markings/sec, 180 secs
lola: 7775042 markings, 8704652 edges, 40799 markings/sec, 185 secs
lola: 7982257 markings, 8936625 edges, 41443 markings/sec, 190 secs
lola: 8185567 markings, 9164344 edges, 40662 markings/sec, 195 secs
lola: 8382342 markings, 9384769 edges, 39355 markings/sec, 200 secs
lola: 8572885 markings, 9598172 edges, 38109 markings/sec, 205 secs
lola: 8763252 markings, 9811461 edges, 38073 markings/sec, 210 secs
lola: 8964201 markings, 10036475 edges, 40190 markings/sec, 215 secs
lola: 9170051 markings, 10267172 edges, 41170 markings/sec, 220 secs
lola: 9371795 markings, 10492998 edges, 40349 markings/sec, 225 secs
lola: 9576277 markings, 10722153 edges, 40896 markings/sec, 230 secs
lola: 9789719 markings, 10961141 edges, 42688 markings/sec, 235 secs
lola: 10005949 markings, 11203399 edges, 43246 markings/sec, 240 secs
lola: 10224478 markings, 11448385 edges, 43706 markings/sec, 245 secs
lola: 10434044 markings, 11682893 edges, 41913 markings/sec, 250 secs
lola: 10635302 markings, 11908057 edges, 40252 markings/sec, 255 secs
lola: 10835191 markings, 12131846 edges, 39978 markings/sec, 260 secs
lola: 11037595 markings, 12358381 edges, 40481 markings/sec, 265 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 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2156)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 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: 161699 markings, 200857 edges, 32340 markings/sec, 0 secs
lola: 321800 markings, 399337 edges, 32020 markings/sec, 5 secs
lola: 474799 markings, 588832 edges, 30600 markings/sec, 10 secs
lola: 627071 markings, 778350 edges, 30454 markings/sec, 15 secs
lola: 781287 markings, 969982 edges, 30843 markings/sec, 20 secs
lola: 933127 markings, 1157883 edges, 30368 markings/sec, 25 secs
lola: 1080548 markings, 1340750 edges, 29484 markings/sec, 30 secs
lola: 1238364 markings, 1536687 edges, 31563 markings/sec, 35 secs
lola: 1392748 markings, 1728869 edges, 30877 markings/sec, 40 secs
lola: 1543752 markings, 1916158 edges, 30201 markings/sec, 45 secs
lola: 1699175 markings, 2108909 edges, 31085 markings/sec, 50 secs
lola: 1849824 markings, 2295424 edges, 30130 markings/sec, 55 secs
lola: 2005432 markings, 2487755 edges, 31122 markings/sec, 60 secs
lola: 2162868 markings, 2683193 edges, 31487 markings/sec, 65 secs
lola: 2317946 markings, 2875134 edges, 31016 markings/sec, 70 secs
lola: 2468710 markings, 3061956 edges, 30153 markings/sec, 75 secs
lola: 2624632 markings, 3255816 edges, 31184 markings/sec, 80 secs
lola: 2777778 markings, 3446043 edges, 30629 markings/sec, 85 secs
lola: 2928153 markings, 3632014 edges, 30075 markings/sec, 90 secs
lola: 3082685 markings, 3824582 edges, 30906 markings/sec, 95 secs
lola: 3236691 markings, 4015934 edges, 30801 markings/sec, 100 secs
lola: 3390718 markings, 4206568 edges, 30805 markings/sec, 105 secs
lola: 3556131 markings, 4412385 edges, 33083 markings/sec, 110 secs
lola: 3714955 markings, 4610597 edges, 31765 markings/sec, 115 secs
lola: 3868203 markings, 4801309 edges, 30650 markings/sec, 120 secs
lola: 4021438 markings, 4992213 edges, 30647 markings/sec, 125 secs
lola: 4173342 markings, 5181077 edges, 30381 markings/sec, 130 secs
lola: 4331224 markings, 5376339 edges, 31576 markings/sec, 135 secs
lola: 4486325 markings, 5568903 edges, 31020 markings/sec, 140 secs
lola: 4642964 markings, 5763730 edges, 31328 markings/sec, 145 secs
lola: 4800501 markings, 5958989 edges, 31507 markings/sec, 150 secs
lola: 4955273 markings, 6151193 edges, 30954 markings/sec, 155 secs
lola: 5108881 markings, 6341667 edges, 30722 markings/sec, 160 secs
lola: 5260613 markings, 6529435 edges, 30346 markings/sec, 165 secs
lola: 5413687 markings, 6719411 edges, 30615 markings/sec, 170 secs
lola: 5568187 markings, 6911237 edges, 30900 markings/sec, 175 secs
lola: 5726847 markings, 7108320 edges, 31732 markings/sec, 180 secs
lola: 5885260 markings, 7305532 edges, 31683 markings/sec, 185 secs
lola: 6045804 markings, 7504965 edges, 32109 markings/sec, 190 secs
lola: 6197794 markings, 7693264 edges, 30398 markings/sec, 195 secs
lola: 6357939 markings, 7892168 edges, 32029 markings/sec, 200 secs
lola: 6516675 markings, 8088635 edges, 31747 markings/sec, 205 secs
lola: 6670176 markings, 8279800 edges, 30700 markings/sec, 210 secs
lola: 6823067 markings, 8469584 edges, 30578 markings/sec, 215 secs
lola: 6974178 markings, 8656936 edges, 30222 markings/sec, 220 secs
lola: 7136771 markings, 8858918 edges, 32519 markings/sec, 225 secs
lola: 7296049 markings, 9056000 edges, 31856 markings/sec, 230 secs
lola: 7443906 markings, 9239620 edges, 29571 markings/sec, 235 secs
lola: 7594923 markings, 9427342 edges, 30203 markings/sec, 240 secs
lola: 7739122 markings, 9606767 edges, 28840 markings/sec, 245 secs
lola: 7889031 markings, 9791951 edges, 29982 markings/sec, 250 secs
lola: 8037987 markings, 9976889 edges, 29791 markings/sec, 255 secs
lola: 8186505 markings, 10161382 edges, 29704 markings/sec, 260 secs
lola: 8344572 markings, 10358054 edges, 31613 markings/sec, 265 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 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1942)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 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: 235796 markings, 265480 edges, 47159 markings/sec, 0 secs
lola: 470573 markings, 529751 edges, 46955 markings/sec, 5 secs
lola: 705654 markings, 794130 edges, 47016 markings/sec, 10 secs
lola: 941121 markings, 1058876 edges, 47093 markings/sec, 15 secs
lola: 1181336 markings, 1329380 edges, 48043 markings/sec, 20 secs
lola: 1417734 markings, 1595510 edges, 47280 markings/sec, 25 secs
lola: 1634186 markings, 1839046 edges, 43290 markings/sec, 30 secs
lola: 1850658 markings, 2082766 edges, 43294 markings/sec, 35 secs
lola: 2065906 markings, 2325132 edges, 43050 markings/sec, 40 secs
lola: 2293741 markings, 2581575 edges, 45567 markings/sec, 45 secs
lola: 2512628 markings, 2828106 edges, 43777 markings/sec, 50 secs
lola: 2747710 markings, 3092774 edges, 47016 markings/sec, 55 secs
lola: 2982457 markings, 3357094 edges, 46949 markings/sec, 60 secs
lola: 3206142 markings, 3608821 edges, 44737 markings/sec, 65 secs
lola: 3416227 markings, 3845330 edges, 42017 markings/sec, 70 secs
lola: 3625122 markings, 4080477 edges, 41779 markings/sec, 75 secs
lola: 3832796 markings, 4314338 edges, 41535 markings/sec, 80 secs
lola: 4043300 markings, 4551092 edges, 42101 markings/sec, 85 secs
lola: 4255408 markings, 4789601 edges, 42422 markings/sec, 90 secs
lola: 4483679 markings, 5046298 edges, 45654 markings/sec, 95 secs
lola: 4711704 markings, 5303359 edges, 45605 markings/sec, 100 secs
lola: 4929803 markings, 5549142 edges, 43620 markings/sec, 105 secs
lola: 5138252 markings, 5783979 edges, 41690 markings/sec, 110 secs
lola: 5346223 markings, 6018046 edges, 41594 markings/sec, 115 secs
lola: 5554918 markings, 6252808 edges, 41739 markings/sec, 120 secs
lola: 5762236 markings, 6486295 edges, 41464 markings/sec, 125 secs
lola: 5965709 markings, 6715343 edges, 40695 markings/sec, 130 secs
lola: 6172361 markings, 6948180 edges, 41330 markings/sec, 135 secs
lola: 6385854 markings, 7188281 edges, 42699 markings/sec, 140 secs
lola: 6600516 markings, 7429595 edges, 42932 markings/sec, 145 secs
lola: 6827116 markings, 7684773 edges, 45320 markings/sec, 150 secs
lola: 7052790 markings, 7938777 edges, 45135 markings/sec, 155 secs
lola: 7276803 markings, 8190679 edges, 44803 markings/sec, 160 secs
lola: 7494292 markings, 8435333 edges, 43498 markings/sec, 165 secs
lola: 7710148 markings, 8678403 edges, 43171 markings/sec, 170 secs
lola: 7933397 markings, 8929592 edges, 44650 markings/sec, 175 secs
lola: 8140407 markings, 9162350 edges, 41402 markings/sec, 180 secs
lola: 8345968 markings, 9393866 edges, 41112 markings/sec, 185 secs
lola: 8559515 markings, 9634161 edges, 42709 markings/sec, 190 secs
lola: 8765321 markings, 9865804 edges, 41161 markings/sec, 195 secs
lola: 8979272 markings, 10106597 edges, 42790 markings/sec, 200 secs
lola: 9189718 markings, 10343714 edges, 42089 markings/sec, 205 secs
lola: 9404511 markings, 10585488 edges, 42959 markings/sec, 210 secs
lola: 9616694 markings, 10824363 edges, 42437 markings/sec, 215 secs
lola: 9832789 markings, 11067642 edges, 43219 markings/sec, 220 secs
lola: 10052521 markings, 11315048 edges, 43946 markings/sec, 225 secs
lola: 10272748 markings, 11563057 edges, 44045 markings/sec, 230 secs
lola: 10478964 markings, 11795062 edges, 41243 markings/sec, 235 secs
lola: 10696198 markings, 12039529 edges, 43447 markings/sec, 240 secs
lola: 10907423 markings, 12277433 edges, 42245 markings/sec, 245 secs
lola: 11122922 markings, 12519917 edges, 43100 markings/sec, 250 secs
lola: 11329971 markings, 12752777 edges, 41410 markings/sec, 255 secs
lola: 11546328 markings, 12996075 edges, 43271 markings/sec, 260 secs
lola: 11765471 markings, 13242888 edges, 43829 markings/sec, 265 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 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p581)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 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: 212146 markings, 245264 edges, 42429 markings/sec, 0 secs
lola: 419753 markings, 486411 edges, 41521 markings/sec, 5 secs
lola: 623606 markings, 722827 edges, 40771 markings/sec, 10 secs
lola: 827379 markings, 959201 edges, 40755 markings/sec, 15 secs
lola: 1026183 markings, 1189698 edges, 39761 markings/sec, 20 secs
lola: 1217853 markings, 1411613 edges, 38334 markings/sec, 25 secs
lola: 1411024 markings, 1635890 edges, 38634 markings/sec, 30 secs
lola: 1604140 markings, 1859925 edges, 38623 markings/sec, 35 secs
lola: 1799624 markings, 2086826 edges, 39097 markings/sec, 40 secs
lola: 1990655 markings, 2308657 edges, 38206 markings/sec, 45 secs
lola: 2188402 markings, 2537955 edges, 39549 markings/sec, 50 secs
lola: 2390849 markings, 2773009 edges, 40489 markings/sec, 55 secs
lola: 2602348 markings, 3018508 edges, 42300 markings/sec, 60 secs
lola: 2817764 markings, 3268192 edges, 43083 markings/sec, 65 secs
lola: 3044117 markings, 3530344 edges, 45271 markings/sec, 70 secs
lola: 3259870 markings, 3780297 edges, 43151 markings/sec, 75 secs
lola: 3481518 markings, 4037198 edges, 44330 markings/sec, 80 secs
lola: 3697634 markings, 4287667 edges, 43223 markings/sec, 85 secs
lola: 3911299 markings, 4535233 edges, 42733 markings/sec, 90 secs
lola: 4145768 markings, 4806281 edges, 46894 markings/sec, 95 secs
lola: 4383837 markings, 5083966 edges, 47614 markings/sec, 100 secs
lola: 4614007 markings, 5346820 edges, 46034 markings/sec, 105 secs
lola: 4821560 markings, 5583390 edges, 41511 markings/sec, 110 secs
lola: 5006576 markings, 5792885 edges, 37003 markings/sec, 115 secs
lola: 5188434 markings, 5998295 edges, 36372 markings/sec, 120 secs
lola: 5374716 markings, 6209072 edges, 37256 markings/sec, 125 secs
lola: 5560574 markings, 6420090 edges, 37172 markings/sec, 130 secs
lola: 5739176 markings, 6623335 edges, 35720 markings/sec, 135 secs
lola: 5909405 markings, 6816404 edges, 34046 markings/sec, 140 secs
lola: 6080085 markings, 7010019 edges, 34136 markings/sec, 145 secs
lola: 6245685 markings, 7197419 edges, 33120 markings/sec, 150 secs
lola: 6419149 markings, 7393854 edges, 34693 markings/sec, 155 secs
lola: 6603103 markings, 7602327 edges, 36791 markings/sec, 160 secs
lola: 6778318 markings, 7801061 edges, 35043 markings/sec, 165 secs
lola: 6954188 markings, 8004088 edges, 35174 markings/sec, 170 secs
lola: 7123630 markings, 8198430 edges, 33888 markings/sec, 175 secs
lola: 7300212 markings, 8402749 edges, 35316 markings/sec, 180 secs
lola: 7473295 markings, 8601961 edges, 34617 markings/sec, 185 secs
lola: 7647384 markings, 8801120 edges, 34818 markings/sec, 190 secs
lola: 7818517 markings, 8994809 edges, 34227 markings/sec, 195 secs
lola: 7988994 markings, 9190625 edges, 34095 markings/sec, 200 secs
lola: 8156829 markings, 9382544 edges, 33567 markings/sec, 205 secs
lola: 8334068 markings, 9586311 edges, 35448 markings/sec, 210 secs
lola: 8511626 markings, 9790356 edges, 35512 markings/sec, 215 secs
lola: 8687954 markings, 9993550 edges, 35266 markings/sec, 220 secs
lola: 8852615 markings, 10181538 edges, 32932 markings/sec, 225 secs
lola: 9012600 markings, 10362803 edges, 31997 markings/sec, 230 secs
lola: 9177520 markings, 10551096 edges, 32984 markings/sec, 235 secs
lola: 9348549 markings, 10748504 edges, 34206 markings/sec, 240 secs
lola: 9519815 markings, 10946069 edges, 34253 markings/sec, 245 secs
lola: 9693409 markings, 11145617 edges, 34719 markings/sec, 250 secs
lola: 9868299 markings, 11347310 edges, 34978 markings/sec, 255 secs
lola: 10046113 markings, 11549731 edges, 35563 markings/sec, 260 secs
lola: 10224329 markings, 11751288 edges, 35643 markings/sec, 265 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 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p437)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 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: 305889 markings, 336732 edges, 61178 markings/sec, 0 secs
lola: 583895 markings, 643079 edges, 55601 markings/sec, 5 secs
lola: 854144 markings, 940678 edges, 54050 markings/sec, 10 secs
lola: 1124671 markings, 1238636 edges, 54105 markings/sec, 15 secs
lola: 1412892 markings, 1555993 edges, 57644 markings/sec, 20 secs
lola: 1702901 markings, 1875365 edges, 58002 markings/sec, 25 secs
lola: 1989314 markings, 2190745 edges, 57283 markings/sec, 30 secs
lola: 2258019 markings, 2486874 edges, 53741 markings/sec, 35 secs
lola: 2524076 markings, 2780215 edges, 53211 markings/sec, 40 secs
lola: 2793832 markings, 3077382 edges, 53951 markings/sec, 45 secs
lola: 3082077 markings, 3394767 edges, 57649 markings/sec, 50 secs
lola: 3364663 markings, 3706460 edges, 56517 markings/sec, 55 secs
lola: 3649126 markings, 4020086 edges, 56893 markings/sec, 60 secs
lola: 3937728 markings, 4338205 edges, 57720 markings/sec, 65 secs
lola: 4223128 markings, 4652528 edges, 57080 markings/sec, 70 secs
lola: 4512551 markings, 4971134 edges, 57885 markings/sec, 75 secs
lola: 4798878 markings, 5286215 edges, 57265 markings/sec, 80 secs
lola: 5085173 markings, 5601618 edges, 57259 markings/sec, 85 secs
lola: 5372252 markings, 5917833 edges, 57416 markings/sec, 90 secs
lola: 5650450 markings, 6224620 edges, 55640 markings/sec, 95 secs
lola: 5926211 markings, 6528353 edges, 55152 markings/sec, 100 secs
lola: 6203193 markings, 6833579 edges, 55396 markings/sec, 105 secs
lola: 6484290 markings, 7143187 edges, 56219 markings/sec, 110 secs
lola: 6750362 markings, 7437237 edges, 53214 markings/sec, 115 secs
lola: 7010259 markings, 7723348 edges, 51979 markings/sec, 120 secs
lola: 7268905 markings, 8008381 edges, 51729 markings/sec, 125 secs
lola: 7531369 markings, 8297359 edges, 52493 markings/sec, 130 secs
lola: 7799473 markings, 8593300 edges, 53621 markings/sec, 135 secs
lola: 8056260 markings, 8876944 edges, 51357 markings/sec, 140 secs
lola: 8331781 markings, 9180412 edges, 55104 markings/sec, 145 secs
lola: 8603318 markings, 9479403 edges, 54307 markings/sec, 150 secs
lola: 8872342 markings, 9775730 edges, 53805 markings/sec, 155 secs
lola: 9136875 markings, 10066828 edges, 52907 markings/sec, 160 secs
lola: 9393662 markings, 10349639 edges, 51357 markings/sec, 165 secs
lola: 9649623 markings, 10631674 edges, 51192 markings/sec, 170 secs
lola: 9908025 markings, 10916134 edges, 51680 markings/sec, 175 secs
lola: 10167813 markings, 11202343 edges, 51958 markings/sec, 180 secs
lola: 10427881 markings, 11489016 edges, 52014 markings/sec, 185 secs
lola: 10698380 markings, 11787027 edges, 54100 markings/sec, 190 secs
lola: 10965678 markings, 12081776 edges, 53460 markings/sec, 195 secs
lola: 11229699 markings, 12372878 edges, 52804 markings/sec, 200 secs
lola: 11490143 markings, 12660125 edges, 52089 markings/sec, 205 secs
lola: 11765562 markings, 12963815 edges, 55084 markings/sec, 210 secs
lola: 12042141 markings, 13269131 edges, 55316 markings/sec, 215 secs
lola: 12322394 markings, 13577665 edges, 56051 markings/sec, 220 secs
lola: 12602750 markings, 13886311 edges, 56071 markings/sec, 225 secs
lola: 12867008 markings, 14176935 edges, 52852 markings/sec, 230 secs
lola: 13120049 markings, 14455860 edges, 50608 markings/sec, 235 secs
lola: 13375325 markings, 14737320 edges, 51055 markings/sec, 240 secs
lola: 13647668 markings, 15037926 edges, 54469 markings/sec, 245 secs
lola: 13922216 markings, 15340681 edges, 54910 markings/sec, 250 secs
lola: 14201255 markings, 15647994 edges, 55808 markings/sec, 255 secs
lola: 14466593 markings, 15940384 edges, 53068 markings/sec, 260 secs
lola: 14740527 markings, 16242266 edges, 54787 markings/sec, 265 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 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p256)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 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: 93151 markings, 111520 edges, 18630 markings/sec, 0 secs
lola: 184482 markings, 221640 edges, 18266 markings/sec, 5 secs
lola: 277920 markings, 334376 edges, 18688 markings/sec, 10 secs
lola: 370202 markings, 445869 edges, 18456 markings/sec, 15 secs
lola: 457667 markings, 551292 edges, 17493 markings/sec, 20 secs
lola: 548369 markings, 660718 edges, 18140 markings/sec, 25 secs
lola: 639818 markings, 771047 edges, 18290 markings/sec, 30 secs
lola: 733549 markings, 884173 edges, 18746 markings/sec, 35 secs
lola: 824387 markings, 993904 edges, 18168 markings/sec, 40 secs
lola: 910012 markings, 1096951 edges, 17125 markings/sec, 45 secs
lola: 996512 markings, 1201315 edges, 17300 markings/sec, 50 secs
lola: 1081292 markings, 1303711 edges, 16956 markings/sec, 55 secs
lola: 1164610 markings, 1404283 edges, 16664 markings/sec, 60 secs
lola: 1251757 markings, 1509546 edges, 17429 markings/sec, 65 secs
lola: 1341726 markings, 1618084 edges, 17994 markings/sec, 70 secs
lola: 1428994 markings, 1723441 edges, 17454 markings/sec, 75 secs
lola: 1517690 markings, 1830365 edges, 17739 markings/sec, 80 secs
lola: 1608009 markings, 1939579 edges, 18064 markings/sec, 85 secs
lola: 1692358 markings, 2041207 edges, 16870 markings/sec, 90 secs
lola: 1779640 markings, 2146378 edges, 17456 markings/sec, 95 secs
lola: 1865271 markings, 2249908 edges, 17126 markings/sec, 100 secs
lola: 1960291 markings, 2364456 edges, 19004 markings/sec, 105 secs
lola: 2053823 markings, 2477370 edges, 18706 markings/sec, 110 secs
lola: 2141347 markings, 2582819 edges, 17505 markings/sec, 115 secs
lola: 2227515 markings, 2686629 edges, 17234 markings/sec, 120 secs
lola: 2312581 markings, 2789587 edges, 17013 markings/sec, 125 secs
lola: 2399003 markings, 2893695 edges, 17284 markings/sec, 130 secs
lola: 2482611 markings, 2994480 edges, 16722 markings/sec, 135 secs
lola: 2569133 markings, 3099160 edges, 17304 markings/sec, 140 secs
lola: 2656292 markings, 3204302 edges, 17432 markings/sec, 145 secs
lola: 2743341 markings, 3309212 edges, 17410 markings/sec, 150 secs
lola: 2834217 markings, 3418833 edges, 18175 markings/sec, 155 secs
lola: 2918421 markings, 3520482 edges, 16841 markings/sec, 160 secs
lola: 3005697 markings, 3625841 edges, 17455 markings/sec, 165 secs
lola: 3090453 markings, 3727866 edges, 16951 markings/sec, 170 secs
lola: 3174725 markings, 3829492 edges, 16854 markings/sec, 175 secs
lola: 3258048 markings, 3930027 edges, 16665 markings/sec, 180 secs
lola: 3343988 markings, 4033797 edges, 17188 markings/sec, 185 secs
lola: 3430626 markings, 4138301 edges, 17328 markings/sec, 190 secs
lola: 3516077 markings, 4241535 edges, 17090 markings/sec, 195 secs
lola: 3599933 markings, 4342510 edges, 16771 markings/sec, 200 secs
lola: 3682853 markings, 4442719 edges, 16584 markings/sec, 205 secs
lola: 3767050 markings, 4544434 edges, 16839 markings/sec, 210 secs
lola: 3855781 markings, 4651380 edges, 17746 markings/sec, 215 secs
lola: 3945494 markings, 4759687 edges, 17943 markings/sec, 220 secs
lola: 4033038 markings, 4865390 edges, 17509 markings/sec, 225 secs
lola: 4122268 markings, 4973111 edges, 17846 markings/sec, 230 secs
lola: 4213216 markings, 5082636 edges, 18190 markings/sec, 235 secs
lola: 4297026 markings, 5183729 edges, 16762 markings/sec, 240 secs
lola: 4379567 markings, 5283413 edges, 16508 markings/sec, 245 secs
lola: 4463265 markings, 5384452 edges, 16740 markings/sec, 250 secs
lola: 4551842 markings, 5491296 edges, 17715 markings/sec, 255 secs
lola: 4641225 markings, 5599277 edges, 17877 markings/sec, 260 secs
lola: 4731162 markings, 5707765 edges, 17987 markings/sec, 265 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 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2077)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 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: 118576 markings, 135524 edges, 23715 markings/sec, 0 secs
lola: 242099 markings, 278726 edges, 24705 markings/sec, 5 secs
lola: 367760 markings, 422873 edges, 25132 markings/sec, 10 secs
lola: 498657 markings, 575129 edges, 26179 markings/sec, 15 secs
lola: 630955 markings, 730361 edges, 26460 markings/sec, 20 secs
lola: 765692 markings, 887135 edges, 26947 markings/sec, 25 secs
lola: 899292 markings, 1043827 edges, 26720 markings/sec, 30 secs
lola: 1028697 markings, 1193633 edges, 25881 markings/sec, 35 secs
lola: 1155026 markings, 1339002 edges, 25266 markings/sec, 40 secs
lola: 1281700 markings, 1485585 edges, 25335 markings/sec, 45 secs
lola: 1412775 markings, 1638371 edges, 26215 markings/sec, 50 secs
lola: 1541996 markings, 1789085 edges, 25844 markings/sec, 55 secs
lola: 1676659 markings, 1947083 edges, 26933 markings/sec, 60 secs
lola: 1808842 markings, 2101694 edges, 26437 markings/sec, 65 secs
lola: 1942525 markings, 2257887 edges, 26737 markings/sec, 70 secs
lola: 2073212 markings, 2410104 edges, 26137 markings/sec, 75 secs
lola: 2206477 markings, 2565415 edges, 26653 markings/sec, 80 secs
lola: 2338354 markings, 2719465 edges, 26375 markings/sec, 85 secs
lola: 2468505 markings, 2869684 edges, 26030 markings/sec, 90 secs
lola: 2600150 markings, 3022506 edges, 26329 markings/sec, 95 secs
lola: 2732365 markings, 3175866 edges, 26443 markings/sec, 100 secs
lola: 2863680 markings, 3328517 edges, 26263 markings/sec, 105 secs
lola: 2993871 markings, 3481523 edges, 26038 markings/sec, 110 secs
lola: 3121106 markings, 3629889 edges, 25447 markings/sec, 115 secs
lola: 3248407 markings, 3778783 edges, 25460 markings/sec, 120 secs
lola: 3375276 markings, 3926364 edges, 25374 markings/sec, 125 secs
lola: 3497478 markings, 4067833 edges, 24440 markings/sec, 130 secs
lola: 3620944 markings, 4212911 edges, 24693 markings/sec, 135 secs
lola: 3745568 markings, 4358132 edges, 24925 markings/sec, 140 secs
lola: 3873345 markings, 4508268 edges, 25555 markings/sec, 145 secs
lola: 3996439 markings, 4651654 edges, 24619 markings/sec, 150 secs
lola: 4120091 markings, 4795681 edges, 24730 markings/sec, 155 secs
lola: 4241692 markings, 4936151 edges, 24320 markings/sec, 160 secs
lola: 4365257 markings, 5080068 edges, 24713 markings/sec, 165 secs
lola: 4488838 markings, 5224576 edges, 24716 markings/sec, 170 secs
lola: 4609548 markings, 5364822 edges, 24142 markings/sec, 175 secs
lola: 4732267 markings, 5508220 edges, 24544 markings/sec, 180 secs
lola: 4854611 markings, 5651113 edges, 24469 markings/sec, 185 secs
lola: 4976310 markings, 5792591 edges, 24340 markings/sec, 190 secs
lola: 5099410 markings, 5934583 edges, 24620 markings/sec, 195 secs
lola: 5225109 markings, 6080597 edges, 25140 markings/sec, 200 secs
lola: 5352684 markings, 6229293 edges, 25515 markings/sec, 205 secs
lola: 5479914 markings, 6378106 edges, 25446 markings/sec, 210 secs
lola: 5602375 markings, 6519563 edges, 24492 markings/sec, 215 secs
lola: 5729506 markings, 6668311 edges, 25426 markings/sec, 220 secs
lola: 5854151 markings, 6812559 edges, 24929 markings/sec, 225 secs
lola: 5977142 markings, 6956985 edges, 24598 markings/sec, 230 secs
lola: 6096065 markings, 7094350 edges, 23785 markings/sec, 235 secs
lola: 6218735 markings, 7237400 edges, 24534 markings/sec, 240 secs
lola: 6343048 markings, 7382738 edges, 24863 markings/sec, 245 secs
lola: 6469349 markings, 7530373 edges, 25260 markings/sec, 250 secs
lola: 6594910 markings, 7676966 edges, 25112 markings/sec, 255 secs
lola: 6718467 markings, 7820621 edges, 24711 markings/sec, 260 secs
lola: 6840106 markings, 7961341 edges, 24328 markings/sec, 265 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 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1374)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 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: 313704 markings, 343705 edges, 62741 markings/sec, 0 secs
lola: 616782 markings, 675932 edges, 60616 markings/sec, 5 secs
lola: 916343 markings, 1005469 edges, 59912 markings/sec, 10 secs
lola: 1214873 markings, 1333562 edges, 59706 markings/sec, 15 secs
lola: 1522441 markings, 1671563 edges, 61514 markings/sec, 20 secs
lola: 1831970 markings, 2011496 edges, 61906 markings/sec, 25 secs
lola: 2142769 markings, 2352334 edges, 62160 markings/sec, 30 secs
lola: 2454194 markings, 2694016 edges, 62285 markings/sec, 35 secs
lola: 2763890 markings, 3033740 edges, 61939 markings/sec, 40 secs
lola: 3077219 markings, 3377389 edges, 62666 markings/sec, 45 secs
lola: 3386408 markings, 3716432 edges, 61838 markings/sec, 50 secs
lola: 3691933 markings, 4051662 edges, 61105 markings/sec, 55 secs
lola: 3990115 markings, 4379170 edges, 59636 markings/sec, 60 secs
lola: 4283767 markings, 4701364 edges, 58730 markings/sec, 65 secs
lola: 4583302 markings, 5029874 edges, 59907 markings/sec, 70 secs
lola: 4881472 markings, 5356938 edges, 59634 markings/sec, 75 secs
lola: 5183248 markings, 5688475 edges, 60355 markings/sec, 80 secs
lola: 5484048 markings, 6018513 edges, 60160 markings/sec, 85 secs
lola: 5785414 markings, 6349133 edges, 60273 markings/sec, 90 secs
lola: 6091624 markings, 6685474 edges, 61242 markings/sec, 95 secs
lola: 6389468 markings, 7012432 edges, 59569 markings/sec, 100 secs
lola: 6684453 markings, 7335882 edges, 58997 markings/sec, 105 secs
lola: 6981930 markings, 7662053 edges, 59495 markings/sec, 110 secs
lola: 7278836 markings, 7987721 edges, 59381 markings/sec, 115 secs
lola: 7570979 markings, 8308118 edges, 58429 markings/sec, 120 secs
lola: 7863625 markings, 8629139 edges, 58529 markings/sec, 125 secs
lola: 8156523 markings, 8950348 edges, 58580 markings/sec, 130 secs
lola: 8445385 markings, 9267035 edges, 57772 markings/sec, 135 secs
lola: 8754373 markings, 9605779 edges, 61798 markings/sec, 140 secs
lola: 9061094 markings, 9943038 edges, 61344 markings/sec, 145 secs
lola: 9359141 markings, 10270144 edges, 59609 markings/sec, 150 secs
lola: 9654981 markings, 10594627 edges, 59168 markings/sec, 155 secs
lola: 9948481 markings, 10917359 edges, 58700 markings/sec, 160 secs
lola: 10255825 markings, 11255374 edges, 61469 markings/sec, 165 secs
lola: 10559387 markings, 11588337 edges, 60712 markings/sec, 170 secs
lola: 10852750 markings, 11910003 edges, 58673 markings/sec, 175 secs
lola: 11147934 markings, 12233743 edges, 59037 markings/sec, 180 secs
lola: 11445969 markings, 12560669 edges, 59607 markings/sec, 185 secs
lola: 11742193 markings, 12885674 edges, 59245 markings/sec, 190 secs
lola: 12021202 markings, 13191737 edges, 55802 markings/sec, 195 secs
lola: 12301079 markings, 13498693 edges, 55975 markings/sec, 200 secs
lola: 12585722 markings, 13810723 edges, 56929 markings/sec, 205 secs
lola: 12874824 markings, 14127815 edges, 57820 markings/sec, 210 secs
lola: 13168891 markings, 14450457 edges, 58813 markings/sec, 215 secs
lola: 13465459 markings, 14775813 edges, 59314 markings/sec, 220 secs
lola: 13757043 markings, 15095694 edges, 58317 markings/sec, 225 secs
lola: 14046756 markings, 15413543 edges, 57943 markings/sec, 230 secs
lola: 14333617 markings, 15728080 edges, 57372 markings/sec, 235 secs
lola: 14622336 markings, 16044654 edges, 57744 markings/sec, 240 secs
lola: 14908791 markings, 16358837 edges, 57291 markings/sec, 245 secs
lola: 15197621 markings, 16675654 edges, 57766 markings/sec, 250 secs
lola: 15484849 markings, 16990560 edges, 57446 markings/sec, 255 secs
lola: 15769780 markings, 17303322 edges, 56986 markings/sec, 260 secs
lola: 16048733 markings, 17609400 edges, 55791 markings/sec, 265 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 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p598)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 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: 211574 markings, 232675 edges, 42315 markings/sec, 0 secs
lola: 424663 markings, 467065 edges, 42618 markings/sec, 5 secs
lola: 640645 markings, 704735 edges, 43196 markings/sec, 10 secs
lola: 852243 markings, 937636 edges, 42320 markings/sec, 15 secs
lola: 1065677 markings, 1172840 edges, 42687 markings/sec, 20 secs
lola: 1280284 markings, 1409319 edges, 42921 markings/sec, 25 secs
lola: 1492576 markings, 1643526 edges, 42458 markings/sec, 30 secs
lola: 1702731 markings, 1874902 edges, 42031 markings/sec, 35 secs
lola: 1914818 markings, 2108185 edges, 42417 markings/sec, 40 secs
lola: 2121037 markings, 2335504 edges, 41244 markings/sec, 45 secs
lola: 2332651 markings, 2568557 edges, 42323 markings/sec, 50 secs
lola: 2550571 markings, 2808353 edges, 43584 markings/sec, 55 secs
lola: 2766721 markings, 3046235 edges, 43230 markings/sec, 60 secs
lola: 2981457 markings, 3282906 edges, 42947 markings/sec, 65 secs
lola: 3198049 markings, 3521439 edges, 43318 markings/sec, 70 secs
lola: 3409310 markings, 3754399 edges, 42252 markings/sec, 75 secs
lola: 3614481 markings, 3980491 edges, 41034 markings/sec, 80 secs
lola: 3817814 markings, 4204695 edges, 40667 markings/sec, 85 secs
lola: 4019322 markings, 4426988 edges, 40302 markings/sec, 90 secs
lola: 4234974 markings, 4664483 edges, 43130 markings/sec, 95 secs
lola: 4451154 markings, 4902807 edges, 43236 markings/sec, 100 secs
lola: 4660306 markings, 5133494 edges, 41830 markings/sec, 105 secs
lola: 4865603 markings, 5359735 edges, 41059 markings/sec, 110 secs
lola: 5069839 markings, 5584878 edges, 40847 markings/sec, 115 secs
lola: 5279404 markings, 5815752 edges, 41913 markings/sec, 120 secs
lola: 5494786 markings, 6052914 edges, 43076 markings/sec, 125 secs
lola: 5709119 markings, 6289082 edges, 42867 markings/sec, 130 secs
lola: 5925433 markings, 6527543 edges, 43263 markings/sec, 135 secs
lola: 6140631 markings, 6764604 edges, 43040 markings/sec, 140 secs
lola: 6353653 markings, 6999690 edges, 42604 markings/sec, 145 secs
lola: 6566461 markings, 7234115 edges, 42562 markings/sec, 150 secs
lola: 6779078 markings, 7468617 edges, 42523 markings/sec, 155 secs
lola: 6994559 markings, 7705782 edges, 43096 markings/sec, 160 secs
lola: 7208988 markings, 7942230 edges, 42886 markings/sec, 165 secs
lola: 7422466 markings, 8177424 edges, 42696 markings/sec, 170 secs
lola: 7636520 markings, 8413397 edges, 42811 markings/sec, 175 secs
lola: 7850445 markings, 8649105 edges, 42785 markings/sec, 180 secs
lola: 8064626 markings, 8885015 edges, 42836 markings/sec, 185 secs
lola: 8269502 markings, 9111246 edges, 40975 markings/sec, 190 secs
lola: 8477163 markings, 9339875 edges, 41532 markings/sec, 195 secs
lola: 8681566 markings, 9565361 edges, 40881 markings/sec, 200 secs
lola: 8898358 markings, 9804027 edges, 43358 markings/sec, 205 secs
lola: 9110478 markings, 10037691 edges, 42424 markings/sec, 210 secs
lola: 9315845 markings, 10263969 edges, 41073 markings/sec, 215 secs
lola: 9519004 markings, 10487838 edges, 40632 markings/sec, 220 secs
lola: 9722199 markings, 10711751 edges, 40639 markings/sec, 225 secs
lola: 9936947 markings, 10948558 edges, 42950 markings/sec, 230 secs
lola: 10149572 markings, 11182754 edges, 42525 markings/sec, 235 secs
lola: 10363348 markings, 11418235 edges, 42755 markings/sec, 240 secs
lola: 10570793 markings, 11646883 edges, 41489 markings/sec, 245 secs
lola: 10775016 markings, 11871845 edges, 40845 markings/sec, 250 secs
lola: 10977928 markings, 12095596 edges, 40582 markings/sec, 255 secs
lola: 11182757 markings, 12321346 edges, 40966 markings/sec, 260 secs
lola: 11390596 markings, 12550272 edges, 41568 markings/sec, 265 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 273 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1342)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 14 will run for 409 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2053)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 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: 165074 markings, 193643 edges, 33015 markings/sec, 0 secs
lola: 334007 markings, 394538 edges, 33787 markings/sec, 5 secs
lola: 503117 markings, 594674 edges, 33822 markings/sec, 10 secs
lola: 670304 markings, 792822 edges, 33437 markings/sec, 15 secs
lola: 836661 markings, 987406 edges, 33271 markings/sec, 20 secs
lola: 1002473 markings, 1180797 edges, 33162 markings/sec, 25 secs
lola: 1171128 markings, 1381247 edges, 33731 markings/sec, 30 secs
lola: 1342282 markings, 1582566 edges, 34231 markings/sec, 35 secs
lola: 1510793 markings, 1783477 edges, 33702 markings/sec, 40 secs
lola: 1677714 markings, 1981499 edges, 33384 markings/sec, 45 secs
lola: 1846962 markings, 2181479 edges, 33850 markings/sec, 50 secs
lola: 2016190 markings, 2381970 edges, 33846 markings/sec, 55 secs
lola: 2186369 markings, 2583251 edges, 34036 markings/sec, 60 secs
lola: 2356681 markings, 2784861 edges, 34062 markings/sec, 65 secs
lola: 2528685 markings, 2987651 edges, 34401 markings/sec, 70 secs
lola: 2701563 markings, 3192363 edges, 34576 markings/sec, 75 secs
lola: 2871518 markings, 3394595 edges, 33991 markings/sec, 80 secs
lola: 3040697 markings, 3593747 edges, 33836 markings/sec, 85 secs
lola: 3206196 markings, 3789703 edges, 33100 markings/sec, 90 secs
lola: 3377203 markings, 3992327 edges, 34201 markings/sec, 95 secs
lola: 3550295 markings, 4195993 edges, 34618 markings/sec, 100 secs
lola: 3724368 markings, 4403178 edges, 34815 markings/sec, 105 secs
lola: 3897563 markings, 4606839 edges, 34639 markings/sec, 110 secs
lola: 4073201 markings, 4815021 edges, 35128 markings/sec, 115 secs
lola: 4245686 markings, 5018285 edges, 34497 markings/sec, 120 secs
lola: 4413054 markings, 5215530 edges, 33474 markings/sec, 125 secs
lola: 4588639 markings, 5422335 edges, 35117 markings/sec, 130 secs
lola: 4763736 markings, 5628758 edges, 35019 markings/sec, 135 secs
lola: 4936953 markings, 5833911 edges, 34643 markings/sec, 140 secs
lola: 5110507 markings, 6038416 edges, 34711 markings/sec, 145 secs
lola: 5275339 markings, 6233517 edges, 32966 markings/sec, 150 secs
lola: 5450883 markings, 6442232 edges, 35109 markings/sec, 155 secs
lola: 5624199 markings, 6647932 edges, 34663 markings/sec, 160 secs
lola: 5788943 markings, 6842718 edges, 32949 markings/sec, 165 secs
lola: 5956570 markings, 7040891 edges, 33525 markings/sec, 170 secs
lola: 6124294 markings, 7239140 edges, 33545 markings/sec, 175 secs
lola: 6288338 markings, 7432905 edges, 32809 markings/sec, 180 secs
lola: 6433218 markings, 7604025 edges, 28976 markings/sec, 185 secs
lola: 6570422 markings, 7766591 edges, 27441 markings/sec, 190 secs
lola: 6706540 markings, 7928068 edges, 27224 markings/sec, 195 secs
lola: 6842701 markings, 8088493 edges, 27232 markings/sec, 200 secs
lola: 6981608 markings, 8252175 edges, 27781 markings/sec, 205 secs
lola: 7119849 markings, 8415512 edges, 27648 markings/sec, 210 secs
lola: 7258892 markings, 8578497 edges, 27809 markings/sec, 215 secs
lola: 7399989 markings, 8744551 edges, 28219 markings/sec, 220 secs
lola: 7538833 markings, 8908373 edges, 27769 markings/sec, 225 secs
lola: 7673840 markings, 9067289 edges, 27001 markings/sec, 230 secs
lola: 7807310 markings, 9224522 edges, 26694 markings/sec, 235 secs
lola: 7941411 markings, 9382458 edges, 26820 markings/sec, 240 secs
lola: 8081547 markings, 9547168 edges, 28027 markings/sec, 245 secs
lola: 8217996 markings, 9707764 edges, 27290 markings/sec, 250 secs
lola: 8354141 markings, 9868165 edges, 27229 markings/sec, 255 secs
lola: 8489395 markings, 10027589 edges, 27051 markings/sec, 260 secs
lola: 8624837 markings, 10186944 edges, 27088 markings/sec, 265 secs
lola: 8758823 markings, 10344756 edges, 26797 markings/sec, 270 secs
lola: 8892614 markings, 10502267 edges, 26758 markings/sec, 275 secs
lola: 9024762 markings, 10657811 edges, 26430 markings/sec, 280 secs
lola: 9159553 markings, 10816589 edges, 26958 markings/sec, 285 secs
lola: 9293685 markings, 10974534 edges, 26826 markings/sec, 290 secs
lola: 9428537 markings, 11133970 edges, 26970 markings/sec, 295 secs
lola: 9563638 markings, 11292701 edges, 27020 markings/sec, 300 secs
lola: 9698848 markings, 11451432 edges, 27042 markings/sec, 305 secs
lola: 9835312 markings, 11611539 edges, 27293 markings/sec, 310 secs
lola: 9972253 markings, 11773771 edges, 27388 markings/sec, 315 secs
lola: 10105734 markings, 11931758 edges, 26696 markings/sec, 320 secs
lola: 10237658 markings, 12087122 edges, 26385 markings/sec, 325 secs
lola: 10374630 markings, 12248285 edges, 27394 markings/sec, 330 secs
lola: 10508640 markings, 12406102 edges, 26802 markings/sec, 335 secs
lola: 10644713 markings, 12566491 edges, 27215 markings/sec, 340 secs
lola: 10777881 markings, 12723694 edges, 26634 markings/sec, 345 secs
lola: 10911178 markings, 12880662 edges, 26659 markings/sec, 350 secs
lola: 11043250 markings, 13036786 edges, 26414 markings/sec, 355 secs
lola: 11178700 markings, 13197296 edges, 27090 markings/sec, 360 secs
lola: 11308986 markings, 13350502 edges, 26057 markings/sec, 365 secs
lola: 11442005 markings, 13507750 edges, 26604 markings/sec, 370 secs
lola: 11579599 markings, 13669994 edges, 27519 markings/sec, 375 secs
lola: 11716216 markings, 13831671 edges, 27323 markings/sec, 380 secs
lola: 11849338 markings, 13988747 edges, 26624 markings/sec, 385 secs
lola: 11984319 markings, 14148288 edges, 26996 markings/sec, 390 secs
lola: 12120982 markings, 14309513 edges, 27333 markings/sec, 395 secs
lola: 12255855 markings, 14468461 edges, 26975 markings/sec, 400 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 410 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2190)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: RESULT
lola:
SUMMARY: 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown 1
lola: ========================================
FORMULA DLCround-PT-06b-UpperBounds-0 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06b-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06b-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06b-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06b-UpperBounds-15 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496542041817

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

# this is for BenchKit: explicit launching of the test

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