About the Execution of LoLA for Raft-PT-09
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
2459.600 | 3540137.00 | 3549684.00 | 170.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 Raft-PT-09, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r068-csrt-149440963000020
=====================================================================
--------------------
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 Raft-PT-09-UpperBounds-0
FORMULA_NAME Raft-PT-09-UpperBounds-1
FORMULA_NAME Raft-PT-09-UpperBounds-10
FORMULA_NAME Raft-PT-09-UpperBounds-11
FORMULA_NAME Raft-PT-09-UpperBounds-12
FORMULA_NAME Raft-PT-09-UpperBounds-13
FORMULA_NAME Raft-PT-09-UpperBounds-14
FORMULA_NAME Raft-PT-09-UpperBounds-15
FORMULA_NAME Raft-PT-09-UpperBounds-2
FORMULA_NAME Raft-PT-09-UpperBounds-3
FORMULA_NAME Raft-PT-09-UpperBounds-4
FORMULA_NAME Raft-PT-09-UpperBounds-5
FORMULA_NAME Raft-PT-09-UpperBounds-6
FORMULA_NAME Raft-PT-09-UpperBounds-7
FORMULA_NAME Raft-PT-09-UpperBounds-8
FORMULA_NAME Raft-PT-09-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494799773178
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Raft-PT-09 @ 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: 1123/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 413 places, 710 transitions, 332 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 700 transition conflict sets
lola: TASK
lola: reading formula from Raft-PT-09-UpperBounds.task
lola: MAX(p345) : MAX(p269) : MAX(p38) : MAX(p323) : MAX(p115) : MAX(p237) : MAX(p103) : MAX(p117) : MAX(p311) : MAX(p310) : MAX(p88) : MAX(p36) : MAX(p120) : MAX(p122) : MAX(p346) : MAX(p14)
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(p345)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 246002 markings, 532769 edges, 49200 markings/sec, 0 secs
lola: 491455 markings, 1064584 edges, 49091 markings/sec, 5 secs
lola: 731953 markings, 1585813 edges, 48100 markings/sec, 10 secs
lola: 986022 markings, 2136943 edges, 50814 markings/sec, 15 secs
lola: 1229982 markings, 2670259 edges, 48792 markings/sec, 20 secs
lola: 1470286 markings, 3192547 edges, 48061 markings/sec, 25 secs
lola: 1706503 markings, 3721283 edges, 47243 markings/sec, 30 secs
lola: 1940182 markings, 4230124 edges, 46736 markings/sec, 35 secs
lola: 2157356 markings, 4704367 edges, 43435 markings/sec, 40 secs
lola: 2381296 markings, 5192499 edges, 44788 markings/sec, 45 secs
lola: 2603700 markings, 5676133 edges, 44481 markings/sec, 50 secs
lola: 2826920 markings, 6168696 edges, 44644 markings/sec, 55 secs
lola: 3051291 markings, 6661555 edges, 44874 markings/sec, 60 secs
lola: 3282838 markings, 7171679 edges, 46309 markings/sec, 65 secs
lola: 3520385 markings, 7691284 edges, 47509 markings/sec, 70 secs
lola: 3761540 markings, 8225947 edges, 48231 markings/sec, 75 secs
lola: 4002895 markings, 8757892 edges, 48271 markings/sec, 80 secs
lola: 4247100 markings, 9297364 edges, 48841 markings/sec, 85 secs
lola: 4489439 markings, 9823884 edges, 48468 markings/sec, 90 secs
lola: 4725722 markings, 10335840 edges, 47257 markings/sec, 95 secs
lola: 4960919 markings, 10845513 edges, 47039 markings/sec, 100 secs
lola: 5193424 markings, 11349267 edges, 46501 markings/sec, 105 secs
lola: 5426401 markings, 11854060 edges, 46595 markings/sec, 110 secs
lola: 5647527 markings, 12333160 edges, 44225 markings/sec, 115 secs
lola: 5867801 markings, 12810419 edges, 44055 markings/sec, 120 secs
lola: 6094559 markings, 13302173 edges, 45352 markings/sec, 125 secs
lola: 6326035 markings, 13807338 edges, 46295 markings/sec, 130 secs
lola: 6552922 markings, 14302696 edges, 45377 markings/sec, 135 secs
lola: 6784592 markings, 14806847 edges, 46334 markings/sec, 140 secs
lola: 7004770 markings, 15289020 edges, 44036 markings/sec, 145 secs
lola: 7239817 markings, 15800239 edges, 47009 markings/sec, 150 secs
lola: 7463260 markings, 16289308 edges, 44689 markings/sec, 155 secs
lola: 7690619 markings, 16782876 edges, 45472 markings/sec, 160 secs
lola: 7917724 markings, 17275255 edges, 45421 markings/sec, 165 secs
lola: 8146541 markings, 17774814 edges, 45763 markings/sec, 170 secs
lola: 8372951 markings, 18269039 edges, 45282 markings/sec, 175 secs
lola: 8599092 markings, 18761848 edges, 45228 markings/sec, 180 secs
lola: 8824685 markings, 19253088 edges, 45119 markings/sec, 185 secs
lola: 9052326 markings, 19751400 edges, 45528 markings/sec, 190 secs
lola: 9279446 markings, 20247194 edges, 45424 markings/sec, 195 secs
lola: 9506245 markings, 20744402 edges, 45360 markings/sec, 200 secs
lola: 9739259 markings, 21251235 edges, 46603 markings/sec, 205 secs
lola: 9973995 markings, 21762934 edges, 46947 markings/sec, 210 secs
lola: 10209634 markings, 22279685 edges, 47128 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(p269)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 242089 markings, 584578 edges, 48418 markings/sec, 0 secs
lola: 483892 markings, 1168775 edges, 48361 markings/sec, 5 secs
lola: 725109 markings, 1751023 edges, 48243 markings/sec, 10 secs
lola: 964933 markings, 2330417 edges, 47965 markings/sec, 15 secs
lola: 1203614 markings, 2906948 edges, 47736 markings/sec, 20 secs
lola: 1442545 markings, 3484171 edges, 47786 markings/sec, 25 secs
lola: 1682758 markings, 4065488 edges, 48043 markings/sec, 30 secs
lola: 1920317 markings, 4639128 edges, 47512 markings/sec, 35 secs
lola: 2159434 markings, 5216821 edges, 47823 markings/sec, 40 secs
lola: 2393463 markings, 5782159 edges, 46806 markings/sec, 45 secs
lola: 2625539 markings, 6342540 edges, 46415 markings/sec, 50 secs
lola: 2864766 markings, 6921425 edges, 47845 markings/sec, 55 secs
lola: 3107970 markings, 7509114 edges, 48641 markings/sec, 60 secs
lola: 3358506 markings, 8114551 edges, 50107 markings/sec, 65 secs
lola: 3607986 markings, 8717323 edges, 49896 markings/sec, 70 secs
lola: 3855900 markings, 9316234 edges, 49583 markings/sec, 75 secs
lola: 4103334 markings, 9914095 edges, 49487 markings/sec, 80 secs
lola: 4350541 markings, 10511184 edges, 49441 markings/sec, 85 secs
lola: 4598612 markings, 11110501 edges, 49614 markings/sec, 90 secs
lola: 4840987 markings, 11696218 edges, 48475 markings/sec, 95 secs
lola: 5078351 markings, 12269296 edges, 47473 markings/sec, 100 secs
lola: 5316950 markings, 12845737 edges, 47720 markings/sec, 105 secs
lola: 5557802 markings, 13427649 edges, 48170 markings/sec, 110 secs
lola: 5795765 markings, 14003038 edges, 47593 markings/sec, 115 secs
lola: 6034341 markings, 14579738 edges, 47715 markings/sec, 120 secs
lola: 6271797 markings, 15153452 edges, 47491 markings/sec, 125 secs
lola: 6509310 markings, 15727626 edges, 47503 markings/sec, 130 secs
lola: 6745955 markings, 16299390 edges, 47329 markings/sec, 135 secs
lola: 6984468 markings, 16875671 edges, 47703 markings/sec, 140 secs
lola: 7221387 markings, 17449253 edges, 47384 markings/sec, 145 secs
lola: 7459295 markings, 18023998 edges, 47582 markings/sec, 150 secs
lola: 7699431 markings, 18604497 edges, 48027 markings/sec, 155 secs
lola: 7935871 markings, 19176629 edges, 47288 markings/sec, 160 secs
lola: 8175183 markings, 19755585 edges, 47862 markings/sec, 165 secs
lola: 8412753 markings, 20330423 edges, 47514 markings/sec, 170 secs
lola: 8653283 markings, 20911620 edges, 48106 markings/sec, 175 secs
lola: 8893838 markings, 21493659 edges, 48111 markings/sec, 180 secs
lola: 9130569 markings, 22066021 edges, 47346 markings/sec, 185 secs
lola: 9375615 markings, 22657918 edges, 49009 markings/sec, 190 secs
lola: 9626385 markings, 23264246 edges, 50154 markings/sec, 195 secs
lola: 9860575 markings, 23829897 edges, 46838 markings/sec, 200 secs
lola: 10096132 markings, 24399034 edges, 47111 markings/sec, 205 secs
lola: 10334304 markings, 24975407 edges, 47634 markings/sec, 210 secs
lola: 10565574 markings, 25534752 edges, 46254 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(p38)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 231883 markings, 595465 edges, 46377 markings/sec, 0 secs
lola: 464455 markings, 1192601 edges, 46514 markings/sec, 5 secs
lola: 700205 markings, 1797838 edges, 47150 markings/sec, 10 secs
lola: 948733 markings, 2436119 edges, 49706 markings/sec, 15 secs
lola: 1199415 markings, 3079897 edges, 50136 markings/sec, 20 secs
lola: 1449605 markings, 3722675 edges, 50038 markings/sec, 25 secs
lola: 1701280 markings, 4368943 edges, 50335 markings/sec, 30 secs
lola: 1951807 markings, 5013213 edges, 50105 markings/sec, 35 secs
lola: 2203410 markings, 5658244 edges, 50321 markings/sec, 40 secs
lola: 2454110 markings, 6302859 edges, 50140 markings/sec, 45 secs
lola: 2703937 markings, 6944252 edges, 49965 markings/sec, 50 secs
lola: 2955431 markings, 7589828 edges, 50299 markings/sec, 55 secs
lola: 3205408 markings, 8232320 edges, 49995 markings/sec, 60 secs
lola: 3456369 markings, 8876677 edges, 50192 markings/sec, 65 secs
lola: 3705921 markings, 9518495 edges, 49910 markings/sec, 70 secs
lola: 3956977 markings, 10162969 edges, 50211 markings/sec, 75 secs
lola: 4205308 markings, 10802331 edges, 49666 markings/sec, 80 secs
lola: 4456408 markings, 11447796 edges, 50220 markings/sec, 85 secs
lola: 4706668 markings, 12091394 edges, 50052 markings/sec, 90 secs
lola: 4957788 markings, 12736381 edges, 50224 markings/sec, 95 secs
lola: 5203961 markings, 13369843 edges, 49235 markings/sec, 100 secs
lola: 5452407 markings, 14008925 edges, 49689 markings/sec, 105 secs
lola: 5702375 markings, 14650452 edges, 49994 markings/sec, 110 secs
lola: 5951871 markings, 15291573 edges, 49899 markings/sec, 115 secs
lola: 6201950 markings, 15933823 edges, 50016 markings/sec, 120 secs
lola: 6452828 markings, 16577112 edges, 50176 markings/sec, 125 secs
lola: 6702439 markings, 17218834 edges, 49922 markings/sec, 130 secs
lola: 6951012 markings, 17856882 edges, 49715 markings/sec, 135 secs
lola: 7200915 markings, 18498690 edges, 49981 markings/sec, 140 secs
lola: 7450659 markings, 19140391 edges, 49949 markings/sec, 145 secs
lola: 7698333 markings, 19776409 edges, 49535 markings/sec, 150 secs
lola: 7944921 markings, 20410318 edges, 49318 markings/sec, 155 secs
lola: 8192056 markings, 21045767 edges, 49427 markings/sec, 160 secs
lola: 8439806 markings, 21682559 edges, 49550 markings/sec, 165 secs
lola: 8688513 markings, 22322271 edges, 49741 markings/sec, 170 secs
lola: 8937189 markings, 22961116 edges, 49735 markings/sec, 175 secs
lola: 9184473 markings, 23597113 edges, 49457 markings/sec, 180 secs
lola: 9433835 markings, 24238128 edges, 49872 markings/sec, 185 secs
lola: 9681818 markings, 24874612 edges, 49597 markings/sec, 190 secs
lola: 9930473 markings, 25513416 edges, 49731 markings/sec, 195 secs
lola: 10179523 markings, 26153078 edges, 49810 markings/sec, 200 secs
lola: 10428966 markings, 26794811 edges, 49889 markings/sec, 205 secs
lola: 10676671 markings, 27431901 edges, 49541 markings/sec, 210 secs
lola: 10926519 markings, 28074851 edges, 49970 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(p323)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 251116 markings, 596754 edges, 50223 markings/sec, 0 secs
lola: 503450 markings, 1196583 edges, 50467 markings/sec, 5 secs
lola: 754685 markings, 1794035 edges, 50247 markings/sec, 10 secs
lola: 1006318 markings, 2392257 edges, 50327 markings/sec, 15 secs
lola: 1257788 markings, 2990015 edges, 50294 markings/sec, 20 secs
lola: 1516791 markings, 3605671 edges, 51801 markings/sec, 25 secs
lola: 1773824 markings, 4216777 edges, 51407 markings/sec, 30 secs
lola: 2031562 markings, 4829460 edges, 51548 markings/sec, 35 secs
lola: 2288390 markings, 5440316 edges, 51366 markings/sec, 40 secs
lola: 2545672 markings, 6052045 edges, 51456 markings/sec, 45 secs
lola: 2802315 markings, 6662220 edges, 51329 markings/sec, 50 secs
lola: 3058718 markings, 7271767 edges, 51281 markings/sec, 55 secs
lola: 3312209 markings, 7874537 edges, 50698 markings/sec, 60 secs
lola: 3564389 markings, 8474605 edges, 50436 markings/sec, 65 secs
lola: 3818546 markings, 9078692 edges, 50831 markings/sec, 70 secs
lola: 4075659 markings, 9689917 edges, 51423 markings/sec, 75 secs
lola: 4331128 markings, 10297252 edges, 51094 markings/sec, 80 secs
lola: 4588161 markings, 10908149 edges, 51407 markings/sec, 85 secs
lola: 4843096 markings, 11514339 edges, 50987 markings/sec, 90 secs
lola: 5097068 markings, 12118260 edges, 50794 markings/sec, 95 secs
lola: 5326350 markings, 12663287 edges, 45856 markings/sec, 100 secs
lola: 5558116 markings, 13214307 edges, 46353 markings/sec, 105 secs
lola: 5784828 markings, 13753240 edges, 45342 markings/sec, 110 secs
lola: 6011996 markings, 14293211 edges, 45434 markings/sec, 115 secs
lola: 6240470 markings, 14836199 edges, 45695 markings/sec, 120 secs
lola: 6494954 markings, 15441211 edges, 50897 markings/sec, 125 secs
lola: 6746603 markings, 16039439 edges, 50330 markings/sec, 130 secs
lola: 7001479 markings, 16645359 edges, 50975 markings/sec, 135 secs
lola: 7245183 markings, 17224849 edges, 48741 markings/sec, 140 secs
lola: 7496186 markings, 17821567 edges, 50201 markings/sec, 145 secs
lola: 7746959 markings, 18418537 edges, 50155 markings/sec, 150 secs
lola: 8001192 markings, 19022794 edges, 50847 markings/sec, 155 secs
lola: 8252126 markings, 19619568 edges, 50187 markings/sec, 160 secs
lola: 8500060 markings, 20209059 edges, 49587 markings/sec, 165 secs
lola: 8745671 markings, 20792874 edges, 49122 markings/sec, 170 secs
lola: 8975008 markings, 21338021 edges, 45867 markings/sec, 175 secs
lola: 9202630 markings, 21879077 edges, 45524 markings/sec, 180 secs
lola: 9437247 markings, 22436820 edges, 46923 markings/sec, 185 secs
lola: 9665827 markings, 22980162 edges, 45716 markings/sec, 190 secs
lola: 9894665 markings, 23524095 edges, 45768 markings/sec, 195 secs
lola: 10122851 markings, 24066604 edges, 45637 markings/sec, 200 secs
lola: 10367864 markings, 24648909 edges, 49003 markings/sec, 205 secs
lola: 10616385 markings, 25239732 edges, 49704 markings/sec, 210 secs
lola: 10863921 markings, 25828174 edges, 49507 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(p115)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 175760 markings, 502003 edges, 35152 markings/sec, 0 secs
lola: 352530 markings, 1005004 edges, 35354 markings/sec, 5 secs
lola: 539492 markings, 1537586 edges, 37392 markings/sec, 10 secs
lola: 731172 markings, 2087386 edges, 38336 markings/sec, 15 secs
lola: 920803 markings, 2627314 edges, 37926 markings/sec, 20 secs
lola: 1113412 markings, 3175732 edges, 38522 markings/sec, 25 secs
lola: 1299796 markings, 3707280 edges, 37277 markings/sec, 30 secs
lola: 1493536 markings, 4259593 edges, 38748 markings/sec, 35 secs
lola: 1678606 markings, 4789670 edges, 37014 markings/sec, 40 secs
lola: 1871704 markings, 5341449 edges, 38620 markings/sec, 45 secs
lola: 2070320 markings, 5906939 edges, 39723 markings/sec, 50 secs
lola: 2261914 markings, 6452673 edges, 38319 markings/sec, 55 secs
lola: 2451473 markings, 6992608 edges, 37912 markings/sec, 60 secs
lola: 2640809 markings, 7531250 edges, 37867 markings/sec, 65 secs
lola: 2833702 markings, 8080895 edges, 38579 markings/sec, 70 secs
lola: 3026495 markings, 8630382 edges, 38559 markings/sec, 75 secs
lola: 3217399 markings, 9174136 edges, 38181 markings/sec, 80 secs
lola: 3409552 markings, 9723452 edges, 38431 markings/sec, 85 secs
lola: 3602353 markings, 10274014 edges, 38560 markings/sec, 90 secs
lola: 3791397 markings, 10813353 edges, 37809 markings/sec, 95 secs
lola: 3980728 markings, 11353142 edges, 37866 markings/sec, 100 secs
lola: 4172202 markings, 11900213 edges, 38295 markings/sec, 105 secs
lola: 4363703 markings, 12445353 edges, 38300 markings/sec, 110 secs
lola: 4555651 markings, 12992226 edges, 38390 markings/sec, 115 secs
lola: 4746011 markings, 13535231 edges, 38072 markings/sec, 120 secs
lola: 4932101 markings, 14066150 edges, 37218 markings/sec, 125 secs
lola: 5115810 markings, 14591159 edges, 36742 markings/sec, 130 secs
lola: 5301639 markings, 15125910 edges, 37166 markings/sec, 135 secs
lola: 5488405 markings, 15657883 edges, 37353 markings/sec, 140 secs
lola: 5677373 markings, 16196113 edges, 37794 markings/sec, 145 secs
lola: 5863318 markings, 16725112 edges, 37189 markings/sec, 150 secs
lola: 6053518 markings, 17266633 edges, 38040 markings/sec, 155 secs
lola: 6243770 markings, 17810675 edges, 38050 markings/sec, 160 secs
lola: 6426667 markings, 18332665 edges, 36579 markings/sec, 165 secs
lola: 6609731 markings, 18853049 edges, 36613 markings/sec, 170 secs
lola: 6792626 markings, 19377661 edges, 36579 markings/sec, 175 secs
lola: 6976497 markings, 19902545 edges, 36774 markings/sec, 180 secs
lola: 7152664 markings, 20408002 edges, 35233 markings/sec, 185 secs
lola: 7329618 markings, 20913216 edges, 35391 markings/sec, 190 secs
lola: 7506680 markings, 21417782 edges, 35412 markings/sec, 195 secs
lola: 7683540 markings, 21921299 edges, 35372 markings/sec, 200 secs
lola: 7860554 markings, 22425505 edges, 35403 markings/sec, 205 secs
lola: 8039993 markings, 22935707 edges, 35888 markings/sec, 210 secs
lola: 8221926 markings, 23455000 edges, 36387 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(p237)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 230015 markings, 595358 edges, 46003 markings/sec, 0 secs
lola: 465592 markings, 1204629 edges, 47115 markings/sec, 5 secs
lola: 711454 markings, 1838768 edges, 49172 markings/sec, 10 secs
lola: 926705 markings, 2394281 edges, 43050 markings/sec, 15 secs
lola: 1165553 markings, 3011402 edges, 47770 markings/sec, 20 secs
lola: 1390335 markings, 3593105 edges, 44956 markings/sec, 25 secs
lola: 1617021 markings, 4178109 edges, 45337 markings/sec, 30 secs
lola: 1843088 markings, 4762575 edges, 45213 markings/sec, 35 secs
lola: 2069839 markings, 5348219 edges, 45350 markings/sec, 40 secs
lola: 2297774 markings, 5937133 edges, 45587 markings/sec, 45 secs
lola: 2540540 markings, 6565233 edges, 48553 markings/sec, 50 secs
lola: 2791394 markings, 7212893 edges, 50171 markings/sec, 55 secs
lola: 3038515 markings, 7852551 edges, 49424 markings/sec, 60 secs
lola: 3287463 markings, 8495481 edges, 49790 markings/sec, 65 secs
lola: 3537301 markings, 9141019 edges, 49968 markings/sec, 70 secs
lola: 3783695 markings, 9777750 edges, 49279 markings/sec, 75 secs
lola: 4028392 markings, 10409683 edges, 48939 markings/sec, 80 secs
lola: 4270962 markings, 11037180 edges, 48514 markings/sec, 85 secs
lola: 4514667 markings, 11667054 edges, 48741 markings/sec, 90 secs
lola: 4758174 markings, 12295667 edges, 48701 markings/sec, 95 secs
lola: 5004384 markings, 12932002 edges, 49242 markings/sec, 100 secs
lola: 5251289 markings, 13569465 edges, 49381 markings/sec, 105 secs
lola: 5495872 markings, 14201711 edges, 48917 markings/sec, 110 secs
lola: 5744622 markings, 14843419 edges, 49750 markings/sec, 115 secs
lola: 5990639 markings, 15478311 edges, 49203 markings/sec, 120 secs
lola: 6232410 markings, 16103731 edges, 48354 markings/sec, 125 secs
lola: 6456239 markings, 16681224 edges, 44766 markings/sec, 130 secs
lola: 6686392 markings, 17275299 edges, 46031 markings/sec, 135 secs
lola: 6930828 markings, 17908152 edges, 48887 markings/sec, 140 secs
lola: 7155828 markings, 18489811 edges, 45000 markings/sec, 145 secs
lola: 7380457 markings, 19069795 edges, 44926 markings/sec, 150 secs
lola: 7613129 markings, 19671451 edges, 46534 markings/sec, 155 secs
lola: 7862284 markings, 20315735 edges, 49831 markings/sec, 160 secs
lola: 8108816 markings, 20952260 edges, 49306 markings/sec, 165 secs
lola: 8356183 markings, 21592004 edges, 49473 markings/sec, 170 secs
lola: 8604550 markings, 22233596 edges, 49673 markings/sec, 175 secs
lola: 8855193 markings, 22880864 edges, 50129 markings/sec, 180 secs
lola: 9105026 markings, 23526432 edges, 49967 markings/sec, 185 secs
lola: 9354470 markings, 24171146 edges, 49889 markings/sec, 190 secs
lola: 9599130 markings, 24803878 edges, 48932 markings/sec, 195 secs
lola: 9849696 markings, 25451532 edges, 50113 markings/sec, 200 secs
lola: 10099482 markings, 26096552 edges, 49957 markings/sec, 205 secs
lola: 10347157 markings, 26736840 edges, 49535 markings/sec, 210 secs
lola: 10592653 markings, 27371490 edges, 49099 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(p103)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 252760 markings, 602540 edges, 50552 markings/sec, 0 secs
lola: 509135 markings, 1213633 edges, 51275 markings/sec, 5 secs
lola: 765686 markings, 1825060 edges, 51310 markings/sec, 10 secs
lola: 1013789 markings, 2416604 edges, 49621 markings/sec, 15 secs
lola: 1259188 markings, 3002019 edges, 49080 markings/sec, 20 secs
lola: 1501764 markings, 3580511 edges, 48515 markings/sec, 25 secs
lola: 1746740 markings, 4165190 edges, 48995 markings/sec, 30 secs
lola: 1990057 markings, 4745254 edges, 48663 markings/sec, 35 secs
lola: 2242799 markings, 5347997 edges, 50548 markings/sec, 40 secs
lola: 2499280 markings, 5959485 edges, 51296 markings/sec, 45 secs
lola: 2763153 markings, 6588929 edges, 52775 markings/sec, 50 secs
lola: 3025732 markings, 7215569 edges, 52516 markings/sec, 55 secs
lola: 3287027 markings, 7838392 edges, 52259 markings/sec, 60 secs
lola: 3549435 markings, 8463983 edges, 52482 markings/sec, 65 secs
lola: 3816345 markings, 9100323 edges, 53382 markings/sec, 70 secs
lola: 4071184 markings, 9708094 edges, 50968 markings/sec, 75 secs
lola: 4324022 markings, 10310769 edges, 50568 markings/sec, 80 secs
lola: 4578670 markings, 10918171 edges, 50930 markings/sec, 85 secs
lola: 4829409 markings, 11516512 edges, 50148 markings/sec, 90 secs
lola: 5081650 markings, 12118671 edges, 50448 markings/sec, 95 secs
lola: 5331498 markings, 12715004 edges, 49970 markings/sec, 100 secs
lola: 5582559 markings, 13314047 edges, 50212 markings/sec, 105 secs
lola: 5834256 markings, 13915537 edges, 50339 markings/sec, 110 secs
lola: 6086813 markings, 14519194 edges, 50511 markings/sec, 115 secs
lola: 6340183 markings, 15123177 edges, 50674 markings/sec, 120 secs
lola: 6592970 markings, 15726858 edges, 50557 markings/sec, 125 secs
lola: 6848383 markings, 16336855 edges, 51083 markings/sec, 130 secs
lola: 7104238 markings, 16947905 edges, 51171 markings/sec, 135 secs
lola: 7359499 markings, 17557398 edges, 51052 markings/sec, 140 secs
lola: 7613852 markings, 18165240 edges, 50871 markings/sec, 145 secs
lola: 7862796 markings, 18759185 edges, 49789 markings/sec, 150 secs
lola: 8111261 markings, 19352526 edges, 49693 markings/sec, 155 secs
lola: 8358707 markings, 19942910 edges, 49489 markings/sec, 160 secs
lola: 8618375 markings, 20562529 edges, 51934 markings/sec, 165 secs
lola: 8879861 markings, 21186152 edges, 52297 markings/sec, 170 secs
lola: 9141144 markings, 21808891 edges, 52257 markings/sec, 175 secs
lola: 9401296 markings, 22428990 edges, 52030 markings/sec, 180 secs
lola: 9662045 markings, 23050649 edges, 52150 markings/sec, 185 secs
lola: 9921530 markings, 23670372 edges, 51897 markings/sec, 190 secs
lola: 10177610 markings, 24281124 edges, 51216 markings/sec, 195 secs
lola: 10431988 markings, 24888481 edges, 50876 markings/sec, 200 secs
lola: 10688818 markings, 25500357 edges, 51366 markings/sec, 205 secs
lola: 10947720 markings, 26117659 edges, 51780 markings/sec, 210 secs
lola: 11200303 markings, 26721028 edges, 50517 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(p117)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 252603 markings, 648568 edges, 50521 markings/sec, 0 secs
lola: 502975 markings, 1289472 edges, 50074 markings/sec, 5 secs
lola: 723711 markings, 1855635 edges, 44147 markings/sec, 10 secs
lola: 947687 markings, 2430819 edges, 44795 markings/sec, 15 secs
lola: 1183105 markings, 3033877 edges, 47084 markings/sec, 20 secs
lola: 1411215 markings, 3617888 edges, 45622 markings/sec, 25 secs
lola: 1637975 markings, 4198313 edges, 45352 markings/sec, 30 secs
lola: 1880114 markings, 4818692 edges, 48428 markings/sec, 35 secs
lola: 2130215 markings, 5460923 edges, 50020 markings/sec, 40 secs
lola: 2376679 markings, 6092974 edges, 49293 markings/sec, 45 secs
lola: 2627007 markings, 6733775 edges, 50066 markings/sec, 50 secs
lola: 2875983 markings, 7370631 edges, 49795 markings/sec, 55 secs
lola: 3117701 markings, 7988999 edges, 48344 markings/sec, 60 secs
lola: 3349875 markings, 8583089 edges, 46435 markings/sec, 65 secs
lola: 3592644 markings, 9204449 edges, 48554 markings/sec, 70 secs
lola: 3819961 markings, 9786143 edges, 45463 markings/sec, 75 secs
lola: 4046228 markings, 10364880 edges, 45253 markings/sec, 80 secs
lola: 4272398 markings, 10943992 edges, 45234 markings/sec, 85 secs
lola: 4496908 markings, 11520250 edges, 44902 markings/sec, 90 secs
lola: 4723143 markings, 12099172 edges, 45247 markings/sec, 95 secs
lola: 4968863 markings, 12729354 edges, 49144 markings/sec, 100 secs
lola: 5215978 markings, 13362766 edges, 49423 markings/sec, 105 secs
lola: 5461584 markings, 13991039 edges, 49121 markings/sec, 110 secs
lola: 5707156 markings, 14619242 edges, 49114 markings/sec, 115 secs
lola: 5959302 markings, 15266508 edges, 50429 markings/sec, 120 secs
lola: 6207744 markings, 15904479 edges, 49688 markings/sec, 125 secs
lola: 6453336 markings, 16535101 edges, 49118 markings/sec, 130 secs
lola: 6696506 markings, 17159517 edges, 48634 markings/sec, 135 secs
lola: 6934633 markings, 17769879 edges, 47625 markings/sec, 140 secs
lola: 7165957 markings, 18363588 edges, 46265 markings/sec, 145 secs
lola: 7402197 markings, 18970216 edges, 47248 markings/sec, 150 secs
lola: 7627849 markings, 19549682 edges, 45130 markings/sec, 155 secs
lola: 7851972 markings, 20125192 edges, 44825 markings/sec, 160 secs
lola: 8075562 markings, 20699346 edges, 44718 markings/sec, 165 secs
lola: 8299279 markings, 21273821 edges, 44743 markings/sec, 170 secs
lola: 8538227 markings, 21887447 edges, 47790 markings/sec, 175 secs
lola: 8785985 markings, 22522665 edges, 49552 markings/sec, 180 secs
lola: 9027998 markings, 23141715 edges, 48403 markings/sec, 185 secs
lola: 9274172 markings, 23771748 edges, 49235 markings/sec, 190 secs
lola: 9517320 markings, 24395016 edges, 48630 markings/sec, 195 secs
lola: 9760575 markings, 25017324 edges, 48651 markings/sec, 200 secs
lola: 10004416 markings, 25641037 edges, 48768 markings/sec, 205 secs
lola: 10248794 markings, 26266258 edges, 48876 markings/sec, 210 secs
lola: 10488041 markings, 26878623 edges, 47849 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(p311)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 238521 markings, 643574 edges, 47704 markings/sec, 0 secs
lola: 482778 markings, 1303193 edges, 48851 markings/sec, 5 secs
lola: 728243 markings, 1965248 edges, 49093 markings/sec, 10 secs
lola: 970069 markings, 2618135 edges, 48365 markings/sec, 15 secs
lola: 1212371 markings, 3271952 edges, 48460 markings/sec, 20 secs
lola: 1455055 markings, 3926666 edges, 48537 markings/sec, 25 secs
lola: 1699624 markings, 4586407 edges, 48914 markings/sec, 30 secs
lola: 1941521 markings, 5239001 edges, 48379 markings/sec, 35 secs
lola: 2192609 markings, 5916417 edges, 50218 markings/sec, 40 secs
lola: 2432225 markings, 6562877 edges, 47923 markings/sec, 45 secs
lola: 2663749 markings, 7187530 edges, 46305 markings/sec, 50 secs
lola: 2890964 markings, 7800552 edges, 45443 markings/sec, 55 secs
lola: 3116825 markings, 8409952 edges, 45172 markings/sec, 60 secs
lola: 3344983 markings, 9025388 edges, 45632 markings/sec, 65 secs
lola: 3573505 markings, 9641915 edges, 45704 markings/sec, 70 secs
lola: 3802019 markings, 10258514 edges, 45703 markings/sec, 75 secs
lola: 4034370 markings, 10885398 edges, 46470 markings/sec, 80 secs
lola: 4262634 markings, 11501153 edges, 45653 markings/sec, 85 secs
lola: 4488875 markings, 12111768 edges, 45248 markings/sec, 90 secs
lola: 4719332 markings, 12733717 edges, 46091 markings/sec, 95 secs
lola: 4965166 markings, 13397404 edges, 49167 markings/sec, 100 secs
lola: 5208899 markings, 14055698 edges, 48747 markings/sec, 105 secs
lola: 5436352 markings, 14669620 edges, 45491 markings/sec, 110 secs
lola: 5666011 markings, 15289459 edges, 45932 markings/sec, 115 secs
lola: 5894697 markings, 15906468 edges, 45737 markings/sec, 120 secs
lola: 6122421 markings, 16521206 edges, 45545 markings/sec, 125 secs
lola: 6364511 markings, 17174667 edges, 48418 markings/sec, 130 secs
lola: 6600171 markings, 17810855 edges, 47132 markings/sec, 135 secs
lola: 6842423 markings, 18464470 edges, 48450 markings/sec, 140 secs
lola: 7081115 markings, 19108409 edges, 47738 markings/sec, 145 secs
lola: 7306497 markings, 19716390 edges, 45076 markings/sec, 150 secs
lola: 7539415 markings, 20344761 edges, 46584 markings/sec, 155 secs
lola: 7766773 markings, 20958215 edges, 45472 markings/sec, 160 secs
lola: 7994607 markings, 21572880 edges, 45567 markings/sec, 165 secs
lola: 8219788 markings, 22180322 edges, 45036 markings/sec, 170 secs
lola: 8445304 markings, 22788840 edges, 45103 markings/sec, 175 secs
lola: 8669705 markings, 23394224 edges, 44880 markings/sec, 180 secs
lola: 8894354 markings, 24000521 edges, 44930 markings/sec, 185 secs
lola: 9120980 markings, 24612196 edges, 45325 markings/sec, 190 secs
lola: 9349668 markings, 25229468 edges, 45738 markings/sec, 195 secs
lola: 9576554 markings, 25842176 edges, 45377 markings/sec, 200 secs
lola: 9802300 markings, 26451700 edges, 45149 markings/sec, 205 secs
lola: 10027611 markings, 27060377 edges, 45062 markings/sec, 210 secs
lola: 10255021 markings, 27674372 edges, 45482 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(p310)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 200604 markings, 597642 edges, 40121 markings/sec, 0 secs
lola: 380170 markings, 1104761 edges, 35913 markings/sec, 5 secs
lola: 573107 markings, 1650639 edges, 38587 markings/sec, 10 secs
lola: 765291 markings, 2194724 edges, 38437 markings/sec, 15 secs
lola: 954041 markings, 2728312 edges, 37750 markings/sec, 20 secs
lola: 1142831 markings, 3265505 edges, 37758 markings/sec, 25 secs
lola: 1332615 markings, 3803260 edges, 37957 markings/sec, 30 secs
lola: 1522079 markings, 4339353 edges, 37893 markings/sec, 35 secs
lola: 1709824 markings, 4871423 edges, 37549 markings/sec, 40 secs
lola: 1899923 markings, 5408810 edges, 38020 markings/sec, 45 secs
lola: 2085116 markings, 5933835 edges, 37039 markings/sec, 50 secs
lola: 2272871 markings, 6465021 edges, 37551 markings/sec, 55 secs
lola: 2464199 markings, 7006124 edges, 38266 markings/sec, 60 secs
lola: 2661174 markings, 7565233 edges, 39395 markings/sec, 65 secs
lola: 2851210 markings, 8102548 edges, 38007 markings/sec, 70 secs
lola: 3035288 markings, 8623058 edges, 36816 markings/sec, 75 secs
lola: 3213053 markings, 9125908 edges, 35553 markings/sec, 80 secs
lola: 3390843 markings, 9630509 edges, 35558 markings/sec, 85 secs
lola: 3569470 markings, 10139125 edges, 35725 markings/sec, 90 secs
lola: 3753874 markings, 10663810 edges, 36881 markings/sec, 95 secs
lola: 3943135 markings, 11201124 edges, 37852 markings/sec, 100 secs
lola: 4137701 markings, 11753683 edges, 38913 markings/sec, 105 secs
lola: 4331031 markings, 12302515 edges, 38666 markings/sec, 110 secs
lola: 4520728 markings, 12843686 edges, 37939 markings/sec, 115 secs
lola: 4713222 markings, 13393587 edges, 38499 markings/sec, 120 secs
lola: 4901220 markings, 13927343 edges, 37600 markings/sec, 125 secs
lola: 5094666 markings, 14478057 edges, 38689 markings/sec, 130 secs
lola: 5290898 markings, 15040815 edges, 39246 markings/sec, 135 secs
lola: 5489634 markings, 15603765 edges, 39747 markings/sec, 140 secs
lola: 5683538 markings, 16154060 edges, 38781 markings/sec, 145 secs
lola: 5875260 markings, 16698598 edges, 38344 markings/sec, 150 secs
lola: 6068712 markings, 17245882 edges, 38690 markings/sec, 155 secs
lola: 6264357 markings, 17799137 edges, 39129 markings/sec, 160 secs
lola: 6460021 markings, 18353457 edges, 39133 markings/sec, 165 secs
lola: 6656287 markings, 18908531 edges, 39253 markings/sec, 170 secs
lola: 6848311 markings, 19452644 edges, 38405 markings/sec, 175 secs
lola: 7037604 markings, 19990643 edges, 37859 markings/sec, 180 secs
lola: 7232275 markings, 20543717 edges, 38934 markings/sec, 185 secs
lola: 7427261 markings, 21096148 edges, 38997 markings/sec, 190 secs
lola: 7622738 markings, 21650210 edges, 39095 markings/sec, 195 secs
lola: 7817919 markings, 22202339 edges, 39036 markings/sec, 200 secs
lola: 8011226 markings, 22754604 edges, 38661 markings/sec, 205 secs
lola: 8201870 markings, 23297463 edges, 38129 markings/sec, 210 secs
lola: 8392331 markings, 23836350 edges, 38092 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(p88)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 258411 markings, 614651 edges, 51682 markings/sec, 0 secs
lola: 515980 markings, 1227863 edges, 51514 markings/sec, 5 secs
lola: 774463 markings, 1843209 edges, 51697 markings/sec, 10 secs
lola: 1032854 markings, 2458908 edges, 51678 markings/sec, 15 secs
lola: 1284620 markings, 3060824 edges, 50353 markings/sec, 20 secs
lola: 1533849 markings, 3654019 edges, 49846 markings/sec, 25 secs
lola: 1788634 markings, 4261160 edges, 50957 markings/sec, 30 secs
lola: 2027179 markings, 4828837 edges, 47709 markings/sec, 35 secs
lola: 2259920 markings, 5383093 edges, 46548 markings/sec, 40 secs
lola: 2498027 markings, 5950533 edges, 47621 markings/sec, 45 secs
lola: 2751492 markings, 6554352 edges, 50693 markings/sec, 50 secs
lola: 3005993 markings, 7160268 edges, 50900 markings/sec, 55 secs
lola: 3259326 markings, 7763978 edges, 50667 markings/sec, 60 secs
lola: 3517147 markings, 8378221 edges, 51564 markings/sec, 65 secs
lola: 3774138 markings, 8989835 edges, 51398 markings/sec, 70 secs
lola: 4028460 markings, 9595435 edges, 50864 markings/sec, 75 secs
lola: 4276863 markings, 10187716 edges, 49681 markings/sec, 80 secs
lola: 4529182 markings, 10788513 edges, 50464 markings/sec, 85 secs
lola: 4782571 markings, 11391264 edges, 50678 markings/sec, 90 secs
lola: 5040607 markings, 12006785 edges, 51607 markings/sec, 95 secs
lola: 5298451 markings, 12620370 edges, 51569 markings/sec, 100 secs
lola: 5557260 markings, 13236552 edges, 51762 markings/sec, 105 secs
lola: 5815334 markings, 13850953 edges, 51615 markings/sec, 110 secs
lola: 6071892 markings, 14462573 edges, 51312 markings/sec, 115 secs
lola: 6331308 markings, 15080318 edges, 51883 markings/sec, 120 secs
lola: 6590329 markings, 15696781 edges, 51804 markings/sec, 125 secs
lola: 6838369 markings, 16287406 edges, 49608 markings/sec, 130 secs
lola: 7097265 markings, 16903466 edges, 51779 markings/sec, 135 secs
lola: 7355110 markings, 17517596 edges, 51569 markings/sec, 140 secs
lola: 7611386 markings, 18127743 edges, 51255 markings/sec, 145 secs
lola: 7867456 markings, 18737873 edges, 51214 markings/sec, 150 secs
lola: 8122648 markings, 19344895 edges, 51038 markings/sec, 155 secs
lola: 8371812 markings, 19938837 edges, 49833 markings/sec, 160 secs
lola: 8604554 markings, 20492960 edges, 46548 markings/sec, 165 secs
lola: 8838577 markings, 21049677 edges, 46805 markings/sec, 170 secs
lola: 9084919 markings, 21637211 edges, 49268 markings/sec, 175 secs
lola: 9338292 markings, 22241957 edges, 50675 markings/sec, 180 secs
lola: 9594544 markings, 22852202 edges, 51250 markings/sec, 185 secs
lola: 9850253 markings, 23461200 edges, 51142 markings/sec, 190 secs
lola: 10103619 markings, 24065699 edges, 50673 markings/sec, 195 secs
lola: 10351744 markings, 24656584 edges, 49625 markings/sec, 200 secs
lola: 10602355 markings, 25252952 edges, 50122 markings/sec, 205 secs
lola: 10846495 markings, 25834227 edges, 48828 markings/sec, 210 secs
lola: 11102978 markings, 26444999 edges, 51297 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(p36)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 226551 markings, 597881 edges, 45310 markings/sec, 0 secs
lola: 457015 markings, 1204739 edges, 46093 markings/sec, 5 secs
lola: 678336 markings, 1789458 edges, 44264 markings/sec, 10 secs
lola: 899125 markings, 2373457 edges, 44158 markings/sec, 15 secs
lola: 1121145 markings, 2958852 edges, 44404 markings/sec, 20 secs
lola: 1342598 markings, 3543935 edges, 44291 markings/sec, 25 secs
lola: 1563076 markings, 4125535 edges, 44096 markings/sec, 30 secs
lola: 1783720 markings, 4710265 edges, 44129 markings/sec, 35 secs
lola: 2003950 markings, 5292700 edges, 44046 markings/sec, 40 secs
lola: 2224860 markings, 5876875 edges, 44182 markings/sec, 45 secs
lola: 2446952 markings, 6463288 edges, 44418 markings/sec, 50 secs
lola: 2668394 markings, 7047750 edges, 44288 markings/sec, 55 secs
lola: 2889182 markings, 7630702 edges, 44158 markings/sec, 60 secs
lola: 3109043 markings, 8212426 edges, 43972 markings/sec, 65 secs
lola: 3340157 markings, 8822848 edges, 46223 markings/sec, 70 secs
lola: 3582445 markings, 9461807 edges, 48458 markings/sec, 75 secs
lola: 3823384 markings, 10098774 edges, 48188 markings/sec, 80 secs
lola: 4061035 markings, 10726592 edges, 47530 markings/sec, 85 secs
lola: 4298130 markings, 11352170 edges, 47419 markings/sec, 90 secs
lola: 4536805 markings, 11982237 edges, 47735 markings/sec, 95 secs
lola: 4767852 markings, 12592613 edges, 46209 markings/sec, 100 secs
lola: 4994293 markings, 13192038 edges, 45288 markings/sec, 105 secs
lola: 5215590 markings, 13775699 edges, 44259 markings/sec, 110 secs
lola: 5434983 markings, 14355452 edges, 43879 markings/sec, 115 secs
lola: 5660423 markings, 14950263 edges, 45088 markings/sec, 120 secs
lola: 5879415 markings, 15528171 edges, 43798 markings/sec, 125 secs
lola: 6099212 markings, 16108034 edges, 43959 markings/sec, 130 secs
lola: 6329408 markings, 16715275 edges, 46039 markings/sec, 135 secs
lola: 6557732 markings, 17318503 edges, 45665 markings/sec, 140 secs
lola: 6787151 markings, 17923211 edges, 45884 markings/sec, 145 secs
lola: 7018911 markings, 18535490 edges, 46352 markings/sec, 150 secs
lola: 7254637 markings, 19157837 edges, 47145 markings/sec, 155 secs
lola: 7473498 markings, 19736723 edges, 43772 markings/sec, 160 secs
lola: 7693552 markings, 20318333 edges, 44011 markings/sec, 165 secs
lola: 7913318 markings, 20898237 edges, 43953 markings/sec, 170 secs
lola: 8132908 markings, 21479398 edges, 43918 markings/sec, 175 secs
lola: 8355776 markings, 22070135 edges, 44574 markings/sec, 180 secs
lola: 8574141 markings, 22647422 edges, 43673 markings/sec, 185 secs
lola: 8793772 markings, 23227571 edges, 43926 markings/sec, 190 secs
lola: 9013352 markings, 23808638 edges, 43916 markings/sec, 195 secs
lola: 9232263 markings, 24387938 edges, 43782 markings/sec, 200 secs
lola: 9452337 markings, 24967374 edges, 44015 markings/sec, 205 secs
lola: 9671541 markings, 25546790 edges, 43841 markings/sec, 210 secs
lola: 9889695 markings, 26121994 edges, 43631 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(p120)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 224509 markings, 488773 edges, 44902 markings/sec, 0 secs
lola: 462182 markings, 1006344 edges, 47535 markings/sec, 5 secs
lola: 709530 markings, 1544985 edges, 49470 markings/sec, 10 secs
lola: 963166 markings, 2097353 edges, 50727 markings/sec, 15 secs
lola: 1217899 markings, 2654594 edges, 50947 markings/sec, 20 secs
lola: 1468381 markings, 3200062 edges, 50096 markings/sec, 25 secs
lola: 1718896 markings, 3745597 edges, 50103 markings/sec, 30 secs
lola: 1971787 markings, 4296304 edges, 50578 markings/sec, 35 secs
lola: 2222272 markings, 4842059 edges, 50097 markings/sec, 40 secs
lola: 2469634 markings, 5383242 edges, 49472 markings/sec, 45 secs
lola: 2695014 markings, 5876504 edges, 45076 markings/sec, 50 secs
lola: 2921482 markings, 6374123 edges, 45294 markings/sec, 55 secs
lola: 3149089 markings, 6878977 edges, 45521 markings/sec, 60 secs
lola: 3373210 markings, 7367042 edges, 44824 markings/sec, 65 secs
lola: 3612283 markings, 7887664 edges, 47815 markings/sec, 70 secs
lola: 3854716 markings, 8415597 edges, 48487 markings/sec, 75 secs
lola: 4089154 markings, 8926120 edges, 46888 markings/sec, 80 secs
lola: 4321573 markings, 9432252 edges, 46484 markings/sec, 85 secs
lola: 4553743 markings, 9937838 edges, 46434 markings/sec, 90 secs
lola: 4790241 markings, 10452851 edges, 47300 markings/sec, 95 secs
lola: 5031888 markings, 10979074 edges, 48329 markings/sec, 100 secs
lola: 5271799 markings, 11501517 edges, 47982 markings/sec, 105 secs
lola: 5512431 markings, 12025536 edges, 48126 markings/sec, 110 secs
lola: 5747138 markings, 12536644 edges, 46941 markings/sec, 115 secs
lola: 5989137 markings, 13063640 edges, 48400 markings/sec, 120 secs
lola: 6231802 markings, 13592332 edges, 48533 markings/sec, 125 secs
lola: 6480523 markings, 14133969 edges, 49744 markings/sec, 130 secs
lola: 6729690 markings, 14676568 edges, 49833 markings/sec, 135 secs
lola: 6979090 markings, 15220385 edges, 49880 markings/sec, 140 secs
lola: 7223801 markings, 15754545 edges, 48942 markings/sec, 145 secs
lola: 7449057 markings, 16248807 edges, 45051 markings/sec, 150 secs
lola: 7678239 markings, 16750117 edges, 45836 markings/sec, 155 secs
lola: 7904276 markings, 17243963 edges, 45207 markings/sec, 160 secs
lola: 8127135 markings, 17729273 edges, 44572 markings/sec, 165 secs
lola: 8351476 markings, 18218251 edges, 44868 markings/sec, 170 secs
lola: 8576959 markings, 18713358 edges, 45097 markings/sec, 175 secs
lola: 8800771 markings, 19202646 edges, 44762 markings/sec, 180 secs
lola: 9027445 markings, 19703067 edges, 45335 markings/sec, 185 secs
lola: 9251525 markings, 20194915 edges, 44816 markings/sec, 190 secs
lola: 9476757 markings, 20691752 edges, 45046 markings/sec, 195 secs
lola: 9703491 markings, 21196441 edges, 45347 markings/sec, 200 secs
lola: 9928306 markings, 21690910 edges, 44963 markings/sec, 205 secs
lola: 10153699 markings, 22188098 edges, 45079 markings/sec, 210 secs
lola: 10380058 markings, 22690292 edges, 45272 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(p122)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 233898 markings, 699907 edges, 46780 markings/sec, 0 secs
lola: 480110 markings, 1431616 edges, 49242 markings/sec, 5 secs
lola: 723658 markings, 2140842 edges, 48710 markings/sec, 10 secs
lola: 960376 markings, 2823840 edges, 47344 markings/sec, 15 secs
lola: 1194578 markings, 3499865 edges, 46840 markings/sec, 20 secs
lola: 1427403 markings, 4171320 edges, 46565 markings/sec, 25 secs
lola: 1659544 markings, 4840361 edges, 46428 markings/sec, 30 secs
lola: 1890621 markings, 5507130 edges, 46215 markings/sec, 35 secs
lola: 2115207 markings, 6155299 edges, 44917 markings/sec, 40 secs
lola: 2338378 markings, 6798441 edges, 44634 markings/sec, 45 secs
lola: 2560602 markings, 7439145 edges, 44445 markings/sec, 50 secs
lola: 2771790 markings, 8046639 edges, 42238 markings/sec, 55 secs
lola: 2994926 markings, 8689734 edges, 44627 markings/sec, 60 secs
lola: 3226612 markings, 9358009 edges, 46337 markings/sec, 65 secs
lola: 3444788 markings, 9987783 edges, 43635 markings/sec, 70 secs
lola: 3656794 markings, 10599399 edges, 42401 markings/sec, 75 secs
lola: 3868541 markings, 11209925 edges, 42349 markings/sec, 80 secs
lola: 4079687 markings, 11818601 edges, 42229 markings/sec, 85 secs
lola: 4311841 markings, 12488353 edges, 46431 markings/sec, 90 secs
lola: 4542510 markings, 13153462 edges, 46134 markings/sec, 95 secs
lola: 4775837 markings, 13825828 edges, 46665 markings/sec, 100 secs
lola: 5002378 markings, 14479753 edges, 45308 markings/sec, 105 secs
lola: 5226801 markings, 15126707 edges, 44885 markings/sec, 110 secs
lola: 5444615 markings, 15755120 edges, 43563 markings/sec, 115 secs
lola: 5671582 markings, 16410162 edges, 45393 markings/sec, 120 secs
lola: 5902898 markings, 17076720 edges, 46263 markings/sec, 125 secs
lola: 6123387 markings, 17712096 edges, 44098 markings/sec, 130 secs
lola: 6333654 markings, 18318795 edges, 42053 markings/sec, 135 secs
lola: 6543217 markings, 18922834 edges, 41913 markings/sec, 140 secs
lola: 6753600 markings, 19528586 edges, 42077 markings/sec, 145 secs
lola: 6962872 markings, 20132893 edges, 41854 markings/sec, 150 secs
lola: 7172406 markings, 20737184 edges, 41907 markings/sec, 155 secs
lola: 7381151 markings, 21339636 edges, 41749 markings/sec, 160 secs
lola: 7590086 markings, 21942510 edges, 41787 markings/sec, 165 secs
lola: 7809534 markings, 22574649 edges, 43890 markings/sec, 170 secs
lola: 8018188 markings, 23175543 edges, 41731 markings/sec, 175 secs
lola: 8227012 markings, 23777870 edges, 41765 markings/sec, 180 secs
lola: 8436661 markings, 24383353 edges, 41930 markings/sec, 185 secs
lola: 8647574 markings, 24991371 edges, 42183 markings/sec, 190 secs
lola: 8870761 markings, 25634677 edges, 44637 markings/sec, 195 secs
lola: 9091211 markings, 26270555 edges, 44090 markings/sec, 200 secs
lola: 9308963 markings, 26898477 edges, 43550 markings/sec, 205 secs
lola: 9524217 markings, 27519728 edges, 43051 markings/sec, 210 secs
lola: 9739331 markings, 28139047 edges, 43023 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(p346)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 236867 markings, 585283 edges, 47373 markings/sec, 0 secs
lola: 476311 markings, 1176968 edges, 47889 markings/sec, 5 secs
lola: 716307 markings, 1770006 edges, 47999 markings/sec, 10 secs
lola: 954717 markings, 2359127 edges, 47682 markings/sec, 15 secs
lola: 1187630 markings, 2934675 edges, 46583 markings/sec, 20 secs
lola: 1414618 markings, 3495575 edges, 45398 markings/sec, 25 secs
lola: 1640699 markings, 4054227 edges, 45216 markings/sec, 30 secs
lola: 1866601 markings, 4612451 edges, 45180 markings/sec, 35 secs
lola: 2093099 markings, 5172137 edges, 45300 markings/sec, 40 secs
lola: 2317478 markings, 5726603 edges, 44876 markings/sec, 45 secs
lola: 2543085 markings, 6284126 edges, 45121 markings/sec, 50 secs
lola: 2774325 markings, 6855546 edges, 46248 markings/sec, 55 secs
lola: 3006576 markings, 7429443 edges, 46450 markings/sec, 60 secs
lola: 3225179 markings, 7969620 edges, 43721 markings/sec, 65 secs
lola: 3444302 markings, 8511092 edges, 43825 markings/sec, 70 secs
lola: 3661672 markings, 9048218 edges, 43474 markings/sec, 75 secs
lola: 3882847 markings, 9594761 edges, 44235 markings/sec, 80 secs
lola: 4108007 markings, 10151147 edges, 45032 markings/sec, 85 secs
lola: 4332653 markings, 10706250 edges, 44929 markings/sec, 90 secs
lola: 4559251 markings, 11266183 edges, 45320 markings/sec, 95 secs
lola: 4802994 markings, 11868488 edges, 48749 markings/sec, 100 secs
lola: 5044703 markings, 12465765 edges, 48342 markings/sec, 105 secs
lola: 5284861 markings, 13059217 edges, 48032 markings/sec, 110 secs
lola: 5525353 markings, 13653488 edges, 48098 markings/sec, 115 secs
lola: 5764940 markings, 14245520 edges, 47917 markings/sec, 120 secs
lola: 6004396 markings, 14837230 edges, 47891 markings/sec, 125 secs
lola: 6242495 markings, 15425575 edges, 47620 markings/sec, 130 secs
lola: 6482728 markings, 16019214 edges, 48047 markings/sec, 135 secs
lola: 6724585 markings, 16616855 edges, 48371 markings/sec, 140 secs
lola: 6966739 markings, 17215238 edges, 48431 markings/sec, 145 secs
lola: 7207926 markings, 17811217 edges, 48237 markings/sec, 150 secs
lola: 7454813 markings, 18421295 edges, 49377 markings/sec, 155 secs
lola: 7695184 markings, 19015273 edges, 48074 markings/sec, 160 secs
lola: 7933333 markings, 19603744 edges, 47630 markings/sec, 165 secs
lola: 8170480 markings, 20189748 edges, 47429 markings/sec, 170 secs
lola: 8409972 markings, 20781581 edges, 47898 markings/sec, 175 secs
lola: 8656243 markings, 21390288 edges, 49254 markings/sec, 180 secs
lola: 8900147 markings, 21992989 edges, 48781 markings/sec, 185 secs
lola: 9143934 markings, 22595408 edges, 48757 markings/sec, 190 secs
lola: 9386999 markings, 23196029 edges, 48613 markings/sec, 195 secs
lola: 9630830 markings, 23798552 edges, 48766 markings/sec, 200 secs
lola: 9873457 markings, 24398091 edges, 48525 markings/sec, 205 secs
lola: 10111776 markings, 24986996 edges, 47664 markings/sec, 210 secs
lola: 10353681 markings, 25584750 edges, 48381 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(p14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 262537 markings, 774577 edges, 52507 markings/sec, 0 secs
lola: 519016 markings, 1527785 edges, 51296 markings/sec, 5 secs
lola: 750137 markings, 2178254 edges, 46224 markings/sec, 10 secs
lola: 978895 markings, 2822408 edges, 45752 markings/sec, 15 secs
lola: 1208840 markings, 3469721 edges, 45989 markings/sec, 20 secs
lola: 1445499 markings, 4135930 edges, 47332 markings/sec, 25 secs
lola: 1686768 markings, 4815168 edges, 48254 markings/sec, 30 secs
lola: 1928357 markings, 5495317 edges, 48318 markings/sec, 35 secs
lola: 2164060 markings, 6159108 edges, 47141 markings/sec, 40 secs
lola: 2403743 markings, 6833975 edges, 47937 markings/sec, 45 secs
lola: 2638706 markings, 7495646 edges, 46993 markings/sec, 50 secs
lola: 2873267 markings, 8156219 edges, 46912 markings/sec, 55 secs
lola: 3107885 markings, 8816481 edges, 46924 markings/sec, 60 secs
lola: 3337716 markings, 9463183 edges, 45966 markings/sec, 65 secs
lola: 3561517 markings, 10093205 edges, 44760 markings/sec, 70 secs
lola: 3789439 markings, 10734526 edges, 45584 markings/sec, 75 secs
lola: 4019412 markings, 11381842 edges, 45995 markings/sec, 80 secs
lola: 4252281 markings, 12036965 edges, 46574 markings/sec, 85 secs
lola: 4485934 markings, 12694579 edges, 46731 markings/sec, 90 secs
lola: 4713404 markings, 13335116 edges, 45494 markings/sec, 95 secs
lola: 4936906 markings, 13964479 edges, 44700 markings/sec, 100 secs
lola: 5164652 markings, 14605883 edges, 45549 markings/sec, 105 secs
lola: 5389006 markings, 15237467 edges, 44871 markings/sec, 110 secs
lola: 5615429 markings, 15875012 edges, 45285 markings/sec, 115 secs
lola: 5841940 markings, 16512615 edges, 45302 markings/sec, 120 secs
lola: 6070893 markings, 17157297 edges, 45791 markings/sec, 125 secs
lola: 6302344 markings, 17809032 edges, 46290 markings/sec, 130 secs
lola: 6530122 markings, 18450492 edges, 45556 markings/sec, 135 secs
lola: 6761252 markings, 19101277 edges, 46226 markings/sec, 140 secs
lola: 6991480 markings, 19749655 edges, 46046 markings/sec, 145 secs
lola: 7220086 markings, 20393016 edges, 45721 markings/sec, 150 secs
lola: 7450461 markings, 21041660 edges, 46075 markings/sec, 155 secs
lola: 7682257 markings, 21694343 edges, 46359 markings/sec, 160 secs
lola: 7916438 markings, 22353747 edges, 46836 markings/sec, 165 secs
lola: 8143087 markings, 22991909 edges, 45330 markings/sec, 170 secs
lola: 8372707 markings, 23637982 edges, 45924 markings/sec, 175 secs
lola: 8599398 markings, 24276264 edges, 45338 markings/sec, 180 secs
lola: 8821798 markings, 24902371 edges, 44480 markings/sec, 185 secs
lola: 9046932 markings, 25536259 edges, 45027 markings/sec, 190 secs
lola: 9277934 markings, 26186623 edges, 46200 markings/sec, 195 secs
lola: 9507464 markings, 26832827 edges, 45906 markings/sec, 200 secs
lola: 9740761 markings, 27489906 edges, 46659 markings/sec, 205 secs
lola: 9967372 markings, 28127972 edges, 45322 markings/sec, 210 secs
lola: 10179529 markings, 28725342 edges, 42431 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 Raft-PT-09-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494803313315
--------------------
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="Raft-PT-09"
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/Raft-PT-09.tgz
mv Raft-PT-09 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 Raft-PT-09, 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 r068-csrt-149440963000020"
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 ;