Execution Chart

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

Trace from the execution

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

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

=== Now, execution of the tool begins

BK_START 1496377647428


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


checking for too many tokens
===========================================================================================
S_Parking-PT-864: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_Parking-PT-864 @ 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: 2882/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: finding significant places
lola: 1185 places, 1697 transitions, 905 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1146 transition conflict sets
lola: TASK
lola: reading formula from Parking-PT-864-UpperBounds.task
lola: MAX(p881) : MAX(p131) : MAX(p493) : MAX(p845) : MAX(p58) : MAX(p449) : MAX(p1161) : MAX(p421) : MAX(p652) : MAX(p872) : MAX(p721) : MAX(p719) : MAX(p880) : MAX(p21) : MAX(p1043) : MAX(p471)
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(p881)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 722830 markings, 1721260 edges, 144566 markings/sec, 0 secs
lola: 1443690 markings, 3448957 edges, 144172 markings/sec, 5 secs
lola: 2115734 markings, 5083506 edges, 134409 markings/sec, 10 secs
lola: 2773507 markings, 6680876 edges, 131555 markings/sec, 15 secs
lola: 3452140 markings, 8333787 edges, 135727 markings/sec, 20 secs
lola: 4094799 markings, 9902638 edges, 128532 markings/sec, 25 secs
lola: 4697858 markings, 11375236 edges, 120612 markings/sec, 30 secs
lola: 5333492 markings, 12955027 edges, 127127 markings/sec, 35 secs
lola: 5940142 markings, 14493821 edges, 121330 markings/sec, 40 secs
lola: 6563424 markings, 16042316 edges, 124656 markings/sec, 45 secs
lola: 7202945 markings, 17594177 edges, 127904 markings/sec, 50 secs
lola: 7837009 markings, 19139954 edges, 126813 markings/sec, 55 secs
lola: 8490716 markings, 20734606 edges, 130741 markings/sec, 60 secs
lola: 9124281 markings, 22288121 edges, 126713 markings/sec, 65 secs
lola: 9728219 markings, 23764855 edges, 120788 markings/sec, 70 secs
lola: 10341223 markings, 25291932 edges, 122601 markings/sec, 75 secs
lola: 10939431 markings, 26790651 edges, 119642 markings/sec, 80 secs
lola: 11560054 markings, 28365531 edges, 124125 markings/sec, 85 secs
lola: 12112535 markings, 29703166 edges, 110496 markings/sec, 90 secs
lola: 12675235 markings, 31076729 edges, 112540 markings/sec, 95 secs
lola: 13234732 markings, 32435371 edges, 111899 markings/sec, 100 secs
lola: 13868092 markings, 33978172 edges, 126672 markings/sec, 105 secs
lola: 14464568 markings, 35435378 edges, 119295 markings/sec, 110 secs
lola: 15060361 markings, 36891927 edges, 119159 markings/sec, 115 secs
lola: 15676717 markings, 38424092 edges, 123271 markings/sec, 120 secs
lola: 16273253 markings, 39939783 edges, 119307 markings/sec, 125 secs
lola: 16881548 markings, 41458725 edges, 121659 markings/sec, 130 secs
lola: 17432708 markings, 42795117 edges, 110232 markings/sec, 135 secs
lola: 17987163 markings, 44145258 edges, 110891 markings/sec, 140 secs
lola: 18553288 markings, 45526193 edges, 113225 markings/sec, 145 secs
lola: 19169804 markings, 47032404 edges, 123303 markings/sec, 150 secs
lola: 19733409 markings, 48412534 edges, 112721 markings/sec, 155 secs
lola: 20257889 markings, 49697922 edges, 104896 markings/sec, 160 secs
lola: 20869576 markings, 51222745 edges, 122337 markings/sec, 165 secs
lola: 21462556 markings, 52710173 edges, 118596 markings/sec, 170 secs
lola: 22072059 markings, 54262405 edges, 121901 markings/sec, 175 secs
lola: 22699945 markings, 55785492 edges, 125577 markings/sec, 180 secs
lola: 23309719 markings, 57266647 edges, 121955 markings/sec, 185 secs
lola: 23934314 markings, 58789461 edges, 124919 markings/sec, 190 secs
lola: 24577744 markings, 60363238 edges, 128686 markings/sec, 195 secs
lola: 25181122 markings, 61840645 edges, 120676 markings/sec, 200 secs
lola: 25755930 markings, 63249932 edges, 114962 markings/sec, 205 secs
lola: 26384959 markings, 64824577 edges, 125806 markings/sec, 210 secs
lola: 26977381 markings, 66326583 edges, 118484 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(p131)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 610606 markings, 1507952 edges, 122121 markings/sec, 0 secs
lola: 1055849 markings, 2957306 edges, 89049 markings/sec, 5 secs
lola: 1474207 markings, 4331373 edges, 83672 markings/sec, 10 secs
lola: 1792815 markings, 5358915 edges, 63722 markings/sec, 15 secs
lola: 2165626 markings, 6613301 edges, 74562 markings/sec, 20 secs
lola: 2504676 markings, 7788425 edges, 67810 markings/sec, 25 secs
lola: 2893983 markings, 9044174 edges, 77861 markings/sec, 30 secs
lola: 3311214 markings, 10456841 edges, 83446 markings/sec, 35 secs
lola: 3658695 markings, 11654688 edges, 69496 markings/sec, 40 secs
lola: 3977869 markings, 12736784 edges, 63835 markings/sec, 45 secs
lola: 4248881 markings, 13656220 edges, 54202 markings/sec, 50 secs
lola: 4612423 markings, 14952191 edges, 72708 markings/sec, 55 secs
lola: 4946108 markings, 16144137 edges, 66737 markings/sec, 60 secs
lola: 5253645 markings, 17140722 edges, 61507 markings/sec, 65 secs
lola: 5563108 markings, 18161654 edges, 61893 markings/sec, 70 secs
lola: 5909712 markings, 19306612 edges, 69321 markings/sec, 75 secs
lola: 6320664 markings, 20687563 edges, 82190 markings/sec, 80 secs
lola: 6650242 markings, 21761712 edges, 65916 markings/sec, 85 secs
lola: 6980064 markings, 22910667 edges, 65964 markings/sec, 90 secs
lola: 7306383 markings, 24067827 edges, 65264 markings/sec, 95 secs
lola: 7614795 markings, 25086885 edges, 61682 markings/sec, 100 secs
lola: 7892752 markings, 26036198 edges, 55591 markings/sec, 105 secs
lola: 8248462 markings, 27251010 edges, 71142 markings/sec, 110 secs
lola: 8632686 markings, 28583745 edges, 76845 markings/sec, 115 secs
lola: 8954362 markings, 29696128 edges, 64335 markings/sec, 120 secs
lola: 9291990 markings, 30892349 edges, 67526 markings/sec, 125 secs
lola: 9587470 markings, 31972482 edges, 59096 markings/sec, 130 secs
lola: 9964695 markings, 33293858 edges, 75445 markings/sec, 135 secs
lola: 10397423 markings, 34721789 edges, 86546 markings/sec, 140 secs
lola: 10752214 markings, 35937187 edges, 70958 markings/sec, 145 secs
lola: 11064120 markings, 37002067 edges, 62381 markings/sec, 150 secs
lola: 11316337 markings, 37844219 edges, 50443 markings/sec, 155 secs
lola: 11616907 markings, 38902785 edges, 60114 markings/sec, 160 secs
lola: 11952712 markings, 40101319 edges, 67161 markings/sec, 165 secs
lola: 12282572 markings, 41264462 edges, 65972 markings/sec, 170 secs
lola: 12531957 markings, 42090322 edges, 49877 markings/sec, 175 secs
lola: 12845914 markings, 43166674 edges, 62791 markings/sec, 180 secs
lola: 13160328 markings, 44265882 edges, 62883 markings/sec, 185 secs
lola: 13512519 markings, 45493735 edges, 70438 markings/sec, 190 secs
lola: 13774221 markings, 46393306 edges, 52340 markings/sec, 195 secs
lola: 14084092 markings, 47497950 edges, 61974 markings/sec, 200 secs
lola: 14401050 markings, 48648166 edges, 63392 markings/sec, 205 secs
lola: 14743592 markings, 49869070 edges, 68508 markings/sec, 210 secs
lola: 15111493 markings, 51136459 edges, 73580 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(p493)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 907204 markings, 1297169 edges, 181441 markings/sec, 0 secs
lola: 1810329 markings, 2641959 edges, 180625 markings/sec, 5 secs
lola: 2764956 markings, 4073296 edges, 190925 markings/sec, 10 secs
lola: 3733530 markings, 5540160 edges, 193715 markings/sec, 15 secs
lola: 4684548 markings, 7010220 edges, 190204 markings/sec, 20 secs
lola: 5610732 markings, 8379157 edges, 185237 markings/sec, 25 secs
lola: 6574079 markings, 9802924 edges, 192669 markings/sec, 30 secs
lola: 7492370 markings, 11158565 edges, 183658 markings/sec, 35 secs
lola: 8317445 markings, 12370277 edges, 165015 markings/sec, 40 secs
lola: 9245096 markings, 13742590 edges, 185530 markings/sec, 45 secs
lola: 10123954 markings, 15045952 edges, 175772 markings/sec, 50 secs
lola: 10948260 markings, 16267397 edges, 164861 markings/sec, 55 secs
lola: 11818529 markings, 17549580 edges, 174054 markings/sec, 60 secs
lola: 12766929 markings, 18943512 edges, 189680 markings/sec, 65 secs
lola: 13679815 markings, 20285981 edges, 182577 markings/sec, 70 secs
lola: 14590004 markings, 21631499 edges, 182038 markings/sec, 75 secs
lola: 15480714 markings, 22942913 edges, 178142 markings/sec, 80 secs
lola: 16343254 markings, 24226275 edges, 172508 markings/sec, 85 secs
lola: 17319830 markings, 25668081 edges, 195315 markings/sec, 90 secs
lola: 18276559 markings, 27091783 edges, 191346 markings/sec, 95 secs
lola: 19172609 markings, 28443665 edges, 179210 markings/sec, 100 secs
lola: 20049895 markings, 29750753 edges, 175457 markings/sec, 105 secs
lola: 20980418 markings, 31147268 edges, 186105 markings/sec, 110 secs
lola: 21888214 markings, 32498659 edges, 181559 markings/sec, 115 secs
lola: 22859759 markings, 33959746 edges, 194309 markings/sec, 120 secs
lola: 23819750 markings, 35388375 edges, 191998 markings/sec, 125 secs
lola: 24809515 markings, 36876350 edges, 197953 markings/sec, 130 secs
lola: 25792696 markings, 38339957 edges, 196636 markings/sec, 135 secs
lola: 26651492 markings, 39632327 edges, 171759 markings/sec, 140 secs
lola: 27589257 markings, 41031478 edges, 187553 markings/sec, 145 secs
lola: 28504616 markings, 42404215 edges, 183072 markings/sec, 150 secs
lola: 29442371 markings, 43802602 edges, 187551 markings/sec, 155 secs
lola: 30349344 markings, 45162438 edges, 181395 markings/sec, 160 secs
lola: 31290324 markings, 46563581 edges, 188196 markings/sec, 165 secs
lola: 32249861 markings, 48002673 edges, 191907 markings/sec, 170 secs
lola: 33234779 markings, 49512545 edges, 196984 markings/sec, 175 secs
lola: 34197830 markings, 50978113 edges, 192610 markings/sec, 180 secs
lola: 35112955 markings, 52335867 edges, 183025 markings/sec, 185 secs
lola: 36016104 markings, 53675645 edges, 180630 markings/sec, 190 secs
lola: 36923329 markings, 55055952 edges, 181445 markings/sec, 195 secs
lola: 37843639 markings, 56474615 edges, 184062 markings/sec, 200 secs
lola: 38849090 markings, 57962229 edges, 201090 markings/sec, 205 secs
lola: 39815464 markings, 59417231 edges, 193275 markings/sec, 210 secs
lola: 40704468 markings, 60790928 edges, 177801 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(p845)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 732296 markings, 1743858 edges, 146459 markings/sec, 0 secs
lola: 1455548 markings, 3477643 edges, 144650 markings/sec, 5 secs
lola: 2128364 markings, 5136891 edges, 134563 markings/sec, 10 secs
lola: 2775321 markings, 6718701 edges, 129391 markings/sec, 15 secs
lola: 3437117 markings, 8340811 edges, 132359 markings/sec, 20 secs
lola: 4084525 markings, 9921343 edges, 129482 markings/sec, 25 secs
lola: 4694623 markings, 11411940 edges, 122020 markings/sec, 30 secs
lola: 5332027 markings, 12994779 edges, 127481 markings/sec, 35 secs
lola: 5945298 markings, 14549728 edges, 122654 markings/sec, 40 secs
lola: 6567706 markings, 16099042 edges, 124482 markings/sec, 45 secs
lola: 7214004 markings, 17678480 edges, 129260 markings/sec, 50 secs
lola: 7847145 markings, 19231780 edges, 126628 markings/sec, 55 secs
lola: 8498483 markings, 20843183 edges, 130268 markings/sec, 60 secs
lola: 9141078 markings, 22416375 edges, 128519 markings/sec, 65 secs
lola: 9748640 markings, 23903509 edges, 121512 markings/sec, 70 secs
lola: 10361914 markings, 25431300 edges, 122655 markings/sec, 75 secs
lola: 10975681 markings, 26969793 edges, 122753 markings/sec, 80 secs
lola: 11595731 markings, 28537495 edges, 124010 markings/sec, 85 secs
lola: 12141975 markings, 29864163 edges, 109249 markings/sec, 90 secs
lola: 12712114 markings, 31280055 edges, 114028 markings/sec, 95 secs
lola: 13279318 markings, 32666706 edges, 113441 markings/sec, 100 secs
lola: 13890767 markings, 34166732 edges, 122290 markings/sec, 105 secs
lola: 14511733 markings, 35685761 edges, 124193 markings/sec, 110 secs
lola: 15109848 markings, 37145223 edges, 119623 markings/sec, 115 secs
lola: 15703627 markings, 38622496 edges, 118756 markings/sec, 120 secs
lola: 16269397 markings, 40039073 edges, 113154 markings/sec, 125 secs
lola: 16894626 markings, 41617594 edges, 125046 markings/sec, 130 secs
lola: 17448109 markings, 42963057 edges, 110697 markings/sec, 135 secs
lola: 18006165 markings, 44352974 edges, 111611 markings/sec, 140 secs
lola: 18565842 markings, 45723381 edges, 111935 markings/sec, 145 secs
lola: 19187753 markings, 47252480 edges, 124382 markings/sec, 150 secs
lola: 19804909 markings, 48766552 edges, 123431 markings/sec, 155 secs
lola: 20402004 markings, 50227486 edges, 119419 markings/sec, 160 secs
lola: 21004027 markings, 51728725 edges, 120405 markings/sec, 165 secs
lola: 21595344 markings, 53212053 edges, 118263 markings/sec, 170 secs
lola: 22207811 markings, 54771457 edges, 122493 markings/sec, 175 secs
lola: 22835642 markings, 56304992 edges, 125566 markings/sec, 180 secs
lola: 23449581 markings, 57811073 edges, 122788 markings/sec, 185 secs
lola: 24067214 markings, 59338437 edges, 123527 markings/sec, 190 secs
lola: 24715275 markings, 60921504 edges, 129612 markings/sec, 195 secs
lola: 25336389 markings, 62443897 edges, 124223 markings/sec, 200 secs
lola: 25924065 markings, 63882219 edges, 117535 markings/sec, 205 secs
lola: 26555595 markings, 65464217 edges, 126306 markings/sec, 210 secs
lola: 27154186 markings, 66981260 edges, 119718 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(p58)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 1161447 markings, 1218187 edges, 232289 markings/sec, 0 secs
lola: 2314061 markings, 2435554 edges, 230523 markings/sec, 5 secs
lola: 2811723 markings, 3990759 edges, 99532 markings/sec, 10 secs
lola: 3179813 markings, 5431150 edges, 73618 markings/sec, 15 secs
lola: 3523604 markings, 6944115 edges, 68758 markings/sec, 20 secs
lola: 3954777 markings, 8394144 edges, 86235 markings/sec, 25 secs
lola: 4245903 markings, 9788870 edges, 58225 markings/sec, 30 secs
lola: 4707736 markings, 11281573 edges, 92367 markings/sec, 35 secs
lola: 4982367 markings, 12614550 edges, 54926 markings/sec, 40 secs
lola: 5399711 markings, 14111160 edges, 83469 markings/sec, 45 secs
lola: 5802796 markings, 15527631 edges, 80617 markings/sec, 50 secs
lola: 6088538 markings, 16931408 edges, 57148 markings/sec, 55 secs
lola: 6543246 markings, 18375759 edges, 90942 markings/sec, 60 secs
lola: 6839013 markings, 19771250 edges, 59153 markings/sec, 65 secs
lola: 7266713 markings, 21245632 edges, 85540 markings/sec, 70 secs
lola: 7576784 markings, 22574314 edges, 62014 markings/sec, 75 secs
lola: 7957751 markings, 24042225 edges, 76193 markings/sec, 80 secs
lola: 8374225 markings, 25457434 edges, 83295 markings/sec, 85 secs
lola: 8635142 markings, 26806065 edges, 52183 markings/sec, 90 secs
lola: 9100829 markings, 28263294 edges, 93137 markings/sec, 95 secs
lola: 9399939 markings, 29658395 edges, 59822 markings/sec, 100 secs
lola: 9814711 markings, 31133262 edges, 82954 markings/sec, 105 secs
lola: 10147552 markings, 32494417 edges, 66568 markings/sec, 110 secs
lola: 10514955 markings, 33959587 edges, 73481 markings/sec, 115 secs
lola: 10942939 markings, 35377570 edges, 85597 markings/sec, 120 secs
lola: 11191350 markings, 36739181 edges, 49682 markings/sec, 125 secs
lola: 11666887 markings, 38167587 edges, 95107 markings/sec, 130 secs
lola: 11998045 markings, 39624532 edges, 66232 markings/sec, 135 secs
lola: 12378882 markings, 41136838 edges, 76167 markings/sec, 140 secs
lola: 12778604 markings, 42548394 edges, 79944 markings/sec, 145 secs
lola: 13092586 markings, 43999178 edges, 62796 markings/sec, 150 secs
lola: 13545040 markings, 45420343 edges, 90491 markings/sec, 155 secs
lola: 13869092 markings, 46769920 edges, 64810 markings/sec, 160 secs
lola: 14188840 markings, 48128277 edges, 63950 markings/sec, 165 secs
lola: 14578623 markings, 49528621 edges, 77957 markings/sec, 170 secs
lola: 14824422 markings, 50884547 edges, 49160 markings/sec, 175 secs
lola: 15264050 markings, 52306547 edges, 87926 markings/sec, 180 secs
lola: 15525260 markings, 53673504 edges, 52242 markings/sec, 185 secs
lola: 15903297 markings, 55117457 edges, 75607 markings/sec, 190 secs
lola: 16256722 markings, 56454643 edges, 70685 markings/sec, 195 secs
lola: 16533071 markings, 57831347 edges, 55270 markings/sec, 200 secs
lola: 16944774 markings, 59209190 edges, 82341 markings/sec, 205 secs
lola: 17166184 markings, 60502585 edges, 44282 markings/sec, 210 secs
lola: 17582423 markings, 61843355 edges, 83248 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(p449)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 749309 markings, 1331771 edges, 149862 markings/sec, 0 secs
lola: 1643827 markings, 2653429 edges, 178904 markings/sec, 5 secs
lola: 2516549 markings, 3946819 edges, 174544 markings/sec, 10 secs
lola: 3409028 markings, 5262147 edges, 178496 markings/sec, 15 secs
lola: 4284645 markings, 6551409 edges, 175123 markings/sec, 20 secs
lola: 5178815 markings, 7869330 edges, 178834 markings/sec, 25 secs
lola: 6095539 markings, 9229516 edges, 183345 markings/sec, 30 secs
lola: 7000400 markings, 10577468 edges, 180972 markings/sec, 35 secs
lola: 7902492 markings, 11923409 edges, 180418 markings/sec, 40 secs
lola: 8781718 markings, 13237444 edges, 175845 markings/sec, 45 secs
lola: 9656184 markings, 14543974 edges, 174893 markings/sec, 50 secs
lola: 10530399 markings, 15845365 edges, 174843 markings/sec, 55 secs
lola: 11389030 markings, 17129038 edges, 171726 markings/sec, 60 secs
lola: 12273592 markings, 18446827 edges, 176912 markings/sec, 65 secs
lola: 13135466 markings, 19728271 edges, 172375 markings/sec, 70 secs
lola: 13992700 markings, 20998737 edges, 171447 markings/sec, 75 secs
lola: 14887709 markings, 22313099 edges, 179002 markings/sec, 80 secs
lola: 15755922 markings, 23596163 edges, 173643 markings/sec, 85 secs
lola: 16636619 markings, 24902014 edges, 176139 markings/sec, 90 secs
lola: 17554587 markings, 26261213 edges, 183594 markings/sec, 95 secs
lola: 18374244 markings, 27473157 edges, 163931 markings/sec, 100 secs
lola: 19295670 markings, 28833516 edges, 184285 markings/sec, 105 secs
lola: 20204954 markings, 30186870 edges, 181857 markings/sec, 110 secs
lola: 21109280 markings, 31536141 edges, 180865 markings/sec, 115 secs
lola: 22010799 markings, 32878225 edges, 180304 markings/sec, 120 secs
lola: 22908254 markings, 34217730 edges, 179491 markings/sec, 125 secs
lola: 23794410 markings, 35540052 edges, 177231 markings/sec, 130 secs
lola: 24671789 markings, 36849161 edges, 175476 markings/sec, 135 secs
lola: 25467771 markings, 38038592 edges, 159196 markings/sec, 140 secs
lola: 26264957 markings, 39233173 edges, 159437 markings/sec, 145 secs
lola: 27135360 markings, 40532745 edges, 174081 markings/sec, 150 secs
lola: 27996678 markings, 41807187 edges, 172264 markings/sec, 155 secs
lola: 28896027 markings, 43128409 edges, 179870 markings/sec, 160 secs
lola: 29755291 markings, 44405592 edges, 171853 markings/sec, 165 secs
lola: 30661993 markings, 45739800 edges, 181340 markings/sec, 170 secs
lola: 31529209 markings, 47021863 edges, 173443 markings/sec, 175 secs
lola: 32338003 markings, 48234877 edges, 161759 markings/sec, 180 secs
lola: 33217959 markings, 49529638 edges, 175991 markings/sec, 185 secs
lola: 34031507 markings, 50724363 edges, 162710 markings/sec, 190 secs
lola: 34850955 markings, 51940316 edges, 163890 markings/sec, 195 secs
lola: 35737457 markings, 53249046 edges, 177300 markings/sec, 200 secs
lola: 36578575 markings, 54493459 edges, 168224 markings/sec, 205 secs
lola: 37500935 markings, 55856342 edges, 184472 markings/sec, 210 secs
lola: 38415579 markings, 57213003 edges, 182929 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(p1161)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 676918 markings, 1451712 edges, 135384 markings/sec, 0 secs
lola: 1265273 markings, 2756454 edges, 117671 markings/sec, 5 secs
lola: 1837523 markings, 4055781 edges, 114450 markings/sec, 10 secs
lola: 2317833 markings, 5115820 edges, 96062 markings/sec, 15 secs
lola: 2786094 markings, 6181759 edges, 93652 markings/sec, 20 secs
lola: 3325961 markings, 7403056 edges, 107973 markings/sec, 25 secs
lola: 3874505 markings, 8654912 edges, 109709 markings/sec, 30 secs
lola: 4395724 markings, 9842226 edges, 104244 markings/sec, 35 secs
lola: 4960486 markings, 11117352 edges, 112952 markings/sec, 40 secs
lola: 5493836 markings, 12340024 edges, 106670 markings/sec, 45 secs
lola: 6058458 markings, 13655594 edges, 112924 markings/sec, 50 secs
lola: 6617003 markings, 14934343 edges, 111709 markings/sec, 55 secs
lola: 7171199 markings, 16205899 edges, 110839 markings/sec, 60 secs
lola: 7723175 markings, 17452958 edges, 110395 markings/sec, 65 secs
lola: 8250114 markings, 18630693 edges, 105388 markings/sec, 70 secs
lola: 8766856 markings, 19804063 edges, 103348 markings/sec, 75 secs
lola: 9322435 markings, 21073681 edges, 111116 markings/sec, 80 secs
lola: 9889478 markings, 22370602 edges, 113409 markings/sec, 85 secs
lola: 10444564 markings, 23648267 edges, 111017 markings/sec, 90 secs
lola: 11012531 markings, 24948088 edges, 113593 markings/sec, 95 secs
lola: 11574859 markings, 26239078 edges, 112466 markings/sec, 100 secs
lola: 12123747 markings, 27513167 edges, 109778 markings/sec, 105 secs
lola: 12673394 markings, 28789728 edges, 109929 markings/sec, 110 secs
lola: 13229344 markings, 30092403 edges, 111190 markings/sec, 115 secs
lola: 13774106 markings, 31371466 edges, 108952 markings/sec, 120 secs
lola: 14341270 markings, 32646004 edges, 113433 markings/sec, 125 secs
lola: 14879364 markings, 33880915 edges, 107619 markings/sec, 130 secs
lola: 15427368 markings, 35146901 edges, 109601 markings/sec, 135 secs
lola: 15982664 markings, 36413558 edges, 111059 markings/sec, 140 secs
lola: 16533705 markings, 37703914 edges, 110208 markings/sec, 145 secs
lola: 17081992 markings, 38987385 edges, 109657 markings/sec, 150 secs
lola: 17633173 markings, 40251079 edges, 110236 markings/sec, 155 secs
lola: 18188041 markings, 41551782 edges, 110974 markings/sec, 160 secs
lola: 18737703 markings, 42854737 edges, 109932 markings/sec, 165 secs
lola: 19281576 markings, 44116014 edges, 108775 markings/sec, 170 secs
lola: 19828786 markings, 45413909 edges, 109442 markings/sec, 175 secs
lola: 20368951 markings, 46721162 edges, 108033 markings/sec, 180 secs
lola: 20923062 markings, 47978664 edges, 110822 markings/sec, 185 secs
lola: 21446205 markings, 49181907 edges, 104629 markings/sec, 190 secs
lola: 21991954 markings, 50461584 edges, 109150 markings/sec, 195 secs
lola: 22542253 markings, 51734080 edges, 110060 markings/sec, 200 secs
lola: 23079761 markings, 52991902 edges, 107502 markings/sec, 205 secs
lola: 23625342 markings, 54276554 edges, 109116 markings/sec, 210 secs
lola: 24171117 markings, 55561858 edges, 109155 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(p421)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 818536 markings, 1435439 edges, 163707 markings/sec, 0 secs
lola: 1709817 markings, 2757070 edges, 178256 markings/sec, 5 secs
lola: 2598529 markings, 4071860 edges, 177742 markings/sec, 10 secs
lola: 3536160 markings, 5452799 edges, 187526 markings/sec, 15 secs
lola: 4411746 markings, 6747055 edges, 175117 markings/sec, 20 secs
lola: 5339307 markings, 8114581 edges, 185512 markings/sec, 25 secs
lola: 6260411 markings, 9480147 edges, 184221 markings/sec, 30 secs
lola: 7167709 markings, 10831222 edges, 181460 markings/sec, 35 secs
lola: 8074947 markings, 12183988 edges, 181448 markings/sec, 40 secs
lola: 8977915 markings, 13530942 edges, 180594 markings/sec, 45 secs
lola: 9869196 markings, 14859444 edges, 178256 markings/sec, 50 secs
lola: 10754727 markings, 16180230 edges, 177106 markings/sec, 55 secs
lola: 11640532 markings, 17503492 edges, 177161 markings/sec, 60 secs
lola: 12527522 markings, 18821651 edges, 177398 markings/sec, 65 secs
lola: 13397986 markings, 20117790 edges, 174093 markings/sec, 70 secs
lola: 14267382 markings, 21409117 edges, 173879 markings/sec, 75 secs
lola: 15185936 markings, 22764612 edges, 183711 markings/sec, 80 secs
lola: 16059904 markings, 24052562 edges, 174794 markings/sec, 85 secs
lola: 16983361 markings, 25412459 edges, 184691 markings/sec, 90 secs
lola: 17859303 markings, 26711559 edges, 175188 markings/sec, 95 secs
lola: 18750544 markings, 28029960 edges, 178248 markings/sec, 100 secs
lola: 19668266 markings, 29389823 edges, 183544 markings/sec, 105 secs
lola: 20574446 markings, 30745602 edges, 181236 markings/sec, 110 secs
lola: 21471894 markings, 32087855 edges, 179490 markings/sec, 115 secs
lola: 22372041 markings, 33428977 edges, 180029 markings/sec, 120 secs
lola: 23271531 markings, 34773147 edges, 179898 markings/sec, 125 secs
lola: 24158475 markings, 36097328 edges, 177389 markings/sec, 130 secs
lola: 25044248 markings, 37419976 edges, 177155 markings/sec, 135 secs
lola: 25925319 markings, 38732963 edges, 176214 markings/sec, 140 secs
lola: 26807066 markings, 40042652 edges, 176349 markings/sec, 145 secs
lola: 27663386 markings, 41309436 edges, 171264 markings/sec, 150 secs
lola: 28561279 markings, 42634697 edges, 179579 markings/sec, 155 secs
lola: 29440960 markings, 43935328 edges, 175936 markings/sec, 160 secs
lola: 30310636 markings, 45235560 edges, 173935 markings/sec, 165 secs
lola: 31227465 markings, 46583461 edges, 183366 markings/sec, 170 secs
lola: 32081146 markings, 47856229 edges, 170736 markings/sec, 175 secs
lola: 32991940 markings, 49195915 edges, 182159 markings/sec, 180 secs
lola: 33865677 markings, 50487251 edges, 174747 markings/sec, 185 secs
lola: 34756327 markings, 51801803 edges, 178130 markings/sec, 190 secs
lola: 35681285 markings, 53172980 edges, 184992 markings/sec, 195 secs
lola: 36544615 markings, 54450650 edges, 172666 markings/sec, 200 secs
lola: 37468946 markings, 55810457 edges, 184866 markings/sec, 205 secs
lola: 38380832 markings, 57165139 edges, 182377 markings/sec, 210 secs
lola: 39283804 markings, 58507830 edges, 180594 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(p652)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 759651 markings, 1536598 edges, 151930 markings/sec, 0 secs
lola: 1532979 markings, 2978011 edges, 154666 markings/sec, 5 secs
lola: 2292677 markings, 4260893 edges, 151940 markings/sec, 10 secs
lola: 2907388 markings, 5557544 edges, 122942 markings/sec, 15 secs
lola: 3474806 markings, 6777945 edges, 113484 markings/sec, 20 secs
lola: 4039456 markings, 8002282 edges, 112930 markings/sec, 25 secs
lola: 4606740 markings, 9197431 edges, 113457 markings/sec, 30 secs
lola: 5180558 markings, 10388920 edges, 114764 markings/sec, 35 secs
lola: 5740571 markings, 11603019 edges, 112003 markings/sec, 40 secs
lola: 6299980 markings, 12814246 edges, 111882 markings/sec, 45 secs
lola: 6887522 markings, 14089039 edges, 117508 markings/sec, 50 secs
lola: 7456234 markings, 15322729 edges, 113742 markings/sec, 55 secs
lola: 8001273 markings, 16513016 edges, 109008 markings/sec, 60 secs
lola: 8555910 markings, 17719663 edges, 110927 markings/sec, 65 secs
lola: 9108718 markings, 18932654 edges, 110562 markings/sec, 70 secs
lola: 9648533 markings, 20115927 edges, 107963 markings/sec, 75 secs
lola: 10181893 markings, 21284732 edges, 106672 markings/sec, 80 secs
lola: 10716872 markings, 22437533 edges, 106996 markings/sec, 85 secs
lola: 11264020 markings, 23591056 edges, 109430 markings/sec, 90 secs
lola: 11853025 markings, 24753662 edges, 117801 markings/sec, 95 secs
lola: 12389570 markings, 25931480 edges, 107309 markings/sec, 100 secs
lola: 12929480 markings, 27115169 edges, 107982 markings/sec, 105 secs
lola: 13471887 markings, 28276711 edges, 108481 markings/sec, 110 secs
lola: 14012526 markings, 29459929 edges, 108128 markings/sec, 115 secs
lola: 14540893 markings, 30608233 edges, 105673 markings/sec, 120 secs
lola: 15087916 markings, 31802688 edges, 109405 markings/sec, 125 secs
lola: 15643861 markings, 32975796 edges, 111189 markings/sec, 130 secs
lola: 16190766 markings, 34163056 edges, 109381 markings/sec, 135 secs
lola: 16734421 markings, 35350036 edges, 108731 markings/sec, 140 secs
lola: 17287918 markings, 36559193 edges, 110699 markings/sec, 145 secs
lola: 17842215 markings, 37766291 edges, 110859 markings/sec, 150 secs
lola: 18398866 markings, 38987572 edges, 111330 markings/sec, 155 secs
lola: 18952453 markings, 40203062 edges, 110717 markings/sec, 160 secs
lola: 19539017 markings, 41485748 edges, 117313 markings/sec, 165 secs
lola: 20101188 markings, 42720153 edges, 112434 markings/sec, 170 secs
lola: 20663024 markings, 43968592 edges, 112367 markings/sec, 175 secs
lola: 21215870 markings, 45200668 edges, 110569 markings/sec, 180 secs
lola: 21768778 markings, 46426066 edges, 110582 markings/sec, 185 secs
lola: 22331154 markings, 47665851 edges, 112475 markings/sec, 190 secs
lola: 22887120 markings, 48905515 edges, 111193 markings/sec, 195 secs
lola: 23447223 markings, 50130781 edges, 112021 markings/sec, 200 secs
lola: 23979773 markings, 51282834 edges, 106510 markings/sec, 205 secs
lola: 24528492 markings, 52466062 edges, 109744 markings/sec, 210 secs
lola: 25087007 markings, 53671875 edges, 111703 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(p872)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 702634 markings, 1833842 edges, 140527 markings/sec, 0 secs
lola: 1425759 markings, 3654696 edges, 144625 markings/sec, 5 secs
lola: 2125645 markings, 5411318 edges, 139977 markings/sec, 10 secs
lola: 2792282 markings, 7088073 edges, 133327 markings/sec, 15 secs
lola: 3454656 markings, 8754230 edges, 132475 markings/sec, 20 secs
lola: 4133324 markings, 10467229 edges, 135734 markings/sec, 25 secs
lola: 4789602 markings, 12122061 edges, 131256 markings/sec, 30 secs
lola: 5385080 markings, 13644143 edges, 119096 markings/sec, 35 secs
lola: 5991506 markings, 15183054 edges, 121285 markings/sec, 40 secs
lola: 6656910 markings, 16892394 edges, 133081 markings/sec, 45 secs
lola: 7340942 markings, 18627328 edges, 136806 markings/sec, 50 secs
lola: 7909978 markings, 20093609 edges, 113807 markings/sec, 55 secs
lola: 8493476 markings, 21560479 edges, 116700 markings/sec, 60 secs
lola: 9088596 markings, 23058530 edges, 119024 markings/sec, 65 secs
lola: 9685382 markings, 24563397 edges, 119357 markings/sec, 70 secs
lola: 10284419 markings, 26075714 edges, 119807 markings/sec, 75 secs
lola: 10939715 markings, 27732526 edges, 131059 markings/sec, 80 secs
lola: 11562990 markings, 29308204 edges, 124655 markings/sec, 85 secs
lola: 12138540 markings, 30792820 edges, 115110 markings/sec, 90 secs
lola: 12746075 markings, 32340525 edges, 121507 markings/sec, 95 secs
lola: 13370502 markings, 33946446 edges, 124885 markings/sec, 100 secs
lola: 14003498 markings, 35562811 edges, 126599 markings/sec, 105 secs
lola: 14575167 markings, 37033289 edges, 114334 markings/sec, 110 secs
lola: 15145804 markings, 38466239 edges, 114127 markings/sec, 115 secs
lola: 15732829 markings, 39945355 edges, 117405 markings/sec, 120 secs
lola: 16335622 markings, 41463984 edges, 120559 markings/sec, 125 secs
lola: 16938435 markings, 42986932 edges, 120563 markings/sec, 130 secs
lola: 17587050 markings, 44627300 edges, 129723 markings/sec, 135 secs
lola: 18200664 markings, 46184787 edges, 122723 markings/sec, 140 secs
lola: 18776932 markings, 47664849 edges, 115254 markings/sec, 145 secs
lola: 19389326 markings, 49225411 edges, 122479 markings/sec, 150 secs
lola: 20010626 markings, 50822849 edges, 124260 markings/sec, 155 secs
lola: 20635783 markings, 52423430 edges, 125031 markings/sec, 160 secs
lola: 21214458 markings, 53907880 edges, 115735 markings/sec, 165 secs
lola: 21781736 markings, 55336272 edges, 113456 markings/sec, 170 secs
lola: 22361765 markings, 56798844 edges, 116006 markings/sec, 175 secs
lola: 22963110 markings, 58316228 edges, 120269 markings/sec, 180 secs
lola: 23581636 markings, 59883007 edges, 123705 markings/sec, 185 secs
lola: 24222396 markings, 61507754 edges, 128152 markings/sec, 190 secs
lola: 24813094 markings, 63014965 edges, 118140 markings/sec, 195 secs
lola: 25387535 markings, 64487946 edges, 114888 markings/sec, 200 secs
lola: 25998618 markings, 66050276 edges, 122217 markings/sec, 205 secs
lola: 26619200 markings, 67647434 edges, 124116 markings/sec, 210 secs
lola: 27236993 markings, 69235335 edges, 123559 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(p721)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 755713 markings, 1537424 edges, 151143 markings/sec, 0 secs
lola: 1510009 markings, 3080209 edges, 150859 markings/sec, 5 secs
lola: 2274185 markings, 4438268 edges, 152835 markings/sec, 10 secs
lola: 2912295 markings, 5740665 edges, 127622 markings/sec, 15 secs
lola: 3492209 markings, 6998763 edges, 115983 markings/sec, 20 secs
lola: 4064045 markings, 8238613 edges, 114367 markings/sec, 25 secs
lola: 4627923 markings, 9468764 edges, 112776 markings/sec, 30 secs
lola: 5184635 markings, 10692144 edges, 111342 markings/sec, 35 secs
lola: 5739255 markings, 11907933 edges, 110924 markings/sec, 40 secs
lola: 6299427 markings, 13117634 edges, 112034 markings/sec, 45 secs
lola: 6855113 markings, 14338201 edges, 111137 markings/sec, 50 secs
lola: 7410635 markings, 15553938 edges, 111104 markings/sec, 55 secs
lola: 7960899 markings, 16766947 edges, 110053 markings/sec, 60 secs
lola: 8594897 markings, 17888216 edges, 126800 markings/sec, 65 secs
lola: 9197868 markings, 19097721 edges, 120594 markings/sec, 70 secs
lola: 9754074 markings, 20312086 edges, 111241 markings/sec, 75 secs
lola: 10303410 markings, 21518103 edges, 109867 markings/sec, 80 secs
lola: 10889004 markings, 22764218 edges, 117119 markings/sec, 85 secs
lola: 11445885 markings, 23982155 edges, 111376 markings/sec, 90 secs
lola: 12008933 markings, 25207338 edges, 112610 markings/sec, 95 secs
lola: 12573696 markings, 26437600 edges, 112953 markings/sec, 100 secs
lola: 13155490 markings, 27596116 edges, 116359 markings/sec, 105 secs
lola: 13728897 markings, 28839187 edges, 114681 markings/sec, 110 secs
lola: 14287650 markings, 30062494 edges, 111751 markings/sec, 115 secs
lola: 14868230 markings, 31330401 edges, 116116 markings/sec, 120 secs
lola: 15437044 markings, 32590461 edges, 113763 markings/sec, 125 secs
lola: 15999580 markings, 33836463 edges, 112507 markings/sec, 130 secs
lola: 16565802 markings, 35085613 edges, 113244 markings/sec, 135 secs
lola: 17117555 markings, 36317996 edges, 110351 markings/sec, 140 secs
lola: 17662415 markings, 37528129 edges, 108972 markings/sec, 145 secs
lola: 18206102 markings, 38726735 edges, 108737 markings/sec, 150 secs
lola: 18754808 markings, 39925212 edges, 109741 markings/sec, 155 secs
lola: 19305174 markings, 41117557 edges, 110073 markings/sec, 160 secs
lola: 19867398 markings, 42329836 edges, 112445 markings/sec, 165 secs
lola: 20458128 markings, 43620262 edges, 118146 markings/sec, 170 secs
lola: 21017369 markings, 44856967 edges, 111848 markings/sec, 175 secs
lola: 21567094 markings, 46067620 edges, 109945 markings/sec, 180 secs
lola: 22121536 markings, 47295051 edges, 110888 markings/sec, 185 secs
lola: 22670185 markings, 48521624 edges, 109730 markings/sec, 190 secs
lola: 23216496 markings, 49734515 edges, 109262 markings/sec, 195 secs
lola: 23765640 markings, 50944406 edges, 109829 markings/sec, 200 secs
lola: 24321297 markings, 52153660 edges, 111131 markings/sec, 205 secs
lola: 24864508 markings, 53341778 edges, 108642 markings/sec, 210 secs
lola: 25443092 markings, 54512899 edges, 115717 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(p719)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 761381 markings, 1530408 edges, 152276 markings/sec, 0 secs
lola: 1538584 markings, 2961960 edges, 155441 markings/sec, 5 secs
lola: 2302705 markings, 4252062 edges, 152824 markings/sec, 10 secs
lola: 2909561 markings, 5549265 edges, 121371 markings/sec, 15 secs
lola: 3478233 markings, 6774203 edges, 113734 markings/sec, 20 secs
lola: 4047396 markings, 8011013 edges, 113833 markings/sec, 25 secs
lola: 4618638 markings, 9209992 edges, 114248 markings/sec, 30 secs
lola: 5191422 markings, 10400109 edges, 114557 markings/sec, 35 secs
lola: 5755835 markings, 11622270 edges, 112883 markings/sec, 40 secs
lola: 6317186 markings, 12841789 edges, 112270 markings/sec, 45 secs
lola: 6904872 markings, 14122302 edges, 117537 markings/sec, 50 secs
lola: 7472326 markings, 15350062 edges, 113491 markings/sec, 55 secs
lola: 8018823 markings, 16542017 edges, 109299 markings/sec, 60 secs
lola: 8575006 markings, 17753595 edges, 111237 markings/sec, 65 secs
lola: 9129819 markings, 18970976 edges, 110963 markings/sec, 70 secs
lola: 9670784 markings, 20155353 edges, 108193 markings/sec, 75 secs
lola: 10212532 markings, 21321692 edges, 108350 markings/sec, 80 secs
lola: 10753765 markings, 22489543 edges, 108247 markings/sec, 85 secs
lola: 11291955 markings, 23645398 edges, 107638 markings/sec, 90 secs
lola: 11882193 markings, 24812569 edges, 118048 markings/sec, 95 secs
lola: 12422558 markings, 25996253 edges, 108073 markings/sec, 100 secs
lola: 12962226 markings, 27180893 edges, 107934 markings/sec, 105 secs
lola: 13504080 markings, 28339654 edges, 108371 markings/sec, 110 secs
lola: 14048659 markings, 29529960 edges, 108916 markings/sec, 115 secs
lola: 14601448 markings, 30728068 edges, 110558 markings/sec, 120 secs
lola: 15150552 markings, 31925782 edges, 109821 markings/sec, 125 secs
lola: 15704294 markings, 33083869 edges, 110748 markings/sec, 130 secs
lola: 16251257 markings, 34279122 edges, 109393 markings/sec, 135 secs
lola: 16801197 markings, 35482399 edges, 109988 markings/sec, 140 secs
lola: 17351786 markings, 36691579 edges, 110118 markings/sec, 145 secs
lola: 17904058 markings, 37898495 edges, 110454 markings/sec, 150 secs
lola: 18461684 markings, 39117240 edges, 111525 markings/sec, 155 secs
lola: 19013837 markings, 40329463 edges, 110431 markings/sec, 160 secs
lola: 19605846 markings, 41615391 edges, 118402 markings/sec, 165 secs
lola: 20169472 markings, 42865723 edges, 112725 markings/sec, 170 secs
lola: 20724214 markings, 44101970 edges, 110948 markings/sec, 175 secs
lola: 21277204 markings, 45324662 edges, 110598 markings/sec, 180 secs
lola: 21836697 markings, 46560457 edges, 111899 markings/sec, 185 secs
lola: 22391102 markings, 47798551 edges, 110881 markings/sec, 190 secs
lola: 22944780 markings, 49025391 edges, 110736 markings/sec, 195 secs
lola: 23504220 markings, 50234309 edges, 111888 markings/sec, 200 secs
lola: 24041796 markings, 51394156 edges, 107515 markings/sec, 205 secs
lola: 24587108 markings, 52579372 edges, 109062 markings/sec, 210 secs
lola: 25140483 markings, 53779792 edges, 110675 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(p880)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 731211 markings, 1741486 edges, 146242 markings/sec, 0 secs
lola: 1455835 markings, 3478343 edges, 144925 markings/sec, 5 secs
lola: 2137175 markings, 5136598 edges, 136268 markings/sec, 10 secs
lola: 2804306 markings, 6756033 edges, 133426 markings/sec, 15 secs
lola: 3493783 markings, 8435659 edges, 137895 markings/sec, 20 secs
lola: 4148244 markings, 10034040 edges, 130892 markings/sec, 25 secs
lola: 4761571 markings, 11531384 edges, 122665 markings/sec, 30 secs
lola: 5404992 markings, 13136699 edges, 128684 markings/sec, 35 secs
lola: 6021264 markings, 14693016 edges, 123254 markings/sec, 40 secs
lola: 6679544 markings, 16322358 edges, 131656 markings/sec, 45 secs
lola: 7332836 markings, 17914983 edges, 130658 markings/sec, 50 secs
lola: 7977475 markings, 19483482 edges, 128928 markings/sec, 55 secs
lola: 8647028 markings, 21117533 edges, 133911 markings/sec, 60 secs
lola: 9285892 markings, 22681920 edges, 127773 markings/sec, 65 secs
lola: 9892540 markings, 24167933 edges, 121330 markings/sec, 70 secs
lola: 10529042 markings, 25752451 edges, 127300 markings/sec, 75 secs
lola: 11147573 markings, 27326129 edges, 123706 markings/sec, 80 secs
lola: 11750264 markings, 28829974 edges, 120538 markings/sec, 85 secs
lola: 12323936 markings, 30220990 edges, 114734 markings/sec, 90 secs
lola: 12895270 markings, 31606651 edges, 114267 markings/sec, 95 secs
lola: 13502058 markings, 33084500 edges, 121358 markings/sec, 100 secs
lola: 14150232 markings, 34667075 edges, 129635 markings/sec, 105 secs
lola: 14772888 markings, 36188296 edges, 124531 markings/sec, 110 secs
lola: 15372017 markings, 37679330 edges, 119826 markings/sec, 115 secs
lola: 16013567 markings, 39280127 edges, 128310 markings/sec, 120 secs
lola: 16627097 markings, 40829863 edges, 122706 markings/sec, 125 secs
lola: 17211209 markings, 42252551 edges, 116822 markings/sec, 130 secs
lola: 17779535 markings, 43641516 edges, 113665 markings/sec, 135 secs
lola: 18354375 markings, 45039799 edges, 114968 markings/sec, 140 secs
lola: 18979072 markings, 46564745 edges, 124939 markings/sec, 145 secs
lola: 19605139 markings, 48100544 edges, 125213 markings/sec, 150 secs
lola: 20211869 markings, 49585387 edges, 121346 markings/sec, 155 secs
lola: 20827135 markings, 51118794 edges, 123053 markings/sec, 160 secs
lola: 21431496 markings, 52634043 edges, 120872 markings/sec, 165 secs
lola: 22049506 markings, 54208586 edges, 123602 markings/sec, 170 secs
lola: 22684949 markings, 55748549 edges, 127089 markings/sec, 175 secs
lola: 23304895 markings, 57255314 edges, 123989 markings/sec, 180 secs
lola: 23939250 markings, 58801833 edges, 126871 markings/sec, 185 secs
lola: 24591830 markings, 60398235 edges, 130516 markings/sec, 190 secs
lola: 25217548 markings, 61929939 edges, 125144 markings/sec, 195 secs
lola: 25803178 markings, 63363737 edges, 117126 markings/sec, 200 secs
lola: 26405271 markings, 64894718 edges, 120419 markings/sec, 205 secs
lola: 26991516 markings, 66361285 edges, 117249 markings/sec, 210 secs
lola: 27554120 markings, 67761926 edges, 112521 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(p21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 1060891 markings, 1500944 edges, 212178 markings/sec, 0 secs
lola: 1975516 markings, 2976273 edges, 182925 markings/sec, 5 secs
lola: 2908638 markings, 4541929 edges, 186624 markings/sec, 10 secs
lola: 3735547 markings, 6062264 edges, 165382 markings/sec, 15 secs
lola: 4671323 markings, 7619688 edges, 187155 markings/sec, 20 secs
lola: 5642149 markings, 9096088 edges, 194165 markings/sec, 25 secs
lola: 6480944 markings, 10640792 edges, 167759 markings/sec, 30 secs
lola: 7257200 markings, 12242104 edges, 155251 markings/sec, 35 secs
lola: 8025343 markings, 13838688 edges, 153629 markings/sec, 40 secs
lola: 8783313 markings, 15468638 edges, 151594 markings/sec, 45 secs
lola: 9733608 markings, 17004437 edges, 190059 markings/sec, 50 secs
lola: 10713334 markings, 18530942 edges, 195945 markings/sec, 55 secs
lola: 11569913 markings, 20064791 edges, 171316 markings/sec, 60 secs
lola: 12348993 markings, 21652588 edges, 155816 markings/sec, 65 secs
lola: 13309514 markings, 23175377 edges, 192104 markings/sec, 70 secs
lola: 14167868 markings, 24640291 edges, 171671 markings/sec, 75 secs
lola: 15069783 markings, 26056923 edges, 180383 markings/sec, 80 secs
lola: 15796363 markings, 27474569 edges, 145316 markings/sec, 85 secs
lola: 16527058 markings, 28930609 edges, 146139 markings/sec, 90 secs
lola: 17203579 markings, 30380306 edges, 135304 markings/sec, 95 secs
lola: 17891127 markings, 31949881 edges, 137510 markings/sec, 100 secs
lola: 18667223 markings, 33537147 edges, 155219 markings/sec, 105 secs
lola: 19387045 markings, 35034676 edges, 143964 markings/sec, 110 secs
lola: 20071033 markings, 36636527 edges, 136798 markings/sec, 115 secs
lola: 20664585 markings, 38135306 edges, 118710 markings/sec, 120 secs
lola: 21276469 markings, 39700465 edges, 122377 markings/sec, 125 secs
lola: 21913574 markings, 41272693 edges, 127421 markings/sec, 130 secs
lola: 22918263 markings, 42826372 edges, 200938 markings/sec, 135 secs
lola: 23857959 markings, 44385146 edges, 187939 markings/sec, 140 secs
lola: 24742785 markings, 45880036 edges, 176965 markings/sec, 145 secs
lola: 25489639 markings, 47426326 edges, 149371 markings/sec, 150 secs
lola: 26338498 markings, 48847476 edges, 169772 markings/sec, 155 secs
lola: 27226032 markings, 50322397 edges, 177507 markings/sec, 160 secs
lola: 28212923 markings, 51832422 edges, 197378 markings/sec, 165 secs
lola: 29037426 markings, 53387378 edges, 164901 markings/sec, 170 secs
lola: 29819383 markings, 54977613 edges, 156391 markings/sec, 175 secs
lola: 30571154 markings, 56585640 edges, 150354 markings/sec, 180 secs
lola: 31285263 markings, 58220913 edges, 142822 markings/sec, 185 secs
lola: 32069785 markings, 59813107 edges, 156904 markings/sec, 190 secs
lola: 32830904 markings, 61302337 edges, 152224 markings/sec, 195 secs
lola: 33774855 markings, 62785842 edges, 188790 markings/sec, 200 secs
lola: 34685568 markings, 64260839 edges, 182143 markings/sec, 205 secs
lola: 35579368 markings, 65787601 edges, 178760 markings/sec, 210 secs
lola: 36263009 markings, 67225686 edges, 136728 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(p1043)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 712541 markings, 1821611 edges, 142508 markings/sec, 0 secs
lola: 1422004 markings, 3676762 edges, 141893 markings/sec, 5 secs
lola: 2112869 markings, 5494703 edges, 138173 markings/sec, 10 secs
lola: 2786912 markings, 7259343 edges, 134809 markings/sec, 15 secs
lola: 3457420 markings, 9016082 edges, 134102 markings/sec, 20 secs
lola: 4119733 markings, 10751922 edges, 132463 markings/sec, 25 secs
lola: 4797807 markings, 12529167 edges, 135615 markings/sec, 30 secs
lola: 5470236 markings, 14290555 edges, 134486 markings/sec, 35 secs
lola: 6135318 markings, 16032242 edges, 133016 markings/sec, 40 secs
lola: 6796092 markings, 17766537 edges, 132155 markings/sec, 45 secs
lola: 7472480 markings, 19538272 edges, 135278 markings/sec, 50 secs
lola: 8132526 markings, 21268972 edges, 132009 markings/sec, 55 secs
lola: 8800419 markings, 23018906 edges, 133579 markings/sec, 60 secs
lola: 9436121 markings, 24684908 edges, 127140 markings/sec, 65 secs
lola: 10056902 markings, 26311681 edges, 124156 markings/sec, 70 secs
lola: 10683073 markings, 27952891 edges, 125234 markings/sec, 75 secs
lola: 11321282 markings, 29625630 edges, 127642 markings/sec, 80 secs
lola: 11988430 markings, 31375715 edges, 133430 markings/sec, 85 secs
lola: 12661050 markings, 33136393 edges, 134524 markings/sec, 90 secs
lola: 13319950 markings, 34863496 edges, 131780 markings/sec, 95 secs
lola: 13971254 markings, 36571079 edges, 130261 markings/sec, 100 secs
lola: 14624579 markings, 38283618 edges, 130665 markings/sec, 105 secs
lola: 15275185 markings, 39988274 edges, 130121 markings/sec, 110 secs
lola: 15913274 markings, 41662907 edges, 127618 markings/sec, 115 secs
lola: 16564952 markings, 43370277 edges, 130336 markings/sec, 120 secs
lola: 17238781 markings, 45140066 edges, 134766 markings/sec, 125 secs
lola: 17796356 markings, 46603551 edges, 111515 markings/sec, 130 secs
lola: 18387089 markings, 48155471 edges, 118147 markings/sec, 135 secs
lola: 19023605 markings, 49825069 edges, 127303 markings/sec, 140 secs
lola: 19634163 markings, 51435237 edges, 122112 markings/sec, 145 secs
lola: 20248671 markings, 53046204 edges, 122902 markings/sec, 150 secs
lola: 20905672 markings, 54767388 edges, 131400 markings/sec, 155 secs
lola: 21526899 markings, 56396135 edges, 124245 markings/sec, 160 secs
lola: 22191605 markings, 58139643 edges, 132941 markings/sec, 165 secs
lola: 22803248 markings, 59742547 edges, 122329 markings/sec, 170 secs
lola: 23403511 markings, 61315401 edges, 120053 markings/sec, 175 secs
lola: 24042008 markings, 62988393 edges, 127699 markings/sec, 180 secs
lola: 24692546 markings, 64693876 edges, 130108 markings/sec, 185 secs
lola: 25208522 markings, 66047003 edges, 103195 markings/sec, 190 secs
lola: 25777138 markings, 67536639 edges, 113723 markings/sec, 195 secs
lola: 26392654 markings, 69149053 edges, 123103 markings/sec, 200 secs
lola: 27034780 markings, 70835878 edges, 128425 markings/sec, 205 secs
lola: 27668384 markings, 72495521 edges, 126721 markings/sec, 210 secs
lola: 28323062 markings, 74210526 edges, 130936 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(p471)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 23 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: 806225 markings, 1375522 edges, 161245 markings/sec, 0 secs
lola: 1670143 markings, 2656371 edges, 172784 markings/sec, 5 secs
lola: 2528511 markings, 3925459 edges, 171674 markings/sec, 10 secs
lola: 3446015 markings, 5278361 edges, 183501 markings/sec, 15 secs
lola: 4299687 markings, 6536278 edges, 170734 markings/sec, 20 secs
lola: 5197654 markings, 7860153 edges, 179593 markings/sec, 25 secs
lola: 6096168 markings, 9192966 edges, 179703 markings/sec, 30 secs
lola: 6958777 markings, 10479867 edges, 172522 markings/sec, 35 secs
lola: 7834598 markings, 11788671 edges, 175164 markings/sec, 40 secs
lola: 8714876 markings, 13101340 edges, 176056 markings/sec, 45 secs
lola: 9590786 markings, 14408286 edges, 175182 markings/sec, 50 secs
lola: 10459287 markings, 15700679 edges, 173700 markings/sec, 55 secs
lola: 11321968 markings, 16992287 edges, 172536 markings/sec, 60 secs
lola: 12188432 markings, 18283664 edges, 173293 markings/sec, 65 secs
lola: 13051986 markings, 19567826 edges, 172711 markings/sec, 70 secs
lola: 13891098 markings, 20806213 edges, 167822 markings/sec, 75 secs
lola: 14780020 markings, 22115822 edges, 177784 markings/sec, 80 secs
lola: 15632503 markings, 23377426 edges, 170497 markings/sec, 85 secs
lola: 16425561 markings, 24555972 edges, 158612 markings/sec, 90 secs
lola: 17337463 markings, 25901380 edges, 182380 markings/sec, 95 secs
lola: 18185546 markings, 27152924 edges, 169617 markings/sec, 100 secs
lola: 19007186 markings, 28365381 edges, 164328 markings/sec, 105 secs
lola: 19806879 markings, 29553934 edges, 159939 markings/sec, 110 secs
lola: 20615046 markings, 30762139 edges, 161633 markings/sec, 115 secs
lola: 21493471 markings, 32075105 edges, 175685 markings/sec, 120 secs
lola: 22306448 markings, 33291548 edges, 162595 markings/sec, 125 secs
lola: 23045468 markings, 34392530 edges, 147804 markings/sec, 130 secs
lola: 23850756 markings, 35586822 edges, 161058 markings/sec, 135 secs
lola: 24625651 markings, 36743192 edges, 154979 markings/sec, 140 secs
lola: 25384286 markings, 37882288 edges, 151727 markings/sec, 145 secs
lola: 26122976 markings, 38987036 edges, 147738 markings/sec, 150 secs
lola: 26882331 markings, 40117137 edges, 151871 markings/sec, 155 secs
lola: 27662271 markings, 41267788 edges, 155988 markings/sec, 160 secs
lola: 28483258 markings, 42477967 edges, 164197 markings/sec, 165 secs
lola: 29246884 markings, 43610213 edges, 152725 markings/sec, 170 secs
lola: 30030352 markings, 44778884 edges, 156694 markings/sec, 175 secs
lola: 30837853 markings, 45959567 edges, 161500 markings/sec, 180 secs
lola: 31613116 markings, 47109299 edges, 155053 markings/sec, 185 secs
lola: 32404190 markings, 48296207 edges, 158215 markings/sec, 190 secs
lola: 33207079 markings, 49477421 edges, 160578 markings/sec, 195 secs
lola: 34030951 markings, 50686558 edges, 164774 markings/sec, 200 secs
lola: 34892918 markings, 51960173 edges, 172393 markings/sec, 205 secs
lola: 35770383 markings, 53260791 edges, 175493 markings/sec, 210 secs
lola: 36611845 markings, 54506805 edges, 168292 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 Parking-PT-864-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Parking-PT-864-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496381187609

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/S_Parking-PT-864.tgz
mv S_Parking-PT-864 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_Parking-PT-864, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r118-blw7-149441650100335"
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 ;