MCC'2017 - Execution of r018-ebro-149436308800083

About the Execution of LoLA for CSRepetitions-COL-05

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
3212.100	3540190.00	3556118.00	752.70	? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?	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 CSRepetitions-COL-05, examination
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-14943630880008
==============================================

--------------------
content from stdout:

=== Data for post analysis generated

The expected result is a vector of positive
NUM_VECTOR

here is the order used to build the result
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-
FORMULA_NAME CSRepetitions-COL-05-UpperBounds-

=== Now, execution of the tool begins

BK_START 1494618543046

Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ CSRepetitions-COL-05 @
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 531/65536 symbol table entries,
lola: preprocessing...
lola: finding significant places
lola: 206 places, 325 transitions,
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 501 transition conflict sets
lola: TASK
lola: reading formula from CSRepetitions-COL
lola: MAX(p205) : MAX(p205) : MAX(p70
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221
lola: ======================================
lola: ...considering subproblem: MAX(p205)
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 704 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 260315 markings, 1205071 edges,
lola: 501210 markings, 2431601 edges,
lola: 742481 markings, 3660677 edges,
lola: 955315 markings, 4967982 edges,
lola: 1174346 markings, 6294200 edges,
lola: 1404011 markings, 7612098 edges,
lola: 1613904 markings, 9034635 edges,
lola: 1828412 markings, 10325282 edges,
lola: 2042932 markings, 11544575 edges,
lola: 2256337 markings, 12821032 edges,
lola: 2413586 markings, 14269102 edges,
lola: 2621650 markings, 15593358 edges,
lola: 2838665 markings, 16656080 edges,
lola: 3016214 markings, 17840709 edges,
lola: 3225972 markings, 19142358 edges,
lola: 3431839 markings, 20449556 edges,
lola: 3659946 markings, 21734826 edges,
lola: 3871225 markings, 22982821 edges,
lola: 4111086 markings, 24119357 edges,
lola: 4294752 markings, 25349669 edges,
lola: 4456891 markings, 26469065 edges,
lola: 4680830 markings, 27649091 edges,
lola: 4859460 markings, 29007406 edges,
lola: 5075515 markings, 30293978 edges,
lola: 5281950 markings, 31438487 edges,
lola: 5462528 markings, 32679123 edges,
lola: 5615271 markings, 34049560 edges,
lola: 5830693 markings, 35278760 edges,
lola: 6049403 markings, 36573864 edges,
lola: 6257128 markings, 37847573 edges,
lola: 6474865 markings, 39159285 edges,
lola: 6698088 markings, 40375230 edges,
lola: 6908995 markings, 41540621 edges,
lola: 7099879 markings, 42809779 edges,
lola: 7292546 markings, 44098038 edges,
lola: 7493782 markings, 45325220 edges,
lola: 7703231 markings, 46694202 edges,
lola: 7909033 markings, 47867342 edges,
lola: 8098289 markings, 49251474 edges,
lola: 8298163 markings, 50456354 edges,
lola: 8511047 markings, 51698636 edges,
lola: 8703772 markings, 52851872 edges,
lola: 8915384 markings, 54130178 edges,
lola: 9137166 markings, 55417035 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 1 will run for 221
lola: ======================================
lola: ...considering subproblem: MAX(p205)
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 704 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 257929 markings, 1196829 edges,
lola: 497940 markings, 2405394 edges,
lola: 734825 markings, 3625780 edges,
lola: 946248 markings, 4906385 edges,
lola: 1158299 markings, 6219691 edges,
lola: 1384972 markings, 7512613 edges,
lola: 1592777 markings, 8915428 edges,
lola: 1811626 markings, 10212397 edges,
lola: 2027298 markings, 11455475 edges,
lola: 2243861 markings, 12730688 edges,
lola: 2403311 markings, 14165878 edges,
lola: 2604667 markings, 15522398 edges,
lola: 2825977 markings, 16591274 edges,
lola: 3007473 markings, 17763133 edges,
lola: 3215318 markings, 19051866 edges,
lola: 3417338 markings, 20395469 edges,
lola: 3649295 markings, 21659650 edges,
lola: 3861369 markings, 22930595 edges,
lola: 4104451 markings, 24067617 edges,
lola: 4287360 markings, 25311153 edges,
lola: 4456069 markings, 26460641 edges,
lola: 4680416 markings, 27646659 edges,
lola: 4862639 markings, 29022816 edges,
lola: 5080426 markings, 30334654 edges,
lola: 5288603 markings, 31502709 edges,
lola: 5474666 markings, 32781990 edges,
lola: 5639475 markings, 34149022 edges,
lola: 5853911 markings, 35380574 edges,
lola: 6073121 markings, 36673384 edges,
lola: 6279585 markings, 37958454 edges,
lola: 6490096 markings, 39277401 edges,
lola: 6713720 markings, 40453954 edges,
lola: 6917891 markings, 41618583 edges,
lola: 7110638 markings, 42876574 edges,
lola: 7300404 markings, 44153637 edges,
lola: 7503515 markings, 45369493 edges,
lola: 7708745 markings, 46735549 edges,
lola: 7914162 markings, 47910092 edges,
lola: 8103100 markings, 49273412 edges,
lola: 8300640 markings, 50477884 edges,
lola: 8513444 markings, 51709089 edges,
lola: 8703864 markings, 52852756 edges,
lola: 8913982 markings, 54124044 edges,
lola: 9134940 markings, 55398191 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 2 will run for 221
lola: ======================================
lola: ...considering subproblem: MAX(p70
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 704 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 339504 markings, 862592 edges,
lola: 637473 markings, 1669681 edges,
lola: 929031 markings, 2428218 edges,
lola: 1207031 markings, 3188162 edges,
lola: 1460423 markings, 3935255 edges,
lola: 1685141 markings, 4753277 edges,
lola: 1899346 markings, 5650245 edges,
lola: 2163144 markings, 6539168 edges,
lola: 2422296 markings, 7363012 edges,
lola: 2664773 markings, 8175480 edges,
lola: 2898069 markings, 9006168 edges,
lola: 3123584 markings, 9836628 edges,
lola: 3342323 markings, 10667347 edges,
lola: 3567145 markings, 11488555 edges,
lola: 3781993 markings, 12331408 edges,
lola: 4000192 markings, 13168299 edges,
lola: 4211798 markings, 14021855 edges,
lola: 4422785 markings, 14866274 edges,
lola: 4638365 markings, 15695124 edges,
lola: 4850510 markings, 16537694 edges,
lola: 5062497 markings, 17376556 edges,
lola: 5267946 markings, 18223329 edges,
lola: 5476837 markings, 19061523 edges,
lola: 5677548 markings, 19915563 edges,
lola: 5882951 markings, 20760150 edges,
lola: 6086972 markings, 21605823 edges,
lola: 6285242 markings, 22465837 edges,
lola: 6484307 markings, 23322825 edges,
lola: 6681722 markings, 24186026 edges,
lola: 6880014 markings, 25025412 edges,
lola: 7100680 markings, 25832657 edges,
lola: 7313770 markings, 26631821 edges,
lola: 7514056 markings, 27493387 edges,
lola: 7715105 markings, 28352324 edges,
lola: 7911913 markings, 29220229 edges,
lola: 8111395 markings, 30074518 edges,
lola: 8309747 markings, 30934680 edges,
lola: 8508970 markings, 31796771 edges,
lola: 8705944 markings, 32663989 edges,
lola: 8905829 markings, 33523428 edges,
lola: 9102462 markings, 34388657 edges,
lola: 9297539 markings, 35260594 edges,
lola: 9492781 markings, 36130020 edges,
lola: 9706414 markings, 36959132 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 3 will run for 221
lola: ======================================
lola: ...considering subproblem: MAX(p0
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 704 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 230636 markings, 1461222 edges,
lola: 458481 markings, 3077318 edges,
lola: 681585 markings, 4679253 edges,
lola: 895865 markings, 6314957 edges,
lola: 1106507 markings, 7969187 edges,
lola: 1322199 markings, 9573361 edges,
lola: 1530386 markings, 11211750 edges,
lola: 1735952 markings, 12841690 edges,
lola: 1933200 markings, 14494364 edges,
lola: 2127219 markings, 16170799 edges,
lola: 2340201 markings, 17723140 edges,
lola: 2548664 markings, 19347698 edges,
lola: 2748515 markings, 20949628 edges,
lola: 2947442 markings, 22592872 edges,
lola: 3132795 markings, 24243404 edges,
lola: 3335721 markings, 25841066 edges,
lola: 3526870 markings, 27456034 edges,
lola: 3714209 markings, 29107566 edges,
lola: 3899996 markings, 30744975 edges,
lola: 4081923 markings, 32422589 edges,
lola: 4270931 markings, 34048384 edges,
lola: 4479841 markings, 35608171 edges,
lola: 4679252 markings, 37191433 edges,
lola: 4880713 markings, 38785278 edges,
lola: 5072272 markings, 40384586 edges,
lola: 5254118 markings, 42012096 edges,
lola: 5454682 markings, 43586367 edges,
lola: 5642161 markings, 45182381 edges,
lola: 5825480 markings, 46791061 edges,
lola: 6005205 markings, 48382641 edges,
lola: 6183260 markings, 50024585 edges,
lola: 6364689 markings, 51645266 edges,
lola: 6554907 markings, 53222658 edges,
lola: 6745601 markings, 54838904 edges,
lola: 6928341 markings, 56430269 edges,
lola: 7109582 markings, 58066026 edges,
lola: 7283027 markings, 59698747 edges,
lola: 7462742 markings, 61307926 edges,
lola: 7645020 markings, 62945353 edges,
lola: 7817155 markings, 64579082 edges,
lola: 7990290 markings, 66217017 edges,
lola: 8161635 markings, 67886541 edges,
lola: 8327932 markings, 69579572 edges,
lola: 8517230 markings, 71133150 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 4 will run for 221
lola: ======================================
lola: ...considering subproblem: MAX(p70
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 704 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 336057 markings, 851980 edges,
lola: 633920 markings, 1661160 edges,
lola: 934269 markings, 2441967 edges,
lola: 1218709 markings, 3222542 edges,
lola: 1478707 markings, 3986092 edges,
lola: 1702009 markings, 4827554 edges,
lola: 1924431 markings, 5736959 edges,
lola: 2193245 markings, 6643054 edges,
lola: 2454905 markings, 7471435 edges,
lola: 2700489 markings, 8302918 edges,
lola: 2936538 markings, 9144825 edges,
lola: 3165350 markings, 9994937 edges,
lola: 3390101 markings, 10847759 edges,
lola: 3618241 markings, 11684464 edges,
lola: 3838426 markings, 12535441 edges,
lola: 4056013 markings, 13392675 edges,
lola: 4269117 markings, 14253098 edges,
lola: 4483368 markings, 15101888 edges,
lola: 4704467 markings, 15942236 edges,
lola: 4919065 markings, 16795991 edges,
lola: 5128672 markings, 17655867 edges,
lola: 5339668 markings, 18506175 edges,
lola: 5548317 markings, 19359334 edges,
lola: 5752841 markings, 20225155 edges,
lola: 5960661 markings, 21084146 edges,
lola: 6165673 markings, 21945830 edges,
lola: 6367064 markings, 22817846 edges,
lola: 6567605 markings, 23691559 edges,
lola: 6771750 markings, 24560863 edges,
lola: 6976501 markings, 25423380 edges,
lola: 7204381 markings, 26208503 edges,
lola: 7410493 markings, 27050553 edges,
lola: 7611903 markings, 27913980 edges,
lola: 7812584 markings, 28776057 edges,
lola: 8010911 markings, 29639767 edges,
lola: 8208132 markings, 30507151 edges,
lola: 8409826 markings, 31365720 edges,
lola: 8606495 markings, 32236914 edges,
lola: 8806534 markings, 33096415 edges,
lola: 9003649 markings, 33962294 edges,
lola: 9202023 markings, 34832884 edges,
lola: 9396536 markings, 35706633 edges,
lola: 9594524 markings, 36573435 edges,
lola: 9811395 markings, 37372783 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 5 will run for 221
lola: ======================================
lola: ...considering subproblem: MAX(p70
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 704 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 343065 markings, 874053 edges,
lola: 645155 markings, 1688879 edges,
lola: 942370 markings, 2464198 edges,
lola: 1223873 markings, 3236875 edges,
lola: 1482801 markings, 3997537 edges,
lola: 1690378 markings, 4779866 edges,
lola: 1900766 markings, 5654884 edges,
lola: 2161910 markings, 6535159 edges,
lola: 2416097 markings, 7342560 edges,
lola: 2652762 markings, 8134092 edges,
lola: 2876372 markings, 8925369 edges,
lola: 3091982 markings, 9719783 edges,
lola: 3305919 markings, 10529699 edges,
lola: 3523344 markings, 11339546 edges,
lola: 3733886 markings, 12142935 edges,
lola: 3949892 markings, 12980258 edges,
lola: 4159353 markings, 13807323 edges,
lola: 4369790 markings, 14647037 edges,
lola: 4576412 markings, 15448950 edges,
lola: 4783447 markings, 16264067 edges,
lola: 4990982 markings, 17080038 edges,
lola: 5188892 markings, 17910968 edges,
lola: 5394086 markings, 18723198 edges,
lola: 5592352 markings, 19548864 edges,
lola: 5787845 markings, 20378931 edges,
lola: 5990053 markings, 21200328 edges,
lola: 6184821 markings, 22028598 edges,
lola: 6377778 markings, 22865322 edges,
lola: 6569511 markings, 23700355 edges,
lola: 6765009 markings, 24531260 edges,
lola: 6957851 markings, 25356085 edges,
lola: 7175682 markings, 26099694 edges,
lola: 7374021 markings, 26886865 edges,
lola: 7567491 markings, 27715239 edges,
lola: 7759227 markings, 28543195 edges,
lola: 7948688 markings, 29375139 edges,
lola: 8139557 markings, 30200520 edges,
lola: 8332448 markings, 31027817 edges,
lola: 8522997 markings, 31861143 edges,
lola: 8713980 markings, 32695504 edges,
lola: 8907209 markings, 33529599 edges,
lola: 9098141 markings, 34369132 edges,
lola: 9286989 markings, 35217159 edges,
lola: 9476249 markings, 36053193 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 6 will run for 221
lola: ======================================
lola: ...considering subproblem: MAX(p100
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 704 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 255482 markings, 1189106 edges,
lola: 492331 markings, 2361234 edges,
lola: 722692 markings, 3567309 edges,
lola: 930116 markings, 4821810 edges,
lola: 1133110 markings, 6112651 edges,
lola: 1354600 markings, 7381920 edges,
lola: 1561992 markings, 8750308 edges,
lola: 1784165 markings, 9992426 edges,
lola: 1989208 markings, 11255187 edges,
lola: 2204123 markings, 12474324 edges,
lola: 2371050 markings, 13851681 edges,
lola: 2556207 markings, 15267522 edges,
lola: 2776096 markings, 16349593 edges,
lola: 2973790 markings, 17472582 edges,
lola: 3158304 markings, 18754320 edges,
lola: 3362614 markings, 20067459 edges,
lola: 3586080 markings, 21335689 edges,
lola: 3798661 markings, 22603119 edges,
lola: 4038223 markings, 23730259 edges,
lola: 4227075 markings, 25024617 edges,
lola: 4414685 markings, 26095673 edges,
lola: 4607815 markings, 27311943 edges,
lola: 4800757 markings, 28624685 edges,
lola: 5013736 markings, 29904538 edges,
lola: 5228608 markings, 31114604 edges,
lola: 5406399 markings, 32344869 edges,
lola: 5573109 markings, 33665774 edges,
lola: 5762618 markings, 34941749 edges,
lola: 5987104 markings, 36169913 edges,
lola: 6208495 markings, 37402766 edges,
lola: 6402725 markings, 38768356 edges,
lola: 6617393 markings, 40000902 edges,
lola: 6834002 markings, 41085833 edges,
lola: 7010606 markings, 42325539 edges,
lola: 7213195 markings, 43539942 edges,
lola: 7395370 markings, 44776158 edges,
lola: 7601757 markings, 46010307 edges,
lola: 7804381 markings, 47295966 edges,
lola: 8007354 markings, 48495538 edges,
lola: 8185145 markings, 49806177 edges,
lola: 8382841 markings, 51004141 edges,
lola: 8591748 markings, 52124072 edges,
lola: 8781704 markings, 53330645 edges,
lola: 8988748 markings, 54571722 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 7 will run for 221
lola: ======================================
lola: ...considering subproblem: MAX(p25
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 704 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 241683 markings, 1282569 edges,
lola: 462059 markings, 2628451 edges,
lola: 659908 markings, 4025879 edges,
lola: 864568 markings, 5390968 edges,
lola: 1078061 markings, 6676987 edges,
lola: 1267652 markings, 8060100 edges,
lola: 1480874 markings, 9365787 edges,
lola: 1669108 markings, 10653932 edges,
lola: 1850169 markings, 11939662 edges,
lola: 2053745 markings, 13129878 edges,
lola: 2258737 markings, 14321592 edges,
lola: 2438752 markings, 15560163 edges,
lola: 2644828 markings, 16730091 edges,
lola: 2815413 markings, 18100909 edges,
lola: 3004815 markings, 19385136 edges,
lola: 3205521 markings, 20568860 edges,
lola: 3396144 markings, 21769690 edges,
lola: 3553555 markings, 23049794 edges,
lola: 3730829 markings, 24346053 edges,
lola: 3891962 markings, 25696770 edges,
lola: 4065790 markings, 26962275 edges,
lola: 4223047 markings, 28186696 edges,
lola: 4410651 markings, 29318251 edges,
lola: 4603634 markings, 30467849 edges,
lola: 4750912 markings, 31791716 edges,
lola: 4929451 markings, 33084339 edges,
lola: 5079511 markings, 34374701 edges,
lola: 5238722 markings, 35623896 edges,
lola: 5399906 markings, 36918820 edges,
lola: 5585587 markings, 38103296 edges,
lola: 5801848 markings, 39609529 edges,
lola: 6021586 markings, 40931173 edges,
lola: 6228495 markings, 42229291 edges,
lola: 6423287 markings, 43427673 edges,
lola: 6632628 markings, 44741671 edges,
lola: 6802687 markings, 46085133 edges,
lola: 6972084 markings, 47461514 edges,
lola: 7172727 markings, 48600074 edges,
lola: 7339134 markings, 49909485 edges,
lola: 7518059 markings, 51078779 edges,
lola: 7725097 markings, 52356692 edges,
lola: 7903511 markings, 53614814 edges,
lola: 8109686 markings, 54855944 edges,
lola: 8303909 markings, 56053018 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 8 will run for 221
lola: ======================================
lola: ...considering subproblem: MAX(p70
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 704 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 341887 markings, 870336 edges,
lola: 642428 markings, 1681940 edges,
lola: 937580 markings, 2450828 edges,
lola: 1217503 markings, 3218794 edges,
lola: 1472236 markings, 3967447 edges,
lola: 1692173 markings, 4789691 edges,
lola: 1907403 markings, 5677442 edges,
lola: 2172301 markings, 6569964 edges,
lola: 2430413 markings, 7389294 edges,
lola: 2671948 markings, 8201639 edges,
lola: 2903885 markings, 9027077 edges,
lola: 3129707 markings, 9858853 edges,
lola: 3350196 markings, 10695088 edges,
lola: 3574428 markings, 11516652 edges,
lola: 3787752 markings, 12352703 edges,
lola: 4003113 markings, 13179485 edges,
lola: 4211838 markings, 14022017 edges,
lola: 4420386 markings, 14856037 edges,
lola: 4634470 markings, 15678383 edges,
lola: 4845703 markings, 16518749 edges,
lola: 5057647 markings, 17355067 edges,
lola: 5262450 markings, 18201202 edges,
lola: 5471033 markings, 19035908 edges,
lola: 5671402 markings, 19889539 edges,
lola: 5876102 markings, 20733718 edges,
lola: 6079486 markings, 21574884 edges,
lola: 6277681 markings, 22431371 edges,
lola: 6476505 markings, 23287224 edges,
lola: 6672670 markings, 24152135 edges,
lola: 6874638 markings, 25001300 edges,
lola: 7090714 markings, 25797541 edges,
lola: 7299978 markings, 26574212 edges,
lola: 7497358 markings, 27422226 edges,
lola: 7695771 markings, 28272354 edges,
lola: 7891297 markings, 29126028 edges,
lola: 8087663 markings, 29966795 edges,
lola: 8282101 markings, 30817674 edges,
lola: 8477612 markings, 31664947 edges,
lola: 8671579 markings, 32518953 edges,
lola: 8865661 markings, 33361250 edges,
lola: 9059132 markings, 34205816 edges,
lola: 9252309 markings, 35063498 edges,
lola: 9445397 markings, 35918159 edges,
lola: 9652324 markings, 36758917 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 9 will run for 221
lola: ======================================
lola: ...considering subproblem: MAX(p70
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 704 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 345270 markings, 879386 edges,
lola: 649464 markings, 1699854 edges,
lola: 947500 markings, 2478228 edges,
lola: 1229351 markings, 3251523 edges,
lola: 1486235 markings, 4007581 edges,
lola: 1706385 markings, 4845913 edges,
lola: 1928449 markings, 5750466 edges,
lola: 2194129 markings, 6646214 edges,
lola: 2453440 markings, 7466199 edges,
lola: 2696455 markings, 8288421 edges,
lola: 2930264 markings, 9121527 edges,
lola: 3158073 markings, 9967307 edges,
lola: 3380274 markings, 10810846 edges,
lola: 3607315 markings, 11642374 edges,
lola: 3825058 markings, 12489203 edges,
lola: 4041334 markings, 13334353 edges,
lola: 4252322 markings, 14185658 edges,
lola: 4462604 markings, 15025093 edges,
lola: 4678029 markings, 15847743 edges,
lola: 4888925 markings, 16681637 edges,
lola: 5096112 markings, 17519562 edges,
lola: 5299955 markings, 18356570 edges,
lola: 5506609 markings, 19188407 edges,
lola: 5708191 markings, 20036666 edges,
lola: 5911324 markings, 20881060 edges,
lola: 6113563 markings, 21723494 edges,
lola: 6311871 markings, 22577137 edges,
lola: 6509205 markings, 23434222 edges,
lola: 6708439 markings, 24289351 edges,
lola: 6907084 markings, 25139171 edges,
lola: 7129728 markings, 25935441 edges,
lola: 7339242 markings, 26739069 edges,
lola: 7536330 markings, 27588272 edges,
lola: 7733818 markings, 28435278 edges,
lola: 7927401 markings, 29288205 edges,
lola: 8123164 markings, 30127001 edges,
lola: 8317593 markings, 30967860 edges,
lola: 8511637 markings, 31809366 edges,
lola: 8704062 markings, 32656279 edges,
lola: 8900015 markings, 33497043 edges,
lola: 9093440 markings, 34347492 edges,
lola: 9284372 markings, 35206627 edges,
lola: 9476883 markings, 36056221 edges,
lola: 9684445 markings, 36878295 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 10 will run for 221
lola: ======================================
lola: ...considering subproblem: MAX(p25
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 704 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 244848 markings, 1315179 edges,
lola: 468575 markings, 2665686 edges,
lola: 668333 markings, 4068686 edges,
lola: 871446 markings, 5459434 edges,
lola: 1088136 markings, 6748501 edges,
lola: 1279141 markings, 8162780 edges,
lola: 1499857 markings, 9460447 edges,
lola: 1695564 markings, 10782895 edges,
lola: 1874881 markings, 12092713 edges,
lola: 2078224 markings, 13294664 edges,
lola: 2282966 markings, 14510642 edges,
lola: 2465062 markings, 15747450 edges,
lola: 2680659 markings, 16918505 edges,
lola: 2842398 markings, 18308607 edges,
lola: 3036476 markings, 19572686 edges,
lola: 3240272 markings, 20754209 edges,
lola: 3426392 markings, 22001236 edges,
lola: 3589565 markings, 23299467 edges,
lola: 3763825 markings, 24654748 edges,
lola: 3938821 markings, 25965660 edges,
lola: 4106513 markings, 27209105 edges,
lola: 4254587 markings, 28373027 edges,
lola: 4439750 markings, 29443215 edges,
lola: 4613501 markings, 30533531 edges,
lola: 4750008 markings, 31780164 edges,
lola: 4919107 markings, 32980285 edges,
lola: 5048874 markings, 34204076 edges,
lola: 5199577 markings, 35368687 edges,
lola: 5358827 markings, 36542997 edges,
lola: 5526913 markings, 37757671 edges,
lola: 5737488 markings, 39204364 edges,
lola: 5947376 markings, 40586609 edges,
lola: 6177068 markings, 41901147 edges,
lola: 6361740 markings, 43093988 edges,
lola: 6586226 markings, 44428298 edges,
lola: 6771075 markings, 45762362 edges,
lola: 6918305 markings, 47158040 edges,
lola: 7120105 markings, 48299736 edges,
lola: 7284774 markings, 49603107 edges,
lola: 7470464 markings, 50785619 edges,
lola: 7674570 markings, 52062548 edges,
lola: 7864539 markings, 53284841 edges,
lola: 8055625 markings, 54592931 edges,
lola: 8258191 markings, 55808678 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 11 will run for 221
lola: ======================================
lola: ...considering subproblem: MAX(p205)
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 704 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 259817 markings, 1203544 edges,
lola: 498936 markings, 2412777 edges,
lola: 736897 markings, 3635880 edges,
lola: 948127 markings, 4917313 edges,
lola: 1160276 markings, 6228778 edges,
lola: 1386571 markings, 7519335 edges,
lola: 1593508 markings, 8918326 edges,
lola: 1811826 markings, 10214034 edges,
lola: 2028100 markings, 11459920 edges,
lola: 2242954 markings, 12723766 edges,
lola: 2403507 markings, 14167733 edges,
lola: 2606901 markings, 15537201 edges,
lola: 2831022 markings, 16616601 edges,
lola: 3012842 markings, 17810947 edges,
lola: 3223436 markings, 19120808 edges,
lola: 3433061 markings, 20454733 edges,
lola: 3663834 markings, 21753124 edges,
lola: 3877934 markings, 23020751 edges,
lola: 4118463 markings, 24177603 edges,
lola: 4307065 markings, 25417458 edges,
lola: 4471489 markings, 26608511 edges,
lola: 4706771 markings, 27801897 edges,
lola: 4893662 markings, 29178765 edges,
lola: 5112109 markings, 30489606 edges,
lola: 5316478 markings, 31660511 edges,
lola: 5494401 markings, 32959858 edges,
lola: 5668431 markings, 34284602 edges,
lola: 5883826 markings, 35509732 edges,
lola: 6098557 markings, 36790227 edges,
lola: 6306283 markings, 38069725 edges,
lola: 6511529 markings, 39385046 edges,
lola: 6732102 markings, 40544120 edges,
lola: 6926470 markings, 41695134 edges,
lola: 7120238 markings, 42949603 edges,
lola: 7311913 markings, 44203653 edges,
lola: 7511683 markings, 45414234 edges,
lola: 7715769 markings, 46761805 edges,
lola: 7917400 markings, 47940514 edges,
lola: 8106928 markings, 49292632 edges,
lola: 8302662 markings, 50496400 edges,
lola: 8514287 markings, 51712883 edges,
lola: 8704301 markings, 52857405 edges,
lola: 8914688 markings, 54126996 edges,
lola: 9134392 markings, 55393873 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 12 will run for 221
lola: ======================================
lola: ...considering subproblem: MAX(p25
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 704 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 241146 markings, 1277419 edges,
lola: 464284 markings, 2641245 edges,
lola: 665409 markings, 4054439 edges,
lola: 870662 markings, 5451086 edges,
lola: 1087958 markings, 6747314 edges,
lola: 1281097 markings, 8170080 edges,
lola: 1503118 markings, 9477776 edges,
lola: 1699597 markings, 10804035 edges,
lola: 1879217 markings, 12127620 edges,
lola: 2084313 markings, 13346413 edges,
lola: 2291481 markings, 14588926 edges,
lola: 2473936 markings, 15840699 edges,
lola: 2695212 markings, 17018121 edges,
lola: 2856555 markings, 18420744 edges,
lola: 3057452 markings, 19672257 edges,
lola: 3263963 markings, 20868377 edges,
lola: 3446853 markings, 22117819 edges,
lola: 3612231 markings, 23417177 edges,
lola: 3782343 markings, 24813537 edges,
lola: 3959719 markings, 26143689 edges,
lola: 4132036 markings, 27436687 edges,
lola: 4290721 markings, 28666106 edges,
lola: 4494652 markings, 29826490 edges,
lola: 4679921 markings, 31043958 edges,
lola: 4851476 markings, 32369539 edges,
lola: 5000322 markings, 33762782 edges,
lola: 5162368 markings, 35022805 edges,
lola: 5331267 markings, 36308199 edges,
lola: 5506231 markings, 37590297 edges,
lola: 5707128 markings, 39029429 edges,
lola: 5925257 markings, 40385076 edges,
lola: 6148226 markings, 41754222 edges,
lola: 6332675 markings, 42935994 edges,
lola: 6559128 markings, 44252199 edges,
lola: 6751158 markings, 45571413 edges,
lola: 6897847 markings, 46993616 edges,
lola: 7105041 markings, 48223676 edges,
lola: 7274332 markings, 49513546 edges,
lola: 7462951 markings, 50715568 edges,
lola: 7665670 markings, 51983661 edges,
lola: 7854491 markings, 53190188 edges,
lola: 8033942 markings, 54444628 edges,
lola: 8224033 markings, 55569454 edges,
lola: 8403686 markings, 56652939 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 13 will run for 221
lola: ======================================
lola: ...considering subproblem: MAX(p50
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 704 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 348010 markings, 886563 edges,
lola: 652312 markings, 1706692 edges,
lola: 954408 markings, 2498197 edges,
lola: 1240677 markings, 3283033 edges,
lola: 1496397 markings, 4038929 edges,
lola: 1709001 markings, 4857951 edges,
lola: 1924987 markings, 5738682 edges,
lola: 2182746 markings, 6606512 edges,
lola: 2445798 markings, 7441684 edges,
lola: 2693161 markings, 8276926 edges,
lola: 2930540 markings, 9122588 edges,
lola: 3160361 markings, 9975789 edges,
lola: 3384900 markings, 10829720 edges,
lola: 3613280 markings, 11664799 edges,
lola: 3833023 markings, 12517452 edges,
lola: 4051664 markings, 13376020 edges,
lola: 4265748 markings, 14239213 edges,
lola: 4480402 markings, 15090476 edges,
lola: 4702095 markings, 15933873 edges,
lola: 4917279 markings, 16789967 edges,
lola: 5127977 markings, 17653276 edges,
lola: 5340201 markings, 18507991 edges,
lola: 5549709 markings, 19365652 edges,
lola: 5754908 markings, 20233884 edges,
lola: 5963127 markings, 21094901 edges,
lola: 6168826 markings, 21960183 edges,
lola: 6370562 markings, 22832596 edges,
lola: 6571251 markings, 23707928 edges,
lola: 6776070 markings, 24579909 edges,
lola: 6981375 markings, 25438142 edges,
lola: 7206466 markings, 26215931 edges,
lola: 7410173 markings, 27049178 edges,
lola: 7609844 markings, 27905209 edges,
lola: 7807996 markings, 28755657 edges,
lola: 8003584 markings, 29606561 edges,
lola: 8198549 markings, 30463001 edges,
lola: 8396314 markings, 31311063 edges,
lola: 8590698 markings, 32167871 edges,
lola: 8787650 markings, 33013542 edges,
lola: 8981593 markings, 33864687 edges,
lola: 9175691 markings, 34722113 edges,
lola: 9368776 markings, 35583199 edges,
lola: 9563077 markings, 36442796 edges,
lola: 9778077 markings, 37238035 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 14 will run for 222
lola: ======================================
lola: ...considering subproblem: MAX(p0
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 704 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 218479 markings, 1370893 edges,
lola: 432922 markings, 2876506 edges,
lola: 635386 markings, 4345132 edges,
lola: 834139 markings, 5836423 edges,
lola: 1025757 markings, 7386048 edges,
lola: 1236690 markings, 8906850 edges,
lola: 1435998 markings, 10447257 edges,
lola: 1637316 markings, 12064568 edges,
lola: 1839562 markings, 13726313 edges,
lola: 2041264 markings, 15448418 edges,
lola: 2252751 markings, 17054137 edges,
lola: 2465865 markings, 18679130 edges,
lola: 2671646 markings, 20339289 edges,
lola: 2872091 markings, 21972492 edges,
lola: 3068574 markings, 23642504 edges,
lola: 3262641 markings, 25252205 edges,
lola: 3461382 markings, 26892052 edges,
lola: 3645879 markings, 28524966 edges,
lola: 3837552 markings, 30171379 edges,
lola: 4019679 markings, 31829887 edges,
lola: 4194419 markings, 33554728 edges,
lola: 4414981 markings, 35107231 edges,
lola: 4624032 markings, 36730781 edges,
lola: 4825601 markings, 38343016 edges,
lola: 5023864 markings, 39977940 edges,
lola: 5211593 markings, 41631330 edges,
lola: 5413214 markings, 43240084 edges,
lola: 5606841 markings, 44866245 edges,
lola: 5792288 markings, 46518829 edges,
lola: 5979862 markings, 48145097 edges,
lola: 6158583 markings, 49802882 edges,
lola: 6343827 markings, 51484560 edges,
lola: 6538705 markings, 53071509 edges,
lola: 6717533 markings, 54587851 edges,
lola: 6878613 markings, 56006820 edges,
lola: 7038689 markings, 57413918 edges,
lola: 7200305 markings, 58906319 edges,
lola: 7375252 markings, 60559640 edges,
lola: 7560848 markings, 62178279 edges,
lola: 7735922 markings, 63803189 edges,
lola: 7910190 markings, 65462939 edges,
lola: 8083821 markings, 67114049 edges,
lola: 8251928 markings, 68796112 edges,
lola: 8429564 markings, 70505334 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 15 will run for 221
lola: ======================================
lola: ...considering subproblem: MAX(p25
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 704 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 247759 markings, 1340605 edges,
lola: 475625 markings, 2704302 edges,
lola: 679629 markings, 4127975 edges,
lola: 881904 markings, 5568726 edges,
lola: 1102366 markings, 6866198 edges,
lola: 1306631 markings, 8284580 edges,
lola: 1528974 markings, 9615818 edges,
lola: 1723355 markings, 10982891 edges,
lola: 1901107 markings, 12321878 edges,
lola: 2115310 markings, 13534613 edges,
lola: 2327741 markings, 14782977 edges,
lola: 2502631 markings, 16068772 edges,
lola: 2725070 markings, 17285639 edges,
lola: 2892376 markings, 18708602 edges,
lola: 3100283 markings, 19950436 edges,
lola: 3306473 markings, 21183569 edges,
lola: 3487293 markings, 22415361 edges,
lola: 3657746 markings, 23722148 edges,
lola: 3820155 markings, 25153821 edges,
lola: 3996451 markings, 26491755 edges,
lola: 4163583 markings, 27766050 edges,
lola: 4350279 markings, 28926462 edges,
lola: 4546797 markings, 30119621 edges,
lola: 4716434 markings, 31411288 edges,
lola: 4893910 markings, 32754202 edges,
lola: 5041687 markings, 34144687 edges,
lola: 5206432 markings, 35431559 edges,
lola: 5381420 markings, 36743155 edges,
lola: 5565847 markings, 37998590 edges,
lola: 5780871 markings, 39505662 edges,
lola: 6003534 markings, 40820680 edges,
lola: 6219426 markings, 42145452 edges,
lola: 6416213 markings, 43366118 edges,
lola: 6627248 markings, 44701299 edges,
lola: 6799579 markings, 46059662 edges,
lola: 6970393 markings, 47452975 edges,
lola: 7174845 markings, 48618069 edges,
lola: 7346910 markings, 49952204 edges,
lola: 7532431 markings, 51140807 edges,
lola: 7740306 markings, 52431969 edges,
lola: 7916337 markings, 53730006 edges,
lola: 8125799 markings, 54980264 edges,
lola: 8323150 markings, 56199811 edges,
lola: 8519198 markings, 57406882 edges,
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown
FORMULA CSRepetitions-COL-05-UpperBounds-0
FORMULA CSRepetitions-COL-05-UpperBounds-1
FORMULA CSRepetitions-COL-05-UpperBounds-2
FORMULA CSRepetitions-COL-05-UpperBounds-3
FORMULA CSRepetitions-COL-05-UpperBounds-4
FORMULA CSRepetitions-COL-05-UpperBounds-5
FORMULA CSRepetitions-COL-05-UpperBounds-6
FORMULA CSRepetitions-COL-05-UpperBounds-7
FORMULA CSRepetitions-COL-05-UpperBounds-8
FORMULA CSRepetitions-COL-05-UpperBounds-9
FORMULA CSRepetitions-COL-05-UpperBounds-10
FORMULA CSRepetitions-COL-05-UpperBounds-11
FORMULA CSRepetitions-COL-05-UpperBounds-12
FORMULA CSRepetitions-COL-05-UpperBounds-13
FORMULA CSRepetitions-COL-05-UpperBounds-14
FORMULA CSRepetitions-COL-05-UpperBounds-15
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494622083236

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
============================================= is UpperBounds 3 ======================= by BenchKit (invocation template) values vector(from text file) 0 1 10 11 12 13 14 15 2 3 4 5 6 7 8 9 3540 seconds at most (--timelimit) 0 collisions 176 significant places -05-UpperBounds.task + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p69 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p61 + p60 + p59 + p58 + p57 + p56 + p55) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24) : MAX(p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p69 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p61 + p60 + p59 + p58 + p57 + p56 + p55) : MAX(p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p69 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p61 + p60 + p59 + p58 + p57 + p56 + p55) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203 + p204 + p94 + p93 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p95 + p96 + p97 + p98 + p99) : MAX(p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49) : MAX(p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p69 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p61 + p60 + p59 + p58 + p57 + p56 + p55) : MAX(p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p69 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p61 + p60 + p59 + p58 + p57 + p56 + p55) : MAX(p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49) : MAX(p205) : MAX(p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49) : MAX(p50 + p51 + p52 + p53 + p54) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24) : MAX(p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49) seconds at most (--localtimelimit=-1) == == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 52063 markings/sec, 0 secs 48179 markings/sec, 5 secs 48254 markings/sec, 10 secs 42567 markings/sec, 15 secs 43806 markings/sec, 20 secs 45933 markings/sec, 25 secs 41979 markings/sec, 30 secs 42902 markings/sec, 35 secs 42904 markings/sec, 40 secs 42681 markings/sec, 45 secs 31450 markings/sec, 50 secs 41613 markings/sec, 55 secs 43403 markings/sec, 60 secs 35510 markings/sec, 65 secs 41952 markings/sec, 70 secs 41173 markings/sec, 75 secs 45621 markings/sec, 80 secs 42256 markings/sec, 85 secs 47972 markings/sec, 90 secs 36733 markings/sec, 95 secs 32428 markings/sec, 100 secs 44788 markings/sec, 105 secs 35726 markings/sec, 110 secs 43211 markings/sec, 115 secs 41287 markings/sec, 120 secs 36116 markings/sec, 125 secs 30549 markings/sec, 130 secs 43084 markings/sec, 135 secs 43742 markings/sec, 140 secs 41545 markings/sec, 145 secs 43547 markings/sec, 150 secs 44645 markings/sec, 155 secs 42181 markings/sec, 160 secs 38177 markings/sec, 165 secs 38533 markings/sec, 170 secs 40247 markings/sec, 175 secs 41890 markings/sec, 180 secs 41160 markings/sec, 185 secs 37851 markings/sec, 190 secs 39975 markings/sec, 195 secs 42577 markings/sec, 200 secs 38545 markings/sec, 205 secs 42322 markings/sec, 210 secs 44356 markings/sec, 215 secs problem between parent and child process seconds at most (--localtimelimit=-1) == == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 51586 markings/sec, 0 secs 48002 markings/sec, 5 secs 47377 markings/sec, 10 secs 42285 markings/sec, 15 secs 42410 markings/sec, 20 secs 45335 markings/sec, 25 secs 41561 markings/sec, 30 secs 43770 markings/sec, 35 secs 43134 markings/sec, 40 secs 43313 markings/sec, 45 secs 31890 markings/sec, 50 secs 40271 markings/sec, 55 secs 44262 markings/sec, 60 secs 36299 markings/sec, 65 secs 41569 markings/sec, 70 secs 40404 markings/sec, 75 secs 46391 markings/sec, 80 secs 42415 markings/sec, 85 secs 48616 markings/sec, 90 secs 36582 markings/sec, 95 secs 33742 markings/sec, 100 secs 44869 markings/sec, 105 secs 36445 markings/sec, 110 secs 43557 markings/sec, 115 secs 41635 markings/sec, 120 secs 37213 markings/sec, 125 secs 32962 markings/sec, 130 secs 42887 markings/sec, 135 secs 43842 markings/sec, 140 secs 41293 markings/sec, 145 secs 42102 markings/sec, 150 secs 44725 markings/sec, 155 secs 40834 markings/sec, 160 secs 38549 markings/sec, 165 secs 37953 markings/sec, 170 secs 40622 markings/sec, 175 secs 41046 markings/sec, 180 secs 41083 markings/sec, 185 secs 37788 markings/sec, 190 secs 39508 markings/sec, 195 secs 42561 markings/sec, 200 secs 38084 markings/sec, 205 secs 42024 markings/sec, 210 secs 44192 markings/sec, 215 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p69 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p61 + p60 + p59 + p58 + p57 + p56 + p55) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 67901 markings/sec, 0 secs 59594 markings/sec, 5 secs 58312 markings/sec, 10 secs 55600 markings/sec, 15 secs 50678 markings/sec, 20 secs 44944 markings/sec, 25 secs 42841 markings/sec, 30 secs 52760 markings/sec, 35 secs 51830 markings/sec, 40 secs 48495 markings/sec, 45 secs 46659 markings/sec, 50 secs 45103 markings/sec, 55 secs 43748 markings/sec, 60 secs 44964 markings/sec, 65 secs 42970 markings/sec, 70 secs 43640 markings/sec, 75 secs 42321 markings/sec, 80 secs 42197 markings/sec, 85 secs 43116 markings/sec, 90 secs 42429 markings/sec, 95 secs 42397 markings/sec, 100 secs 41090 markings/sec, 105 secs 41778 markings/sec, 110 secs 40142 markings/sec, 115 secs 41081 markings/sec, 120 secs 40804 markings/sec, 125 secs 39654 markings/sec, 130 secs 39813 markings/sec, 135 secs 39483 markings/sec, 140 secs 39658 markings/sec, 145 secs 44133 markings/sec, 150 secs 42618 markings/sec, 155 secs 40057 markings/sec, 160 secs 40210 markings/sec, 165 secs 39362 markings/sec, 170 secs 39896 markings/sec, 175 secs 39670 markings/sec, 180 secs 39845 markings/sec, 185 secs 39395 markings/sec, 190 secs 39977 markings/sec, 195 secs 39327 markings/sec, 200 secs 39015 markings/sec, 205 secs 39048 markings/sec, 210 secs 42727 markings/sec, 215 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 46127 markings/sec, 0 secs 45569 markings/sec, 5 secs 44621 markings/sec, 10 secs 42856 markings/sec, 15 secs 42128 markings/sec, 20 secs 43138 markings/sec, 25 secs 41637 markings/sec, 30 secs 41113 markings/sec, 35 secs 39450 markings/sec, 40 secs 38804 markings/sec, 45 secs 42596 markings/sec, 50 secs 41693 markings/sec, 55 secs 39970 markings/sec, 60 secs 39785 markings/sec, 65 secs 37071 markings/sec, 70 secs 40585 markings/sec, 75 secs 38230 markings/sec, 80 secs 37468 markings/sec, 85 secs 37157 markings/sec, 90 secs 36385 markings/sec, 95 secs 37802 markings/sec, 100 secs 41782 markings/sec, 105 secs 39882 markings/sec, 110 secs 40292 markings/sec, 115 secs 38312 markings/sec, 120 secs 36369 markings/sec, 125 secs 40113 markings/sec, 130 secs 37496 markings/sec, 135 secs 36664 markings/sec, 140 secs 35945 markings/sec, 145 secs 35611 markings/sec, 150 secs 36286 markings/sec, 155 secs 38044 markings/sec, 160 secs 38139 markings/sec, 165 secs 36548 markings/sec, 170 secs 36248 markings/sec, 175 secs 34689 markings/sec, 180 secs 35943 markings/sec, 185 secs 36456 markings/sec, 190 secs 34427 markings/sec, 195 secs 34627 markings/sec, 200 secs 34269 markings/sec, 205 secs 33259 markings/sec, 210 secs 37860 markings/sec, 215 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p69 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p61 + p60 + p59 + p58 + p57 + p56 + p55) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 67211 markings/sec, 0 secs 59573 markings/sec, 5 secs 60070 markings/sec, 10 secs 56888 markings/sec, 15 secs 52000 markings/sec, 20 secs 44660 markings/sec, 25 secs 44484 markings/sec, 30 secs 53763 markings/sec, 35 secs 52332 markings/sec, 40 secs 49117 markings/sec, 45 secs 47210 markings/sec, 50 secs 45762 markings/sec, 55 secs 44950 markings/sec, 60 secs 45628 markings/sec, 65 secs 44037 markings/sec, 70 secs 43517 markings/sec, 75 secs 42621 markings/sec, 80 secs 42850 markings/sec, 85 secs 44220 markings/sec, 90 secs 42920 markings/sec, 95 secs 41921 markings/sec, 100 secs 42199 markings/sec, 105 secs 41730 markings/sec, 110 secs 40905 markings/sec, 115 secs 41564 markings/sec, 120 secs 41002 markings/sec, 125 secs 40278 markings/sec, 130 secs 40108 markings/sec, 135 secs 40829 markings/sec, 140 secs 40950 markings/sec, 145 secs 45576 markings/sec, 150 secs 41222 markings/sec, 155 secs 40282 markings/sec, 160 secs 40136 markings/sec, 165 secs 39665 markings/sec, 170 secs 39444 markings/sec, 175 secs 40339 markings/sec, 180 secs 39334 markings/sec, 185 secs 40008 markings/sec, 190 secs 39423 markings/sec, 195 secs 39675 markings/sec, 200 secs 38903 markings/sec, 205 secs 39598 markings/sec, 210 secs 43374 markings/sec, 215 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p69 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p61 + p60 + p59 + p58 + p57 + p56 + p55) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 68613 markings/sec, 0 secs 60418 markings/sec, 5 secs 59443 markings/sec, 10 secs 56301 markings/sec, 15 secs 51786 markings/sec, 20 secs 41515 markings/sec, 25 secs 42078 markings/sec, 30 secs 52229 markings/sec, 35 secs 50837 markings/sec, 40 secs 47333 markings/sec, 45 secs 44722 markings/sec, 50 secs 43122 markings/sec, 55 secs 42787 markings/sec, 60 secs 43485 markings/sec, 65 secs 42108 markings/sec, 70 secs 43201 markings/sec, 75 secs 41892 markings/sec, 80 secs 42087 markings/sec, 85 secs 41324 markings/sec, 90 secs 41407 markings/sec, 95 secs 41507 markings/sec, 100 secs 39582 markings/sec, 105 secs 41039 markings/sec, 110 secs 39653 markings/sec, 115 secs 39099 markings/sec, 120 secs 40442 markings/sec, 125 secs 38954 markings/sec, 130 secs 38591 markings/sec, 135 secs 38347 markings/sec, 140 secs 39100 markings/sec, 145 secs 38568 markings/sec, 150 secs 43566 markings/sec, 155 secs 39668 markings/sec, 160 secs 38694 markings/sec, 165 secs 38347 markings/sec, 170 secs 37892 markings/sec, 175 secs 38174 markings/sec, 180 secs 38578 markings/sec, 185 secs 38110 markings/sec, 190 secs 38197 markings/sec, 195 secs 38646 markings/sec, 200 secs 38186 markings/sec, 205 secs 37770 markings/sec, 210 secs 37852 markings/sec, 215 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156... (shortened) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 51096 markings/sec, 0 secs 47370 markings/sec, 5 secs 46072 markings/sec, 10 secs 41485 markings/sec, 15 secs 40599 markings/sec, 20 secs 44298 markings/sec, 25 secs 41478 markings/sec, 30 secs 44435 markings/sec, 35 secs 41009 markings/sec, 40 secs 42983 markings/sec, 45 secs 33385 markings/sec, 50 secs 37031 markings/sec, 55 secs 43978 markings/sec, 60 secs 39539 markings/sec, 65 secs 36903 markings/sec, 70 secs 40862 markings/sec, 75 secs 44693 markings/sec, 80 secs 42516 markings/sec, 85 secs 47912 markings/sec, 90 secs 37770 markings/sec, 95 secs 37522 markings/sec, 100 secs 38626 markings/sec, 105 secs 38588 markings/sec, 110 secs 42596 markings/sec, 115 secs 42974 markings/sec, 120 secs 35558 markings/sec, 125 secs 33342 markings/sec, 130 secs 37902 markings/sec, 135 secs 44897 markings/sec, 140 secs 44278 markings/sec, 145 secs 38846 markings/sec, 150 secs 42934 markings/sec, 155 secs 43322 markings/sec, 160 secs 35321 markings/sec, 165 secs 40518 markings/sec, 170 secs 36435 markings/sec, 175 secs 41277 markings/sec, 180 secs 40525 markings/sec, 185 secs 40595 markings/sec, 190 secs 35558 markings/sec, 195 secs 39539 markings/sec, 200 secs 41781 markings/sec, 205 secs 37991 markings/sec, 210 secs 41409 markings/sec, 215 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 48337 markings/sec, 0 secs 44075 markings/sec, 5 secs 39570 markings/sec, 10 secs 40932 markings/sec, 15 secs 42699 markings/sec, 20 secs 37918 markings/sec, 25 secs 42644 markings/sec, 30 secs 37647 markings/sec, 35 secs 36212 markings/sec, 40 secs 40715 markings/sec, 45 secs 40998 markings/sec, 50 secs 36003 markings/sec, 55 secs 41215 markings/sec, 60 secs 34117 markings/sec, 65 secs 37880 markings/sec, 70 secs 40141 markings/sec, 75 secs 38125 markings/sec, 80 secs 31482 markings/sec, 85 secs 35455 markings/sec, 90 secs 32227 markings/sec, 95 secs 34766 markings/sec, 100 secs 31451 markings/sec, 105 secs 37521 markings/sec, 110 secs 38597 markings/sec, 115 secs 29456 markings/sec, 120 secs 35708 markings/sec, 125 secs 30012 markings/sec, 130 secs 31842 markings/sec, 135 secs 32237 markings/sec, 140 secs 37136 markings/sec, 145 secs 43252 markings/sec, 150 secs 43948 markings/sec, 155 secs 41382 markings/sec, 160 secs 38958 markings/sec, 165 secs 41868 markings/sec, 170 secs 34012 markings/sec, 175 secs 33879 markings/sec, 180 secs 40129 markings/sec, 185 secs 33281 markings/sec, 190 secs 35785 markings/sec, 195 secs 41408 markings/sec, 200 secs 35683 markings/sec, 205 secs 41235 markings/sec, 210 secs 38845 markings/sec, 215 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p69 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p61 + p60 + p59 + p58 + p57 + p56 + p55) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 68377 markings/sec, 0 secs 60108 markings/sec, 5 secs 59030 markings/sec, 10 secs 55985 markings/sec, 15 secs 50947 markings/sec, 20 secs 43987 markings/sec, 25 secs 43046 markings/sec, 30 secs 52980 markings/sec, 35 secs 51622 markings/sec, 40 secs 48307 markings/sec, 45 secs 46387 markings/sec, 50 secs 45164 markings/sec, 55 secs 44098 markings/sec, 60 secs 44846 markings/sec, 65 secs 42665 markings/sec, 70 secs 43072 markings/sec, 75 secs 41745 markings/sec, 80 secs 41710 markings/sec, 85 secs 42817 markings/sec, 90 secs 42247 markings/sec, 95 secs 42389 markings/sec, 100 secs 40961 markings/sec, 105 secs 41717 markings/sec, 110 secs 40074 markings/sec, 115 secs 40940 markings/sec, 120 secs 40677 markings/sec, 125 secs 39639 markings/sec, 130 secs 39765 markings/sec, 135 secs 39233 markings/sec, 140 secs 40394 markings/sec, 145 secs 43215 markings/sec, 150 secs 41853 markings/sec, 155 secs 39476 markings/sec, 160 secs 39683 markings/sec, 165 secs 39105 markings/sec, 170 secs 39273 markings/sec, 175 secs 38888 markings/sec, 180 secs 39102 markings/sec, 185 secs 38793 markings/sec, 190 secs 38816 markings/sec, 195 secs 38694 markings/sec, 200 secs 38635 markings/sec, 205 secs 38618 markings/sec, 210 secs 41385 markings/sec, 215 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p69 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p61 + p60 + p59 + p58 + p57 + p56 + p55) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 69054 markings/sec, 0 secs 60839 markings/sec, 5 secs 59607 markings/sec, 10 secs 56370 markings/sec, 15 secs 51377 markings/sec, 20 secs 44030 markings/sec, 25 secs 44413 markings/sec, 30 secs 53136 markings/sec, 35 secs 51862 markings/sec, 40 secs 48603 markings/sec, 45 secs 46762 markings/sec, 50 secs 45562 markings/sec, 55 secs 44440 markings/sec, 60 secs 45408 markings/sec, 65 secs 43549 markings/sec, 70 secs 43255 markings/sec, 75 secs 42198 markings/sec, 80 secs 42056 markings/sec, 85 secs 43085 markings/sec, 90 secs 42179 markings/sec, 95 secs 41437 markings/sec, 100 secs 40769 markings/sec, 105 secs 41331 markings/sec, 110 secs 40316 markings/sec, 115 secs 40627 markings/sec, 120 secs 40448 markings/sec, 125 secs 39662 markings/sec, 130 secs 39467 markings/sec, 135 secs 39847 markings/sec, 140 secs 39729 markings/sec, 145 secs 44529 markings/sec, 150 secs 41903 markings/sec, 155 secs 39418 markings/sec, 160 secs 39498 markings/sec, 165 secs 38717 markings/sec, 170 secs 39153 markings/sec, 175 secs 38886 markings/sec, 180 secs 38809 markings/sec, 185 secs 38485 markings/sec, 190 secs 39191 markings/sec, 195 secs 38685 markings/sec, 200 secs 38186 markings/sec, 205 secs 38502 markings/sec, 210 secs 41512 markings/sec, 215 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 48970 markings/sec, 0 secs 44745 markings/sec, 5 secs 39952 markings/sec, 10 secs 40623 markings/sec, 15 secs 43338 markings/sec, 20 secs 38201 markings/sec, 25 secs 44143 markings/sec, 30 secs 39141 markings/sec, 35 secs 35863 markings/sec, 40 secs 40669 markings/sec, 45 secs 40948 markings/sec, 50 secs 36419 markings/sec, 55 secs 43119 markings/sec, 60 secs 32348 markings/sec, 65 secs 38816 markings/sec, 70 secs 40759 markings/sec, 75 secs 37224 markings/sec, 80 secs 32635 markings/sec, 85 secs 34852 markings/sec, 90 secs 34999 markings/sec, 95 secs 33538 markings/sec, 100 secs 29615 markings/sec, 105 secs 37033 markings/sec, 110 secs 34750 markings/sec, 115 secs 27301 markings/sec, 120 secs 33820 markings/sec, 125 secs 25953 markings/sec, 130 secs 30141 markings/sec, 135 secs 31850 markings/sec, 140 secs 33617 markings/sec, 145 secs 42115 markings/sec, 150 secs 41978 markings/sec, 155 secs 45938 markings/sec, 160 secs 36934 markings/sec, 165 secs 44897 markings/sec, 170 secs 36970 markings/sec, 175 secs 29446 markings/sec, 180 secs 40360 markings/sec, 185 secs 32934 markings/sec, 190 secs 37138 markings/sec, 195 secs 40821 markings/sec, 200 secs 37994 markings/sec, 205 secs 38217 markings/sec, 210 secs 40513 markings/sec, 215 secs problem between parent and child process seconds at most (--localtimelimit=-1) == == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 51963 markings/sec, 0 secs 47824 markings/sec, 5 secs 47592 markings/sec, 10 secs 42246 markings/sec, 15 secs 42430 markings/sec, 20 secs 45259 markings/sec, 25 secs 41387 markings/sec, 30 secs 43664 markings/sec, 35 secs 43255 markings/sec, 40 secs 42971 markings/sec, 45 secs 32111 markings/sec, 50 secs 40679 markings/sec, 55 secs 44824 markings/sec, 60 secs 36364 markings/sec, 65 secs 42119 markings/sec, 70 secs 41925 markings/sec, 75 secs 46155 markings/sec, 80 secs 42820 markings/sec, 85 secs 48106 markings/sec, 90 secs 37720 markings/sec, 95 secs 32885 markings/sec, 100 secs 47056 markings/sec, 105 secs 37378 markings/sec, 110 secs 43689 markings/sec, 115 secs 40874 markings/sec, 120 secs 35585 markings/sec, 125 secs 34806 markings/sec, 130 secs 43079 markings/sec, 135 secs 42946 markings/sec, 140 secs 41545 markings/sec, 145 secs 41049 markings/sec, 150 secs 44115 markings/sec, 155 secs 38874 markings/sec, 160 secs 38754 markings/sec, 165 secs 38335 markings/sec, 170 secs 39954 markings/sec, 175 secs 40817 markings/sec, 180 secs 40326 markings/sec, 185 secs 37906 markings/sec, 190 secs 39147 markings/sec, 195 secs 42325 markings/sec, 200 secs 38003 markings/sec, 205 secs 42077 markings/sec, 210 secs 43941 markings/sec, 215 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 48229 markings/sec, 0 secs 44628 markings/sec, 5 secs 40225 markings/sec, 10 secs 41051 markings/sec, 15 secs 43459 markings/sec, 20 secs 38628 markings/sec, 25 secs 44404 markings/sec, 30 secs 39296 markings/sec, 35 secs 35924 markings/sec, 40 secs 41019 markings/sec, 45 secs 41434 markings/sec, 50 secs 36491 markings/sec, 55 secs 44255 markings/sec, 60 secs 32269 markings/sec, 65 secs 40179 markings/sec, 70 secs 41302 markings/sec, 75 secs 36578 markings/sec, 80 secs 33076 markings/sec, 85 secs 34022 markings/sec, 90 secs 35475 markings/sec, 95 secs 34463 markings/sec, 100 secs 31737 markings/sec, 105 secs 40786 markings/sec, 110 secs 37054 markings/sec, 115 secs 34311 markings/sec, 120 secs 29769 markings/sec, 125 secs 32409 markings/sec, 130 secs 33780 markings/sec, 135 secs 34993 markings/sec, 140 secs 40179 markings/sec, 145 secs 43626 markings/sec, 150 secs 44594 markings/sec, 155 secs 36890 markings/sec, 160 secs 45291 markings/sec, 165 secs 38406 markings/sec, 170 secs 29338 markings/sec, 175 secs 41439 markings/sec, 180 secs 33858 markings/sec, 185 secs 37724 markings/sec, 190 secs 40544 markings/sec, 195 secs 37764 markings/sec, 200 secs 35890 markings/sec, 205 secs 38018 markings/sec, 210 secs 35931 markings/sec, 215 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + p51 + p52 + p53 + p54) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 69602 markings/sec, 0 secs 60860 markings/sec, 5 secs 60419 markings/sec, 10 secs 57254 markings/sec, 15 secs 51144 markings/sec, 20 secs 42521 markings/sec, 25 secs 43197 markings/sec, 30 secs 51552 markings/sec, 35 secs 52610 markings/sec, 40 secs 49473 markings/sec, 45 secs 47476 markings/sec, 50 secs 45964 markings/sec, 55 secs 44908 markings/sec, 60 secs 45676 markings/sec, 65 secs 43949 markings/sec, 70 secs 43728 markings/sec, 75 secs 42817 markings/sec, 80 secs 42931 markings/sec, 85 secs 44339 markings/sec, 90 secs 43037 markings/sec, 95 secs 42140 markings/sec, 100 secs 42445 markings/sec, 105 secs 41902 markings/sec, 110 secs 41040 markings/sec, 115 secs 41644 markings/sec, 120 secs 41140 markings/sec, 125 secs 40347 markings/sec, 130 secs 40138 markings/sec, 135 secs 40964 markings/sec, 140 secs 41061 markings/sec, 145 secs 45018 markings/sec, 150 secs 40741 markings/sec, 155 secs 39934 markings/sec, 160 secs 39630 markings/sec, 165 secs 39118 markings/sec, 170 secs 38993 markings/sec, 175 secs 39553 markings/sec, 180 secs 38877 markings/sec, 185 secs 39390 markings/sec, 190 secs 38789 markings/sec, 195 secs 38820 markings/sec, 200 secs 38617 markings/sec, 205 secs 38860 markings/sec, 210 secs 43000 markings/sec, 215 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 43696 markings/sec, 0 secs 42889 markings/sec, 5 secs 40493 markings/sec, 10 secs 39751 markings/sec, 15 secs 38324 markings/sec, 20 secs 42187 markings/sec, 25 secs 39862 markings/sec, 30 secs 40264 markings/sec, 35 secs 40449 markings/sec, 40 secs 40340 markings/sec, 45 secs 42297 markings/sec, 50 secs 42623 markings/sec, 55 secs 41156 markings/sec, 60 secs 40089 markings/sec, 65 secs 39297 markings/sec, 70 secs 38813 markings/sec, 75 secs 39748 markings/sec, 80 secs 36899 markings/sec, 85 secs 38335 markings/sec, 90 secs 36425 markings/sec, 95 secs 34948 markings/sec, 100 secs 44112 markings/sec, 105 secs 41810 markings/sec, 110 secs 40314 markings/sec, 115 secs 39653 markings/sec, 120 secs 37546 markings/sec, 125 secs 40324 markings/sec, 130 secs 38725 markings/sec, 135 secs 37089 markings/sec, 140 secs 37515 markings/sec, 145 secs 35744 markings/sec, 150 secs 37049 markings/sec, 155 secs 38976 markings/sec, 160 secs 35766 markings/sec, 165 secs 32216 markings/sec, 170 secs 32015 markings/sec, 175 secs 32323 markings/sec, 180 secs 34989 markings/sec, 185 secs 37119 markings/sec, 190 secs 35015 markings/sec, 195 secs 34854 markings/sec, 200 secs 34726 markings/sec, 205 secs 33621 markings/sec, 210 secs 35527 markings/sec, 215 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49) == (--encoder=bit) with 0 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 49552 markings/sec, 0 secs 45573 markings/sec, 5 secs 40801 markings/sec, 10 secs 40455 markings/sec, 15 secs 44092 markings/sec, 20 secs 40853 markings/sec, 25 secs 44469 markings/sec, 30 secs 38876 markings/sec, 35 secs 35550 markings/sec, 40 secs 42841 markings/sec, 45 secs 42486 markings/sec, 50 secs 34978 markings/sec, 55 secs 44488 markings/sec, 60 secs 33461 markings/sec, 65 secs 41581 markings/sec, 70 secs 41238 markings/sec, 75 secs 36164 markings/sec, 80 secs 34091 markings/sec, 85 secs 32482 markings/sec, 90 secs 35259 markings/sec, 95 secs 33426 markings/sec, 100 secs 37339 markings/sec, 105 secs 39304 markings/sec, 110 secs 33927 markings/sec, 115 secs 35495 markings/sec, 120 secs 29555 markings/sec, 125 secs 32949 markings/sec, 130 secs 34998 markings/sec, 135 secs 36885 markings/sec, 140 secs 43005 markings/sec, 145 secs 44533 markings/sec, 150 secs 43178 markings/sec, 155 secs 39357 markings/sec, 160 secs 42207 markings/sec, 165 secs 34466 markings/sec, 170 secs 34163 markings/sec, 175 secs 40890 markings/sec, 180 secs 34413 markings/sec, 185 secs 37104 markings/sec, 190 secs 41575 markings/sec, 195 secs 35206 markings/sec, 200 secs 41892 markings/sec, 205 secs 39470 markings/sec, 210 secs 39210 markings/sec, 215 secs unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN

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="CSRepetitions-COL-05"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/CSRepetitions-COL-05.tgz
mv CSRepetitions-COL-05 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 CSRepetitions-COL-05, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r018-ebro-149436308800083"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;