MCC'2017 - Execution of r048-smll-149440869500056

About the Execution of LoLA for Peterson-PT-4

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
1033.030	3539501.00	3546828.00	12010.70	? ? 4 ? ? ? ? ? ? ? 5 ? ? ? 4 ?	normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
...............
========================
Generated by BenchKit 2-3254
Executing tool lola
Input is Peterson-PT-4, examination
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-14944086950005
==============================================

--------------------
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 Peterson-COL-4-UpperBounds-0
FORMULA_NAME Peterson-COL-4-UpperBounds-1
FORMULA_NAME Peterson-COL-4-UpperBounds-10
FORMULA_NAME Peterson-COL-4-UpperBounds-11
FORMULA_NAME Peterson-COL-4-UpperBounds-12
FORMULA_NAME Peterson-COL-4-UpperBounds-13
FORMULA_NAME Peterson-COL-4-UpperBounds-14
FORMULA_NAME Peterson-COL-4-UpperBounds-15
FORMULA_NAME Peterson-COL-4-UpperBounds-2
FORMULA_NAME Peterson-COL-4-UpperBounds-3
FORMULA_NAME Peterson-COL-4-UpperBounds-4
FORMULA_NAME Peterson-COL-4-UpperBounds-5
FORMULA_NAME Peterson-COL-4-UpperBounds-6
FORMULA_NAME Peterson-COL-4-UpperBounds-7
FORMULA_NAME Peterson-COL-4-UpperBounds-8
FORMULA_NAME Peterson-COL-4-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1494498608834

Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Peterson-PT-4 @ 3540 seconds
----- 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: 1170/65536 symbol table entries,
lola: preprocessing...
lola: finding significant places
lola: 480 places, 690 transitions,
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1055 transition conflict sets
lola: TASK
lola: reading formula from Peterson-COL-4-Up
lola: MAX(TestIdentity_1_0_0 + TestIdentity_1_0_1
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221
lola: ======================================
lola: ...considering subproblem: MAX(TestIdentity_1_0_0
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 60 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 170356 markings, 792526 edges,
lola: 337147 markings, 1610603 edges,
lola: 502814 markings, 2422143 edges,
lola: 666441 markings, 3228250 edges,
lola: 829520 markings, 4032970 edges,
lola: 989475 markings, 4853376 edges,
lola: 1150660 markings, 5646075 edges,
lola: 1310340 markings, 6457163 edges,
lola: 1469008 markings, 7246680 edges,
lola: 1626958 markings, 8048435 edges,
lola: 1786845 markings, 8845102 edges,
lola: 1947635 markings, 9664378 edges,
lola: 2108397 markings, 10452955 edges,
lola: 2268806 markings, 11244363 edges,
lola: 2426205 markings, 12028087 edges,
lola: 2585705 markings, 12816234 edges,
lola: 2742368 markings, 13620360 edges,
lola: 2896130 markings, 14479987 edges,
lola: 3059523 markings, 15201053 edges,
lola: 3212894 markings, 15970229 edges,
lola: 3366516 markings, 16737881 edges,
lola: 3520286 markings, 17507796 edges,
lola: 3677497 markings, 18278631 edges,
lola: 3824494 markings, 19109922 edges,
lola: 3985250 markings, 19925873 edges,
lola: 4146014 markings, 20729071 edges,
lola: 4304079 markings, 21519897 edges,
lola: 4463483 markings, 22316025 edges,
lola: 4622579 markings, 23112258 edges,
lola: 4779539 markings, 23896768 edges,
lola: 4934788 markings, 24671629 edges,
lola: 5089879 markings, 25448983 edges,
lola: 5245523 markings, 26226994 edges,
lola: 5403500 markings, 27017139 edges,
lola: 5561045 markings, 27803396 edges,
lola: 5714076 markings, 28567411 edges,
lola: 5868198 markings, 29338405 edges,
lola: 6021002 markings, 30103838 edges,
lola: 6172132 markings, 30859610 edges,
lola: 6324863 markings, 31622668 edges,
lola: 6478091 markings, 32390174 edges,
lola: 6636109 markings, 33179498 edges,
lola: 6789425 markings, 33943203 edges,
lola: 6944794 markings, 34721724 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(TestIdentity_1_0_0
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 60 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 169790 markings, 791249 edges,
lola: 336368 markings, 1608519 edges,
lola: 501650 markings, 2416442 edges,
lola: 664814 markings, 3220278 edges,
lola: 827319 markings, 4023584 edges,
lola: 986702 markings, 4839590 edges,
lola: 1147509 markings, 5630511 edges,
lola: 1306778 markings, 6439153 edges,
lola: 1464827 markings, 7224837 edges,
lola: 1622354 markings, 8025423 edges,
lola: 1777041 markings, 8797627 edges,
lola: 1931118 markings, 9625887 edges,
lola: 2094236 markings, 10384640 edges,
lola: 2254707 markings, 11172580 edges,
lola: 2412219 markings, 11957513 edges,
lola: 2571673 markings, 12744641 edges,
lola: 2727942 markings, 13546738 edges,
lola: 2874722 markings, 14372665 edges,
lola: 3032022 markings, 15068281 edges,
lola: 3179345 markings, 15808082 edges,
lola: 3326609 markings, 16544670 edges,
lola: 3474611 markings, 17273741 edges,
lola: 3623161 markings, 18015577 edges,
lola: 3770876 markings, 18753491 edges,
lola: 3915964 markings, 19578851 edges,
lola: 4071649 markings, 20355282 edges,
lola: 4224336 markings, 21119865 edges,
lola: 4376718 markings, 21882452 edges,
lola: 4528342 markings, 22641441 edges,
lola: 4682061 markings, 23407879 edges,
lola: 4831696 markings, 24156339 edges,
lola: 4980897 markings, 24903804 edges,
lola: 5129701 markings, 25648192 edges,
lola: 5280091 markings, 26400101 edges,
lola: 5432854 markings, 27163559 edges,
lola: 5583921 markings, 27917703 edges,
lola: 5730677 markings, 28651720 edges,
lola: 5878830 markings, 29391738 edges,
lola: 6025355 markings, 30124828 edges,
lola: 6170485 markings, 30852045 edges,
lola: 6317312 markings, 31586117 edges,
lola: 6464845 markings, 32323254 edges,
lola: 6615765 markings, 33078416 edges,
lola: 6763346 markings, 33815351 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(AskForSection_0_0
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 60 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 176248 markings, 680937 edges,
lola: 348144 markings, 1361191 edges,
lola: 520648 markings, 2038619 edges,
lola: 689403 markings, 2719875 edges,
lola: 861915 markings, 3379250 edges,
lola: 1031844 markings, 4053826 edges,
lola: 1200398 markings, 4729120 edges,
lola: 1366270 markings, 5406054 edges,
lola: 1531068 markings, 6097564 edges,
lola: 1700218 markings, 6736007 edges,
lola: 1869088 markings, 7386382 edges,
lola: 2032594 markings, 8055225 edges,
lola: 2196009 markings, 8721382 edges,
lola: 2360672 markings, 9373809 edges,
lola: 2526826 markings, 10020047 edges,
lola: 2691424 markings, 10704148 edges,
lola: 2861430 markings, 11366746 edges,
lola: 3029357 markings, 12078588 edges,
lola: 3200236 markings, 12752747 edges,
lola: 3369553 markings, 13449806 edges,
lola: 3541686 markings, 14133888 edges,
lola: 3715437 markings, 14799042 edges,
lola: 3885458 markings, 15491043 edges,
lola: 4051888 markings, 16187287 edges,
lola: 4218957 markings, 16879065 edges,
lola: 4392926 markings, 17579348 edges,
lola: 4560248 markings, 18295552 edges,
lola: 4727002 markings, 18979775 edges,
lola: 4892525 markings, 19660872 edges,
lola: 5055129 markings, 20371925 edges,
lola: 5222937 markings, 21079000 edges,
lola: 5388276 markings, 21783051 edges,
lola: 5553487 markings, 22467908 edges,
lola: 5714837 markings, 23169355 edges,
lola: 5874183 markings, 23873201 edges,
lola: 6035172 markings, 24573028 edges,
lola: 6206847 markings, 25257379 edges,
lola: 6374648 markings, 25982386 edges,
lola: 6539116 markings, 26698013 edges,
lola: 6703336 markings, 27406512 edges,
lola: 6866133 markings, 28102803 edges,
lola: 7029385 markings, 28816891 edges,
lola: 7192391 markings, 29517412 edges,
lola: 7352392 markings, 30207966 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(TestAlone_4_3_0
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 60 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 170365 markings, 791458 edges,
lola: 339442 markings, 1609664 edges,
lola: 504545 markings, 2435702 edges,
lola: 670812 markings, 3270762 edges,
lola: 836034 markings, 4098565 edges,
lola: 999153 markings, 4920988 edges,
lola: 1161523 markings, 5733695 edges,
lola: 1323553 markings, 6538620 edges,
lola: 1484530 markings, 7338877 edges,
lola: 1644958 markings, 8147207 edges,
lola: 1806612 markings, 8950335 edges,
lola: 1968726 markings, 9765390 edges,
lola: 2130190 markings, 10564668 edges,
lola: 2289180 markings, 11359320 edges,
lola: 2446091 markings, 12153364 edges,
lola: 2604550 markings, 12942580 edges,
lola: 2764604 markings, 13737633 edges,
lola: 2924906 markings, 14553084 edges,
lola: 3083068 markings, 15340388 edges,
lola: 3240084 markings, 16117969 edges,
lola: 3397108 markings, 16899005 edges,
lola: 3552460 markings, 17685812 edges,
lola: 3708340 markings, 18466222 edges,
lola: 3861473 markings, 19306359 edges,
lola: 4024303 markings, 20120397 edges,
lola: 4181856 markings, 20908189 edges,
lola: 4340411 markings, 21701567 edges,
lola: 4499150 markings, 22495378 edges,
lola: 4659442 markings, 23296847 edges,
lola: 4821720 markings, 24108122 edges,
lola: 4984487 markings, 24922104 edges,
lola: 5141714 markings, 25707992 edges,
lola: 5297533 markings, 26487237 edges,
lola: 5452412 markings, 27261700 edges,
lola: 5605736 markings, 28028040 edges,
lola: 5761608 markings, 28807833 edges,
lola: 5918420 markings, 29591740 edges,
lola: 6076762 markings, 30383476 edges,
lola: 6234921 markings, 31172203 edges,
lola: 6380710 markings, 31902693 edges,
lola: 6526008 markings, 32628557 edges,
lola: 6671049 markings, 33354320 edges,
lola: 6814033 markings, 34069772 edges,
lola: 6958323 markings, 34791376 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(WantSection_4_T
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 60 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given
lola: ========================================
lola: subprocess 5 will run for 241
lola: ======================================
lola: ...considering subproblem: MAX(CS_0
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 60 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 179664 markings, 643730 edges,
lola: 352194 markings, 1330186 edges,
lola: 526605 markings, 1989491 edges,
lola: 700396 markings, 2646664 edges,
lola: 870559 markings, 3307417 edges,
lola: 1042626 markings, 3954891 edges,
lola: 1211778 markings, 4628785 edges,
lola: 1382971 markings, 5278260 edges,
lola: 1553513 markings, 5922815 edges,
lola: 1721216 markings, 6597606 edges,
lola: 1895885 markings, 7252125 edges,
lola: 2072045 markings, 7933904 edges,
lola: 2244622 markings, 8611934 edges,
lola: 2418843 markings, 9286546 edges,
lola: 2591339 markings, 10011541 edges,
lola: 2766979 markings, 10677277 edges,
lola: 2941363 markings, 11345888 edges,
lola: 3114944 markings, 12010664 edges,
lola: 3289834 markings, 12664211 edges,
lola: 3463477 markings, 13378745 edges,
lola: 3636795 markings, 14051153 edges,
lola: 3809972 markings, 14762124 edges,
lola: 3980884 markings, 15456560 edges,
lola: 4152123 markings, 16147955 edges,
lola: 4325661 markings, 16852043 edges,
lola: 4497474 markings, 17516876 edges,
lola: 4664783 markings, 18192955 edges,
lola: 4835987 markings, 18848457 edges,
lola: 5003320 markings, 19552332 edges,
lola: 5173402 markings, 20250793 edges,
lola: 5341565 markings, 20941405 edges,
lola: 5510041 markings, 21604699 edges,
lola: 5677470 markings, 22293221 edges,
lola: 5838929 markings, 22992800 edges,
lola: 6008567 markings, 23681853 edges,
lola: 6178966 markings, 24367012 edges,
lola: 6348862 markings, 25050979 edges,
lola: 6528649 markings, 25708626 edges,
lola: 6704279 markings, 26377430 edges,
lola: 6875683 markings, 27045437 edges,
lola: 7045908 markings, 27734528 edges,
lola: 7217057 markings, 28408984 edges,
lola: 7383691 markings, 29071202 edges,
lola: 7552957 markings, 29742756 edges,
lola: 7719282 markings, 30422515 edges,
lola: 7884592 markings, 31082836 edges,
lola: 8048387 markings, 31751636 edges,
lola: 8209736 markings, 32421034 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 6 will run for 241
lola: ======================================
lola: ...considering subproblem: MAX(CS_0
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 60 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 187294 markings, 673299 edges,
lola: 367672 markings, 1390558 edges,
lola: 550139 markings, 2074863 edges,
lola: 729137 markings, 2780395 edges,
lola: 908351 markings, 3447442 edges,
lola: 1085903 markings, 4132840 edges,
lola: 1263617 markings, 4823528 edges,
lola: 1441997 markings, 5494646 edges,
lola: 1617661 markings, 6191005 edges,
lola: 1794700 markings, 6862980 edges,
lola: 1969608 markings, 7538508 edges,
lola: 2141637 markings, 8239052 edges,
lola: 2316617 markings, 8882473 edges,
lola: 2490088 markings, 9566432 edges,
lola: 2663207 markings, 10273666 edges,
lola: 2837766 markings, 10931455 edges,
lola: 3012158 markings, 11589262 edges,
lola: 3185325 markings, 12248233 edges,
lola: 3357993 markings, 12944759 edges,
lola: 3531151 markings, 13629058 edges,
lola: 3701315 markings, 14327153 edges,
lola: 3875003 markings, 15013953 edges,
lola: 4044768 markings, 15703452 edges,
lola: 4212999 markings, 16385894 edges,
lola: 4375862 markings, 17041578 edges,
lola: 4538518 markings, 17675154 edges,
lola: 4695803 markings, 18309310 edges,
lola: 4858613 markings, 18935143 edges,
lola: 5015896 markings, 19604290 edges,
lola: 5176805 markings, 20265266 edges,
lola: 5335269 markings, 20917336 edges,
lola: 5494265 markings, 21541969 edges,
lola: 5654127 markings, 22196633 edges,
lola: 5808002 markings, 22852770 edges,
lola: 5966599 markings, 23518678 edges,
lola: 6129273 markings, 24158015 edges,
lola: 6289004 markings, 24813492 edges,
lola: 6459466 markings, 25445535 edges,
lola: 6624940 markings, 26080798 edges,
lola: 6789220 markings, 26721282 edges,
lola: 6951783 markings, 27342694 edges,
lola: 7113703 markings, 28000788 edges,
lola: 7273238 markings, 28629548 edges,
lola: 7431157 markings, 29249362 edges,
lola: 7590155 markings, 29888259 edges,
lola: 7743636 markings, 30525247 edges,
lola: 7899299 markings, 31139402 edges,
lola: 8052747 markings, 31770625 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 7 will run for 241
lola: ======================================
lola: ...considering subproblem: MAX(TestAlone_4_3_0
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 60 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 163847 markings, 776163 edges,
lola: 324066 markings, 1565350 edges,
lola: 482765 markings, 2335628 edges,
lola: 640970 markings, 3124304 edges,
lola: 798596 markings, 3912957 edges,
lola: 953399 markings, 4694695 edges,
lola: 1108716 markings, 5470976 edges,
lola: 1262586 markings, 6238656 edges,
lola: 1415948 markings, 7004022 edges,
lola: 1568492 markings, 7764056 edges,
lola: 1720875 markings, 8528657 edges,
lola: 1870569 markings, 9352224 edges,
lola: 2028290 markings, 10082513 edges,
lola: 2177106 markings, 10870298 edges,
lola: 2329854 markings, 11599100 edges,
lola: 2476725 markings, 12382610 edges,
lola: 2629845 markings, 13102739 edges,
lola: 2779399 markings, 13895149 edges,
lola: 2937233 markings, 14614518 edges,
lola: 3087612 markings, 15363344 edges,
lola: 3237065 markings, 16102938 edges,
lola: 3386444 markings, 16845764 edges,
lola: 3534559 markings, 17595196 edges,
lola: 3682707 markings, 18337373 edges,
lola: 3826400 markings, 19131174 edges,
lola: 3982528 markings, 19910653 edges,
lola: 4133268 markings, 20665097 edges,
lola: 4283329 markings, 21415706 edges,
lola: 4433336 markings, 22166270 edges,
lola: 4586887 markings, 22933805 edges,
lola: 4740754 markings, 23703468 edges,
lola: 4894052 markings, 24469041 edges,
lola: 5048875 markings, 25242987 edges,
lola: 5190379 markings, 25951068 edges,
lola: 5331715 markings, 26657737 edges,
lola: 5478871 markings, 27393521 edges,
lola: 5618819 markings, 28093729 edges,
lola: 5760713 markings, 28803332 edges,
lola: 5909325 markings, 29546304 edges,
lola: 6059958 markings, 30299538 edges,
lola: 6206161 markings, 31030545 edges,
lola: 6348336 markings, 31741078 edges,
lola: 6488099 markings, 32439013 edges,
lola: 6632562 markings, 33162153 edges,
lola: 6774428 markings, 33871396 edges,
lola: 6912733 markings, 34563142 edges,
lola: 7057098 markings, 35285138 edges,
lola: 7205647 markings, 36028068 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 8 will run for 241
lola: ======================================
lola: ...considering subproblem: MAX(Turn_2_0
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 60 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: SUBRESULT
lola: result: 4
lola: produced by: state space
lola: The maximum value of the given
lola: ========================================
lola: subprocess 9 will run for 276
lola: ======================================
lola: ...considering subproblem: MAX(TestIdentity_1_0_0
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 60 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 164355 markings, 778752 edges,
lola: 325233 markings, 1581901 edges,
lola: 487366 markings, 2344039 edges,
lola: 644638 markings, 3133516 edges,
lola: 803779 markings, 3909928 edges,
lola: 959058 markings, 4698147 edges,
lola: 1116025 markings, 5470550 edges,
lola: 1269952 markings, 6269712 edges,
lola: 1424515 markings, 7031998 edges,
lola: 1577497 markings, 7799830 edges,
lola: 1733135 markings, 8575725 edges,
lola: 1882783 markings, 9412365 edges,
lola: 2046970 markings, 10118136 edges,
lola: 2200899 markings, 10907976 edges,
lola: 2354833 markings, 11664630 edges,
lola: 2506355 markings, 12453962 edges,
lola: 2662322 markings, 13192674 edges,
lola: 2813098 markings, 13965236 edges,
lola: 2967729 markings, 14747802 edges,
lola: 3117960 markings, 15501147 edges,
lola: 3266324 markings, 16242550 edges,
lola: 3414804 markings, 16981005 edges,
lola: 3562354 markings, 17739377 edges,
lola: 3712988 markings, 18483850 edges,
lola: 3857455 markings, 19286023 edges,
lola: 4014605 markings, 20072806 edges,
lola: 4170143 markings, 20849559 edges,
lola: 4323590 markings, 21617274 edges,
lola: 4477681 markings, 22387373 edges,
lola: 4631859 markings, 23159119 edges,
lola: 4784158 markings, 23919903 edges,
lola: 4934442 markings, 24670935 edges,
lola: 5084750 markings, 25423015 edges,
lola: 5235733 markings, 26178000 edges,
lola: 5388347 markings, 26940847 edges,
lola: 5541719 markings, 27705845 edges,
lola: 5689590 markings, 28446803 edges,
lola: 5838898 markings, 29193369 edges,
lola: 5986674 markings, 29932665 edges,
lola: 6134163 markings, 30670343 edges,
lola: 6281309 markings, 31405883 edges,
lola: 6429388 markings, 32146747 edges,
lola: 6580245 markings, 32899105 edges,
lola: 6731643 markings, 33656882 edges,
lola: 6881560 markings, 34404117 edges,
lola: 7032046 markings, 35157884 edges,
lola: 7180227 markings, 35899088 edges,
lola: 7332023 markings, 36658951 edges,
lola: 7482679 markings, 37410977 edges,
lola: 7631689 markings, 38156985 edges,
lola: 7781912 markings, 38906858 edges,
lola: 7933967 markings, 39667720 edges,
lola: 8079892 markings, 40397520 edges,
lola: 8227937 markings, 41137550 edges,
lola: 8375208 markings, 41874636 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 10 will run for 276
lola: ======================================
lola: ...considering subproblem: MAX(Turn_2_0
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 60 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: SUBRESULT
lola: result: 4
lola: produced by: state space
lola: The maximum value of the given
lola: ========================================
lola: subprocess 11 will run for 331
lola: ======================================
lola: ...considering subproblem: MAX(TestTurn_0_0
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 60 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 176834 markings, 847049 edges,
lola: 349090 markings, 1709541 edges,
lola: 520264 markings, 2563532 edges,
lola: 692200 markings, 3421359 edges,
lola: 862443 markings, 4279191 edges,
lola: 1031537 markings, 5121604 edges,
lola: 1197902 markings, 5989360 edges,
lola: 1366855 markings, 6810340 edges,
lola: 1532062 markings, 7638711 edges,
lola: 1699586 markings, 8465482 edges,
lola: 1863509 markings, 9317342 edges,
lola: 2030694 markings, 10148711 edges,
lola: 2196649 markings, 10949803 edges,
lola: 2363016 markings, 11781779 edges,
lola: 2526752 markings, 12599709 edges,
lola: 2691394 markings, 13425358 edges,
lola: 2855855 markings, 14279117 edges,
lola: 3022874 markings, 15082722 edges,
lola: 3186115 markings, 15895438 edges,
lola: 3349021 markings, 16713265 edges,
lola: 3510060 markings, 17518778 edges,
lola: 3671445 markings, 18324795 edges,
lola: 3833112 markings, 19165474 edges,
lola: 3999472 markings, 19997218 edges,
lola: 4163495 markings, 20817191 edges,
lola: 4327092 markings, 21635101 edges,
lola: 4489607 markings, 22447685 edges,
lola: 4653252 markings, 23265999 edges,
lola: 4818645 markings, 24093006 edges,
lola: 4987589 markings, 24937651 edges,
lola: 5153270 markings, 25766056 edges,
lola: 5318070 markings, 26590086 edges,
lola: 5485416 markings, 27426943 edges,
lola: 5647309 markings, 28236423 edges,
lola: 5814458 markings, 29072141 edges,
lola: 5984151 markings, 29920438 edges,
lola: 6150234 markings, 30750978 edges,
lola: 6322520 markings, 31612483 edges,
lola: 6491850 markings, 32459058 edges,
lola: 6659641 markings, 33298039 edges,
lola: 6826081 markings, 34130258 edges,
lola: 6989376 markings, 34946550 edges,
lola: 7158850 markings, 35793656 edges,
lola: 7322910 markings, 36614372 edges,
lola: 7489806 markings, 37448300 edges,
lola: 7653036 markings, 38265068 edges,
lola: 7820833 markings, 39104018 edges,
lola: 7992092 markings, 39960389 edges,
lola: 8155283 markings, 40776128 edges,
lola: 8319344 markings, 41596331 edges,
lola: 8485514 markings, 42427428 edges,
lola: 8651729 markings, 43258279 edges,
lola: 8813543 markings, 44067548 edges,
lola: 8977923 markings, 44889482 edges,
lola: 9143977 markings, 45719540 edges,
lola: 9307561 markings, 46537396 edges,
lola: 9471868 markings, 47359118 edges,
lola: 9637399 markings, 48186881 edges,
lola: 9802075 markings, 49009918 edges,
lola: 9963623 markings, 49817989 edges,
lola: 10126684 markings, 50632875 edges,
lola: 10290947 markings, 51454507 edges,
lola: 10453568 markings, 52267763 edges,
lola: 10614771 markings, 53073570 edges,
lola: 10774459 markings, 53871957 edges,
lola: 10929839 markings, 54649029 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 12 will run for 331
lola: ======================================
lola: ...considering subproblem: MAX(IsEndLoop_0_0_0
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 60 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 174219 markings, 725103 edges,
lola: 350383 markings, 1456931 edges,
lola: 519897 markings, 2186438 edges,
lola: 694667 markings, 2969226 edges,
lola: 871560 markings, 3699849 edges,
lola: 1037787 markings, 4417947 edges,
lola: 1213555 markings, 5151360 edges,
lola: 1375423 markings, 5872140 edges,
lola: 1537878 markings, 6572241 edges,
lola: 1700913 markings, 7261595 edges,
lola: 1862084 markings, 7954646 edges,
lola: 2027967 markings, 8667784 edges,
lola: 2198872 markings, 9382262 edges,
lola: 2357829 markings, 10070808 edges,
lola: 2518144 markings, 10752522 edges,
lola: 2679794 markings, 11423930 edges,
lola: 2839574 markings, 12099618 edges,
lola: 3006020 markings, 12777152 edges,
lola: 3166020 markings, 13440845 edges,
lola: 3325074 markings, 14142568 edges,
lola: 3483093 markings, 14827167 edges,
lola: 3640881 markings, 15495823 edges,
lola: 3802210 markings, 16179987 edges,
lola: 3963871 markings, 16851226 edges,
lola: 4124453 markings, 17513954 edges,
lola: 4284657 markings, 18193060 edges,
lola: 4444736 markings, 18854739 edges,
lola: 4605193 markings, 19504912 edges,
lola: 4764057 markings, 20156327 edges,
lola: 4918807 markings, 20803077 edges,
lola: 5077955 markings, 21492628 edges,
lola: 5233081 markings, 22183890 edges,
lola: 5385424 markings, 22875977 edges,
lola: 5536147 markings, 23553863 edges,
lola: 5688209 markings, 24235911 edges,
lola: 5847934 markings, 24901712 edges,
lola: 6005698 markings, 25541904 edges,
lola: 6158591 markings, 26195573 edges,
lola: 6310166 markings, 26844035 edges,
lola: 6463061 markings, 27478096 edges,
lola: 6615111 markings, 28142005 edges,
lola: 6763119 markings, 28813206 edges,
lola: 6912722 markings, 29494178 edges,
lola: 7062659 markings, 30144350 edges,
lola: 7209895 markings, 30759815 edges,
lola: 7368897 markings, 31429051 edges,
lola: 7514564 markings, 32062556 edges,
lola: 7668203 markings, 32721453 edges,
lola: 7817918 markings, 33370031 edges,
lola: 7962715 markings, 33978496 edges,
lola: 8110770 markings, 34579811 edges,
lola: 8249090 markings, 35162729 edges,
lola: 8396046 markings, 35777472 edges,
lola: 8547800 markings, 36419346 edges,
lola: 8689940 markings, 37034342 edges,
lola: 8828774 markings, 37637447 edges,
lola: 8985098 markings, 38292350 edges,
lola: 9138733 markings, 38920416 edges,
lola: 9302900 markings, 39593022 edges,
lola: 9464122 markings, 40249519 edges,
lola: 9629808 markings, 40919808 edges,
lola: 9792048 markings, 41623744 edges,
lola: 9946690 markings, 42343814 edges,
lola: 10100046 markings, 43057171 edges,
lola: 10254987 markings, 43776373 edges,
lola: 10406031 markings, 44464567 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 13 will run for 331
lola: ======================================
lola: ...considering subproblem: MAX(TestAlone_4_3_0
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 60 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 172609 markings, 797131 edges,
lola: 340825 markings, 1616843 edges,
lola: 505457 markings, 2440263 edges,
lola: 671324 markings, 3272429 edges,
lola: 836015 markings, 4098497 edges,
lola: 998360 markings, 4917361 edges,
lola: 1160005 markings, 5726889 edges,
lola: 1321329 markings, 6528528 edges,
lola: 1482185 markings, 7328005 edges,
lola: 1643135 markings, 8128409 edges,
lola: 1803402 markings, 8934224 edges,
lola: 1964844 markings, 9746606 edges,
lola: 2125931 markings, 10544432 edges,
lola: 2284299 markings, 11335975 edges,
lola: 2441164 markings, 12128270 edges,
lola: 2599053 markings, 12917108 edges,
lola: 2758647 markings, 13706431 edges,
lola: 2918645 markings, 14521269 edges,
lola: 3076575 markings, 15307856 edges,
lola: 3232897 markings, 16082444 edges,
lola: 3389259 markings, 16859025 edges,
lola: 3544166 markings, 17644502 edges,
lola: 3699369 markings, 18420808 edges,
lola: 3851339 markings, 19256173 edges,
lola: 4014162 markings, 20068935 edges,
lola: 4171571 markings, 20857169 edges,
lola: 4329304 markings, 21646173 edges,
lola: 4487620 markings, 22437932 edges,
lola: 4648417 markings, 23241610 edges,
lola: 4810061 markings, 24049468 edges,
lola: 4971984 markings, 24859218 edges,
lola: 5129682 markings, 25647871 edges,
lola: 5285097 markings, 26424782 edges,
lola: 5439944 markings, 27199277 edges,
lola: 5592740 markings, 27963519 edges,
lola: 5748880 markings, 28743957 edges,
lola: 5905107 markings, 29525001 edges,
lola: 6063244 markings, 30316052 edges,
lola: 6222327 markings, 31110767 edges,
lola: 6375161 markings, 31874450 edges,
lola: 6527762 markings, 32637688 edges,
lola: 6679286 markings, 33395568 edges,
lola: 6829305 markings, 34145995 edges,
lola: 6980981 markings, 34904495 edges,
lola: 7135581 markings, 35677661 edges,
lola: 7290114 markings, 36449993 edges,
lola: 7443837 markings, 37218792 edges,
lola: 7603198 markings, 38014724 edges,
lola: 7757673 markings, 38787431 edges,
lola: 7913213 markings, 39565707 edges,
lola: 8065995 markings, 40329124 edges,
lola: 8218730 markings, 41093292 edges,
lola: 8374362 markings, 41871561 edges,
lola: 8531356 markings, 42656541 edges,
lola: 8684387 markings, 43420972 edges,
lola: 8834506 markings, 44172216 edges,
lola: 8987913 markings, 44938470 edges,
lola: 9144039 markings, 45719658 edges,
lola: 9298653 markings, 46492492 edges,
lola: 9453671 markings, 47267654 edges,
lola: 9608614 markings, 48040037 edges,
lola: 9763181 markings, 48814013 edges,
lola: 9915247 markings, 49574696 edges,
lola: 10070336 markings, 50348545 edges,
lola: 10221411 markings, 51104581 edges,
lola: 10370780 markings, 51852829 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 14 will run for 331
lola: ======================================
lola: ...considering subproblem: MAX(CS_0
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 60 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 187079 markings, 672454 edges,
lola: 366991 markings, 1388988 edges,
lola: 549180 markings, 2070369 edges,
lola: 728173 markings, 2775960 edges,
lola: 907942 markings, 3446116 edges,
lola: 1085900 markings, 4132834 edges,
lola: 1264174 markings, 4825484 edges,
lola: 1442838 markings, 5497482 edges,
lola: 1618743 markings, 6193780 edges,
lola: 1795922 markings, 6867870 edges,
lola: 1971478 markings, 7545003 edges,
lola: 2144001 markings, 8249116 edges,
lola: 2319648 markings, 8895740 edges,
lola: 2493780 markings, 9580525 edges,
lola: 2667334 markings, 10287575 edges,
lola: 2831629 markings, 10909278 edges,
lola: 2995277 markings, 11538299 edges,
lola: 3158473 markings, 12150205 edges,
lola: 3321883 markings, 12787033 edges,
lola: 3484106 markings, 13455668 edges,
lola: 3645918 markings, 14090033 edges,
lola: 3809073 markings, 14758811 edges,
lola: 3968747 markings, 15408519 edges,
lola: 4129380 markings, 16055951 edges,
lola: 4300980 markings, 16761455 edges,
lola: 4472631 markings, 17420282 edges,
lola: 4638526 markings, 18085082 edges,
lola: 4805854 markings, 18725737 edges,
lola: 4967294 markings, 19408000 edges,
lola: 5135075 markings, 20098184 edges,
lola: 5299461 markings, 20769171 edges,
lola: 5465553 markings, 21420547 edges,
lola: 5631644 markings, 22101034 edges,
lola: 5794312 markings, 22793686 edges,
lola: 5959253 markings, 23488702 edges,
lola: 6130805 markings, 24163702 edges,
lola: 6298311 markings, 24854980 edges,
lola: 6478262 markings, 25508934 edges,
lola: 6654260 markings, 26184047 edges,
lola: 6825018 markings, 26850762 edges,
lola: 6994166 markings, 27517806 edges,
lola: 7164953 markings, 28201615 edges,
lola: 7331125 markings, 28873917 edges,
lola: 7499873 markings, 29528508 edges,
lola: 7664516 markings, 30198601 edges,
lola: 7830769 markings, 30857328 edges,
lola: 7993720 markings, 31525903 edges,
lola: 8152714 markings, 32185936 edges,
lola: 8314945 markings, 32844898 edges,
lola: 8479458 markings, 33503213 edges,
lola: 8640019 markings, 34169384 edges,
lola: 8798834 markings, 34820025 edges,
lola: 8960358 markings, 35471331 edges,
lola: 9121339 markings, 36143800 edges,
lola: 9288661 markings, 36789728 edges,
lola: 9453962 markings, 37420992 edges,
lola: 9614873 markings, 38057352 edges,
lola: 9779352 markings, 38666642 edges,
lola: 9946896 markings, 39311727 edges,
lola: 10108011 markings, 39986001 edges,
lola: 10272752 markings, 40640561 edges,
lola: 10435273 markings, 41307404 edges,
lola: 10592260 markings, 41995085 edges,
lola: 10744210 markings, 42690006 edges,
lola: 10908758 markings, 43358134 edges,
lola: 11070749 markings, 44017712 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: subprocess 15 will run for 332
lola: ======================================
lola: ...considering subproblem: MAX(AskForSection_0_0
lola: ======================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder
lola: using 60 bytes per marking,
lola: using a prefix tree store (--store=p
lola: SEARCH
lola: using bound preserving stubborn
lola: RUNNING
lola: 184659 markings, 712533 edges,
lola: 364250 markings, 1428806 edges,
lola: 544125 markings, 2130792 edges,
lola: 721061 markings, 2839612 edges,
lola: 901129 markings, 3532644 edges,
lola: 1078306 markings, 4239761 edges,
lola: 1252729 markings, 4952753 edges,
lola: 1427600 markings, 5652185 edges,
lola: 1601241 markings, 6358813 edges,
lola: 1776844 markings, 7031873 edges,
lola: 1948716 markings, 7728893 edges,
lola: 2122608 markings, 8410061 edges,
lola: 2286839 markings, 9072554 edges,
lola: 2460723 markings, 9766245 edges,
lola: 2632834 markings, 10471183 edges,
lola: 2808678 markings, 11143833 edges,
lola: 2976228 markings, 11855846 edges,
lola: 3148845 markings, 12539725 edges,
lola: 3317366 markings, 13247568 edges,
lola: 3490227 markings, 13932270 edges,
lola: 3664963 markings, 14597838 edges,
lola: 3836513 markings, 15293881 edges,
lola: 4004145 markings, 15994238 edges,
lola: 4172959 markings, 16681612 edges,
lola: 4345296 markings, 17388730 edges,
lola: 4514435 markings, 18124086 edges,
lola: 4683699 markings, 18799806 edges,
lola: 4851635 markings, 19480228 edges,
lola: 5015386 markings, 20190333 edges,
lola: 5182224 markings, 20899179 edges,
lola: 5346981 markings, 21620496 edges,
lola: 5514655 markings, 22295734 edges,
lola: 5676511 markings, 23003611 edges,
lola: 5838256 markings, 23710479 edges,
lola: 5996368 markings, 24420397 edges,
lola: 6167914 markings, 25106684 edges,
lola: 6338227 markings, 25828001 edges,
lola: 6503815 markings, 26542505 edges,
lola: 6669278 markings, 27264082 edges,
lola: 6833308 markings, 27958521 edges,
lola: 6997002 markings, 28675389 edges,
lola: 7161239 markings, 29382248 edges,
lola: 7322618 markings, 30075490 edges,
lola: 7481588 markings, 30772968 edges,
lola: 7647478 markings, 31468122 edges,
lola: 7812310 markings, 32179826 edges,
lola: 7975504 markings, 32898398 edges,
lola: 8137007 markings, 33596341 edges,
lola: 8298429 markings, 34290076 edges,
lola: 8462197 markings, 35005401 edges,
lola: 8623753 markings, 35703632 edges,
lola: 8783588 markings, 36401608 edges,
lola: 8947313 markings, 37110731 edges,
lola: 9110251 markings, 37832668 edges,
lola: 9260768 markings, 38521503 edges,
lola: 9415908 markings, 39196795 edges,
lola: 9570593 markings, 39867383 edges,
lola: 9723881 markings, 40541009 edges,
lola: 9884142 markings, 41224480 edges,
lola: 10040059 markings, 41901871 edges,
lola: 10188570 markings, 42570713 edges,
lola: 10335743 markings, 43221111 edges,
lola: 10481628 markings, 43869923 edges,
lola: 10631474 markings, 44521591 edges,
lola: 10778949 markings, 45164984 edges,
lola: 10926567 markings, 45803728 edges,
lola: local time limit reached - aborting
lola: Child process aborted or communication
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown
FORMULA Peterson-COL-4-UpperBounds-0
FORMULA Peterson-COL-4-UpperBounds-1
FORMULA Peterson-COL-4-UpperBounds-2
FORMULA Peterson-COL-4-UpperBounds-3
FORMULA Peterson-COL-4-UpperBounds-4
FORMULA Peterson-COL-4-UpperBounds-5
FORMULA Peterson-COL-4-UpperBounds-6
FORMULA Peterson-COL-4-UpperBounds-7
FORMULA Peterson-COL-4-UpperBounds-8
FORMULA Peterson-COL-4-UpperBounds-9
FORMULA Peterson-COL-4-UpperBounds-10
FORMULA Peterson-COL-4-UpperBounds-11
FORMULA Peterson-COL-4-UpperBounds-12
FORMULA Peterson-COL-4-UpperBounds-13
FORMULA Peterson-COL-4-UpperBounds-14
FORMULA Peterson-COL-4-UpperBounds-15
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494502148335

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

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
============================================= is UpperBounds 6 ======================= by BenchKit (invocation template) values vector(from text file) at most (--timelimit) 0 collisions 461 significant places perBounds.task + TestIdentity_1_0_2 + TestIdentity_1_0_3 + TestIdentity_1_0_4 + TestIdentity_1_1_0 + TestIdentity_1_1_1 + TestIdentity_1_1_2 + TestIdentity_1_1_3 + TestIdentity_1_1_4 + TestIdentity_4_0_0 + TestIdentity_4_0_1 + TestIdentity_4_0_2 + TestIdentity_4_0_3 + TestIdentity_4_0_4 + TestIdentity_1_2_0 + TestIdentity_1_2_1 + TestIdentity_1_2_2 + TestIdentity_1_2_3 + TestIdentity_1_2_4 + TestIdentity_4_1_0 + TestIdentity_4_1_1 + TestIdentity_4_1_2 + TestIdentity_4_1_3 + TestIdentity_4_1_4 + TestIdentity_1_3_0 + TestIdentity_1_3_1 + TestIdentity_1_3_2 + TestIdentity_1_3_3 + TestIdentity_1_3_4 + TestIdentity_4_2_0 + TestIdentity_4_2_1 + TestIdentity_4_2_2 + TestIdentity_4_2_3 + TestIdentity_4_2_4 + TestIdentity_4_3_0 + TestIdentity_4_3_1 + TestIdentity_4_3_2 + TestIdentity_4_3_3 + TestIdentity_4_3_4 + TestIdentity_2_0_0 + TestIdentity_2_0_1 + TestIdentity_2_0_2 + TestIdentity_2_0_3 + TestIdentity_2_0_4 + TestIdentity_2_1_0 + TestIdentity_2_1_1 + TestIdentity_2_1_2 + TestIdentity_2_1_3 + TestIdentity_2_1_4 + TestIdentity_2_2_0 + TestIdentity_2_2_1 + TestIdentity_2_2_2 + TestIdentity_2_2_3 + TestIdentity_2_2_4 + TestIdentity_2_3_0 + TestIdentity_2_3_1 + TestIdentity_2_3_2 + TestIdentity_2_3_3 + TestIdentity_2_3_4 + TestIdentity_0_0_0 + TestIdentity_0_0_1 + TestIdentity_0_0_2 + TestIdentity_0_0_3 + TestIdentity_0_0_4 + TestIdentity_0_1_0 + TestIdentity_0_1_1 + TestIdentity_0_1_2 + TestIdentity_0_1_3 + TestIdentity_0_1_4 + TestIdentity_3_0_0 + TestIdentity_3_0_1 + TestIdentity_3_0_2 + TestIdentity_3_0_3 + TestIdentity_3_0_4 + TestIdentity_0_2_0 + TestIdentity_0_2_1 + TestIdentity_0_2_2 + TestIdentity_0_2_3 + TestIdentity_0_2_4 + TestIdentity_3_1_0 + TestIdentity_3_1_1 + TestIdentity_3_1_2 + TestIdentity_3_1_3 + TestIdentity_3_1_4 + TestIdentity_0_3_0 + TestIdentity_0_3_1 + TestIdentity_0_3_2 + TestIdentity_0_3_3 + TestIdentity_0_3_4 + TestIdentity_3_2_0 + TestIdentity_3_2_1 + TestIdentity_3_2_2 + TestIdentity_3_2_3 + TestIdentity_3_2_4 + TestIdentity_3_3_0 + TestIdentity_3_3_1 + TestIdentity_3_3_2 + TestIdentity_3_3_3 + TestIdentity_3_3_4) : MAX(TestIdentity_1_0_0 + TestIdentity_1_0_1 + TestIdentity_1_0_2 + TestIdentity_1_0_3 + TestIdentity_1_0_4 + TestIdentity_1_1_0 + TestIdentity_1_1_1 + TestIdentity_1_1_2 + TestIdentity_1_1_3 + TestIdentity_1_1_4 + TestIdentity_4_0_0 + TestIdentity_4_0_1 + TestIdentity_4_0_2 + TestIdentity_4_0_3 + TestIdentity_4_0_4 + TestIdentity_1_2_0 + TestIdentity_1_2_1 + TestIdentity_1_2_2 + TestIdentity_1_2_3 + TestIdentity_1_2_4 + TestIdentity_4_1_0 + TestIdentity_4_1_1 + TestIdentity_4_1_2 + TestIdentity_4_1_3 + TestIdentity_4_1_4 + TestIdentity_1_3_0 + TestIdentity_1_3_1 + TestIdentity_1_3_2 + TestIdentity_1_3_3 + TestIdentity_1_3_4 + TestIdentity_4_2_0 + TestIdentity_4_2_1 + TestIdentity_4_2_2 + TestIdentity_4_2_3 + TestIdentity_4_2_4 + TestIdentity_4_3_0 + TestIdentity_4_3_1 + TestIdentity_4_3_2 + TestIdentity_4_3_3 + TestIdentity_4_3_4 + TestIdentity_2_0_0 + TestIdentity_2_0_1 + TestIdentity_2_0_2 + TestIdentity_2_0_3 + TestIdentity_2_0_4 + TestIdentity_2_1_0 + TestIdentity_2_1_1 + TestIdentity_2_1_2 + TestIdentity_2_1_3 + TestIdentity_2_1_4 + TestIdentity_2_2_0 + TestIdentity_2_2_1 + TestIdentity_2_2_2 + TestIdentity_2_2_3 + TestIdentity_2_2_4 + TestIdentity_2_3_0 + TestIdentity_2_3_1 + TestIdentity_2_3_2 + TestIdentity_2_3_3 + TestIdentity_2_3_4 + TestIdentity_0_0_0 + TestIdentity_0_0_1 + TestIdentity_0_0_2 + TestIdentity_0_0_3 + TestIdentity_0_0_4 + TestIdentity_0_1_0 + TestIdentity_0_1_1 + TestIdentity_0_1_2 + TestIdentity_0_1_3 + TestIdentity_0_1_4 + TestIdentity_3_0_0 + TestIdentity_3_0_1 + TestIdentity_3_0_2 + TestIdentity_3_0_3 + TestIdentity_3_0_4 + TestIdentity_0_2_0 + TestIdentity_0_2_1 + TestIdentity_0_2_2 + TestIdentity_0_2_3 + TestIdentity_0_2_4 + TestIdentity_3_1_0 + TestIdentity_3_1_1 + TestIdentity_3_1_2 + TestIdentity_3_1_3 + TestIdentity_3_1_4 + TestIdentity_0_3_0 + TestIdentity_0_3_1 + TestIdentity_0_3_2 + TestIdentity_0_3_3 + TestIdentity_0_3_4 + TestIdentity_3_2_0 + TestIdentity_3_2_1 + TestIdentity_3_2_2 + TestIdentity_3_2_3 + TestIdentity_3_2_4 + TestIdentity_3_3_0 + TestIdentity_3_3_1 + TestIdentity_3_3_2 + TestIdentity_3_3_3 + TestIdentity_3_3_4) : MAX(AskForSection_0_0 + AskForSection_0_1 + AskForSection_0_2 + AskForSection_0_3 + AskForSection_1_0 + AskForSection_1_1 + AskForSection_1_2 + AskForSection_1_3 + AskForSection_2_0 + AskForSection_2_1 + AskForSection_2_2 + AskForSection_2_3 + AskForSection_3_0 + AskForSection_3_1 + AskForSection_3_2 + AskForSection_3_3 + AskForSection_4_3 + AskForSection_4_0 + AskForSection_4_1 + AskForSection_4_2) : MAX(TestAlone_4_3_0 + TestAlone_4_3_1 + TestAlone_4_3_2 + TestAlone_4_3_3 + TestAlone_2_0_0 + TestAlone_2_0_1 + TestAlone_2_0_3 + TestAlone_2_0_4 + TestAlone_2_1_0 + TestAlone_2_1_1 + TestAlone_2_1_3 + TestAlone_2_1_4 + TestAlone_2_2_0 + TestAlone_2_2_1 + TestAlone_2_2_3 + TestAlone_2_2_4 + TestAlone_2_3_0 + TestAlone_2_3_1 + TestAlone_2_3_3 + TestAlone_2_3_4 + TestAlone_0_0_1 + TestAlone_0_0_2 + TestAlone_0_0_3 + TestAlone_0_0_4 + TestAlone_0_1_1 + TestAlone_0_1_2 + TestAlone_0_1_3 + TestAlone_0_1_4 + TestAlone_3_0_0 + TestAlone_3_0_1 + TestAlone_3_0_2 + TestAlone_3_0_4 + TestAlone_4_2_2 + TestAlone_0_2_1 + TestAlone_0_2_2 + TestAlone_0_2_3 + TestAlone_0_2_4 + TestAlone_3_1_0 + TestAlone_3_1_1 + TestAlone_3_1_2 + TestAlone_3_1_4 + TestAlone_4_2_1 + TestAlone_4_2_0 + TestAlone_0_3_1 + TestAlone_0_3_2 + TestAlone_0_3_3 + TestAlone_0_3_4 + TestAlone_3_2_0 + TestAlone_3_2_1 + TestAlone_3_2_2 + TestAlone_3_2_4 + TestAlone_3_3_0 + TestAlone_3_3_1 + TestAlone_3_3_2 + TestAlone_3_3_4 + TestAlone_1_0_0 + TestAlone_1_0_2 + TestAlone_1_0_3 + TestAlone_1_0_4 + TestAlone_1_1_0 + TestAlone_1_1_2 + TestAlone_1_1_3 + TestAlone_1_1_4 + TestAlone_4_0_0 + TestAlone_4_0_1 + TestAlone_4_0_2 + TestAlone_4_0_3 + TestAlone_1_2_0 + TestAlone_1_2_2 + TestAlone_1_2_3 + TestAlone_1_2_4 + TestAlone_4_1_0 + TestAlone_4_1_1 + TestAlone_4_1_2 + TestAlone_4_1_3 + TestAlone_1_3_0 + TestAlone_1_3_2 + TestAlone_1_3_3 + TestAlone_1_3_4 + TestAlone_4_2_3) : MAX(WantSection_4_T + WantSection_4_F + WantSection_3_T + WantSection_3_F + WantSection_2_T + WantSection_2_F + WantSection_1_T + WantSection_1_F + WantSection_0_T + WantSection_0_F) : MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4) : MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4) : MAX(TestAlone_4_3_0 + TestAlone_4_3_1 + TestAlone_4_3_2 + TestAlone_4_3_3 + TestAlone_2_0_0 + TestAlone_2_0_1 + TestAlone_2_0_3 + TestAlone_2_0_4 + TestAlone_2_1_0 + TestAlone_2_1_1 + TestAlone_2_1_3 + TestAlone_2_1_4 + TestAlone_2_2_0 + TestAlone_2_2_1 + TestAlone_2_2_3 + TestAlone_2_2_4 + TestAlone_2_3_0 + TestAlone_2_3_1 + TestAlone_2_3_3 + TestAlone_2_3_4 + TestAlone_0_0_1 + TestAlone_0_0_2 + TestAlone_0_0_3 + TestAlone_0_0_4 + TestAlone_0_1_1 + TestAlone_0_1_2 + TestAlone_0_1_3 + TestAlone_0_1_4 + TestAlone_3_0_0 + TestAlone_3_0_1 + TestAlone_3_0_2 + TestAlone_3_0_4 + TestAlone_4_2_2 + TestAlone_0_2_1 + TestAlone_0_2_2 + TestAlone_0_2_3 + TestAlone_0_2_4 + TestAlone_3_1_0 + TestAlone_3_1_1 + TestAlone_3_1_2 + TestAlone_3_1_4 + TestAlone_4_2_1 + TestAlone_4_2_0 + TestAlone_0_3_1 + TestAlone_0_3_2 + TestAlone_0_3_3 + TestAlone_0_3_4 + TestAlone_3_2_0 + TestAlone_3_2_1 + TestAlone_3_2_2 + TestAlone_3_2_4 + TestAlone_3_3_0 + TestAlone_3_3_1 + TestAlone_3_3_2 + TestAlone_3_3_4 + TestAlone_1_0_0 + TestAlone_1_0_2 + TestAlone_1_0_3 + TestAlone_1_0_4 + TestAlone_1_1_0 + TestAlone_1_1_2 + TestAlone_1_1_3 + TestAlone_1_1_4 + TestAlone_4_0_0 + TestAlone_4_0_1 + TestAlone_4_0_2 + TestAlone_4_0_3 + TestAlone_1_2_0 + TestAlone_1_2_2 + TestAlone_1_2_3 + TestAlone_1_2_4 + TestAlone_4_1_0 + TestAlone_4_1_1 + TestAlone_4_1_2 + TestAlone_4_1_3 + TestAlone_1_3_0 + TestAlone_1_3_2 + TestAlone_1_3_3 + TestAlone_1_3_4 + TestAlone_4_2_3) : MAX(Turn_2_0 + Turn_2_1 + Turn_2_2 + Turn_2_3 + Turn_3_0 + Turn_3_1 + Turn_3_2 + Turn_3_3 + Turn_1_3 + Turn_1_2 + Turn_1_1 + Turn_1_0 + Turn_0_0 + Turn_0_1 + Turn_0_2 + Turn_0_3 + Turn_0_4 + Turn_1_4 + Turn_3_4 + Turn_2_4) : MAX(TestIdentity_1_0_0 + TestIdentity_1_0_1 + TestIdentity_1_0_2 + TestIdentity_1_0_3 + TestIdentity_1_0_4 + TestIdentity_1_1_0 + TestIdentity_1_1_1 + TestIdentity_1_1_2 + TestIdentity_1_1_3 + TestIdentity_1_1_4 + TestIdentity_4_0_0 + TestIdentity_4_0_1 + TestIdentity_4_0_2 + TestIdentity_4_0_3 + TestIdentity_4_0_4 + TestIdentity_1_2_0 + TestIdentity_1_2_1 + TestIdentity_1_2_2 + TestIdentity_1_2_3 + TestIdentity_1_2_4 + TestIdentity_4_1_0 + TestIdentity_4_1_1 + TestIdentity_4_1_2 + TestIdentity_4_1_3 + TestIdentity_4_1_4 + TestIdentity_1_3_0 + TestIdentity_1_3_1 + TestIdentity_1_3_2 + TestIdentity_1_3_3 + TestIdentity_1_3_4 + TestIdentity_4_2_0 + TestIdentity_4_2_1 + TestIdentity_4_2_2 + TestIdentity_4_2_3 + TestIdentity_4_2_4 + TestIdentity_4_3_0 + TestIdentity_4_3_1 + TestIdentity_4_3_2 + TestIdentity_4_3_3 + TestIdentity_4_3_4 + TestIdentity_2_0_0 + TestIdentity_2_0_1 + TestIdentity_2_0_2 + TestIdentity_2_0_3 + TestIdentity_2_0_4 + TestIdentity_2_1_0 + TestIdentity_2_1_1 + TestIdentity_2_1_2 + TestIdentity_2_1_3 + TestIdentity_2_1_4 + TestIdentity_2_2_0 + TestIdentity_2_2_1 + TestIdentity_2_2_2 + TestIdentity_2_2_3 + TestIdentity_2_2_4 + TestIdentity_2_3_0 + TestIdentity_2_3_1 + TestIdentity_2_3_2 + TestIdentity_2_3_3 + TestIdentity_2_3_4 + TestIdentity_0_0_0 + TestIdentity_0_0_1 + TestIdentity_0_0_2 + TestIdentity_0_0_3 + TestIdentity_0_0_4 + TestIdentity_0_1_0 + TestIdentity_0_1_1 + TestIdentity_0_1_2 + TestIdentity_0_1_3 + TestIdentity_0_1_4 + TestIdentity_3_0_0 + TestIdentity_3_0_1 + TestIdentity_3_0_2 + TestIdentity_3_0_3 + TestIdentity_3_0_4 + TestIdentity_0_2_0 + TestIdentity_0_2_1 + TestIdentity_0_2_2 + TestIdentity_0_2_3 + TestIdentity_0_2_4 + TestIdentity_3_1_0 + TestIdentity_3_1_1 + TestIdentity_3_1_2 + TestIdentity_3_1_3 + TestIdentity_3_1_4 + TestIdentity_0_3_0 + TestIdentity_0_3_1 + TestIdentity_0_3_2 + TestIdentity_0_3_3 + TestIdentity_0_3_4 + TestIdentity_3_2_0 + TestIdentity_3_2_1 + TestIdentity_3_2_2 + TestIdentity_3_2_3 + TestIdentity_3_2_4 + TestIdentity_3_3_0 + TestIdentity_3_3_1 + TestIdentity_3_3_2 + TestIdentity_3_3_3 + TestIdentity_3_3_4) : MAX(Turn_2_0 + Turn_2_1 + Turn_2_2 + Turn_2_3 + Turn_3_0 + Turn_3_1 + Turn_3_2 + Turn_3_3 + Turn_1_3 + Turn_1_2 + Turn_1_1 + Turn_1_0 + Turn_0_0 + Turn_0_1 + Turn_0_2 + Turn_0_3 + Turn_0_4 + Turn_1_4 + Turn_3_4 + Turn_2_4) : MAX(TestTurn_0_0 + TestTurn_0_1 + TestTurn_0_2 + TestTurn_0_3 + TestTurn_1_0 + TestTurn_1_1 + TestTurn_1_2 + TestTurn_1_3 + TestTurn_2_0 + TestTurn_2_1 + TestTurn_2_2 + TestTurn_2_3 + TestTurn_3_0 + TestTurn_3_1 + TestTurn_3_2 + TestTurn_3_3 + TestTurn_4_0 + TestTurn_4_1 + TestTurn_4_2 + TestTurn_4_3) : MAX(IsEndLoop_0_0_0 + IsEndLoop_0_0_1 + IsEndLoop_0_0_2 + IsEndLoop_0_0_3 + IsEndLoop_0_0_4 + IsEndLoop_0_1_0 + IsEndLoop_0_1_1 + IsEndLoop_0_1_2 + IsEndLoop_0_1_3 + IsEndLoop_0_1_4 + IsEndLoop_3_0_0 + IsEndLoop_3_0_1 + IsEndLoop_3_0_2 + IsEndLoop_3_0_3 + IsEndLoop_3_0_4 + IsEndLoop_0_2_0 + IsEndLoop_0_2_1 + IsEndLoop_0_2_2 + IsEndLoop_0_2_3 + IsEndLoop_0_2_4 + IsEndLoop_3_1_0 + IsEndLoop_3_1_1 + IsEndLoop_3_1_2 + IsEndLoop_3_1_3 + IsEndLoop_3_1_4 + IsEndLoop_0_3_0 + IsEndLoop_0_3_1 + IsEndLoop_0_3_2 + IsEndLoop_0_3_3 + IsEndLoop_0_3_4 + IsEndLoop_3_2_0 + IsEndLoop_3_2_1 + IsEndLoop_3_2_2 + IsEndLoop_3_2_3 + IsEndLoop_3_2_4 + IsEndLoop_3_3_0 + IsEndLoop_3_3_1 + IsEndLoop_3_3_2 + IsEndLoop_3_3_3 + IsEndLoop_3_3_4 + IsEndLoop_1_0_0 + IsEndLoop_1_0_1 + IsEndLoop_1_0_2 + IsEndLoop_1_0_3 + IsEndLoop_1_0_4 + IsEndLoop_1_1_0 + IsEndLoop_1_1_1 + IsEndLoop_1_1_2 + IsEndLoop_1_1_3 + IsEndLoop_1_1_4 + IsEndLoop_4_0_0 + IsEndLoop_4_0_1 + IsEndLoop_4_0_2 + IsEndLoop_4_0_3 + IsEndLoop_4_0_4 + IsEndLoop_1_2_0 + IsEndLoop_1_2_1 + IsEndLoop_1_2_2 + IsEndLoop_1_2_3 + IsEndLoop_1_2_4 + IsEndLoop_4_1_0 + IsEndLoop_4_1_1 + IsEndLoop_4_1_2 + IsEndLoop_4_1_3 + IsEndLoop_4_1_4 + IsEndLoop_1_3_0 + IsEndLoop_1_3_1 + IsEndLoop_1_3_2 + IsEndLoop_1_3_3 + IsEndLoop_1_3_4 + IsEndLoop_4_2_0 + IsEndLoop_4_2_1 + IsEndLoop_4_2_2 + IsEndLoop_4_2_3 + IsEndLoop_4_2_4 + IsEndLoop_4_3_0 + IsEndLoop_4_3_1 + IsEndLoop_4_3_2 + IsEndLoop_4_3_3 + IsEndLoop_4_3_4 + IsEndLoop_2_0_0 + IsEndLoop_2_0_1 + IsEndLoop_2_0_2 + IsEndLoop_2_0_3 + IsEndLoop_2_0_4 + IsEndLoop_2_1_0 + IsEndLoop_2_1_1 + IsEndLoop_2_1_2 + IsEndLoop_2_1_3 + IsEndLoop_2_1_4 + IsEndLoop_2_2_0 + IsEndLoop_2_2_1 + IsEndLoop_2_2_2 + IsEndLoop_2_2_3 + IsEndLoop_2_2_4 + IsEndLoop_2_3_0 + IsEndLoop_2_3_1 + IsEndLoop_2_3_2 + IsEndLoop_2_3_3 + IsEndLoop_2_3_4) : MAX(TestAlone_4_3_0 + TestAlone_4_3_1 + TestAlone_4_3_2 + TestAlone_4_3_3 + TestAlone_2_0_0 + TestAlone_2_0_1 + TestAlone_2_0_3 + TestAlone_2_0_4 + TestAlone_2_1_0 + TestAlone_2_1_1 + TestAlone_2_1_3 + TestAlone_2_1_4 + TestAlone_2_2_0 + TestAlone_2_2_1 + TestAlone_2_2_3 + TestAlone_2_2_4 + TestAlone_2_3_0 + TestAlone_2_3_1 + TestAlone_2_3_3 + TestAlone_2_3_4 + TestAlone_0_0_1 + TestAlone_0_0_2 + TestAlone_0_0_3 + TestAlone_0_0_4 + TestAlone_0_1_1 + TestAlone_0_1_2 + TestAlone_0_1_3 + TestAlone_0_1_4 + TestAlone_3_0_0 + TestAlone_3_0_1 + TestAlone_3_0_2 + TestAlone_3_0_4 + TestAlone_4_2_2 + TestAlone_0_2_1 + TestAlone_0_2_2 + TestAlone_0_2_3 + TestAlone_0_2_4 + TestAlone_3_1_0 + TestAlone_3_1_1 + TestAlone_3_1_2 + TestAlone_3_1_4 + TestAlone_4_2_1 + TestAlone_4_2_0 + TestAlone_0_3_1 + TestAlone_0_3_2 + TestAlone_0_3_3 + TestAlone_0_3_4 + TestAlone_3_2_0 + TestAlone_3_2_1 + TestAlone_3_2_2 + TestAlone_3_2_4 + TestAlone_3_3_0 + TestAlone_3_3_1 + TestAlone_3_3_2 + TestAlone_3_3_4 + TestAlone_1_0_0 + TestAlone_1_0_2 + TestAlone_1_0_3 + TestAlone_1_0_4 + TestAlone_1_1_0 + TestAlone_1_1_2 + TestAlone_1_1_3 + TestAlone_1_1_4 + TestAlone_4_0_0 + TestAlone_4_0_1 + TestAlone_4_0_2 + TestAlone_4_0_3 + TestAlone_1_2_0 + TestAlone_1_2_2 + TestAlone_1_2_3 + TestAlone_1_2_4 + TestAlone_4_1_0 + TestAlone_4_1_1 + TestAlone_4_1_2 + TestAlone_4_1_3 + TestAlone_1_3_0 + TestAlone_1_3_2 + TestAlone_1_3_3 + TestAlone_1_3_4 + TestAlone_4_2_3) : MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4) : MAX(AskForSection_0_0 + AskForSection_0_1 + AskForSection_0_2 + AskForSection_0_3 + AskForSection_1_0 + AskForSection_1_1 + AskForSection_1_2 + AskForSection_1_3 + AskForSection_2_0 + AskForSection_2_1 + AskForSection_2_2 + AskForSection_2_3 + AskForSection_3_0 + AskForSection_3_1 + AskForSection_3_2 + AskForSection_3_3 + AskForSection_4_3 + AskForSection_4_0 + AskForSection_4_1 + AskForSection_4_2) seconds at most (--localtimelimit=-1) == + TestIdentity_1_0_1 + TestIdentity_1_0_2 + TestIdentity_1_0_3 + TestIdentity_1_0_4 + TestIdentity_1_1_0 + TestIdentity_1_1_1 + TestIdentity_1_1_2 + TestIdentity_1_1_3 + TestIdentity_1_1_4 + TestIdentity_4_0_0 + TestIdentity_4_0_1 + TestIdentity_4_0_2 + TestIdentity_4_0_3 + TestIdentity_4_0_4 + TestIdentity_1_2_0 + TestIdentity_1_2_1 + TestIdentity_1_2_2 + TestIdentity_1_2_3... (shortened) == (--encoder=bit) with 19 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 34071 markings/sec, 0 secs 33358 markings/sec, 5 secs 33133 markings/sec, 10 secs 32725 markings/sec, 15 secs 32616 markings/sec, 20 secs 31991 markings/sec, 25 secs 32237 markings/sec, 30 secs 31936 markings/sec, 35 secs 31734 markings/sec, 40 secs 31590 markings/sec, 45 secs 31977 markings/sec, 50 secs 32158 markings/sec, 55 secs 32152 markings/sec, 60 secs 32082 markings/sec, 65 secs 31480 markings/sec, 70 secs 31900 markings/sec, 75 secs 31333 markings/sec, 80 secs 30752 markings/sec, 85 secs 32679 markings/sec, 90 secs 30674 markings/sec, 95 secs 30724 markings/sec, 100 secs 30754 markings/sec, 105 secs 31442 markings/sec, 110 secs 29399 markings/sec, 115 secs 32151 markings/sec, 120 secs 32153 markings/sec, 125 secs 31613 markings/sec, 130 secs 31881 markings/sec, 135 secs 31819 markings/sec, 140 secs 31392 markings/sec, 145 secs 31050 markings/sec, 150 secs 31018 markings/sec, 155 secs 31129 markings/sec, 160 secs 31595 markings/sec, 165 secs 31509 markings/sec, 170 secs 30606 markings/sec, 175 secs 30824 markings/sec, 180 secs 30561 markings/sec, 185 secs 30226 markings/sec, 190 secs 30546 markings/sec, 195 secs 30646 markings/sec, 200 secs 31604 markings/sec, 205 secs 30663 markings/sec, 210 secs 31074 markings/sec, 215 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + TestIdentity_1_0_1 + TestIdentity_1_0_2 + TestIdentity_1_0_3 + TestIdentity_1_0_4 + TestIdentity_1_1_0 + TestIdentity_1_1_1 + TestIdentity_1_1_2 + TestIdentity_1_1_3 + TestIdentity_1_1_4 + TestIdentity_4_0_0 + TestIdentity_4_0_1 + TestIdentity_4_0_2 + TestIdentity_4_0_3 + TestIdentity_4_0_4 + TestIdentity_1_2_0 + TestIdentity_1_2_1 + TestIdentity_1_2_2 + TestIdentity_1_2_3... (shortened) == (--encoder=bit) with 19 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 33958 markings/sec, 0 secs 33316 markings/sec, 5 secs 33056 markings/sec, 10 secs 32633 markings/sec, 15 secs 32501 markings/sec, 20 secs 31877 markings/sec, 25 secs 32161 markings/sec, 30 secs 31854 markings/sec, 35 secs 31610 markings/sec, 40 secs 31505 markings/sec, 45 secs 30937 markings/sec, 50 secs 30815 markings/sec, 55 secs 32624 markings/sec, 60 secs 32094 markings/sec, 65 secs 31502 markings/sec, 70 secs 31891 markings/sec, 75 secs 31254 markings/sec, 80 secs 29356 markings/sec, 85 secs 31460 markings/sec, 90 secs 29465 markings/sec, 95 secs 29453 markings/sec, 100 secs 29600 markings/sec, 105 secs 29710 markings/sec, 110 secs 29543 markings/sec, 115 secs 29018 markings/sec, 120 secs 31137 markings/sec, 125 secs 30537 markings/sec, 130 secs 30476 markings/sec, 135 secs 30325 markings/sec, 140 secs 30744 markings/sec, 145 secs 29927 markings/sec, 150 secs 29840 markings/sec, 155 secs 29761 markings/sec, 160 secs 30078 markings/sec, 165 secs 30553 markings/sec, 170 secs 30213 markings/sec, 175 secs 29351 markings/sec, 180 secs 29631 markings/sec, 185 secs 29305 markings/sec, 190 secs 29026 markings/sec, 195 secs 29365 markings/sec, 200 secs 29507 markings/sec, 205 secs 30184 markings/sec, 210 secs 29516 markings/sec, 215 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + AskForSection_0_1 + AskForSection_0_2 + AskForSection_0_3 + AskForSection_1_0 + AskForSection_1_1 + AskForSection_1_2 + AskForSection_1_3 + AskForSection_2_0 + AskForSection_2_1 + AskForSection_2_2 + AskForSection_2_3 + AskForSection_3_0 + AskForSection_3_1 + AskForSection_3_2 + AskForSection_3_3 + AskForSection_4_3 + AskForSection_4_0 + AskForSection_4_1 + AskForSection_4_... (shortened) == (--encoder=bit) with 19 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 35250 markings/sec, 0 secs 34379 markings/sec, 5 secs 34501 markings/sec, 10 secs 33751 markings/sec, 15 secs 34502 markings/sec, 20 secs 33986 markings/sec, 25 secs 33711 markings/sec, 30 secs 33174 markings/sec, 35 secs 32960 markings/sec, 40 secs 33830 markings/sec, 45 secs 33774 markings/sec, 50 secs 32701 markings/sec, 55 secs 32683 markings/sec, 60 secs 32933 markings/sec, 65 secs 33231 markings/sec, 70 secs 32920 markings/sec, 75 secs 34001 markings/sec, 80 secs 33585 markings/sec, 85 secs 34176 markings/sec, 90 secs 33863 markings/sec, 95 secs 34427 markings/sec, 100 secs 34750 markings/sec, 105 secs 34004 markings/sec, 110 secs 33286 markings/sec, 115 secs 33414 markings/sec, 120 secs 34794 markings/sec, 125 secs 33464 markings/sec, 130 secs 33351 markings/sec, 135 secs 33105 markings/sec, 140 secs 32521 markings/sec, 145 secs 33562 markings/sec, 150 secs 33068 markings/sec, 155 secs 33042 markings/sec, 160 secs 32270 markings/sec, 165 secs 31869 markings/sec, 170 secs 32198 markings/sec, 175 secs 34335 markings/sec, 180 secs 33560 markings/sec, 185 secs 32894 markings/sec, 190 secs 32844 markings/sec, 195 secs 32559 markings/sec, 200 secs 32650 markings/sec, 205 secs 32601 markings/sec, 210 secs 32000 markings/sec, 215 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + TestAlone_4_3_1 + TestAlone_4_3_2 + TestAlone_4_3_3 + TestAlone_2_0_0 + TestAlone_2_0_1 + TestAlone_2_0_3 + TestAlone_2_0_4 + TestAlone_2_1_0 + TestAlone_2_1_1 + TestAlone_2_1_3 + TestAlone_2_1_4 + TestAlone_2_2_0 + TestAlone_2_2_1 + TestAlone_2_2_3 + TestAlone_2_2_4 + TestAlone_2_3_0 + TestAlone_2_3_1 + TestAlone_2_3_3 + TestAlone_2_3_4 + TestAlone_0_0_1 + TestAlone_0_0_2 + ... (shortened) == (--encoder=bit) with 19 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 34073 markings/sec, 0 secs 33815 markings/sec, 5 secs 33021 markings/sec, 10 secs 33253 markings/sec, 15 secs 33044 markings/sec, 20 secs 32624 markings/sec, 25 secs 32474 markings/sec, 30 secs 32406 markings/sec, 35 secs 32195 markings/sec, 40 secs 32086 markings/sec, 45 secs 32331 markings/sec, 50 secs 32423 markings/sec, 55 secs 32293 markings/sec, 60 secs 31798 markings/sec, 65 secs 31382 markings/sec, 70 secs 31692 markings/sec, 75 secs 32011 markings/sec, 80 secs 32060 markings/sec, 85 secs 31632 markings/sec, 90 secs 31403 markings/sec, 95 secs 31405 markings/sec, 100 secs 31070 markings/sec, 105 secs 31176 markings/sec, 110 secs 30627 markings/sec, 115 secs 32566 markings/sec, 120 secs 31511 markings/sec, 125 secs 31711 markings/sec, 130 secs 31748 markings/sec, 135 secs 32058 markings/sec, 140 secs 32456 markings/sec, 145 secs 32553 markings/sec, 150 secs 31445 markings/sec, 155 secs 31164 markings/sec, 160 secs 30976 markings/sec, 165 secs 30665 markings/sec, 170 secs 31174 markings/sec, 175 secs 31362 markings/sec, 180 secs 31668 markings/sec, 185 secs 31632 markings/sec, 190 secs 29158 markings/sec, 195 secs 29060 markings/sec, 200 secs 29008 markings/sec, 205 secs 28597 markings/sec, 210 secs 28858 markings/sec, 215 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + WantSection_4_F + WantSection_3_T + WantSection_3_F + WantSection_2_T + WantSection_2_F + WantSection_1_T + WantSection_1_F + WantSection_0_T + WantSection_0_F) == (--encoder=bit) with 19 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) expression is 5 seconds at most (--localtimelimit=-1) == + CS_1 + CS_2 + CS_3 + CS_4) == (--encoder=bit) with 19 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 35933 markings/sec, 0 secs 34506 markings/sec, 5 secs 34882 markings/sec, 10 secs 34758 markings/sec, 15 secs 34033 markings/sec, 20 secs 34413 markings/sec, 25 secs 33830 markings/sec, 30 secs 34239 markings/sec, 35 secs 34108 markings/sec, 40 secs 33541 markings/sec, 45 secs 34934 markings/sec, 50 secs 35232 markings/sec, 55 secs 34515 markings/sec, 60 secs 34844 markings/sec, 65 secs 34499 markings/sec, 70 secs 35128 markings/sec, 75 secs 34877 markings/sec, 80 secs 34716 markings/sec, 85 secs 34978 markings/sec, 90 secs 34729 markings/sec, 95 secs 34664 markings/sec, 100 secs 34635 markings/sec, 105 secs 34182 markings/sec, 110 secs 34248 markings/sec, 115 secs 34708 markings/sec, 120 secs 34363 markings/sec, 125 secs 33462 markings/sec, 130 secs 34241 markings/sec, 135 secs 33467 markings/sec, 140 secs 34016 markings/sec, 145 secs 33633 markings/sec, 150 secs 33695 markings/sec, 155 secs 33486 markings/sec, 160 secs 32292 markings/sec, 165 secs 33928 markings/sec, 170 secs 34080 markings/sec, 175 secs 33979 markings/sec, 180 secs 35957 markings/sec, 185 secs 35126 markings/sec, 190 secs 34281 markings/sec, 195 secs 34045 markings/sec, 200 secs 34230 markings/sec, 205 secs 33327 markings/sec, 210 secs 33853 markings/sec, 215 secs 33265 markings/sec, 220 secs 33062 markings/sec, 225 secs 32759 markings/sec, 230 secs 32270 markings/sec, 235 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + CS_1 + CS_2 + CS_3 + CS_4) == (--encoder=bit) with 19 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 37459 markings/sec, 0 secs 36076 markings/sec, 5 secs 36493 markings/sec, 10 secs 35800 markings/sec, 15 secs 35843 markings/sec, 20 secs 35510 markings/sec, 25 secs 35543 markings/sec, 30 secs 35676 markings/sec, 35 secs 35133 markings/sec, 40 secs 35408 markings/sec, 45 secs 34982 markings/sec, 50 secs 34406 markings/sec, 55 secs 34996 markings/sec, 60 secs 34694 markings/sec, 65 secs 34624 markings/sec, 70 secs 34912 markings/sec, 75 secs 34878 markings/sec, 80 secs 34633 markings/sec, 85 secs 34534 markings/sec, 90 secs 34632 markings/sec, 95 secs 34033 markings/sec, 100 secs 34738 markings/sec, 105 secs 33953 markings/sec, 110 secs 33646 markings/sec, 115 secs 32573 markings/sec, 120 secs 32531 markings/sec, 125 secs 31457 markings/sec, 130 secs 32562 markings/sec, 135 secs 31457 markings/sec, 140 secs 32182 markings/sec, 145 secs 31693 markings/sec, 150 secs 31799 markings/sec, 155 secs 31972 markings/sec, 160 secs 30775 markings/sec, 165 secs 31719 markings/sec, 170 secs 32535 markings/sec, 175 secs 31946 markings/sec, 180 secs 34092 markings/sec, 185 secs 33095 markings/sec, 190 secs 32856 markings/sec, 195 secs 32513 markings/sec, 200 secs 32384 markings/sec, 205 secs 31907 markings/sec, 210 secs 31584 markings/sec, 215 secs 31800 markings/sec, 220 secs 30696 markings/sec, 225 secs 31133 markings/sec, 230 secs 30690 markings/sec, 235 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + TestAlone_4_3_1 + TestAlone_4_3_2 + TestAlone_4_3_3 + TestAlone_2_0_0 + TestAlone_2_0_1 + TestAlone_2_0_3 + TestAlone_2_0_4 + TestAlone_2_1_0 + TestAlone_2_1_1 + TestAlone_2_1_3 + TestAlone_2_1_4 + TestAlone_2_2_0 + TestAlone_2_2_1 + TestAlone_2_2_3 + TestAlone_2_2_4 + TestAlone_2_3_0 + TestAlone_2_3_1 + TestAlone_2_3_3 + TestAlone_2_3_4 + TestAlone_0_0_1 + TestAlone_0_0_2 + ... (shortened) == (--encoder=bit) with 19 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 32769 markings/sec, 0 secs 32044 markings/sec, 5 secs 31740 markings/sec, 10 secs 31641 markings/sec, 15 secs 31525 markings/sec, 20 secs 30961 markings/sec, 25 secs 31063 markings/sec, 30 secs 30774 markings/sec, 35 secs 30672 markings/sec, 40 secs 30509 markings/sec, 45 secs 30477 markings/sec, 50 secs 29939 markings/sec, 55 secs 31544 markings/sec, 60 secs 29763 markings/sec, 65 secs 30550 markings/sec, 70 secs 29374 markings/sec, 75 secs 30624 markings/sec, 80 secs 29911 markings/sec, 85 secs 31567 markings/sec, 90 secs 30076 markings/sec, 95 secs 29891 markings/sec, 100 secs 29876 markings/sec, 105 secs 29623 markings/sec, 110 secs 29630 markings/sec, 115 secs 28739 markings/sec, 120 secs 31226 markings/sec, 125 secs 30148 markings/sec, 130 secs 30012 markings/sec, 135 secs 30001 markings/sec, 140 secs 30710 markings/sec, 145 secs 30773 markings/sec, 150 secs 30660 markings/sec, 155 secs 30965 markings/sec, 160 secs 28301 markings/sec, 165 secs 28267 markings/sec, 170 secs 29431 markings/sec, 175 secs 27990 markings/sec, 180 secs 28379 markings/sec, 185 secs 29722 markings/sec, 190 secs 30127 markings/sec, 195 secs 29241 markings/sec, 200 secs 28435 markings/sec, 205 secs 27953 markings/sec, 210 secs 28893 markings/sec, 215 secs 28373 markings/sec, 220 secs 27661 markings/sec, 225 secs 28873 markings/sec, 230 secs 29710 markings/sec, 235 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + Turn_2_1 + Turn_2_2 + Turn_2_3 + Turn_3_0 + Turn_3_1 + Turn_3_2 + Turn_3_3 + Turn_1_3 + Turn_1_2 + Turn_1_1 + Turn_1_0 + Turn_0_0 + Turn_0_1 + Turn_0_2 + Turn_0_3 + Turn_0_4 + Turn_1_4 + Turn_3_4 + Turn_2_4) == (--encoder=bit) with 19 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) expression is 4 seconds at most (--localtimelimit=-1) == + TestIdentity_1_0_1 + TestIdentity_1_0_2 + TestIdentity_1_0_3 + TestIdentity_1_0_4 + TestIdentity_1_1_0 + TestIdentity_1_1_1 + TestIdentity_1_1_2 + TestIdentity_1_1_3 + TestIdentity_1_1_4 + TestIdentity_4_0_0 + TestIdentity_4_0_1 + TestIdentity_4_0_2 + TestIdentity_4_0_3 + TestIdentity_4_0_4 + TestIdentity_1_2_0 + TestIdentity_1_2_1 + TestIdentity_1_2_2 + TestIdentity_1_2_3... (shortened) == (--encoder=bit) with 19 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 32871 markings/sec, 0 secs 32176 markings/sec, 5 secs 32427 markings/sec, 10 secs 31454 markings/sec, 15 secs 31828 markings/sec, 20 secs 31056 markings/sec, 25 secs 31393 markings/sec, 30 secs 30785 markings/sec, 35 secs 30913 markings/sec, 40 secs 30596 markings/sec, 45 secs 31128 markings/sec, 50 secs 29930 markings/sec, 55 secs 32837 markings/sec, 60 secs 30786 markings/sec, 65 secs 30787 markings/sec, 70 secs 30304 markings/sec, 75 secs 31193 markings/sec, 80 secs 30155 markings/sec, 85 secs 30926 markings/sec, 90 secs 30046 markings/sec, 95 secs 29673 markings/sec, 100 secs 29696 markings/sec, 105 secs 29510 markings/sec, 110 secs 30127 markings/sec, 115 secs 28893 markings/sec, 120 secs 31430 markings/sec, 125 secs 31108 markings/sec, 130 secs 30689 markings/sec, 135 secs 30818 markings/sec, 140 secs 30836 markings/sec, 145 secs 30460 markings/sec, 150 secs 30057 markings/sec, 155 secs 30062 markings/sec, 160 secs 30197 markings/sec, 165 secs 30523 markings/sec, 170 secs 30674 markings/sec, 175 secs 29574 markings/sec, 180 secs 29862 markings/sec, 185 secs 29555 markings/sec, 190 secs 29498 markings/sec, 195 secs 29429 markings/sec, 200 secs 29616 markings/sec, 205 secs 30171 markings/sec, 210 secs 30280 markings/sec, 215 secs 29983 markings/sec, 220 secs 30097 markings/sec, 225 secs 29636 markings/sec, 230 secs 30359 markings/sec, 235 secs 30131 markings/sec, 240 secs 29802 markings/sec, 245 secs 30045 markings/sec, 250 secs 30411 markings/sec, 255 secs 29185 markings/sec, 260 secs 29609 markings/sec, 265 secs 29454 markings/sec, 270 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + Turn_2_1 + Turn_2_2 + Turn_2_3 + Turn_3_0 + Turn_3_1 + Turn_3_2 + Turn_3_3 + Turn_1_3 + Turn_1_2 + Turn_1_1 + Turn_1_0 + Turn_0_0 + Turn_0_1 + Turn_0_2 + Turn_0_3 + Turn_0_4 + Turn_1_4 + Turn_3_4 + Turn_2_4) == (--encoder=bit) with 19 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) expression is 4 seconds at most (--localtimelimit=-1) == + TestTurn_0_1 + TestTurn_0_2 + TestTurn_0_3 + TestTurn_1_0 + TestTurn_1_1 + TestTurn_1_2 + TestTurn_1_3 + TestTurn_2_0 + TestTurn_2_1 + TestTurn_2_2 + TestTurn_2_3 + TestTurn_3_0 + TestTurn_3_1 + TestTurn_3_2 + TestTurn_3_3 + TestTurn_4_0 + TestTurn_4_1 + TestTurn_4_2 + TestTurn_4_3) == (--encoder=bit) with 19 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 35367 markings/sec, 0 secs 34451 markings/sec, 5 secs 34235 markings/sec, 10 secs 34387 markings/sec, 15 secs 34049 markings/sec, 20 secs 33819 markings/sec, 25 secs 33273 markings/sec, 30 secs 33791 markings/sec, 35 secs 33041 markings/sec, 40 secs 33505 markings/sec, 45 secs 32785 markings/sec, 50 secs 33437 markings/sec, 55 secs 33191 markings/sec, 60 secs 33273 markings/sec, 65 secs 32747 markings/sec, 70 secs 32928 markings/sec, 75 secs 32892 markings/sec, 80 secs 33404 markings/sec, 85 secs 32648 markings/sec, 90 secs 32581 markings/sec, 95 secs 32208 markings/sec, 100 secs 32277 markings/sec, 105 secs 32333 markings/sec, 110 secs 33272 markings/sec, 115 secs 32805 markings/sec, 120 secs 32719 markings/sec, 125 secs 32503 markings/sec, 130 secs 32729 markings/sec, 135 secs 33079 markings/sec, 140 secs 33789 markings/sec, 145 secs 33136 markings/sec, 150 secs 32960 markings/sec, 155 secs 33469 markings/sec, 160 secs 32379 markings/sec, 165 secs 33430 markings/sec, 170 secs 33939 markings/sec, 175 secs 33217 markings/sec, 180 secs 34457 markings/sec, 185 secs 33866 markings/sec, 190 secs 33558 markings/sec, 195 secs 33288 markings/sec, 200 secs 32659 markings/sec, 205 secs 33895 markings/sec, 210 secs 32812 markings/sec, 215 secs 33379 markings/sec, 220 secs 32646 markings/sec, 225 secs 33559 markings/sec, 230 secs 34252 markings/sec, 235 secs 32638 markings/sec, 240 secs 32812 markings/sec, 245 secs 33234 markings/sec, 250 secs 33243 markings/sec, 255 secs 32363 markings/sec, 260 secs 32876 markings/sec, 265 secs 33211 markings/sec, 270 secs 32717 markings/sec, 275 secs 32861 markings/sec, 280 secs 33106 markings/sec, 285 secs 32935 markings/sec, 290 secs 32310 markings/sec, 295 secs 32612 markings/sec, 300 secs 32853 markings/sec, 305 secs 32524 markings/sec, 310 secs 32241 markings/sec, 315 secs 31938 markings/sec, 320 secs 31076 markings/sec, 325 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + IsEndLoop_0_0_1 + IsEndLoop_0_0_2 + IsEndLoop_0_0_3 + IsEndLoop_0_0_4 + IsEndLoop_0_1_0 + IsEndLoop_0_1_1 + IsEndLoop_0_1_2 + IsEndLoop_0_1_3 + IsEndLoop_0_1_4 + IsEndLoop_3_0_0 + IsEndLoop_3_0_1 + IsEndLoop_3_0_2 + IsEndLoop_3_0_3 + IsEndLoop_3_0_4 + IsEndLoop_0_2_0 + IsEndLoop_0_2_1 + IsEndLoop_0_2_2 + IsEndLoop_0_2_3 + IsEndLoop_0_2_4 + IsEndLoop_3_1_0 + IsEndLoop_3_1_1 + ... (shortened) == (--encoder=bit) with 19 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 34844 markings/sec, 0 secs 35233 markings/sec, 5 secs 33903 markings/sec, 10 secs 34954 markings/sec, 15 secs 35379 markings/sec, 20 secs 33245 markings/sec, 25 secs 35154 markings/sec, 30 secs 32374 markings/sec, 35 secs 32491 markings/sec, 40 secs 32607 markings/sec, 45 secs 32234 markings/sec, 50 secs 33177 markings/sec, 55 secs 34181 markings/sec, 60 secs 31791 markings/sec, 65 secs 32063 markings/sec, 70 secs 32330 markings/sec, 75 secs 31956 markings/sec, 80 secs 33289 markings/sec, 85 secs 32000 markings/sec, 90 secs 31811 markings/sec, 95 secs 31604 markings/sec, 100 secs 31558 markings/sec, 105 secs 32266 markings/sec, 110 secs 32332 markings/sec, 115 secs 32116 markings/sec, 120 secs 32041 markings/sec, 125 secs 32016 markings/sec, 130 secs 32091 markings/sec, 135 secs 31773 markings/sec, 140 secs 30950 markings/sec, 145 secs 31830 markings/sec, 150 secs 31025 markings/sec, 155 secs 30469 markings/sec, 160 secs 30145 markings/sec, 165 secs 30412 markings/sec, 170 secs 31945 markings/sec, 175 secs 31553 markings/sec, 180 secs 30579 markings/sec, 185 secs 30315 markings/sec, 190 secs 30579 markings/sec, 195 secs 30410 markings/sec, 200 secs 29602 markings/sec, 205 secs 29921 markings/sec, 210 secs 29987 markings/sec, 215 secs 29447 markings/sec, 220 secs 31800 markings/sec, 225 secs 29133 markings/sec, 230 secs 30728 markings/sec, 235 secs 29943 markings/sec, 240 secs 28959 markings/sec, 245 secs 29611 markings/sec, 250 secs 27664 markings/sec, 255 secs 29391 markings/sec, 260 secs 30351 markings/sec, 265 secs 28428 markings/sec, 270 secs 27767 markings/sec, 275 secs 31265 markings/sec, 280 secs 30727 markings/sec, 285 secs 32833 markings/sec, 290 secs 32244 markings/sec, 295 secs 33137 markings/sec, 300 secs 32448 markings/sec, 305 secs 30928 markings/sec, 310 secs 30671 markings/sec, 315 secs 30988 markings/sec, 320 secs 30209 markings/sec, 325 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + TestAlone_4_3_1 + TestAlone_4_3_2 + TestAlone_4_3_3 + TestAlone_2_0_0 + TestAlone_2_0_1 + TestAlone_2_0_3 + TestAlone_2_0_4 + TestAlone_2_1_0 + TestAlone_2_1_1 + TestAlone_2_1_3 + TestAlone_2_1_4 + TestAlone_2_2_0 + TestAlone_2_2_1 + TestAlone_2_2_3 + TestAlone_2_2_4 + TestAlone_2_3_0 + TestAlone_2_3_1 + TestAlone_2_3_3 + TestAlone_2_3_4 + TestAlone_0_0_1 + TestAlone_0_0_2 + ... (shortened) == (--encoder=bit) with 19 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 34522 markings/sec, 0 secs 33643 markings/sec, 5 secs 32926 markings/sec, 10 secs 33173 markings/sec, 15 secs 32938 markings/sec, 20 secs 32469 markings/sec, 25 secs 32329 markings/sec, 30 secs 32265 markings/sec, 35 secs 32171 markings/sec, 40 secs 32190 markings/sec, 45 secs 32053 markings/sec, 50 secs 32288 markings/sec, 55 secs 32217 markings/sec, 60 secs 31674 markings/sec, 65 secs 31373 markings/sec, 70 secs 31578 markings/sec, 75 secs 31919 markings/sec, 80 secs 32000 markings/sec, 85 secs 31586 markings/sec, 90 secs 31264 markings/sec, 95 secs 31272 markings/sec, 100 secs 30981 markings/sec, 105 secs 31041 markings/sec, 110 secs 30394 markings/sec, 115 secs 32565 markings/sec, 120 secs 31482 markings/sec, 125 secs 31547 markings/sec, 130 secs 31663 markings/sec, 135 secs 32159 markings/sec, 140 secs 32329 markings/sec, 145 secs 32385 markings/sec, 150 secs 31540 markings/sec, 155 secs 31083 markings/sec, 160 secs 30969 markings/sec, 165 secs 30559 markings/sec, 170 secs 31228 markings/sec, 175 secs 31245 markings/sec, 180 secs 31627 markings/sec, 185 secs 31817 markings/sec, 190 secs 30567 markings/sec, 195 secs 30520 markings/sec, 200 secs 30305 markings/sec, 205 secs 30004 markings/sec, 210 secs 30335 markings/sec, 215 secs 30920 markings/sec, 220 secs 30907 markings/sec, 225 secs 30745 markings/sec, 230 secs 31872 markings/sec, 235 secs 30895 markings/sec, 240 secs 31108 markings/sec, 245 secs 30556 markings/sec, 250 secs 30547 markings/sec, 255 secs 31126 markings/sec, 260 secs 31399 markings/sec, 265 secs 30606 markings/sec, 270 secs 30024 markings/sec, 275 secs 30681 markings/sec, 280 secs 31225 markings/sec, 285 secs 30923 markings/sec, 290 secs 31004 markings/sec, 295 secs 30989 markings/sec, 300 secs 30913 markings/sec, 305 secs 30413 markings/sec, 310 secs 31018 markings/sec, 315 secs 30215 markings/sec, 320 secs 29874 markings/sec, 325 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + CS_1 + CS_2 + CS_3 + CS_4) == (--encoder=bit) with 19 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 37416 markings/sec, 0 secs 35982 markings/sec, 5 secs 36438 markings/sec, 10 secs 35799 markings/sec, 15 secs 35954 markings/sec, 20 secs 35592 markings/sec, 25 secs 35655 markings/sec, 30 secs 35733 markings/sec, 35 secs 35181 markings/sec, 40 secs 35436 markings/sec, 45 secs 35111 markings/sec, 50 secs 34505 markings/sec, 55 secs 35129 markings/sec, 60 secs 34826 markings/sec, 65 secs 34711 markings/sec, 70 secs 32859 markings/sec, 75 secs 32730 markings/sec, 80 secs 32639 markings/sec, 85 secs 32682 markings/sec, 90 secs 32445 markings/sec, 95 secs 32362 markings/sec, 100 secs 32631 markings/sec, 105 secs 31935 markings/sec, 110 secs 32127 markings/sec, 115 secs 34320 markings/sec, 120 secs 34330 markings/sec, 125 secs 33179 markings/sec, 130 secs 33466 markings/sec, 135 secs 32288 markings/sec, 140 secs 33556 markings/sec, 145 secs 32877 markings/sec, 150 secs 33218 markings/sec, 155 secs 33218 markings/sec, 160 secs 32534 markings/sec, 165 secs 32988 markings/sec, 170 secs 34310 markings/sec, 175 secs 33501 markings/sec, 180 secs 35990 markings/sec, 185 secs 35200 markings/sec, 190 secs 34152 markings/sec, 195 secs 33830 markings/sec, 200 secs 34157 markings/sec, 205 secs 33234 markings/sec, 210 secs 33750 markings/sec, 215 secs 32929 markings/sec, 220 secs 33251 markings/sec, 225 secs 32590 markings/sec, 230 secs 31799 markings/sec, 235 secs 32446 markings/sec, 240 secs 32903 markings/sec, 245 secs 32112 markings/sec, 250 secs 31763 markings/sec, 255 secs 32305 markings/sec, 260 secs 32196 markings/sec, 265 secs 33464 markings/sec, 270 secs 33060 markings/sec, 275 secs 32182 markings/sec, 280 secs 32896 markings/sec, 285 secs 33509 markings/sec, 290 secs 32223 markings/sec, 295 secs 32948 markings/sec, 300 secs 32504 markings/sec, 305 secs 31397 markings/sec, 310 secs 30390 markings/sec, 315 secs 32910 markings/sec, 320 secs 32398 markings/sec, 325 secs problem between parent and child process seconds at most (--localtimelimit=-1) == + AskForSection_0_1 + AskForSection_0_2 + AskForSection_0_3 + AskForSection_1_0 + AskForSection_1_1 + AskForSection_1_2 + AskForSection_1_3 + AskForSection_2_0 + AskForSection_2_1 + AskForSection_2_2 + AskForSection_2_3 + AskForSection_3_0 + AskForSection_3_1 + AskForSection_3_2 + AskForSection_3_3 + AskForSection_4_3 + AskForSection_4_0 + AskForSection_4_1 + AskForSection_4_... (shortened) == (--encoder=bit) with 19 unused bits refix) set method with insertion algorithm(--stubborn=tarjan) 36932 markings/sec, 0 secs 35918 markings/sec, 5 secs 35975 markings/sec, 10 secs 35387 markings/sec, 15 secs 36014 markings/sec, 20 secs 35435 markings/sec, 25 secs 34885 markings/sec, 30 secs 34974 markings/sec, 35 secs 34728 markings/sec, 40 secs 35121 markings/sec, 45 secs 34374 markings/sec, 50 secs 34778 markings/sec, 55 secs 32846 markings/sec, 60 secs 34777 markings/sec, 65 secs 34422 markings/sec, 70 secs 35169 markings/sec, 75 secs 33510 markings/sec, 80 secs 34523 markings/sec, 85 secs 33704 markings/sec, 90 secs 34572 markings/sec, 95 secs 34947 markings/sec, 100 secs 34310 markings/sec, 105 secs 33526 markings/sec, 110 secs 33763 markings/sec, 115 secs 34467 markings/sec, 120 secs 33828 markings/sec, 125 secs 33853 markings/sec, 130 secs 33587 markings/sec, 135 secs 32750 markings/sec, 140 secs 33368 markings/sec, 145 secs 32951 markings/sec, 150 secs 33535 markings/sec, 155 secs 32371 markings/sec, 160 secs 32349 markings/sec, 165 secs 31622 markings/sec, 170 secs 34309 markings/sec, 175 secs 34063 markings/sec, 180 secs 33118 markings/sec, 185 secs 33093 markings/sec, 190 secs 32806 markings/sec, 195 secs 32739 markings/sec, 200 secs 32847 markings/sec, 205 secs 32276 markings/sec, 210 secs 31794 markings/sec, 215 secs 33178 markings/sec, 220 secs 32966 markings/sec, 225 secs 32639 markings/sec, 230 secs 32301 markings/sec, 235 secs 32284 markings/sec, 240 secs 32754 markings/sec, 245 secs 32311 markings/sec, 250 secs 31967 markings/sec, 255 secs 32745 markings/sec, 260 secs 32588 markings/sec, 265 secs 30103 markings/sec, 270 secs 31028 markings/sec, 275 secs 30937 markings/sec, 280 secs 30658 markings/sec, 285 secs 32052 markings/sec, 290 secs 31183 markings/sec, 295 secs 29702 markings/sec, 300 secs 29435 markings/sec, 305 secs 29177 markings/sec, 310 secs 29969 markings/sec, 315 secs 29495 markings/sec, 320 secs 29524 markings/sec, 325 secs problem between parent and child process 5 unknown unknown unknown 4 unknown 4 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 5 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 4 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 4 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="Peterson-PT-4"
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/Peterson-PT-4.tgz
mv Peterson-PT-4 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is Peterson-PT-4, 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 r048-smll-149440869500056"
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 ;