About the Execution of LoLA for PermAdmissibility-PT-05
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 9567.260 | 3540153.00 | 3550593.00 | 237.50 | 10 ? ? ? 5 ? 10 ? ? ? ? 5 ? 10 10 ? | normal |
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 PermAdmissibility-PT-05, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-blw7-149440485000416
=====================================================================
--------------------
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 PermAdmissibility-COL-05-UpperBounds-0
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-1
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-10
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-11
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-12
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-13
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-14
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-15
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-2
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-3
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-4
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-5
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-6
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-7
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-8
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494657482326
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PermAdmissibility-PT-05 @ 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: 760/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 168 places, 592 transitions, 136 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 820 transition conflict sets
lola: TASK
lola: reading formula from PermAdmissibility-COL-05-UpperBounds.task
lola: MAX(aux6_0 + aux6_1 + aux6_4 + aux6_5) : MAX(out4_0 + out4_1 + out4_2 + out4_3 + out4_4 + out4_5 + out4_6 + out4_7) : MAX(out5_0 + out5_1 + out5_2 + out5_3 + out5_4 + out5_5 + out5_6 + out5_7) : MAX(c17) : MAX(out5_0 + out5_1 + out5_2 + out5_3 + out5_4 + out5_5 + out5_6 + out5_7) : MAX(c9) : MAX(c13) : MAX(in3_4 + in3_5) : MAX(in2_2 + in2_3) : MAX(c11) : MAX(c15) : MAX(c19) : MAX(c5) : MAX(aux13_0 + aux13_1 + aux13_2 + aux13_3 + aux13_4 + aux13_5 + aux13_6 + aux13_7) : MAX(aux8_2 + aux8_3 + aux8_6 + aux8_7) : MAX(out7_0 + out7_1 + out7_2 + out7_3 + out7_4 + out7_5 + out7_6 + out7_7)
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(aux6_0 + aux6_1 + aux6_4 + aux6_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(out4_0 + out4_1 + out4_2 + out4_3 + out4_4 + out4_5 + out4_6 + out4_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 322415 markings, 767657 edges, 64483 markings/sec, 0 secs
lola: 668496 markings, 1655172 edges, 69216 markings/sec, 5 secs
lola: 1002778 markings, 2472596 edges, 66856 markings/sec, 10 secs
lola: 1390323 markings, 3382150 edges, 77509 markings/sec, 15 secs
lola: 1764406 markings, 4302361 edges, 74817 markings/sec, 20 secs
lola: 2108160 markings, 5119835 edges, 68751 markings/sec, 25 secs
lola: 2475332 markings, 6053396 edges, 73434 markings/sec, 30 secs
lola: 2811068 markings, 6872432 edges, 67147 markings/sec, 35 secs
lola: 3143529 markings, 7786595 edges, 66492 markings/sec, 40 secs
lola: 3474980 markings, 8775123 edges, 66290 markings/sec, 45 secs
lola: 3797908 markings, 9801064 edges, 64586 markings/sec, 50 secs
lola: 4097832 markings, 10781276 edges, 59985 markings/sec, 55 secs
lola: 4440280 markings, 11778337 edges, 68490 markings/sec, 60 secs
lola: 4827130 markings, 12668261 edges, 77370 markings/sec, 65 secs
lola: 5186755 markings, 13532054 edges, 71925 markings/sec, 70 secs
lola: 5537989 markings, 14424211 edges, 70247 markings/sec, 75 secs
lola: 5893731 markings, 15432077 edges, 71148 markings/sec, 80 secs
lola: 6288936 markings, 16387238 edges, 79041 markings/sec, 85 secs
lola: 6660398 markings, 17332490 edges, 74292 markings/sec, 90 secs
lola: 7036378 markings, 18263534 edges, 75196 markings/sec, 95 secs
lola: 7391379 markings, 19291145 edges, 71000 markings/sec, 100 secs
lola: 7713444 markings, 20399024 edges, 64413 markings/sec, 105 secs
lola: 8083909 markings, 21471328 edges, 74093 markings/sec, 110 secs
lola: 8480576 markings, 22445409 edges, 79333 markings/sec, 115 secs
lola: 8855851 markings, 23450601 edges, 75055 markings/sec, 120 secs
lola: 9250656 markings, 24540489 edges, 78961 markings/sec, 125 secs
lola: 9665475 markings, 25510159 edges, 82964 markings/sec, 130 secs
lola: 10011787 markings, 26487233 edges, 69262 markings/sec, 135 secs
lola: 10394007 markings, 27485418 edges, 76444 markings/sec, 140 secs
lola: 10823637 markings, 28563543 edges, 85926 markings/sec, 145 secs
lola: 11199550 markings, 29507101 edges, 75183 markings/sec, 150 secs
lola: 11555317 markings, 30510011 edges, 71153 markings/sec, 155 secs
lola: 11922972 markings, 31440647 edges, 73531 markings/sec, 160 secs
lola: 12278154 markings, 32443975 edges, 71036 markings/sec, 165 secs
lola: 12667903 markings, 33457589 edges, 77950 markings/sec, 170 secs
lola: 13058152 markings, 34432130 edges, 78050 markings/sec, 175 secs
lola: 13436079 markings, 35326776 edges, 75585 markings/sec, 180 secs
lola: 13806397 markings, 36299134 edges, 74064 markings/sec, 185 secs
lola: 14166548 markings, 37200171 edges, 72030 markings/sec, 190 secs
lola: 14526667 markings, 38132981 edges, 72024 markings/sec, 195 secs
lola: 14884657 markings, 39071676 edges, 71598 markings/sec, 200 secs
lola: 15216446 markings, 40035543 edges, 66358 markings/sec, 205 secs
lola: 15525785 markings, 41041341 edges, 61868 markings/sec, 210 secs
lola: 15828405 markings, 42071707 edges, 60524 markings/sec, 215 secs
lola: 16239831 markings, 43062612 edges, 82285 markings/sec, 220 secs
lola: 16600397 markings, 43962103 edges, 72113 markings/sec, 225 secs
lola: 16936658 markings, 44871519 edges, 67252 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(out5_0 + out5_1 + out5_2 + out5_3 + out5_4 + out5_5 + out5_6 + out5_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 508564 markings, 873190 edges, 101713 markings/sec, 0 secs
lola: 1031732 markings, 2178152 edges, 104634 markings/sec, 5 secs
lola: 1522638 markings, 3673155 edges, 98181 markings/sec, 10 secs
lola: 1909260 markings, 5000119 edges, 77324 markings/sec, 15 secs
lola: 2273404 markings, 6342710 edges, 72829 markings/sec, 20 secs
lola: 2592640 markings, 7662095 edges, 63847 markings/sec, 25 secs
lola: 2977965 markings, 8992594 edges, 77065 markings/sec, 30 secs
lola: 3380328 markings, 10208743 edges, 80473 markings/sec, 35 secs
lola: 3772051 markings, 11386490 edges, 78345 markings/sec, 40 secs
lola: 4133221 markings, 12467703 edges, 72234 markings/sec, 45 secs
lola: 4507360 markings, 13587272 edges, 74828 markings/sec, 50 secs
lola: 4878828 markings, 14675411 edges, 74294 markings/sec, 55 secs
lola: 5286384 markings, 15837905 edges, 81511 markings/sec, 60 secs
lola: 5642976 markings, 16952623 edges, 71318 markings/sec, 65 secs
lola: 5983295 markings, 18098904 edges, 68064 markings/sec, 70 secs
lola: 6327692 markings, 19150911 edges, 68879 markings/sec, 75 secs
lola: 6674215 markings, 20223257 edges, 69305 markings/sec, 80 secs
lola: 6998469 markings, 21126739 edges, 64851 markings/sec, 85 secs
lola: 7400519 markings, 22324567 edges, 80410 markings/sec, 90 secs
lola: 7764622 markings, 23368478 edges, 72821 markings/sec, 95 secs
lola: 8206823 markings, 24437166 edges, 88440 markings/sec, 100 secs
lola: 8731655 markings, 25599555 edges, 104966 markings/sec, 105 secs
lola: 9198939 markings, 26991924 edges, 93457 markings/sec, 110 secs
lola: 9564461 markings, 28288553 edges, 73104 markings/sec, 115 secs
lola: 9908215 markings, 29598521 edges, 68751 markings/sec, 120 secs
lola: 10264671 markings, 30985231 edges, 71291 markings/sec, 125 secs
lola: 10651314 markings, 32119008 edges, 77329 markings/sec, 130 secs
lola: 10993615 markings, 33280083 edges, 68460 markings/sec, 135 secs
lola: 11338818 markings, 34388359 edges, 69041 markings/sec, 140 secs
lola: 11692003 markings, 35491647 edges, 70637 markings/sec, 145 secs
lola: 12056357 markings, 36677731 edges, 72871 markings/sec, 150 secs
lola: 12427697 markings, 37740191 edges, 74268 markings/sec, 155 secs
lola: 12798581 markings, 38872712 edges, 74177 markings/sec, 160 secs
lola: 13165892 markings, 39917218 edges, 73462 markings/sec, 165 secs
lola: 13661799 markings, 40912180 edges, 99181 markings/sec, 170 secs
lola: 14153675 markings, 42126967 edges, 98375 markings/sec, 175 secs
lola: 14560023 markings, 43455529 edges, 81270 markings/sec, 180 secs
lola: 14897442 markings, 44654704 edges, 67484 markings/sec, 185 secs
lola: 15252523 markings, 46053850 edges, 71016 markings/sec, 190 secs
lola: 15599864 markings, 47399667 edges, 69468 markings/sec, 195 secs
lola: 15961574 markings, 48527743 edges, 72342 markings/sec, 200 secs
lola: 16325295 markings, 49625324 edges, 72744 markings/sec, 205 secs
lola: 16671661 markings, 50715440 edges, 69273 markings/sec, 210 secs
lola: 17048582 markings, 51841492 edges, 75384 markings/sec, 215 secs
lola: 17412052 markings, 53048516 edges, 72694 markings/sec, 220 secs
lola: 17783465 markings, 54261613 edges, 74283 markings/sec, 225 secs
lola: 18160212 markings, 55444749 edges, 75349 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 458636 markings, 1353928 edges, 91727 markings/sec, 0 secs
lola: 970707 markings, 2850291 edges, 102414 markings/sec, 5 secs
lola: 1438928 markings, 4244907 edges, 93644 markings/sec, 10 secs
lola: 1924852 markings, 5709784 edges, 97185 markings/sec, 15 secs
lola: 2393894 markings, 7177616 edges, 93808 markings/sec, 20 secs
lola: 2863787 markings, 8679580 edges, 93979 markings/sec, 25 secs
lola: 3282299 markings, 10268646 edges, 83702 markings/sec, 30 secs
lola: 3718931 markings, 11832553 edges, 87326 markings/sec, 35 secs
lola: 4088956 markings, 13845381 edges, 74005 markings/sec, 40 secs
lola: 4382813 markings, 16049293 edges, 58771 markings/sec, 45 secs
lola: 4692012 markings, 17977279 edges, 61840 markings/sec, 50 secs
lola: 4989275 markings, 20120761 edges, 59453 markings/sec, 55 secs
lola: 5342737 markings, 22013312 edges, 70692 markings/sec, 60 secs
lola: 5696237 markings, 23499365 edges, 70700 markings/sec, 65 secs
lola: 5979176 markings, 25608304 edges, 56588 markings/sec, 70 secs
lola: 6299626 markings, 27342007 edges, 64090 markings/sec, 75 secs
lola: 6631817 markings, 29221960 edges, 66438 markings/sec, 80 secs
lola: 6958215 markings, 31064373 edges, 65280 markings/sec, 85 secs
lola: 7341183 markings, 32878356 edges, 76594 markings/sec, 90 secs
lola: 7713614 markings, 34506745 edges, 74486 markings/sec, 95 secs
lola: 8021268 markings, 36520504 edges, 61531 markings/sec, 100 secs
lola: 8348814 markings, 38366508 edges, 65509 markings/sec, 105 secs
lola: 8759281 markings, 40261776 edges, 82093 markings/sec, 110 secs
lola: 9202299 markings, 41795765 edges, 88604 markings/sec, 115 secs
lola: 9533522 markings, 43777803 edges, 66245 markings/sec, 120 secs
lola: 9893506 markings, 45520120 edges, 71997 markings/sec, 125 secs
lola: 10259369 markings, 47288633 edges, 73173 markings/sec, 130 secs
lola: 10638235 markings, 49111251 edges, 75773 markings/sec, 135 secs
lola: 11057260 markings, 50642276 edges, 83805 markings/sec, 140 secs
lola: 11405100 markings, 52649976 edges, 69568 markings/sec, 145 secs
lola: 11751906 markings, 54527443 edges, 69361 markings/sec, 150 secs
lola: 12111185 markings, 56420258 edges, 71856 markings/sec, 155 secs
lola: 12489205 markings, 58165496 edges, 75604 markings/sec, 160 secs
lola: 12961243 markings, 59672186 edges, 94408 markings/sec, 165 secs
lola: 13444477 markings, 61111204 edges, 96647 markings/sec, 170 secs
lola: 13910841 markings, 62469717 edges, 93273 markings/sec, 175 secs
lola: 14360730 markings, 63860216 edges, 89978 markings/sec, 180 secs
lola: 14853264 markings, 65311085 edges, 98507 markings/sec, 185 secs
lola: 15276654 markings, 66835357 edges, 84678 markings/sec, 190 secs
lola: 15676141 markings, 68453793 edges, 79897 markings/sec, 195 secs
lola: 16043623 markings, 70335606 edges, 73496 markings/sec, 200 secs
lola: 16318104 markings, 72529820 edges, 54896 markings/sec, 205 secs
lola: 16629050 markings, 74525694 edges, 62189 markings/sec, 210 secs
lola: 16935303 markings, 76537436 edges, 61251 markings/sec, 215 secs
lola: 17293497 markings, 78148905 edges, 71639 markings/sec, 220 secs
lola: 17587148 markings, 80154348 edges, 58730 markings/sec, 225 secs
lola: 17895969 markings, 82031389 edges, 61764 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(out5_0 + out5_1 + out5_2 + out5_3 + out5_4 + out5_5 + out5_6 + out5_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 542427 markings, 939524 edges, 108485 markings/sec, 0 secs
lola: 1064664 markings, 2254564 edges, 104447 markings/sec, 5 secs
lola: 1550077 markings, 3755631 edges, 97083 markings/sec, 10 secs
lola: 1933885 markings, 5078871 edges, 76762 markings/sec, 15 secs
lola: 2298690 markings, 6457364 edges, 72961 markings/sec, 20 secs
lola: 2646913 markings, 7877541 edges, 69645 markings/sec, 25 secs
lola: 3048069 markings, 9193728 edges, 80231 markings/sec, 30 secs
lola: 3445309 markings, 10400953 edges, 79448 markings/sec, 35 secs
lola: 3847043 markings, 11626059 edges, 80347 markings/sec, 40 secs
lola: 4250481 markings, 12807144 edges, 80688 markings/sec, 45 secs
lola: 4644809 markings, 13981463 edges, 78866 markings/sec, 50 secs
lola: 5053489 markings, 15126886 edges, 81736 markings/sec, 55 secs
lola: 5451937 markings, 16407730 edges, 79690 markings/sec, 60 secs
lola: 5849993 markings, 17647022 edges, 79611 markings/sec, 65 secs
lola: 6248016 markings, 18914906 edges, 79605 markings/sec, 70 secs
lola: 6650305 markings, 20112508 edges, 80458 markings/sec, 75 secs
lola: 7032243 markings, 21236600 edges, 76388 markings/sec, 80 secs
lola: 7444497 markings, 22440399 edges, 82451 markings/sec, 85 secs
lola: 7829501 markings, 23537276 edges, 77001 markings/sec, 90 secs
lola: 8310008 markings, 24610401 edges, 96101 markings/sec, 95 secs
lola: 8829436 markings, 25848913 edges, 103886 markings/sec, 100 secs
lola: 9284011 markings, 27286162 edges, 90915 markings/sec, 105 secs
lola: 9652727 markings, 28593320 edges, 73743 markings/sec, 110 secs
lola: 9998002 markings, 29953190 edges, 69055 markings/sec, 115 secs
lola: 10369321 markings, 31298481 edges, 74264 markings/sec, 120 secs
lola: 10750702 markings, 32495907 edges, 76276 markings/sec, 125 secs
lola: 11130705 markings, 33739261 edges, 76001 markings/sec, 130 secs
lola: 11511874 markings, 34875353 edges, 76234 markings/sec, 135 secs
lola: 11893094 markings, 36091592 edges, 76244 markings/sec, 140 secs
lola: 12269652 markings, 37313441 edges, 75312 markings/sec, 145 secs
lola: 12646972 markings, 38416407 edges, 75464 markings/sec, 150 secs
lola: 13016482 markings, 39481924 edges, 73902 markings/sec, 155 secs
lola: 13475856 markings, 40556176 edges, 91875 markings/sec, 160 secs
lola: 14002935 markings, 41770173 edges, 105416 markings/sec, 165 secs
lola: 14489295 markings, 43213306 edges, 97272 markings/sec, 170 secs
lola: 14863694 markings, 44545233 edges, 74880 markings/sec, 175 secs
lola: 15217879 markings, 45909847 edges, 70837 markings/sec, 180 secs
lola: 15570361 markings, 47311437 edges, 70496 markings/sec, 185 secs
lola: 15946672 markings, 48485075 edges, 75262 markings/sec, 190 secs
lola: 16328199 markings, 49631462 edges, 76305 markings/sec, 195 secs
lola: 16704321 markings, 50805188 edges, 75224 markings/sec, 200 secs
lola: 17081220 markings, 51980030 edges, 75380 markings/sec, 205 secs
lola: 17466682 markings, 53177087 edges, 77092 markings/sec, 210 secs
lola: 17838170 markings, 54432355 edges, 74298 markings/sec, 215 secs
lola: 18218790 markings, 55628445 edges, 76124 markings/sec, 220 secs
lola: 18577293 markings, 56686828 edges, 71701 markings/sec, 225 secs
lola: 19020206 markings, 57665214 edges, 88583 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: ========================================
lola: subprocess 6 will run for 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 932214 markings, 3952587 edges, 186443 markings/sec, 0 secs
lola: 1824526 markings, 7773877 edges, 178462 markings/sec, 5 secs
lola: 2646385 markings, 11472098 edges, 164372 markings/sec, 10 secs
lola: 3449199 markings, 14949286 edges, 160563 markings/sec, 15 secs
lola: 4272595 markings, 18582744 edges, 164679 markings/sec, 20 secs
lola: 5029413 markings, 21946834 edges, 151364 markings/sec, 25 secs
lola: 5800490 markings, 25368932 edges, 154215 markings/sec, 30 secs
lola: 6546401 markings, 28726082 edges, 149182 markings/sec, 35 secs
lola: 7245947 markings, 31830110 edges, 139909 markings/sec, 40 secs
lola: 8086559 markings, 35729971 edges, 168122 markings/sec, 45 secs
lola: 8858354 markings, 39490337 edges, 154359 markings/sec, 50 secs
lola: 9595567 markings, 43153520 edges, 147443 markings/sec, 55 secs
lola: 10341573 markings, 46863445 edges, 149201 markings/sec, 60 secs
lola: 11055203 markings, 50454515 edges, 142726 markings/sec, 65 secs
lola: 11734513 markings, 53898314 edges, 135862 markings/sec, 70 secs
lola: 12446994 markings, 57309550 edges, 142496 markings/sec, 75 secs
lola: 13139416 markings, 60827398 edges, 138484 markings/sec, 80 secs
lola: 13844770 markings, 64362437 edges, 141071 markings/sec, 85 secs
lola: 14495195 markings, 67569592 edges, 130085 markings/sec, 90 secs
lola: 15165442 markings, 70934804 edges, 134049 markings/sec, 95 secs
lola: 15815521 markings, 74305311 edges, 130016 markings/sec, 100 secs
lola: 16457324 markings, 77644822 edges, 128361 markings/sec, 105 secs
lola: 17079417 markings, 80754650 edges, 124419 markings/sec, 110 secs
lola: 17689908 markings, 83765182 edges, 122098 markings/sec, 115 secs
lola: 18336669 markings, 87404404 edges, 129352 markings/sec, 120 secs
lola: 18916972 markings, 90916454 edges, 116061 markings/sec, 125 secs
lola: 19477617 markings, 94210180 edges, 112129 markings/sec, 130 secs
lola: 20027569 markings, 97529469 edges, 109990 markings/sec, 135 secs
lola: 20555690 markings, 100817310 edges, 105624 markings/sec, 140 secs
lola: 21056526 markings, 103788593 edges, 100167 markings/sec, 145 secs
lola: 21754518 markings, 107314204 edges, 139598 markings/sec, 150 secs
lola: 22450080 markings, 110823414 edges, 139112 markings/sec, 155 secs
lola: 23106694 markings, 114267751 edges, 131323 markings/sec, 160 secs
lola: 23680965 markings, 117806957 edges, 114854 markings/sec, 165 secs
lola: 24250779 markings, 121297312 edges, 113963 markings/sec, 170 secs
lola: 24872922 markings, 124872946 edges, 124429 markings/sec, 175 secs
lola: 25463436 markings, 128391366 edges, 118103 markings/sec, 180 secs
lola: 26086669 markings, 131892154 edges, 124647 markings/sec, 185 secs
lola: 26679088 markings, 135367618 edges, 118484 markings/sec, 190 secs
lola: 27235203 markings, 138760522 edges, 111223 markings/sec, 195 secs
lola: 27725431 markings, 142366057 edges, 98046 markings/sec, 200 secs
lola: 28216129 markings, 145928296 edges, 98140 markings/sec, 205 secs
lola: 28688537 markings, 149338546 edges, 94482 markings/sec, 210 secs
lola: 29197074 markings, 152825358 edges, 101707 markings/sec, 215 secs
lola: 29671723 markings, 156240134 edges, 94930 markings/sec, 220 secs
lola: 30092021 markings, 159643995 edges, 84060 markings/sec, 225 secs
lola: 30548922 markings, 163212428 edges, 91380 markings/sec, 230 secs
lola: 30981151 markings, 166758757 edges, 86446 markings/sec, 235 secs
lola: 31366923 markings, 170974146 edges, 77154 markings/sec, 240 secs
lola: 31753083 markings, 174666804 edges, 77232 markings/sec, 245 secs
lola: 32298265 markings, 178464497 edges, 109036 markings/sec, 250 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 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(in3_4 + in3_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: ========================================
lola: subprocess 8 will run for 291 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(in2_2 + in2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: ========================================
lola: subprocess 9 will run for 333 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 841332 markings, 4434847 edges, 168266 markings/sec, 0 secs
lola: 1532562 markings, 8751713 edges, 138246 markings/sec, 5 secs
lola: 2229318 markings, 12814139 edges, 139351 markings/sec, 10 secs
lola: 2912035 markings, 16816416 edges, 136543 markings/sec, 15 secs
lola: 3536199 markings, 20779684 edges, 124833 markings/sec, 20 secs
lola: 4186047 markings, 24579234 edges, 129970 markings/sec, 25 secs
lola: 4901318 markings, 28582726 edges, 143054 markings/sec, 30 secs
lola: 5598378 markings, 32658576 edges, 139412 markings/sec, 35 secs
lola: 6223339 markings, 36687025 edges, 124992 markings/sec, 40 secs
lola: 6869531 markings, 40451691 edges, 129238 markings/sec, 45 secs
lola: 7494466 markings, 44240361 edges, 124987 markings/sec, 50 secs
lola: 8002148 markings, 47689486 edges, 101536 markings/sec, 55 secs
lola: 8624048 markings, 51168921 edges, 124380 markings/sec, 60 secs
lola: 9202449 markings, 54664066 edges, 115680 markings/sec, 65 secs
lola: 9721316 markings, 58155689 edges, 103773 markings/sec, 70 secs
lola: 10326366 markings, 61689894 edges, 121010 markings/sec, 75 secs
lola: 10840734 markings, 65184885 edges, 102874 markings/sec, 80 secs
lola: 11481431 markings, 68868477 edges, 128139 markings/sec, 85 secs
lola: 12178865 markings, 72795059 edges, 139487 markings/sec, 90 secs
lola: 12873966 markings, 76662985 edges, 139020 markings/sec, 95 secs
lola: 13511653 markings, 80451475 edges, 127537 markings/sec, 100 secs
lola: 14125324 markings, 84190885 edges, 122734 markings/sec, 105 secs
lola: 14854294 markings, 88184170 edges, 145794 markings/sec, 110 secs
lola: 15554569 markings, 92061281 edges, 140055 markings/sec, 115 secs
lola: 16199549 markings, 95912815 edges, 128996 markings/sec, 120 secs
lola: 16798535 markings, 99581005 edges, 119797 markings/sec, 125 secs
lola: 17520240 markings, 103509224 edges, 144341 markings/sec, 130 secs
lola: 18267298 markings, 107430952 edges, 149412 markings/sec, 135 secs
lola: 18903817 markings, 111329890 edges, 127304 markings/sec, 140 secs
lola: 19553921 markings, 115103937 edges, 130021 markings/sec, 145 secs
lola: 20153532 markings, 118765735 edges, 119922 markings/sec, 150 secs
lola: 20765719 markings, 122359609 edges, 122437 markings/sec, 155 secs
lola: 21351939 markings, 125937774 edges, 117244 markings/sec, 160 secs
lola: 21933248 markings, 129475851 edges, 116262 markings/sec, 165 secs
lola: 22456619 markings, 132883474 edges, 104674 markings/sec, 170 secs
lola: 23044988 markings, 136428398 edges, 117674 markings/sec, 175 secs
lola: 23630256 markings, 139923349 edges, 117054 markings/sec, 180 secs
lola: 24299155 markings, 143733149 edges, 133780 markings/sec, 185 secs
lola: 24927344 markings, 147427200 edges, 125638 markings/sec, 190 secs
lola: 25602097 markings, 151181494 edges, 134951 markings/sec, 195 secs
lola: 26231815 markings, 154931325 edges, 125944 markings/sec, 200 secs
lola: 26877673 markings, 158579541 edges, 129172 markings/sec, 205 secs
lola: 27520932 markings, 162263380 edges, 128652 markings/sec, 210 secs
lola: 28137737 markings, 165897430 edges, 123361 markings/sec, 215 secs
lola: 28701064 markings, 169369712 edges, 112665 markings/sec, 220 secs
lola: 29353621 markings, 173146799 edges, 130511 markings/sec, 225 secs
lola: 29983079 markings, 176813875 edges, 125892 markings/sec, 230 secs
lola: 30583609 markings, 180390327 edges, 120106 markings/sec, 235 secs
lola: 31213134 markings, 184037598 edges, 125905 markings/sec, 240 secs
lola: 31872696 markings, 187774866 edges, 131912 markings/sec, 245 secs
lola: 32518169 markings, 191498570 edges, 129095 markings/sec, 250 secs
lola: 33172326 markings, 195176261 edges, 130831 markings/sec, 255 secs
lola: 33733515 markings, 198636289 edges, 112238 markings/sec, 260 secs
lola: 34350587 markings, 202239900 edges, 123414 markings/sec, 265 secs
lola: 34943146 markings, 205786774 edges, 118512 markings/sec, 270 secs
lola: 35566359 markings, 209412572 edges, 124643 markings/sec, 275 secs
lola: 36224741 markings, 213143930 edges, 131676 markings/sec, 280 secs
lola: 36864376 markings, 217165269 edges, 127927 markings/sec, 285 secs
lola: 37436121 markings, 221135808 edges, 114349 markings/sec, 290 secs
lola: 37996929 markings, 224782162 edges, 112162 markings/sec, 295 secs
lola: 38538354 markings, 228451385 edges, 108285 markings/sec, 300 secs
lola: 39069512 markings, 232123502 edges, 106232 markings/sec, 305 secs
lola: 39597969 markings, 235635493 edges, 105691 markings/sec, 310 secs
lola: 40150995 markings, 239317803 edges, 110605 markings/sec, 315 secs
lola: 40758714 markings, 243120941 edges, 121544 markings/sec, 320 secs
lola: 41291556 markings, 246968457 edges, 106568 markings/sec, 325 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 333 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 564397 markings, 2299710 edges, 112879 markings/sec, 0 secs
lola: 1051710 markings, 4800390 edges, 97463 markings/sec, 5 secs
lola: 1538235 markings, 7111224 edges, 97305 markings/sec, 10 secs
lola: 2066288 markings, 9361385 edges, 105611 markings/sec, 15 secs
lola: 2613207 markings, 11668789 edges, 109384 markings/sec, 20 secs
lola: 3130225 markings, 14102288 edges, 103404 markings/sec, 25 secs
lola: 3605770 markings, 16522557 edges, 95109 markings/sec, 30 secs
lola: 4091884 markings, 18807492 edges, 97223 markings/sec, 35 secs
lola: 4597886 markings, 21032888 edges, 101200 markings/sec, 40 secs
lola: 5117373 markings, 23343131 edges, 103897 markings/sec, 45 secs
lola: 5647973 markings, 25639203 edges, 106120 markings/sec, 50 secs
lola: 6194039 markings, 27926851 edges, 109213 markings/sec, 55 secs
lola: 6675182 markings, 30202706 edges, 96229 markings/sec, 60 secs
lola: 7086759 markings, 32449981 edges, 82315 markings/sec, 65 secs
lola: 7553495 markings, 34783343 edges, 93347 markings/sec, 70 secs
lola: 8000555 markings, 36949380 edges, 89412 markings/sec, 75 secs
lola: 8420854 markings, 39129109 edges, 84060 markings/sec, 80 secs
lola: 8882656 markings, 41191217 edges, 92360 markings/sec, 85 secs
lola: 9334641 markings, 43264960 edges, 90397 markings/sec, 90 secs
lola: 9812599 markings, 45475761 edges, 95592 markings/sec, 95 secs
lola: 10303238 markings, 47679213 edges, 98128 markings/sec, 100 secs
lola: 10757266 markings, 49856228 edges, 90806 markings/sec, 105 secs
lola: 11277614 markings, 52093288 edges, 104070 markings/sec, 110 secs
lola: 11723785 markings, 54264387 edges, 89234 markings/sec, 115 secs
lola: 12224188 markings, 56556595 edges, 100081 markings/sec, 120 secs
lola: 12721172 markings, 58871498 edges, 99397 markings/sec, 125 secs
lola: 13187282 markings, 60999458 edges, 93222 markings/sec, 130 secs
lola: 13746560 markings, 63329716 edges, 111856 markings/sec, 135 secs
lola: 14217165 markings, 65714619 edges, 94121 markings/sec, 140 secs
lola: 14711546 markings, 68023041 edges, 98876 markings/sec, 145 secs
lola: 15190369 markings, 70182932 edges, 95765 markings/sec, 150 secs
lola: 15719007 markings, 72505044 edges, 105728 markings/sec, 155 secs
lola: 16295492 markings, 74876800 edges, 115297 markings/sec, 160 secs
lola: 16737383 markings, 77309001 edges, 88378 markings/sec, 165 secs
lola: 17230383 markings, 79603935 edges, 98600 markings/sec, 170 secs
lola: 17710503 markings, 81789671 edges, 96024 markings/sec, 175 secs
lola: 18211576 markings, 84050783 edges, 100215 markings/sec, 180 secs
lola: 18722960 markings, 86331436 edges, 102277 markings/sec, 185 secs
lola: 19203286 markings, 88529815 edges, 96065 markings/sec, 190 secs
lola: 19614471 markings, 90652700 edges, 82237 markings/sec, 195 secs
lola: 20048976 markings, 92747611 edges, 86901 markings/sec, 200 secs
lola: 20490764 markings, 94918224 edges, 88358 markings/sec, 205 secs
lola: 20948085 markings, 97135888 edges, 91464 markings/sec, 210 secs
lola: 21443899 markings, 99395825 edges, 99163 markings/sec, 215 secs
lola: 21975184 markings, 101842296 edges, 106257 markings/sec, 220 secs
lola: 22463046 markings, 104265601 edges, 97572 markings/sec, 225 secs
lola: 22979751 markings, 106520277 edges, 103341 markings/sec, 230 secs
lola: 23488107 markings, 108842519 edges, 101671 markings/sec, 235 secs
lola: 23985162 markings, 111161620 edges, 99411 markings/sec, 240 secs
lola: 24462624 markings, 113380967 edges, 95492 markings/sec, 245 secs
lola: 24953495 markings, 115653395 edges, 98174 markings/sec, 250 secs
lola: 25410617 markings, 117807607 edges, 91424 markings/sec, 255 secs
lola: 25877693 markings, 119996146 edges, 93415 markings/sec, 260 secs
lola: 26361746 markings, 122280905 edges, 96811 markings/sec, 265 secs
lola: 26863801 markings, 124562595 edges, 100411 markings/sec, 270 secs
lola: 27344567 markings, 126763805 edges, 96153 markings/sec, 275 secs
lola: 27792662 markings, 128978166 edges, 89619 markings/sec, 280 secs
lola: 28266377 markings, 131269718 edges, 94743 markings/sec, 285 secs
lola: 28769118 markings, 133549629 edges, 100548 markings/sec, 290 secs
lola: 29202097 markings, 135759449 edges, 86596 markings/sec, 295 secs
lola: 29780517 markings, 138161313 edges, 115684 markings/sec, 300 secs
lola: 30243247 markings, 140589224 edges, 92546 markings/sec, 305 secs
lola: 30728061 markings, 142865455 edges, 96963 markings/sec, 310 secs
lola: 31241395 markings, 145061701 edges, 102667 markings/sec, 315 secs
lola: 31754253 markings, 147388243 edges, 102572 markings/sec, 320 secs
lola: 32217800 markings, 149620034 edges, 92709 markings/sec, 325 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 333 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 411776 markings, 1004796 edges, 82355 markings/sec, 0 secs
lola: 813645 markings, 2021690 edges, 80374 markings/sec, 5 secs
lola: 1205063 markings, 2951305 edges, 78284 markings/sec, 10 secs
lola: 1607241 markings, 3919194 edges, 80436 markings/sec, 15 secs
lola: 1999628 markings, 4862105 edges, 78477 markings/sec, 20 secs
lola: 2398318 markings, 5866058 edges, 79738 markings/sec, 25 secs
lola: 2783294 markings, 6802490 edges, 76995 markings/sec, 30 secs
lola: 3154173 markings, 7815960 edges, 74176 markings/sec, 35 secs
lola: 3510119 markings, 8862619 edges, 71189 markings/sec, 40 secs
lola: 3844301 markings, 9960132 edges, 66836 markings/sec, 45 secs
lola: 4178745 markings, 11031696 edges, 66889 markings/sec, 50 secs
lola: 4602340 markings, 12110638 edges, 84719 markings/sec, 55 secs
lola: 4992029 markings, 13053044 edges, 77938 markings/sec, 60 secs
lola: 5367948 markings, 13988685 edges, 75184 markings/sec, 65 secs
lola: 5720001 markings, 14971786 edges, 70411 markings/sec, 70 secs
lola: 6119973 markings, 15996240 edges, 79994 markings/sec, 75 secs
lola: 6509182 markings, 16957660 edges, 77842 markings/sec, 80 secs
lola: 6881077 markings, 17878300 edges, 74379 markings/sec, 85 secs
lola: 7248100 markings, 18869716 edges, 73405 markings/sec, 90 secs
lola: 7553920 markings, 19880707 edges, 61164 markings/sec, 95 secs
lola: 7842225 markings, 20843711 edges, 57661 markings/sec, 100 secs
lola: 8248163 markings, 21855862 edges, 81188 markings/sec, 105 secs
lola: 8635726 markings, 22833699 edges, 77513 markings/sec, 110 secs
lola: 8994370 markings, 23896651 edges, 71729 markings/sec, 115 secs
lola: 9423656 markings, 24916174 edges, 85857 markings/sec, 120 secs
lola: 9782927 markings, 25807933 edges, 71854 markings/sec, 125 secs
lola: 10127851 markings, 26767743 edges, 68985 markings/sec, 130 secs
lola: 10509047 markings, 27837083 edges, 76239 markings/sec, 135 secs
lola: 10905846 markings, 28767533 edges, 79360 markings/sec, 140 secs
lola: 11253150 markings, 29665872 edges, 69461 markings/sec, 145 secs
lola: 11599541 markings, 30612378 edges, 69278 markings/sec, 150 secs
lola: 11943495 markings, 31494368 edges, 68791 markings/sec, 155 secs
lola: 12278059 markings, 32443691 edges, 66913 markings/sec, 160 secs
lola: 12645492 markings, 33397904 edges, 73487 markings/sec, 165 secs
lola: 13028020 markings, 34359920 edges, 76506 markings/sec, 170 secs
lola: 13394139 markings, 35228922 edges, 73224 markings/sec, 175 secs
lola: 13754569 markings, 36167507 edges, 72086 markings/sec, 180 secs
lola: 14107272 markings, 37053249 edges, 70541 markings/sec, 185 secs
lola: 14455783 markings, 37954768 edges, 69702 markings/sec, 190 secs
lola: 14804437 markings, 38829267 edges, 69731 markings/sec, 195 secs
lola: 15133083 markings, 39789542 edges, 65729 markings/sec, 200 secs
lola: 15424886 markings, 40732712 edges, 58361 markings/sec, 205 secs
lola: 15711419 markings, 41632959 edges, 57307 markings/sec, 210 secs
lola: 16028131 markings, 42599055 edges, 63342 markings/sec, 215 secs
lola: 16426422 markings, 43518622 edges, 79658 markings/sec, 220 secs
lola: 16767099 markings, 44381311 edges, 68135 markings/sec, 225 secs
lola: 17085288 markings, 45303453 edges, 63638 markings/sec, 230 secs
lola: 17432543 markings, 46192801 edges, 69451 markings/sec, 235 secs
lola: 17760891 markings, 47032039 edges, 65670 markings/sec, 240 secs
lola: 18122209 markings, 47949468 edges, 72264 markings/sec, 245 secs
lola: 18412349 markings, 48740358 edges, 58028 markings/sec, 250 secs
lola: 18688525 markings, 49636956 edges, 55235 markings/sec, 255 secs
lola: 18995731 markings, 50656135 edges, 61441 markings/sec, 260 secs
lola: 19322043 markings, 51508064 edges, 65262 markings/sec, 265 secs
lola: 19680854 markings, 52469775 edges, 71762 markings/sec, 270 secs
lola: 20010780 markings, 53510967 edges, 65985 markings/sec, 275 secs
lola: 20456410 markings, 54520552 edges, 89126 markings/sec, 280 secs
lola: 20800456 markings, 55438977 edges, 68809 markings/sec, 285 secs
lola: 21136829 markings, 56389484 edges, 67275 markings/sec, 290 secs
lola: 21568187 markings, 57504922 edges, 86272 markings/sec, 295 secs
lola: 21922355 markings, 58420835 edges, 70834 markings/sec, 300 secs
lola: 22268759 markings, 59372220 edges, 69281 markings/sec, 305 secs
lola: 22615980 markings, 60298034 edges, 69444 markings/sec, 310 secs
lola: 22962946 markings, 61281256 edges, 69393 markings/sec, 315 secs
lola: 23365068 markings, 62338044 edges, 80424 markings/sec, 320 secs
lola: 23747365 markings, 63455206 edges, 76459 markings/sec, 325 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 333 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: ========================================
lola: subprocess 13 will run for 444 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(aux13_0 + aux13_1 + aux13_2 + aux13_3 + aux13_4 + aux13_5 + aux13_6 + aux13_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 773223 markings, 2507625 edges, 154645 markings/sec, 0 secs
lola: 1541498 markings, 5189234 edges, 153655 markings/sec, 5 secs
lola: 2234212 markings, 7797040 edges, 138543 markings/sec, 10 secs
lola: 2955384 markings, 10404339 edges, 144234 markings/sec, 15 secs
lola: 3655452 markings, 13090922 edges, 140014 markings/sec, 20 secs
lola: 4362956 markings, 15726565 edges, 141501 markings/sec, 25 secs
lola: 4955305 markings, 18495444 edges, 118470 markings/sec, 30 secs
lola: 5578929 markings, 21167996 edges, 124725 markings/sec, 35 secs
lola: 6199456 markings, 23917976 edges, 124105 markings/sec, 40 secs
lola: 6744653 markings, 26725093 edges, 109039 markings/sec, 45 secs
lola: 7244946 markings, 29576246 edges, 100059 markings/sec, 50 secs
lola: 7755034 markings, 32177593 edges, 102018 markings/sec, 55 secs
lola: 8194689 markings, 34875386 edges, 87931 markings/sec, 60 secs
lola: 8608114 markings, 37571804 edges, 82685 markings/sec, 65 secs
lola: 8938130 markings, 40414267 edges, 66003 markings/sec, 70 secs
lola: 9397307 markings, 43024738 edges, 91835 markings/sec, 75 secs
lola: 9802393 markings, 45835520 edges, 81017 markings/sec, 80 secs
lola: 10215996 markings, 48600340 edges, 82721 markings/sec, 85 secs
lola: 10529673 markings, 51509326 edges, 62735 markings/sec, 90 secs
lola: 10887547 markings, 54467545 edges, 71575 markings/sec, 95 secs
lola: 11182540 markings, 57479222 edges, 58999 markings/sec, 100 secs
lola: 11508599 markings, 60507671 edges, 65212 markings/sec, 105 secs
lola: 12027363 markings, 63294098 edges, 103753 markings/sec, 110 secs
lola: 12762807 markings, 65686088 edges, 147089 markings/sec, 115 secs
lola: 13320114 markings, 68285037 edges, 111461 markings/sec, 120 secs
lola: 13772635 markings, 70982866 edges, 90504 markings/sec, 125 secs
lola: 14181699 markings, 73838578 edges, 81813 markings/sec, 130 secs
lola: 14584116 markings, 76718911 edges, 80483 markings/sec, 135 secs
lola: 15342380 markings, 79070830 edges, 151653 markings/sec, 140 secs
lola: 15847082 markings, 81678649 edges, 100940 markings/sec, 145 secs
lola: 16296105 markings, 84397237 edges, 89805 markings/sec, 150 secs
lola: 16687307 markings, 87277748 edges, 78240 markings/sec, 155 secs
lola: 17353960 markings, 89746644 edges, 133331 markings/sec, 160 secs
lola: 17820754 markings, 92412848 edges, 93359 markings/sec, 165 secs
lola: 18270367 markings, 95218597 edges, 89923 markings/sec, 170 secs
lola: 18984194 markings, 97585811 edges, 142765 markings/sec, 175 secs
lola: 19623632 markings, 100027850 edges, 127888 markings/sec, 180 secs
lola: 20159007 markings, 102580797 edges, 107075 markings/sec, 185 secs
lola: 20586640 markings, 104971468 edges, 85527 markings/sec, 190 secs
lola: 20968708 markings, 107401797 edges, 76414 markings/sec, 195 secs
lola: 21303088 markings, 109986888 edges, 66876 markings/sec, 200 secs
lola: 21775190 markings, 112508391 edges, 94420 markings/sec, 205 secs
lola: 22223907 markings, 114921682 edges, 89743 markings/sec, 210 secs
lola: 22730643 markings, 117453529 edges, 101347 markings/sec, 215 secs
lola: 23469093 markings, 119901906 edges, 147690 markings/sec, 220 secs
lola: 24118159 markings, 122462148 edges, 129813 markings/sec, 225 secs
lola: 24648705 markings, 125159879 edges, 106109 markings/sec, 230 secs
lola: 25104568 markings, 127711845 edges, 91173 markings/sec, 235 secs
lola: 25490425 markings, 130356734 edges, 77171 markings/sec, 240 secs
lola: 25818307 markings, 133185310 edges, 65576 markings/sec, 245 secs
lola: 26421258 markings, 135678355 edges, 120590 markings/sec, 250 secs
lola: 26846808 markings, 138353272 edges, 85110 markings/sec, 255 secs
lola: 27488880 markings, 140689475 edges, 128414 markings/sec, 260 secs
lola: 27898342 markings, 143045919 edges, 81892 markings/sec, 265 secs
lola: 28421455 markings, 145541522 edges, 104623 markings/sec, 270 secs
lola: 29195036 markings, 148069016 edges, 154716 markings/sec, 275 secs
lola: 29891413 markings, 150612502 edges, 139275 markings/sec, 280 secs
lola: 30557005 markings, 153133655 edges, 133118 markings/sec, 285 secs
lola: 31251406 markings, 155598739 edges, 138880 markings/sec, 290 secs
lola: 31922565 markings, 157994820 edges, 134232 markings/sec, 295 secs
lola: 32605127 markings, 160554302 edges, 136512 markings/sec, 300 secs
lola: 33216511 markings, 163120811 edges, 122277 markings/sec, 305 secs
lola: 33799124 markings, 165686641 edges, 116523 markings/sec, 310 secs
lola: 34407472 markings, 168203461 edges, 121670 markings/sec, 315 secs
lola: 34971860 markings, 170825277 edges, 112878 markings/sec, 320 secs
lola: 35465139 markings, 173472125 edges, 98656 markings/sec, 325 secs
lola: 35939151 markings, 176112706 edges, 94802 markings/sec, 330 secs
lola: 36404496 markings, 178564722 edges, 93069 markings/sec, 335 secs
lola: 36831075 markings, 181151500 edges, 85316 markings/sec, 340 secs
lola: 37245884 markings, 183705630 edges, 82962 markings/sec, 345 secs
lola: 37587926 markings, 186290905 edges, 68408 markings/sec, 350 secs
lola: 37931212 markings, 188876197 edges, 68657 markings/sec, 355 secs
lola: 38352784 markings, 191418353 edges, 84314 markings/sec, 360 secs
lola: 38731382 markings, 194088750 edges, 75720 markings/sec, 365 secs
lola: 39134008 markings, 196700129 edges, 80525 markings/sec, 370 secs
lola: 39422343 markings, 199407050 edges, 57667 markings/sec, 375 secs
lola: 39719705 markings, 202195012 edges, 59472 markings/sec, 380 secs
lola: 40068512 markings, 204929902 edges, 69761 markings/sec, 385 secs
lola: 40333979 markings, 207853134 edges, 53093 markings/sec, 390 secs
lola: 40631373 markings, 210608934 edges, 59479 markings/sec, 395 secs
lola: 41073455 markings, 213213524 edges, 88416 markings/sec, 400 secs
lola: 41784861 markings, 215443496 edges, 142281 markings/sec, 405 secs
lola: 42386044 markings, 217870804 edges, 120237 markings/sec, 410 secs
lola: 42824554 markings, 220348757 edges, 87702 markings/sec, 415 secs
lola: 43262648 markings, 222930769 edges, 87619 markings/sec, 420 secs
lola: 43630657 markings, 225661911 edges, 73602 markings/sec, 425 secs
lola: 43976402 markings, 228459249 edges, 69149 markings/sec, 430 secs
lola: 44656856 markings, 230728109 edges, 136091 markings/sec, 435 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 444 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(aux8_2 + aux8_3 + aux8_6 + aux8_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: ========================================
lola: subprocess 15 will run for 887 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(out7_0 + out7_1 + out7_2 + out7_3 + out7_4 + out7_5 + out7_6 + out7_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 360384 markings, 882540 edges, 72077 markings/sec, 0 secs
lola: 719545 markings, 1942544 edges, 71832 markings/sec, 5 secs
lola: 1119700 markings, 2976989 edges, 80031 markings/sec, 10 secs
lola: 1504193 markings, 4027292 edges, 76899 markings/sec, 15 secs
lola: 1937168 markings, 5060439 edges, 86595 markings/sec, 20 secs
lola: 2369599 markings, 6080463 edges, 86486 markings/sec, 25 secs
lola: 2741174 markings, 7042745 edges, 74315 markings/sec, 30 secs
lola: 3118505 markings, 8092529 edges, 75466 markings/sec, 35 secs
lola: 3520494 markings, 9111891 edges, 80398 markings/sec, 40 secs
lola: 3880856 markings, 10098435 edges, 72072 markings/sec, 45 secs
lola: 4280771 markings, 11146936 edges, 79983 markings/sec, 50 secs
lola: 4685895 markings, 12199182 edges, 81025 markings/sec, 55 secs
lola: 5103933 markings, 13465890 edges, 83608 markings/sec, 60 secs
lola: 5506219 markings, 14771801 edges, 80457 markings/sec, 65 secs
lola: 5899140 markings, 15771507 edges, 78584 markings/sec, 70 secs
lola: 6275330 markings, 16740710 edges, 75238 markings/sec, 75 secs
lola: 6654210 markings, 17714365 edges, 75776 markings/sec, 80 secs
lola: 7048013 markings, 18715521 edges, 78761 markings/sec, 85 secs
lola: 7430919 markings, 19732790 edges, 76581 markings/sec, 90 secs
lola: 7819064 markings, 20718015 edges, 77629 markings/sec, 95 secs
lola: 8214611 markings, 21687569 edges, 79109 markings/sec, 100 secs
lola: 8614851 markings, 22702214 edges, 80048 markings/sec, 105 secs
lola: 8995193 markings, 23664749 edges, 76068 markings/sec, 110 secs
lola: 9390681 markings, 24645292 edges, 79098 markings/sec, 115 secs
lola: 9782856 markings, 25664378 edges, 78435 markings/sec, 120 secs
lola: 10174911 markings, 26552752 edges, 78411 markings/sec, 125 secs
lola: 10560013 markings, 27537442 edges, 77020 markings/sec, 130 secs
lola: 10952632 markings, 28495518 edges, 78524 markings/sec, 135 secs
lola: 11331950 markings, 29469190 edges, 75864 markings/sec, 140 secs
lola: 11709699 markings, 30478762 edges, 75550 markings/sec, 145 secs
lola: 12078647 markings, 31475740 edges, 73790 markings/sec, 150 secs
lola: 12444520 markings, 32353723 edges, 73175 markings/sec, 155 secs
lola: 12806636 markings, 33252864 edges, 72423 markings/sec, 160 secs
lola: 13179485 markings, 34203870 edges, 74570 markings/sec, 165 secs
lola: 13535174 markings, 35124313 edges, 71138 markings/sec, 170 secs
lola: 13918568 markings, 36019636 edges, 76679 markings/sec, 175 secs
lola: 14259241 markings, 36912839 edges, 68135 markings/sec, 180 secs
lola: 14591661 markings, 37768350 edges, 66484 markings/sec, 185 secs
lola: 14975077 markings, 38829488 edges, 76683 markings/sec, 190 secs
lola: 15322566 markings, 39847810 edges, 69498 markings/sec, 195 secs
lola: 15679170 markings, 40711935 edges, 71321 markings/sec, 200 secs
lola: 16053521 markings, 41618114 edges, 74870 markings/sec, 205 secs
lola: 16419651 markings, 42584434 edges, 73226 markings/sec, 210 secs
lola: 16801732 markings, 43509473 edges, 76416 markings/sec, 215 secs
lola: 17158907 markings, 44457993 edges, 71435 markings/sec, 220 secs
lola: 17533863 markings, 45456638 edges, 74991 markings/sec, 225 secs
lola: 17897205 markings, 46563389 edges, 72668 markings/sec, 230 secs
lola: 18254968 markings, 47493132 edges, 71553 markings/sec, 235 secs
lola: 18550785 markings, 48454674 edges, 59163 markings/sec, 240 secs
lola: 18868425 markings, 49390429 edges, 63528 markings/sec, 245 secs
lola: 19172844 markings, 50231510 edges, 60884 markings/sec, 250 secs
lola: 19484697 markings, 51235518 edges, 62371 markings/sec, 255 secs
lola: 19839940 markings, 52260291 edges, 71049 markings/sec, 260 secs
lola: 20124251 markings, 53439695 edges, 56862 markings/sec, 265 secs
lola: 20486747 markings, 54459363 edges, 72499 markings/sec, 270 secs
lola: 20843319 markings, 55439184 edges, 71314 markings/sec, 275 secs
lola: 21244501 markings, 56266166 edges, 80236 markings/sec, 280 secs
lola: 21618928 markings, 57202800 edges, 74885 markings/sec, 285 secs
lola: 22011236 markings, 58171784 edges, 78462 markings/sec, 290 secs
lola: 22373709 markings, 59128954 edges, 72495 markings/sec, 295 secs
lola: 22730763 markings, 60116852 edges, 71411 markings/sec, 300 secs
lola: 23094184 markings, 61071814 edges, 72684 markings/sec, 305 secs
lola: 23471050 markings, 61989632 edges, 75373 markings/sec, 310 secs
lola: 23822104 markings, 62912589 edges, 70211 markings/sec, 315 secs
lola: 24191520 markings, 63813023 edges, 73883 markings/sec, 320 secs
lola: 24562992 markings, 64761586 edges, 74294 markings/sec, 325 secs
lola: 24910275 markings, 65658481 edges, 69457 markings/sec, 330 secs
lola: 25297011 markings, 66636540 edges, 77347 markings/sec, 335 secs
lola: 25629149 markings, 67522957 edges, 66428 markings/sec, 340 secs
lola: 25999015 markings, 68465181 edges, 73973 markings/sec, 345 secs
lola: 26351106 markings, 69370293 edges, 70418 markings/sec, 350 secs
lola: 26694906 markings, 70304598 edges, 68760 markings/sec, 355 secs
lola: 27031289 markings, 71178457 edges, 67277 markings/sec, 360 secs
lola: 27363526 markings, 72188891 edges, 66447 markings/sec, 365 secs
lola: 27767220 markings, 73148170 edges, 80739 markings/sec, 370 secs
lola: 28143163 markings, 74144968 edges, 75189 markings/sec, 375 secs
lola: 28473599 markings, 74949222 edges, 66087 markings/sec, 380 secs
lola: 28837708 markings, 75857370 edges, 72822 markings/sec, 385 secs
lola: 29174050 markings, 76752980 edges, 67268 markings/sec, 390 secs
lola: 29543410 markings, 77721313 edges, 73872 markings/sec, 395 secs
lola: 29887148 markings, 78746596 edges, 68748 markings/sec, 400 secs
lola: 30237552 markings, 79685467 edges, 70081 markings/sec, 405 secs
lola: 30621646 markings, 80700018 edges, 76819 markings/sec, 410 secs
lola: 31030825 markings, 81734359 edges, 81836 markings/sec, 415 secs
lola: 31407833 markings, 82650567 edges, 75402 markings/sec, 420 secs
lola: 31790408 markings, 83644776 edges, 76515 markings/sec, 425 secs
lola: 32182786 markings, 84680178 edges, 78476 markings/sec, 430 secs
lola: 32540930 markings, 85675714 edges, 71629 markings/sec, 435 secs
lola: 32875711 markings, 86712231 edges, 66956 markings/sec, 440 secs
lola: 33256961 markings, 87602837 edges, 76250 markings/sec, 445 secs
lola: 33628341 markings, 88501474 edges, 74276 markings/sec, 450 secs
lola: 33996024 markings, 89457628 edges, 73537 markings/sec, 455 secs
lola: 34391663 markings, 90477829 edges, 79128 markings/sec, 460 secs
lola: 34795443 markings, 91509262 edges, 80756 markings/sec, 465 secs
lola: 35180903 markings, 92493782 edges, 77092 markings/sec, 470 secs
lola: 35571077 markings, 93497007 edges, 78035 markings/sec, 475 secs
lola: 35918250 markings, 94517600 edges, 69435 markings/sec, 480 secs
lola: 36252375 markings, 95468229 edges, 66825 markings/sec, 485 secs
lola: 36632842 markings, 96402511 edges, 76093 markings/sec, 490 secs
lola: 36985033 markings, 97312745 edges, 70438 markings/sec, 495 secs
lola: 37352914 markings, 98209931 edges, 73576 markings/sec, 500 secs
lola: 37714281 markings, 99141747 edges, 72273 markings/sec, 505 secs
lola: 38088068 markings, 100104800 edges, 74757 markings/sec, 510 secs
lola: 38438490 markings, 101013437 edges, 70084 markings/sec, 515 secs
lola: 38721684 markings, 101932688 edges, 56639 markings/sec, 520 secs
lola: 39040029 markings, 102926576 edges, 63669 markings/sec, 525 secs
lola: 39389614 markings, 103899300 edges, 69917 markings/sec, 530 secs
lola: 39718136 markings, 104949432 edges, 65704 markings/sec, 535 secs
lola: 40045447 markings, 105973423 edges, 65462 markings/sec, 540 secs
lola: 40379453 markings, 107002973 edges, 66801 markings/sec, 545 secs
lola: 40697980 markings, 108172019 edges, 63705 markings/sec, 550 secs
lola: 41026318 markings, 109635356 edges, 65668 markings/sec, 555 secs
lola: 41339602 markings, 111165721 edges, 62657 markings/sec, 560 secs
lola: 41632744 markings, 112599527 edges, 58628 markings/sec, 565 secs
lola: 41917605 markings, 113958548 edges, 56972 markings/sec, 570 secs
lola: 42190481 markings, 115021963 edges, 54575 markings/sec, 575 secs
lola: 42454061 markings, 116647410 edges, 52716 markings/sec, 580 secs
lola: 42733532 markings, 117989722 edges, 55894 markings/sec, 585 secs
lola: 43021824 markings, 119187307 edges, 57658 markings/sec, 590 secs
lola: 43273480 markings, 120411488 edges, 50331 markings/sec, 595 secs
lola: 43533816 markings, 121489996 edges, 52067 markings/sec, 600 secs
lola: 43816848 markings, 122646039 edges, 56606 markings/sec, 605 secs
lola: 44077088 markings, 123785585 edges, 52048 markings/sec, 610 secs
lola: 44307567 markings, 124782068 edges, 46096 markings/sec, 615 secs
lola: 44540826 markings, 125722305 edges, 46652 markings/sec, 620 secs
lola: 44803359 markings, 126680738 edges, 52507 markings/sec, 625 secs
lola: 45101339 markings, 127877443 edges, 59596 markings/sec, 630 secs
lola: 45372339 markings, 129375215 edges, 54200 markings/sec, 635 secs
lola: 45618080 markings, 130686354 edges, 49148 markings/sec, 640 secs
lola: 45890039 markings, 131816933 edges, 54392 markings/sec, 645 secs
lola: 46165634 markings, 133172576 edges, 55119 markings/sec, 650 secs
lola: 46446908 markings, 134365731 edges, 56255 markings/sec, 655 secs
lola: 46708656 markings, 135483800 edges, 52350 markings/sec, 660 secs
lola: 46982892 markings, 136656613 edges, 54847 markings/sec, 665 secs
lola: 47283779 markings, 137705005 edges, 60177 markings/sec, 670 secs
lola: 47544977 markings, 139066945 edges, 52240 markings/sec, 675 secs
lola: 47793345 markings, 140519635 edges, 49674 markings/sec, 680 secs
lola: 48092749 markings, 141739887 edges, 59881 markings/sec, 685 secs
lola: 48359369 markings, 142902045 edges, 53324 markings/sec, 690 secs
lola: 48591603 markings, 144202106 edges, 46447 markings/sec, 695 secs
lola: 48854842 markings, 145371345 edges, 52648 markings/sec, 700 secs
lola: 49119991 markings, 146453586 edges, 53030 markings/sec, 705 secs
lola: 49361395 markings, 147569977 edges, 48281 markings/sec, 710 secs
lola: 49653182 markings, 148552468 edges, 58357 markings/sec, 715 secs
lola: 49889700 markings, 149788622 edges, 47304 markings/sec, 720 secs
lola: 50150278 markings, 150969115 edges, 52116 markings/sec, 725 secs
lola: 50437551 markings, 152456916 edges, 57455 markings/sec, 730 secs
lola: 50705184 markings, 153718281 edges, 53527 markings/sec, 735 secs
lola: 50961195 markings, 154918066 edges, 51202 markings/sec, 740 secs
lola: 51210942 markings, 156212309 edges, 49949 markings/sec, 745 secs
lola: 51449167 markings, 157459237 edges, 47645 markings/sec, 750 secs
lola: 51706468 markings, 158651192 edges, 51460 markings/sec, 755 secs
lola: 52007655 markings, 159648198 edges, 60237 markings/sec, 760 secs
lola: 52265229 markings, 160849574 edges, 51515 markings/sec, 765 secs
lola: 52556559 markings, 161961161 edges, 58266 markings/sec, 770 secs
lola: 52836678 markings, 163131023 edges, 56024 markings/sec, 775 secs
lola: 53085401 markings, 164277653 edges, 49745 markings/sec, 780 secs
lola: 53403206 markings, 165394929 edges, 63561 markings/sec, 785 secs
lola: 53710176 markings, 166349104 edges, 61394 markings/sec, 790 secs
lola: 54010312 markings, 167659819 edges, 60027 markings/sec, 795 secs
lola: 54284875 markings, 168918614 edges, 54913 markings/sec, 800 secs
lola: 54555298 markings, 170092631 edges, 54085 markings/sec, 805 secs
lola: 54807611 markings, 171159996 edges, 50463 markings/sec, 810 secs
lola: 55046970 markings, 172280754 edges, 47872 markings/sec, 815 secs
lola: 55303152 markings, 173414125 edges, 51236 markings/sec, 820 secs
lola: 55554437 markings, 174540529 edges, 50257 markings/sec, 825 secs
lola: 55800471 markings, 175400915 edges, 49207 markings/sec, 830 secs
lola: 56058883 markings, 176225875 edges, 51682 markings/sec, 835 secs
lola: 56382639 markings, 177173859 edges, 64751 markings/sec, 840 secs
lola: 56672171 markings, 178199011 edges, 57906 markings/sec, 845 secs
lola: 56948346 markings, 179497119 edges, 55235 markings/sec, 850 secs
lola: 57200143 markings, 180679288 edges, 50359 markings/sec, 855 secs
lola: 57411217 markings, 181647822 edges, 42215 markings/sec, 860 secs
lola: 57663339 markings, 182783861 edges, 50424 markings/sec, 865 secs
lola: 57889138 markings, 183974556 edges, 45160 markings/sec, 870 secs
lola: 58143852 markings, 185299938 edges, 50943 markings/sec, 875 secs
lola: 58407644 markings, 186308392 edges, 52758 markings/sec, 880 secs
lola: time limit reached - aborting
lola:
preliminary result: 10 unknown unknown unknown unknown 5 unknown 10 10 unknown unknown unknown 5 unknown 10
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA PermAdmissibility-COL-05-UpperBounds-0 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-5 5 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-7 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-8 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-12 5 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-14 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494661022479
--------------------
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="PermAdmissibility-PT-05"
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/PermAdmissibility-PT-05.tgz
mv PermAdmissibility-PT-05 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 PermAdmissibility-PT-05, 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 r038-blw7-149440485000416"
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 '
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 ;