Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r163-tall-167838847900496.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is FlexibleBarrier-PT-10a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r163-tall-167838847900496
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 6.6K Feb 25 12:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 25 12:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 12:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 12:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.0K Feb 25 12:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 25 12:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 25 12:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 89K Feb 25 12:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 94K Mar 5 18:22 model.pnml

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

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678451036109

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FlexibleBarrier-PT-10a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 10a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 123 places, 334 transitions, 1467 arcs.
AT ITER 0 NEW BEST:: SOT 34605 SOS 27847 HAS SOPS 27847 HAS SOUS 17061 HAS SOUPS 17061 WITH SCORE 17088.847
AT ITER 1 NEW BEST:: SOT 34603 SOS 27843 HAS SOPS 27843 HAS SOUS 17059 HAS SOUPS 17059 WITH SCORE 17086.843
AT ITER 3 NEW BEST:: SOT 34628 SOS 27937 HAS SOPS 27937 HAS SOUS 16453 HAS SOUPS 16453 WITH SCORE 16480.937
AT ITER 8 NEW BEST:: SOT 34684 SOS 28048 HAS SOPS 28048 HAS SOUS 16450 HAS SOUPS 16450 WITH SCORE 16478.048
AT ITER 12 NEW BEST:: SOT 34747 SOS 28059 HAS SOPS 28059 HAS SOUS 16401 HAS SOUPS 16401 WITH SCORE 16429.059
AT ITER 13 NEW BEST:: SOT 34747 SOS 28021 HAS SOPS 28021 HAS SOUS 16382 HAS SOUPS 16382 WITH SCORE 16410.021
AT ITER 14 NEW BEST:: SOT 34827 SOS 27694 HAS SOPS 27694 HAS SOUS 15075 HAS SOUPS 15075 WITH SCORE 15102.694
AT ITER 16 NEW BEST:: SOT 34614 SOS 27506 HAS SOPS 27506 HAS SOUS 14987 HAS SOUPS 14987 WITH SCORE 15014.506
AT ITER 17 NEW BEST:: SOT 34612 SOS 27455 HAS SOPS 27455 HAS SOUS 14987 HAS SOUPS 14987 WITH SCORE 15014.455
AT ITER 18 NEW BEST:: SOT 34666 SOS 27436 HAS SOPS 27436 HAS SOUS 14968 HAS SOUPS 14968 WITH SCORE 14995.436
AT ITER 19 NEW BEST:: SOT 34665 SOS 27434 HAS SOPS 27434 HAS SOUS 14958 HAS SOUPS 14958 WITH SCORE 14985.434
AT ITER 20 NEW BEST:: SOT 34492 SOS 27236 HAS SOPS 27236 HAS SOUS 14894 HAS SOUPS 14894 WITH SCORE 14921.236
AT ITER 21 NEW BEST:: SOT 34380 SOS 27058 HAS SOPS 27054 HAS SOUS 14781 HAS SOUPS 14777 WITH SCORE 14804.058
AT ITER 25 NEW BEST:: SOT 34417 SOS 26620 HAS SOPS 26616 HAS SOUS 14188 HAS SOUPS 14184 WITH SCORE 14210.62
AT ITER 27 NEW BEST:: SOT 34437 SOS 26478 HAS SOPS 26474 HAS SOUS 14014 HAS SOUPS 14010 WITH SCORE 14036.478
AT ITER 28 NEW BEST:: SOT 34274 SOS 26283 HAS SOPS 26279 HAS SOUS 13890 HAS SOUPS 13886 WITH SCORE 13912.283
AT ITER 29 NEW BEST:: SOT 34212 SOS 25321 HAS SOPS 25317 HAS SOUS 13058 HAS SOUPS 13054 WITH SCORE 13079.321
AT ITER 33 NEW BEST:: SOT 34222 SOS 24351 HAS SOPS 24347 HAS SOUS 12432 HAS SOUPS 12428 WITH SCORE 12452.351
AT ITER 35 NEW BEST:: SOT 34202 SOS 24291 HAS SOPS 24287 HAS SOUS 12432 HAS SOUPS 12428 WITH SCORE 12452.291
AT ITER 41 NEW BEST:: SOT 34198 SOS 24243 HAS SOPS 24239 HAS SOUS 12429 HAS SOUPS 12425 WITH SCORE 12449.243
AT ITER 45 NEW BEST:: SOT 34196 SOS 24178 HAS SOPS 24174 HAS SOUS 12366 HAS SOUPS 12362 WITH SCORE 12386.178
AT ITER 46 NEW BEST:: SOT 34200 SOS 23810 HAS SOPS 23806 HAS SOUS 12266 HAS SOUPS 12262 WITH SCORE 12285.81
AT ITER 48 NEW BEST:: SOT 34287 SOS 23863 HAS SOPS 23859 HAS SOUS 12250 HAS SOUPS 12246 WITH SCORE 12269.863
AT ITER 51 NEW BEST:: SOT 34295 SOS 23861 HAS SOPS 23857 HAS SOUS 12239 HAS SOUPS 12235 WITH SCORE 12258.861
AT ITER 52 NEW BEST:: SOT 34323 SOS 23875 HAS SOPS 23871 HAS SOUS 12229 HAS SOUPS 12225 WITH SCORE 12248.875
AT ITER 58 NEW BEST:: SOT 34333 SOS 23801 HAS SOPS 23797 HAS SOUS 12195 HAS SOUPS 12191 WITH SCORE 12214.801
AT ITER 59 NEW BEST:: SOT 34433 SOS 23825 HAS SOPS 23821 HAS SOUS 12181 HAS SOUPS 12177 WITH SCORE 12200.825
AT ITER 61 NEW BEST:: SOT 34433 SOS 23715 HAS SOPS 23711 HAS SOUS 12071 HAS SOUPS 12067 WITH SCORE 12090.715
AT ITER 62 NEW BEST:: SOT 34468 SOS 22710 HAS SOPS 22706 HAS SOUS 11238 HAS SOUPS 11234 WITH SCORE 11256.71
AT ITER 64 NEW BEST:: SOT 34345 SOS 22585 HAS SOPS 22581 HAS SOUS 11181 HAS SOUPS 11177 WITH SCORE 11199.585
AT ITER 72 NEW BEST:: SOT 34336 SOS 22567 HAS SOPS 22563 HAS SOUS 11172 HAS SOUPS 11168 WITH SCORE 11190.567
AT ITER 88 NEW BEST:: SOT 34105 SOS 22336 HAS SOPS 22332 HAS SOUS 11045 HAS SOUPS 11041 WITH SCORE 11063.336
AT ITER 89 NEW BEST:: SOT 34113 SOS 22312 HAS SOPS 22308 HAS SOUS 11043 HAS SOUPS 11039 WITH SCORE 11061.312
AT ITER 95 NEW BEST:: SOT 34108 SOS 22302 HAS SOPS 22298 HAS SOUS 11037 HAS SOUPS 11033 WITH SCORE 11055.302
AT ITER 96 NEW BEST:: SOT 34107 SOS 22299 HAS SOPS 22295 HAS SOUS 11035 HAS SOUPS 11031 WITH SCORE 11053.299
AT ITER 101 NEW BEST:: SOT 33985 SOS 22177 HAS SOPS 22173 HAS SOUS 10959 HAS SOUPS 10955 WITH SCORE 10977.177
AT ITER 103 NEW BEST:: SOT 33764 SOS 21896 HAS SOPS 21887 HAS SOUS 10772 HAS SOUPS 10767 WITH SCORE 10788.896
AT ITER 104 NEW BEST:: SOT 33763 SOS 21894 HAS SOPS 21885 HAS SOUS 10761 HAS SOUPS 10756 WITH SCORE 10777.894
AT ITER 109 NEW BEST:: SOT 33773 SOS 21288 HAS SOPS 21279 HAS SOUS 10670 HAS SOUPS 10665 WITH SCORE 10686.288
AT ITER 116 NEW BEST:: SOT 33772 SOS 21285 HAS SOPS 21276 HAS SOUS 10668 HAS SOUPS 10663 WITH SCORE 10684.285
AT ITER 120 NEW BEST:: SOT 33786 SOS 21028 HAS SOPS 21019 HAS SOUS 10665 HAS SOUPS 10660 WITH SCORE 10681.028
AT ITER 123 NEW BEST:: SOT 33785 SOS 20659 HAS SOPS 20650 HAS SOUS 10515 HAS SOUPS 10510 WITH SCORE 10530.659
AT ITER 124 NEW BEST:: SOT 33555 SOS 20435 HAS SOPS 20426 HAS SOUS 10407 HAS SOUPS 10402 WITH SCORE 10422.435
AT ITER 129 NEW BEST:: SOT 33510 SOS 20360 HAS SOPS 20351 HAS SOUS 10353 HAS SOUPS 10348 WITH SCORE 10368.36
AT ITER 130 NEW BEST:: SOT 33515 SOS 20115 HAS SOPS 20106 HAS SOUS 10344 HAS SOUPS 10339 WITH SCORE 10359.115
AT ITER 135 NEW BEST:: SOT 33115 SOS 19675 HAS SOPS 19666 HAS SOUS 10081 HAS SOUPS 10076 WITH SCORE 10095.675
AT ITER 137 NEW BEST:: SOT 31666 SOS 19661 HAS SOPS 18180 HAS SOUS 8739 HAS SOUPS 8644 WITH SCORE 8663.661
AT ITER 140 NEW BEST:: SOT 31672 SOS 19430 HAS SOPS 17985 HAS SOUS 8670 HAS SOUPS 8575 WITH SCORE 8594.43
AT ITER 141 NEW BEST:: SOT 31645 SOS 19357 HAS SOPS 17885 HAS SOUS 8570 HAS SOUPS 8475 WITH SCORE 8494.357
AT ITER 142 NEW BEST:: SOT 31678 SOS 19461 HAS SOPS 17951 HAS SOUS 8561 HAS SOUPS 8466 WITH SCORE 8485.461
AT ITER 143 NEW BEST:: SOT 31679 SOS 19467 HAS SOPS 17945 HAS SOUS 8555 HAS SOUPS 8460 WITH SCORE 8479.467
AT ITER 145 NEW BEST:: SOT 31662 SOS 19398 HAS SOPS 17859 HAS SOUS 8469 HAS SOUPS 8374 WITH SCORE 8393.398
AT ITER 155 NEW BEST:: SOT 30298 SOS 18042 HAS SOPS 16495 HAS SOUS 7748 HAS SOUPS 7645 WITH SCORE 7663.042
AT ITER 156 NEW BEST:: SOT 30307 SOS 17959 HAS SOPS 16425 HAS SOUS 7738 HAS SOUPS 7635 WITH SCORE 7652.959
AT ITER 161 NEW BEST:: SOT 30310 SOS 17931 HAS SOPS 16410 HAS SOUS 7738 HAS SOUPS 7635 WITH SCORE 7652.931
AT ITER 163 NEW BEST:: SOT 30320 SOS 17947 HAS SOPS 16422 HAS SOUS 7736 HAS SOUPS 7633 WITH SCORE 7650.947
AT ITER 167 NEW BEST:: SOT 28541 SOS 16674 HAS SOPS 14609 HAS SOUS 6907 HAS SOUPS 6770 WITH SCORE 6786.674
AT ITER 174 NEW BEST:: SOT 28522 SOS 16656 HAS SOPS 14571 HAS SOUS 6889 HAS SOUPS 6752 WITH SCORE 6768.656
AT ITER 183 NEW BEST:: SOT 28527 SOS 16681 HAS SOPS 14596 HAS SOUS 6888 HAS SOUPS 6751 WITH SCORE 6767.681
AT ITER 193 NEW BEST:: SOT 28551 SOS 16705 HAS SOPS 14552 HAS SOUS 6754 HAS SOUPS 6617 WITH SCORE 6633.705
AT ITER 198 NEW BEST:: SOT 28492 SOS 16646 HAS SOPS 14434 HAS SOUS 6636 HAS SOUPS 6499 WITH SCORE 6515.646
AT ITER 204 NEW BEST:: SOT 28468 SOS 16622 HAS SOPS 14410 HAS SOUS 6636 HAS SOUPS 6499 WITH SCORE 6515.622
AT ITER 206 NEW BEST:: SOT 28461 SOS 16572 HAS SOPS 14377 HAS SOUS 6625 HAS SOUPS 6488 WITH SCORE 6504.572
AT ITER 209 NEW BEST:: SOT 28449 SOS 14929 HAS SOPS 12695 HAS SOUS 6351 HAS SOUPS 6214 WITH SCORE 6228.929
AT ITER 220 NEW BEST:: SOT 28421 SOS 14873 HAS SOPS 12639 HAS SOUS 6284 HAS SOUPS 6147 WITH SCORE 6161.873
AT ITER 224 NEW BEST:: SOT 28375 SOS 14751 HAS SOPS 12509 HAS SOUS 6212 HAS SOUPS 6075 WITH SCORE 6089.751
AT ITER 236 NEW BEST:: SOT 28364 SOS 14729 HAS SOPS 12444 HAS SOUS 6158 HAS SOUPS 6021 WITH SCORE 6035.729
AT ITER 238 NEW BEST:: SOT 28365 SOS 14725 HAS SOPS 12441 HAS SOUS 6153 HAS SOUPS 6016 WITH SCORE 6030.725
AT ITER 240 NEW BEST:: SOT 28363 SOS 14501 HAS SOPS 12217 HAS SOUS 6138 HAS SOUPS 6001 WITH SCORE 6015.501
AT ITER 248 NEW BEST:: SOT 28360 SOS 14489 HAS SOPS 12205 HAS SOUS 6132 HAS SOUPS 5995 WITH SCORE 6009.489
AT ITER 249 NEW BEST:: SOT 28365 SOS 14515 HAS SOPS 12215 HAS SOUS 6124 HAS SOUPS 5987 WITH SCORE 6001.515
AT ITER 252 NEW BEST:: SOT 28353 SOS 14503 HAS SOPS 12203 HAS SOUS 6112 HAS SOUPS 5975 WITH SCORE 5989.503
AT ITER 254 NEW BEST:: SOT 28335 SOS 14432 HAS SOPS 12149 HAS SOUS 6093 HAS SOUPS 5956 WITH SCORE 5970.432
AT ITER 255 NEW BEST:: SOT 28332 SOS 14426 HAS SOPS 12140 HAS SOUS 6090 HAS SOUPS 5953 WITH SCORE 5967.426
AT ITER 261 NEW BEST:: SOT 28283 SOS 14328 HAS SOPS 12042 HAS SOUS 6041 HAS SOUPS 5904 WITH SCORE 5918.328
AT ITER 262 NEW BEST:: SOT 28084 SOS 14133 HAS SOPS 11842 HAS SOUS 5935 HAS SOUPS 5798 WITH SCORE 5812.133
AT ITER 270 NEW BEST:: SOT 27906 SOS 13926 HAS SOPS 11606 HAS SOUS 5804 HAS SOUPS 5667 WITH SCORE 5680.926
AT ITER 272 NEW BEST:: SOT 27890 SOS 13881 HAS SOPS 11574 HAS SOUS 5801 HAS SOUPS 5664 WITH SCORE 5677.881
AT ITER 275 NEW BEST:: SOT 27890 SOS 13851 HAS SOPS 11544 HAS SOUS 5801 HAS SOUPS 5664 WITH SCORE 5677.851
AT ITER 276 NEW BEST:: SOT 27873 SOS 13869 HAS SOPS 11549 HAS SOUS 5798 HAS SOUPS 5661 WITH SCORE 5674.869
AT ITER 283 NEW BEST:: SOT 27842 SOS 14408 HAS SOPS 12077 HAS SOUS 5783 HAS SOUPS 5646 WITH SCORE 5660.408
AT ITER 284 NEW BEST:: SOT 27826 SOS 14365 HAS SOPS 12001 HAS SOUS 5693 HAS SOUPS 5556 WITH SCORE 5570.365
AT ITER 285 NEW BEST:: SOT 27082 SOS 14823 HAS SOPS 12530 HAS SOUS 5682 HAS SOUPS 5545 WITH SCORE 5559.823
AT ITER 288 NEW BEST:: SOT 27065 SOS 14806 HAS SOPS 12513 HAS SOUS 5682 HAS SOUPS 5545 WITH SCORE 5559.806
AT ITER 302 NEW BEST:: SOT 27065 SOS 14791 HAS SOPS 12513 HAS SOUS 5682 HAS SOUPS 5545 WITH SCORE 5559.791
AT ITER 308 NEW BEST:: SOT 27070 SOS 14796 HAS SOPS 12507 HAS SOUS 5677 HAS SOUPS 5539 WITH SCORE 5553.796
AT ITER 312 NEW BEST:: SOT 27070 SOS 14788 HAS SOPS 12479 HAS SOUS 5653 HAS SOUPS 5515 WITH SCORE 5529.788
AT ITER 324 NEW BEST:: SOT 27070 SOS 14781 HAS SOPS 12472 HAS SOUS 5646 HAS SOUPS 5508 WITH SCORE 5522.781
AT ITER 333 NEW BEST:: SOT 27010 SOS 14691 HAS SOPS 12322 HAS SOUS 5511 HAS SOUPS 5373 WITH SCORE 5387.691
AT ITER 335 NEW BEST:: SOT 27006 SOS 14706 HAS SOPS 12327 HAS SOUS 5510 HAS SOUPS 5372 WITH SCORE 5386.706
AT ITER 339 NEW BEST:: SOT 27006 SOS 14541 HAS SOPS 12162 HAS SOUS 5510 HAS SOUPS 5372 WITH SCORE 5386.541
AT ITER 342 NEW BEST:: SOT 26985 SOS 14571 HAS SOPS 12159 HAS SOUS 5471 HAS SOUPS 5333 WITH SCORE 5347.571
AT ITER 343 NEW BEST:: SOT 26994 SOS 14580 HAS SOPS 12158 HAS SOUS 5451 HAS SOUPS 5313 WITH SCORE 5327.58
AT ITER 364 NEW BEST:: SOT 26994 SOS 14578 HAS SOPS 12158 HAS SOUS 5451 HAS SOUPS 5313 WITH SCORE 5327.578
AT ITER 369 NEW BEST:: SOT 27018 SOS 14587 HAS SOPS 12179 HAS SOUS 5445 HAS SOUPS 5307 WITH SCORE 5321.587
AT ITER 386 NEW BEST:: SOT 27005 SOS 14618 HAS SOPS 12197 HAS SOUS 5419 HAS SOUPS 5281 WITH SCORE 5295.618
AT ITER 399 NEW BEST:: SOT 26994 SOS 14496 HAS SOPS 12101 HAS SOUS 5355 HAS SOUPS 5217 WITH SCORE 5231.496
AT ITER 404 NEW BEST:: SOT 26981 SOS 14538 HAS SOPS 12116 HAS SOUS 5344 HAS SOUPS 5206 WITH SCORE 5220.538
AT ITER 408 NEW BEST:: SOT 26946 SOS 14460 HAS SOPS 12046 HAS SOUS 5292 HAS SOUPS 5154 WITH SCORE 5168.46
AT ITER 409 NEW BEST:: SOT 26940 SOS 14446 HAS SOPS 12032 HAS SOUS 5286 HAS SOUPS 5148 WITH SCORE 5162.446
AT ITER 419 NEW BEST:: SOT 26928 SOS 14334 HAS SOPS 11968 HAS SOUS 5277 HAS SOUPS 5139 WITH SCORE 5153.334
AT ITER 420 NEW BEST:: SOT 26906 SOS 14340 HAS SOPS 11957 HAS SOUS 5237 HAS SOUPS 5099 WITH SCORE 5113.34
AT ITER 425 NEW BEST:: SOT 26878 SOS 14284 HAS SOPS 11901 HAS SOUS 5209 HAS SOUPS 5071 WITH SCORE 5085.284
AT ITER 426 NEW BEST:: SOT 26884 SOS 14226 HAS SOPS 11841 HAS SOUS 5151 HAS SOUPS 5013 WITH SCORE 5027.226
AT ITER 442 NEW BEST:: SOT 26835 SOS 14124 HAS SOPS 11725 HAS SOUS 5088 HAS SOUPS 4950 WITH SCORE 4964.124
AT ITER 454 NEW BEST:: SOT 26834 SOS 14122 HAS SOPS 11723 HAS SOUS 5086 HAS SOUPS 4948 WITH SCORE 4962.122
AT ITER 456 NEW BEST:: SOT 26813 SOS 14106 HAS SOPS 11693 HAS SOUS 5053 HAS SOUPS 4915 WITH SCORE 4929.106
AT ITER 457 NEW BEST:: SOT 26809 SOS 13663 HAS SOPS 11250 HAS SOUS 5019 HAS SOUPS 4881 WITH SCORE 4894.663
AT ITER 461 NEW BEST:: SOT 26810 SOS 13664 HAS SOPS 11252 HAS SOUS 5017 HAS SOUPS 4879 WITH SCORE 4892.664
AT ITER 467 NEW BEST:: SOT 26795 SOS 13619 HAS SOPS 11207 HAS SOUS 4987 HAS SOUPS 4849 WITH SCORE 4862.619
AT ITER 472 NEW BEST:: SOT 26744 SOS 13541 HAS SOPS 11174 HAS SOUS 4986 HAS SOUPS 4848 WITH SCORE 4861.541
AT ITER 474 NEW BEST:: SOT 26716 SOS 12504 HAS SOPS 10137 HAS SOUS 4772 HAS SOUPS 4634 WITH SCORE 4646.504
AT ITER 500 NEW BEST:: SOT 26692 SOS 12505 HAS SOPS 10108 HAS SOUS 4741 HAS SOUPS 4603 WITH SCORE 4615.505
AT ITER 505 NEW BEST:: SOT 26691 SOS 12502 HAS SOPS 10105 HAS SOUS 4739 HAS SOUPS 4601 WITH SCORE 4613.502
AT ITER 506 NEW BEST:: SOT 26697 SOS 12467 HAS SOPS 10084 HAS SOUS 4735 HAS SOUPS 4597 WITH SCORE 4609.467
AT ITER 531 NEW BEST:: SOT 26697 SOS 12467 HAS SOPS 10078 HAS SOUS 4729 HAS SOUPS 4591 WITH SCORE 4603.467
AT ITER 547 NEW BEST:: SOT 26679 SOS 12677 HAS SOPS 10288 HAS SOUS 4722 HAS SOUPS 4584 WITH SCORE 4596.677
AT ITER 552 NEW BEST:: SOT 26646 SOS 12610 HAS SOPS 10222 HAS SOUS 4656 HAS SOUPS 4518 WITH SCORE 4530.61
AT ITER 555 NEW BEST:: SOT 26649 SOS 12607 HAS SOPS 10215 HAS SOUS 4649 HAS SOUPS 4511 WITH SCORE 4523.607
AT ITER 570 NEW BEST:: SOT 26647 SOS 12605 HAS SOPS 10211 HAS SOUS 4646 HAS SOUPS 4507 WITH SCORE 4519.605
AT ITER 591 NEW BEST:: SOT 26649 SOS 12554 HAS SOPS 10158 HAS SOUS 4610 HAS SOUPS 4471 WITH SCORE 4483.554
AT ITER 602 NEW BEST:: SOT 26639 SOS 12521 HAS SOPS 10115 HAS SOUS 4590 HAS SOUPS 4451 WITH SCORE 4463.521
AT ITER 609 NEW BEST:: SOT 26663 SOS 12483 HAS SOPS 10109 HAS SOUS 4566 HAS SOUPS 4427 WITH SCORE 4439.483
AT ITER 610 NEW BEST:: SOT 26705 SOS 12292 HAS SOPS 9918 HAS SOUS 4556 HAS SOUPS 4417 WITH SCORE 4429.292
AT ITER 632 NEW BEST:: SOT 26707 SOS 12212 HAS SOPS 9841 HAS SOUS 4545 HAS SOUPS 4406 WITH SCORE 4418.212
AT ITER 636 NEW BEST:: SOT 26696 SOS 12179 HAS SOPS 9808 HAS SOUS 4539 HAS SOUPS 4400 WITH SCORE 4412.179
AT ITER 642 NEW BEST:: SOT 26682 SOS 12179 HAS SOPS 9804 HAS SOUS 4535 HAS SOUPS 4396 WITH SCORE 4408.179
AT ITER 650 NEW BEST:: SOT 26673 SOS 12167 HAS SOPS 9786 HAS SOUS 4519 HAS SOUPS 4380 WITH SCORE 4392.167
AT ITER 651 NEW BEST:: SOT 26719 SOS 12171 HAS SOPS 9709 HAS SOUS 4489 HAS SOUPS 4350 WITH SCORE 4362.171
AT ITER 661 NEW BEST:: SOT 26738 SOS 12180 HAS SOPS 9711 HAS SOUS 4477 HAS SOUPS 4338 WITH SCORE 4350.18
AT ITER 666 NEW BEST:: SOT 26737 SOS 12178 HAS SOPS 9709 HAS SOUS 4475 HAS SOUPS 4336 WITH SCORE 4348.178
AT ITER 687 NEW BEST:: SOT 26733 SOS 12166 HAS SOPS 9697 HAS SOUS 4467 HAS SOUPS 4328 WITH SCORE 4340.166
AT ITER 690 NEW BEST:: SOT 26731 SOS 12150 HAS SOPS 9683 HAS SOUS 4459 HAS SOUPS 4320 WITH SCORE 4332.15
AT ITER 694 NEW BEST:: SOT 26728 SOS 12153 HAS SOPS 9677 HAS SOUS 4432 HAS SOUPS 4293 WITH SCORE 4305.153
AT ITER 708 NEW BEST:: SOT 26724 SOS 12147 HAS SOPS 9669 HAS SOUS 4426 HAS SOUPS 4287 WITH SCORE 4299.147
AT ITER 715 NEW BEST:: SOT 26723 SOS 12143 HAS SOPS 9665 HAS SOUS 4423 HAS SOUPS 4284 WITH SCORE 4296.143
AT ITER 724 NEW BEST:: SOT 26723 SOS 12129 HAS SOPS 9651 HAS SOUS 4409 HAS SOUPS 4270 WITH SCORE 4282.129
AT ITER 728 NEW BEST:: SOT 26720 SOS 12126 HAS SOPS 9648 HAS SOUS 4406 HAS SOUPS 4267 WITH SCORE 4279.126
AT ITER 749 NEW BEST:: SOT 26658 SOS 12033 HAS SOPS 9524 HAS SOUS 4306 HAS SOUPS 4167 WITH SCORE 4179.033
AT ITER 752 NEW BEST:: SOT 26686 SOS 11366 HAS SOPS 8866 HAS SOUS 4293 HAS SOUPS 4154 WITH SCORE 4165.366
AT ITER 753 NEW BEST:: SOT 26685 SOS 11365 HAS SOPS 8865 HAS SOUS 4292 HAS SOUPS 4153 WITH SCORE 4164.365
AT ITER 754 NEW BEST:: SOT 26681 SOS 11365 HAS SOPS 8861 HAS SOUS 4284 HAS SOUPS 4145 WITH SCORE 4156.365
AT ITER 760 NEW BEST:: SOT 26694 SOS 10990 HAS SOPS 8495 HAS SOUS 4250 HAS SOUPS 4111 WITH SCORE 4121.99
AT ITER 766 NEW BEST:: SOT 26696 SOS 10992 HAS SOPS 8499 HAS SOUS 4237 HAS SOUPS 4098 WITH SCORE 4108.992
AT ITER 783 NEW BEST:: SOT 26694 SOS 10990 HAS SOPS 8497 HAS SOUS 4235 HAS SOUPS 4096 WITH SCORE 4106.99
AT ITER 797 NEW BEST:: SOT 26694 SOS 10985 HAS SOPS 8497 HAS SOUS 4220 HAS SOUPS 4081 WITH SCORE 4091.985
AT ITER 804 NEW BEST:: SOT 26680 SOS 10961 HAS SOPS 8469 HAS SOUS 4206 HAS SOUPS 4067 WITH SCORE 4077.961
AT ITER 829 NEW BEST:: SOT 26672 SOS 10657 HAS SOPS 8173 HAS SOUS 4198 HAS SOUPS 4059 WITH SCORE 4069.657
AT ITER 841 NEW BEST:: SOT 26641 SOS 10564 HAS SOPS 8081 HAS SOUS 4143 HAS SOUPS 4004 WITH SCORE 4014.564
AT ITER 851 NEW BEST:: SOT 26632 SOS 10519 HAS SOPS 8045 HAS SOUS 4125 HAS SOUPS 3986 WITH SCORE 3996.519
AT ITER 852 NEW BEST:: SOT 26632 SOS 10507 HAS SOPS 8039 HAS SOUS 4125 HAS SOUPS 3986 WITH SCORE 3996.507
AT ITER 861 NEW BEST:: SOT 26630 SOS 10451 HAS SOPS 7985 HAS SOUS 4111 HAS SOUPS 3972 WITH SCORE 3982.451
AT ITER 864 NEW BEST:: SOT 26630 SOS 10443 HAS SOPS 7977 HAS SOUS 4111 HAS SOUPS 3972 WITH SCORE 3982.443
AT ITER 866 NEW BEST:: SOT 26620 SOS 10420 HAS SOPS 7957 HAS SOUS 4101 HAS SOUPS 3962 WITH SCORE 3972.42
AT ITER 868 NEW BEST:: SOT 26619 SOS 10419 HAS SOPS 7957 HAS SOUS 4101 HAS SOUPS 3962 WITH SCORE 3972.419
AT ITER 873 NEW BEST:: SOT 26614 SOS 10404 HAS SOPS 7937 HAS SOUS 4081 HAS SOUPS 3942 WITH SCORE 3952.404
AT ITER 897 NEW BEST:: SOT 26606 SOS 10393 HAS SOPS 7919 HAS SOUS 4070 HAS SOUPS 3931 WITH SCORE 3941.393
AT ITER 898 NEW BEST:: SOT 26596 SOS 10386 HAS SOPS 7908 HAS SOUS 4068 HAS SOUPS 3929 WITH SCORE 3939.386
AT ITER 910 NEW BEST:: SOT 26581 SOS 10298 HAS SOPS 7848 HAS SOUS 4068 HAS SOUPS 3929 WITH SCORE 3939.298
AT ITER 911 NEW BEST:: SOT 26576 SOS 10293 HAS SOPS 7838 HAS SOUS 4058 HAS SOUPS 3919 WITH SCORE 3929.293
AT ITER 918 NEW BEST:: SOT 26557 SOS 10269 HAS SOPS 7814 HAS SOUS 4034 HAS SOUPS 3895 WITH SCORE 3905.269
AT ITER 937 NEW BEST:: SOT 26581 SOS 10287 HAS SOPS 7834 HAS SOUS 4032 HAS SOUPS 3893 WITH SCORE 3903.287
AT ITER 942 NEW BEST:: SOT 26588 SOS 10199 HAS SOPS 7758 HAS SOUS 4022 HAS SOUPS 3883 WITH SCORE 3893.199
AT ITER 953 NEW BEST:: SOT 26584 SOS 10195 HAS SOPS 7754 HAS SOUS 4022 HAS SOUPS 3883 WITH SCORE 3893.195
AT ITER 957 NEW BEST:: SOT 26556 SOS 10167 HAS SOPS 7724 HAS SOUS 4008 HAS SOUPS 3869 WITH SCORE 3879.167
AT ITER 962 NEW BEST:: SOT 26556 SOS 10143 HAS SOPS 7700 HAS SOUS 4008 HAS SOUPS 3869 WITH SCORE 3879.143
AT ITER 963 NEW BEST:: SOT 26545 SOS 10132 HAS SOPS 7678 HAS SOUS 3986 HAS SOUPS 3847 WITH SCORE 3857.132
AT ITER 974 NEW BEST:: SOT 26481 SOS 10072 HAS SOPS 7618 HAS SOUS 3960 HAS SOUPS 3821 WITH SCORE 3831.072
AT ITER 984 NEW BEST:: SOT 26475 SOS 10054 HAS SOPS 7600 HAS SOUS 3954 HAS SOUPS 3815 WITH SCORE 3825.054
AT ITER 999 NEW BEST:: SOT 26472 SOS 10050 HAS SOPS 7596 HAS SOUS 3950 HAS SOUPS 3811 WITH SCORE 3821.05
AT ITER 1003 NEW BEST:: SOT 26470 SOS 9997 HAS SOPS 7543 HAS SOUS 3941 HAS SOUPS 3802 WITH SCORE 3811.997
AT ITER 1012 NEW BEST:: SOT 26470 SOS 9988 HAS SOPS 7537 HAS SOUS 3941 HAS SOUPS 3802 WITH SCORE 3811.988
AT ITER 1013 NEW BEST:: SOT 26452 SOS 9963 HAS SOPS 7512 HAS SOUS 3933 HAS SOUPS 3794 WITH SCORE 3803.963
AT ITER 1032 NEW BEST:: SOT 26407 SOS 10533 HAS SOPS 7467 HAS SOUS 3903 HAS SOUPS 3749 WITH SCORE 3759.533
AT ITER 1034 NEW BEST:: SOT 26404 SOS 10518 HAS SOPS 7455 HAS SOUS 3893 HAS SOUPS 3739 WITH SCORE 3749.518
AT ITER 1045 NEW BEST:: SOT 26399 SOS 10508 HAS SOPS 7445 HAS SOUS 3889 HAS SOUPS 3735 WITH SCORE 3745.508
AT ITER 1062 NEW BEST:: SOT 26398 SOS 10482 HAS SOPS 7443 HAS SOUS 3887 HAS SOUPS 3733 WITH SCORE 3743.482
AT ITER 1064 NEW BEST:: SOT 26391 SOS 10468 HAS SOPS 7429 HAS SOUS 3880 HAS SOUPS 3726 WITH SCORE 3736.468
AT ITER 1086 NEW BEST:: SOT 26391 SOS 10458 HAS SOPS 7424 HAS SOUS 3880 HAS SOUPS 3726 WITH SCORE 3736.458
AT ITER 1096 NEW BEST:: SOT 26363 SOS 10420 HAS SOPS 7370 HAS SOUS 3860 HAS SOUPS 3706 WITH SCORE 3716.42
AT ITER 1104 NEW BEST:: SOT 26342 SOS 10336 HAS SOPS 7307 HAS SOUS 3818 HAS SOUPS 3664 WITH SCORE 3674.336
AT ITER 1116 NEW BEST:: SOT 26340 SOS 10333 HAS SOPS 7303 HAS SOUS 3816 HAS SOUPS 3662 WITH SCORE 3672.333
AT ITER 1122 NEW BEST:: SOT 26334 SOS 10231 HAS SOPS 7201 HAS SOUS 3801 HAS SOUPS 3647 WITH SCORE 3657.231
AT ITER 1152 NEW BEST:: SOT 26315 SOS 10212 HAS SOPS 7163 HAS SOUS 3774 HAS SOUPS 3609 WITH SCORE 3619.212
AT ITER 1183 NEW BEST:: SOT 26319 SOS 10220 HAS SOPS 7137 HAS SOUS 3748 HAS SOUPS 3583 WITH SCORE 3593.22
AT ITER 1187 NEW BEST:: SOT 26315 SOS 10214 HAS SOPS 7129 HAS SOUS 3740 HAS SOUPS 3575 WITH SCORE 3585.214
AT ITER 1190 NEW BEST:: SOT 26311 SOS 10206 HAS SOPS 7121 HAS SOUS 3732 HAS SOUPS 3567 WITH SCORE 3577.206
AT ITER 1193 NEW BEST:: SOT 26300 SOS 10195 HAS SOPS 7099 HAS SOUS 3710 HAS SOUPS 3545 WITH SCORE 3555.195
AT ITER 1195 NEW BEST:: SOT 26300 SOS 10189 HAS SOPS 7093 HAS SOUS 3704 HAS SOUPS 3539 WITH SCORE 3549.189
AT ITER 1209 NEW BEST:: SOT 26296 SOS 10181 HAS SOPS 7089 HAS SOUS 3704 HAS SOUPS 3539 WITH SCORE 3549.181
AT ITER 1233 NEW BEST:: SOT 26289 SOS 10174 HAS SOPS 7075 HAS SOUS 3690 HAS SOUPS 3525 WITH SCORE 3535.174
AT ITER 1252 NEW BEST:: SOT 26271 SOS 10130 HAS SOPS 7023 HAS SOUS 3644 HAS SOUPS 3479 WITH SCORE 3489.13
AT ITER 1256 NEW BEST:: SOT 26263 SOS 10124 HAS SOPS 7017 HAS SOUS 3643 HAS SOUPS 3478 WITH SCORE 3488.124
AT ITER 1265 NEW BEST:: SOT 26268 SOS 10127 HAS SOPS 7013 HAS SOUS 3639 HAS SOUPS 3474 WITH SCORE 3484.127
AT ITER 1301 NEW BEST:: SOT 26259 SOS 10155 HAS SOPS 7020 HAS SOUS 3637 HAS SOUPS 3472 WITH SCORE 3482.155
AT ITER 1304 NEW BEST:: SOT 26259 SOS 10150 HAS SOPS 7012 HAS SOUS 3633 HAS SOUPS 3468 WITH SCORE 3478.15
AT ITER 1310 NEW BEST:: SOT 26263 SOS 10154 HAS SOPS 7016 HAS SOUS 3629 HAS SOUPS 3464 WITH SCORE 3474.154
AT ITER 1324 NEW BEST:: SOT 26273 SOS 10133 HAS SOPS 7000 HAS SOUS 3622 HAS SOUPS 3457 WITH SCORE 3467.133
AT ITER 1373 NEW BEST:: SOT 26245 SOS 10119 HAS SOPS 6972 HAS SOUS 3608 HAS SOUPS 3443 WITH SCORE 3453.119
AT ITER 1380 NEW BEST:: SOT 26239 SOS 10082 HAS SOPS 6894 HAS SOUS 3577 HAS SOUPS 3412 WITH SCORE 3422.082
AT ITER 1391 NEW BEST:: SOT 26238 SOS 10078 HAS SOPS 6892 HAS SOUS 3575 HAS SOUPS 3410 WITH SCORE 3420.078
AT ITER 1395 NEW BEST:: SOT 26148 SOS 13447 HAS SOPS 6196 HAS SOUS 3542 HAS SOUPS 3350 WITH SCORE 3363.447
AT ITER 1411 NEW BEST:: SOT 26148 SOS 13433 HAS SOPS 6189 HAS SOUS 3542 HAS SOUPS 3350 WITH SCORE 3363.433
AT ITER 1412 NEW BEST:: SOT 26146 SOS 13427 HAS SOPS 6181 HAS SOUS 3538 HAS SOUPS 3346 WITH SCORE 3359.427
AT ITER 1428 NEW BEST:: SOT 26146 SOS 13396 HAS SOPS 6181 HAS SOUS 3538 HAS SOUPS 3346 WITH SCORE 3359.396
AT ITER 1430 NEW BEST:: SOT 26145 SOS 13422 HAS SOPS 6179 HAS SOUS 3536 HAS SOUPS 3344 WITH SCORE 3357.422
AT ITER 1448 NEW BEST:: SOT 26140 SOS 13414 HAS SOPS 6164 HAS SOUS 3521 HAS SOUPS 3329 WITH SCORE 3342.414
AT ITER 1464 NEW BEST:: SOT 26102 SOS 13366 HAS SOPS 6150 HAS SOUS 3489 HAS SOUPS 3297 WITH SCORE 3310.366
AT ITER 1471 NEW BEST:: SOT 26096 SOS 13360 HAS SOPS 6144 HAS SOUS 3483 HAS SOUPS 3291 WITH SCORE 3304.36
AT ITER 1481 NEW BEST:: SOT 26087 SOS 13351 HAS SOPS 6126 HAS SOUS 3475 HAS SOUPS 3283 WITH SCORE 3296.351
AT ITER 1504 NEW BEST:: SOT 26087 SOS 13330 HAS SOPS 6112 HAS SOUS 3475 HAS SOUPS 3283 WITH SCORE 3296.33
AT ITER 1513 NEW BEST:: SOT 26086 SOS 13311 HAS SOPS 6101 HAS SOUS 3475 HAS SOUPS 3283 WITH SCORE 3296.311
AT ITER 1539 NEW BEST:: SOT 26086 SOS 13309 HAS SOPS 6101 HAS SOUS 3475 HAS SOUPS 3283 WITH SCORE 3296.309
AT ITER 1562 NEW BEST:: SOT 26070 SOS 13275 HAS SOPS 6069 HAS SOUS 3450 HAS SOUPS 3258 WITH SCORE 3271.275
AT ITER 1570 NEW BEST:: SOT 26076 SOS 13281 HAS SOPS 6064 HAS SOUS 3445 HAS SOUPS 3253 WITH SCORE 3266.281
AT ITER 1626 NEW BEST:: SOT 26069 SOS 13274 HAS SOPS 6057 HAS SOUS 3445 HAS SOUPS 3253 WITH SCORE 3266.274
AT ITER 1634 NEW BEST:: SOT 26066 SOS 13270 HAS SOPS 6051 HAS SOUS 3439 HAS SOUPS 3247 WITH SCORE 3260.27
AT ITER 1636 NEW BEST:: SOT 26066 SOS 13268 HAS SOPS 6049 HAS SOUS 3437 HAS SOUPS 3245 WITH SCORE 3258.268
AT ITER 1651 NEW BEST:: SOT 26066 SOS 13266 HAS SOPS 6049 HAS SOUS 3437 HAS SOUPS 3245 WITH SCORE 3258.266
AT ITER 1652 NEW BEST:: SOT 26041 SOS 13245 HAS SOPS 6014 HAS SOUS 3413 HAS SOUPS 3221 WITH SCORE 3234.245
AT ITER 1671 NEW BEST:: SOT 26010 SOS 16052 HAS SOPS 5967 HAS SOUS 3390 HAS SOUPS 3182 WITH SCORE 3198.052
AT ITER 1681 NEW BEST:: SOT 26015 SOS 16046 HAS SOPS 5968 HAS SOUS 3387 HAS SOUPS 3179 WITH SCORE 3195.046
AT ITER 1682 NEW BEST:: SOT 26017 SOS 16052 HAS SOPS 5974 HAS SOUS 3373 HAS SOUPS 3165 WITH SCORE 3181.052
AT ITER 1685 NEW BEST:: SOT 26009 SOS 16044 HAS SOPS 5966 HAS SOUS 3365 HAS SOUPS 3157 WITH SCORE 3173.044
AT ITER 1692 NEW BEST:: SOT 26007 SOS 16038 HAS SOPS 5960 HAS SOUS 3361 HAS SOUPS 3153 WITH SCORE 3169.038
AT ITER 1738 NEW BEST:: SOT 26019 SOS 16045 HAS SOPS 5959 HAS SOUS 3360 HAS SOUPS 3152 WITH SCORE 3168.045
AT ITER 1766 NEW BEST:: SOT 26015 SOS 16039 HAS SOPS 5951 HAS SOUS 3355 HAS SOUPS 3147 WITH SCORE 3163.039
AT ITER 1767 NEW BEST:: SOT 26010 SOS 16025 HAS SOPS 5932 HAS SOUS 3345 HAS SOUPS 3137 WITH SCORE 3153.025
AT ITER 1804 NEW BEST:: SOT 25994 SOS 15993 HAS SOPS 5884 HAS SOUS 3297 HAS SOUPS 3089 WITH SCORE 3104.993
AT ITER 1828 NEW BEST:: SOT 25992 SOS 15982 HAS SOPS 5880 HAS SOUS 3293 HAS SOUPS 3085 WITH SCORE 3100.982
AT ITER 1837 NEW BEST:: SOT 25993 SOS 15926 HAS SOPS 5850 HAS SOUS 3275 HAS SOUPS 3067 WITH SCORE 3082.926
AT ITER 1853 NEW BEST:: SOT 25976 SOS 15908 HAS SOPS 5906 HAS SOUS 3275 HAS SOUPS 3067 WITH SCORE 3082.908
AT ITER 1869 NEW BEST:: SOT 25976 SOS 15908 HAS SOPS 5901 HAS SOUS 3269 HAS SOUPS 3061 WITH SCORE 3076.908
AT ITER 1883 NEW BEST:: SOT 25976 SOS 15904 HAS SOPS 5897 HAS SOUS 3265 HAS SOUPS 3057 WITH SCORE 3072.904
AT ITER 1894 NEW BEST:: SOT 25975 SOS 15949 HAS SOPS 5895 HAS SOUS 3264 HAS SOUPS 3055 WITH SCORE 3070.949
AT ITER 1916 NEW BEST:: SOT 25963 SOS 15937 HAS SOPS 5883 HAS SOUS 3252 HAS SOUPS 3043 WITH SCORE 3058.937
AT ITER 1936 NEW BEST:: SOT 25955 SOS 15921 HAS SOPS 5867 HAS SOUS 3236 HAS SOUPS 3027 WITH SCORE 3042.921
AT ITER 1952 NEW BEST:: SOT 25953 SOS 15900 HAS SOPS 5846 HAS SOUS 3213 HAS SOUPS 3004 WITH SCORE 3019.9
AT ITER 1983 NEW BEST:: SOT 25952 SOS 15898 HAS SOPS 5835 HAS SOUS 3203 HAS SOUPS 2994 WITH SCORE 3009.898
AT ITER 1991 NEW BEST:: SOT 25945 SOS 15898 HAS SOPS 5828 HAS SOUS 3196 HAS SOUPS 2987 WITH SCORE 3002.898
AT ITER 2007 NEW BEST:: SOT 25931 SOS 15870 HAS SOPS 5818 HAS SOUS 3193 HAS SOUPS 2984 WITH SCORE 2999.87
AT ITER 2018 NEW BEST:: SOT 25929 SOS 15868 HAS SOPS 5814 HAS SOUS 3189 HAS SOUPS 2980 WITH SCORE 2995.868
AT ITER 2039 NEW BEST:: SOT 25928 SOS 15867 HAS SOPS 5812 HAS SOUS 3187 HAS SOUPS 2978 WITH SCORE 2993.867
AT ITER 2057 NEW BEST:: SOT 25927 SOS 15912 HAS SOPS 5810 HAS SOUS 3187 HAS SOUPS 2977 WITH SCORE 2992.912
AT ITER 2061 NEW BEST:: SOT 25922 SOS 15907 HAS SOPS 5800 HAS SOUS 3182 HAS SOUPS 2972 WITH SCORE 2987.907
AT ITER 2072 NEW BEST:: SOT 25921 SOS 15905 HAS SOPS 5798 HAS SOUS 3181 HAS SOUPS 2971 WITH SCORE 2986.905
AT ITER 2091 NEW BEST:: SOT 25916 SOS 15901 HAS SOPS 5788 HAS SOUS 3171 HAS SOUPS 2961 WITH SCORE 2976.901
AT ITER 2093 NEW BEST:: SOT 25916 SOS 15900 HAS SOPS 5770 HAS SOUS 3161 HAS SOUPS 2951 WITH SCORE 2966.9
AT ITER 2094 NEW BEST:: SOT 25912 SOS 15898 HAS SOPS 5766 HAS SOUS 3157 HAS SOUPS 2947 WITH SCORE 2962.898
AT ITER 2138 NEW BEST:: SOT 25906 SOS 15892 HAS SOPS 5760 HAS SOUS 3151 HAS SOUPS 2941 WITH SCORE 2956.892
AT ITER 2151 NEW BEST:: SOT 25896 SOS 15882 HAS SOPS 5740 HAS SOUS 3131 HAS SOUPS 2921 WITH SCORE 2936.882
AT ITER 2197 NEW BEST:: SOT 25880 SOS 15852 HAS SOPS 5708 HAS SOUS 3100 HAS SOUPS 2890 WITH SCORE 2905.852
AT ITER 2212 NEW BEST:: SOT 25876 SOS 15848 HAS SOPS 5700 HAS SOUS 3092 HAS SOUPS 2882 WITH SCORE 2897.848
AT ITER 2308 NEW BEST:: SOT 25876 SOS 15847 HAS SOPS 5699 HAS SOUS 3092 HAS SOUPS 2882 WITH SCORE 2897.847
AT ITER 2386 NEW BEST:: SOT 25874 SOS 15847 HAS SOPS 5697 HAS SOUS 3090 HAS SOUPS 2880 WITH SCORE 2895.847
AT ITER 2405 NEW BEST:: SOT 25901 SOS 15872 HAS SOPS 5633 HAS SOUS 3085 HAS SOUPS 2875 WITH SCORE 2890.872
AT ITER 2429 NEW BEST:: SOT 25899 SOS 15868 HAS SOPS 5627 HAS SOUS 3079 HAS SOUPS 2869 WITH SCORE 2884.868
AT ITER 2436 NEW BEST:: SOT 25892 SOS 15860 HAS SOPS 5618 HAS SOUS 3076 HAS SOUPS 2866 WITH SCORE 2881.86
AT ITER 2461 NEW BEST:: SOT 25888 SOS 15851 HAS SOPS 5610 HAS SOUS 3068 HAS SOUPS 2858 WITH SCORE 2873.851
AT ITER 2466 NEW BEST:: SOT 25933 SOS 15887 HAS SOPS 5526 HAS SOUS 3056 HAS SOUPS 2846 WITH SCORE 2861.887
AT ITER 2473 NEW BEST:: SOT 25936 SOS 15893 HAS SOPS 5461 HAS SOUS 3045 HAS SOUPS 2835 WITH SCORE 2850.893
AT ITER 2549 NEW BEST:: SOT 25934 SOS 15861 HAS SOPS 5442 HAS SOUS 3041 HAS SOUPS 2831 WITH SCORE 2846.861
AT ITER 2734 NEW BEST:: SOT 25939 SOS 15848 HAS SOPS 5434 HAS SOUS 3033 HAS SOUPS 2823 WITH SCORE 2838.848
AT ITER 2790 NEW BEST:: SOT 25937 SOS 15844 HAS SOPS 5430 HAS SOUS 3031 HAS SOUPS 2821 WITH SCORE 2836.844
AT ITER 2836 NEW BEST:: SOT 25936 SOS 15841 HAS SOPS 5421 HAS SOUS 3023 HAS SOUPS 2813 WITH SCORE 2828.841
AT ITER 2863 NEW BEST:: SOT 25934 SOS 15832 HAS SOPS 5413 HAS SOUS 3014 HAS SOUPS 2804 WITH SCORE 2819.832
AT ITER 2868 NEW BEST:: SOT 25933 SOS 15829 HAS SOPS 5410 HAS SOUS 3012 HAS SOUPS 2802 WITH SCORE 2817.829
AT ITER 2968 NEW BEST:: SOT 25936 SOS 15824 HAS SOPS 5410 HAS SOUS 3010 HAS SOUPS 2800 WITH SCORE 2815.824
AT ITER 2984 NEW BEST:: SOT 25935 SOS 15821 HAS SOPS 5407 HAS SOUS 3008 HAS SOUPS 2798 WITH SCORE 2813.821
AT ITER 3071 NEW BEST:: SOT 25934 SOS 15819 HAS SOPS 5404 HAS SOUS 3005 HAS SOUPS 2795 WITH SCORE 2810.819
AT ITER 3122 NEW BEST:: SOT 25932 SOS 15812 HAS SOPS 5384 HAS SOUS 2986 HAS SOUPS 2776 WITH SCORE 2791.812
AT ITER 3139 NEW BEST:: SOT 25931 SOS 15809 HAS SOPS 5381 HAS SOUS 2985 HAS SOUPS 2775 WITH SCORE 2790.809
AT ITER 3157 NEW BEST:: SOT 25938 SOS 15804 HAS SOPS 5376 HAS SOUS 2982 HAS SOUPS 2772 WITH SCORE 2787.804
AT ITER 3158 NEW BEST:: SOT 25922 SOS 15772 HAS SOPS 5344 HAS SOUS 2950 HAS SOUPS 2740 WITH SCORE 2755.772
AT ITER 3166 NEW BEST:: SOT 25920 SOS 15772 HAS SOPS 5342 HAS SOUS 2948 HAS SOUPS 2738 WITH SCORE 2753.772
AT ITER 3173 NEW BEST:: SOT 25922 SOS 15778 HAS SOPS 5346 HAS SOUS 2946 HAS SOUPS 2736 WITH SCORE 2751.778
AT ITER 3177 NEW BEST:: SOT 25919 SOS 15773 HAS SOPS 5340 HAS SOUS 2944 HAS SOUPS 2734 WITH SCORE 2749.773
AT ITER 3199 NEW BEST:: SOT 25918 SOS 15771 HAS SOPS 5337 HAS SOUS 2941 HAS SOUPS 2731 WITH SCORE 2746.771
AT ITER 3311 NEW BEST:: SOT 25904 SOS 15750 HAS SOPS 5309 HAS SOUS 2912 HAS SOUPS 2702 WITH SCORE 2717.75
AT ITER 3319 NEW BEST:: SOT 25904 SOS 15750 HAS SOPS 5308 HAS SOUS 2911 HAS SOUPS 2701 WITH SCORE 2716.75
AT ITER 3331 NEW BEST:: SOT 25908 SOS 15754 HAS SOPS 5307 HAS SOUS 2910 HAS SOUPS 2700 WITH SCORE 2715.754
AT ITER 3333 NEW BEST:: SOT 25908 SOS 15752 HAS SOPS 5306 HAS SOUS 2910 HAS SOUPS 2700 WITH SCORE 2715.752
AT ITER 3342 NEW BEST:: SOT 25901 SOS 15745 HAS SOPS 5299 HAS SOUS 2905 HAS SOUPS 2695 WITH SCORE 2710.745
AT ITER 3345 NEW BEST:: SOT 25900 SOS 15747 HAS SOPS 5297 HAS SOUS 2904 HAS SOUPS 2694 WITH SCORE 2709.747
AT ITER 3364 NEW BEST:: SOT 25899 SOS 15746 HAS SOPS 5296 HAS SOUS 2904 HAS SOUPS 2694 WITH SCORE 2709.746
AT ITER 3368 NEW BEST:: SOT 25890 SOS 15734 HAS SOPS 5282 HAS SOUS 2893 HAS SOUPS 2683 WITH SCORE 2698.734
AT ITER 3372 NEW BEST:: SOT 25890 SOS 15734 HAS SOPS 5280 HAS SOUS 2891 HAS SOUPS 2681 WITH SCORE 2696.734
AT ITER 3390 NEW BEST:: SOT 25889 SOS 15730 HAS SOPS 5276 HAS SOUS 2888 HAS SOUPS 2678 WITH SCORE 2693.73
AT ITER 3414 NEW BEST:: SOT 25886 SOS 15724 HAS SOPS 5270 HAS SOUS 2881 HAS SOUPS 2671 WITH SCORE 2686.724
AT ITER 3451 NEW BEST:: SOT 25883 SOS 15721 HAS SOPS 5264 HAS SOUS 2875 HAS SOUPS 2665 WITH SCORE 2680.721
AT ITER 3467 NEW BEST:: SOT 25883 SOS 15723 HAS SOPS 5264 HAS SOUS 2874 HAS SOUPS 2664 WITH SCORE 2679.723
AT ITER 3469 NEW BEST:: SOT 25883 SOS 15723 HAS SOPS 5263 HAS SOUS 2872 HAS SOUPS 2662 WITH SCORE 2677.723
AT ITER 3470 NEW BEST:: SOT 25881 SOS 18052 HAS SOPS 5248 HAS SOUS 2870 HAS SOUPS 2647 WITH SCORE 2665.052
AT ITER 3480 NEW BEST:: SOT 25879 SOS 18063 HAS SOPS 5251 HAS SOUS 2867 HAS SOUPS 2644 WITH SCORE 2662.063
AT ITER 3492 NEW BEST:: SOT 25870 SOS 18053 HAS SOPS 5219 HAS SOUS 2853 HAS SOUPS 2630 WITH SCORE 2648.053
AT ITER 3497 NEW BEST:: SOT 25868 SOS 18048 HAS SOPS 5153 HAS SOUS 2840 HAS SOUPS 2617 WITH SCORE 2635.048
AT ITER 3538 NEW BEST:: SOT 25868 SOS 18047 HAS SOPS 5123 HAS SOUS 2815 HAS SOUPS 2592 WITH SCORE 2610.047
AT ITER 3549 NEW BEST:: SOT 25865 SOS 18044 HAS SOPS 5117 HAS SOUS 2812 HAS SOUPS 2589 WITH SCORE 2607.044
AT ITER 3626 NEW BEST:: SOT 25865 SOS 18042 HAS SOPS 5116 HAS SOUS 2812 HAS SOUPS 2589 WITH SCORE 2607.042
AT ITER 3627 NEW BEST:: SOT 25865 SOS 18042 HAS SOPS 5112 HAS SOUS 2811 HAS SOUPS 2585 WITH SCORE 2603.042
AT ITER 3716 NEW BEST:: SOT 25863 SOS 18040 HAS SOPS 5109 HAS SOUS 2808 HAS SOUPS 2582 WITH SCORE 2600.04
AT ITER 3721 NEW BEST:: SOT 25863 SOS 18039 HAS SOPS 5109 HAS SOUS 2807 HAS SOUPS 2581 WITH SCORE 2599.039
AT ITER 3740 NEW BEST:: SOT 25862 SOS 18039 HAS SOPS 5108 HAS SOUS 2806 HAS SOUPS 2580 WITH SCORE 2598.039
AT ITER 3742 NEW BEST:: SOT 25861 SOS 18037 HAS SOPS 5106 HAS SOUS 2805 HAS SOUPS 2579 WITH SCORE 2597.037
AT ITER 3764 NEW BEST:: SOT 25860 SOS 18036 HAS SOPS 5104 HAS SOUS 2803 HAS SOUPS 2577 WITH SCORE 2595.036
AT ITER 3775 NEW BEST:: SOT 25859 SOS 18034 HAS SOPS 5102 HAS SOUS 2800 HAS SOUPS 2574 WITH SCORE 2592.034
AT ITER 3837 NEW BEST:: SOT 25851 SOS 18027 HAS SOPS 5090 HAS SOUS 2788 HAS SOUPS 2562 WITH SCORE 2580.027
AT ITER 3863 NEW BEST:: SOT 25849 SOS 18024 HAS SOPS 5086 HAS SOUS 2786 HAS SOUPS 2560 WITH SCORE 2578.024
AT ITER 3898 NEW BEST:: SOT 25848 SOS 18022 HAS SOPS 5084 HAS SOUS 2785 HAS SOUPS 2559 WITH SCORE 2577.022
AT ITER 3945 NEW BEST:: SOT 25849 SOS 18021 HAS SOPS 5084 HAS SOUS 2785 HAS SOUPS 2559 WITH SCORE 2577.021
AT ITER 3999 NEW BEST:: SOT 25849 SOS 18021 HAS SOPS 5083 HAS SOUS 2784 HAS SOUPS 2558 WITH SCORE 2576.021
AT ITER 4064 NEW BEST:: SOT 25848 SOS 18019 HAS SOPS 5081 HAS SOUS 2782 HAS SOUPS 2556 WITH SCORE 2574.019
AT ITER 4066 NEW BEST:: SOT 25848 SOS 18018 HAS SOPS 5079 HAS SOUS 2779 HAS SOUPS 2553 WITH SCORE 2571.018
AT ITER 4182 NEW BEST:: SOT 25850 SOS 18382 HAS SOPS 5079 HAS SOUS 2780 HAS SOUPS 2552 WITH SCORE 2570.382
AT ITER 4278 NEW BEST:: SOT 25851 SOS 18381 HAS SOPS 5077 HAS SOUS 2778 HAS SOUPS 2550 WITH SCORE 2568.381
AT ITER 4308 NEW BEST:: SOT 25829 SOS 18366 HAS SOPS 5069 HAS SOUS 2770 HAS SOUPS 2542 WITH SCORE 2560.366
AT ITER 4520 NEW BEST:: SOT 25824 SOS 18366 HAS SOPS 5067 HAS SOUS 2768 HAS SOUPS 2540 WITH SCORE 2558.366
AT ITER 4530 NEW BEST:: SOT 25824 SOS 18362 HAS SOPS 5067 HAS SOUS 2768 HAS SOUPS 2540 WITH SCORE 2558.362
AT ITER 4807 NEW BEST:: SOT 25824 SOS 18360 HAS SOPS 5066 HAS SOUS 2768 HAS SOUPS 2540 WITH SCORE 2558.36
AT ITER 4947 NEW BEST:: SOT 25813 SOS 18349 HAS SOPS 5059 HAS SOUS 2761 HAS SOUPS 2533 WITH SCORE 2551.349
AT ITER 5021 NEW BEST:: SOT 25809 SOS 18351 HAS SOPS 5057 HAS SOUS 2759 HAS SOUPS 2531 WITH SCORE 2549.351
AT ITER 5030 NEW BEST:: SOT 25805 SOS 18345 HAS SOPS 5049 HAS SOUS 2753 HAS SOUPS 2525 WITH SCORE 2543.345
AT ITER 5247 NEW BEST:: SOT 25806 SOS 18343 HAS SOPS 5048 HAS SOUS 2752 HAS SOUPS 2524 WITH SCORE 2542.343
AT ITER 5356 NEW BEST:: SOT 25867 SOS 18405 HAS SOPS 5102 HAS SOUS 2751 HAS SOUPS 2523 WITH SCORE 2541.405
AT ITER 5365 NEW BEST:: SOT 25867 SOS 18404 HAS SOPS 5102 HAS SOUS 2750 HAS SOUPS 2523 WITH SCORE 2541.404
AT ITER 5376 NEW BEST:: SOT 25867 SOS 18402 HAS SOPS 5099 HAS SOUS 2748 HAS SOUPS 2520 WITH SCORE 2538.402
AT ITER 5403 NEW BEST:: SOT 25865 SOS 18401 HAS SOPS 5098 HAS SOUS 2747 HAS SOUPS 2519 WITH SCORE 2537.401
AT ITER 5405 NEW BEST:: SOT 25864 SOS 18399 HAS SOPS 5096 HAS SOUS 2743 HAS SOUPS 2515 WITH SCORE 2533.399
AT ITER 5421 NEW BEST:: SOT 25870 SOS 18405 HAS SOPS 5088 HAS SOUS 2735 HAS SOUPS 2507 WITH SCORE 2525.405
AT ITER 5490 NEW BEST:: SOT 25868 SOS 18403 HAS SOPS 5084 HAS SOUS 2731 HAS SOUPS 2503 WITH SCORE 2521.403
AT ITER 5491 NEW BEST:: SOT 25863 SOS 18393 HAS SOPS 5084 HAS SOUS 2731 HAS SOUPS 2503 WITH SCORE 2521.393
AT ITER 5503 NEW BEST:: SOT 25838 SOS 18368 HAS SOPS 5060 HAS SOUS 2720 HAS SOUPS 2492 WITH SCORE 2510.368
AT ITER 5555 NEW BEST:: SOT 25837 SOS 18367 HAS SOPS 5058 HAS SOUS 2718 HAS SOUPS 2490 WITH SCORE 2508.367
AT ITER 5560 NEW BEST:: SOT 25836 SOS 18461 HAS SOPS 5055 HAS SOUS 2717 HAS SOUPS 2487 WITH SCORE 2505.461
AT ITER 5626 NEW BEST:: SOT 25834 SOS 18471 HAS SOPS 5058 HAS SOUS 2715 HAS SOUPS 2485 WITH SCORE 2503.471
AT ITER 5661 NEW BEST:: SOT 25768 SOS 18405 HAS SOPS 4992 HAS SOUS 2681 HAS SOUPS 2451 WITH SCORE 2469.405
AT ITER 5665 NEW BEST:: SOT 25768 SOS 18405 HAS SOPS 4989 HAS SOUS 2678 HAS SOUPS 2448 WITH SCORE 2466.405
AT ITER 5732 NEW BEST:: SOT 25768 SOS 18402 HAS SOPS 4986 HAS SOUS 2675 HAS SOUPS 2445 WITH SCORE 2463.402
AT ITER 5780 NEW BEST:: SOT 25768 SOS 18399 HAS SOPS 4986 HAS SOUS 2675 HAS SOUPS 2445 WITH SCORE 2463.399
AT ITER 5790 NEW BEST:: SOT 25767 SOS 18398 HAS SOPS 4985 HAS SOUS 2674 HAS SOUPS 2444 WITH SCORE 2462.398
AT ITER 5805 NEW BEST:: SOT 25764 SOS 18396 HAS SOPS 4979 HAS SOUS 2672 HAS SOUPS 2442 WITH SCORE 2460.396
AT ITER 5907 NEW BEST:: SOT 25762 SOS 18396 HAS SOPS 4978 HAS SOUS 2671 HAS SOUPS 2441 WITH SCORE 2459.396
AT ITER 5944 NEW BEST:: SOT 25766 SOS 18395 HAS SOPS 4972 HAS SOUS 2661 HAS SOUPS 2431 WITH SCORE 2449.395
AT ITER 5954 NEW BEST:: SOT 25768 SOS 18393 HAS SOPS 4972 HAS SOUS 2661 HAS SOUPS 2431 WITH SCORE 2449.393
AT ITER 6000 NEW BEST:: SOT 25768 SOS 18392 HAS SOPS 4971 HAS SOUS 2661 HAS SOUPS 2431 WITH SCORE 2449.392
AT ITER 6113 NEW BEST:: SOT 25767 SOS 18391 HAS SOPS 4969 HAS SOUS 2659 HAS SOUPS 2429 WITH SCORE 2447.391
AT ITER 6268 NEW BEST:: SOT 25760 SOS 18389 HAS SOPS 4965 HAS SOUS 2658 HAS SOUPS 2428 WITH SCORE 2446.389
AT ITER 6307 NEW BEST:: SOT 25759 SOS 18386 HAS SOPS 4963 HAS SOUS 2658 HAS SOUPS 2428 WITH SCORE 2446.386
AT ITER 6326 NEW BEST:: SOT 25757 SOS 18378 HAS SOPS 4953 HAS SOUS 2648 HAS SOUPS 2418 WITH SCORE 2436.378
AT ITER 6398 NEW BEST:: SOT 25757 SOS 18739 HAS SOPS 4949 HAS SOUS 2646 HAS SOUPS 2414 WITH SCORE 2432.739
AT ITER 6433 NEW BEST:: SOT 25757 SOS 18737 HAS SOPS 4948 HAS SOUS 2646 HAS SOUPS 2414 WITH SCORE 2432.737
AT ITER 6470 NEW BEST:: SOT 25758 SOS 18738 HAS SOPS 4947 HAS SOUS 2645 HAS SOUPS 2413 WITH SCORE 2431.738
AT ITER 6510 NEW BEST:: SOT 25755 SOS 18735 HAS SOPS 4946 HAS SOUS 2644 HAS SOUPS 2412 WITH SCORE 2430.735
AT ITER 6517 NEW BEST:: SOT 25752 SOS 18720 HAS SOPS 4934 HAS SOUS 2638 HAS SOUPS 2406 WITH SCORE 2424.72
AT ITER 6553 NEW BEST:: SOT 25690 SOS 18659 HAS SOPS 4874 HAS SOUS 2621 HAS SOUPS 2389 WITH SCORE 2407.659
AT ITER 6592 NEW BEST:: SOT 25689 SOS 18659 HAS SOPS 4873 HAS SOUS 2620 HAS SOUPS 2388 WITH SCORE 2406.659
AT ITER 6612 NEW BEST:: SOT 25688 SOS 18658 HAS SOPS 4872 HAS SOUS 2619 HAS SOUPS 2387 WITH SCORE 2405.658
AT ITER 6667 NEW BEST:: SOT 25686 SOS 18653 HAS SOPS 4865 HAS SOUS 2612 HAS SOUPS 2380 WITH SCORE 2398.653
AT ITER 6742 NEW BEST:: SOT 25687 SOS 18650 HAS SOPS 4865 HAS SOUS 2612 HAS SOUPS 2380 WITH SCORE 2398.65
AT ITER 6747 NEW BEST:: SOT 25684 SOS 18636 HAS SOPS 4846 HAS SOUS 2591 HAS SOUPS 2359 WITH SCORE 2377.636
AT ITER 6898 NEW BEST:: SOT 25683 SOS 18634 HAS SOPS 4844 HAS SOUS 2589 HAS SOUPS 2357 WITH SCORE 2375.634
AT ITER 6937 NEW BEST:: SOT 25685 SOS 18629 HAS SOPS 4842 HAS SOUS 2584 HAS SOUPS 2352 WITH SCORE 2370.629
AT ITER 7103 NEW BEST:: SOT 25684 SOS 18627 HAS SOPS 4840 HAS SOUS 2583 HAS SOUPS 2351 WITH SCORE 2369.627
AT ITER 7153 NEW BEST:: SOT 25682 SOS 18625 HAS SOPS 4837 HAS SOUS 2580 HAS SOUPS 2348 WITH SCORE 2366.625
AT ITER 7180 NEW BEST:: SOT 25679 SOS 18624 HAS SOPS 4833 HAS SOUS 2576 HAS SOUPS 2344 WITH SCORE 2362.624
AT ITER 7332 NEW BEST:: SOT 25679 SOS 18804 HAS SOPS 4830 HAS SOUS 2575 HAS SOUPS 2342 WITH SCORE 2360.804
AT ITER 7498 NEW BEST:: SOT 25675 SOS 18805 HAS SOPS 4827 HAS SOUS 2572 HAS SOUPS 2339 WITH SCORE 2357.805
AT ITER 7512 NEW BEST:: SOT 25677 SOS 19168 HAS SOPS 4825 HAS SOUS 2572 HAS SOUPS 2337 WITH SCORE 2356.168
AT ITER 7519 NEW BEST:: SOT 25676 SOS 19167 HAS SOPS 4823 HAS SOUS 2570 HAS SOUPS 2335 WITH SCORE 2354.167
AT ITER 7606 NEW BEST:: SOT 25675 SOS 19167 HAS SOPS 4821 HAS SOUS 2568 HAS SOUPS 2333 WITH SCORE 2352.167
AT ITER 7619 NEW BEST:: SOT 25674 SOS 19166 HAS SOPS 4820 HAS SOUS 2567 HAS SOUPS 2332 WITH SCORE 2351.166
AT ITER 7636 NEW BEST:: SOT 25675 SOS 19264 HAS SOPS 4819 HAS SOUS 2568 HAS SOUPS 2331 WITH SCORE 2350.264
AT ITER 7717 NEW BEST:: SOT 25644 SOS 19233 HAS SOPS 4788 HAS SOUS 2553 HAS SOUPS 2316 WITH SCORE 2335.233
AT ITER 7730 NEW BEST:: SOT 25643 SOS 19232 HAS SOPS 4787 HAS SOUS 2552 HAS SOUPS 2315 WITH SCORE 2334.232
AT ITER 8035 NEW BEST:: SOT 25638 SOS 19234 HAS SOPS 4784 HAS SOUS 2549 HAS SOUPS 2312 WITH SCORE 2331.234
AT ITER 8048 NEW BEST:: SOT 25637 SOS 19233 HAS SOPS 4782 HAS SOUS 2547 HAS SOUPS 2310 WITH SCORE 2329.233
AT ITER 8081 NEW BEST:: SOT 25637 SOS 19235 HAS SOPS 4782 HAS SOUS 2545 HAS SOUPS 2308 WITH SCORE 2327.235
AT ITER 8126 NEW BEST:: SOT 25637 SOS 19236 HAS SOPS 4782 HAS SOUS 2544 HAS SOUPS 2307 WITH SCORE 2326.236
AT ITER 8180 NEW BEST:: SOT 25637 SOS 19235 HAS SOPS 4781 HAS SOUS 2543 HAS SOUPS 2306 WITH SCORE 2325.235
AT ITER 8187 NEW BEST:: SOT 25637 SOS 19234 HAS SOPS 4781 HAS SOUS 2543 HAS SOUPS 2306 WITH SCORE 2325.234
AT ITER 8370 NEW BEST:: SOT 25627 SOS 19221 HAS SOPS 4818 HAS SOUS 2543 HAS SOUPS 2306 WITH SCORE 2325.221
AT ITER 8583 NEW BEST:: SOT 25627 SOS 19219 HAS SOPS 4817 HAS SOUS 2543 HAS SOUPS 2306 WITH SCORE 2325.219
AT ITER 8632 NEW BEST:: SOT 25626 SOS 19217 HAS SOPS 4814 HAS SOUS 2541 HAS SOUPS 2304 WITH SCORE 2323.217
AT ITER 9014 NEW BEST:: SOT 25626 SOS 19216 HAS SOPS 4813 HAS SOUS 2540 HAS SOUPS 2303 WITH SCORE 2322.216
AT ITER 9420 NEW BEST:: SOT 25621 SOS 19216 HAS SOPS 4808 HAS SOUS 2535 HAS SOUPS 2298 WITH SCORE 2317.216
AT ITER 9497 NEW BEST:: SOT 25635 SOS 19228 HAS SOPS 4814 HAS SOUS 2534 HAS SOUPS 2297 WITH SCORE 2316.228
AT ITER 9582 NEW BEST:: SOT 25636 SOS 19229 HAS SOPS 4811 HAS SOUS 2531 HAS SOUPS 2294 WITH SCORE 2313.229
AT ITER 9590 NEW BEST:: SOT 25635 SOS 19228 HAS SOPS 4809 HAS SOUS 2529 HAS SOUPS 2292 WITH SCORE 2311.228
AT ITER 9663 NEW BEST:: SOT 25634 SOS 19228 HAS SOPS 4808 HAS SOUS 2528 HAS SOUPS 2291 WITH SCORE 2310.228
AT ITER 9752 NEW BEST:: SOT 25634 SOS 19228 HAS SOPS 4808 HAS SOUS 2523 HAS SOUPS 2286 WITH SCORE 2305.228
STATE_SPACE STATES 61917364225 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 12 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 951979474945 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678451055559

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FlexibleBarrier-PT-10a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is FlexibleBarrier-PT-10a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r163-tall-167838847900496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-10a.tgz
mv FlexibleBarrier-PT-10a execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;