About the Execution of LoLA for PolyORBNT-COL-S05J20
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
2811.310 | 3540151.00 | 3546086.00 | 8195.80 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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 PolyORBNT-COL-S05J20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r058-smll-149440926000002
=====================================================================
--------------------
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 PolyORBNT-COL-S05J20-UpperBounds-0
FORMULA_NAME PolyORBNT-COL-S05J20-UpperBounds-1
FORMULA_NAME PolyORBNT-COL-S05J20-UpperBounds-10
FORMULA_NAME PolyORBNT-COL-S05J20-UpperBounds-11
FORMULA_NAME PolyORBNT-COL-S05J20-UpperBounds-12
FORMULA_NAME PolyORBNT-COL-S05J20-UpperBounds-13
FORMULA_NAME PolyORBNT-COL-S05J20-UpperBounds-14
FORMULA_NAME PolyORBNT-COL-S05J20-UpperBounds-15
FORMULA_NAME PolyORBNT-COL-S05J20-UpperBounds-2
FORMULA_NAME PolyORBNT-COL-S05J20-UpperBounds-3
FORMULA_NAME PolyORBNT-COL-S05J20-UpperBounds-4
FORMULA_NAME PolyORBNT-COL-S05J20-UpperBounds-5
FORMULA_NAME PolyORBNT-COL-S05J20-UpperBounds-6
FORMULA_NAME PolyORBNT-COL-S05J20-UpperBounds-7
FORMULA_NAME PolyORBNT-COL-S05J20-UpperBounds-8
FORMULA_NAME PolyORBNT-COL-S05J20-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494653798706
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBNT-COL-S05J20 @ 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: 1599/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: finding significant places
lola: 369 places, 1230 transitions, 307 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 688 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S05J20-UpperBounds.task
lola: MAX(p262) : MAX(p293) : MAX(p73) : MAX(p316) : MAX(p261) : MAX(p264) : MAX(p129) : MAX(p76) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) : MAX(p131) : MAX(p366) : MAX(p292 + p291 + p290 + p289 + p288 + p287 + p286 + p285 + p284 + p283 + p282 + p281 + p280 + p279 + p278 + p277 + p276 + p275 + p274 + p273 + p272) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) : MAX(p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20) : MAX(p318 + p319 + p320 + p321 + p322)
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(p262)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 65428 markings, 136103 edges, 13086 markings/sec, 0 secs
lola: 136689 markings, 278807 edges, 14252 markings/sec, 5 secs
lola: 207289 markings, 429546 edges, 14120 markings/sec, 10 secs
lola: 276231 markings, 566974 edges, 13788 markings/sec, 15 secs
lola: 345467 markings, 705765 edges, 13847 markings/sec, 20 secs
lola: 413952 markings, 849966 edges, 13697 markings/sec, 25 secs
lola: 482585 markings, 987582 edges, 13727 markings/sec, 30 secs
lola: 553149 markings, 1128346 edges, 14113 markings/sec, 35 secs
lola: 625496 markings, 1262713 edges, 14469 markings/sec, 40 secs
lola: 696669 markings, 1400026 edges, 14235 markings/sec, 45 secs
lola: 767786 markings, 1537265 edges, 14223 markings/sec, 50 secs
lola: 838687 markings, 1669087 edges, 14180 markings/sec, 55 secs
lola: 910012 markings, 1806686 edges, 14265 markings/sec, 60 secs
lola: 981314 markings, 1944642 edges, 14260 markings/sec, 65 secs
lola: 1052625 markings, 2082608 edges, 14262 markings/sec, 70 secs
lola: 1123479 markings, 2213955 edges, 14171 markings/sec, 75 secs
lola: 1194451 markings, 2351342 edges, 14194 markings/sec, 80 secs
lola: 1265652 markings, 2489113 edges, 14240 markings/sec, 85 secs
lola: 1336402 markings, 2626102 edges, 14150 markings/sec, 90 secs
lola: 1406851 markings, 2762956 edges, 14090 markings/sec, 95 secs
lola: 1478567 markings, 2895839 edges, 14343 markings/sec, 100 secs
lola: 1549454 markings, 3033455 edges, 14177 markings/sec, 105 secs
lola: 1619759 markings, 3169672 edges, 14061 markings/sec, 110 secs
lola: 1690847 markings, 3307658 edges, 14218 markings/sec, 115 secs
lola: 1761770 markings, 3445346 edges, 14185 markings/sec, 120 secs
lola: 1831818 markings, 3581109 edges, 14010 markings/sec, 125 secs
lola: 1902861 markings, 3724860 edges, 14209 markings/sec, 130 secs
lola: 1973638 markings, 3862301 edges, 14155 markings/sec, 135 secs
lola: 2044189 markings, 3999352 edges, 14110 markings/sec, 140 secs
lola: 2115986 markings, 4138982 edges, 14359 markings/sec, 145 secs
lola: 2187399 markings, 4282974 edges, 14283 markings/sec, 150 secs
lola: 2258934 markings, 4421778 edges, 14307 markings/sec, 155 secs
lola: 2330000 markings, 4565557 edges, 14213 markings/sec, 160 secs
lola: 2401248 markings, 4703817 edges, 14250 markings/sec, 165 secs
lola: 2474130 markings, 4850804 edges, 14576 markings/sec, 170 secs
lola: 2545241 markings, 4988838 edges, 14222 markings/sec, 175 secs
lola: 2616202 markings, 5126613 edges, 14192 markings/sec, 180 secs
lola: 2686758 markings, 5269107 edges, 14111 markings/sec, 185 secs
lola: 2762800 markings, 5485040 edges, 15208 markings/sec, 190 secs
lola: 2852740 markings, 5633620 edges, 17988 markings/sec, 195 secs
lola: 2941322 markings, 5803979 edges, 17716 markings/sec, 200 secs
lola: 3029995 markings, 5974445 edges, 17735 markings/sec, 205 secs
lola: 3119836 markings, 6122902 edges, 17968 markings/sec, 210 secs
lola: 3206510 markings, 6288944 edges, 17335 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(p293)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 71678 markings, 143847 edges, 14336 markings/sec, 0 secs
lola: 147149 markings, 288689 edges, 15094 markings/sec, 5 secs
lola: 218633 markings, 434789 edges, 14297 markings/sec, 10 secs
lola: 289931 markings, 571143 edges, 14260 markings/sec, 15 secs
lola: 360144 markings, 712252 edges, 14043 markings/sec, 20 secs
lola: 428649 markings, 843602 edges, 13701 markings/sec, 25 secs
lola: 500929 markings, 982250 edges, 14456 markings/sec, 30 secs
lola: 579371 markings, 1123008 edges, 15688 markings/sec, 35 secs
lola: 659887 markings, 1265838 edges, 16103 markings/sec, 40 secs
lola: 740066 markings, 1408741 edges, 16036 markings/sec, 45 secs
lola: 821568 markings, 1546838 edges, 16300 markings/sec, 50 secs
lola: 900900 markings, 1687745 edges, 15866 markings/sec, 55 secs
lola: 980135 markings, 1828667 edges, 15847 markings/sec, 60 secs
lola: 1059403 markings, 1969966 edges, 15854 markings/sec, 65 secs
lola: 1138857 markings, 2109501 edges, 15891 markings/sec, 70 secs
lola: 1217604 markings, 2245838 edges, 15749 markings/sec, 75 secs
lola: 1296137 markings, 2385512 edges, 15707 markings/sec, 80 secs
lola: 1374760 markings, 2525021 edges, 15725 markings/sec, 85 secs
lola: 1452921 markings, 2664387 edges, 15632 markings/sec, 90 secs
lola: 1530801 markings, 2803184 edges, 15576 markings/sec, 95 secs
lola: 1608987 markings, 2942765 edges, 15637 markings/sec, 100 secs
lola: 1686766 markings, 3081715 edges, 15556 markings/sec, 105 secs
lola: 1764732 markings, 3221454 edges, 15593 markings/sec, 110 secs
lola: 1841925 markings, 3363531 edges, 15439 markings/sec, 115 secs
lola: 1919196 markings, 3501980 edges, 15454 markings/sec, 120 secs
lola: 1996392 markings, 3640328 edges, 15439 markings/sec, 125 secs
lola: 2072613 markings, 3781967 edges, 15244 markings/sec, 130 secs
lola: 2149699 markings, 3919991 edges, 15417 markings/sec, 135 secs
lola: 2225836 markings, 4061521 edges, 15227 markings/sec, 140 secs
lola: 2301743 markings, 4202839 edges, 15181 markings/sec, 145 secs
lola: 2377251 markings, 4343498 edges, 15102 markings/sec, 150 secs
lola: 2452654 markings, 4484184 edges, 15081 markings/sec, 155 secs
lola: 2527434 markings, 4627967 edges, 14956 markings/sec, 160 secs
lola: 2601333 markings, 4774249 edges, 14780 markings/sec, 165 secs
lola: 2674866 markings, 4923224 edges, 14707 markings/sec, 170 secs
lola: 2750064 markings, 5090695 edges, 15040 markings/sec, 175 secs
lola: 2840424 markings, 5251987 edges, 18072 markings/sec, 180 secs
lola: 2931411 markings, 5395791 edges, 18197 markings/sec, 185 secs
lola: 3021482 markings, 5554021 edges, 18014 markings/sec, 190 secs
lola: 3109771 markings, 5712703 edges, 17658 markings/sec, 195 secs
lola: 3197160 markings, 5867578 edges, 17478 markings/sec, 200 secs
lola: 3283751 markings, 6022803 edges, 17318 markings/sec, 205 secs
lola: 3370014 markings, 6178974 edges, 17253 markings/sec, 210 secs
lola: 3456912 markings, 6334585 edges, 17380 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(p73)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 86157 markings, 169811 edges, 17231 markings/sec, 0 secs
lola: 172121 markings, 330994 edges, 17193 markings/sec, 5 secs
lola: 261689 markings, 486999 edges, 17914 markings/sec, 10 secs
lola: 350891 markings, 640041 edges, 17840 markings/sec, 15 secs
lola: 439758 markings, 796837 edges, 17773 markings/sec, 20 secs
lola: 528835 markings, 951132 edges, 17815 markings/sec, 25 secs
lola: 617472 markings, 1102999 edges, 17727 markings/sec, 30 secs
lola: 705025 markings, 1257420 edges, 17511 markings/sec, 35 secs
lola: 793848 markings, 1411194 edges, 17765 markings/sec, 40 secs
lola: 882470 markings, 1563834 edges, 17724 markings/sec, 45 secs
lola: 969671 markings, 1716849 edges, 17440 markings/sec, 50 secs
lola: 1053067 markings, 1867923 edges, 16679 markings/sec, 55 secs
lola: 1139111 markings, 2023081 edges, 17209 markings/sec, 60 secs
lola: 1227140 markings, 2178039 edges, 17606 markings/sec, 65 secs
lola: 1315155 markings, 2333294 edges, 17603 markings/sec, 70 secs
lola: 1402922 markings, 2488081 edges, 17553 markings/sec, 75 secs
lola: 1490418 markings, 2642241 edges, 17499 markings/sec, 80 secs
lola: 1577735 markings, 2795972 edges, 17463 markings/sec, 85 secs
lola: 1664943 markings, 2949460 edges, 17442 markings/sec, 90 secs
lola: 1749111 markings, 3105009 edges, 16834 markings/sec, 95 secs
lola: 1837564 markings, 3262254 edges, 17691 markings/sec, 100 secs
lola: 1925106 markings, 3420225 edges, 17508 markings/sec, 105 secs
lola: 2012727 markings, 3576027 edges, 17524 markings/sec, 110 secs
lola: 2099640 markings, 3732992 edges, 17383 markings/sec, 115 secs
lola: 2188819 markings, 3891880 edges, 17836 markings/sec, 120 secs
lola: 2277528 markings, 4053436 edges, 17742 markings/sec, 125 secs
lola: 2366072 markings, 4214864 edges, 17709 markings/sec, 130 secs
lola: 2454216 markings, 4379074 edges, 17629 markings/sec, 135 secs
lola: 2542472 markings, 4543656 edges, 17651 markings/sec, 140 secs
lola: 2630323 markings, 4711231 edges, 17570 markings/sec, 145 secs
lola: 2717865 markings, 4883704 edges, 17508 markings/sec, 150 secs
lola: 2804938 markings, 5075704 edges, 17415 markings/sec, 155 secs
lola: 2903966 markings, 5264701 edges, 19806 markings/sec, 160 secs
lola: 3001938 markings, 5444317 edges, 19594 markings/sec, 165 secs
lola: 3099339 markings, 5629508 edges, 19480 markings/sec, 170 secs
lola: 3194417 markings, 5820516 edges, 19016 markings/sec, 175 secs
lola: 3290829 markings, 6025774 edges, 19282 markings/sec, 180 secs
lola: 3381877 markings, 6282272 edges, 18210 markings/sec, 185 secs
lola: 3487152 markings, 6497449 edges, 21055 markings/sec, 190 secs
lola: 3588141 markings, 6667301 edges, 20198 markings/sec, 195 secs
lola: 3688760 markings, 6838108 edges, 20124 markings/sec, 200 secs
lola: 3784729 markings, 7005740 edges, 19194 markings/sec, 205 secs
lola: 3883646 markings, 7176184 edges, 19783 markings/sec, 210 secs
lola: 3981293 markings, 7352467 edges, 19529 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(p316)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 85596 markings, 154907 edges, 17119 markings/sec, 0 secs
lola: 169453 markings, 304600 edges, 16771 markings/sec, 5 secs
lola: 251615 markings, 457880 edges, 16432 markings/sec, 10 secs
lola: 332944 markings, 602876 edges, 16266 markings/sec, 15 secs
lola: 414231 markings, 753745 edges, 16257 markings/sec, 20 secs
lola: 495591 markings, 898800 edges, 16272 markings/sec, 25 secs
lola: 575602 markings, 1041795 edges, 16002 markings/sec, 30 secs
lola: 656204 markings, 1184953 edges, 16120 markings/sec, 35 secs
lola: 736405 markings, 1326246 edges, 16040 markings/sec, 40 secs
lola: 815992 markings, 1462752 edges, 15917 markings/sec, 45 secs
lola: 895538 markings, 1604209 edges, 15909 markings/sec, 50 secs
lola: 975724 markings, 1746317 edges, 16037 markings/sec, 55 secs
lola: 1055466 markings, 1888493 edges, 15948 markings/sec, 60 secs
lola: 1135024 markings, 2024125 edges, 15912 markings/sec, 65 secs
lola: 1214681 markings, 2165776 edges, 15931 markings/sec, 70 secs
lola: 1294098 markings, 2307034 edges, 15883 markings/sec, 75 secs
lola: 1373165 markings, 2447741 edges, 15813 markings/sec, 80 secs
lola: 1452655 markings, 2589130 edges, 15898 markings/sec, 85 secs
lola: 1532280 markings, 2731124 edges, 15925 markings/sec, 90 secs
lola: 1611327 markings, 2871799 edges, 15809 markings/sec, 95 secs
lola: 1690918 markings, 3013760 edges, 15918 markings/sec, 100 secs
lola: 1770065 markings, 3154997 edges, 15829 markings/sec, 105 secs
lola: 1848504 markings, 3300567 edges, 15688 markings/sec, 110 secs
lola: 1928246 markings, 3442762 edges, 15948 markings/sec, 115 secs
lola: 2007156 markings, 3583623 edges, 15782 markings/sec, 120 secs
lola: 2086938 markings, 3731764 edges, 15956 markings/sec, 125 secs
lola: 2167302 markings, 3875383 edges, 16073 markings/sec, 130 secs
lola: 2247415 markings, 4023659 edges, 16023 markings/sec, 135 secs
lola: 2327250 markings, 4171875 edges, 15967 markings/sec, 140 secs
lola: 2407226 markings, 4314548 edges, 15995 markings/sec, 145 secs
lola: 2488371 markings, 4464812 edges, 16229 markings/sec, 150 secs
lola: 2567596 markings, 4606581 edges, 15845 markings/sec, 155 secs
lola: 2646271 markings, 4752526 edges, 15735 markings/sec, 160 secs
lola: 2724913 markings, 4892961 edges, 15728 markings/sec, 165 secs
lola: 2811743 markings, 5118879 edges, 17366 markings/sec, 170 secs
lola: 2901261 markings, 5290475 edges, 17904 markings/sec, 175 secs
lola: 2991725 markings, 5439761 edges, 18093 markings/sec, 180 secs
lola: 3080789 markings, 5609009 edges, 17813 markings/sec, 185 secs
lola: 3169277 markings, 5780996 edges, 17698 markings/sec, 190 secs
lola: 3257893 markings, 5927795 edges, 17723 markings/sec, 195 secs
lola: 3344395 markings, 6095368 edges, 17300 markings/sec, 200 secs
lola: 3430784 markings, 6262761 edges, 17278 markings/sec, 205 secs
lola: 3517902 markings, 6407550 edges, 17424 markings/sec, 210 secs
lola: 3604518 markings, 6575296 edges, 17323 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p261)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 84989 markings, 153632 edges, 16998 markings/sec, 0 secs
lola: 167897 markings, 301330 edges, 16582 markings/sec, 5 secs
lola: 249178 markings, 453489 edges, 16256 markings/sec, 10 secs
lola: 329613 markings, 596929 edges, 16087 markings/sec, 15 secs
lola: 409862 markings, 745639 edges, 16050 markings/sec, 20 secs
lola: 490121 markings, 888799 edges, 16052 markings/sec, 25 secs
lola: 569174 markings, 1030797 edges, 15811 markings/sec, 30 secs
lola: 648687 markings, 1171971 edges, 15903 markings/sec, 35 secs
lola: 727693 markings, 1306545 edges, 15801 markings/sec, 40 secs
lola: 805661 markings, 1445056 edges, 15594 markings/sec, 45 secs
lola: 883948 markings, 1584084 edges, 15657 markings/sec, 50 secs
lola: 963599 markings, 1725721 edges, 15930 markings/sec, 55 secs
lola: 1042937 markings, 1860995 edges, 15868 markings/sec, 60 secs
lola: 1121484 markings, 2000449 edges, 15709 markings/sec, 65 secs
lola: 1200277 markings, 2140707 edges, 15759 markings/sec, 70 secs
lola: 1279282 markings, 2281301 edges, 15801 markings/sec, 75 secs
lola: 1357533 markings, 2420681 edges, 15650 markings/sec, 80 secs
lola: 1436395 markings, 2561069 edges, 15772 markings/sec, 85 secs
lola: 1515584 markings, 2702362 edges, 15838 markings/sec, 90 secs
lola: 1594024 markings, 2842050 edges, 15688 markings/sec, 95 secs
lola: 1672807 markings, 2982301 edges, 15757 markings/sec, 100 secs
lola: 1751841 markings, 3123357 edges, 15807 markings/sec, 105 secs
lola: 1829884 markings, 3262818 edges, 15609 markings/sec, 110 secs
lola: 1908581 markings, 3408802 edges, 15739 markings/sec, 115 secs
lola: 1987065 markings, 3548966 edges, 15697 markings/sec, 120 secs
lola: 2066065 markings, 3690379 edges, 15800 markings/sec, 125 secs
lola: 2145807 markings, 3838057 edges, 15948 markings/sec, 130 secs
lola: 2225151 markings, 3985502 edges, 15869 markings/sec, 135 secs
lola: 2304702 markings, 4127389 edges, 15910 markings/sec, 140 secs
lola: 2383679 markings, 4273837 edges, 15795 markings/sec, 145 secs
lola: 2464365 markings, 4417974 edges, 16137 markings/sec, 150 secs
lola: 2543245 markings, 4564259 edges, 15776 markings/sec, 155 secs
lola: 2621518 markings, 4704487 edges, 15655 markings/sec, 160 secs
lola: 2699438 markings, 4849224 edges, 15584 markings/sec, 165 secs
lola: 2781454 markings, 5067542 edges, 16403 markings/sec, 170 secs
lola: 2869948 markings, 5228128 edges, 17699 markings/sec, 175 secs
lola: 2959013 markings, 5385194 edges, 17813 markings/sec, 180 secs
lola: 3046835 markings, 5554518 edges, 17564 markings/sec, 185 secs
lola: 3136105 markings, 5702219 edges, 17854 markings/sec, 190 secs
lola: 3221948 markings, 5867135 edges, 17169 markings/sec, 195 secs
lola: 3307381 markings, 6033283 edges, 17087 markings/sec, 200 secs
lola: 3394243 markings, 6177722 edges, 17372 markings/sec, 205 secs
lola: 3478702 markings, 6340785 edges, 16892 markings/sec, 210 secs
lola: 3562999 markings, 6505418 edges, 16859 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p264)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 62563 markings, 143492 edges, 12513 markings/sec, 0 secs
lola: 125417 markings, 277872 edges, 12571 markings/sec, 5 secs
lola: 190315 markings, 407788 edges, 12980 markings/sec, 10 secs
lola: 250471 markings, 546216 edges, 12031 markings/sec, 15 secs
lola: 311489 markings, 678171 edges, 12204 markings/sec, 20 secs
lola: 377143 markings, 806692 edges, 13131 markings/sec, 25 secs
lola: 436904 markings, 944098 edges, 11952 markings/sec, 30 secs
lola: 497343 markings, 1075675 edges, 12088 markings/sec, 35 secs
lola: 563578 markings, 1204020 edges, 13247 markings/sec, 40 secs
lola: 623011 markings, 1331842 edges, 11887 markings/sec, 45 secs
lola: 686574 markings, 1454488 edges, 12713 markings/sec, 50 secs
lola: 744316 markings, 1583704 edges, 11548 markings/sec, 55 secs
lola: 808316 markings, 1707176 edges, 12800 markings/sec, 60 secs
lola: 866910 markings, 1837974 edges, 11719 markings/sec, 65 secs
lola: 931393 markings, 1962362 edges, 12897 markings/sec, 70 secs
lola: 989692 markings, 2092336 edges, 11660 markings/sec, 75 secs
lola: 1052545 markings, 2213644 edges, 12571 markings/sec, 80 secs
lola: 1111231 markings, 2343686 edges, 11737 markings/sec, 85 secs
lola: 1173149 markings, 2468383 edges, 12384 markings/sec, 90 secs
lola: 1232856 markings, 2595200 edges, 11941 markings/sec, 95 secs
lola: 1293826 markings, 2723406 edges, 12194 markings/sec, 100 secs
lola: 1353670 markings, 2844896 edges, 11969 markings/sec, 105 secs
lola: 1412807 markings, 2970749 edges, 11827 markings/sec, 110 secs
lola: 1473104 markings, 3091523 edges, 12059 markings/sec, 115 secs
lola: 1531173 markings, 3219295 edges, 11614 markings/sec, 120 secs
lola: 1592284 markings, 3343732 edges, 12222 markings/sec, 125 secs
lola: 1651066 markings, 3466357 edges, 11756 markings/sec, 130 secs
lola: 1708976 markings, 3590375 edges, 11582 markings/sec, 135 secs
lola: 1768771 markings, 3713007 edges, 11959 markings/sec, 140 secs
lola: 1827502 markings, 3836987 edges, 11746 markings/sec, 145 secs
lola: 1885282 markings, 3960863 edges, 11556 markings/sec, 150 secs
lola: 1943838 markings, 4084962 edges, 11711 markings/sec, 155 secs
lola: 2002181 markings, 4203175 edges, 11669 markings/sec, 160 secs
lola: 2059832 markings, 4328239 edges, 11530 markings/sec, 165 secs
lola: 2117190 markings, 4450884 edges, 11472 markings/sec, 170 secs
lola: 2174819 markings, 4573174 edges, 11526 markings/sec, 175 secs
lola: 2232030 markings, 4694837 edges, 11442 markings/sec, 180 secs
lola: 2289818 markings, 4812918 edges, 11558 markings/sec, 185 secs
lola: 2346316 markings, 4934882 edges, 11300 markings/sec, 190 secs
lola: 2402726 markings, 5055973 edges, 11282 markings/sec, 195 secs
lola: 2459311 markings, 5177396 edges, 11317 markings/sec, 200 secs
lola: 2515285 markings, 5297741 edges, 11195 markings/sec, 205 secs
lola: 2570885 markings, 5420243 edges, 11120 markings/sec, 210 secs
lola: 2626684 markings, 5542503 edges, 11160 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p129)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 81733 markings, 159793 edges, 16347 markings/sec, 0 secs
lola: 167741 markings, 319703 edges, 17202 markings/sec, 5 secs
lola: 256045 markings, 472548 edges, 17661 markings/sec, 10 secs
lola: 344016 markings, 621657 edges, 17594 markings/sec, 15 secs
lola: 430722 markings, 773360 edges, 17341 markings/sec, 20 secs
lola: 518572 markings, 924194 edges, 17570 markings/sec, 25 secs
lola: 605398 markings, 1074852 edges, 17365 markings/sec, 30 secs
lola: 692093 markings, 1222215 edges, 17339 markings/sec, 35 secs
lola: 778642 markings, 1373419 edges, 17310 markings/sec, 40 secs
lola: 865091 markings, 1521792 edges, 17290 markings/sec, 45 secs
lola: 951828 markings, 1669206 edges, 17347 markings/sec, 50 secs
lola: 1029670 markings, 1816636 edges, 15568 markings/sec, 55 secs
lola: 1116821 markings, 1969040 edges, 17430 markings/sec, 60 secs
lola: 1203674 markings, 2120411 edges, 17371 markings/sec, 65 secs
lola: 1263030 markings, 2223679 edges, 11871 markings/sec, 70 secs
lola: 1308902 markings, 2302306 edges, 9174 markings/sec, 75 secs
lola: 1354505 markings, 2384065 edges, 9121 markings/sec, 80 secs
lola: 1400374 markings, 2461825 edges, 9174 markings/sec, 85 secs
lola: 1445414 markings, 2543523 edges, 9008 markings/sec, 90 secs
lola: 1491655 markings, 2622813 edges, 9248 markings/sec, 95 secs
lola: 1537026 markings, 2702721 edges, 9074 markings/sec, 100 secs
lola: 1582429 markings, 2783691 edges, 9081 markings/sec, 105 secs
lola: 1624477 markings, 2861683 edges, 8410 markings/sec, 110 secs
lola: 1671472 markings, 2946311 edges, 9399 markings/sec, 115 secs
lola: 1746284 markings, 3077157 edges, 14962 markings/sec, 120 secs
lola: 1833414 markings, 3233012 edges, 17426 markings/sec, 125 secs
lola: 1921809 markings, 3388718 edges, 17679 markings/sec, 130 secs
lola: 2010018 markings, 3547776 edges, 17642 markings/sec, 135 secs
lola: 2099834 markings, 3709793 edges, 17963 markings/sec, 140 secs
lola: 2189564 markings, 3871574 edges, 17946 markings/sec, 145 secs
lola: 2279089 markings, 4033460 edges, 17905 markings/sec, 150 secs
lola: 2368168 markings, 4199054 edges, 17816 markings/sec, 155 secs
lola: 2457112 markings, 4366438 edges, 17789 markings/sec, 160 secs
lola: 2545681 markings, 4537961 edges, 17714 markings/sec, 165 secs
lola: 2633730 markings, 4721707 edges, 17610 markings/sec, 170 secs
lola: 2730810 markings, 4920520 edges, 19416 markings/sec, 175 secs
lola: 2828019 markings, 5097938 edges, 19442 markings/sec, 180 secs
lola: 2925821 markings, 5282695 edges, 19560 markings/sec, 185 secs
lola: 3020825 markings, 5472141 edges, 19001 markings/sec, 190 secs
lola: 3116359 markings, 5670705 edges, 19107 markings/sec, 195 secs
lola: 3209837 markings, 5896519 edges, 18696 markings/sec, 200 secs
lola: 3312893 markings, 6151253 edges, 20611 markings/sec, 205 secs
lola: 3416106 markings, 6331144 edges, 20643 markings/sec, 210 secs
lola: 3522656 markings, 6508872 edges, 21310 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p76)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 75742 markings, 174486 edges, 15148 markings/sec, 0 secs
lola: 158373 markings, 341854 edges, 16526 markings/sec, 5 secs
lola: 241185 markings, 502382 edges, 16562 markings/sec, 10 secs
lola: 321692 markings, 660281 edges, 16101 markings/sec, 15 secs
lola: 402760 markings, 815485 edges, 16214 markings/sec, 20 secs
lola: 483681 markings, 963413 edges, 16184 markings/sec, 25 secs
lola: 563698 markings, 1116927 edges, 16003 markings/sec, 30 secs
lola: 641898 markings, 1265609 edges, 15640 markings/sec, 35 secs
lola: 718801 markings, 1406857 edges, 15381 markings/sec, 40 secs
lola: 795836 markings, 1554352 edges, 15407 markings/sec, 45 secs
lola: 873226 markings, 1696015 edges, 15478 markings/sec, 50 secs
lola: 949417 markings, 1842533 edges, 15238 markings/sec, 55 secs
lola: 1026375 markings, 1990592 edges, 15392 markings/sec, 60 secs
lola: 1098840 markings, 2135769 edges, 14493 markings/sec, 65 secs
lola: 1172944 markings, 2285380 edges, 14821 markings/sec, 70 secs
lola: 1249904 markings, 2432473 edges, 15392 markings/sec, 75 secs
lola: 1326591 markings, 2579080 edges, 15337 markings/sec, 80 secs
lola: 1403571 markings, 2724988 edges, 15396 markings/sec, 85 secs
lola: 1480183 markings, 2865234 edges, 15322 markings/sec, 90 secs
lola: 1556110 markings, 3010151 edges, 15185 markings/sec, 95 secs
lola: 1632016 markings, 3155400 edges, 15181 markings/sec, 100 secs
lola: 1706173 markings, 3303220 edges, 14831 markings/sec, 105 secs
lola: 1781170 markings, 3452001 edges, 14999 markings/sec, 110 secs
lola: 1858203 markings, 3598038 edges, 15407 markings/sec, 115 secs
lola: 1934598 markings, 3749162 edges, 15279 markings/sec, 120 secs
lola: 2011003 markings, 3894109 edges, 15281 markings/sec, 125 secs
lola: 2087340 markings, 4038909 edges, 15267 markings/sec, 130 secs
lola: 2164437 markings, 4191288 edges, 15419 markings/sec, 135 secs
lola: 2241995 markings, 4338608 edges, 15512 markings/sec, 140 secs
lola: 2319084 markings, 4490165 edges, 15418 markings/sec, 145 secs
lola: 2397376 markings, 4639138 edges, 15658 markings/sec, 150 secs
lola: 2477316 markings, 4796018 edges, 15988 markings/sec, 155 secs
lola: 2557431 markings, 4953593 edges, 16023 markings/sec, 160 secs
lola: 2639253 markings, 5108686 edges, 16364 markings/sec, 165 secs
lola: 2719188 markings, 5265556 edges, 15987 markings/sec, 170 secs
lola: 2799016 markings, 5417189 edges, 15966 markings/sec, 175 secs
lola: 2894714 markings, 5657447 edges, 19140 markings/sec, 180 secs
lola: 2994191 markings, 5845897 edges, 19895 markings/sec, 185 secs
lola: 3092297 markings, 6034255 edges, 19621 markings/sec, 190 secs
lola: 3191920 markings, 6195828 edges, 19925 markings/sec, 195 secs
lola: 3289409 markings, 6379882 edges, 19498 markings/sec, 200 secs
lola: 3386826 markings, 6567301 edges, 19483 markings/sec, 205 secs
lola: 3485558 markings, 6729414 edges, 19746 markings/sec, 210 secs
lola: 3582221 markings, 6910808 edges, 19333 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 70109 markings, 139839 edges, 14022 markings/sec, 0 secs
lola: 142186 markings, 278107 edges, 14415 markings/sec, 5 secs
lola: 212345 markings, 420797 edges, 14032 markings/sec, 10 secs
lola: 282273 markings, 554170 edges, 13986 markings/sec, 15 secs
lola: 352985 markings, 695226 edges, 14142 markings/sec, 20 secs
lola: 422563 markings, 828800 edges, 13916 markings/sec, 25 secs
lola: 492927 markings, 963917 edges, 14073 markings/sec, 30 secs
lola: 567630 markings, 1099584 edges, 14941 markings/sec, 35 secs
lola: 643583 markings, 1235323 edges, 15191 markings/sec, 40 secs
lola: 719972 markings, 1365160 edges, 15278 markings/sec, 45 secs
lola: 796080 markings, 1500209 edges, 15222 markings/sec, 50 secs
lola: 871954 markings, 1635519 edges, 15175 markings/sec, 55 secs
lola: 947305 markings, 1770180 edges, 15070 markings/sec, 60 secs
lola: 1023435 markings, 1899591 edges, 15226 markings/sec, 65 secs
lola: 1099062 markings, 2033747 edges, 15125 markings/sec, 70 secs
lola: 1174389 markings, 2168354 edges, 15065 markings/sec, 75 secs
lola: 1249432 markings, 2302373 edges, 15009 markings/sec, 80 secs
lola: 1324359 markings, 2436207 edges, 14985 markings/sec, 85 secs
lola: 1399985 markings, 2566027 edges, 15125 markings/sec, 90 secs
lola: 1474757 markings, 2699342 edges, 14954 markings/sec, 95 secs
lola: 1549695 markings, 2833061 edges, 14988 markings/sec, 100 secs
lola: 1624665 markings, 2966828 edges, 14994 markings/sec, 105 secs
lola: 1699120 markings, 3100394 edges, 14891 markings/sec, 110 secs
lola: 1773433 markings, 3237067 edges, 14863 markings/sec, 115 secs
lola: 1847979 markings, 3371361 edges, 14909 markings/sec, 120 secs
lola: 1922199 markings, 3503963 edges, 14844 markings/sec, 125 secs
lola: 1996418 markings, 3637172 edges, 14844 markings/sec, 130 secs
lola: 2069730 markings, 3774096 edges, 14662 markings/sec, 135 secs
lola: 2143929 markings, 3906835 edges, 14840 markings/sec, 140 secs
lola: 2217221 markings, 4043743 edges, 14658 markings/sec, 145 secs
lola: 2290932 markings, 4177115 edges, 14742 markings/sec, 150 secs
lola: 2363900 markings, 4313218 edges, 14594 markings/sec, 155 secs
lola: 2436473 markings, 4452623 edges, 14515 markings/sec, 160 secs
lola: 2509208 markings, 4588845 edges, 14547 markings/sec, 165 secs
lola: 2580913 markings, 4729988 edges, 14341 markings/sec, 170 secs
lola: 2652100 markings, 4872359 edges, 14237 markings/sec, 175 secs
lola: 2722160 markings, 5028627 edges, 14012 markings/sec, 180 secs
lola: 2809381 markings, 5181880 edges, 17444 markings/sec, 185 secs
lola: 2898899 markings, 5339670 edges, 17904 markings/sec, 190 secs
lola: 2988212 markings, 5498291 edges, 17863 markings/sec, 195 secs
lola: 3076572 markings, 5655736 edges, 17672 markings/sec, 200 secs
lola: 3163940 markings, 5811927 edges, 17474 markings/sec, 205 secs
lola: 3251131 markings, 5969259 edges, 17438 markings/sec, 210 secs
lola: 3337533 markings, 6124258 edges, 17280 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p131)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 84262 markings, 162474 edges, 16852 markings/sec, 0 secs
lola: 170718 markings, 320121 edges, 17291 markings/sec, 5 secs
lola: 259368 markings, 472227 edges, 17730 markings/sec, 10 secs
lola: 347329 markings, 624357 edges, 17592 markings/sec, 15 secs
lola: 435103 markings, 770755 edges, 17555 markings/sec, 20 secs
lola: 521973 markings, 920991 edges, 17374 markings/sec, 25 secs
lola: 609471 markings, 1072101 edges, 17500 markings/sec, 30 secs
lola: 696705 markings, 1219754 edges, 17447 markings/sec, 35 secs
lola: 783749 markings, 1365620 edges, 17409 markings/sec, 40 secs
lola: 869471 markings, 1513450 edges, 17144 markings/sec, 45 secs
lola: 950563 markings, 1659925 edges, 16218 markings/sec, 50 secs
lola: 1035926 markings, 1810869 edges, 17073 markings/sec, 55 secs
lola: 1123210 markings, 1961860 edges, 17457 markings/sec, 60 secs
lola: 1209684 markings, 2112831 edges, 17295 markings/sec, 65 secs
lola: 1296255 markings, 2261802 edges, 17314 markings/sec, 70 secs
lola: 1382630 markings, 2410576 edges, 17275 markings/sec, 75 secs
lola: 1468833 markings, 2559141 edges, 17241 markings/sec, 80 secs
lola: 1551510 markings, 2709276 edges, 16535 markings/sec, 85 secs
lola: 1639040 markings, 2865502 edges, 17506 markings/sec, 90 secs
lola: 1725856 markings, 3018938 edges, 17363 markings/sec, 95 secs
lola: 1812725 markings, 3170239 edges, 17374 markings/sec, 100 secs
lola: 1899599 markings, 3325442 edges, 17375 markings/sec, 105 secs
lola: 1988120 markings, 3483446 edges, 17704 markings/sec, 110 secs
lola: 2076359 markings, 3641172 edges, 17648 markings/sec, 115 secs
lola: 2164228 markings, 3801843 edges, 17574 markings/sec, 120 secs
lola: 2252086 markings, 3963861 edges, 17572 markings/sec, 125 secs
lola: 2339769 markings, 4128815 edges, 17537 markings/sec, 130 secs
lola: 2426861 markings, 4300153 edges, 17418 markings/sec, 135 secs
lola: 2513754 markings, 4499367 edges, 17379 markings/sec, 140 secs
lola: 2613141 markings, 4677688 edges, 19877 markings/sec, 145 secs
lola: 2709231 markings, 4855880 edges, 19218 markings/sec, 150 secs
lola: 2803706 markings, 5036284 edges, 18895 markings/sec, 155 secs
lola: 2897719 markings, 5225491 edges, 18803 markings/sec, 160 secs
lola: 2992857 markings, 5428275 edges, 19028 markings/sec, 165 secs
lola: 3082216 markings, 5681313 edges, 17872 markings/sec, 170 secs
lola: 3186958 markings, 5895445 edges, 20948 markings/sec, 175 secs
lola: 3292463 markings, 6071784 edges, 21101 markings/sec, 180 secs
lola: 3395955 markings, 6248592 edges, 20698 markings/sec, 185 secs
lola: 3496184 markings, 6423710 edges, 20046 markings/sec, 190 secs
lola: 3600810 markings, 6600531 edges, 20925 markings/sec, 195 secs
lola: 3701420 markings, 6784056 edges, 20122 markings/sec, 200 secs
lola: 3801354 markings, 6964162 edges, 19987 markings/sec, 205 secs
lola: 3902106 markings, 7142251 edges, 20150 markings/sec, 210 secs
lola: 3999998 markings, 7330250 edges, 19578 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p366)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 118407 markings, 196879 edges, 23681 markings/sec, 0 secs
lola: 234387 markings, 394698 edges, 23196 markings/sec, 5 secs
lola: 349274 markings, 595724 edges, 22977 markings/sec, 10 secs
lola: 459989 markings, 802671 edges, 22143 markings/sec, 15 secs
lola: 565988 markings, 1034298 edges, 21200 markings/sec, 20 secs
lola: 696771 markings, 1271322 edges, 26157 markings/sec, 25 secs
lola: 828669 markings, 1479255 edges, 26380 markings/sec, 30 secs
lola: 960916 markings, 1687970 edges, 26449 markings/sec, 35 secs
lola: 1092728 markings, 1896349 edges, 26362 markings/sec, 40 secs
lola: 1223667 markings, 2105838 edges, 26188 markings/sec, 45 secs
lola: 1356624 markings, 2315374 edges, 26591 markings/sec, 50 secs
lola: 1482902 markings, 2526965 edges, 25256 markings/sec, 55 secs
lola: 1610800 markings, 2739385 edges, 25580 markings/sec, 60 secs
lola: 1739598 markings, 2954686 edges, 25760 markings/sec, 65 secs
lola: 1863331 markings, 3172851 edges, 24747 markings/sec, 70 secs
lola: 1985743 markings, 3398537 edges, 24482 markings/sec, 75 secs
lola: 2104697 markings, 3638616 edges, 23791 markings/sec, 80 secs
lola: 2210144 markings, 3885228 edges, 21089 markings/sec, 85 secs
lola: 2312639 markings, 4085630 edges, 20499 markings/sec, 90 secs
lola: 2412784 markings, 4284347 edges, 20029 markings/sec, 95 secs
lola: 2512892 markings, 4483538 edges, 20022 markings/sec, 100 secs
lola: 2611331 markings, 4684636 edges, 19688 markings/sec, 105 secs
lola: 2708557 markings, 4888730 edges, 19445 markings/sec, 110 secs
lola: 2802755 markings, 5102218 edges, 18840 markings/sec, 115 secs
lola: 2906005 markings, 5331100 edges, 20650 markings/sec, 120 secs
lola: 3025795 markings, 5531197 edges, 23958 markings/sec, 125 secs
lola: 3140556 markings, 5731457 edges, 22952 markings/sec, 130 secs
lola: 3255412 markings, 5936698 edges, 22971 markings/sec, 135 secs
lola: 3365449 markings, 6153200 edges, 22007 markings/sec, 140 secs
lola: 3483313 markings, 6408413 edges, 23573 markings/sec, 145 secs
lola: 3614905 markings, 6617243 edges, 26318 markings/sec, 150 secs
lola: 3743958 markings, 6820230 edges, 25811 markings/sec, 155 secs
lola: 3871673 markings, 7021205 edges, 25543 markings/sec, 160 secs
lola: 3981683 markings, 7193124 edges, 22002 markings/sec, 165 secs
lola: 4092191 markings, 7369028 edges, 22102 markings/sec, 170 secs
lola: 4202878 markings, 7547631 edges, 22137 markings/sec, 175 secs
lola: 4321740 markings, 7746890 edges, 23772 markings/sec, 180 secs
lola: 4448274 markings, 7955247 edges, 25307 markings/sec, 185 secs
lola: 4574116 markings, 8169573 edges, 25168 markings/sec, 190 secs
lola: 4697846 markings, 8385121 edges, 24746 markings/sec, 195 secs
lola: 4820701 markings, 8606596 edges, 24571 markings/sec, 200 secs
lola: 4938350 markings, 8841540 edges, 23530 markings/sec, 205 secs
lola: 5043307 markings, 9093940 edges, 20991 markings/sec, 210 secs
lola: 5144956 markings, 9291782 edges, 20330 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p292 + p291 + p290 + p289 + p288 + p287 + p286 + p285 + p284 + p283 + p282 + p281 + p280 + p279 + p278 + p277 + p276 + p275 + p274 + p273 + p272)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 70655 markings, 148571 edges, 14131 markings/sec, 0 secs
lola: 142569 markings, 293856 edges, 14383 markings/sec, 5 secs
lola: 212930 markings, 445456 edges, 14072 markings/sec, 10 secs
lola: 283419 markings, 587557 edges, 14098 markings/sec, 15 secs
lola: 353945 markings, 736904 edges, 14105 markings/sec, 20 secs
lola: 423502 markings, 877983 edges, 13911 markings/sec, 25 secs
lola: 494170 markings, 1021188 edges, 14134 markings/sec, 30 secs
lola: 566982 markings, 1164752 edges, 14562 markings/sec, 35 secs
lola: 641753 markings, 1309209 edges, 14954 markings/sec, 40 secs
lola: 715772 markings, 1446531 edges, 14804 markings/sec, 45 secs
lola: 788873 markings, 1587262 edges, 14620 markings/sec, 50 secs
lola: 862443 markings, 1729220 edges, 14714 markings/sec, 55 secs
lola: 937027 markings, 1867936 edges, 14917 markings/sec, 60 secs
lola: 1010465 markings, 2009651 edges, 14688 markings/sec, 65 secs
lola: 1083624 markings, 2150493 edges, 14632 markings/sec, 70 secs
lola: 1156820 markings, 2292207 edges, 14639 markings/sec, 75 secs
lola: 1230997 markings, 2436026 edges, 14835 markings/sec, 80 secs
lola: 1304712 markings, 2572422 edges, 14743 markings/sec, 85 secs
lola: 1377330 markings, 2713106 edges, 14524 markings/sec, 90 secs
lola: 1450772 markings, 2855238 edges, 14688 markings/sec, 95 secs
lola: 1524393 markings, 2997681 edges, 14724 markings/sec, 100 secs
lola: 1597366 markings, 3138988 edges, 14595 markings/sec, 105 secs
lola: 1670462 markings, 3280520 edges, 14619 markings/sec, 110 secs
lola: 1743952 markings, 3422763 edges, 14698 markings/sec, 115 secs
lola: 1816768 markings, 3563797 edges, 14563 markings/sec, 120 secs
lola: 1890389 markings, 3706648 edges, 14724 markings/sec, 125 secs
lola: 1963286 markings, 3853657 edges, 14579 markings/sec, 130 secs
lola: 2036138 markings, 3995158 edges, 14570 markings/sec, 135 secs
lola: 2110443 markings, 4139228 edges, 14861 markings/sec, 140 secs
lola: 2184330 markings, 4287989 edges, 14777 markings/sec, 145 secs
lola: 2258299 markings, 4431473 edges, 14794 markings/sec, 150 secs
lola: 2331780 markings, 4579512 edges, 14696 markings/sec, 155 secs
lola: 2405501 markings, 4722551 edges, 14744 markings/sec, 160 secs
lola: 2480839 markings, 4873872 edges, 15068 markings/sec, 165 secs
lola: 2554403 markings, 5016625 edges, 14713 markings/sec, 170 secs
lola: 2627578 markings, 5164128 edges, 14635 markings/sec, 175 secs
lola: 2700679 markings, 5306058 edges, 14620 markings/sec, 180 secs
lola: 2781113 markings, 5525663 edges, 16087 markings/sec, 185 secs
lola: 2869771 markings, 5683396 edges, 17732 markings/sec, 190 secs
lola: 2958668 markings, 5843283 edges, 17779 markings/sec, 195 secs
lola: 3046623 markings, 6012809 edges, 17591 markings/sec, 200 secs
lola: 3136028 markings, 6160669 edges, 17881 markings/sec, 205 secs
lola: 3222037 markings, 6325843 edges, 17202 markings/sec, 210 secs
lola: 3307738 markings, 6492325 edges, 17140 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 70649 markings, 140834 edges, 14130 markings/sec, 0 secs
lola: 143352 markings, 280298 edges, 14541 markings/sec, 5 secs
lola: 213863 markings, 423628 edges, 14102 markings/sec, 10 secs
lola: 284399 markings, 558413 edges, 14107 markings/sec, 15 secs
lola: 355853 markings, 700757 edges, 14291 markings/sec, 20 secs
lola: 425761 markings, 834739 edges, 13982 markings/sec, 25 secs
lola: 496688 markings, 970902 edges, 14185 markings/sec, 30 secs
lola: 572257 markings, 1107686 edges, 15114 markings/sec, 35 secs
lola: 649118 markings, 1244598 edges, 15372 markings/sec, 40 secs
lola: 726278 markings, 1375978 edges, 15432 markings/sec, 45 secs
lola: 802971 markings, 1511986 edges, 15339 markings/sec, 50 secs
lola: 879148 markings, 1647490 edges, 15235 markings/sec, 55 secs
lola: 955312 markings, 1783457 edges, 15233 markings/sec, 60 secs
lola: 1032104 markings, 1914558 edges, 15358 markings/sec, 65 secs
lola: 1108455 markings, 2049886 edges, 15270 markings/sec, 70 secs
lola: 1184438 markings, 2185249 edges, 15197 markings/sec, 75 secs
lola: 1260281 markings, 2320557 edges, 15169 markings/sec, 80 secs
lola: 1336131 markings, 2455897 edges, 15170 markings/sec, 85 secs
lola: 1411921 markings, 2591422 edges, 15158 markings/sec, 90 secs
lola: 1487289 markings, 2725849 edges, 15074 markings/sec, 95 secs
lola: 1562795 markings, 2860788 edges, 15101 markings/sec, 100 secs
lola: 1638433 markings, 2995121 edges, 15128 markings/sec, 105 secs
lola: 1713639 markings, 3129968 edges, 15041 markings/sec, 110 secs
lola: 1788844 markings, 3264293 edges, 15041 markings/sec, 115 secs
lola: 1863776 markings, 3398178 edges, 14986 markings/sec, 120 secs
lola: 1938555 markings, 3532299 edges, 14956 markings/sec, 125 secs
lola: 2013446 markings, 3667539 edges, 14978 markings/sec, 130 secs
lola: 2087792 markings, 3804890 edges, 14869 markings/sec, 135 secs
lola: 2162466 markings, 3939957 edges, 14935 markings/sec, 140 secs
lola: 2236343 markings, 4076878 edges, 14775 markings/sec, 145 secs
lola: 2310191 markings, 4214275 edges, 14770 markings/sec, 150 secs
lola: 2383703 markings, 4351389 edges, 14702 markings/sec, 155 secs
lola: 2456744 markings, 4488563 edges, 14608 markings/sec, 160 secs
lola: 2529587 markings, 4628572 edges, 14569 markings/sec, 165 secs
lola: 2601764 markings, 4771756 edges, 14435 markings/sec, 170 secs
lola: 2673730 markings, 4917873 edges, 14393 markings/sec, 175 secs
lola: 2747578 markings, 5084380 edges, 14770 markings/sec, 180 secs
lola: 2837802 markings, 5245508 edges, 18045 markings/sec, 185 secs
lola: 2928864 markings, 5388051 edges, 18212 markings/sec, 190 secs
lola: 3018852 markings, 5547520 edges, 17998 markings/sec, 195 secs
lola: 3107020 markings, 5704718 edges, 17634 markings/sec, 200 secs
lola: 3194291 markings, 5860802 edges, 17454 markings/sec, 205 secs
lola: 3281047 markings, 6015882 edges, 17351 markings/sec, 210 secs
lola: 3367502 markings, 6171283 edges, 17291 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 72961 markings, 145156 edges, 14592 markings/sec, 0 secs
lola: 147751 markings, 288802 edges, 14958 markings/sec, 5 secs
lola: 220018 markings, 435344 edges, 14453 markings/sec, 10 secs
lola: 292633 markings, 574034 edges, 14523 markings/sec, 15 secs
lola: 365497 markings, 719822 edges, 14573 markings/sec, 20 secs
lola: 437527 markings, 857216 edges, 14406 markings/sec, 25 secs
lola: 510463 markings, 1001297 edges, 14587 markings/sec, 30 secs
lola: 588679 markings, 1135815 edges, 15643 markings/sec, 35 secs
lola: 666620 markings, 1274155 edges, 15588 markings/sec, 40 secs
lola: 744280 markings, 1412663 edges, 15532 markings/sec, 45 secs
lola: 822939 markings, 1546167 edges, 15732 markings/sec, 50 secs
lola: 900288 markings, 1683557 edges, 15470 markings/sec, 55 secs
lola: 977905 markings, 1821564 edges, 15523 markings/sec, 60 secs
lola: 1055195 markings, 1959653 edges, 15458 markings/sec, 65 secs
lola: 1133242 markings, 2092787 edges, 15609 markings/sec, 70 secs
lola: 1210250 markings, 2229824 edges, 15402 markings/sec, 75 secs
lola: 1287274 markings, 2366740 edges, 15405 markings/sec, 80 secs
lola: 1364518 markings, 2504308 edges, 15449 markings/sec, 85 secs
lola: 1441385 markings, 2641288 edges, 15373 markings/sec, 90 secs
lola: 1518049 markings, 2778105 edges, 15333 markings/sec, 95 secs
lola: 1594796 markings, 2915054 edges, 15349 markings/sec, 100 secs
lola: 1671333 markings, 3051683 edges, 15307 markings/sec, 105 secs
lola: 1747717 markings, 3188225 edges, 15277 markings/sec, 110 secs
lola: 1824283 markings, 3325387 edges, 15313 markings/sec, 115 secs
lola: 1899920 markings, 3464829 edges, 15127 markings/sec, 120 secs
lola: 1962450 markings, 3578776 edges, 12506 markings/sec, 125 secs
lola: 2007639 markings, 3657202 edges, 9038 markings/sec, 130 secs
lola: 2051344 markings, 3737291 edges, 8741 markings/sec, 135 secs
lola: 2095193 markings, 3817788 edges, 8770 markings/sec, 140 secs
lola: 2139081 markings, 3898362 edges, 8778 markings/sec, 145 secs
lola: 2182784 markings, 3978940 edges, 8741 markings/sec, 150 secs
lola: 2226421 markings, 4059566 edges, 8727 markings/sec, 155 secs
lola: 2270249 markings, 4140214 edges, 8766 markings/sec, 160 secs
lola: 2313961 markings, 4220966 edges, 8742 markings/sec, 165 secs
lola: 2357484 markings, 4301584 edges, 8705 markings/sec, 170 secs
lola: 2401150 markings, 4383067 edges, 8733 markings/sec, 175 secs
lola: 2444246 markings, 4466128 edges, 8619 markings/sec, 180 secs
lola: 2487656 markings, 4547055 edges, 8682 markings/sec, 185 secs
lola: 2530519 markings, 4630386 edges, 8573 markings/sec, 190 secs
lola: 2573490 markings, 4714361 edges, 8594 markings/sec, 195 secs
lola: 2616439 markings, 4798934 edges, 8590 markings/sec, 200 secs
lola: 2659020 markings, 4886819 edges, 8516 markings/sec, 205 secs
lola: 2701732 markings, 4978712 edges, 8542 markings/sec, 210 secs
lola: 2746272 markings, 5081437 edges, 8908 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 57355 markings, 132026 edges, 11471 markings/sec, 0 secs
lola: 113874 markings, 258310 edges, 11304 markings/sec, 5 secs
lola: 170668 markings, 369122 edges, 11359 markings/sec, 10 secs
lola: 226294 markings, 498903 edges, 11125 markings/sec, 15 secs
lola: 280714 markings, 622915 edges, 10884 markings/sec, 20 secs
lola: 337734 markings, 738377 edges, 11404 markings/sec, 25 secs
lola: 393547 markings, 860682 edges, 11163 markings/sec, 30 secs
lola: 448292 markings, 983986 edges, 10949 markings/sec, 35 secs
lola: 503952 markings, 1104444 edges, 11132 markings/sec, 40 secs
lola: 560034 markings, 1215209 edges, 11216 markings/sec, 45 secs
lola: 615371 markings, 1337733 edges, 11067 markings/sec, 50 secs
lola: 670929 markings, 1445764 edges, 11112 markings/sec, 55 secs
lola: 725969 markings, 1564698 edges, 11008 markings/sec, 60 secs
lola: 781264 markings, 1675833 edges, 11059 markings/sec, 65 secs
lola: 836059 markings, 1793093 edges, 10959 markings/sec, 70 secs
lola: 891425 markings, 1905904 edges, 11073 markings/sec, 75 secs
lola: 946299 markings, 2017707 edges, 10975 markings/sec, 80 secs
lola: 1001299 markings, 2135346 edges, 11000 markings/sec, 85 secs
lola: 1056034 markings, 2243509 edges, 10947 markings/sec, 90 secs
lola: 1111018 markings, 2363864 edges, 10997 markings/sec, 95 secs
lola: 1165814 markings, 2471399 edges, 10959 markings/sec, 100 secs
lola: 1220653 markings, 2592241 edges, 10968 markings/sec, 105 secs
lola: 1275671 markings, 2699824 edges, 11004 markings/sec, 110 secs
lola: 1330317 markings, 2820411 edges, 10929 markings/sec, 115 secs
lola: 1384781 markings, 2927916 edges, 10893 markings/sec, 120 secs
lola: 1439536 markings, 3047123 edges, 10951 markings/sec, 125 secs
lola: 1493837 markings, 3160765 edges, 10860 markings/sec, 130 secs
lola: 1548768 markings, 3273992 edges, 10986 markings/sec, 135 secs
lola: 1603239 markings, 3389448 edges, 10894 markings/sec, 140 secs
lola: 1657951 markings, 3500794 edges, 10942 markings/sec, 145 secs
lola: 1712142 markings, 3618079 edges, 10838 markings/sec, 150 secs
lola: 1766432 markings, 3727137 edges, 10858 markings/sec, 155 secs
lola: 1820984 markings, 3844996 edges, 10910 markings/sec, 160 secs
lola: 1875244 markings, 3960073 edges, 10852 markings/sec, 165 secs
lola: 1929480 markings, 4070477 edges, 10847 markings/sec, 170 secs
lola: 1983647 markings, 4187864 edges, 10833 markings/sec, 175 secs
lola: 2037650 markings, 4302804 edges, 10801 markings/sec, 180 secs
lola: 2091712 markings, 4413918 edges, 10812 markings/sec, 185 secs
lola: 2145895 markings, 4529534 edges, 10837 markings/sec, 190 secs
lola: 2199718 markings, 4646043 edges, 10765 markings/sec, 195 secs
lola: 2253472 markings, 4761271 edges, 10751 markings/sec, 200 secs
lola: 2307405 markings, 4875794 edges, 10787 markings/sec, 205 secs
lola: 2361079 markings, 4991179 edges, 10735 markings/sec, 210 secs
lola: 2414731 markings, 5104559 edges, 10730 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p318 + p319 + p320 + p321 + p322)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 57938 markings, 122932 edges, 11588 markings/sec, 0 secs
lola: 126771 markings, 261815 edges, 13767 markings/sec, 5 secs
lola: 190550 markings, 399037 edges, 12756 markings/sec, 10 secs
lola: 259693 markings, 539621 edges, 13829 markings/sec, 15 secs
lola: 330168 markings, 682458 edges, 14095 markings/sec, 20 secs
lola: 396539 markings, 823695 edges, 13274 markings/sec, 25 secs
lola: 466560 markings, 965301 edges, 14004 markings/sec, 30 secs
lola: 538104 markings, 1111408 edges, 14309 markings/sec, 35 secs
lola: 611853 markings, 1248262 edges, 14750 markings/sec, 40 secs
lola: 683982 markings, 1387283 edges, 14426 markings/sec, 45 secs
lola: 757787 markings, 1529645 edges, 14761 markings/sec, 50 secs
lola: 829481 markings, 1662478 edges, 14339 markings/sec, 55 secs
lola: 902686 markings, 1803791 edges, 14641 markings/sec, 60 secs
lola: 976434 markings, 1946456 edges, 14750 markings/sec, 65 secs
lola: 1049974 markings, 2088758 edges, 14708 markings/sec, 70 secs
lola: 1123041 markings, 2224002 edges, 14613 markings/sec, 75 secs
lola: 1196335 markings, 2365487 edges, 14659 markings/sec, 80 secs
lola: 1269823 markings, 2507691 edges, 14698 markings/sec, 85 secs
lola: 1342853 markings, 2648705 edges, 14606 markings/sec, 90 secs
lola: 1415640 markings, 2789678 edges, 14557 markings/sec, 95 secs
lola: 1489410 markings, 2932787 edges, 14754 markings/sec, 100 secs
lola: 1562421 markings, 3074170 edges, 14602 markings/sec, 105 secs
lola: 1635022 markings, 3209008 edges, 14520 markings/sec, 110 secs
lola: 1708228 markings, 3356555 edges, 14641 markings/sec, 115 secs
lola: 1778944 markings, 3493485 edges, 14143 markings/sec, 120 secs
lola: 1848186 markings, 3628231 edges, 13848 markings/sec, 125 secs
lola: 1920431 markings, 3768252 edges, 14449 markings/sec, 130 secs
lola: 1991849 markings, 3906833 edges, 14284 markings/sec, 135 secs
lola: 2062276 markings, 4044065 edges, 14085 markings/sec, 140 secs
lola: 2133161 markings, 4187131 edges, 14177 markings/sec, 145 secs
lola: 2204220 markings, 4325066 edges, 14212 markings/sec, 150 secs
lola: 2277044 markings, 4471951 edges, 14565 markings/sec, 155 secs
lola: 2350624 markings, 4614741 edges, 14716 markings/sec, 160 secs
lola: 2422625 markings, 4754348 edges, 14400 markings/sec, 165 secs
lola: 2496582 markings, 4903227 edges, 14791 markings/sec, 170 secs
lola: 2569065 markings, 5044077 edges, 14497 markings/sec, 175 secs
lola: 2639914 markings, 5187080 edges, 14170 markings/sec, 180 secs
lola: 2713501 markings, 5329872 edges, 14717 markings/sec, 185 secs
lola: 2797053 markings, 5552286 edges, 16710 markings/sec, 190 secs
lola: 2886076 markings, 5724988 edges, 17805 markings/sec, 195 secs
lola: 2976120 markings, 5871943 edges, 18009 markings/sec, 200 secs
lola: 3064617 markings, 6040435 edges, 17699 markings/sec, 205 secs
lola: 3152964 markings, 6213982 edges, 17669 markings/sec, 210 secs
lola: 3240702 markings, 6357833 edges, 17548 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA PolyORBNT-COL-S05J20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494657338857
--------------------
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="PolyORBNT-COL-S05J20"
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/PolyORBNT-COL-S05J20.tgz
mv PolyORBNT-COL-S05J20 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 PolyORBNT-COL-S05J20, 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 r058-smll-149440926000002"
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 ;