About the Execution of LoLA for S_DES-PT-50b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
2755.200 | 3540419.00 | 3555909.00 | 592.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-3253
Executing tool lola
Input is S_DES-PT-50b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455700326
=====================================================================
--------------------
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 DES-PT-50b-UpperBounds-0
FORMULA_NAME DES-PT-50b-UpperBounds-1
FORMULA_NAME DES-PT-50b-UpperBounds-10
FORMULA_NAME DES-PT-50b-UpperBounds-11
FORMULA_NAME DES-PT-50b-UpperBounds-12
FORMULA_NAME DES-PT-50b-UpperBounds-13
FORMULA_NAME DES-PT-50b-UpperBounds-14
FORMULA_NAME DES-PT-50b-UpperBounds-15
FORMULA_NAME DES-PT-50b-UpperBounds-2
FORMULA_NAME DES-PT-50b-UpperBounds-3
FORMULA_NAME DES-PT-50b-UpperBounds-4
FORMULA_NAME DES-PT-50b-UpperBounds-5
FORMULA_NAME DES-PT-50b-UpperBounds-6
FORMULA_NAME DES-PT-50b-UpperBounds-7
FORMULA_NAME DES-PT-50b-UpperBounds-8
FORMULA_NAME DES-PT-50b-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496456565274
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_DES-PT-50b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_DES-PT-50b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_DES-PT-50b @ 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: 909/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 479 places, 430 transitions, 414 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 527 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-50b-UpperBounds.task
lola: MAX(p368) : MAX(p69) : MAX(p449) : MAX(p405) : MAX(p252) : MAX(p366) : MAX(p388) : MAX(p383) : MAX(p316) : MAX(p471) : MAX(p41) : MAX(p205) : MAX(p10) : MAX(p7) : MAX(p463) : MAX(p313)
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(p368)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 1048020 markings, 1216396 edges, 209604 markings/sec, 0 secs
lola: 1911886 markings, 2376218 edges, 172773 markings/sec, 5 secs
lola: 2943802 markings, 3582625 edges, 206383 markings/sec, 10 secs
lola: 3615216 markings, 4806847 edges, 134283 markings/sec, 15 secs
lola: 4123268 markings, 5918748 edges, 101610 markings/sec, 20 secs
lola: 4772848 markings, 7006851 edges, 129916 markings/sec, 25 secs
lola: 5777567 markings, 8215283 edges, 200944 markings/sec, 30 secs
lola: 6551362 markings, 9325913 edges, 154759 markings/sec, 35 secs
lola: 7128994 markings, 10511451 edges, 115526 markings/sec, 40 secs
lola: 7635736 markings, 11646582 edges, 101348 markings/sec, 45 secs
lola: 8113249 markings, 12700861 edges, 95503 markings/sec, 50 secs
lola: 8609861 markings, 13770010 edges, 99322 markings/sec, 55 secs
lola: 9109216 markings, 14820320 edges, 99871 markings/sec, 60 secs
lola: 9713117 markings, 15913609 edges, 120780 markings/sec, 65 secs
lola: 10615813 markings, 17086323 edges, 180539 markings/sec, 70 secs
lola: 11504408 markings, 18248351 edges, 177719 markings/sec, 75 secs
lola: 12406953 markings, 19342761 edges, 180509 markings/sec, 80 secs
lola: 13255035 markings, 20418848 edges, 169616 markings/sec, 85 secs
lola: 14163206 markings, 21525755 edges, 181634 markings/sec, 90 secs
lola: 14999855 markings, 22599185 edges, 167330 markings/sec, 95 secs
lola: 15845264 markings, 23663145 edges, 169082 markings/sec, 100 secs
lola: 16693550 markings, 24713201 edges, 169657 markings/sec, 105 secs
lola: 17535792 markings, 25763133 edges, 168448 markings/sec, 110 secs
lola: 18386467 markings, 26809410 edges, 170135 markings/sec, 115 secs
lola: 19380637 markings, 27953152 edges, 198834 markings/sec, 120 secs
lola: 19934096 markings, 29131219 edges, 110692 markings/sec, 125 secs
lola: 20461277 markings, 30221145 edges, 105436 markings/sec, 130 secs
lola: 21183513 markings, 31316418 edges, 144447 markings/sec, 135 secs
lola: 22125752 markings, 32482652 edges, 188448 markings/sec, 140 secs
lola: 22838864 markings, 33657199 edges, 142622 markings/sec, 145 secs
lola: 23240324 markings, 34711945 edges, 80292 markings/sec, 150 secs
lola: 23695803 markings, 35763336 edges, 91096 markings/sec, 155 secs
lola: 24196596 markings, 36821938 edges, 100159 markings/sec, 160 secs
lola: 24756871 markings, 37878993 edges, 112055 markings/sec, 165 secs
lola: 25363412 markings, 38927543 edges, 121308 markings/sec, 170 secs
lola: 26250957 markings, 40011276 edges, 177509 markings/sec, 175 secs
lola: 27091345 markings, 41077265 edges, 168078 markings/sec, 180 secs
lola: 27990337 markings, 42174031 edges, 179798 markings/sec, 185 secs
lola: 28818986 markings, 43236451 edges, 165730 markings/sec, 190 secs
lola: 29655834 markings, 44291429 edges, 167370 markings/sec, 195 secs
lola: 30497681 markings, 45332699 edges, 168369 markings/sec, 200 secs
lola: 31318038 markings, 46354049 edges, 164071 markings/sec, 205 secs
lola: 32153879 markings, 47382175 edges, 167168 markings/sec, 210 secs
lola: 33122851 markings, 48496538 edges, 193794 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(p69)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 853601 markings, 1011310 edges, 170720 markings/sec, 0 secs
lola: 1712259 markings, 2088991 edges, 171732 markings/sec, 5 secs
lola: 2556647 markings, 3160482 edges, 168878 markings/sec, 10 secs
lola: 3405773 markings, 4212579 edges, 169825 markings/sec, 15 secs
lola: 4240829 markings, 5259180 edges, 167011 markings/sec, 20 secs
lola: 5065273 markings, 6309654 edges, 164889 markings/sec, 25 secs
lola: 5901926 markings, 7343304 edges, 167331 markings/sec, 30 secs
lola: 6727039 markings, 8380392 edges, 165023 markings/sec, 35 secs
lola: 7550581 markings, 9419257 edges, 164708 markings/sec, 40 secs
lola: 8388528 markings, 10462766 edges, 167589 markings/sec, 45 secs
lola: 9209318 markings, 11495649 edges, 164158 markings/sec, 50 secs
lola: 10033587 markings, 12526987 edges, 164854 markings/sec, 55 secs
lola: 10863921 markings, 13575586 edges, 166067 markings/sec, 60 secs
lola: 11701358 markings, 14617769 edges, 167487 markings/sec, 65 secs
lola: 12524692 markings, 15649629 edges, 164667 markings/sec, 70 secs
lola: 13355562 markings, 16701942 edges, 166174 markings/sec, 75 secs
lola: 14036784 markings, 17465425 edges, 136244 markings/sec, 80 secs
lola: 14706414 markings, 18169042 edges, 133926 markings/sec, 85 secs
lola: 15376650 markings, 18871799 edges, 134047 markings/sec, 90 secs
lola: 16031893 markings, 19564387 edges, 131049 markings/sec, 95 secs
lola: 16698376 markings, 20269428 edges, 133297 markings/sec, 100 secs
lola: 17350489 markings, 21013877 edges, 130423 markings/sec, 105 secs
lola: 18041539 markings, 21867572 edges, 138210 markings/sec, 110 secs
lola: 18691636 markings, 22635729 edges, 130019 markings/sec, 115 secs
lola: 19332929 markings, 23335024 edges, 128259 markings/sec, 120 secs
lola: 19975042 markings, 24021374 edges, 128423 markings/sec, 125 secs
lola: 20638377 markings, 24841111 edges, 132667 markings/sec, 130 secs
lola: 21284163 markings, 25580037 edges, 129157 markings/sec, 135 secs
lola: 21947044 markings, 26329832 edges, 132576 markings/sec, 140 secs
lola: 22670285 markings, 27124482 edges, 144648 markings/sec, 145 secs
lola: 23375603 markings, 27901224 edges, 141064 markings/sec, 150 secs
lola: 24056164 markings, 28609427 edges, 136112 markings/sec, 155 secs
lola: 24728500 markings, 29309294 edges, 134467 markings/sec, 160 secs
lola: 25408638 markings, 30017236 edges, 136028 markings/sec, 165 secs
lola: 26086673 markings, 30728924 edges, 135607 markings/sec, 170 secs
lola: 26762656 markings, 31447900 edges, 135197 markings/sec, 175 secs
lola: 27436973 markings, 32279217 edges, 134863 markings/sec, 180 secs
lola: 28087993 markings, 33006645 edges, 130204 markings/sec, 185 secs
lola: 28741616 markings, 33695047 edges, 130725 markings/sec, 190 secs
lola: 29393498 markings, 34382330 edges, 130376 markings/sec, 195 secs
lola: 30055411 markings, 35116381 edges, 132383 markings/sec, 200 secs
lola: 30719927 markings, 35889170 edges, 132903 markings/sec, 205 secs
lola: 31382021 markings, 36598992 edges, 132419 markings/sec, 210 secs
lola: 32116998 markings, 37413564 edges, 146995 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(p449)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 585482 markings, 1153793 edges, 117096 markings/sec, 0 secs
lola: 1142399 markings, 2246359 edges, 111383 markings/sec, 5 secs
lola: 1620772 markings, 3303955 edges, 95675 markings/sec, 10 secs
lola: 2134827 markings, 4446970 edges, 102811 markings/sec, 15 secs
lola: 2621282 markings, 5609413 edges, 97291 markings/sec, 20 secs
lola: 3147144 markings, 6733090 edges, 105172 markings/sec, 25 secs
lola: 3658747 markings, 7898394 edges, 102321 markings/sec, 30 secs
lola: 4169752 markings, 9057474 edges, 102201 markings/sec, 35 secs
lola: 4668683 markings, 10179659 edges, 99786 markings/sec, 40 secs
lola: 5077943 markings, 11310492 edges, 81852 markings/sec, 45 secs
lola: 5355630 markings, 12732809 edges, 55537 markings/sec, 50 secs
lola: 5619002 markings, 14104396 edges, 52674 markings/sec, 55 secs
lola: 6030199 markings, 15358203 edges, 82239 markings/sec, 60 secs
lola: 6409553 markings, 16510833 edges, 75871 markings/sec, 65 secs
lola: 6809858 markings, 17723223 edges, 80061 markings/sec, 70 secs
lola: 7188695 markings, 18865715 edges, 75767 markings/sec, 75 secs
lola: 7571055 markings, 20041685 edges, 76472 markings/sec, 80 secs
lola: 7968654 markings, 21204523 edges, 79520 markings/sec, 85 secs
lola: 8357034 markings, 22327959 edges, 77676 markings/sec, 90 secs
lola: 9005621 markings, 23091497 edges, 129717 markings/sec, 95 secs
lola: 9682892 markings, 23877795 edges, 135454 markings/sec, 100 secs
lola: 10289962 markings, 24609721 edges, 121414 markings/sec, 105 secs
lola: 10954876 markings, 25369573 edges, 132983 markings/sec, 110 secs
lola: 11604995 markings, 26370602 edges, 130024 markings/sec, 115 secs
lola: 12050249 markings, 27638496 edges, 89051 markings/sec, 120 secs
lola: 12609141 markings, 28592190 edges, 111778 markings/sec, 125 secs
lola: 13299116 markings, 29318836 edges, 137995 markings/sec, 130 secs
lola: 13989823 markings, 30046201 edges, 138141 markings/sec, 135 secs
lola: 14683991 markings, 30777292 edges, 138834 markings/sec, 140 secs
lola: 15377905 markings, 31508121 edges, 138783 markings/sec, 145 secs
lola: 16072735 markings, 32239879 edges, 138966 markings/sec, 150 secs
lola: 16768441 markings, 32972564 edges, 139141 markings/sec, 155 secs
lola: 17462976 markings, 33704006 edges, 138907 markings/sec, 160 secs
lola: 18157448 markings, 34435329 edges, 138894 markings/sec, 165 secs
lola: 18831923 markings, 35231909 edges, 134895 markings/sec, 170 secs
lola: 19506056 markings, 36045624 edges, 134827 markings/sec, 175 secs
lola: 20152961 markings, 36918902 edges, 129381 markings/sec, 180 secs
lola: 20714252 markings, 38118568 edges, 112258 markings/sec, 185 secs
lola: 21333660 markings, 39007382 edges, 123882 markings/sec, 190 secs
lola: 21987671 markings, 39746096 edges, 130802 markings/sec, 195 secs
lola: 22570876 markings, 40889395 edges, 116641 markings/sec, 200 secs
lola: 23122525 markings, 41933236 edges, 110330 markings/sec, 205 secs
lola: 23787641 markings, 42685136 edges, 133023 markings/sec, 210 secs
lola: 24435378 markings, 43631071 edges, 129547 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(p405)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 1059383 markings, 1191331 edges, 211877 markings/sec, 0 secs
lola: 2231297 markings, 2451423 edges, 234383 markings/sec, 5 secs
lola: 3149937 markings, 3602030 edges, 183728 markings/sec, 10 secs
lola: 4161394 markings, 4789869 edges, 202291 markings/sec, 15 secs
lola: 5287703 markings, 5983372 edges, 225262 markings/sec, 20 secs
lola: 5993748 markings, 7190941 edges, 141209 markings/sec, 25 secs
lola: 6511887 markings, 8297452 edges, 103628 markings/sec, 30 secs
lola: 7155491 markings, 9355258 edges, 128721 markings/sec, 35 secs
lola: 8059579 markings, 10474224 edges, 180818 markings/sec, 40 secs
lola: 9122455 markings, 11686066 edges, 212575 markings/sec, 45 secs
lola: 10033876 markings, 12824543 edges, 182284 markings/sec, 50 secs
lola: 10771848 markings, 13929815 edges, 147594 markings/sec, 55 secs
lola: 11362033 markings, 15099513 edges, 118037 markings/sec, 60 secs
lola: 11940127 markings, 16234964 edges, 115619 markings/sec, 65 secs
lola: 12449067 markings, 17246471 edges, 101788 markings/sec, 70 secs
lola: 12950439 markings, 18309647 edges, 100274 markings/sec, 75 secs
lola: 13476674 markings, 19364423 edges, 105247 markings/sec, 80 secs
lola: 13992063 markings, 20399482 edges, 103078 markings/sec, 85 secs
lola: 14495338 markings, 21447393 edges, 100655 markings/sec, 90 secs
lola: 15420709 markings, 22587681 edges, 185074 markings/sec, 95 secs
lola: 16375451 markings, 23730610 edges, 190948 markings/sec, 100 secs
lola: 17344606 markings, 24885608 edges, 193831 markings/sec, 105 secs
lola: 18259005 markings, 26024907 edges, 182880 markings/sec, 110 secs
lola: 19055415 markings, 27077530 edges, 159282 markings/sec, 115 secs
lola: 19838357 markings, 28150405 edges, 156588 markings/sec, 120 secs
lola: 20608333 markings, 29194906 edges, 153995 markings/sec, 125 secs
lola: 21398822 markings, 30225095 edges, 158098 markings/sec, 130 secs
lola: 22330300 markings, 31304270 edges, 186296 markings/sec, 135 secs
lola: 23304951 markings, 32492377 edges, 194930 markings/sec, 140 secs
lola: 23752321 markings, 33610997 edges, 89474 markings/sec, 145 secs
lola: 24359214 markings, 34665644 edges, 121379 markings/sec, 150 secs
lola: 25082832 markings, 35721093 edges, 144724 markings/sec, 155 secs
lola: 25998976 markings, 36806690 edges, 183229 markings/sec, 160 secs
lola: 27071241 markings, 38012629 edges, 214453 markings/sec, 165 secs
lola: 27979563 markings, 39141473 edges, 181664 markings/sec, 170 secs
lola: 28392690 markings, 40257740 edges, 82625 markings/sec, 175 secs
lola: 28792039 markings, 41303305 edges, 79870 markings/sec, 180 secs
lola: 29315843 markings, 42350089 edges, 104761 markings/sec, 185 secs
lola: 29827436 markings, 43384328 edges, 102319 markings/sec, 190 secs
lola: 30421621 markings, 44393950 edges, 118837 markings/sec, 195 secs
lola: 30872498 markings, 45411424 edges, 90175 markings/sec, 200 secs
lola: 31659180 markings, 46512657 edges, 157336 markings/sec, 205 secs
lola: 32472737 markings, 47590374 edges, 162711 markings/sec, 210 secs
lola: 33260268 markings, 48657410 edges, 157506 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(p252)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 751248 markings, 1078602 edges, 150250 markings/sec, 0 secs
lola: 1517784 markings, 2179480 edges, 153307 markings/sec, 5 secs
lola: 2283167 markings, 3280679 edges, 153077 markings/sec, 10 secs
lola: 3046476 markings, 4379705 edges, 152662 markings/sec, 15 secs
lola: 3801933 markings, 5553932 edges, 151091 markings/sec, 20 secs
lola: 4566948 markings, 6768134 edges, 153003 markings/sec, 25 secs
lola: 5311959 markings, 7951548 edges, 149002 markings/sec, 30 secs
lola: 6039091 markings, 9114650 edges, 145426 markings/sec, 35 secs
lola: 6765982 markings, 10273917 edges, 145378 markings/sec, 40 secs
lola: 7492876 markings, 11429860 edges, 145379 markings/sec, 45 secs
lola: 8219343 markings, 12584122 edges, 145293 markings/sec, 50 secs
lola: 8940450 markings, 13729287 edges, 144221 markings/sec, 55 secs
lola: 9661706 markings, 14874617 edges, 144251 markings/sec, 60 secs
lola: 10382327 markings, 16019853 edges, 144124 markings/sec, 65 secs
lola: 11102070 markings, 17165724 edges, 143949 markings/sec, 70 secs
lola: 11822768 markings, 18319234 edges, 144140 markings/sec, 75 secs
lola: 12550221 markings, 19472427 edges, 145491 markings/sec, 80 secs
lola: 13280298 markings, 20628941 edges, 146015 markings/sec, 85 secs
lola: 14009646 markings, 21786633 edges, 145870 markings/sec, 90 secs
lola: 14720745 markings, 22950913 edges, 142220 markings/sec, 95 secs
lola: 15235717 markings, 23936779 edges, 102994 markings/sec, 100 secs
lola: 15669298 markings, 24993940 edges, 86716 markings/sec, 105 secs
lola: 16093347 markings, 26068586 edges, 84810 markings/sec, 110 secs
lola: 16519182 markings, 27099109 edges, 85167 markings/sec, 115 secs
lola: 17068499 markings, 28119561 edges, 109863 markings/sec, 120 secs
lola: 17594798 markings, 29117673 edges, 105260 markings/sec, 125 secs
lola: 18121312 markings, 30089360 edges, 105303 markings/sec, 130 secs
lola: 18600125 markings, 31099556 edges, 95763 markings/sec, 135 secs
lola: 19025972 markings, 32133562 edges, 85169 markings/sec, 140 secs
lola: 19462465 markings, 33159411 edges, 87299 markings/sec, 145 secs
lola: 19888706 markings, 34185527 edges, 85248 markings/sec, 150 secs
lola: 20298619 markings, 35204181 edges, 81983 markings/sec, 155 secs
lola: 20740727 markings, 36196917 edges, 88422 markings/sec, 160 secs
lola: 21270062 markings, 37117895 edges, 105867 markings/sec, 165 secs
lola: 21716452 markings, 38054765 edges, 89278 markings/sec, 170 secs
lola: 22228124 markings, 39008222 edges, 102334 markings/sec, 175 secs
lola: 22677783 markings, 39987529 edges, 89932 markings/sec, 180 secs
lola: 23168201 markings, 40980923 edges, 98084 markings/sec, 185 secs
lola: 23722162 markings, 41988919 edges, 110792 markings/sec, 190 secs
lola: 24238065 markings, 43023662 edges, 103181 markings/sec, 195 secs
lola: 24711428 markings, 44122978 edges, 94673 markings/sec, 200 secs
lola: 25137952 markings, 45248340 edges, 85305 markings/sec, 205 secs
lola: 25528612 markings, 46281744 edges, 78132 markings/sec, 210 secs
lola: 25917442 markings, 47300760 edges, 77766 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(p366)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 1100346 markings, 1254563 edges, 220069 markings/sec, 0 secs
lola: 2014424 markings, 2450684 edges, 182816 markings/sec, 5 secs
lola: 3049429 markings, 3658466 edges, 207001 markings/sec, 10 secs
lola: 3853598 markings, 4911696 edges, 160834 markings/sec, 15 secs
lola: 4335921 markings, 6029342 edges, 96465 markings/sec, 20 secs
lola: 4940888 markings, 7099093 edges, 120993 markings/sec, 25 secs
lola: 5954764 markings, 8309146 edges, 202775 markings/sec, 30 secs
lola: 6811619 markings, 9457752 edges, 171371 markings/sec, 35 secs
lola: 7437696 markings, 10610528 edges, 125215 markings/sec, 40 secs
lola: 8020876 markings, 11778674 edges, 116636 markings/sec, 45 secs
lola: 8505828 markings, 12802525 edges, 96990 markings/sec, 50 secs
lola: 9008513 markings, 13887225 edges, 100537 markings/sec, 55 secs
lola: 9494738 markings, 14926164 edges, 97245 markings/sec, 60 secs
lola: 10017862 markings, 15990558 edges, 104625 markings/sec, 65 secs
lola: 10958359 markings, 17177125 edges, 188099 markings/sec, 70 secs
lola: 11894851 markings, 18358279 edges, 187298 markings/sec, 75 secs
lola: 12790446 markings, 19481560 edges, 179119 markings/sec, 80 secs
lola: 13660108 markings, 20577544 edges, 173932 markings/sec, 85 secs
lola: 14554570 markings, 21669678 edges, 178892 markings/sec, 90 secs
lola: 15400460 markings, 22759918 edges, 169178 markings/sec, 95 secs
lola: 16258748 markings, 23840279 edges, 171658 markings/sec, 100 secs
lola: 17117510 markings, 24905282 edges, 171752 markings/sec, 105 secs
lola: 17970898 markings, 25962665 edges, 170678 markings/sec, 110 secs
lola: 18816609 markings, 27010053 edges, 169142 markings/sec, 115 secs
lola: 19854613 markings, 28187255 edges, 207601 markings/sec, 120 secs
lola: 20365003 markings, 29347278 edges, 102078 markings/sec, 125 secs
lola: 20899446 markings, 30432601 edges, 106889 markings/sec, 130 secs
lola: 21663273 markings, 31528089 edges, 152765 markings/sec, 135 secs
lola: 22641837 markings, 32717976 edges, 195713 markings/sec, 140 secs
lola: 23383477 markings, 33901299 edges, 148328 markings/sec, 145 secs
lola: 23787565 markings, 34951743 edges, 80818 markings/sec, 150 secs
lola: 24252819 markings, 36004348 edges, 93051 markings/sec, 155 secs
lola: 24761228 markings, 37065503 edges, 101682 markings/sec, 160 secs
lola: 25317391 markings, 38114775 edges, 111233 markings/sec, 165 secs
lola: 26010309 markings, 39208924 edges, 138584 markings/sec, 170 secs
lola: 26926884 markings, 40315921 edges, 183315 markings/sec, 175 secs
lola: 27791278 markings, 41395382 edges, 172879 markings/sec, 180 secs
lola: 28649270 markings, 42498405 edges, 171598 markings/sec, 185 secs
lola: 29537984 markings, 43599619 edges, 177743 markings/sec, 190 secs
lola: 30377534 markings, 44666708 edges, 167910 markings/sec, 195 secs
lola: 31252300 markings, 45735943 edges, 174953 markings/sec, 200 secs
lola: 32115938 markings, 46797063 edges, 172728 markings/sec, 205 secs
lola: 33065605 markings, 47901144 edges, 189933 markings/sec, 210 secs
lola: 33837796 markings, 49073489 edges, 154438 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(p388)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 1054679 markings, 1242715 edges, 210936 markings/sec, 0 secs
lola: 1912002 markings, 2427465 edges, 171465 markings/sec, 5 secs
lola: 2887280 markings, 3616998 edges, 195056 markings/sec, 10 secs
lola: 3413851 markings, 4811013 edges, 105314 markings/sec, 15 secs
lola: 3942234 markings, 5901266 edges, 105677 markings/sec, 20 secs
lola: 4591546 markings, 6983307 edges, 129862 markings/sec, 25 secs
lola: 5509825 markings, 8171484 edges, 183656 markings/sec, 30 secs
lola: 6246453 markings, 9276520 edges, 147326 markings/sec, 35 secs
lola: 6765386 markings, 10464752 edges, 103787 markings/sec, 40 secs
lola: 7263952 markings, 11607197 edges, 99713 markings/sec, 45 secs
lola: 7726781 markings, 12644448 edges, 92566 markings/sec, 50 secs
lola: 8202236 markings, 13720055 edges, 95091 markings/sec, 55 secs
lola: 8661503 markings, 14765035 edges, 91853 markings/sec, 60 secs
lola: 9141960 markings, 15831726 edges, 96091 markings/sec, 65 secs
lola: 9812824 markings, 16943097 edges, 134173 markings/sec, 70 secs
lola: 10661543 markings, 18093893 edges, 169744 markings/sec, 75 secs
lola: 11498859 markings, 19230605 edges, 167463 markings/sec, 80 secs
lola: 12381541 markings, 20290204 edges, 176536 markings/sec, 85 secs
lola: 13198849 markings, 21323916 edges, 163462 markings/sec, 90 secs
lola: 14089514 markings, 22392331 edges, 178133 markings/sec, 95 secs
lola: 14885225 markings, 23411228 edges, 159142 markings/sec, 100 secs
lola: 15717254 markings, 24465561 edges, 166406 markings/sec, 105 secs
lola: 16519617 markings, 25469268 edges, 160473 markings/sec, 110 secs
lola: 17370664 markings, 26508551 edges, 170209 markings/sec, 115 secs
lola: 18206415 markings, 27538897 edges, 167150 markings/sec, 120 secs
lola: 19075977 markings, 28583614 edges, 173912 markings/sec, 125 secs
lola: 19857598 markings, 29804755 edges, 156324 markings/sec, 130 secs
lola: 20308706 markings, 30882353 edges, 90222 markings/sec, 135 secs
lola: 20872441 markings, 31933856 edges, 112747 markings/sec, 140 secs
lola: 21684198 markings, 33038969 edges, 162351 markings/sec, 145 secs
lola: 22562674 markings, 34216745 edges, 175695 markings/sec, 150 secs
lola: 23035779 markings, 35370370 edges, 94621 markings/sec, 155 secs
lola: 23422513 markings, 36417624 edges, 77347 markings/sec, 160 secs
lola: 23904413 markings, 37479764 edges, 96380 markings/sec, 165 secs
lola: 24382158 markings, 38537155 edges, 95549 markings/sec, 170 secs
lola: 24943995 markings, 39590882 edges, 112367 markings/sec, 175 secs
lola: 25371556 markings, 40597371 edges, 85512 markings/sec, 180 secs
lola: 26233963 markings, 41719612 edges, 172481 markings/sec, 185 secs
lola: 27099285 markings, 42783530 edges, 173064 markings/sec, 190 secs
lola: 27944362 markings, 43827466 edges, 169015 markings/sec, 195 secs
lola: 28808370 markings, 44892543 edges, 172802 markings/sec, 200 secs
lola: 29637441 markings, 45946275 edges, 165814 markings/sec, 205 secs
lola: 30470094 markings, 46984824 edges, 166531 markings/sec, 210 secs
lola: 31299119 markings, 48016962 edges, 165805 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(p383)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 1010196 markings, 1133211 edges, 202039 markings/sec, 0 secs
lola: 1998414 markings, 2278036 edges, 197644 markings/sec, 5 secs
lola: 2932491 markings, 3393120 edges, 186815 markings/sec, 10 secs
lola: 3898988 markings, 4488075 edges, 193299 markings/sec, 15 secs
lola: 4731934 markings, 5621858 edges, 166589 markings/sec, 20 secs
lola: 5190720 markings, 6766479 edges, 91757 markings/sec, 25 secs
lola: 5811985 markings, 7800399 edges, 124253 markings/sec, 30 secs
lola: 6698657 markings, 8881183 edges, 177334 markings/sec, 35 secs
lola: 7659487 markings, 10001347 edges, 192166 markings/sec, 40 secs
lola: 8453494 markings, 11063776 edges, 158801 markings/sec, 45 secs
lola: 9077905 markings, 12182157 edges, 124882 markings/sec, 50 secs
lola: 9621746 markings, 13280385 edges, 108768 markings/sec, 55 secs
lola: 10122542 markings, 14299087 edges, 100159 markings/sec, 60 secs
lola: 10653315 markings, 15330986 edges, 106155 markings/sec, 65 secs
lola: 11172630 markings, 16345531 edges, 103863 markings/sec, 70 secs
lola: 11899699 markings, 17416483 edges, 145414 markings/sec, 75 secs
lola: 12780021 markings, 18501926 edges, 176064 markings/sec, 80 secs
lola: 13677648 markings, 19588661 edges, 179525 markings/sec, 85 secs
lola: 14560676 markings, 20664928 edges, 176606 markings/sec, 90 secs
lola: 15382869 markings, 21697085 edges, 164439 markings/sec, 95 secs
lola: 16232138 markings, 22739646 edges, 169854 markings/sec, 100 secs
lola: 17031595 markings, 23777319 edges, 159891 markings/sec, 105 secs
lola: 17831344 markings, 24787256 edges, 159950 markings/sec, 110 secs
lola: 18633826 markings, 25787563 edges, 160496 markings/sec, 115 secs
lola: 19553660 markings, 26824179 edges, 183967 markings/sec, 120 secs
lola: 20355777 markings, 27936272 edges, 160423 markings/sec, 125 secs
lola: 20799209 markings, 29040155 edges, 88686 markings/sec, 130 secs
lola: 21416424 markings, 30070985 edges, 123443 markings/sec, 135 secs
lola: 22220091 markings, 31095842 edges, 160733 markings/sec, 140 secs
lola: 23190196 markings, 32204081 edges, 194021 markings/sec, 145 secs
lola: 24068278 markings, 33288946 edges, 175616 markings/sec, 150 secs
lola: 24503688 markings, 34366366 edges, 87082 markings/sec, 155 secs
lola: 24938196 markings, 35386140 edges, 86902 markings/sec, 160 secs
lola: 25460109 markings, 36408220 edges, 104383 markings/sec, 165 secs
lola: 26004844 markings, 37411598 edges, 108947 markings/sec, 170 secs
lola: 26718628 markings, 38454834 edges, 142757 markings/sec, 175 secs
lola: 27579061 markings, 39502726 edges, 172087 markings/sec, 180 secs
lola: 28399149 markings, 40528676 edges, 164018 markings/sec, 185 secs
lola: 29225124 markings, 41581128 edges, 165195 markings/sec, 190 secs
lola: 30035005 markings, 42608896 edges, 161976 markings/sec, 195 secs
lola: 30848750 markings, 43624469 edges, 162749 markings/sec, 200 secs
lola: 31679084 markings, 44633184 edges, 166067 markings/sec, 205 secs
lola: 32678527 markings, 45737700 edges, 199889 markings/sec, 210 secs
lola: 33157736 markings, 46853364 edges, 95842 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(p316)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 893379 markings, 1237560 edges, 178676 markings/sec, 0 secs
lola: 1784656 markings, 2472656 edges, 178255 markings/sec, 5 secs
lola: 2673886 markings, 3705633 edges, 177846 markings/sec, 10 secs
lola: 3565046 markings, 4941073 edges, 178232 markings/sec, 15 secs
lola: 4458655 markings, 6179076 edges, 178722 markings/sec, 20 secs
lola: 5353162 markings, 7418443 edges, 178901 markings/sec, 25 secs
lola: 6247585 markings, 8659020 edges, 178885 markings/sec, 30 secs
lola: 7139630 markings, 9894737 edges, 178409 markings/sec, 35 secs
lola: 8031384 markings, 11128736 edges, 178351 markings/sec, 40 secs
lola: 8919925 markings, 12362279 edges, 177708 markings/sec, 45 secs
lola: 9727099 markings, 13402276 edges, 161435 markings/sec, 50 secs
lola: 10460436 markings, 14312417 edges, 146667 markings/sec, 55 secs
lola: 11184714 markings, 15212656 edges, 144856 markings/sec, 60 secs
lola: 11900759 markings, 16102493 edges, 143209 markings/sec, 65 secs
lola: 12616589 markings, 16992333 edges, 143166 markings/sec, 70 secs
lola: 13335132 markings, 17888628 edges, 143709 markings/sec, 75 secs
lola: 14053032 markings, 18780452 edges, 143580 markings/sec, 80 secs
lola: 14769001 markings, 19670435 edges, 143194 markings/sec, 85 secs
lola: 15484596 markings, 20560415 edges, 143119 markings/sec, 90 secs
lola: 16192463 markings, 21440990 edges, 141573 markings/sec, 95 secs
lola: 16902342 markings, 22324240 edges, 141976 markings/sec, 100 secs
lola: 17615109 markings, 23210304 edges, 142553 markings/sec, 105 secs
lola: 18331290 markings, 24100400 edges, 143236 markings/sec, 110 secs
lola: 19047765 markings, 24991272 edges, 143295 markings/sec, 115 secs
lola: 19763006 markings, 25881650 edges, 143048 markings/sec, 120 secs
lola: 20482293 markings, 26778867 edges, 143857 markings/sec, 125 secs
lola: 21199647 markings, 27671095 edges, 143471 markings/sec, 130 secs
lola: 21920328 markings, 28565638 edges, 144136 markings/sec, 135 secs
lola: 22638767 markings, 29458511 edges, 143688 markings/sec, 140 secs
lola: 23358483 markings, 30355327 edges, 143943 markings/sec, 145 secs
lola: 24078907 markings, 31251531 edges, 144085 markings/sec, 150 secs
lola: 24798756 markings, 32157972 edges, 143970 markings/sec, 155 secs
lola: 25515785 markings, 33049498 edges, 143406 markings/sec, 160 secs
lola: 26229893 markings, 33937929 edges, 142822 markings/sec, 165 secs
lola: 26945156 markings, 34827107 edges, 143053 markings/sec, 170 secs
lola: 27660657 markings, 35719197 edges, 143100 markings/sec, 175 secs
lola: 28378279 markings, 36610555 edges, 143524 markings/sec, 180 secs
lola: 29093190 markings, 37508271 edges, 142982 markings/sec, 185 secs
lola: 29811064 markings, 38405923 edges, 143575 markings/sec, 190 secs
lola: 30528778 markings, 39299505 edges, 143543 markings/sec, 195 secs
lola: 31244858 markings, 40190367 edges, 143216 markings/sec, 200 secs
lola: 31961340 markings, 41081204 edges, 143296 markings/sec, 205 secs
lola: 32678980 markings, 41975115 edges, 143528 markings/sec, 210 secs
lola: 33395609 markings, 42865990 edges, 143326 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(p471)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 864259 markings, 1024353 edges, 172852 markings/sec, 0 secs
lola: 1732488 markings, 2113637 edges, 173646 markings/sec, 5 secs
lola: 2589787 markings, 3195336 edges, 171460 markings/sec, 10 secs
lola: 3433256 markings, 4249454 edges, 168694 markings/sec, 15 secs
lola: 4258642 markings, 5282278 edges, 165077 markings/sec, 20 secs
lola: 5072357 markings, 6317079 edges, 162743 markings/sec, 25 secs
lola: 5904380 markings, 7346194 edges, 166405 markings/sec, 30 secs
lola: 6726045 markings, 8379353 edges, 164333 markings/sec, 35 secs
lola: 7546702 markings, 9412513 edges, 164131 markings/sec, 40 secs
lola: 8376422 markings, 10448624 edges, 165944 markings/sec, 45 secs
lola: 9197485 markings, 11479164 edges, 164213 markings/sec, 50 secs
lola: 10009977 markings, 12495200 edges, 162498 markings/sec, 55 secs
lola: 10828568 markings, 13538442 edges, 163718 markings/sec, 60 secs
lola: 11659802 markings, 14564934 edges, 166247 markings/sec, 65 secs
lola: 12477937 markings, 15595344 edges, 163627 markings/sec, 70 secs
lola: 13297869 markings, 16623907 edges, 163986 markings/sec, 75 secs
lola: 14123402 markings, 17660279 edges, 165107 markings/sec, 80 secs
lola: 14950002 markings, 18692691 edges, 165320 markings/sec, 85 secs
lola: 15762702 markings, 19711716 edges, 162540 markings/sec, 90 secs
lola: 16578068 markings, 20752742 edges, 163073 markings/sec, 95 secs
lola: 17424101 markings, 21794771 edges, 169207 markings/sec, 100 secs
lola: 18209875 markings, 22734842 edges, 157155 markings/sec, 105 secs
lola: 18880498 markings, 23474671 edges, 134125 markings/sec, 110 secs
lola: 19589963 markings, 24247660 edges, 141893 markings/sec, 115 secs
lola: 20304094 markings, 24982608 edges, 142826 markings/sec, 120 secs
lola: 21008462 markings, 25706441 edges, 140874 markings/sec, 125 secs
lola: 21704592 markings, 26427902 edges, 139226 markings/sec, 130 secs
lola: 22405007 markings, 27210100 edges, 140083 markings/sec, 135 secs
lola: 23079440 markings, 27924043 edges, 134887 markings/sec, 140 secs
lola: 23752482 markings, 28628804 edges, 134608 markings/sec, 145 secs
lola: 24451814 markings, 29398229 edges, 139866 markings/sec, 150 secs
lola: 25227404 markings, 30228565 edges, 155118 markings/sec, 155 secs
lola: 25938623 markings, 30959081 edges, 142244 markings/sec, 160 secs
lola: 26649914 markings, 31740421 edges, 142258 markings/sec, 165 secs
lola: 27329055 markings, 32465699 edges, 135828 markings/sec, 170 secs
lola: 28024221 markings, 33224745 edges, 139033 markings/sec, 175 secs
lola: 28797373 markings, 34098780 edges, 154630 markings/sec, 180 secs
lola: 29307734 markings, 35167292 edges, 102072 markings/sec, 185 secs
lola: 29847551 markings, 36185601 edges, 107963 markings/sec, 190 secs
lola: 30420062 markings, 37325545 edges, 114502 markings/sec, 195 secs
lola: 31091001 markings, 38432399 edges, 134188 markings/sec, 200 secs
lola: 31756471 markings, 39532507 edges, 133094 markings/sec, 205 secs
lola: 32445303 markings, 40576123 edges, 137766 markings/sec, 210 secs
lola: 33192764 markings, 41400821 edges, 149492 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(p41)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 827646 markings, 1051368 edges, 165529 markings/sec, 0 secs
lola: 1634370 markings, 2095425 edges, 161345 markings/sec, 5 secs
lola: 2377776 markings, 3138231 edges, 148681 markings/sec, 10 secs
lola: 3142858 markings, 4187308 edges, 153016 markings/sec, 15 secs
lola: 3906545 markings, 5223216 edges, 152737 markings/sec, 20 secs
lola: 4612387 markings, 6238884 edges, 141168 markings/sec, 25 secs
lola: 5327188 markings, 7248398 edges, 142960 markings/sec, 30 secs
lola: 6018709 markings, 8204851 edges, 138304 markings/sec, 35 secs
lola: 6534931 markings, 9354850 edges, 103244 markings/sec, 40 secs
lola: 7080662 markings, 10405302 edges, 109146 markings/sec, 45 secs
lola: 7568795 markings, 11536128 edges, 97627 markings/sec, 50 secs
lola: 8139835 markings, 12645311 edges, 114208 markings/sec, 55 secs
lola: 8609850 markings, 13673636 edges, 94003 markings/sec, 60 secs
lola: 9163091 markings, 14802328 edges, 110648 markings/sec, 65 secs
lola: 9696099 markings, 15819539 edges, 106602 markings/sec, 70 secs
lola: 10189280 markings, 16965891 edges, 98636 markings/sec, 75 secs
lola: 10742496 markings, 18027213 edges, 110643 markings/sec, 80 secs
lola: 11211287 markings, 19119319 edges, 93758 markings/sec, 85 secs
lola: 11771098 markings, 20198723 edges, 111962 markings/sec, 90 secs
lola: 12246984 markings, 21206996 edges, 95177 markings/sec, 95 secs
lola: 12786211 markings, 22335910 edges, 107845 markings/sec, 100 secs
lola: 13319988 markings, 23357336 edges, 106755 markings/sec, 105 secs
lola: 13803876 markings, 24482890 edges, 96778 markings/sec, 110 secs
lola: 14355416 markings, 25542352 edges, 110308 markings/sec, 115 secs
lola: 14816732 markings, 26614962 edges, 92263 markings/sec, 120 secs
lola: 15383637 markings, 27709832 edges, 113381 markings/sec, 125 secs
lola: 15867271 markings, 28715165 edges, 96727 markings/sec, 130 secs
lola: 16402796 markings, 29856278 edges, 107105 markings/sec, 135 secs
lola: 16940387 markings, 30888022 edges, 107518 markings/sec, 140 secs
lola: 17426842 markings, 32017571 edges, 97291 markings/sec, 145 secs
lola: 17989274 markings, 33104819 edges, 112486 markings/sec, 150 secs
lola: 18452652 markings, 34178266 edges, 92676 markings/sec, 155 secs
lola: 19004930 markings, 35243026 edges, 110456 markings/sec, 160 secs
lola: 19497504 markings, 36249847 edges, 98515 markings/sec, 165 secs
lola: 19946731 markings, 37292914 edges, 89845 markings/sec, 170 secs
lola: 20385065 markings, 38277639 edges, 87667 markings/sec, 175 secs
lola: 20945837 markings, 39202884 edges, 112154 markings/sec, 180 secs
lola: 21725080 markings, 40057800 edges, 155849 markings/sec, 185 secs
lola: 22554235 markings, 40931072 edges, 165831 markings/sec, 190 secs
lola: 23383894 markings, 41804880 edges, 165932 markings/sec, 195 secs
lola: 24210099 markings, 42674898 edges, 165241 markings/sec, 200 secs
lola: 25036727 markings, 43545510 edges, 165326 markings/sec, 205 secs
lola: 25855602 markings, 44408176 edges, 163775 markings/sec, 210 secs
lola: 26575220 markings, 45173035 edges, 143924 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(p205)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 793332 markings, 1117021 edges, 158666 markings/sec, 0 secs
lola: 1587247 markings, 2235032 edges, 158783 markings/sec, 5 secs
lola: 2226186 markings, 3213773 edges, 127788 markings/sec, 10 secs
lola: 2736627 markings, 4011138 edges, 102088 markings/sec, 15 secs
lola: 3264416 markings, 4782164 edges, 105558 markings/sec, 20 secs
lola: 3895178 markings, 5522934 edges, 126152 markings/sec, 25 secs
lola: 4535551 markings, 6249342 edges, 128075 markings/sec, 30 secs
lola: 5162988 markings, 6975085 edges, 125487 markings/sec, 35 secs
lola: 5801898 markings, 7713551 edges, 127782 markings/sec, 40 secs
lola: 6435205 markings, 8446992 edges, 126661 markings/sec, 45 secs
lola: 7059557 markings, 9167834 edges, 124870 markings/sec, 50 secs
lola: 7695466 markings, 9865278 edges, 127182 markings/sec, 55 secs
lola: 8334793 markings, 10579962 edges, 127865 markings/sec, 60 secs
lola: 8955089 markings, 11270564 edges, 124059 markings/sec, 65 secs
lola: 9587471 markings, 12036124 edges, 126476 markings/sec, 70 secs
lola: 10240774 markings, 12814263 edges, 130661 markings/sec, 75 secs
lola: 10874590 markings, 13595186 edges, 126763 markings/sec, 80 secs
lola: 11513998 markings, 14377203 edges, 127882 markings/sec, 85 secs
lola: 12155183 markings, 15154629 edges, 128237 markings/sec, 90 secs
lola: 12775881 markings, 15916962 edges, 124140 markings/sec, 95 secs
lola: 13433931 markings, 16660253 edges, 131610 markings/sec, 100 secs
lola: 14067646 markings, 17394174 edges, 126743 markings/sec, 105 secs
lola: 14652458 markings, 18218060 edges, 116962 markings/sec, 110 secs
lola: 15167998 markings, 19261390 edges, 103108 markings/sec, 115 secs
lola: 15703006 markings, 20258924 edges, 107002 markings/sec, 120 secs
lola: 16220413 markings, 21282953 edges, 103481 markings/sec, 125 secs
lola: 16684912 markings, 22360681 edges, 92900 markings/sec, 130 secs
lola: 17090831 markings, 23497889 edges, 81184 markings/sec, 135 secs
lola: 17523708 markings, 24610869 edges, 86575 markings/sec, 140 secs
lola: 17950567 markings, 25711437 edges, 85372 markings/sec, 145 secs
lola: 18376835 markings, 26808874 edges, 85254 markings/sec, 150 secs
lola: 18786033 markings, 27888963 edges, 81840 markings/sec, 155 secs
lola: 19198173 markings, 28902978 edges, 82428 markings/sec, 160 secs
lola: 19560015 markings, 29938829 edges, 72368 markings/sec, 165 secs
lola: 19977383 markings, 30970582 edges, 83474 markings/sec, 170 secs
lola: 20367279 markings, 32014201 edges, 77979 markings/sec, 175 secs
lola: 20755672 markings, 33062602 edges, 77679 markings/sec, 180 secs
lola: 21169190 markings, 34061110 edges, 82704 markings/sec, 185 secs
lola: 21542222 markings, 35100038 edges, 74606 markings/sec, 190 secs
lola: 21969321 markings, 36088163 edges, 85420 markings/sec, 195 secs
lola: 22435406 markings, 37055938 edges, 93217 markings/sec, 200 secs
lola: 22827447 markings, 38079428 edges, 78408 markings/sec, 205 secs
lola: 23279436 markings, 39070154 edges, 90398 markings/sec, 210 secs
lola: 23741342 markings, 40053460 edges, 92381 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(p10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 724004 markings, 930598 edges, 144801 markings/sec, 0 secs
lola: 1442135 markings, 1848806 edges, 143626 markings/sec, 5 secs
lola: 2135126 markings, 2781549 edges, 138598 markings/sec, 10 secs
lola: 2807157 markings, 3720892 edges, 134406 markings/sec, 15 secs
lola: 3480556 markings, 4641008 edges, 134680 markings/sec, 20 secs
lola: 4148734 markings, 5573474 edges, 133636 markings/sec, 25 secs
lola: 4790568 markings, 6498721 edges, 128367 markings/sec, 30 secs
lola: 5439336 markings, 7399461 edges, 129754 markings/sec, 35 secs
lola: 6058204 markings, 8258174 edges, 123774 markings/sec, 40 secs
lola: 6528830 markings, 9340720 edges, 94125 markings/sec, 45 secs
lola: 7035866 markings, 10299825 edges, 101407 markings/sec, 50 secs
lola: 7497301 markings, 11372426 edges, 92287 markings/sec, 55 secs
lola: 8016323 markings, 12357820 edges, 103804 markings/sec, 60 secs
lola: 8462526 markings, 13392334 edges, 89241 markings/sec, 65 secs
lola: 8988168 markings, 14395145 edges, 105128 markings/sec, 70 secs
lola: 9422157 markings, 15403599 edges, 86798 markings/sec, 75 secs
lola: 9955489 markings, 16422249 edges, 106666 markings/sec, 80 secs
lola: 10391916 markings, 17391759 edges, 87285 markings/sec, 85 secs
lola: 10913172 markings, 18426416 edges, 104251 markings/sec, 90 secs
lola: 11375025 markings, 19371320 edges, 92371 markings/sec, 95 secs
lola: 11864608 markings, 20418082 edges, 97917 markings/sec, 100 secs
lola: 12350152 markings, 21343978 edges, 97109 markings/sec, 105 secs
lola: 12817725 markings, 22408281 edges, 93515 markings/sec, 110 secs
lola: 13317456 markings, 23351335 edges, 99946 markings/sec, 115 secs
lola: 13770987 markings, 24405475 edges, 90706 markings/sec, 120 secs
lola: 14275886 markings, 25359748 edges, 100980 markings/sec, 125 secs
lola: 14721172 markings, 26391058 edges, 89057 markings/sec, 130 secs
lola: 15235234 markings, 27366455 edges, 102812 markings/sec, 135 secs
lola: 15675561 markings, 28388443 edges, 88065 markings/sec, 140 secs
lola: 16201376 markings, 29392106 edges, 105163 markings/sec, 145 secs
lola: 16632202 markings, 30392624 edges, 86165 markings/sec, 150 secs
lola: 17161702 markings, 31401045 edges, 105900 markings/sec, 155 secs
lola: 17596259 markings, 32365164 edges, 86911 markings/sec, 160 secs
lola: 18115901 markings, 33398506 edges, 103928 markings/sec, 165 secs
lola: 18577085 markings, 34341705 edges, 92237 markings/sec, 170 secs
lola: 19073876 markings, 35405406 edges, 99358 markings/sec, 175 secs
lola: 19563123 markings, 36329010 edges, 97849 markings/sec, 180 secs
lola: 20029981 markings, 37403940 edges, 93372 markings/sec, 185 secs
lola: 20535871 markings, 38360048 edges, 101178 markings/sec, 190 secs
lola: 20991618 markings, 39419801 edges, 91149 markings/sec, 195 secs
lola: 21502490 markings, 40387604 edges, 102174 markings/sec, 200 secs
lola: 21946406 markings, 41415397 edges, 88783 markings/sec, 205 secs
lola: 22467677 markings, 42407224 edges, 104254 markings/sec, 210 secs
lola: 22907949 markings, 43430294 edges, 88054 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 872641 markings, 1104007 edges, 174528 markings/sec, 0 secs
lola: 1724002 markings, 2217657 edges, 170272 markings/sec, 5 secs
lola: 2512846 markings, 3323226 edges, 157769 markings/sec, 10 secs
lola: 3319557 markings, 4425455 edges, 161342 markings/sec, 15 secs
lola: 4114099 markings, 5525107 edges, 158908 markings/sec, 20 secs
lola: 4870138 markings, 6609807 edges, 151208 markings/sec, 25 secs
lola: 5629111 markings, 7665103 edges, 151795 markings/sec, 30 secs
lola: 6282576 markings, 8769995 edges, 130693 markings/sec, 35 secs
lola: 6765916 markings, 9873468 edges, 96668 markings/sec, 40 secs
lola: 7348742 markings, 11027508 edges, 116565 markings/sec, 45 secs
lola: 7902475 markings, 12091022 edges, 110747 markings/sec, 50 secs
lola: 8406594 markings, 13264933 edges, 100824 markings/sec, 55 secs
lola: 8977095 markings, 14369213 edges, 114100 markings/sec, 60 secs
lola: 9448129 markings, 15462719 edges, 94207 markings/sec, 65 secs
lola: 10025010 markings, 16583380 edges, 115376 markings/sec, 70 secs
lola: 10550717 markings, 17602810 edges, 105141 markings/sec, 75 secs
lola: 11059901 markings, 18767526 edges, 101837 markings/sec, 80 secs
lola: 11610912 markings, 19827035 edges, 110202 markings/sec, 85 secs
lola: 12086496 markings, 20931550 edges, 95117 markings/sec, 90 secs
lola: 12654956 markings, 22033496 edges, 113692 markings/sec, 95 secs
lola: 13128988 markings, 23054484 edges, 94806 markings/sec, 100 secs
lola: 13675694 markings, 24185363 edges, 109341 markings/sec, 105 secs
lola: 14210056 markings, 25203458 edges, 106872 markings/sec, 110 secs
lola: 14695785 markings, 26334567 edges, 97146 markings/sec, 115 secs
lola: 15250748 markings, 27402006 edges, 110993 markings/sec, 120 secs
lola: 15719094 markings, 28491228 edges, 93669 markings/sec, 125 secs
lola: 16287295 markings, 29589627 edges, 113640 markings/sec, 130 secs
lola: 16775662 markings, 30597267 edges, 97673 markings/sec, 135 secs
lola: 17304882 markings, 31733043 edges, 105844 markings/sec, 140 secs
lola: 17840754 markings, 32759649 edges, 107174 markings/sec, 145 secs
lola: 18324062 markings, 33880036 edges, 96662 markings/sec, 150 secs
lola: 18881355 markings, 34956591 edges, 111459 markings/sec, 155 secs
lola: 19343958 markings, 36032288 edges, 92521 markings/sec, 160 secs
lola: 19914881 markings, 37137153 edges, 114185 markings/sec, 165 secs
lola: 20430945 markings, 38156681 edges, 103213 markings/sec, 170 secs
lola: 20946837 markings, 39314197 edges, 103178 markings/sec, 175 secs
lola: 21494955 markings, 40369907 edges, 109624 markings/sec, 180 secs
lola: 21973986 markings, 41479892 edges, 95806 markings/sec, 185 secs
lola: 22545117 markings, 42588516 edges, 114226 markings/sec, 190 secs
lola: 23019900 markings, 43622246 edges, 94957 markings/sec, 195 secs
lola: 23574637 markings, 44760704 edges, 110947 markings/sec, 200 secs
lola: 24113919 markings, 45790780 edges, 107856 markings/sec, 205 secs
lola: 24606494 markings, 46937484 edges, 98515 markings/sec, 210 secs
lola: 25164254 markings, 48011526 edges, 111552 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p463)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 608518 markings, 1205155 edges, 121704 markings/sec, 0 secs
lola: 1270612 markings, 2077106 edges, 132419 markings/sec, 5 secs
lola: 1990437 markings, 2976426 edges, 143965 markings/sec, 10 secs
lola: 2707674 markings, 3883267 edges, 143447 markings/sec, 15 secs
lola: 3414413 markings, 4759283 edges, 141348 markings/sec, 20 secs
lola: 4096894 markings, 5553227 edges, 136496 markings/sec, 25 secs
lola: 4797802 markings, 6429110 edges, 140182 markings/sec, 30 secs
lola: 5502413 markings, 7320787 edges, 140922 markings/sec, 35 secs
lola: 6212304 markings, 8212393 edges, 141978 markings/sec, 40 secs
lola: 6878030 markings, 9015174 edges, 133145 markings/sec, 45 secs
lola: 7573462 markings, 9845213 edges, 139086 markings/sec, 50 secs
lola: 8263068 markings, 10721080 edges, 137921 markings/sec, 55 secs
lola: 8957909 markings, 11599187 edges, 138968 markings/sec, 60 secs
lola: 9618113 markings, 12404131 edges, 132041 markings/sec, 65 secs
lola: 10311441 markings, 13220331 edges, 138666 markings/sec, 70 secs
lola: 10995503 markings, 14090016 edges, 136812 markings/sec, 75 secs
lola: 11683046 markings, 14959771 edges, 137509 markings/sec, 80 secs
lola: 12338511 markings, 15755284 edges, 131093 markings/sec, 85 secs
lola: 13030418 markings, 16574110 edges, 138381 markings/sec, 90 secs
lola: 13715166 markings, 17444477 edges, 136950 markings/sec, 95 secs
lola: 14407650 markings, 18319704 edges, 138497 markings/sec, 100 secs
lola: 15068137 markings, 19124116 edges, 132097 markings/sec, 105 secs
lola: 15763769 markings, 19944050 edges, 139126 markings/sec, 110 secs
lola: 16453479 markings, 20820056 edges, 137942 markings/sec, 115 secs
lola: 17145900 markings, 21697112 edges, 138484 markings/sec, 120 secs
lola: 17807871 markings, 22506365 edges, 132394 markings/sec, 125 secs
lola: 18502510 markings, 23320074 edges, 138928 markings/sec, 130 secs
lola: 19191906 markings, 24195745 edges, 137879 markings/sec, 135 secs
lola: 19882239 markings, 25072026 edges, 138067 markings/sec, 140 secs
lola: 20546648 markings, 25889485 edges, 132882 markings/sec, 145 secs
lola: 21236516 markings, 26690730 edges, 137974 markings/sec, 150 secs
lola: 21920735 markings, 27560576 edges, 136844 markings/sec, 155 secs
lola: 22607484 markings, 28432775 edges, 137350 markings/sec, 160 secs
lola: 23269993 markings, 29246856 edges, 132502 markings/sec, 165 secs
lola: 23959600 markings, 30049162 edges, 137921 markings/sec, 170 secs
lola: 24645851 markings, 30921271 edges, 137250 markings/sec, 175 secs
lola: 25332311 markings, 31792986 edges, 137292 markings/sec, 180 secs
lola: 25995122 markings, 32607230 edges, 132562 markings/sec, 185 secs
lola: 26686568 markings, 33411887 edges, 138289 markings/sec, 190 secs
lola: 27365403 markings, 34275681 edges, 135767 markings/sec, 195 secs
lola: 28053183 markings, 35148153 edges, 137556 markings/sec, 200 secs
lola: 28715780 markings, 35960080 edges, 132519 markings/sec, 205 secs
lola: 29407211 markings, 36767527 edges, 138286 markings/sec, 210 secs
lola: 30087969 markings, 37633452 edges, 136152 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(p313)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 874899 markings, 1212250 edges, 174980 markings/sec, 0 secs
lola: 1750579 markings, 2426016 edges, 175136 markings/sec, 5 secs
lola: 2623383 markings, 3635227 edges, 174561 markings/sec, 10 secs
lola: 3500160 markings, 4851051 edges, 175355 markings/sec, 15 secs
lola: 4374972 markings, 6063009 edges, 174962 markings/sec, 20 secs
lola: 5257103 markings, 7284178 edges, 176426 markings/sec, 25 secs
lola: 6138320 markings, 8507179 edges, 176243 markings/sec, 30 secs
lola: 7021751 markings, 9729802 edges, 176686 markings/sec, 35 secs
lola: 7903679 markings, 10953935 edges, 176386 markings/sec, 40 secs
lola: 8783389 markings, 12171961 edges, 175942 markings/sec, 45 secs
lola: 9606166 markings, 13252023 edges, 164555 markings/sec, 50 secs
lola: 10339117 markings, 14160464 edges, 146590 markings/sec, 55 secs
lola: 11062571 markings, 15058047 edges, 144691 markings/sec, 60 secs
lola: 11778844 markings, 15952020 edges, 143255 markings/sec, 65 secs
lola: 12492748 markings, 16845409 edges, 142781 markings/sec, 70 secs
lola: 13212841 markings, 17743480 edges, 144019 markings/sec, 75 secs
lola: 13930725 markings, 18634665 edges, 143577 markings/sec, 80 secs
lola: 14644490 markings, 19523162 edges, 142753 markings/sec, 85 secs
lola: 15358059 markings, 20409743 edges, 142714 markings/sec, 90 secs
lola: 16067158 markings, 21292068 edges, 141820 markings/sec, 95 secs
lola: 16774693 markings, 22172949 edges, 141507 markings/sec, 100 secs
lola: 17485835 markings, 23056759 edges, 142228 markings/sec, 105 secs
lola: 18197533 markings, 23941815 edges, 142340 markings/sec, 110 secs
lola: 18909263 markings, 24827282 edges, 142346 markings/sec, 115 secs
lola: 19620225 markings, 25711203 edges, 142192 markings/sec, 120 secs
lola: 20332937 markings, 26597483 edges, 142542 markings/sec, 125 secs
lola: 21044589 markings, 27485907 edges, 142330 markings/sec, 130 secs
lola: 21757287 markings, 28371956 edges, 142540 markings/sec, 135 secs
lola: 22466523 markings, 29254128 edges, 141847 markings/sec, 140 secs
lola: 23173796 markings, 30134102 edges, 141455 markings/sec, 145 secs
lola: 23880945 markings, 31013561 edges, 141430 markings/sec, 150 secs
lola: 24588761 markings, 31894462 edges, 141563 markings/sec, 155 secs
lola: 25294963 markings, 32772962 edges, 141240 markings/sec, 160 secs
lola: 25998791 markings, 33649056 edges, 140766 markings/sec, 165 secs
lola: 26702306 markings, 34524234 edges, 140703 markings/sec, 170 secs
lola: 27405443 markings, 35400019 edges, 140627 markings/sec, 175 secs
lola: 28109371 markings, 36275616 edges, 140786 markings/sec, 180 secs
lola: 28816956 markings, 37156028 edges, 141517 markings/sec, 185 secs
lola: 29524780 markings, 38036902 edges, 141565 markings/sec, 190 secs
lola: 30235114 markings, 38920184 edges, 142067 markings/sec, 195 secs
lola: 30944014 markings, 39802405 edges, 141780 markings/sec, 200 secs
lola: 31652829 markings, 40684318 edges, 141763 markings/sec, 205 secs
lola: 32361708 markings, 41566130 edges, 141776 markings/sec, 210 secs
lola: 33072721 markings, 42450491 edges, 142203 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 DES-PT-50b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496460105693
--------------------
content from stderr:
----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_DES-PT-50b"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/S_DES-PT-50b.tgz
mv S_DES-PT-50b execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_DES-PT-50b, 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 r098-ebro-149488455700326"
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 ;