Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r078-smll-158922972500328.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is FlexibleBarrier-PT-12a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972500328
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 304K
-rw-r--r-- 1 mcc users 3.6K Apr 4 18:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 4 18:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 4 07:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 4 07:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Apr 3 21:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 3 21:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 3 13:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 3 13:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 128K Mar 24 05:37 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 1589420482067

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 12a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 147 places, 448 transitions, 2045 arcs.
AT ITER 0 NEW BEST:: SOT 56392 SOS 46478 HAS SOPS 46478 HAS SOUS 27625 HAS SOUPS 27625 WITH SCORE 27671.478
AT ITER 1 NEW BEST:: SOT 56503 SOS 46511 HAS SOPS 46511 HAS SOUS 26326 HAS SOUPS 26326 WITH SCORE 26372.511
AT ITER 3 NEW BEST:: SOT 56543 SOS 46296 HAS SOPS 46296 HAS SOUS 25380 HAS SOUPS 25380 WITH SCORE 25426.296
AT ITER 4 NEW BEST:: SOT 56583 SOS 46250 HAS SOPS 46250 HAS SOUS 25336 HAS SOUPS 25336 WITH SCORE 25382.25
AT ITER 6 NEW BEST:: SOT 56604 SOS 45679 HAS SOPS 45679 HAS SOUS 24235 HAS SOUPS 24235 WITH SCORE 24280.679
AT ITER 7 NEW BEST:: SOT 56642 SOS 45635 HAS SOPS 45635 HAS SOUS 24193 HAS SOUPS 24193 WITH SCORE 24238.635
AT ITER 8 NEW BEST:: SOT 56408 SOS 44525 HAS SOPS 44525 HAS SOUS 21885 HAS SOUPS 21885 WITH SCORE 21929.525
AT ITER 10 NEW BEST:: SOT 56292 SOS 44407 HAS SOPS 44407 HAS SOUS 21871 HAS SOUPS 21871 WITH SCORE 21915.407
AT ITER 13 NEW BEST:: SOT 56297 SOS 44411 HAS SOPS 44411 HAS SOUS 21870 HAS SOUPS 21870 WITH SCORE 21914.411
AT ITER 15 NEW BEST:: SOT 56391 SOS 44400 HAS SOPS 44400 HAS SOUS 21870 HAS SOUPS 21870 WITH SCORE 21914.4
AT ITER 16 NEW BEST:: SOT 56003 SOS 43829 HAS SOPS 43829 HAS SOUS 21509 HAS SOUPS 21509 WITH SCORE 21552.829
AT ITER 17 NEW BEST:: SOT 56030 SOS 43682 HAS SOPS 43682 HAS SOUS 21442 HAS SOUPS 21442 WITH SCORE 21485.682
AT ITER 24 NEW BEST:: SOT 56030 SOS 43664 HAS SOPS 43664 HAS SOUS 21426 HAS SOUPS 21426 WITH SCORE 21469.664
AT ITER 25 NEW BEST:: SOT 54189 SOS 42919 HAS SOPS 41753 HAS SOUS 20947 HAS SOUPS 20854 WITH SCORE 20896.919
AT ITER 28 NEW BEST:: SOT 53931 SOS 42669 HAS SOPS 41503 HAS SOUS 20826 HAS SOUPS 20733 WITH SCORE 20775.669
AT ITER 31 NEW BEST:: SOT 53946 SOS 42578 HAS SOPS 41428 HAS SOUS 20752 HAS SOUPS 20659 WITH SCORE 20701.578
AT ITER 32 NEW BEST:: SOT 53954 SOS 42576 HAS SOPS 41426 HAS SOUS 20749 HAS SOUPS 20656 WITH SCORE 20698.576
AT ITER 33 NEW BEST:: SOT 52638 SOS 41094 HAS SOPS 39944 HAS SOUS 19945 HAS SOUPS 19852 WITH SCORE 19893.094
AT ITER 34 NEW BEST:: SOT 52560 SOS 40781 HAS SOPS 39565 HAS SOUS 19734 HAS SOUPS 19641 WITH SCORE 19681.781
AT ITER 37 NEW BEST:: SOT 52560 SOS 40745 HAS SOPS 39529 HAS SOUS 19710 HAS SOUPS 19617 WITH SCORE 19657.745
AT ITER 43 NEW BEST:: SOT 52560 SOS 40702 HAS SOPS 39486 HAS SOUS 19689 HAS SOUPS 19596 WITH SCORE 19636.702
AT ITER 48 NEW BEST:: SOT 52586 SOS 40712 HAS SOPS 39514 HAS SOUS 19679 HAS SOUPS 19586 WITH SCORE 19626.712
AT ITER 51 NEW BEST:: SOT 52681 SOS 40452 HAS SOPS 38686 HAS SOUS 18766 HAS SOUPS 18673 WITH SCORE 18713.452
AT ITER 52 NEW BEST:: SOT 52702 SOS 40437 HAS SOPS 38626 HAS SOUS 18706 HAS SOUPS 18613 WITH SCORE 18653.437
AT ITER 57 NEW BEST:: SOT 52686 SOS 40390 HAS SOPS 38594 HAS SOUS 18676 HAS SOUPS 18583 WITH SCORE 18623.39
AT ITER 60 NEW BEST:: SOT 52686 SOS 40387 HAS SOPS 38591 HAS SOUS 18676 HAS SOUPS 18583 WITH SCORE 18623.387
AT ITER 61 NEW BEST:: SOT 50846 SOS 40618 HAS SOPS 36711 HAS SOUS 17027 HAS SOUPS 16829 WITH SCORE 16869.618
AT ITER 64 NEW BEST:: SOT 50842 SOS 40614 HAS SOPS 36707 HAS SOUS 17023 HAS SOUPS 16825 WITH SCORE 16865.614
AT ITER 66 NEW BEST:: SOT 50847 SOS 40517 HAS SOPS 36627 HAS SOUS 16955 HAS SOUPS 16757 WITH SCORE 16797.517
AT ITER 72 NEW BEST:: SOT 50842 SOS 40507 HAS SOPS 36584 HAS SOUS 16912 HAS SOUPS 16714 WITH SCORE 16754.507
AT ITER 76 NEW BEST:: SOT 49602 SOS 39881 HAS SOPS 36287 HAS SOUS 16899 HAS SOUPS 16701 WITH SCORE 16740.881
AT ITER 79 NEW BEST:: SOT 49657 SOS 39459 HAS SOPS 35229 HAS SOUS 15802 HAS SOUPS 15604 WITH SCORE 15643.459
AT ITER 80 NEW BEST:: SOT 49741 SOS 39538 HAS SOPS 35206 HAS SOUS 15760 HAS SOUPS 15549 WITH SCORE 15588.538
AT ITER 82 NEW BEST:: SOT 49721 SOS 38958 HAS SOPS 33828 HAS SOUS 14816 HAS SOUPS 14605 WITH SCORE 14643.958
AT ITER 83 NEW BEST:: SOT 49721 SOS 38396 HAS SOPS 33266 HAS SOUS 14665 HAS SOUPS 14454 WITH SCORE 14492.396
AT ITER 88 NEW BEST:: SOT 49719 SOS 38394 HAS SOPS 33264 HAS SOUS 14663 HAS SOUPS 14452 WITH SCORE 14490.394
AT ITER 90 NEW BEST:: SOT 48713 SOS 37388 HAS SOPS 32244 HAS SOUS 14117 HAS SOUPS 13906 WITH SCORE 13943.388
AT ITER 91 NEW BEST:: SOT 48712 SOS 37386 HAS SOPS 32212 HAS SOUS 14085 HAS SOUPS 13874 WITH SCORE 13911.386
AT ITER 93 NEW BEST:: SOT 48563 SOS 37229 HAS SOPS 32054 HAS SOUS 13998 HAS SOUPS 13787 WITH SCORE 13824.229
AT ITER 100 NEW BEST:: SOT 48563 SOS 37229 HAS SOPS 32054 HAS SOUS 13996 HAS SOUPS 13785 WITH SCORE 13822.229
AT ITER 101 NEW BEST:: SOT 48577 SOS 36737 HAS SOPS 31565 HAS SOUS 13850 HAS SOUPS 13639 WITH SCORE 13675.737
AT ITER 103 NEW BEST:: SOT 48626 SOS 36734 HAS SOPS 31239 HAS SOUS 12997 HAS SOUPS 12785 WITH SCORE 12821.734
AT ITER 105 NEW BEST:: SOT 48101 SOS 36209 HAS SOPS 30714 HAS SOUS 12724 HAS SOUPS 12512 WITH SCORE 12548.209
AT ITER 107 NEW BEST:: SOT 48101 SOS 36209 HAS SOPS 30714 HAS SOUS 12723 HAS SOUPS 12511 WITH SCORE 12547.209
AT ITER 109 NEW BEST:: SOT 48094 SOS 36155 HAS SOPS 30089 HAS SOUS 11910 HAS SOUPS 11698 WITH SCORE 11734.155
AT ITER 111 NEW BEST:: SOT 48214 SOS 35238 HAS SOPS 30224 HAS SOUS 11852 HAS SOUPS 11655 WITH SCORE 11690.238
AT ITER 114 NEW BEST:: SOT 47108 SOS 34132 HAS SOPS 29118 HAS SOUS 11274 HAS SOUPS 11077 WITH SCORE 11111.132
AT ITER 115 NEW BEST:: SOT 47106 SOS 34128 HAS SOPS 29114 HAS SOUS 11274 HAS SOUPS 11077 WITH SCORE 11111.128
AT ITER 122 NEW BEST:: SOT 45822 SOS 32769 HAS SOPS 27736 HAS SOUS 10657 HAS SOUPS 10460 WITH SCORE 10492.769
AT ITER 123 NEW BEST:: SOT 45805 SOS 32746 HAS SOPS 27702 HAS SOUS 10634 HAS SOUPS 10437 WITH SCORE 10469.746
AT ITER 124 NEW BEST:: SOT 45772 SOS 32639 HAS SOPS 27541 HAS SOUS 10592 HAS SOUPS 10395 WITH SCORE 10427.639
AT ITER 137 NEW BEST:: SOT 45721 SOS 32537 HAS SOPS 27388 HAS SOUS 10436 HAS SOUPS 10239 WITH SCORE 10271.537
AT ITER 141 NEW BEST:: SOT 45694 SOS 32519 HAS SOPS 27334 HAS SOUS 10410 HAS SOUPS 10213 WITH SCORE 10245.519
AT ITER 143 NEW BEST:: SOT 45651 SOS 32432 HAS SOPS 27248 HAS SOUS 10345 HAS SOUPS 10148 WITH SCORE 10180.432
AT ITER 147 NEW BEST:: SOT 45651 SOS 32232 HAS SOPS 27056 HAS SOUS 10273 HAS SOUPS 10076 WITH SCORE 10108.232
AT ITER 151 NEW BEST:: SOT 45642 SOS 32227 HAS SOPS 27055 HAS SOUS 10272 HAS SOUPS 10075 WITH SCORE 10107.227
AT ITER 155 NEW BEST:: SOT 45634 SOS 32211 HAS SOPS 27031 HAS SOUS 10248 HAS SOUPS 10051 WITH SCORE 10083.211
AT ITER 156 NEW BEST:: SOT 46195 SOS 32106 HAS SOPS 26633 HAS SOUS 10086 HAS SOUPS 9889 WITH SCORE 9921.106
AT ITER 161 NEW BEST:: SOT 46185 SOS 32078 HAS SOPS 26605 HAS SOUS 10084 HAS SOUPS 9887 WITH SCORE 9919.078
AT ITER 162 NEW BEST:: SOT 46164 SOS 32036 HAS SOPS 26542 HAS SOUS 10021 HAS SOUPS 9824 WITH SCORE 9856.036
AT ITER 164 NEW BEST:: SOT 46161 SOS 32036 HAS SOPS 26539 HAS SOUS 10015 HAS SOUPS 9818 WITH SCORE 9850.036
AT ITER 166 NEW BEST:: SOT 46130 SOS 32005 HAS SOPS 26477 HAS SOUS 9953 HAS SOUPS 9756 WITH SCORE 9788.005
AT ITER 174 NEW BEST:: SOT 46099 SOS 31928 HAS SOPS 26392 HAS SOUS 9891 HAS SOUPS 9694 WITH SCORE 9725.928
AT ITER 177 NEW BEST:: SOT 46065 SOS 31876 HAS SOPS 26306 HAS SOUS 9805 HAS SOUPS 9608 WITH SCORE 9639.876
AT ITER 186 NEW BEST:: SOT 46047 SOS 31841 HAS SOPS 26275 HAS SOUS 9790 HAS SOUPS 9593 WITH SCORE 9624.841
AT ITER 190 NEW BEST:: SOT 46064 SOS 31691 HAS SOPS 26133 HAS SOUS 9680 HAS SOUPS 9483 WITH SCORE 9514.691
AT ITER 191 NEW BEST:: SOT 46042 SOS 31660 HAS SOPS 26080 HAS SOUS 9627 HAS SOUPS 9430 WITH SCORE 9461.66
AT ITER 196 NEW BEST:: SOT 46041 SOS 31657 HAS SOPS 26073 HAS SOUS 9604 HAS SOUPS 9406 WITH SCORE 9437.657
AT ITER 201 NEW BEST:: SOT 45485 SOS 31153 HAS SOPS 25824 HAS SOUS 9496 HAS SOUPS 9298 WITH SCORE 9329.153
AT ITER 217 NEW BEST:: SOT 45481 SOS 31150 HAS SOPS 25821 HAS SOUS 9493 HAS SOUPS 9295 WITH SCORE 9326.15
AT ITER 233 NEW BEST:: SOT 45450 SOS 31278 HAS SOPS 25851 HAS SOUS 9431 HAS SOUPS 9233 WITH SCORE 9264.278
AT ITER 241 NEW BEST:: SOT 45438 SOS 31255 HAS SOPS 25827 HAS SOUS 9417 HAS SOUPS 9219 WITH SCORE 9250.255
AT ITER 244 NEW BEST:: SOT 45178 SOS 32884 HAS SOPS 25547 HAS SOUS 9407 HAS SOUPS 9189 WITH SCORE 9221.884
AT ITER 247 NEW BEST:: SOT 45178 SOS 32794 HAS SOPS 25457 HAS SOUS 9389 HAS SOUPS 9171 WITH SCORE 9203.794
AT ITER 252 NEW BEST:: SOT 45185 SOS 32680 HAS SOPS 25400 HAS SOUS 9388 HAS SOUPS 9170 WITH SCORE 9202.68
AT ITER 257 NEW BEST:: SOT 45575 SOS 33024 HAS SOPS 25440 HAS SOUS 9319 HAS SOUPS 9101 WITH SCORE 9134.024
AT ITER 260 NEW BEST:: SOT 45578 SOS 33026 HAS SOPS 25342 HAS SOUS 9279 HAS SOUPS 9061 WITH SCORE 9094.026
AT ITER 261 NEW BEST:: SOT 45560 SOS 32975 HAS SOPS 25287 HAS SOUS 9255 HAS SOUPS 9037 WITH SCORE 9069.975
AT ITER 264 NEW BEST:: SOT 44989 SOS 32474 HAS SOPS 24749 HAS SOUS 8916 HAS SOUPS 8698 WITH SCORE 8730.474
AT ITER 267 NEW BEST:: SOT 44967 SOS 32430 HAS SOPS 24650 HAS SOUS 8737 HAS SOUPS 8511 WITH SCORE 8543.43
AT ITER 271 NEW BEST:: SOT 44927 SOS 33452 HAS SOPS 24564 HAS SOUS 8701 HAS SOUPS 8454 WITH SCORE 8487.452
AT ITER 272 NEW BEST:: SOT 44978 SOS 33470 HAS SOPS 24405 HAS SOUS 8542 HAS SOUPS 8295 WITH SCORE 8328.47
AT ITER 281 NEW BEST:: SOT 44980 SOS 33501 HAS SOPS 24409 HAS SOUS 8524 HAS SOUPS 8277 WITH SCORE 8310.501
AT ITER 293 NEW BEST:: SOT 44965 SOS 33461 HAS SOPS 24340 HAS SOUS 8455 HAS SOUPS 8208 WITH SCORE 8241.461
AT ITER 294 NEW BEST:: SOT 44997 SOS 33461 HAS SOPS 24345 HAS SOUS 8454 HAS SOUPS 8207 WITH SCORE 8240.461
AT ITER 296 NEW BEST:: SOT 45006 SOS 33470 HAS SOPS 24317 HAS SOUS 8426 HAS SOUPS 8179 WITH SCORE 8212.47
AT ITER 307 NEW BEST:: SOT 45003 SOS 33423 HAS SOPS 24285 HAS SOUS 8415 HAS SOUPS 8168 WITH SCORE 8201.423
AT ITER 308 NEW BEST:: SOT 44968 SOS 33306 HAS SOPS 24162 HAS SOUS 8321 HAS SOUPS 8074 WITH SCORE 8107.306
AT ITER 309 NEW BEST:: SOT 44943 SOS 33395 HAS SOPS 24136 HAS SOUS 8310 HAS SOUPS 8062 WITH SCORE 8095.395
AT ITER 311 NEW BEST:: SOT 44922 SOS 33353 HAS SOPS 24094 HAS SOUS 8289 HAS SOUPS 8041 WITH SCORE 8074.353
AT ITER 319 NEW BEST:: SOT 44793 SOS 32979 HAS SOPS 23738 HAS SOUS 8039 HAS SOUPS 7791 WITH SCORE 7823.979
AT ITER 323 NEW BEST:: SOT 44741 SOS 33151 HAS SOPS 23682 HAS SOUS 8015 HAS SOUPS 7765 WITH SCORE 7798.151
AT ITER 329 NEW BEST:: SOT 44692 SOS 33051 HAS SOPS 23533 HAS SOUS 7866 HAS SOUPS 7616 WITH SCORE 7649.051
AT ITER 331 NEW BEST:: SOT 44689 SOS 32955 HAS SOPS 23470 HAS SOUS 7839 HAS SOUPS 7589 WITH SCORE 7621.955
AT ITER 338 NEW BEST:: SOT 44705 SOS 32836 HAS SOPS 23372 HAS SOUS 7754 HAS SOUPS 7504 WITH SCORE 7536.836
AT ITER 340 NEW BEST:: SOT 44678 SOS 32759 HAS SOPS 23293 HAS SOUS 7693 HAS SOUPS 7443 WITH SCORE 7475.759
AT ITER 342 NEW BEST:: SOT 44658 SOS 32743 HAS SOPS 23268 HAS SOUS 7668 HAS SOUPS 7418 WITH SCORE 7450.743
AT ITER 343 NEW BEST:: SOT 44604 SOS 32703 HAS SOPS 23160 HAS SOUS 7561 HAS SOUPS 7311 WITH SCORE 7343.703
AT ITER 344 NEW BEST:: SOT 44581 SOS 32637 HAS SOPS 23090 HAS SOUS 7506 HAS SOUPS 7256 WITH SCORE 7288.637
AT ITER 347 NEW BEST:: SOT 44294 SOS 32353 HAS SOPS 22859 HAS SOUS 7378 HAS SOUPS 7128 WITH SCORE 7160.353
AT ITER 358 NEW BEST:: SOT 44292 SOS 32344 HAS SOPS 22851 HAS SOUS 7369 HAS SOUPS 7119 WITH SCORE 7151.344
AT ITER 360 NEW BEST:: SOT 44245 SOS 32288 HAS SOPS 22779 HAS SOUS 7318 HAS SOUPS 7068 WITH SCORE 7100.288
AT ITER 367 NEW BEST:: SOT 44191 SOS 32157 HAS SOPS 22671 HAS SOUS 7306 HAS SOUPS 7056 WITH SCORE 7088.157
AT ITER 385 NEW BEST:: SOT 44201 SOS 32102 HAS SOPS 22619 HAS SOUS 7298 HAS SOUPS 7048 WITH SCORE 7080.102
AT ITER 412 NEW BEST:: SOT 44257 SOS 31765 HAS SOPS 22302 HAS SOUS 7288 HAS SOUPS 7038 WITH SCORE 7069.765
AT ITER 424 NEW BEST:: SOT 44256 SOS 31764 HAS SOPS 22300 HAS SOUS 7286 HAS SOUPS 7036 WITH SCORE 7067.764
AT ITER 434 NEW BEST:: SOT 44280 SOS 31735 HAS SOPS 22295 HAS SOUS 7231 HAS SOUPS 6981 WITH SCORE 7012.735
AT ITER 443 NEW BEST:: SOT 44278 SOS 31655 HAS SOPS 22215 HAS SOUS 7223 HAS SOUPS 6973 WITH SCORE 7004.655
AT ITER 447 NEW BEST:: SOT 44272 SOS 31673 HAS SOPS 22203 HAS SOUS 7213 HAS SOUPS 6963 WITH SCORE 6994.673
AT ITER 455 NEW BEST:: SOT 44263 SOS 31671 HAS SOPS 22194 HAS SOUS 7213 HAS SOUPS 6963 WITH SCORE 6994.671
AT ITER 473 NEW BEST:: SOT 44245 SOS 31648 HAS SOPS 22171 HAS SOUS 7192 HAS SOUPS 6942 WITH SCORE 6973.648
AT ITER 486 NEW BEST:: SOT 44245 SOS 31648 HAS SOPS 22171 HAS SOUS 7185 HAS SOUPS 6935 WITH SCORE 6966.648
AT ITER 488 NEW BEST:: SOT 44243 SOS 31667 HAS SOPS 22178 HAS SOUS 7182 HAS SOUPS 6932 WITH SCORE 6963.667
AT ITER 496 NEW BEST:: SOT 44237 SOS 31661 HAS SOPS 22166 HAS SOUS 7164 HAS SOUPS 6914 WITH SCORE 6945.661
AT ITER 497 NEW BEST:: SOT 44241 SOS 31377 HAS SOPS 21884 HAS SOUS 7164 HAS SOUPS 6914 WITH SCORE 6945.377
AT ITER 501 NEW BEST:: SOT 44225 SOS 31361 HAS SOPS 21868 HAS SOUS 7148 HAS SOUPS 6898 WITH SCORE 6929.361
AT ITER 514 NEW BEST:: SOT 44213 SOS 31361 HAS SOPS 21856 HAS SOUS 7136 HAS SOUPS 6886 WITH SCORE 6917.361
AT ITER 523 NEW BEST:: SOT 44178 SOS 31287 HAS SOPS 21747 HAS SOUS 7034 HAS SOUPS 6784 WITH SCORE 6815.287
AT ITER 524 NEW BEST:: SOT 44162 SOS 31271 HAS SOPS 21715 HAS SOUS 7002 HAS SOUPS 6752 WITH SCORE 6783.271
AT ITER 537 NEW BEST:: SOT 44160 SOS 31269 HAS SOPS 21711 HAS SOUS 6998 HAS SOUPS 6748 WITH SCORE 6779.269
AT ITER 544 NEW BEST:: SOT 44160 SOS 31266 HAS SOPS 21708 HAS SOUS 6998 HAS SOUPS 6748 WITH SCORE 6779.266
AT ITER 559 NEW BEST:: SOT 44152 SOS 31264 HAS SOPS 21699 HAS SOUS 6989 HAS SOUPS 6739 WITH SCORE 6770.264
AT ITER 566 NEW BEST:: SOT 44142 SOS 31244 HAS SOPS 21672 HAS SOUS 6966 HAS SOUPS 6716 WITH SCORE 6747.244
AT ITER 582 NEW BEST:: SOT 44085 SOS 31109 HAS SOPS 21519 HAS SOUS 6852 HAS SOUPS 6602 WITH SCORE 6633.109
AT ITER 587 NEW BEST:: SOT 44095 SOS 31122 HAS SOPS 21413 HAS SOUS 6775 HAS SOUPS 6525 WITH SCORE 6556.122
AT ITER 588 NEW BEST:: SOT 43971 SOS 30998 HAS SOPS 21289 HAS SOUS 6711 HAS SOUPS 6461 WITH SCORE 6491.998
AT ITER 604 NEW BEST:: SOT 43923 SOS 30952 HAS SOPS 21243 HAS SOUS 6689 HAS SOUPS 6439 WITH SCORE 6469.952
AT ITER 615 NEW BEST:: SOT 43902 SOS 30952 HAS SOPS 21222 HAS SOUS 6668 HAS SOUPS 6418 WITH SCORE 6448.952
AT ITER 616 NEW BEST:: SOT 43902 SOS 30948 HAS SOPS 21220 HAS SOUS 6668 HAS SOUPS 6418 WITH SCORE 6448.948
AT ITER 620 NEW BEST:: SOT 43901 SOS 30950 HAS SOPS 21218 HAS SOUS 6660 HAS SOUPS 6410 WITH SCORE 6440.95
AT ITER 621 NEW BEST:: SOT 43835 SOS 30866 HAS SOPS 21110 HAS SOUS 6580 HAS SOUPS 6330 WITH SCORE 6360.866
AT ITER 626 NEW BEST:: SOT 43835 SOS 30866 HAS SOPS 21110 HAS SOUS 6568 HAS SOUPS 6318 WITH SCORE 6348.866
AT ITER 636 NEW BEST:: SOT 43801 SOS 30836 HAS SOPS 21103 HAS SOUS 6560 HAS SOUPS 6310 WITH SCORE 6340.836
AT ITER 650 NEW BEST:: SOT 43797 SOS 30840 HAS SOPS 21100 HAS SOUS 6554 HAS SOUPS 6304 WITH SCORE 6334.84
AT ITER 651 NEW BEST:: SOT 43795 SOS 30836 HAS SOPS 21095 HAS SOUS 6550 HAS SOUPS 6300 WITH SCORE 6330.836
AT ITER 656 NEW BEST:: SOT 43766 SOS 30826 HAS SOPS 21056 HAS SOUS 6511 HAS SOUPS 6261 WITH SCORE 6291.826
AT ITER 658 NEW BEST:: SOT 43758 SOS 30791 HAS SOPS 21028 HAS SOUS 6498 HAS SOUPS 6248 WITH SCORE 6278.791
AT ITER 664 NEW BEST:: SOT 43706 SOS 30737 HAS SOPS 20972 HAS SOUS 6468 HAS SOUPS 6218 WITH SCORE 6248.737
AT ITER 711 NEW BEST:: SOT 43706 SOS 30736 HAS SOPS 20971 HAS SOUS 6467 HAS SOUPS 6217 WITH SCORE 6247.736
AT ITER 716 NEW BEST:: SOT 43705 SOS 30736 HAS SOPS 20969 HAS SOUS 6464 HAS SOUPS 6214 WITH SCORE 6244.736
AT ITER 737 NEW BEST:: SOT 43698 SOS 30728 HAS SOPS 20960 HAS SOUS 6461 HAS SOUPS 6211 WITH SCORE 6241.728
AT ITER 756 NEW BEST:: SOT 43673 SOS 30704 HAS SOPS 20928 HAS SOUS 6429 HAS SOUPS 6179 WITH SCORE 6209.704
AT ITER 758 NEW BEST:: SOT 43673 SOS 30671 HAS SOPS 20903 HAS SOUS 6429 HAS SOUPS 6179 WITH SCORE 6209.671
AT ITER 767 NEW BEST:: SOT 43662 SOS 30649 HAS SOPS 20881 HAS SOUS 6418 HAS SOUPS 6168 WITH SCORE 6198.649
AT ITER 791 NEW BEST:: SOT 43646 SOS 33677 HAS SOPS 20303 HAS SOUS 6391 HAS SOUPS 6123 WITH SCORE 6156.677
AT ITER 793 NEW BEST:: SOT 43644 SOS 33675 HAS SOPS 20301 HAS SOUS 6391 HAS SOUPS 6123 WITH SCORE 6156.675
AT ITER 807 NEW BEST:: SOT 43612 SOS 33645 HAS SOPS 20258 HAS SOUS 6347 HAS SOUPS 6079 WITH SCORE 6112.645
AT ITER 837 NEW BEST:: SOT 43598 SOS 33631 HAS SOPS 20237 HAS SOUS 6336 HAS SOUPS 6068 WITH SCORE 6101.631
AT ITER 839 NEW BEST:: SOT 43599 SOS 33616 HAS SOPS 20213 HAS SOUS 6307 HAS SOUPS 6039 WITH SCORE 6072.616
AT ITER 840 NEW BEST:: SOT 43573 SOS 33615 HAS SOPS 20161 HAS SOUS 6230 HAS SOUPS 5962 WITH SCORE 5995.615
AT ITER 842 NEW BEST:: SOT 43566 SOS 33602 HAS SOPS 20147 HAS SOUS 6222 HAS SOUPS 5954 WITH SCORE 5987.602
AT ITER 845 NEW BEST:: SOT 43559 SOS 33595 HAS SOPS 20133 HAS SOUS 6208 HAS SOUPS 5940 WITH SCORE 5973.595
AT ITER 866 NEW BEST:: SOT 43534 SOS 33571 HAS SOPS 20109 HAS SOUS 6187 HAS SOUPS 5919 WITH SCORE 5952.571
AT ITER 879 NEW BEST:: SOT 43530 SOS 33566 HAS SOPS 20097 HAS SOUS 6175 HAS SOUPS 5907 WITH SCORE 5940.566
AT ITER 891 NEW BEST:: SOT 43511 SOS 33490 HAS SOPS 20059 HAS SOUS 6137 HAS SOUPS 5869 WITH SCORE 5902.49
AT ITER 906 NEW BEST:: SOT 43514 SOS 33492 HAS SOPS 20061 HAS SOUS 6135 HAS SOUPS 5867 WITH SCORE 5900.492
AT ITER 908 NEW BEST:: SOT 43505 SOS 33477 HAS SOPS 20043 HAS SOUS 6122 HAS SOUPS 5854 WITH SCORE 5887.477
AT ITER 912 NEW BEST:: SOT 43505 SOS 33475 HAS SOPS 20043 HAS SOUS 6122 HAS SOUPS 5854 WITH SCORE 5887.475
AT ITER 933 NEW BEST:: SOT 43502 SOS 33466 HAS SOPS 19931 HAS SOUS 6103 HAS SOUPS 5835 WITH SCORE 5868.466
AT ITER 940 NEW BEST:: SOT 43486 SOS 33450 HAS SOPS 19907 HAS SOUS 6084 HAS SOUPS 5816 WITH SCORE 5849.45
AT ITER 961 NEW BEST:: SOT 43318 SOS 33284 HAS SOPS 19725 HAS SOUS 5919 HAS SOUPS 5651 WITH SCORE 5684.284
AT ITER 1024 NEW BEST:: SOT 43294 SOS 33272 HAS SOPS 19689 HAS SOUS 5895 HAS SOUPS 5627 WITH SCORE 5660.272
AT ITER 1030 NEW BEST:: SOT 43356 SOS 33333 HAS SOPS 19730 HAS SOUS 5871 HAS SOUPS 5603 WITH SCORE 5636.333
AT ITER 1037 NEW BEST:: SOT 43353 SOS 33328 HAS SOPS 19724 HAS SOUS 5867 HAS SOUPS 5599 WITH SCORE 5632.328
AT ITER 1054 NEW BEST:: SOT 43291 SOS 33202 HAS SOPS 19541 HAS SOUS 5695 HAS SOUPS 5427 WITH SCORE 5460.202
AT ITER 1079 NEW BEST:: SOT 43287 SOS 33189 HAS SOPS 19524 HAS SOUS 5687 HAS SOUPS 5419 WITH SCORE 5452.189
AT ITER 1087 NEW BEST:: SOT 43280 SOS 33182 HAS SOPS 19510 HAS SOUS 5673 HAS SOUPS 5405 WITH SCORE 5438.182
AT ITER 1125 NEW BEST:: SOT 43284 SOS 33187 HAS SOPS 19515 HAS SOUS 5671 HAS SOUPS 5403 WITH SCORE 5436.187
AT ITER 1127 NEW BEST:: SOT 43252 SOS 33155 HAS SOPS 19451 HAS SOUS 5607 HAS SOUPS 5339 WITH SCORE 5372.155
AT ITER 1133 NEW BEST:: SOT 43223 SOS 33126 HAS SOPS 19393 HAS SOUS 5549 HAS SOUPS 5281 WITH SCORE 5314.126
AT ITER 1155 NEW BEST:: SOT 43214 SOS 33108 HAS SOPS 19356 HAS SOUS 5521 HAS SOUPS 5253 WITH SCORE 5286.108
AT ITER 1173 NEW BEST:: SOT 43184 SOS 33075 HAS SOPS 19511 HAS SOUS 5513 HAS SOUPS 5245 WITH SCORE 5278.075
AT ITER 1239 NEW BEST:: SOT 43165 SOS 33037 HAS SOPS 19492 HAS SOUS 5513 HAS SOUPS 5245 WITH SCORE 5278.037
AT ITER 1263 NEW BEST:: SOT 43164 SOS 33035 HAS SOPS 19490 HAS SOUS 5509 HAS SOUPS 5241 WITH SCORE 5274.035
AT ITER 1281 NEW BEST:: SOT 43134 SOS 32990 HAS SOPS 19430 HAS SOUS 5479 HAS SOUPS 5211 WITH SCORE 5243.99
AT ITER 1286 NEW BEST:: SOT 43128 SOS 32986 HAS SOPS 19422 HAS SOUS 5473 HAS SOUPS 5205 WITH SCORE 5237.986
AT ITER 1300 NEW BEST:: SOT 43128 SOS 32985 HAS SOPS 19409 HAS SOUS 5455 HAS SOUPS 5187 WITH SCORE 5219.985
AT ITER 1317 NEW BEST:: SOT 43132 SOS 33001 HAS SOPS 19417 HAS SOUS 5451 HAS SOUPS 5183 WITH SCORE 5216.001
AT ITER 1356 NEW BEST:: SOT 43120 SOS 33000 HAS SOPS 19393 HAS SOUS 5427 HAS SOUPS 5159 WITH SCORE 5192.0
AT ITER 1357 NEW BEST:: SOT 43119 SOS 33000 HAS SOPS 19392 HAS SOUS 5426 HAS SOUPS 5158 WITH SCORE 5191.0
AT ITER 1385 NEW BEST:: SOT 43113 SOS 32998 HAS SOPS 19380 HAS SOUS 5410 HAS SOUPS 5142 WITH SCORE 5174.998
AT ITER 1396 NEW BEST:: SOT 43086 SOS 32971 HAS SOPS 19353 HAS SOUS 5395 HAS SOUPS 5127 WITH SCORE 5159.971
AT ITER 1399 NEW BEST:: SOT 43080 SOS 32959 HAS SOPS 19341 HAS SOUS 5383 HAS SOUPS 5115 WITH SCORE 5147.959
AT ITER 1414 NEW BEST:: SOT 43077 SOS 34222 HAS SOPS 19322 HAS SOUS 5379 HAS SOUPS 5106 WITH SCORE 5140.222
AT ITER 1420 NEW BEST:: SOT 43061 SOS 34190 HAS SOPS 19272 HAS SOUS 5317 HAS SOUPS 5044 WITH SCORE 5078.19
AT ITER 1428 NEW BEST:: SOT 43038 SOS 34145 HAS SOPS 19226 HAS SOUS 5293 HAS SOUPS 5020 WITH SCORE 5054.145
AT ITER 1499 NEW BEST:: SOT 43030 SOS 34141 HAS SOPS 19210 HAS SOUS 5285 HAS SOUPS 5012 WITH SCORE 5046.141
AT ITER 1503 NEW BEST:: SOT 43030 SOS 34124 HAS SOPS 19210 HAS SOUS 5285 HAS SOUPS 5012 WITH SCORE 5046.124
AT ITER 1533 NEW BEST:: SOT 43031 SOS 34098 HAS SOPS 19212 HAS SOUS 5258 HAS SOUPS 4985 WITH SCORE 5019.098
AT ITER 1538 NEW BEST:: SOT 43027 SOS 34090 HAS SOPS 19204 HAS SOUS 5247 HAS SOUPS 4974 WITH SCORE 5008.09
AT ITER 1573 NEW BEST:: SOT 42911 SOS 33974 HAS SOPS 19088 HAS SOUS 5191 HAS SOUPS 4918 WITH SCORE 4951.974
AT ITER 1574 NEW BEST:: SOT 42879 SOS 33912 HAS SOPS 19024 HAS SOUS 5171 HAS SOUPS 4898 WITH SCORE 4931.912
AT ITER 1582 NEW BEST:: SOT 42919 SOS 33950 HAS SOPS 19071 HAS SOUS 5167 HAS SOUPS 4894 WITH SCORE 4927.95
AT ITER 1585 NEW BEST:: SOT 42914 SOS 33950 HAS SOPS 19061 HAS SOUS 5157 HAS SOUPS 4884 WITH SCORE 4917.95
AT ITER 1588 NEW BEST:: SOT 42910 SOS 33946 HAS SOPS 19053 HAS SOUS 5149 HAS SOUPS 4876 WITH SCORE 4909.946
AT ITER 1607 NEW BEST:: SOT 42919 SOS 33943 HAS SOPS 19059 HAS SOUS 5143 HAS SOUPS 4870 WITH SCORE 4903.943
AT ITER 1628 NEW BEST:: SOT 42918 SOS 33940 HAS SOPS 19057 HAS SOUS 5141 HAS SOUPS 4868 WITH SCORE 4901.94
AT ITER 1643 NEW BEST:: SOT 42894 SOS 33906 HAS SOPS 19009 HAS SOUS 5118 HAS SOUPS 4845 WITH SCORE 4878.906
AT ITER 1666 NEW BEST:: SOT 42893 SOS 33903 HAS SOPS 19006 HAS SOUS 5115 HAS SOUPS 4842 WITH SCORE 4875.903
AT ITER 1688 NEW BEST:: SOT 42871 SOS 33852 HAS SOPS 18962 HAS SOUS 5094 HAS SOUPS 4821 WITH SCORE 4854.852
AT ITER 1707 NEW BEST:: SOT 42840 SOS 33878 HAS SOPS 18956 HAS SOUS 5084 HAS SOUPS 4811 WITH SCORE 4844.878
AT ITER 1709 NEW BEST:: SOT 42839 SOS 33877 HAS SOPS 18954 HAS SOUS 5082 HAS SOUPS 4809 WITH SCORE 4842.877
AT ITER 1710 NEW BEST:: SOT 42846 SOS 33882 HAS SOPS 18774 HAS SOUS 5073 HAS SOUPS 4800 WITH SCORE 4833.882
AT ITER 1721 NEW BEST:: SOT 42875 SOS 33908 HAS SOPS 18790 HAS SOUS 5068 HAS SOUPS 4795 WITH SCORE 4828.908
AT ITER 1733 NEW BEST:: SOT 42874 SOS 33892 HAS SOPS 18767 HAS SOUS 5060 HAS SOUPS 4787 WITH SCORE 4820.892
AT ITER 1736 NEW BEST:: SOT 42869 SOS 33876 HAS SOPS 18757 HAS SOUS 5054 HAS SOUPS 4781 WITH SCORE 4814.876
AT ITER 1741 NEW BEST:: SOT 42865 SOS 33872 HAS SOPS 18753 HAS SOUS 5054 HAS SOUPS 4781 WITH SCORE 4814.872
AT ITER 1748 NEW BEST:: SOT 42863 SOS 33868 HAS SOPS 18749 HAS SOUS 5054 HAS SOUPS 4781 WITH SCORE 4814.868
AT ITER 1764 NEW BEST:: SOT 42825 SOS 33846 HAS SOPS 18713 HAS SOUS 5016 HAS SOUPS 4743 WITH SCORE 4776.846
AT ITER 1794 NEW BEST:: SOT 42832 SOS 33849 HAS SOPS 18727 HAS SOUS 5006 HAS SOUPS 4733 WITH SCORE 4766.849
AT ITER 1816 NEW BEST:: SOT 42831 SOS 33846 HAS SOPS 18694 HAS SOUS 4994 HAS SOUPS 4721 WITH SCORE 4754.846
AT ITER 1853 NEW BEST:: SOT 42838 SOS 33853 HAS SOPS 18697 HAS SOUS 4986 HAS SOUPS 4713 WITH SCORE 4746.853
AT ITER 1882 NEW BEST:: SOT 42838 SOS 33850 HAS SOPS 18694 HAS SOUS 4983 HAS SOUPS 4710 WITH SCORE 4743.85
AT ITER 1919 NEW BEST:: SOT 42841 SOS 33853 HAS SOPS 18697 HAS SOUS 4980 HAS SOUPS 4707 WITH SCORE 4740.853
AT ITER 1926 NEW BEST:: SOT 42841 SOS 33851 HAS SOPS 18695 HAS SOUS 4978 HAS SOUPS 4705 WITH SCORE 4738.851
AT ITER 1951 NEW BEST:: SOT 42814 SOS 33840 HAS SOPS 18659 HAS SOUS 4960 HAS SOUPS 4687 WITH SCORE 4720.84
AT ITER 2013 NEW BEST:: SOT 42800 SOS 33856 HAS SOPS 18653 HAS SOUS 4954 HAS SOUPS 4681 WITH SCORE 4714.856
AT ITER 2019 NEW BEST:: SOT 42800 SOS 33846 HAS SOPS 18648 HAS SOUS 4949 HAS SOUPS 4676 WITH SCORE 4709.846
AT ITER 2039 NEW BEST:: SOT 42794 SOS 33836 HAS SOPS 18636 HAS SOUS 4941 HAS SOUPS 4668 WITH SCORE 4701.836
AT ITER 2059 NEW BEST:: SOT 42792 SOS 33833 HAS SOPS 18625 HAS SOUS 4919 HAS SOUPS 4646 WITH SCORE 4679.833
AT ITER 2066 NEW BEST:: SOT 42789 SOS 33826 HAS SOPS 18615 HAS SOUS 4905 HAS SOUPS 4632 WITH SCORE 4665.826
AT ITER 2081 NEW BEST:: SOT 42792 SOS 33823 HAS SOPS 18406 HAS SOUS 4897 HAS SOUPS 4624 WITH SCORE 4657.823
AT ITER 2106 NEW BEST:: SOT 42791 SOS 33803 HAS SOPS 18389 HAS SOUS 4884 HAS SOUPS 4611 WITH SCORE 4644.803
AT ITER 2141 NEW BEST:: SOT 42791 SOS 33795 HAS SOPS 18385 HAS SOUS 4884 HAS SOUPS 4611 WITH SCORE 4644.795
AT ITER 2144 NEW BEST:: SOT 42796 SOS 33765 HAS SOPS 18362 HAS SOUS 4882 HAS SOUPS 4609 WITH SCORE 4642.765
AT ITER 2196 NEW BEST:: SOT 42796 SOS 33763 HAS SOPS 18360 HAS SOUS 4882 HAS SOUPS 4609 WITH SCORE 4642.763
AT ITER 2209 NEW BEST:: SOT 42796 SOS 33759 HAS SOPS 18356 HAS SOUS 4878 HAS SOUPS 4605 WITH SCORE 4638.759
AT ITER 2231 NEW BEST:: SOT 42786 SOS 33727 HAS SOPS 18336 HAS SOUS 4869 HAS SOUPS 4596 WITH SCORE 4629.727
AT ITER 2244 NEW BEST:: SOT 42791 SOS 33722 HAS SOPS 18331 HAS SOUS 4867 HAS SOUPS 4594 WITH SCORE 4627.722
AT ITER 2272 NEW BEST:: SOT 42778 SOS 33711 HAS SOPS 18325 HAS SOUS 4863 HAS SOUPS 4590 WITH SCORE 4623.711
AT ITER 2292 NEW BEST:: SOT 42786 SOS 33672 HAS SOPS 18294 HAS SOUS 4832 HAS SOUPS 4559 WITH SCORE 4592.672
AT ITER 2294 NEW BEST:: SOT 42767 SOS 33631 HAS SOPS 18256 HAS SOUS 4816 HAS SOUPS 4543 WITH SCORE 4576.631
AT ITER 2304 NEW BEST:: SOT 42749 SOS 33615 HAS SOPS 18240 HAS SOUS 4809 HAS SOUPS 4536 WITH SCORE 4569.615
AT ITER 2317 NEW BEST:: SOT 42749 SOS 33615 HAS SOPS 18240 HAS SOUS 4808 HAS SOUPS 4535 WITH SCORE 4568.615
AT ITER 2339 NEW BEST:: SOT 42746 SOS 33607 HAS SOPS 18232 HAS SOUS 4802 HAS SOUPS 4529 WITH SCORE 4562.607
AT ITER 2347 NEW BEST:: SOT 42727 SOS 33641 HAS SOPS 18231 HAS SOUS 4801 HAS SOUPS 4528 WITH SCORE 4561.641
AT ITER 2381 NEW BEST:: SOT 42727 SOS 33622 HAS SOPS 18193 HAS SOUS 4763 HAS SOUPS 4490 WITH SCORE 4523.622
AT ITER 2394 NEW BEST:: SOT 42750 SOS 33642 HAS SOPS 18217 HAS SOUS 4746 HAS SOUPS 4473 WITH SCORE 4506.642
AT ITER 2399 NEW BEST:: SOT 42746 SOS 33632 HAS SOPS 18209 HAS SOUS 4740 HAS SOUPS 4467 WITH SCORE 4500.632
AT ITER 2437 NEW BEST:: SOT 42724 SOS 33597 HAS SOPS 18174 HAS SOUS 4722 HAS SOUPS 4449 WITH SCORE 4482.597
AT ITER 2448 NEW BEST:: SOT 42722 SOS 33591 HAS SOPS 18168 HAS SOUS 4718 HAS SOUPS 4445 WITH SCORE 4478.591
AT ITER 2450 NEW BEST:: SOT 42713 SOS 33573 HAS SOPS 18150 HAS SOUS 4700 HAS SOUPS 4427 WITH SCORE 4460.573
AT ITER 2468 NEW BEST:: SOT 42715 SOS 33554 HAS SOPS 18137 HAS SOUS 4698 HAS SOUPS 4425 WITH SCORE 4458.554
AT ITER 2473 NEW BEST:: SOT 42692 SOS 33515 HAS SOPS 18091 HAS SOUS 4654 HAS SOUPS 4381 WITH SCORE 4414.515
AT ITER 2477 NEW BEST:: SOT 42681 SOS 33495 HAS SOPS 18069 HAS SOUS 4640 HAS SOUPS 4367 WITH SCORE 4400.495
AT ITER 2492 NEW BEST:: SOT 42650 SOS 33428 HAS SOPS 18007 HAS SOUS 4619 HAS SOUPS 4346 WITH SCORE 4379.428
AT ITER 2524 NEW BEST:: SOT 42640 SOS 33423 HAS SOPS 17992 HAS SOUS 4604 HAS SOUPS 4331 WITH SCORE 4364.423
AT ITER 2593 NEW BEST:: SOT 42639 SOS 33422 HAS SOPS 17990 HAS SOUS 4602 HAS SOUPS 4329 WITH SCORE 4362.422
AT ITER 2657 NEW BEST:: SOT 42659 SOS 33406 HAS SOPS 17994 HAS SOUS 4602 HAS SOUPS 4329 WITH SCORE 4362.406
AT ITER 2663 NEW BEST:: SOT 42576 SOS 33324 HAS SOPS 17912 HAS SOUS 4561 HAS SOUPS 4288 WITH SCORE 4321.324
AT ITER 2679 NEW BEST:: SOT 42576 SOS 33314 HAS SOPS 17907 HAS SOUS 4561 HAS SOUPS 4288 WITH SCORE 4321.314
AT ITER 2687 NEW BEST:: SOT 42572 SOS 33306 HAS SOPS 17899 HAS SOUS 4557 HAS SOUPS 4284 WITH SCORE 4317.306
AT ITER 2688 NEW BEST:: SOT 42571 SOS 33279 HAS SOPS 17880 HAS SOUS 4547 HAS SOUPS 4274 WITH SCORE 4307.279
AT ITER 2695 NEW BEST:: SOT 42561 SOS 33280 HAS SOPS 17874 HAS SOUS 4541 HAS SOUPS 4268 WITH SCORE 4301.28
AT ITER 2735 NEW BEST:: SOT 42559 SOS 33275 HAS SOPS 17835 HAS SOUS 4531 HAS SOUPS 4258 WITH SCORE 4291.275
AT ITER 2770 NEW BEST:: SOT 42559 SOS 33271 HAS SOPS 17835 HAS SOUS 4531 HAS SOUPS 4258 WITH SCORE 4291.271
AT ITER 2787 NEW BEST:: SOT 42555 SOS 33260 HAS SOPS 17814 HAS SOUS 4505 HAS SOUPS 4232 WITH SCORE 4265.26
AT ITER 2789 NEW BEST:: SOT 42555 SOS 33260 HAS SOPS 17814 HAS SOUS 4504 HAS SOUPS 4231 WITH SCORE 4264.26
AT ITER 2871 NEW BEST:: SOT 42529 SOS 33245 HAS SOPS 17786 HAS SOUS 4476 HAS SOUPS 4203 WITH SCORE 4236.245
AT ITER 2872 NEW BEST:: SOT 42515 SOS 33227 HAS SOPS 17758 HAS SOUS 4452 HAS SOUPS 4179 WITH SCORE 4212.227
AT ITER 2934 NEW BEST:: SOT 42504 SOS 33197 HAS SOPS 17740 HAS SOUS 4451 HAS SOUPS 4178 WITH SCORE 4211.197
AT ITER 3016 NEW BEST:: SOT 42497 SOS 33195 HAS SOPS 17735 HAS SOUS 4445 HAS SOUPS 4172 WITH SCORE 4205.195
AT ITER 3044 NEW BEST:: SOT 42485 SOS 33188 HAS SOPS 17728 HAS SOUS 4437 HAS SOUPS 4164 WITH SCORE 4197.188
AT ITER 3061 NEW BEST:: SOT 42495 SOS 33193 HAS SOPS 17723 HAS SOUS 4430 HAS SOUPS 4156 WITH SCORE 4189.193
AT ITER 3065 NEW BEST:: SOT 42495 SOS 33192 HAS SOPS 17723 HAS SOUS 4430 HAS SOUPS 4156 WITH SCORE 4189.192
AT ITER 3109 NEW BEST:: SOT 42490 SOS 33120 HAS SOPS 17676 HAS SOUS 4416 HAS SOUPS 4142 WITH SCORE 4175.12
AT ITER 3119 NEW BEST:: SOT 42482 SOS 33106 HAS SOPS 17660 HAS SOUS 4408 HAS SOUPS 4132 WITH SCORE 4165.106
AT ITER 3125 NEW BEST:: SOT 42490 SOS 33126 HAS SOPS 17676 HAS SOUS 4401 HAS SOUPS 4125 WITH SCORE 4158.126
AT ITER 3152 NEW BEST:: SOT 42488 SOS 33124 HAS SOPS 17672 HAS SOUS 4397 HAS SOUPS 4121 WITH SCORE 4154.124
AT ITER 3155 NEW BEST:: SOT 42484 SOS 33116 HAS SOPS 17664 HAS SOUS 4393 HAS SOUPS 4117 WITH SCORE 4150.116
AT ITER 3158 NEW BEST:: SOT 42483 SOS 33113 HAS SOPS 17661 HAS SOUS 4390 HAS SOUPS 4114 WITH SCORE 4147.113
AT ITER 3184 NEW BEST:: SOT 42474 SOS 33101 HAS SOPS 17685 HAS SOUS 4384 HAS SOUPS 4108 WITH SCORE 4141.101
AT ITER 3246 NEW BEST:: SOT 42474 SOS 33100 HAS SOPS 17684 HAS SOUS 4383 HAS SOUPS 4107 WITH SCORE 4140.1
AT ITER 3274 NEW BEST:: SOT 42467 SOS 33071 HAS SOPS 17670 HAS SOUS 4366 HAS SOUPS 4090 WITH SCORE 4123.071
AT ITER 3333 NEW BEST:: SOT 42462 SOS 33052 HAS SOPS 17653 HAS SOUS 4356 HAS SOUPS 4080 WITH SCORE 4113.052
AT ITER 3356 NEW BEST:: SOT 42461 SOS 33051 HAS SOPS 17651 HAS SOUS 4354 HAS SOUPS 4078 WITH SCORE 4111.051
AT ITER 3371 NEW BEST:: SOT 42433 SOS 33051 HAS SOPS 17624 HAS SOUS 4325 HAS SOUPS 4049 WITH SCORE 4082.051
AT ITER 3434 NEW BEST:: SOT 42419 SOS 33051 HAS SOPS 17610 HAS SOUS 4313 HAS SOUPS 4035 WITH SCORE 4068.051
AT ITER 3453 NEW BEST:: SOT 42408 SOS 33051 HAS SOPS 17599 HAS SOUS 4302 HAS SOUPS 4024 WITH SCORE 4057.051
AT ITER 3469 NEW BEST:: SOT 42392 SOS 33031 HAS SOPS 17584 HAS SOUS 4289 HAS SOUPS 4011 WITH SCORE 4044.031
AT ITER 3472 NEW BEST:: SOT 42392 SOS 33029 HAS SOPS 17582 HAS SOUS 4286 HAS SOUPS 4008 WITH SCORE 4041.029
AT ITER 3482 NEW BEST:: SOT 42392 SOS 33025 HAS SOPS 17582 HAS SOUS 4285 HAS SOUPS 4008 WITH SCORE 4041.025
AT ITER 3490 NEW BEST:: SOT 42388 SOS 33036 HAS SOPS 17588 HAS SOUS 4281 HAS SOUPS 4004 WITH SCORE 4037.036
AT ITER 3504 NEW BEST:: SOT 42384 SOS 33036 HAS SOPS 17580 HAS SOUS 4267 HAS SOUPS 3990 WITH SCORE 4023.036
AT ITER 3565 NEW BEST:: SOT 42382 SOS 33034 HAS SOPS 17576 HAS SOUS 4263 HAS SOUPS 3986 WITH SCORE 4019.034
AT ITER 3645 NEW BEST:: SOT 42380 SOS 33032 HAS SOPS 17572 HAS SOUS 4259 HAS SOUPS 3982 WITH SCORE 4015.032
AT ITER 3654 NEW BEST:: SOT 42369 SOS 33027 HAS SOPS 17562 HAS SOUS 4255 HAS SOUPS 3978 WITH SCORE 4011.027
AT ITER 3658 NEW BEST:: SOT 42365 SOS 33027 HAS SOPS 17558 HAS SOUS 4254 HAS SOUPS 3977 WITH SCORE 4010.027
AT ITER 3675 NEW BEST:: SOT 42365 SOS 33026 HAS SOPS 17557 HAS SOUS 4253 HAS SOUPS 3976 WITH SCORE 4009.026
AT ITER 3719 NEW BEST:: SOT 42359 SOS 33026 HAS SOPS 17555 HAS SOUS 4251 HAS SOUPS 3974 WITH SCORE 4007.026
AT ITER 3813 NEW BEST:: SOT 42357 SOS 33023 HAS SOPS 17551 HAS SOUS 4248 HAS SOUPS 3971 WITH SCORE 4004.023
AT ITER 3817 NEW BEST:: SOT 42356 SOS 33022 HAS SOPS 17550 HAS SOUS 4247 HAS SOUPS 3970 WITH SCORE 4003.022
AT ITER 3871 NEW BEST:: SOT 42353 SOS 33022 HAS SOPS 17547 HAS SOUS 4244 HAS SOUPS 3967 WITH SCORE 4000.022
AT ITER 3902 NEW BEST:: SOT 42348 SOS 33012 HAS SOPS 17537 HAS SOUS 4239 HAS SOUPS 3962 WITH SCORE 3995.012
AT ITER 3926 NEW BEST:: SOT 42341 SOS 33006 HAS SOPS 17527 HAS SOUS 4231 HAS SOUPS 3952 WITH SCORE 3985.006
AT ITER 3942 NEW BEST:: SOT 42339 SOS 33004 HAS SOPS 17523 HAS SOUS 4227 HAS SOUPS 3948 WITH SCORE 3981.004
AT ITER 3947 NEW BEST:: SOT 42342 SOS 33010 HAS SOPS 17529 HAS SOUS 4225 HAS SOUPS 3946 WITH SCORE 3979.01
AT ITER 3993 NEW BEST:: SOT 42342 SOS 33802 HAS SOPS 17524 HAS SOUS 4226 HAS SOUPS 3944 WITH SCORE 3977.802
AT ITER 4007 NEW BEST:: SOT 42331 SOS 33810 HAS SOPS 17517 HAS SOUS 4215 HAS SOUPS 3933 WITH SCORE 3966.81
AT ITER 4069 NEW BEST:: SOT 42327 SOS 33804 HAS SOPS 17509 HAS SOUS 4207 HAS SOUPS 3925 WITH SCORE 3958.804
AT ITER 4105 NEW BEST:: SOT 42313 SOS 33791 HAS SOPS 17494 HAS SOUS 4199 HAS SOUPS 3917 WITH SCORE 3950.791
AT ITER 4153 NEW BEST:: SOT 42300 SOS 33757 HAS SOPS 17468 HAS SOUS 4168 HAS SOUPS 3886 WITH SCORE 3919.757
AT ITER 4160 NEW BEST:: SOT 42294 SOS 33751 HAS SOPS 17456 HAS SOUS 4156 HAS SOUPS 3874 WITH SCORE 3907.751
AT ITER 4170 NEW BEST:: SOT 42295 SOS 33753 HAS SOPS 17443 HAS SOUS 4143 HAS SOUPS 3861 WITH SCORE 3894.753
AT ITER 4178 NEW BEST:: SOT 42277 SOS 33717 HAS SOPS 17397 HAS SOUS 4108 HAS SOUPS 3826 WITH SCORE 3859.717
AT ITER 4256 NEW BEST:: SOT 42275 SOS 33716 HAS SOPS 17395 HAS SOUS 4107 HAS SOUPS 3824 WITH SCORE 3857.716
AT ITER 4271 NEW BEST:: SOT 42272 SOS 33707 HAS SOPS 17386 HAS SOUS 4103 HAS SOUPS 3820 WITH SCORE 3853.707
AT ITER 4272 NEW BEST:: SOT 42316 SOS 33748 HAS SOPS 17390 HAS SOUS 4094 HAS SOUPS 3811 WITH SCORE 3844.748
AT ITER 4341 NEW BEST:: SOT 42312 SOS 33743 HAS SOPS 17382 HAS SOUS 4085 HAS SOUPS 3802 WITH SCORE 3835.743
AT ITER 4407 NEW BEST:: SOT 42310 SOS 33742 HAS SOPS 17378 HAS SOUS 4079 HAS SOUPS 3796 WITH SCORE 3829.742
AT ITER 4452 NEW BEST:: SOT 42298 SOS 33718 HAS SOPS 17354 HAS SOUS 4067 HAS SOUPS 3784 WITH SCORE 3817.718
AT ITER 4499 NEW BEST:: SOT 42298 SOS 33711 HAS SOPS 17346 HAS SOUS 4058 HAS SOUPS 3775 WITH SCORE 3808.711
AT ITER 4543 NEW BEST:: SOT 42296 SOS 33715 HAS SOPS 17342 HAS SOUS 4047 HAS SOUPS 3764 WITH SCORE 3797.715
AT ITER 4552 NEW BEST:: SOT 42345 SOS 33767 HAS SOPS 17360 HAS SOUS 4046 HAS SOUPS 3763 WITH SCORE 3796.767
AT ITER 4597 NEW BEST:: SOT 42344 SOS 33762 HAS SOPS 17353 HAS SOUS 4040 HAS SOUPS 3757 WITH SCORE 3790.762
AT ITER 4622 NEW BEST:: SOT 42354 SOS 33747 HAS SOPS 17348 HAS SOUS 4035 HAS SOUPS 3752 WITH SCORE 3785.747
AT ITER 4637 NEW BEST:: SOT 42349 SOS 33742 HAS SOPS 17338 HAS SOUS 4030 HAS SOUPS 3747 WITH SCORE 3780.742
AT ITER 4663 NEW BEST:: SOT 42341 SOS 33734 HAS SOPS 17332 HAS SOUS 4025 HAS SOUPS 3742 WITH SCORE 3775.734
AT ITER 4674 NEW BEST:: SOT 42340 SOS 33733 HAS SOPS 17330 HAS SOUS 4023 HAS SOUPS 3740 WITH SCORE 3773.733
AT ITER 4726 NEW BEST:: SOT 42333 SOS 33734 HAS SOPS 17326 HAS SOUS 4022 HAS SOUPS 3739 WITH SCORE 3772.734
AT ITER 4823 NEW BEST:: SOT 42329 SOS 33740 HAS SOPS 17325 HAS SOUS 4021 HAS SOUPS 3738 WITH SCORE 3771.74
AT ITER 4859 NEW BEST:: SOT 42320 SOS 33730 HAS SOPS 17285 HAS SOUS 4007 HAS SOUPS 3724 WITH SCORE 3757.73
AT ITER 4924 NEW BEST:: SOT 42320 SOS 33717 HAS SOPS 17275 HAS SOUS 4003 HAS SOUPS 3720 WITH SCORE 3753.717
AT ITER 4994 NEW BEST:: SOT 42309 SOS 33713 HAS SOPS 17274 HAS SOUS 4002 HAS SOUPS 3719 WITH SCORE 3752.713
AT ITER 5002 NEW BEST:: SOT 42309 SOS 33673 HAS SOPS 17254 HAS SOUS 4002 HAS SOUPS 3719 WITH SCORE 3752.673
AT ITER 5117 NEW BEST:: SOT 42313 SOS 33672 HAS SOPS 17255 HAS SOUS 4001 HAS SOUPS 3718 WITH SCORE 3751.672
AT ITER 5151 NEW BEST:: SOT 42312 SOS 33674 HAS SOPS 17255 HAS SOUS 4000 HAS SOUPS 3717 WITH SCORE 3750.674
AT ITER 5203 NEW BEST:: SOT 42310 SOS 33665 HAS SOPS 17241 HAS SOUS 3989 HAS SOUPS 3706 WITH SCORE 3739.665
AT ITER 5208 NEW BEST:: SOT 42308 SOS 33661 HAS SOPS 17237 HAS SOUS 3983 HAS SOUPS 3700 WITH SCORE 3733.661
AT ITER 5269 NEW BEST:: SOT 42302 SOS 33649 HAS SOPS 17225 HAS SOUS 3977 HAS SOUPS 3694 WITH SCORE 3727.649
AT ITER 5321 NEW BEST:: SOT 42299 SOS 33644 HAS SOPS 17219 HAS SOUS 3973 HAS SOUPS 3690 WITH SCORE 3723.644
AT ITER 5335 NEW BEST:: SOT 42300 SOS 33642 HAS SOPS 17217 HAS SOUS 3971 HAS SOUPS 3688 WITH SCORE 3721.642
AT ITER 5357 NEW BEST:: SOT 42302 SOS 33646 HAS SOPS 17221 HAS SOUS 3970 HAS SOUPS 3687 WITH SCORE 3720.646
AT ITER 5407 NEW BEST:: SOT 42302 SOS 33638 HAS SOPS 17217 HAS SOUS 3970 HAS SOUPS 3687 WITH SCORE 3720.638
AT ITER 5605 NEW BEST:: SOT 42300 SOS 33635 HAS SOPS 17213 HAS SOUS 3967 HAS SOUPS 3684 WITH SCORE 3717.635
AT ITER 5634 NEW BEST:: SOT 42295 SOS 33642 HAS SOPS 17211 HAS SOUS 3960 HAS SOUPS 3677 WITH SCORE 3710.642
AT ITER 5670 NEW BEST:: SOT 42292 SOS 33639 HAS SOPS 17205 HAS SOUS 3954 HAS SOUPS 3671 WITH SCORE 3704.639
AT ITER 5716 NEW BEST:: SOT 42290 SOS 33668 HAS SOPS 17217 HAS SOUS 3952 HAS SOUPS 3669 WITH SCORE 3702.668
AT ITER 5763 NEW BEST:: SOT 42283 SOS 33667 HAS SOPS 17211 HAS SOUS 3950 HAS SOUPS 3667 WITH SCORE 3700.667
AT ITER 5822 NEW BEST:: SOT 42283 SOS 33668 HAS SOPS 17211 HAS SOUS 3949 HAS SOUPS 3666 WITH SCORE 3699.668
AT ITER 5823 NEW BEST:: SOT 42288 SOS 33666 HAS SOPS 17209 HAS SOUS 3942 HAS SOUPS 3659 WITH SCORE 3692.666
AT ITER 5842 NEW BEST:: SOT 42251 SOS 33628 HAS SOPS 17179 HAS SOUS 3940 HAS SOUPS 3657 WITH SCORE 3690.628
AT ITER 5846 NEW BEST:: SOT 42255 SOS 33646 HAS SOPS 17187 HAS SOUS 3938 HAS SOUPS 3655 WITH SCORE 3688.646
AT ITER 6013 NEW BEST:: SOT 42253 SOS 33643 HAS SOPS 17183 HAS SOUS 3934 HAS SOUPS 3651 WITH SCORE 3684.643
AT ITER 6033 NEW BEST:: SOT 42251 SOS 33639 HAS SOPS 17177 HAS SOUS 3930 HAS SOUPS 3647 WITH SCORE 3680.639
AT ITER 6058 NEW BEST:: SOT 42250 SOS 33638 HAS SOPS 17175 HAS SOUS 3928 HAS SOUPS 3645 WITH SCORE 3678.638
AT ITER 6070 NEW BEST:: SOT 42248 SOS 33636 HAS SOPS 17171 HAS SOUS 3924 HAS SOUPS 3641 WITH SCORE 3674.636
AT ITER 6141 NEW BEST:: SOT 42242 SOS 33629 HAS SOPS 17164 HAS SOUS 3917 HAS SOUPS 3634 WITH SCORE 3667.629
AT ITER 6290 NEW BEST:: SOT 42237 SOS 33628 HAS SOPS 17161 HAS SOUS 3917 HAS SOUPS 3634 WITH SCORE 3667.628
AT ITER 6301 NEW BEST:: SOT 42238 SOS 33626 HAS SOPS 17155 HAS SOUS 3911 HAS SOUPS 3628 WITH SCORE 3661.626
AT ITER 6369 NEW BEST:: SOT 42239 SOS 33623 HAS SOPS 17152 HAS SOUS 3908 HAS SOUPS 3625 WITH SCORE 3658.623
AT ITER 6414 NEW BEST:: SOT 42239 SOS 33623 HAS SOPS 17150 HAS SOUS 3906 HAS SOUPS 3623 WITH SCORE 3656.623
AT ITER 6487 NEW BEST:: SOT 42196 SOS 33580 HAS SOPS 17126 HAS SOUS 3895 HAS SOUPS 3612 WITH SCORE 3645.58
AT ITER 6511 NEW BEST:: SOT 42192 SOS 33565 HAS SOPS 17100 HAS SOUS 3880 HAS SOUPS 3597 WITH SCORE 3630.565
AT ITER 6531 NEW BEST:: SOT 42188 SOS 33559 HAS SOPS 17092 HAS SOUS 3874 HAS SOUPS 3591 WITH SCORE 3624.559
AT ITER 6548 NEW BEST:: SOT 42184 SOS 33547 HAS SOPS 17076 HAS SOUS 3862 HAS SOUPS 3579 WITH SCORE 3612.547
AT ITER 6577 NEW BEST:: SOT 42184 SOS 33535 HAS SOPS 17070 HAS SOUS 3862 HAS SOUPS 3579 WITH SCORE 3612.535
AT ITER 6676 NEW BEST:: SOT 42184 SOS 33531 HAS SOPS 17066 HAS SOUS 3858 HAS SOUPS 3575 WITH SCORE 3608.531
AT ITER 6775 NEW BEST:: SOT 42183 SOS 33529 HAS SOPS 17065 HAS SOUS 3857 HAS SOUPS 3574 WITH SCORE 3607.529
AT ITER 6777 NEW BEST:: SOT 42176 SOS 29246 HAS SOPS 17078 HAS SOUS 3843 HAS SOUPS 3577 WITH SCORE 3606.246
AT ITER 6826 NEW BEST:: SOT 42178 SOS 29239 HAS SOPS 17072 HAS SOUS 3839 HAS SOUPS 3573 WITH SCORE 3602.239
AT ITER 6827 NEW BEST:: SOT 42168 SOS 31383 HAS SOPS 17039 HAS SOUS 3824 HAS SOUPS 3549 WITH SCORE 3580.383
AT ITER 6830 NEW BEST:: SOT 42168 SOS 31381 HAS SOPS 17038 HAS SOUS 3824 HAS SOUPS 3549 WITH SCORE 3580.381
AT ITER 6867 NEW BEST:: SOT 42168 SOS 31377 HAS SOPS 17034 HAS SOUS 3824 HAS SOUPS 3549 WITH SCORE 3580.377
AT ITER 6977 NEW BEST:: SOT 42166 SOS 31375 HAS SOPS 17031 HAS SOUS 3821 HAS SOUPS 3546 WITH SCORE 3577.375
AT ITER 7023 NEW BEST:: SOT 42166 SOS 31373 HAS SOPS 17029 HAS SOUS 3819 HAS SOUPS 3544 WITH SCORE 3575.373
AT ITER 7024 NEW BEST:: SOT 42166 SOS 31373 HAS SOPS 17029 HAS SOUS 3815 HAS SOUPS 3540 WITH SCORE 3571.373
AT ITER 7115 NEW BEST:: SOT 42158 SOS 31357 HAS SOPS 17007 HAS SOUS 3794 HAS SOUPS 3519 WITH SCORE 3550.357
AT ITER 7192 NEW BEST:: SOT 42154 SOS 31349 HAS SOPS 16999 HAS SOUS 3788 HAS SOUPS 3513 WITH SCORE 3544.349
AT ITER 7278 NEW BEST:: SOT 42152 SOS 31345 HAS SOPS 16995 HAS SOUS 3782 HAS SOUPS 3507 WITH SCORE 3538.345
AT ITER 7403 NEW BEST:: SOT 42153 SOS 31346 HAS SOPS 16979 HAS SOUS 3770 HAS SOUPS 3495 WITH SCORE 3526.346
AT ITER 7450 NEW BEST:: SOT 42151 SOS 31340 HAS SOPS 16975 HAS SOUS 3768 HAS SOUPS 3493 WITH SCORE 3524.34
AT ITER 7526 NEW BEST:: SOT 42149 SOS 31337 HAS SOPS 16971 HAS SOUS 3765 HAS SOUPS 3490 WITH SCORE 3521.337
AT ITER 7820 NEW BEST:: SOT 42148 SOS 31331 HAS SOPS 16965 HAS SOUS 3763 HAS SOUPS 3488 WITH SCORE 3519.331
AT ITER 7823 NEW BEST:: SOT 42149 SOS 31329 HAS SOPS 16962 HAS SOUS 3753 HAS SOUPS 3478 WITH SCORE 3509.329
AT ITER 8084 NEW BEST:: SOT 42148 SOS 31327 HAS SOPS 16960 HAS SOUS 3752 HAS SOUPS 3477 WITH SCORE 3508.327
AT ITER 8173 NEW BEST:: SOT 42148 SOS 31326 HAS SOPS 16960 HAS SOUS 3752 HAS SOUPS 3477 WITH SCORE 3508.326
AT ITER 8193 NEW BEST:: SOT 42148 SOS 31326 HAS SOPS 16960 HAS SOUS 3751 HAS SOUPS 3476 WITH SCORE 3507.326
AT ITER 8338 NEW BEST:: SOT 42177 SOS 31348 HAS SOPS 16970 HAS SOUS 3746 HAS SOUPS 3471 WITH SCORE 3502.348
AT ITER 8513 NEW BEST:: SOT 42172 SOS 31333 HAS SOPS 16955 HAS SOUS 3736 HAS SOUPS 3461 WITH SCORE 3492.333
AT ITER 8546 NEW BEST:: SOT 42170 SOS 31331 HAS SOPS 16953 HAS SOUS 3734 HAS SOUPS 3459 WITH SCORE 3490.331
AT ITER 8711 NEW BEST:: SOT 42170 SOS 31325 HAS SOPS 16950 HAS SOUS 3734 HAS SOUPS 3459 WITH SCORE 3490.325
AT ITER 8715 NEW BEST:: SOT 42166 SOS 31323 HAS SOPS 16947 HAS SOUS 3734 HAS SOUPS 3459 WITH SCORE 3490.323
AT ITER 8723 NEW BEST:: SOT 42165 SOS 31320 HAS SOPS 16944 HAS SOUS 3732 HAS SOUPS 3457 WITH SCORE 3488.32
AT ITER 8848 NEW BEST:: SOT 42130 SOS 31286 HAS SOPS 16912 HAS SOUS 3718 HAS SOUPS 3443 WITH SCORE 3474.286
AT ITER 8877 NEW BEST:: SOT 42130 SOS 31284 HAS SOPS 16912 HAS SOUS 3718 HAS SOUPS 3443 WITH SCORE 3474.284
AT ITER 9062 NEW BEST:: SOT 42128 SOS 31281 HAS SOPS 16908 HAS SOUS 3715 HAS SOUPS 3440 WITH SCORE 3471.281
AT ITER 9115 NEW BEST:: SOT 42158 SOS 31265 HAS SOPS 16912 HAS SOUS 3710 HAS SOUPS 3435 WITH SCORE 3466.265
AT ITER 9138 NEW BEST:: SOT 42157 SOS 31263 HAS SOPS 16910 HAS SOUS 3708 HAS SOUPS 3433 WITH SCORE 3464.263
AT ITER 9214 NEW BEST:: SOT 42159 SOS 31257 HAS SOPS 16910 HAS SOUS 3708 HAS SOUPS 3433 WITH SCORE 3464.257
AT ITER 9288 NEW BEST:: SOT 42155 SOS 31251 HAS SOPS 16902 HAS SOUS 3701 HAS SOUPS 3426 WITH SCORE 3457.251
AT ITER 9301 NEW BEST:: SOT 42153 SOS 31249 HAS SOPS 16901 HAS SOUS 3700 HAS SOUPS 3425 WITH SCORE 3456.249
AT ITER 9396 NEW BEST:: SOT 42151 SOS 31245 HAS SOPS 16896 HAS SOUS 3697 HAS SOUPS 3422 WITH SCORE 3453.245
AT ITER 9497 NEW BEST:: SOT 42144 SOS 31244 HAS SOPS 16888 HAS SOUS 3688 HAS SOUPS 3413 WITH SCORE 3444.244
AT ITER 9704 NEW BEST:: SOT 42143 SOS 31244 HAS SOPS 16887 HAS SOUS 3687 HAS SOUPS 3412 WITH SCORE 3443.244
AT ITER 9812 NEW BEST:: SOT 42135 SOS 31230 HAS SOPS 16871 HAS SOUS 3677 HAS SOUPS 3402 WITH SCORE 3433.23
STATE_SPACE STATES 8916100448257 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 14 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 167300718133249 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589420526378

--------------------
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-12a"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is FlexibleBarrier-PT-12a, 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 r078-smll-158922972500328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-12a.tgz
mv FlexibleBarrier-PT-12a 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 ;