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_AutoFlight-PT-96b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-149441074300281
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496339272325


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


checking for too many tokens
===========================================================================================
S_AutoFlight-PT-96b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_AutoFlight-PT-96b @ 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: 15762/65536 symbol table entries, 5176 collisions
lola: preprocessing...
lola: finding significant places
lola: 7894 places, 7868 transitions, 7380 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 8694 transition conflict sets
lola: TASK
lola: reading formula from AutoFlight-PT-96b-UpperBounds.task
lola: MAX(p7420) : MAX(p7367) : MAX(p5558) : MAX(p24) : MAX(p5364) : MAX(p5222) : MAX(p7774) : MAX(p7130) : MAX(p4609) : MAX(p5687) : MAX(p1453) : MAX(p6086) : MAX(p4556) : MAX(p128) : MAX(p5413) : MAX(p2924)
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(p7420)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 924 bytes per marking, with 12 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: 57520 markings, 74718 edges, 11504 markings/sec, 0 secs
lola: 116540 markings, 151839 edges, 11804 markings/sec, 5 secs
lola: 171603 markings, 240362 edges, 11013 markings/sec, 10 secs
lola: 221545 markings, 355554 edges, 9988 markings/sec, 15 secs
lola: 271658 markings, 471161 edges, 10023 markings/sec, 20 secs
lola: 321181 markings, 585380 edges, 9905 markings/sec, 25 secs
lola: 370945 markings, 700173 edges, 9953 markings/sec, 30 secs
lola: 421083 markings, 815826 edges, 10028 markings/sec, 35 secs
lola: 469687 markings, 935385 edges, 9721 markings/sec, 40 secs
lola: 512946 markings, 1078442 edges, 8652 markings/sec, 45 secs
lola: 555660 markings, 1219672 edges, 8543 markings/sec, 50 secs
lola: 598239 markings, 1360495 edges, 8516 markings/sec, 55 secs
lola: 646866 markings, 1490221 edges, 9725 markings/sec, 60 secs
lola: 698060 markings, 1608324 edges, 10239 markings/sec, 65 secs
lola: 749149 markings, 1726160 edges, 10218 markings/sec, 70 secs
lola: 800055 markings, 1843568 edges, 10181 markings/sec, 75 secs
lola: 851096 markings, 1961320 edges, 10208 markings/sec, 80 secs
lola: 901205 markings, 2076910 edges, 10022 markings/sec, 85 secs
lola: 951601 markings, 2193159 edges, 10079 markings/sec, 90 secs
lola: 1001953 markings, 2309294 edges, 10070 markings/sec, 95 secs
lola: 1050941 markings, 2422301 edges, 9798 markings/sec, 100 secs
lola: 1098270 markings, 2531476 edges, 9466 markings/sec, 105 secs
lola: 1145570 markings, 2640582 edges, 9460 markings/sec, 110 secs
lola: 1194556 markings, 2753579 edges, 9797 markings/sec, 115 secs
lola: 1242653 markings, 2864511 edges, 9619 markings/sec, 120 secs
lola: 1290036 markings, 2973819 edges, 9477 markings/sec, 125 secs
lola: 1337334 markings, 3082910 edges, 9460 markings/sec, 130 secs
lola: 1384339 markings, 3191858 edges, 9401 markings/sec, 135 secs
lola: 1424189 markings, 3323603 edges, 7970 markings/sec, 140 secs
lola: 1463890 markings, 3454895 edges, 7940 markings/sec, 145 secs
lola: 1504146 markings, 3588018 edges, 8051 markings/sec, 150 secs
lola: 1546649 markings, 3719334 edges, 8501 markings/sec, 155 secs
lola: 1596459 markings, 3834220 edges, 9962 markings/sec, 160 secs
lola: 1647214 markings, 3951311 edges, 10151 markings/sec, 165 secs
lola: 1696971 markings, 4066086 edges, 9951 markings/sec, 170 secs
lola: 1745740 markings, 4178565 edges, 9754 markings/sec, 175 secs
lola: 1793145 markings, 4287910 edges, 9481 markings/sec, 180 secs
lola: 1840254 markings, 4396594 edges, 9422 markings/sec, 185 secs
lola: 1880355 markings, 4524796 edges, 8020 markings/sec, 190 secs
lola: 1921136 markings, 4659657 edges, 8156 markings/sec, 195 secs
lola: 1964408 markings, 4802734 edges, 8654 markings/sec, 200 secs
lola: 2006683 markings, 4934067 edges, 8455 markings/sec, 205 secs
lola: 2058840 markings, 5054366 edges, 10431 markings/sec, 210 secs
lola: 2110950 markings, 5174573 edges, 10422 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(p7367)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 924 bytes per marking, with 12 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: 68738 markings, 89089 edges, 13748 markings/sec, 0 secs
lola: 136993 markings, 178274 edges, 13651 markings/sec, 5 secs
lola: 197966 markings, 292002 edges, 12195 markings/sec, 10 secs
lola: 255515 markings, 414008 edges, 11510 markings/sec, 15 secs
lola: 312769 markings, 535388 edges, 11451 markings/sec, 20 secs
lola: 367417 markings, 651254 edges, 10930 markings/sec, 25 secs
lola: 420432 markings, 763648 edges, 10603 markings/sec, 30 secs
lola: 472062 markings, 880219 edges, 10326 markings/sec, 35 secs
lola: 517919 markings, 1014747 edges, 9171 markings/sec, 40 secs
lola: 565178 markings, 1153370 edges, 9452 markings/sec, 45 secs
lola: 614598 markings, 1298353 edges, 9884 markings/sec, 50 secs
lola: 672438 markings, 1422813 edges, 11568 markings/sec, 55 secs
lola: 728418 markings, 1541492 edges, 11196 markings/sec, 60 secs
lola: 786473 markings, 1664565 edges, 11611 markings/sec, 65 secs
lola: 840635 markings, 1779388 edges, 10832 markings/sec, 70 secs
lola: 894481 markings, 1893532 edges, 10769 markings/sec, 75 secs
lola: 946023 markings, 2002827 edges, 10308 markings/sec, 80 secs
lola: 998952 markings, 2115011 edges, 10586 markings/sec, 85 secs
lola: 1052342 markings, 2228207 edges, 10678 markings/sec, 90 secs
lola: 1105123 markings, 2340112 edges, 10556 markings/sec, 95 secs
lola: 1157286 markings, 2450691 edges, 10433 markings/sec, 100 secs
lola: 1210065 markings, 2562585 edges, 10556 markings/sec, 105 secs
lola: 1262927 markings, 2674660 edges, 10572 markings/sec, 110 secs
lola: 1315586 markings, 2786295 edges, 10532 markings/sec, 115 secs
lola: 1368523 markings, 2898525 edges, 10587 markings/sec, 120 secs
lola: 1415956 markings, 3024330 edges, 9487 markings/sec, 125 secs
lola: 1459721 markings, 3152747 edges, 8753 markings/sec, 130 secs
lola: 1503357 markings, 3280698 edges, 8727 markings/sec, 135 secs
lola: 1550922 markings, 3410134 edges, 9513 markings/sec, 140 secs
lola: 1605072 markings, 3524932 edges, 10830 markings/sec, 145 secs
lola: 1659354 markings, 3639992 edges, 10856 markings/sec, 150 secs
lola: 1716947 markings, 3762102 edges, 11519 markings/sec, 155 secs
lola: 1775555 markings, 3886350 edges, 11722 markings/sec, 160 secs
lola: 1834420 markings, 4011148 edges, 11773 markings/sec, 165 secs
lola: 1886280 markings, 4154111 edges, 10372 markings/sec, 170 secs
lola: 1936214 markings, 4300551 edges, 9987 markings/sec, 175 secs
lola: 1986007 markings, 4446601 edges, 9959 markings/sec, 180 secs
lola: 2042504 markings, 4577178 edges, 11299 markings/sec, 185 secs
lola: 2101305 markings, 4701847 edges, 11760 markings/sec, 190 secs
lola: 2159924 markings, 4826117 edges, 11724 markings/sec, 195 secs
lola: 2219206 markings, 4951797 edges, 11856 markings/sec, 200 secs
lola: 2277878 markings, 5076182 edges, 11734 markings/sec, 205 secs
lola: 2330872 markings, 5208361 edges, 10599 markings/sec, 210 secs
lola: 2380314 markings, 5353379 edges, 9888 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(p5558)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 924 bytes per marking, with 12 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: 60754 markings, 78970 edges, 12151 markings/sec, 0 secs
lola: 121633 markings, 158515 edges, 12176 markings/sec, 5 secs
lola: 176877 markings, 252648 edges, 11049 markings/sec, 10 secs
lola: 226063 markings, 366094 edges, 9837 markings/sec, 15 secs
lola: 276320 markings, 482023 edges, 10051 markings/sec, 20 secs
lola: 327548 markings, 600198 edges, 10246 markings/sec, 25 secs
lola: 378146 markings, 716909 edges, 10120 markings/sec, 30 secs
lola: 429229 markings, 834732 edges, 10217 markings/sec, 35 secs
lola: 477550 markings, 961625 edges, 9664 markings/sec, 40 secs
lola: 520989 markings, 1105241 edges, 8688 markings/sec, 45 secs
lola: 563918 markings, 1247205 edges, 8586 markings/sec, 50 secs
lola: 606573 markings, 1388217 edges, 8531 markings/sec, 55 secs
lola: 655638 markings, 1510589 edges, 9813 markings/sec, 60 secs
lola: 706352 markings, 1627557 edges, 10143 markings/sec, 65 secs
lola: 756950 markings, 1744284 edges, 10120 markings/sec, 70 secs
lola: 807708 markings, 1861359 edges, 10152 markings/sec, 75 secs
lola: 858085 markings, 1977566 edges, 10075 markings/sec, 80 secs
lola: 908636 markings, 2094161 edges, 10110 markings/sec, 85 secs
lola: 954175 markings, 2230459 edges, 9108 markings/sec, 90 secs
lola: 997129 markings, 2372478 edges, 8591 markings/sec, 95 secs
lola: 1039785 markings, 2513548 edges, 8531 markings/sec, 100 secs
lola: 1083631 markings, 2651418 edges, 8769 markings/sec, 105 secs
lola: 1135063 markings, 2770057 edges, 10286 markings/sec, 110 secs
lola: 1186089 markings, 2887753 edges, 10205 markings/sec, 115 secs
lola: 1237225 markings, 3005711 edges, 10227 markings/sec, 120 secs
lola: 1288320 markings, 3123576 edges, 10219 markings/sec, 125 secs
lola: 1339351 markings, 3241285 edges, 10206 markings/sec, 130 secs
lola: 1383756 markings, 3343722 edges, 8881 markings/sec, 135 secs
lola: 1423669 markings, 3475722 edges, 7983 markings/sec, 140 secs
lola: 1464467 markings, 3610631 edges, 8160 markings/sec, 145 secs
lola: 1504230 markings, 3742088 edges, 7953 markings/sec, 150 secs
lola: 1545512 markings, 3870421 edges, 8256 markings/sec, 155 secs
lola: 1592933 markings, 3979818 edges, 9484 markings/sec, 160 secs
lola: 1640339 markings, 4089163 edges, 9481 markings/sec, 165 secs
lola: 1687603 markings, 4198178 edges, 9453 markings/sec, 170 secs
lola: 1735074 markings, 4307676 edges, 9494 markings/sec, 175 secs
lola: 1783143 markings, 4418557 edges, 9614 markings/sec, 180 secs
lola: 1830554 markings, 4527920 edges, 9482 markings/sec, 185 secs
lola: 1872633 markings, 4653114 edges, 8416 markings/sec, 190 secs
lola: 1912438 markings, 4784719 edges, 7961 markings/sec, 195 secs
lola: 1952307 markings, 4916529 edges, 7974 markings/sec, 200 secs
lola: 1992030 markings, 5047928 edges, 7945 markings/sec, 205 secs
lola: 2038398 markings, 5160951 edges, 9274 markings/sec, 210 secs
lola: 2085849 markings, 5270400 edges, 9490 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(p24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 924 bytes per marking, with 12 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 4 will run for 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p5364)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 924 bytes per marking, with 12 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: 151071 markings, 152198 edges, 30214 markings/sec, 0 secs
lola: 294885 markings, 297153 edges, 28763 markings/sec, 5 secs
lola: 435320 markings, 441373 edges, 28087 markings/sec, 10 secs
lola: 565243 markings, 582236 edges, 25985 markings/sec, 15 secs
lola: 696154 markings, 723152 edges, 26182 markings/sec, 20 secs
lola: 822784 markings, 862891 edges, 25326 markings/sec, 25 secs
lola: 954629 markings, 1011249 edges, 26369 markings/sec, 30 secs
lola: 1082239 markings, 1160198 edges, 25522 markings/sec, 35 secs
lola: 1208520 markings, 1308022 edges, 25256 markings/sec, 40 secs
lola: 1320642 markings, 1452435 edges, 22424 markings/sec, 45 secs
lola: 1429830 markings, 1599785 edges, 21838 markings/sec, 50 secs
lola: 1545508 markings, 1744541 edges, 23136 markings/sec, 55 secs
lola: 1656594 markings, 1888768 edges, 22217 markings/sec, 60 secs
lola: 1767683 markings, 2032547 edges, 22218 markings/sec, 65 secs
lola: 1877699 markings, 2175396 edges, 22003 markings/sec, 70 secs
lola: 1989619 markings, 2318560 edges, 22384 markings/sec, 75 secs
lola: 2088399 markings, 2459446 edges, 19756 markings/sec, 80 secs
lola: 2197502 markings, 2599972 edges, 21821 markings/sec, 85 secs
lola: 2306823 markings, 2742142 edges, 21864 markings/sec, 90 secs
lola: 2412569 markings, 2884111 edges, 21149 markings/sec, 95 secs
lola: 2510956 markings, 3025227 edges, 19677 markings/sec, 100 secs
lola: 2619025 markings, 3166515 edges, 21614 markings/sec, 105 secs
lola: 2721579 markings, 3307730 edges, 20511 markings/sec, 110 secs
lola: 2826584 markings, 3451227 edges, 21001 markings/sec, 115 secs
lola: 2934871 markings, 3596166 edges, 21657 markings/sec, 120 secs
lola: 3037366 markings, 3739048 edges, 20499 markings/sec, 125 secs
lola: 3147008 markings, 3880924 edges, 21928 markings/sec, 130 secs
lola: 3248217 markings, 4018682 edges, 20242 markings/sec, 135 secs
lola: 3336703 markings, 4154326 edges, 17697 markings/sec, 140 secs
lola: 3442666 markings, 4292056 edges, 21193 markings/sec, 145 secs
lola: 3540550 markings, 4430332 edges, 19577 markings/sec, 150 secs
lola: 3650893 markings, 4568252 edges, 22069 markings/sec, 155 secs
lola: 3752294 markings, 4706268 edges, 20280 markings/sec, 160 secs
lola: 3847568 markings, 4848628 edges, 19055 markings/sec, 165 secs
lola: 3952709 markings, 4990404 edges, 21028 markings/sec, 170 secs
lola: 4049835 markings, 5123651 edges, 19425 markings/sec, 175 secs
lola: 4162365 markings, 5269559 edges, 22506 markings/sec, 180 secs
lola: 4255519 markings, 5396327 edges, 18631 markings/sec, 185 secs
lola: 4347548 markings, 5527371 edges, 18406 markings/sec, 190 secs
lola: 4444681 markings, 5658625 edges, 19427 markings/sec, 195 secs
lola: 4542722 markings, 5791106 edges, 19608 markings/sec, 200 secs
lola: 4638389 markings, 5920972 edges, 19133 markings/sec, 205 secs
lola: 4740275 markings, 6055222 edges, 20377 markings/sec, 210 secs
lola: 4843285 markings, 6199369 edges, 20602 markings/sec, 215 secs
lola: 4936834 markings, 6336585 edges, 18710 markings/sec, 220 secs
lola: 5039700 markings, 6469214 edges, 20573 markings/sec, 225 secs
lola: 5133348 markings, 6599096 edges, 18730 markings/sec, 230 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 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p5222)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 924 bytes per marking, with 12 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: 58382 markings, 75632 edges, 11676 markings/sec, 0 secs
lola: 115729 markings, 150573 edges, 11469 markings/sec, 5 secs
lola: 169145 markings, 233806 edges, 10683 markings/sec, 10 secs
lola: 215409 markings, 340530 edges, 9253 markings/sec, 15 secs
lola: 261659 markings, 447204 edges, 9250 markings/sec, 20 secs
lola: 307812 markings, 553671 edges, 9231 markings/sec, 25 secs
lola: 353200 markings, 658355 edges, 9078 markings/sec, 30 secs
lola: 398510 markings, 762880 edges, 9062 markings/sec, 35 secs
lola: 445744 markings, 871825 edges, 9447 markings/sec, 40 secs
lola: 491334 markings, 1005422 edges, 9118 markings/sec, 45 secs
lola: 533290 markings, 1144176 edges, 8391 markings/sec, 50 secs
lola: 572794 markings, 1274760 edges, 7901 markings/sec, 55 secs
lola: 611827 markings, 1403840 edges, 7807 markings/sec, 60 secs
lola: 658491 markings, 1516163 edges, 9333 markings/sec, 65 secs
lola: 710353 markings, 1635777 edges, 10372 markings/sec, 70 secs
lola: 762934 markings, 1757090 edges, 10516 markings/sec, 75 secs
lola: 814208 markings, 1875352 edges, 10255 markings/sec, 80 secs
lola: 864545 markings, 1991454 edges, 10067 markings/sec, 85 secs
lola: 912452 markings, 2101968 edges, 9581 markings/sec, 90 secs
lola: 958596 markings, 2208392 edges, 9229 markings/sec, 95 secs
lola: 1004311 markings, 2313856 edges, 9143 markings/sec, 100 secs
lola: 1050158 markings, 2419604 edges, 9169 markings/sec, 105 secs
lola: 1095725 markings, 2524714 edges, 9113 markings/sec, 110 secs
lola: 1142002 markings, 2631469 edges, 9255 markings/sec, 115 secs
lola: 1190011 markings, 2742218 edges, 9602 markings/sec, 120 secs
lola: 1238166 markings, 2853283 edges, 9631 markings/sec, 125 secs
lola: 1287682 markings, 2967494 edges, 9903 markings/sec, 130 secs
lola: 1336026 markings, 3079020 edges, 9669 markings/sec, 135 secs
lola: 1384525 markings, 3190884 edges, 9700 markings/sec, 140 secs
lola: 1425770 markings, 3327303 edges, 8249 markings/sec, 145 secs
lola: 1466700 markings, 3462641 edges, 8186 markings/sec, 150 secs
lola: 1505108 markings, 3589631 edges, 7682 markings/sec, 155 secs
lola: 1543466 markings, 3711104 edges, 7672 markings/sec, 160 secs
lola: 1586882 markings, 3811258 edges, 8683 markings/sec, 165 secs
lola: 1629951 markings, 3910600 edges, 8614 markings/sec, 170 secs
lola: 1673383 markings, 4010791 edges, 8686 markings/sec, 175 secs
lola: 1718593 markings, 4115062 edges, 9042 markings/sec, 180 secs
lola: 1765814 markings, 4224002 edges, 9444 markings/sec, 185 secs
lola: 1810946 markings, 4328095 edges, 9026 markings/sec, 190 secs
lola: 1854537 markings, 4437864 edges, 8718 markings/sec, 195 secs
lola: 1894503 markings, 4569997 edges, 7993 markings/sec, 200 secs
lola: 1932902 markings, 4696970 edges, 7680 markings/sec, 205 secs
lola: 1972119 markings, 4826658 edges, 7843 markings/sec, 210 secs
lola: 2012810 markings, 4947291 edges, 8138 markings/sec, 215 secs
lola: 2058190 markings, 5051978 edges, 9076 markings/sec, 220 secs
lola: 2103556 markings, 5156618 edges, 9073 markings/sec, 225 secs
lola: 2148959 markings, 5261365 edges, 9081 markings/sec, 230 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 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p7774)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 924 bytes per marking, with 12 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: 61708 markings, 80090 edges, 12342 markings/sec, 0 secs
lola: 124312 markings, 161898 edges, 12521 markings/sec, 5 secs
lola: 195874 markings, 274116 edges, 14312 markings/sec, 10 secs
lola: 277003 markings, 417625 edges, 16226 markings/sec, 15 secs
lola: 356266 markings, 557835 edges, 15853 markings/sec, 20 secs
lola: 435600 markings, 698167 edges, 15867 markings/sec, 25 secs
lola: 516997 markings, 842152 edges, 16279 markings/sec, 30 secs
lola: 599492 markings, 988074 edges, 16499 markings/sec, 35 secs
lola: 711216 markings, 1149162 edges, 22345 markings/sec, 40 secs
lola: 827499 markings, 1310157 edges, 23257 markings/sec, 45 secs
lola: 943276 markings, 1470441 edges, 23155 markings/sec, 50 secs
lola: 1059341 markings, 1631123 edges, 23213 markings/sec, 55 secs
lola: 1184679 markings, 1804649 edges, 25068 markings/sec, 60 secs
lola: 1311915 markings, 1980802 edges, 25447 markings/sec, 65 secs
lola: 1435682 markings, 2152147 edges, 24753 markings/sec, 70 secs
lola: 1547789 markings, 2316602 edges, 22421 markings/sec, 75 secs
lola: 1598903 markings, 2434505 edges, 10223 markings/sec, 80 secs
lola: 1649713 markings, 2551710 edges, 10162 markings/sec, 85 secs
lola: 1701084 markings, 2670208 edges, 10274 markings/sec, 90 secs
lola: 1751097 markings, 2785566 edges, 10003 markings/sec, 95 secs
lola: 1801377 markings, 2901539 edges, 10056 markings/sec, 100 secs
lola: 1850356 markings, 3019866 edges, 9796 markings/sec, 105 secs
lola: 1892637 markings, 3159678 edges, 8456 markings/sec, 110 secs
lola: 1934805 markings, 3299139 edges, 8434 markings/sec, 115 secs
lola: 1976276 markings, 3436247 edges, 8294 markings/sec, 120 secs
lola: 2020913 markings, 3561531 edges, 8927 markings/sec, 125 secs
lola: 2067855 markings, 3669820 edges, 9388 markings/sec, 130 secs
lola: 2114884 markings, 3778287 edges, 9406 markings/sec, 135 secs
lola: 2162753 markings, 3888687 edges, 9574 markings/sec, 140 secs
lola: 2210770 markings, 3999462 edges, 9603 markings/sec, 145 secs
lola: 2258146 markings, 4108735 edges, 9475 markings/sec, 150 secs
lola: 2304990 markings, 4216782 edges, 9369 markings/sec, 155 secs
lola: 2345140 markings, 4348777 edges, 8030 markings/sec, 160 secs
lola: 2386768 markings, 4486418 edges, 8326 markings/sec, 165 secs
lola: 2428979 markings, 4626022 edges, 8442 markings/sec, 170 secs
lola: 2473008 markings, 4757958 edges, 8806 markings/sec, 175 secs
lola: 2521183 markings, 4869078 edges, 9635 markings/sec, 180 secs
lola: 2568326 markings, 4977833 edges, 9429 markings/sec, 185 secs
lola: 2615233 markings, 5086000 edges, 9381 markings/sec, 190 secs
lola: 2662288 markings, 5194544 edges, 9411 markings/sec, 195 secs
lola: 2709795 markings, 5304128 edges, 9501 markings/sec, 200 secs
lola: 2757124 markings, 5413295 edges, 9466 markings/sec, 205 secs
lola: 2804046 markings, 5521561 edges, 9384 markings/sec, 210 secs
lola: 2850940 markings, 5629707 edges, 9379 markings/sec, 215 secs
lola: 2897915 markings, 5738075 edges, 9395 markings/sec, 220 secs
lola: 2946464 markings, 5850069 edges, 9710 markings/sec, 225 secs
lola: 2994389 markings, 5960628 edges, 9585 markings/sec, 230 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 240 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p7130)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 924 bytes per marking, with 12 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: 60743 markings, 78930 edges, 12149 markings/sec, 0 secs
lola: 121006 markings, 157674 edges, 12053 markings/sec, 5 secs
lola: 178468 markings, 256189 edges, 11492 markings/sec, 10 secs
lola: 231295 markings, 378046 edges, 10565 markings/sec, 15 secs
lola: 285473 markings, 503020 edges, 10836 markings/sec, 20 secs
lola: 339350 markings, 627303 edges, 10775 markings/sec, 25 secs
lola: 393375 markings, 751918 edges, 10805 markings/sec, 30 secs
lola: 446997 markings, 875604 edges, 10724 markings/sec, 35 secs
lola: 494985 markings, 1019045 edges, 9598 markings/sec, 40 secs
lola: 540625 markings, 1169960 edges, 9128 markings/sec, 45 secs
lola: 586457 markings, 1321507 edges, 9166 markings/sec, 50 secs
lola: 635562 markings, 1464157 edges, 9821 markings/sec, 55 secs
lola: 690705 markings, 1591363 edges, 11029 markings/sec, 60 secs
lola: 746044 markings, 1718993 edges, 11068 markings/sec, 65 secs
lola: 801207 markings, 1846231 edges, 11033 markings/sec, 70 secs
lola: 856264 markings, 1973231 edges, 11011 markings/sec, 75 secs
lola: 911132 markings, 2099815 edges, 10974 markings/sec, 80 secs
lola: 965540 markings, 2225316 edges, 10882 markings/sec, 85 secs
lola: 1019560 markings, 2349910 edges, 10804 markings/sec, 90 secs
lola: 1073491 markings, 2474298 edges, 10786 markings/sec, 95 secs
lola: 1126432 markings, 2596441 edges, 10588 markings/sec, 100 secs
lola: 1179705 markings, 2719326 edges, 10655 markings/sec, 105 secs
lola: 1232948 markings, 2842131 edges, 10649 markings/sec, 110 secs
lola: 1285980 markings, 2964468 edges, 10606 markings/sec, 115 secs
lola: 1339624 markings, 3088190 edges, 10729 markings/sec, 120 secs
lola: 1391189 markings, 3214492 edges, 10313 markings/sec, 125 secs
lola: 1435689 markings, 3361657 edges, 8900 markings/sec, 130 secs
lola: 1479891 markings, 3507833 edges, 8840 markings/sec, 135 secs
lola: 1524543 markings, 3655461 edges, 8930 markings/sec, 140 secs
lola: 1575154 markings, 3785079 edges, 10122 markings/sec, 145 secs
lola: 1627787 markings, 3906501 edges, 10527 markings/sec, 150 secs
lola: 1679760 markings, 4026385 edges, 10395 markings/sec, 155 secs
lola: 1728616 markings, 4139082 edges, 9771 markings/sec, 160 secs
lola: 1777416 markings, 4251644 edges, 9760 markings/sec, 165 secs
lola: 1828366 markings, 4369174 edges, 10190 markings/sec, 170 secs
lola: 1874967 markings, 4506954 edges, 9320 markings/sec, 175 secs
lola: 1918642 markings, 4651396 edges, 8735 markings/sec, 180 secs
lola: 1962704 markings, 4797090 edges, 8812 markings/sec, 185 secs
lola: 2008662 markings, 4938620 edges, 9192 markings/sec, 190 secs
lola: 2062064 markings, 5061820 edges, 10680 markings/sec, 195 secs
lola: 2114569 markings, 5182924 edges, 10501 markings/sec, 200 secs
lola: 2167737 markings, 5305550 edges, 10634 markings/sec, 205 secs
lola: 2220953 markings, 5428322 edges, 10643 markings/sec, 210 secs
lola: 2273990 markings, 5550641 edges, 10607 markings/sec, 215 secs
lola: 2323404 markings, 5682638 edges, 9883 markings/sec, 220 secs
lola: 2368566 markings, 5831942 edges, 9032 markings/sec, 225 secs
lola: 2413538 markings, 5980650 edges, 8994 markings/sec, 230 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 240 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4609)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 924 bytes per marking, with 12 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: 61486 markings, 79903 edges, 12297 markings/sec, 0 secs
lola: 123853 markings, 161394 edges, 12473 markings/sec, 5 secs
lola: 180214 markings, 260220 edges, 11272 markings/sec, 10 secs
lola: 230426 markings, 376040 edges, 10042 markings/sec, 15 secs
lola: 281468 markings, 493776 edges, 10208 markings/sec, 20 secs
lola: 331833 markings, 609951 edges, 10073 markings/sec, 25 secs
lola: 382475 markings, 726781 edges, 10128 markings/sec, 30 secs
lola: 433974 markings, 845559 edges, 10300 markings/sec, 35 secs
lola: 481568 markings, 974654 edges, 9519 markings/sec, 40 secs
lola: 524860 markings, 1117845 edges, 8658 markings/sec, 45 secs
lola: 568111 markings, 1260843 edges, 8650 markings/sec, 50 secs
lola: 610185 markings, 1399968 edges, 8415 markings/sec, 55 secs
lola: 660132 markings, 1520818 edges, 9989 markings/sec, 60 secs
lola: 708557 markings, 1632539 edges, 9685 markings/sec, 65 secs
lola: 756554 markings, 1743233 edges, 9599 markings/sec, 70 secs
lola: 804588 markings, 1854038 edges, 9607 markings/sec, 75 secs
lola: 856969 markings, 1974856 edges, 10476 markings/sec, 80 secs
lola: 908759 markings, 2094314 edges, 10358 markings/sec, 85 secs
lola: 959054 markings, 2210328 edges, 10059 markings/sec, 90 secs
lola: 1008661 markings, 2324776 edges, 9921 markings/sec, 95 secs
lola: 1059273 markings, 2441506 edges, 10122 markings/sec, 100 secs
lola: 1109337 markings, 2556997 edges, 10013 markings/sec, 105 secs
lola: 1155707 markings, 2663971 edges, 9274 markings/sec, 110 secs
lola: 1202979 markings, 2773006 edges, 9454 markings/sec, 115 secs
lola: 1249733 markings, 2880853 edges, 9351 markings/sec, 120 secs
lola: 1294871 markings, 2984972 edges, 9028 markings/sec, 125 secs
lola: 1344917 markings, 3100415 edges, 10009 markings/sec, 130 secs
lola: 1390668 markings, 3212790 edges, 9150 markings/sec, 135 secs
lola: 1430456 markings, 3344379 edges, 7958 markings/sec, 140 secs
lola: 1473741 markings, 3487496 edges, 8657 markings/sec, 145 secs
lola: 1516292 markings, 3628208 edges, 8510 markings/sec, 150 secs
lola: 1560503 markings, 3751297 edges, 8842 markings/sec, 155 secs
lola: 1607486 markings, 3859656 edges, 9397 markings/sec, 160 secs
lola: 1654552 markings, 3968225 edges, 9413 markings/sec, 165 secs
lola: 1701687 markings, 4076945 edges, 9427 markings/sec, 170 secs
lola: 1749874 markings, 4188104 edges, 9637 markings/sec, 175 secs
lola: 1800757 markings, 4305476 edges, 10177 markings/sec, 180 secs
lola: 1850302 markings, 4425430 edges, 9909 markings/sec, 185 secs
lola: 1892903 markings, 4566294 edges, 8520 markings/sec, 190 secs
lola: 1935603 markings, 4707478 edges, 8540 markings/sec, 195 secs
lola: 1978586 markings, 4849629 edges, 8597 markings/sec, 200 secs
lola: 2024866 markings, 4976011 edges, 9256 markings/sec, 205 secs
lola: 2071696 markings, 5084044 edges, 9366 markings/sec, 210 secs
lola: 2118832 markings, 5192729 edges, 9427 markings/sec, 215 secs
lola: 2165707 markings, 5300876 edges, 9375 markings/sec, 220 secs
lola: 2212614 markings, 5409064 edges, 9381 markings/sec, 225 secs
lola: 2261180 markings, 5521104 edges, 9713 markings/sec, 230 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 240 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p5687)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 924 bytes per marking, with 12 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 10 will run for 280 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1453)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 924 bytes per marking, with 12 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: 53934 markings, 115738 edges, 10787 markings/sec, 0 secs
lola: 104581 markings, 243964 edges, 10129 markings/sec, 5 secs
lola: 156055 markings, 370644 edges, 10295 markings/sec, 10 secs
lola: 206294 markings, 501637 edges, 10048 markings/sec, 15 secs
lola: 258535 markings, 627499 edges, 10448 markings/sec, 20 secs
lola: 309280 markings, 758440 edges, 10149 markings/sec, 25 secs
lola: 360468 markings, 888053 edges, 10238 markings/sec, 30 secs
lola: 412467 markings, 1015677 edges, 10400 markings/sec, 35 secs
lola: 463188 markings, 1147717 edges, 10144 markings/sec, 40 secs
lola: 515596 markings, 1275311 edges, 10482 markings/sec, 45 secs
lola: 566843 markings, 1405965 edges, 10249 markings/sec, 50 secs
lola: 619439 markings, 1531299 edges, 10519 markings/sec, 55 secs
lola: 673980 markings, 1651642 edges, 10908 markings/sec, 60 secs
lola: 726824 markings, 1776549 edges, 10569 markings/sec, 65 secs
lola: 779858 markings, 1902988 edges, 10607 markings/sec, 70 secs
lola: 831729 markings, 2026890 edges, 10374 markings/sec, 75 secs
lola: 885442 markings, 2144166 edges, 10743 markings/sec, 80 secs
lola: 939318 markings, 2261779 edges, 10775 markings/sec, 85 secs
lola: 994721 markings, 2374350 edges, 11081 markings/sec, 90 secs
lola: 1047430 markings, 2496112 edges, 10542 markings/sec, 95 secs
lola: 1101159 markings, 2615114 edges, 10746 markings/sec, 100 secs
lola: 1156471 markings, 2729437 edges, 11062 markings/sec, 105 secs
lola: 1208169 markings, 2846095 edges, 10340 markings/sec, 110 secs
lola: 1258743 markings, 2959109 edges, 10115 markings/sec, 115 secs
lola: 1311441 markings, 3064168 edges, 10540 markings/sec, 120 secs
lola: 1359677 markings, 3179516 edges, 9647 markings/sec, 125 secs
lola: 1411398 markings, 3285242 edges, 10344 markings/sec, 130 secs
lola: 1463553 markings, 3403945 edges, 10431 markings/sec, 135 secs
lola: 1516954 markings, 3522834 edges, 10680 markings/sec, 140 secs
lola: 1560310 markings, 3663245 edges, 8671 markings/sec, 145 secs
lola: 1600655 markings, 3802329 edges, 8069 markings/sec, 150 secs
lola: 1639339 markings, 3936127 edges, 7737 markings/sec, 155 secs
lola: 1677602 markings, 4071813 edges, 7653 markings/sec, 160 secs
lola: 1715521 markings, 4209131 edges, 7584 markings/sec, 165 secs
lola: 1754316 markings, 4344724 edges, 7759 markings/sec, 170 secs
lola: 1792518 markings, 4477002 edges, 7640 markings/sec, 175 secs
lola: 1832703 markings, 4615568 edges, 8037 markings/sec, 180 secs
lola: 1873297 markings, 4762602 edges, 8119 markings/sec, 185 secs
lola: 1915717 markings, 4911782 edges, 8484 markings/sec, 190 secs
lola: 1956809 markings, 5053244 edges, 8218 markings/sec, 195 secs
lola: 1997124 markings, 5195389 edges, 8063 markings/sec, 200 secs
lola: 2035893 markings, 5336247 edges, 7754 markings/sec, 205 secs
lola: 2075705 markings, 5474311 edges, 7962 markings/sec, 210 secs
lola: 2120482 markings, 5616859 edges, 8955 markings/sec, 215 secs
lola: 2164863 markings, 5768780 edges, 8876 markings/sec, 220 secs
lola: 2209144 markings, 5920396 edges, 8856 markings/sec, 225 secs
lola: 2252101 markings, 6059589 edges, 8591 markings/sec, 230 secs
lola: 2291198 markings, 6192249 edges, 7819 markings/sec, 235 secs
lola: 2331914 markings, 6332513 edges, 8143 markings/sec, 240 secs
lola: 2372950 markings, 6457018 edges, 8207 markings/sec, 245 secs
lola: 2413618 markings, 6586089 edges, 8134 markings/sec, 250 secs
lola: 2453185 markings, 6718539 edges, 7913 markings/sec, 255 secs
lola: 2495140 markings, 6851621 edges, 8391 markings/sec, 260 secs
lola: 2538768 markings, 6981802 edges, 8726 markings/sec, 265 secs
lola: 2578949 markings, 7117929 edges, 8036 markings/sec, 270 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 280 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p6086)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 924 bytes per marking, with 12 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: 58356 markings, 74143 edges, 11671 markings/sec, 0 secs
lola: 110177 markings, 168366 edges, 10364 markings/sec, 5 secs
lola: 157591 markings, 276575 edges, 9483 markings/sec, 10 secs
lola: 207903 markings, 391387 edges, 10062 markings/sec, 15 secs
lola: 256944 markings, 518131 edges, 9808 markings/sec, 20 secs
lola: 301291 markings, 663679 edges, 8869 markings/sec, 25 secs
lola: 350533 markings, 796743 edges, 9848 markings/sec, 30 secs
lola: 404399 markings, 919664 edges, 10773 markings/sec, 35 secs
lola: 456855 markings, 1039387 edges, 10491 markings/sec, 40 secs
lola: 508649 markings, 1157583 edges, 10359 markings/sec, 45 secs
lola: 560281 markings, 1275409 edges, 10326 markings/sec, 50 secs
lola: 611755 markings, 1392866 edges, 10295 markings/sec, 55 secs
lola: 662946 markings, 1509686 edges, 10238 markings/sec, 60 secs
lola: 713348 markings, 1624721 edges, 10080 markings/sec, 65 secs
lola: 757016 markings, 1760009 edges, 8734 markings/sec, 70 secs
lola: 800170 markings, 1901672 edges, 8631 markings/sec, 75 secs
lola: 850784 markings, 2018225 edges, 10123 markings/sec, 80 secs
lola: 901366 markings, 2133657 edges, 10116 markings/sec, 85 secs
lola: 952565 markings, 2250498 edges, 10240 markings/sec, 90 secs
lola: 996709 markings, 2386970 edges, 8829 markings/sec, 95 secs
lola: 1039801 markings, 2528390 edges, 8618 markings/sec, 100 secs
lola: 1086864 markings, 2636801 edges, 9413 markings/sec, 105 secs
lola: 1135059 markings, 2746802 edges, 9639 markings/sec, 110 secs
lola: 1181635 markings, 2853071 edges, 9315 markings/sec, 115 secs
lola: 1224382 markings, 2974438 edges, 8549 markings/sec, 120 secs
lola: 1267738 markings, 3116723 edges, 8671 markings/sec, 125 secs
lola: 1315989 markings, 3239575 edges, 9650 markings/sec, 130 secs
lola: 1367020 markings, 3356019 edges, 10206 markings/sec, 135 secs
lola: 1418023 markings, 3472420 edges, 10201 markings/sec, 140 secs
lola: 1469368 markings, 3589572 edges, 10269 markings/sec, 145 secs
lola: 1520643 markings, 3706586 edges, 10255 markings/sec, 150 secs
lola: 1570720 markings, 3820861 edges, 10015 markings/sec, 155 secs
lola: 1620796 markings, 3935141 edges, 10015 markings/sec, 160 secs
lola: 1671232 markings, 4050258 edges, 10087 markings/sec, 165 secs
lola: 1713876 markings, 4181651 edges, 8529 markings/sec, 170 secs
lola: 1755624 markings, 4318658 edges, 8350 markings/sec, 175 secs
lola: 1804400 markings, 4434010 edges, 9755 markings/sec, 180 secs
lola: 1854493 markings, 4548345 edges, 10019 markings/sec, 185 secs
lola: 1904202 markings, 4661765 edges, 9942 markings/sec, 190 secs
lola: 1955341 markings, 4778486 edges, 10228 markings/sec, 195 secs
lola: 2006112 markings, 4894339 edges, 10154 markings/sec, 200 secs
lola: 2056797 markings, 5009990 edges, 10137 markings/sec, 205 secs
lola: 2107730 markings, 5126220 edges, 10187 markings/sec, 210 secs
lola: 2158248 markings, 5241535 edges, 10104 markings/sec, 215 secs
lola: 2200823 markings, 5380472 edges, 8515 markings/sec, 220 secs
lola: 2244383 markings, 5517940 edges, 8712 markings/sec, 225 secs
lola: 2296110 markings, 5636013 edges, 10345 markings/sec, 230 secs
lola: 2346077 markings, 5750027 edges, 9993 markings/sec, 235 secs
lola: 2396095 markings, 5864185 edges, 10004 markings/sec, 240 secs
lola: 2448078 markings, 5982791 edges, 10397 markings/sec, 245 secs
lola: 2499209 markings, 6099479 edges, 10226 markings/sec, 250 secs
lola: 2551307 markings, 6218373 edges, 10420 markings/sec, 255 secs
lola: 2602321 markings, 6334799 edges, 10203 markings/sec, 260 secs
lola: 2650734 markings, 6457792 edges, 9683 markings/sec, 265 secs
lola: 2692468 markings, 6594748 edges, 8347 markings/sec, 270 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 280 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4556)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 924 bytes per marking, with 12 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 13 will run for 373 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p128)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 924 bytes per marking, with 12 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 560 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p5413)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 924 bytes per marking, with 12 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: 53502 markings, 114899 edges, 10700 markings/sec, 0 secs
lola: 102993 markings, 239099 edges, 9898 markings/sec, 5 secs
lola: 152935 markings, 363942 edges, 9988 markings/sec, 10 secs
lola: 201868 markings, 489922 edges, 9787 markings/sec, 15 secs
lola: 252543 markings, 613367 edges, 10135 markings/sec, 20 secs
lola: 302707 markings, 744191 edges, 10033 markings/sec, 25 secs
lola: 354833 markings, 870321 edges, 10425 markings/sec, 30 secs
lola: 405478 markings, 1000531 edges, 10129 markings/sec, 35 secs
lola: 456951 markings, 1131456 edges, 10295 markings/sec, 40 secs
lola: 507505 markings, 1255235 edges, 10111 markings/sec, 45 secs
lola: 558662 markings, 1388202 edges, 10231 markings/sec, 50 secs
lola: 612942 markings, 1510748 edges, 10856 markings/sec, 55 secs
lola: 666437 markings, 1634160 edges, 10699 markings/sec, 60 secs
lola: 718347 markings, 1758159 edges, 10382 markings/sec, 65 secs
lola: 772317 markings, 1886641 edges, 10794 markings/sec, 70 secs
lola: 824455 markings, 2011111 edges, 10428 markings/sec, 75 secs
lola: 879489 markings, 2131276 edges, 11007 markings/sec, 80 secs
lola: 935139 markings, 2248795 edges, 11130 markings/sec, 85 secs
lola: 990671 markings, 2365052 edges, 11106 markings/sec, 90 secs
lola: 1042912 markings, 2488061 edges, 10448 markings/sec, 95 secs
lola: 1098004 markings, 2607446 edges, 11018 markings/sec, 100 secs
lola: 1154366 markings, 2722931 edges, 11272 markings/sec, 105 secs
lola: 1208308 markings, 2846275 edges, 10788 markings/sec, 110 secs
lola: 1262409 markings, 2967244 edges, 10820 markings/sec, 115 secs
lola: 1318147 markings, 3084488 edges, 11148 markings/sec, 120 secs
lola: 1375050 markings, 3203366 edges, 11381 markings/sec, 125 secs
lola: 1427573 markings, 3327836 edges, 10505 markings/sec, 130 secs
lola: 1481486 markings, 3444625 edges, 10783 markings/sec, 135 secs
lola: 1533106 markings, 3566193 edges, 10324 markings/sec, 140 secs
lola: 1575547 markings, 3711953 edges, 8488 markings/sec, 145 secs
lola: 1616677 markings, 3859852 edges, 8226 markings/sec, 150 secs
lola: 1657615 markings, 4005153 edges, 8188 markings/sec, 155 secs
lola: 1698934 markings, 4147335 edges, 8264 markings/sec, 160 secs
lola: 1740504 markings, 4292629 edges, 8314 markings/sec, 165 secs
lola: 1782126 markings, 4444118 edges, 8324 markings/sec, 170 secs
lola: 1825417 markings, 4592579 edges, 8658 markings/sec, 175 secs
lola: 1867749 markings, 4739701 edges, 8466 markings/sec, 180 secs
lola: 1908456 markings, 4888676 edges, 8141 markings/sec, 185 secs
lola: 1950172 markings, 5032315 edges, 8343 markings/sec, 190 secs
lola: 1992399 markings, 5177391 edges, 8445 markings/sec, 195 secs
lola: 2033647 markings, 5327145 edges, 8250 markings/sec, 200 secs
lola: 2074398 markings, 5470353 edges, 8150 markings/sec, 205 secs
lola: 2118823 markings, 5611781 edges, 8885 markings/sec, 210 secs
lola: 2162401 markings, 5761146 edges, 8716 markings/sec, 215 secs
lola: 2206022 markings, 5910639 edges, 8724 markings/sec, 220 secs
lola: 2245894 markings, 6037585 edges, 7974 markings/sec, 225 secs
lola: 2283333 markings, 6167414 edges, 7488 markings/sec, 230 secs
lola: 2322166 markings, 6299696 edges, 7767 markings/sec, 235 secs
lola: 2362665 markings, 6430600 edges, 8100 markings/sec, 240 secs
lola: 2407894 markings, 6565377 edges, 9046 markings/sec, 245 secs
lola: 2449369 markings, 6703986 edges, 8295 markings/sec, 250 secs
lola: 2490243 markings, 6836692 edges, 8175 markings/sec, 255 secs
lola: 2531451 markings, 6962968 edges, 8242 markings/sec, 260 secs
lola: 2573363 markings, 7094829 edges, 8382 markings/sec, 265 secs
lola: 2615269 markings, 7234679 edges, 8381 markings/sec, 270 secs
lola: 2661344 markings, 7374390 edges, 9215 markings/sec, 275 secs
lola: 2703796 markings, 7512641 edges, 8490 markings/sec, 280 secs
lola: 2744629 markings, 7646458 edges, 8167 markings/sec, 285 secs
lola: 2786979 markings, 7776510 edges, 8470 markings/sec, 290 secs
lola: 2831407 markings, 7918618 edges, 8886 markings/sec, 295 secs
lola: 2874719 markings, 8060564 edges, 8662 markings/sec, 300 secs
lola: 2917351 markings, 8188986 edges, 8526 markings/sec, 305 secs
lola: 2958337 markings, 8321763 edges, 8197 markings/sec, 310 secs
lola: 2998756 markings, 8455403 edges, 8084 markings/sec, 315 secs
lola: 3042165 markings, 8582796 edges, 8682 markings/sec, 320 secs
lola: 3081809 markings, 8719651 edges, 7929 markings/sec, 325 secs
lola: 3121805 markings, 8857618 edges, 7999 markings/sec, 330 secs
lola: 3161025 markings, 8998966 edges, 7844 markings/sec, 335 secs
lola: 3198624 markings, 9134116 edges, 7520 markings/sec, 340 secs
lola: 3237478 markings, 9268448 edges, 7771 markings/sec, 345 secs
lola: 3276110 markings, 9402079 edges, 7726 markings/sec, 350 secs
lola: 3314842 markings, 9536027 edges, 7746 markings/sec, 355 secs
lola: 3353102 markings, 9674629 edges, 7652 markings/sec, 360 secs
lola: 3395133 markings, 9823567 edges, 8406 markings/sec, 365 secs
lola: 3436015 markings, 9964363 edges, 8176 markings/sec, 370 secs
lola: 3477621 markings, 10110287 edges, 8321 markings/sec, 375 secs
lola: 3518229 markings, 10258029 edges, 8122 markings/sec, 380 secs
lola: 3561048 markings, 10404976 edges, 8564 markings/sec, 385 secs
lola: 3604001 markings, 10552333 edges, 8591 markings/sec, 390 secs
lola: 3647002 markings, 10699859 edges, 8600 markings/sec, 395 secs
lola: 3692232 markings, 10843838 edges, 9046 markings/sec, 400 secs
lola: 3735972 markings, 10993765 edges, 8748 markings/sec, 405 secs
lola: 3779540 markings, 11143100 edges, 8714 markings/sec, 410 secs
lola: 3824813 markings, 11287208 edges, 9055 markings/sec, 415 secs
lola: 3868162 markings, 11435854 edges, 8670 markings/sec, 420 secs
lola: 3913186 markings, 11577560 edges, 9005 markings/sec, 425 secs
lola: 3958412 markings, 11716724 edges, 9045 markings/sec, 430 secs
lola: 4001839 markings, 11861388 edges, 8685 markings/sec, 435 secs
lola: 4047879 markings, 11999468 edges, 9208 markings/sec, 440 secs
lola: 4091731 markings, 12146586 edges, 8770 markings/sec, 445 secs
lola: 4137054 markings, 12290022 edges, 9065 markings/sec, 450 secs
lola: 4182786 markings, 12431613 edges, 9146 markings/sec, 455 secs
lola: 4226581 markings, 12576770 edges, 8759 markings/sec, 460 secs
lola: 4273474 markings, 12715704 edges, 9379 markings/sec, 465 secs
lola: 4317200 markings, 12865229 edges, 8745 markings/sec, 470 secs
lola: 4363723 markings, 13008604 edges, 9305 markings/sec, 475 secs
lola: 4408910 markings, 13153818 edges, 9037 markings/sec, 480 secs
lola: 4454114 markings, 13301069 edges, 9041 markings/sec, 485 secs
lola: 4500487 markings, 13441012 edges, 9275 markings/sec, 490 secs
lola: 4543528 markings, 13585616 edges, 8608 markings/sec, 495 secs
lola: 4580138 markings, 13739406 edges, 7322 markings/sec, 500 secs
lola: 4615086 markings, 13898947 edges, 6990 markings/sec, 505 secs
lola: 4650732 markings, 14058711 edges, 7129 markings/sec, 510 secs
lola: 4683919 markings, 14208206 edges, 6637 markings/sec, 515 secs
lola: 4717343 markings, 14358677 edges, 6685 markings/sec, 520 secs
lola: 4750339 markings, 14507365 edges, 6599 markings/sec, 525 secs
lola: 4783483 markings, 14656665 edges, 6629 markings/sec, 530 secs
lola: 4816666 markings, 14806131 edges, 6637 markings/sec, 535 secs
lola: 4849977 markings, 14956139 edges, 6662 markings/sec, 540 secs
lola: 4884120 markings, 15109627 edges, 6829 markings/sec, 545 secs
lola: 4919699 markings, 15269117 edges, 7116 markings/sec, 550 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 559 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2924)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 924 bytes per marking, with 12 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: 62053 markings, 80547 edges, 12411 markings/sec, 0 secs
lola: 124396 markings, 162005 edges, 12469 markings/sec, 5 secs
lola: 199399 markings, 280354 edges, 15001 markings/sec, 10 secs
lola: 287708 markings, 436567 edges, 17662 markings/sec, 15 secs
lola: 376121 markings, 592959 edges, 17683 markings/sec, 20 secs
lola: 464903 markings, 750005 edges, 17756 markings/sec, 25 secs
lola: 553548 markings, 906807 edges, 17729 markings/sec, 30 secs
lola: 652249 markings, 1067533 edges, 19740 markings/sec, 35 secs
lola: 775933 markings, 1238761 edges, 24737 markings/sec, 40 secs
lola: 899236 markings, 1409472 edges, 24661 markings/sec, 45 secs
lola: 1022487 markings, 1580101 edges, 24650 markings/sec, 50 secs
lola: 1145821 markings, 1750848 edges, 24667 markings/sec, 55 secs
lola: 1268859 markings, 1921190 edges, 24608 markings/sec, 60 secs
lola: 1389140 markings, 2087717 edges, 24056 markings/sec, 65 secs
lola: 1507899 markings, 2252133 edges, 23752 markings/sec, 70 secs
lola: 1601465 markings, 2406142 edges, 18713 markings/sec, 75 secs
lola: 1689668 markings, 2562162 edges, 17641 markings/sec, 80 secs
lola: 1776606 markings, 2715957 edges, 17388 markings/sec, 85 secs
lola: 1862825 markings, 2868462 edges, 17244 markings/sec, 90 secs
lola: 1949733 markings, 3022198 edges, 17382 markings/sec, 95 secs
lola: 2019727 markings, 3157376 edges, 13999 markings/sec, 100 secs
lola: 2067945 markings, 3268607 edges, 9644 markings/sec, 105 secs
lola: 2116005 markings, 3379469 edges, 9612 markings/sec, 110 secs
lola: 2163891 markings, 3489903 edges, 9577 markings/sec, 115 secs
lola: 2211764 markings, 3600337 edges, 9575 markings/sec, 120 secs
lola: 2259635 markings, 3710781 edges, 9574 markings/sec, 125 secs
lola: 2306963 markings, 3821149 edges, 9466 markings/sec, 130 secs
lola: 2347566 markings, 3955412 edges, 8121 markings/sec, 135 secs
lola: 2388471 markings, 4090647 edges, 8181 markings/sec, 140 secs
lola: 2430222 markings, 4228722 edges, 8350 markings/sec, 145 secs
lola: 2473970 markings, 4358745 edges, 8750 markings/sec, 150 secs
lola: 2523102 markings, 4472111 edges, 9826 markings/sec, 155 secs
lola: 2572323 markings, 4585624 edges, 9844 markings/sec, 160 secs
lola: 2621648 markings, 4699428 edges, 9865 markings/sec, 165 secs
lola: 2670578 markings, 4812258 edges, 9786 markings/sec, 170 secs
lola: 2720551 markings, 4927545 edges, 9995 markings/sec, 175 secs
lola: 2769318 markings, 5040029 edges, 9753 markings/sec, 180 secs
lola: 2818857 markings, 5154318 edges, 9908 markings/sec, 185 secs
lola: 2867457 markings, 5266419 edges, 9720 markings/sec, 190 secs
lola: 2916198 markings, 5378838 edges, 9748 markings/sec, 195 secs
lola: 2964962 markings, 5491330 edges, 9753 markings/sec, 200 secs
lola: 3013687 markings, 5603704 edges, 9745 markings/sec, 205 secs
lola: 3062554 markings, 5716437 edges, 9773 markings/sec, 210 secs
lola: 3111312 markings, 5828919 edges, 9752 markings/sec, 215 secs
lola: 3160108 markings, 5941470 edges, 9759 markings/sec, 220 secs
lola: 3209782 markings, 6056048 edges, 9935 markings/sec, 225 secs
lola: 3253577 markings, 6183276 edges, 8759 markings/sec, 230 secs
lola: 3294424 markings, 6318385 edges, 8169 markings/sec, 235 secs
lola: 3334020 markings, 6449295 edges, 7919 markings/sec, 240 secs
lola: 3373545 markings, 6579991 edges, 7905 markings/sec, 245 secs
lola: 3419271 markings, 6692864 edges, 9145 markings/sec, 250 secs
lola: 3466355 markings, 6801482 edges, 9417 markings/sec, 255 secs
lola: 3513499 markings, 6910230 edges, 9429 markings/sec, 260 secs
lola: 3560593 markings, 7018850 edges, 9419 markings/sec, 265 secs
lola: 3607555 markings, 7127171 edges, 9392 markings/sec, 270 secs
lola: 3656089 markings, 7239111 edges, 9707 markings/sec, 275 secs
lola: 3706642 markings, 7355721 edges, 10111 markings/sec, 280 secs
lola: 3757870 markings, 7473887 edges, 10246 markings/sec, 285 secs
lola: 3809078 markings, 7592017 edges, 10242 markings/sec, 290 secs
lola: 3860464 markings, 7710543 edges, 10277 markings/sec, 295 secs
lola: 3908014 markings, 7820232 edges, 9510 markings/sec, 300 secs
lola: 3955241 markings, 7929180 edges, 9445 markings/sec, 305 secs
lola: 4003526 markings, 8040532 edges, 9657 markings/sec, 310 secs
lola: 4050724 markings, 8149420 edges, 9440 markings/sec, 315 secs
lola: 4098260 markings, 8259080 edges, 9507 markings/sec, 320 secs
lola: 4145318 markings, 8367642 edges, 9412 markings/sec, 325 secs
lola: 4185592 markings, 8497193 edges, 8055 markings/sec, 330 secs
lola: 4225146 markings, 8627966 edges, 7911 markings/sec, 335 secs
lola: 4268729 markings, 8772089 edges, 8717 markings/sec, 340 secs
lola: 4314418 markings, 8911268 edges, 9138 markings/sec, 345 secs
lola: 4366177 markings, 9030656 edges, 10352 markings/sec, 350 secs
lola: 4417673 markings, 9149465 edges, 10299 markings/sec, 355 secs
lola: 4468954 markings, 9267733 edges, 10256 markings/sec, 360 secs
lola: 4520828 markings, 9387389 edges, 10375 markings/sec, 365 secs
lola: 4571912 markings, 9505224 edges, 10217 markings/sec, 370 secs
lola: 4616716 markings, 9608566 edges, 8961 markings/sec, 375 secs
lola: 4661705 markings, 9712342 edges, 8998 markings/sec, 380 secs
lola: 4708800 markings, 9820980 edges, 9419 markings/sec, 385 secs
lola: 4756043 markings, 9929961 edges, 9449 markings/sec, 390 secs
lola: 4803273 markings, 10038891 edges, 9446 markings/sec, 395 secs
lola: 4850425 markings, 10147676 edges, 9430 markings/sec, 400 secs
lola: 4897586 markings, 10256461 edges, 9432 markings/sec, 405 secs
lola: 4944805 markings, 10365384 edges, 9444 markings/sec, 410 secs
lola: 4995068 markings, 10481313 edges, 10053 markings/sec, 415 secs
lola: 5046589 markings, 10600158 edges, 10304 markings/sec, 420 secs
lola: 5093864 markings, 10732552 edges, 9455 markings/sec, 425 secs
lola: 5137360 markings, 10876376 edges, 8699 markings/sec, 430 secs
lola: 5180812 markings, 11020036 edges, 8690 markings/sec, 435 secs
lola: 5222220 markings, 11156984 edges, 8282 markings/sec, 440 secs
lola: 5269163 markings, 11267140 edges, 9389 markings/sec, 445 secs
lola: 5316310 markings, 11375917 edges, 9429 markings/sec, 450 secs
lola: 5366338 markings, 11491313 edges, 10006 markings/sec, 455 secs
lola: 5416709 markings, 11607498 edges, 10074 markings/sec, 460 secs
lola: 5468071 markings, 11725983 edges, 10272 markings/sec, 465 secs
lola: 5519028 markings, 11843526 edges, 10191 markings/sec, 470 secs
lola: 5569580 markings, 11960128 edges, 10110 markings/sec, 475 secs
lola: 5619537 markings, 12075358 edges, 9991 markings/sec, 480 secs
lola: 5670068 markings, 12191909 edges, 10106 markings/sec, 485 secs
lola: 5721152 markings, 12309753 edges, 10217 markings/sec, 490 secs
lola: 5772024 markings, 12427093 edges, 10174 markings/sec, 495 secs
lola: 5823001 markings, 12544703 edges, 10195 markings/sec, 500 secs
lola: 5881904 markings, 12637132 edges, 11781 markings/sec, 505 secs
lola: 5943636 markings, 12717793 edges, 12346 markings/sec, 510 secs
lola: 6003503 markings, 12807396 edges, 11973 markings/sec, 515 secs
lola: 6054150 markings, 12924196 edges, 10129 markings/sec, 520 secs
lola: 6104698 markings, 13040794 edges, 10110 markings/sec, 525 secs
lola: 6153488 markings, 13153335 edges, 9758 markings/sec, 530 secs
lola: 6200757 markings, 13262384 edges, 9454 markings/sec, 535 secs
lola: 6247989 markings, 13371317 edges, 9446 markings/sec, 540 secs
lola: 6296221 markings, 13482598 edges, 9646 markings/sec, 545 secs
lola: 6339338 markings, 13622023 edges, 8623 markings/sec, 550 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown 1 unknown unknown unknown unknown unknown 1 unknown unknown 1 1 unknown unknown
FORMULA AutoFlight-PT-96b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96b-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96b-UpperBounds-9 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96b-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96b-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496342812105

--------------------
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_AutoFlight-PT-96b"
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_AutoFlight-PT-96b.tgz
mv S_AutoFlight-PT-96b 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_AutoFlight-PT-96b, 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 r088-csrt-149441074300281"
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 ;