Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922808401048.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 Eratosthenes-PT-200, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922808401048
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 496K
-rw-r--r-- 1 mcc users 3.7K Apr 14 12:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 14 12:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 14 12:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 14 12:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 15:19 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 15:19 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 14 12:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 14 12:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 14 12:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 14 12:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 14 12:24 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 327K 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 1589369571089

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

Filename model.pnml
Petri model created: 199 places, 699 transitions, 2097 arcs.
AT ITER 0 NEW BEST:: SOT 91841 SOS 45024 HAS SOPS 35448 HAS SOUS 13646 HAS SOUPS 9747 WITH SCORE 9792.024
AT ITER 1 NEW BEST:: SOT 87815 SOS 42738 HAS SOPS 31050 HAS SOUS 13210 HAS SOUPS 9126 WITH SCORE 9168.738
AT ITER 2 NEW BEST:: SOT 87797 SOS 42702 HAS SOPS 31032 HAS SOUS 13204 HAS SOUPS 9126 WITH SCORE 9168.702
AT ITER 3 NEW BEST:: SOT 86929 SOS 42039 HAS SOPS 30106 HAS SOUS 13119 HAS SOUPS 8983 WITH SCORE 9025.039
AT ITER 5 NEW BEST:: SOT 86916 SOS 41999 HAS SOPS 30079 HAS SOUS 13119 HAS SOUPS 8983 WITH SCORE 9024.999
AT ITER 6 NEW BEST:: SOT 86510 SOS 41687 HAS SOPS 29648 HAS SOUS 13166 HAS SOUPS 8980 WITH SCORE 9021.687
AT ITER 7 NEW BEST:: SOT 86517 SOS 41679 HAS SOPS 29655 HAS SOUS 13166 HAS SOUPS 8980 WITH SCORE 9021.679
AT ITER 8 NEW BEST:: SOT 86552 SOS 41629 HAS SOPS 29570 HAS SOUS 13233 HAS SOUPS 8980 WITH SCORE 9021.629
AT ITER 9 NEW BEST:: SOT 86947 SOS 41855 HAS SOPS 29401 HAS SOUS 13431 HAS SOUPS 8919 WITH SCORE 8960.855
AT ITER 10 NEW BEST:: SOT 86984 SOS 41891 HAS SOPS 29400 HAS SOUS 13453 HAS SOUPS 8918 WITH SCORE 8959.891
AT ITER 15 NEW BEST:: SOT 86802 SOS 41661 HAS SOPS 29486 HAS SOUS 13290 HAS SOUPS 8918 WITH SCORE 8959.661
AT ITER 18 NEW BEST:: SOT 87130 SOS 41435 HAS SOPS 29030 HAS SOUS 13415 HAS SOUPS 8901 WITH SCORE 8942.435
AT ITER 22 NEW BEST:: SOT 87170 SOS 41323 HAS SOPS 28878 HAS SOUS 13455 HAS SOUPS 8901 WITH SCORE 8942.323
AT ITER 24 NEW BEST:: SOT 87190 SOS 41195 HAS SOPS 28982 HAS SOUS 13455 HAS SOUPS 8901 WITH SCORE 8942.195
AT ITER 26 NEW BEST:: SOT 87232 SOS 41105 HAS SOPS 28908 HAS SOUS 13368 HAS SOUPS 8853 WITH SCORE 8894.105
AT ITER 28 NEW BEST:: SOT 87341 SOS 41205 HAS SOPS 28899 HAS SOUS 13443 HAS SOUPS 8844 WITH SCORE 8885.205
AT ITER 29 NEW BEST:: SOT 87531 SOS 40935 HAS SOPS 28374 HAS SOUS 13712 HAS SOUPS 8844 WITH SCORE 8884.935
AT ITER 31 NEW BEST:: SOT 87544 SOS 40841 HAS SOPS 28267 HAS SOUS 13711 HAS SOUPS 8844 WITH SCORE 8884.841
AT ITER 34 NEW BEST:: SOT 87521 SOS 40648 HAS SOPS 28244 HAS SOUS 13695 HAS SOUPS 8828 WITH SCORE 8868.648
AT ITER 37 NEW BEST:: SOT 87248 SOS 40672 HAS SOPS 27959 HAS SOUS 13653 HAS SOUPS 8786 WITH SCORE 8826.672
AT ITER 38 NEW BEST:: SOT 87233 SOS 40625 HAS SOPS 27927 HAS SOUS 13659 HAS SOUPS 8786 WITH SCORE 8826.625
AT ITER 39 NEW BEST:: SOT 87298 SOS 40683 HAS SOPS 27920 HAS SOUS 13697 HAS SOUPS 8781 WITH SCORE 8821.683
AT ITER 45 NEW BEST:: SOT 87455 SOS 40485 HAS SOPS 27565 HAS SOUS 13735 HAS SOUPS 8780 WITH SCORE 8820.485
AT ITER 46 NEW BEST:: SOT 86140 SOS 40564 HAS SOPS 25734 HAS SOUS 13404 HAS SOUPS 8449 WITH SCORE 8489.564
AT ITER 48 NEW BEST:: SOT 86275 SOS 40432 HAS SOPS 25601 HAS SOUS 13442 HAS SOUPS 8449 WITH SCORE 8489.432
AT ITER 53 NEW BEST:: SOT 86326 SOS 40318 HAS SOPS 25436 HAS SOUS 13442 HAS SOUPS 8449 WITH SCORE 8489.318
AT ITER 55 NEW BEST:: SOT 86531 SOS 40478 HAS SOPS 25441 HAS SOUS 13490 HAS SOUPS 8441 WITH SCORE 8481.478
AT ITER 56 NEW BEST:: SOT 86561 SOS 40410 HAS SOPS 25375 HAS SOUS 13485 HAS SOUPS 8441 WITH SCORE 8481.41
AT ITER 57 NEW BEST:: SOT 87365 SOS 40874 HAS SOPS 25178 HAS SOUS 13689 HAS SOUPS 8362 WITH SCORE 8402.874
AT ITER 60 NEW BEST:: SOT 87042 SOS 40498 HAS SOPS 24225 HAS SOUS 13916 HAS SOUPS 8317 WITH SCORE 8357.498
AT ITER 62 NEW BEST:: SOT 87469 SOS 40770 HAS SOPS 24070 HAS SOUS 13954 HAS SOUPS 8252 WITH SCORE 8292.77
AT ITER 63 NEW BEST:: SOT 87449 SOS 40750 HAS SOPS 24070 HAS SOUS 13934 HAS SOUPS 8252 WITH SCORE 8292.75
AT ITER 66 NEW BEST:: SOT 87500 SOS 40665 HAS SOPS 23917 HAS SOUS 13951 HAS SOUPS 8252 WITH SCORE 8292.665
AT ITER 67 NEW BEST:: SOT 87646 SOS 40592 HAS SOPS 23771 HAS SOUS 13838 HAS SOUPS 8196 WITH SCORE 8236.592
AT ITER 68 NEW BEST:: SOT 87660 SOS 40578 HAS SOPS 23729 HAS SOUS 13838 HAS SOUPS 8182 WITH SCORE 8222.578
AT ITER 70 NEW BEST:: SOT 87794 SOS 40696 HAS SOPS 23713 HAS SOUS 13900 HAS SOUPS 8170 WITH SCORE 8210.696
AT ITER 73 NEW BEST:: SOT 87749 SOS 40690 HAS SOPS 23892 HAS SOUS 13872 HAS SOUPS 8170 WITH SCORE 8210.69
AT ITER 78 NEW BEST:: SOT 88230 SOS 40140 HAS SOPS 22861 HAS SOUS 14093 HAS SOUPS 8170 WITH SCORE 8210.14
AT ITER 82 NEW BEST:: SOT 88441 SOS 40067 HAS SOPS 22775 HAS SOUS 13926 HAS SOUPS 8104 WITH SCORE 8144.067
AT ITER 87 NEW BEST:: SOT 88074 SOS 39753 HAS SOPS 22408 HAS SOUS 13939 HAS SOUPS 8049 WITH SCORE 8088.753
AT ITER 89 NEW BEST:: SOT 88073 SOS 39752 HAS SOPS 22409 HAS SOUS 13937 HAS SOUPS 8049 WITH SCORE 8088.752
AT ITER 90 NEW BEST:: SOT 88332 SOS 39577 HAS SOPS 22272 HAS SOUS 13844 HAS SOUPS 8049 WITH SCORE 8088.577
AT ITER 97 NEW BEST:: SOT 88546 SOS 39669 HAS SOPS 22150 HAS SOUS 13813 HAS SOUPS 7927 WITH SCORE 7966.669
AT ITER 106 NEW BEST:: SOT 88557 SOS 39653 HAS SOPS 22123 HAS SOUS 13809 HAS SOUPS 7916 WITH SCORE 7955.653
AT ITER 108 NEW BEST:: SOT 88812 SOS 39891 HAS SOPS 22106 HAS SOUS 13935 HAS SOUPS 7899 WITH SCORE 7938.891
AT ITER 110 NEW BEST:: SOT 88196 SOS 39491 HAS SOPS 21362 HAS SOUS 14051 HAS SOUPS 7872 WITH SCORE 7911.491
AT ITER 114 NEW BEST:: SOT 88212 SOS 38970 HAS SOPS 20904 HAS SOUS 13938 HAS SOUPS 7872 WITH SCORE 7910.97
AT ITER 117 NEW BEST:: SOT 87814 SOS 38534 HAS SOPS 21046 HAS SOUS 13826 HAS SOUPS 7872 WITH SCORE 7910.534
AT ITER 118 NEW BEST:: SOT 87833 SOS 40938 HAS SOPS 21065 HAS SOUS 13810 HAS SOUPS 7856 WITH SCORE 7896.938
AT ITER 120 NEW BEST:: SOT 88007 SOS 40485 HAS SOPS 21061 HAS SOUS 13673 HAS SOUPS 7856 WITH SCORE 7896.485
AT ITER 121 NEW BEST:: SOT 88204 SOS 40879 HAS SOPS 20208 HAS SOUS 13676 HAS SOUPS 7510 WITH SCORE 7550.879
AT ITER 124 NEW BEST:: SOT 88929 SOS 40668 HAS SOPS 19876 HAS SOUS 13551 HAS SOUPS 7482 WITH SCORE 7522.668
AT ITER 130 NEW BEST:: SOT 88284 SOS 40470 HAS SOPS 19231 HAS SOUS 13410 HAS SOUPS 7313 WITH SCORE 7353.47
AT ITER 131 NEW BEST:: SOT 88147 SOS 40334 HAS SOPS 19186 HAS SOUS 13375 HAS SOUPS 7284 WITH SCORE 7324.334
AT ITER 132 NEW BEST:: SOT 88177 SOS 40334 HAS SOPS 19156 HAS SOUS 13365 HAS SOUPS 7274 WITH SCORE 7314.334
AT ITER 134 NEW BEST:: SOT 88520 SOS 40522 HAS SOPS 19001 HAS SOUS 13394 HAS SOUPS 7221 WITH SCORE 7261.522
AT ITER 141 NEW BEST:: SOT 88696 SOS 40111 HAS SOPS 18196 HAS SOUS 13572 HAS SOUPS 7221 WITH SCORE 7261.111
AT ITER 144 NEW BEST:: SOT 88790 SOS 40035 HAS SOPS 18026 HAS SOUS 13548 HAS SOUPS 7197 WITH SCORE 7237.035
AT ITER 146 NEW BEST:: SOT 88822 SOS 40044 HAS SOPS 18003 HAS SOUS 13563 HAS SOUPS 7174 WITH SCORE 7214.044
AT ITER 150 NEW BEST:: SOT 87856 SOS 39512 HAS SOPS 16757 HAS SOUS 13645 HAS SOUPS 7143 WITH SCORE 7182.512
AT ITER 152 NEW BEST:: SOT 87536 SOS 39544 HAS SOPS 16325 HAS SOUS 13548 HAS SOUPS 6934 WITH SCORE 6973.544
AT ITER 153 NEW BEST:: SOT 87539 SOS 39508 HAS SOPS 16286 HAS SOUS 13527 HAS SOUPS 6934 WITH SCORE 6973.508
AT ITER 157 NEW BEST:: SOT 87649 SOS 39392 HAS SOPS 16060 HAS SOUS 13507 HAS SOUPS 6914 WITH SCORE 6953.392
AT ITER 159 NEW BEST:: SOT 86810 SOS 41986 HAS SOPS 14933 HAS SOUS 13298 HAS SOUPS 6705 WITH SCORE 6746.986
AT ITER 160 NEW BEST:: SOT 85916 SOS 41374 HAS SOPS 14039 HAS SOUS 12962 HAS SOUPS 6345 WITH SCORE 6386.374
AT ITER 162 NEW BEST:: SOT 87088 SOS 42258 HAS SOPS 13751 HAS SOUS 13178 HAS SOUPS 6244 WITH SCORE 6286.258
AT ITER 163 NEW BEST:: SOT 87979 SOS 42804 HAS SOPS 13612 HAS SOUS 13250 HAS SOUPS 6242 WITH SCORE 6284.804
AT ITER 165 NEW BEST:: SOT 88286 SOS 43098 HAS SOPS 13599 HAS SOUS 13326 HAS SOUPS 6229 WITH SCORE 6272.098
AT ITER 168 NEW BEST:: SOT 89071 SOS 43516 HAS SOPS 13360 HAS SOUS 13104 HAS SOUPS 6135 WITH SCORE 6178.516
AT ITER 173 NEW BEST:: SOT 88852 SOS 43426 HAS SOPS 13141 HAS SOUS 13121 HAS SOUPS 6094 WITH SCORE 6137.426
AT ITER 174 NEW BEST:: SOT 88824 SOS 43398 HAS SOPS 13141 HAS SOUS 13121 HAS SOUPS 6094 WITH SCORE 6137.398
AT ITER 176 NEW BEST:: SOT 89074 SOS 43408 HAS SOPS 12971 HAS SOUS 12981 HAS SOUPS 6024 WITH SCORE 6067.408
AT ITER 178 NEW BEST:: SOT 89147 SOS 43344 HAS SOPS 12804 HAS SOUS 12981 HAS SOUPS 5994 WITH SCORE 6037.344
AT ITER 179 NEW BEST:: SOT 89375 SOS 43501 HAS SOPS 12733 HAS SOUS 12981 HAS SOUPS 5971 WITH SCORE 6014.501
AT ITER 180 NEW BEST:: SOT 89734 SOS 43400 HAS SOPS 12273 HAS SOUS 12948 HAS SOUPS 5927 WITH SCORE 5970.4
AT ITER 185 NEW BEST:: SOT 89701 SOS 43334 HAS SOPS 12284 HAS SOUS 12948 HAS SOUPS 5927 WITH SCORE 5970.334
AT ITER 186 NEW BEST:: SOT 89741 SOS 42881 HAS SOPS 12160 HAS SOUS 12866 HAS SOUPS 5886 WITH SCORE 5928.881
AT ITER 187 NEW BEST:: SOT 89746 SOS 43031 HAS SOPS 12125 HAS SOUS 12831 HAS SOUPS 5851 WITH SCORE 5894.031
AT ITER 189 NEW BEST:: SOT 90156 SOS 43329 HAS SOPS 12013 HAS SOUS 12985 HAS SOUPS 5797 WITH SCORE 5840.329
AT ITER 195 NEW BEST:: SOT 90156 SOS 43322 HAS SOPS 12013 HAS SOUS 12978 HAS SOUPS 5797 WITH SCORE 5840.322
AT ITER 196 NEW BEST:: SOT 90150 SOS 43307 HAS SOPS 12001 HAS SOUS 12975 HAS SOUPS 5794 WITH SCORE 5837.307
AT ITER 198 NEW BEST:: SOT 90324 SOS 43383 HAS SOPS 11903 HAS SOUS 12777 HAS SOUPS 5732 WITH SCORE 5775.383
AT ITER 199 NEW BEST:: SOT 89960 SOS 43903 HAS SOPS 11539 HAS SOUS 12649 HAS SOUPS 5572 WITH SCORE 5615.903
AT ITER 202 NEW BEST:: SOT 89942 SOS 43887 HAS SOPS 11551 HAS SOUS 12649 HAS SOUPS 5572 WITH SCORE 5615.887
AT ITER 205 NEW BEST:: SOT 89896 SOS 43841 HAS SOPS 11551 HAS SOUS 12605 HAS SOUPS 5572 WITH SCORE 5615.841
AT ITER 208 NEW BEST:: SOT 89238 SOS 43285 HAS SOPS 11501 HAS SOUS 12510 HAS SOUPS 5514 WITH SCORE 5557.285
AT ITER 212 NEW BEST:: SOT 89276 SOS 43171 HAS SOPS 11311 HAS SOUS 12526 HAS SOUPS 5476 WITH SCORE 5519.171
AT ITER 213 NEW BEST:: SOT 89273 SOS 43165 HAS SOPS 11308 HAS SOUS 12519 HAS SOUPS 5473 WITH SCORE 5516.165
AT ITER 214 NEW BEST:: SOT 89329 SOS 43100 HAS SOPS 11246 HAS SOUS 12451 HAS SOUPS 5414 WITH SCORE 5457.1
AT ITER 215 NEW BEST:: SOT 89379 SOS 42813 HAS SOPS 11038 HAS SOUS 12350 HAS SOUPS 5413 WITH SCORE 5455.813
AT ITER 216 NEW BEST:: SOT 89520 SOS 42351 HAS SOPS 10993 HAS SOUS 12164 HAS SOUPS 5320 WITH SCORE 5362.351
AT ITER 217 NEW BEST:: SOT 89560 SOS 42341 HAS SOPS 11063 HAS SOUS 12164 HAS SOUPS 5320 WITH SCORE 5362.341
AT ITER 219 NEW BEST:: SOT 89874 SOS 42579 HAS SOPS 10857 HAS SOUS 12293 HAS SOUPS 5315 WITH SCORE 5357.579
AT ITER 222 NEW BEST:: SOT 90252 SOS 42615 HAS SOPS 10755 HAS SOUS 11971 HAS SOUPS 5195 WITH SCORE 5237.615
AT ITER 223 NEW BEST:: SOT 90293 SOS 42550 HAS SOPS 10712 HAS SOUS 11932 HAS SOUPS 5174 WITH SCORE 5216.55
AT ITER 225 NEW BEST:: SOT 90362 SOS 42644 HAS SOPS 10693 HAS SOUS 12048 HAS SOUPS 5158 WITH SCORE 5200.644
AT ITER 230 NEW BEST:: SOT 90438 SOS 42626 HAS SOPS 10565 HAS SOUS 12045 HAS SOUPS 5130 WITH SCORE 5172.626
AT ITER 231 NEW BEST:: SOT 90386 SOS 42522 HAS SOPS 10513 HAS SOUS 11993 HAS SOUPS 5063 WITH SCORE 5105.522
AT ITER 233 NEW BEST:: SOT 89531 SOS 42786 HAS SOPS 9940 HAS SOUS 12036 HAS SOUPS 4971 WITH SCORE 5013.786
AT ITER 237 NEW BEST:: SOT 89543 SOS 43254 HAS SOPS 9878 HAS SOUS 11914 HAS SOUPS 4849 WITH SCORE 4892.254
AT ITER 238 NEW BEST:: SOT 89537 SOS 43248 HAS SOPS 9878 HAS SOUS 11914 HAS SOUPS 4849 WITH SCORE 4892.248
AT ITER 239 NEW BEST:: SOT 89559 SOS 42988 HAS SOPS 9748 HAS SOUS 11762 HAS SOUPS 4773 WITH SCORE 4815.988
AT ITER 244 NEW BEST:: SOT 89661 SOS 43058 HAS SOPS 9716 HAS SOUS 11730 HAS SOUPS 4741 WITH SCORE 4784.058
AT ITER 245 NEW BEST:: SOT 89815 SOS 43206 HAS SOPS 9670 HAS SOUS 11855 HAS SOUPS 4718 WITH SCORE 4761.206
AT ITER 247 NEW BEST:: SOT 90619 SOS 43743 HAS SOPS 9522 HAS SOUS 11981 HAS SOUPS 4688 WITH SCORE 4731.743
AT ITER 255 NEW BEST:: SOT 90619 SOS 43527 HAS SOPS 9522 HAS SOUS 11957 HAS SOUPS 4688 WITH SCORE 4731.527
AT ITER 261 NEW BEST:: SOT 90645 SOS 43528 HAS SOPS 9497 HAS SOUS 11881 HAS SOUPS 4663 WITH SCORE 4706.528
AT ITER 263 NEW BEST:: SOT 90714 SOS 43801 HAS SOPS 9512 HAS SOUS 11904 HAS SOUPS 4659 WITH SCORE 4702.801
AT ITER 264 NEW BEST:: SOT 90623 SOS 43437 HAS SOPS 9239 HAS SOUS 11813 HAS SOUPS 4568 WITH SCORE 4611.437
AT ITER 266 NEW BEST:: SOT 90669 SOS 43343 HAS SOPS 9099 HAS SOUS 11782 HAS SOUPS 4568 WITH SCORE 4611.343
AT ITER 270 NEW BEST:: SOT 90677 SOS 43260 HAS SOPS 9107 HAS SOUS 11782 HAS SOUPS 4568 WITH SCORE 4611.26
AT ITER 274 NEW BEST:: SOT 90753 SOS 43252 HAS SOPS 9023 HAS SOUS 11702 HAS SOUPS 4528 WITH SCORE 4571.252
AT ITER 275 NEW BEST:: SOT 90800 SOS 42814 HAS SOPS 8462 HAS SOUS 11778 HAS SOUPS 4528 WITH SCORE 4570.814
AT ITER 276 NEW BEST:: SOT 90729 SOS 42594 HAS SOPS 8469 HAS SOUS 11700 HAS SOUPS 4528 WITH SCORE 4570.594
AT ITER 287 NEW BEST:: SOT 90729 SOS 42578 HAS SOPS 8469 HAS SOUS 11700 HAS SOUPS 4528 WITH SCORE 4570.578
AT ITER 288 NEW BEST:: SOT 91019 SOS 42960 HAS SOPS 8462 HAS SOUS 11904 HAS SOUPS 4522 WITH SCORE 4564.96
AT ITER 295 NEW BEST:: SOT 91432 SOS 43246 HAS SOPS 8443 HAS SOUS 11901 HAS SOUPS 4512 WITH SCORE 4555.246
AT ITER 296 NEW BEST:: SOT 91094 SOS 42885 HAS SOPS 8375 HAS SOUS 11809 HAS SOUPS 4481 WITH SCORE 4523.885
AT ITER 299 NEW BEST:: SOT 91002 SOS 42793 HAS SOPS 8375 HAS SOUS 11809 HAS SOUPS 4481 WITH SCORE 4523.793
AT ITER 308 NEW BEST:: SOT 90967 SOS 42801 HAS SOPS 8418 HAS SOUS 11830 HAS SOUPS 4476 WITH SCORE 4518.801
AT ITER 309 NEW BEST:: SOT 91010 SOS 42791 HAS SOPS 8461 HAS SOUS 11734 HAS SOUPS 4476 WITH SCORE 4518.791
AT ITER 315 NEW BEST:: SOT 91038 SOS 42777 HAS SOPS 8433 HAS SOUS 11692 HAS SOUPS 4462 WITH SCORE 4504.777
AT ITER 325 NEW BEST:: SOT 91151 SOS 42943 HAS SOPS 8426 HAS SOUS 11727 HAS SOUPS 4457 WITH SCORE 4499.943
AT ITER 329 NEW BEST:: SOT 91172 SOS 42845 HAS SOPS 8363 HAS SOUS 11671 HAS SOUPS 4429 WITH SCORE 4471.845
AT ITER 330 NEW BEST:: SOT 91576 SOS 43233 HAS SOPS 8347 HAS SOUS 11699 HAS SOUPS 4422 WITH SCORE 4465.233
AT ITER 331 NEW BEST:: SOT 91470 SOS 43121 HAS SOPS 8341 HAS SOUS 11693 HAS SOUPS 4416 WITH SCORE 4459.121
AT ITER 340 NEW BEST:: SOT 91424 SOS 43302 HAS SOPS 8295 HAS SOUS 11689 HAS SOUPS 4405 WITH SCORE 4448.302
AT ITER 341 NEW BEST:: SOT 90701 SOS 43920 HAS SOPS 7572 HAS SOUS 11671 HAS SOUPS 4387 WITH SCORE 4430.92
AT ITER 343 NEW BEST:: SOT 90797 SOS 43877 HAS SOPS 7574 HAS SOUS 11624 HAS SOUPS 4387 WITH SCORE 4430.877
AT ITER 344 NEW BEST:: SOT 90836 SOS 43485 HAS SOPS 7143 HAS SOUS 11524 HAS SOUPS 4375 WITH SCORE 4418.485
AT ITER 346 NEW BEST:: SOT 90989 SOS 43635 HAS SOPS 7140 HAS SOUS 11445 HAS SOUPS 4299 WITH SCORE 4342.635
AT ITER 348 NEW BEST:: SOT 90963 SOS 43583 HAS SOPS 7114 HAS SOUS 11463 HAS SOUPS 4299 WITH SCORE 4342.583
AT ITER 351 NEW BEST:: SOT 91023 SOS 43588 HAS SOPS 7036 HAS SOUS 11417 HAS SOUPS 4253 WITH SCORE 4296.588
AT ITER 354 NEW BEST:: SOT 90997 SOS 43393 HAS SOPS 7036 HAS SOUS 11417 HAS SOUPS 4253 WITH SCORE 4296.393
AT ITER 366 NEW BEST:: SOT 91065 SOS 43569 HAS SOPS 6984 HAS SOUS 11457 HAS SOUPS 4233 WITH SCORE 4276.569
AT ITER 371 NEW BEST:: SOT 91040 SOS 43417 HAS SOPS 7027 HAS SOUS 11423 HAS SOUPS 4233 WITH SCORE 4276.417
AT ITER 375 NEW BEST:: SOT 90878 SOS 43255 HAS SOPS 6973 HAS SOUS 11421 HAS SOUPS 4206 WITH SCORE 4249.255
AT ITER 379 NEW BEST:: SOT 90876 SOS 42978 HAS SOPS 6893 HAS SOUS 11382 HAS SOUPS 4167 WITH SCORE 4209.978
AT ITER 383 NEW BEST:: SOT 90841 SOS 42943 HAS SOPS 6888 HAS SOUS 11352 HAS SOUPS 4162 WITH SCORE 4204.943
AT ITER 390 NEW BEST:: SOT 90717 SOS 42893 HAS SOPS 7028 HAS SOUS 11305 HAS SOUPS 4161 WITH SCORE 4203.893
AT ITER 393 NEW BEST:: SOT 90975 SOS 43554 HAS SOPS 6996 HAS SOUS 11583 HAS SOUPS 4149 WITH SCORE 4192.554
AT ITER 398 NEW BEST:: SOT 91001 SOS 43515 HAS SOPS 7048 HAS SOUS 11570 HAS SOUPS 4149 WITH SCORE 4192.515
AT ITER 401 NEW BEST:: SOT 90951 SOS 43465 HAS SOPS 7048 HAS SOUS 11570 HAS SOUPS 4149 WITH SCORE 4192.465
AT ITER 402 NEW BEST:: SOT 90951 SOS 43457 HAS SOPS 7032 HAS SOUS 11574 HAS SOUPS 4149 WITH SCORE 4192.457
AT ITER 403 NEW BEST:: SOT 90806 SOS 43167 HAS SOPS 6887 HAS SOUS 11458 HAS SOUPS 4146 WITH SCORE 4189.167
AT ITER 419 NEW BEST:: SOT 90806 SOS 43164 HAS SOPS 6887 HAS SOUS 11458 HAS SOUPS 4146 WITH SCORE 4189.164
AT ITER 425 NEW BEST:: SOT 89751 SOS 43394 HAS SOPS 5832 HAS SOUS 10943 HAS SOUPS 3595 WITH SCORE 3638.394
AT ITER 429 NEW BEST:: SOT 89856 SOS 43464 HAS SOPS 5797 HAS SOUS 10923 HAS SOUPS 3585 WITH SCORE 3628.464
AT ITER 434 NEW BEST:: SOT 89753 SOS 43384 HAS SOPS 5778 HAS SOUS 10965 HAS SOUPS 3585 WITH SCORE 3628.384
AT ITER 435 NEW BEST:: SOT 89745 SOS 43136 HAS SOPS 5786 HAS SOUS 10957 HAS SOUPS 3585 WITH SCORE 3628.136
AT ITER 440 NEW BEST:: SOT 89759 SOS 43120 HAS SOPS 5756 HAS SOUS 10931 HAS SOUPS 3563 WITH SCORE 3606.12
AT ITER 443 NEW BEST:: SOT 89725 SOS 43086 HAS SOPS 5756 HAS SOUS 10914 HAS SOUPS 3563 WITH SCORE 3606.086
AT ITER 445 NEW BEST:: SOT 88767 SOS 45126 HAS SOPS 4540 HAS SOUS 10205 HAS SOUPS 2727 WITH SCORE 2772.126
AT ITER 453 NEW BEST:: SOT 88742 SOS 45184 HAS SOPS 4623 HAS SOUS 10184 HAS SOUPS 2726 WITH SCORE 2771.184
AT ITER 454 NEW BEST:: SOT 88686 SOS 45008 HAS SOPS 4631 HAS SOUS 10093 HAS SOUPS 2702 WITH SCORE 2747.008
AT ITER 455 NEW BEST:: SOT 88685 SOS 45000 HAS SOPS 4618 HAS SOUS 10099 HAS SOUPS 2702 WITH SCORE 2747.0
AT ITER 457 NEW BEST:: SOT 88658 SOS 45081 HAS SOPS 4591 HAS SOUS 10310 HAS SOUPS 2698 WITH SCORE 2743.081
AT ITER 464 NEW BEST:: SOT 88742 SOS 45113 HAS SOPS 4539 HAS SOUS 10282 HAS SOUPS 2666 WITH SCORE 2711.113
AT ITER 468 NEW BEST:: SOT 88640 SOS 45011 HAS SOPS 4539 HAS SOUS 10263 HAS SOUPS 2666 WITH SCORE 2711.011
AT ITER 470 NEW BEST:: SOT 89022 SOS 45195 HAS SOPS 4341 HAS SOUS 10238 HAS SOUPS 2610 WITH SCORE 2655.195
AT ITER 471 NEW BEST:: SOT 89015 SOS 45586 HAS SOPS 4325 HAS SOUS 10230 HAS SOUPS 2602 WITH SCORE 2647.586
AT ITER 472 NEW BEST:: SOT 88798 SOS 47040 HAS SOPS 3916 HAS SOUS 10149 HAS SOUPS 2453 WITH SCORE 2500.04
AT ITER 478 NEW BEST:: SOT 88776 SOS 47018 HAS SOPS 3916 HAS SOUS 10149 HAS SOUPS 2453 WITH SCORE 2500.018
AT ITER 484 NEW BEST:: SOT 88700 SOS 46961 HAS SOPS 3916 HAS SOUS 10187 HAS SOUPS 2453 WITH SCORE 2499.961
AT ITER 487 NEW BEST:: SOT 88612 SOS 47260 HAS SOPS 3803 HAS SOUS 10185 HAS SOUPS 2426 WITH SCORE 2473.26
AT ITER 489 NEW BEST:: SOT 88674 SOS 47302 HAS SOPS 3783 HAS SOUS 10151 HAS SOUPS 2406 WITH SCORE 2453.302
AT ITER 490 NEW BEST:: SOT 88812 SOS 47434 HAS SOPS 3777 HAS SOUS 10141 HAS SOUPS 2397 WITH SCORE 2444.434
AT ITER 491 NEW BEST:: SOT 88793 SOS 47340 HAS SOPS 3758 HAS SOUS 10071 HAS SOUPS 2383 WITH SCORE 2430.34
AT ITER 493 NEW BEST:: SOT 88648 SOS 47274 HAS SOPS 3669 HAS SOUS 10081 HAS SOUPS 2365 WITH SCORE 2412.274
AT ITER 495 NEW BEST:: SOT 88580 SOS 47206 HAS SOPS 3669 HAS SOUS 10081 HAS SOUPS 2365 WITH SCORE 2412.206
AT ITER 496 NEW BEST:: SOT 88477 SOS 47888 HAS SOPS 3566 HAS SOUS 10061 HAS SOUPS 2308 WITH SCORE 2355.888
AT ITER 499 NEW BEST:: SOT 88374 SOS 48188 HAS SOPS 3486 HAS SOUS 10071 HAS SOUPS 2295 WITH SCORE 2343.188
AT ITER 500 NEW BEST:: SOT 88361 SOS 48178 HAS SOPS 3441 HAS SOUS 10049 HAS SOUPS 2273 WITH SCORE 2321.178
AT ITER 505 NEW BEST:: SOT 88366 SOS 48163 HAS SOPS 3441 HAS SOUS 10044 HAS SOUPS 2273 WITH SCORE 2321.163
AT ITER 510 NEW BEST:: SOT 88662 SOS 48405 HAS SOPS 3387 HAS SOUS 10045 HAS SOUPS 2245 WITH SCORE 2293.405
AT ITER 512 NEW BEST:: SOT 88844 SOS 48409 HAS SOPS 3281 HAS SOUS 9931 HAS SOUPS 2203 WITH SCORE 2251.409
AT ITER 513 NEW BEST:: SOT 88840 SOS 51362 HAS SOPS 3183 HAS SOUS 9971 HAS SOUPS 2196 WITH SCORE 2247.362
AT ITER 514 NEW BEST:: SOT 89178 SOS 51698 HAS SOPS 3181 HAS SOUS 10007 HAS SOUPS 2194 WITH SCORE 2245.698
AT ITER 517 NEW BEST:: SOT 89444 SOS 51942 HAS SOPS 3159 HAS SOUS 9937 HAS SOUPS 2172 WITH SCORE 2223.942
AT ITER 526 NEW BEST:: SOT 89488 SOS 52005 HAS SOPS 3153 HAS SOUS 9932 HAS SOUPS 2167 WITH SCORE 2219.005
AT ITER 532 NEW BEST:: SOT 89798 SOS 52127 HAS SOPS 2965 HAS SOUS 9849 HAS SOUPS 2084 WITH SCORE 2136.127
AT ITER 533 NEW BEST:: SOT 90194 SOS 52439 HAS SOPS 2881 HAS SOUS 9755 HAS SOUPS 2038 WITH SCORE 2090.439
AT ITER 538 NEW BEST:: SOT 90179 SOS 52409 HAS SOPS 2881 HAS SOUS 9740 HAS SOUPS 2038 WITH SCORE 2090.409
AT ITER 539 NEW BEST:: SOT 90180 SOS 52349 HAS SOPS 2820 HAS SOUS 9729 HAS SOUPS 2014 WITH SCORE 2066.349
AT ITER 542 NEW BEST:: SOT 90391 SOS 52515 HAS SOPS 2775 HAS SOUS 9745 HAS SOUPS 1969 WITH SCORE 2021.515
AT ITER 547 NEW BEST:: SOT 90391 SOS 52509 HAS SOPS 2775 HAS SOUS 9742 HAS SOUPS 1969 WITH SCORE 2021.509
AT ITER 556 NEW BEST:: SOT 90313 SOS 52713 HAS SOPS 2727 HAS SOUS 9740 HAS SOUPS 1937 WITH SCORE 1989.713
AT ITER 560 NEW BEST:: SOT 90232 SOS 52632 HAS SOPS 2727 HAS SOUS 9692 HAS SOUPS 1937 WITH SCORE 1989.632
AT ITER 566 NEW BEST:: SOT 90255 SOS 52665 HAS SOPS 2724 HAS SOUS 9709 HAS SOUPS 1934 WITH SCORE 1986.665
AT ITER 567 NEW BEST:: SOT 90530 SOS 52815 HAS SOPS 2679 HAS SOUS 9550 HAS SOUPS 1889 WITH SCORE 1941.815
AT ITER 569 NEW BEST:: SOT 89921 SOS 52339 HAS SOPS 2706 HAS SOUS 9614 HAS SOUPS 1855 WITH SCORE 1907.339
AT ITER 571 NEW BEST:: SOT 89917 SOS 52301 HAS SOPS 2702 HAS SOUS 9606 HAS SOUPS 1851 WITH SCORE 1903.301
AT ITER 572 NEW BEST:: SOT 89881 SOS 52283 HAS SOPS 2702 HAS SOUS 9642 HAS SOUPS 1851 WITH SCORE 1903.283
AT ITER 575 NEW BEST:: SOT 89881 SOS 52202 HAS SOPS 2702 HAS SOUS 9615 HAS SOUPS 1851 WITH SCORE 1903.202
AT ITER 580 NEW BEST:: SOT 89865 SOS 52186 HAS SOPS 2702 HAS SOUS 9605 HAS SOUPS 1851 WITH SCORE 1903.186
AT ITER 581 NEW BEST:: SOT 89833 SOS 52154 HAS SOPS 2702 HAS SOUS 9598 HAS SOUPS 1851 WITH SCORE 1903.154
AT ITER 585 NEW BEST:: SOT 89492 SOS 51982 HAS SOPS 2701 HAS SOUS 9682 HAS SOUPS 1850 WITH SCORE 1901.982
AT ITER 586 NEW BEST:: SOT 89435 SOS 51964 HAS SOPS 2644 HAS SOUS 9646 HAS SOUPS 1796 WITH SCORE 1847.964
AT ITER 602 NEW BEST:: SOT 89367 SOS 51896 HAS SOPS 2644 HAS SOUS 9646 HAS SOUPS 1796 WITH SCORE 1847.896
AT ITER 613 NEW BEST:: SOT 89410 SOS 51737 HAS SOPS 2589 HAS SOUS 9555 HAS SOUPS 1754 WITH SCORE 1805.737
AT ITER 621 NEW BEST:: SOT 89609 SOS 51931 HAS SOPS 2584 HAS SOUS 9585 HAS SOUPS 1751 WITH SCORE 1802.931
AT ITER 625 NEW BEST:: SOT 90030 SOS 52669 HAS SOPS 2589 HAS SOUS 9646 HAS SOUPS 1737 WITH SCORE 1789.669
AT ITER 628 NEW BEST:: SOT 90030 SOS 52525 HAS SOPS 2589 HAS SOUS 9610 HAS SOUPS 1737 WITH SCORE 1789.525
AT ITER 640 NEW BEST:: SOT 90051 SOS 52546 HAS SOPS 2582 HAS SOUS 9610 HAS SOUPS 1730 WITH SCORE 1782.546
AT ITER 647 NEW BEST:: SOT 90051 SOS 52538 HAS SOPS 2582 HAS SOUS 9608 HAS SOUPS 1730 WITH SCORE 1782.538
AT ITER 654 NEW BEST:: SOT 90273 SOS 52744 HAS SOPS 2566 HAS SOUS 9686 HAS SOUPS 1714 WITH SCORE 1766.744
AT ITER 665 NEW BEST:: SOT 90297 SOS 52720 HAS SOPS 2578 HAS SOUS 9674 HAS SOUPS 1714 WITH SCORE 1766.72
AT ITER 666 NEW BEST:: SOT 90317 SOS 52760 HAS SOPS 2558 HAS SOUS 9710 HAS SOUPS 1710 WITH SCORE 1762.76
AT ITER 669 NEW BEST:: SOT 90318 SOS 52618 HAS SOPS 2559 HAS SOUS 9669 HAS SOUPS 1707 WITH SCORE 1759.618
AT ITER 678 NEW BEST:: SOT 90246 SOS 52582 HAS SOPS 2559 HAS SOUS 9705 HAS SOUPS 1707 WITH SCORE 1759.582
AT ITER 682 NEW BEST:: SOT 90351 SOS 52652 HAS SOPS 2524 HAS SOUS 9670 HAS SOUPS 1672 WITH SCORE 1724.652
AT ITER 691 NEW BEST:: SOT 90475 SOS 52744 HAS SOPS 2492 HAS SOUS 9638 HAS SOUPS 1640 WITH SCORE 1692.744
AT ITER 695 NEW BEST:: SOT 90458 SOS 52710 HAS SOPS 2407 HAS SOUS 9634 HAS SOUPS 1636 WITH SCORE 1688.71
AT ITER 696 NEW BEST:: SOT 90302 SOS 52580 HAS SOPS 2407 HAS SOUS 9712 HAS SOUPS 1636 WITH SCORE 1688.58
AT ITER 702 NEW BEST:: SOT 91327 SOS 53453 HAS SOPS 2362 HAS SOUS 9701 HAS SOUPS 1618 WITH SCORE 1671.453
AT ITER 707 NEW BEST:: SOT 91321 SOS 53447 HAS SOPS 2362 HAS SOUS 9698 HAS SOUPS 1618 WITH SCORE 1671.4470000000001
AT ITER 712 NEW BEST:: SOT 91518 SOS 53529 HAS SOPS 2351 HAS SOUS 9587 HAS SOUPS 1611 WITH SCORE 1664.529
AT ITER 717 NEW BEST:: SOT 91258 SOS 53269 HAS SOPS 2351 HAS SOUS 9533 HAS SOUPS 1611 WITH SCORE 1664.269
AT ITER 722 NEW BEST:: SOT 91225 SOS 53245 HAS SOPS 2348 HAS SOUS 9533 HAS SOUPS 1608 WITH SCORE 1661.245
AT ITER 728 NEW BEST:: SOT 91606 SOS 53605 HAS SOPS 2327 HAS SOUS 9617 HAS SOUPS 1587 WITH SCORE 1640.605
AT ITER 743 NEW BEST:: SOT 91564 SOS 53541 HAS SOPS 2325 HAS SOUS 9615 HAS SOUPS 1585 WITH SCORE 1638.541
AT ITER 747 NEW BEST:: SOT 91564 SOS 53511 HAS SOPS 2325 HAS SOUS 9585 HAS SOUPS 1585 WITH SCORE 1638.511
AT ITER 763 NEW BEST:: SOT 91611 SOS 53563 HAS SOPS 2288 HAS SOUS 9621 HAS SOUPS 1579 WITH SCORE 1632.563
AT ITER 765 NEW BEST:: SOT 91601 SOS 53543 HAS SOPS 2278 HAS SOUS 9597 HAS SOUPS 1569 WITH SCORE 1622.543
AT ITER 773 NEW BEST:: SOT 91601 SOS 53273 HAS SOPS 2278 HAS SOUS 9552 HAS SOUPS 1569 WITH SCORE 1622.273
AT ITER 780 NEW BEST:: SOT 91761 SOS 53284 HAS SOPS 2232 HAS SOUS 9420 HAS SOUPS 1540 WITH SCORE 1593.284
AT ITER 784 NEW BEST:: SOT 91948 SOS 53098 HAS SOPS 1859 HAS SOUS 9350 HAS SOUPS 1470 WITH SCORE 1523.098
AT ITER 788 NEW BEST:: SOT 91944 SOS 53094 HAS SOPS 1859 HAS SOUS 9350 HAS SOUPS 1470 WITH SCORE 1523.094
AT ITER 790 NEW BEST:: SOT 91951 SOS 53366 HAS SOPS 1694 HAS SOUS 9371 HAS SOUPS 1432 WITH SCORE 1485.366
AT ITER 791 NEW BEST:: SOT 91938 SOS 53374 HAS SOPS 1681 HAS SOUS 9363 HAS SOUPS 1424 WITH SCORE 1477.374
AT ITER 800 NEW BEST:: SOT 91896 SOS 53352 HAS SOPS 1608 HAS SOUS 9324 HAS SOUPS 1385 WITH SCORE 1438.352
AT ITER 801 NEW BEST:: SOT 91880 SOS 53348 HAS SOPS 1608 HAS SOUS 9328 HAS SOUPS 1385 WITH SCORE 1438.348
AT ITER 802 NEW BEST:: SOT 91450 SOS 53202 HAS SOPS 1654 HAS SOUS 9409 HAS SOUPS 1376 WITH SCORE 1429.202
AT ITER 803 NEW BEST:: SOT 91580 SOS 53216 HAS SOPS 1620 HAS SOUS 9331 HAS SOUPS 1301 WITH SCORE 1354.216
AT ITER 806 NEW BEST:: SOT 91566 SOS 53188 HAS SOPS 1606 HAS SOUS 9338 HAS SOUPS 1287 WITH SCORE 1340.188
AT ITER 809 NEW BEST:: SOT 91440 SOS 53062 HAS SOPS 1592 HAS SOUS 9290 HAS SOUPS 1273 WITH SCORE 1326.062
AT ITER 811 NEW BEST:: SOT 91577 SOS 53186 HAS SOPS 1579 HAS SOUS 9277 HAS SOUPS 1260 WITH SCORE 1313.186
AT ITER 821 NEW BEST:: SOT 91363 SOS 52972 HAS SOPS 1579 HAS SOUS 9170 HAS SOUPS 1260 WITH SCORE 1312.972
AT ITER 824 NEW BEST:: SOT 91363 SOS 52970 HAS SOPS 1579 HAS SOUS 9168 HAS SOUPS 1260 WITH SCORE 1312.97
AT ITER 832 NEW BEST:: SOT 91301 SOS 52908 HAS SOPS 1579 HAS SOUS 9178 HAS SOUPS 1260 WITH SCORE 1312.908
AT ITER 837 NEW BEST:: SOT 91447 SOS 52780 HAS SOPS 1445 HAS SOUS 9055 HAS SOUPS 1207 WITH SCORE 1259.78
AT ITER 844 NEW BEST:: SOT 91303 SOS 52636 HAS SOPS 1445 HAS SOUS 9055 HAS SOUPS 1207 WITH SCORE 1259.636
AT ITER 850 NEW BEST:: SOT 91282 SOS 54226 HAS SOPS 1424 HAS SOUS 9036 HAS SOUPS 1188 WITH SCORE 1242.226
AT ITER 851 NEW BEST:: SOT 91060 SOS 54004 HAS SOPS 1424 HAS SOUS 8925 HAS SOUPS 1188 WITH SCORE 1242.004
AT ITER 854 NEW BEST:: SOT 91653 SOS 53880 HAS SOPS 1362 HAS SOUS 8778 HAS SOUPS 1172 WITH SCORE 1225.88
AT ITER 860 NEW BEST:: SOT 91604 SOS 53831 HAS SOPS 1355 HAS SOUS 8771 HAS SOUPS 1165 WITH SCORE 1218.831
AT ITER 873 NEW BEST:: SOT 91589 SOS 53826 HAS SOPS 1345 HAS SOUS 8776 HAS SOUPS 1155 WITH SCORE 1208.826
AT ITER 874 NEW BEST:: SOT 91537 SOS 53774 HAS SOPS 1345 HAS SOUS 8749 HAS SOUPS 1155 WITH SCORE 1208.774
AT ITER 876 NEW BEST:: SOT 91557 SOS 53786 HAS SOPS 1351 HAS SOUS 8748 HAS SOUPS 1154 WITH SCORE 1207.786
AT ITER 889 NEW BEST:: SOT 91501 SOS 54162 HAS SOPS 1295 HAS SOUS 8753 HAS SOUPS 1098 WITH SCORE 1152.162
AT ITER 906 NEW BEST:: SOT 91469 SOS 54146 HAS SOPS 1295 HAS SOUS 8769 HAS SOUPS 1098 WITH SCORE 1152.146
AT ITER 922 NEW BEST:: SOT 91606 SOS 54210 HAS SOPS 1222 HAS SOUS 8668 HAS SOUPS 1063 WITH SCORE 1117.21
AT ITER 931 NEW BEST:: SOT 91606 SOS 54111 HAS SOPS 1222 HAS SOUS 8657 HAS SOUPS 1063 WITH SCORE 1117.111
AT ITER 932 NEW BEST:: SOT 91185 SOS 53719 HAS SOPS 1201 HAS SOUS 8617 HAS SOUPS 1042 WITH SCORE 1095.719
AT ITER 963 NEW BEST:: SOT 91177 SOS 53703 HAS SOPS 1193 HAS SOUS 8614 HAS SOUPS 1034 WITH SCORE 1087.703
AT ITER 965 NEW BEST:: SOT 91234 SOS 53673 HAS SOPS 1202 HAS SOUS 8528 HAS SOUPS 1019 WITH SCORE 1072.673
AT ITER 971 NEW BEST:: SOT 91240 SOS 53664 HAS SOPS 1202 HAS SOUS 8528 HAS SOUPS 1019 WITH SCORE 1072.664
AT ITER 997 NEW BEST:: SOT 91204 SOS 53777 HAS SOPS 1166 HAS SOUS 8529 HAS SOUPS 983 WITH SCORE 1036.777
AT ITER 999 NEW BEST:: SOT 91131 SOS 53711 HAS SOPS 1133 HAS SOUS 8496 HAS SOUPS 950 WITH SCORE 1003.711
AT ITER 1009 NEW BEST:: SOT 91308 SOS 54255 HAS SOPS 1120 HAS SOUS 8689 HAS SOUPS 948 WITH SCORE 1002.255
AT ITER 1020 NEW BEST:: SOT 91308 SOS 54115 HAS SOPS 1120 HAS SOUS 8619 HAS SOUPS 948 WITH SCORE 1002.115
AT ITER 1045 NEW BEST:: SOT 91299 SOS 54022 HAS SOPS 1111 HAS SOUS 8585 HAS SOUPS 939 WITH SCORE 993.022
AT ITER 1052 NEW BEST:: SOT 91299 SOS 54013 HAS SOPS 1111 HAS SOUS 8585 HAS SOUPS 939 WITH SCORE 993.013
AT ITER 1055 NEW BEST:: SOT 91173 SOS 53950 HAS SOPS 1111 HAS SOUS 8648 HAS SOUPS 939 WITH SCORE 992.95
AT ITER 1064 NEW BEST:: SOT 91179 SOS 53947 HAS SOPS 1111 HAS SOUS 8642 HAS SOUPS 939 WITH SCORE 992.947
AT ITER 1068 NEW BEST:: SOT 91165 SOS 53931 HAS SOPS 1109 HAS SOUS 8640 HAS SOUPS 937 WITH SCORE 990.931
AT ITER 1073 NEW BEST:: SOT 91234 SOS 54223 HAS SOPS 1101 HAS SOUS 8632 HAS SOUPS 929 WITH SCORE 983.223
AT ITER 1078 NEW BEST:: SOT 91234 SOS 54191 HAS SOPS 1101 HAS SOUS 8632 HAS SOUPS 929 WITH SCORE 983.191
AT ITER 1105 NEW BEST:: SOT 91230 SOS 54183 HAS SOPS 1097 HAS SOUS 8628 HAS SOUPS 925 WITH SCORE 979.183
AT ITER 1111 NEW BEST:: SOT 91198 SOS 54151 HAS SOPS 1097 HAS SOUS 8612 HAS SOUPS 925 WITH SCORE 979.151
AT ITER 1113 NEW BEST:: SOT 91114 SOS 54067 HAS SOPS 1097 HAS SOUS 8612 HAS SOUPS 925 WITH SCORE 979.067
AT ITER 1121 NEW BEST:: SOT 91114 SOS 54116 HAS SOPS 1096 HAS SOUS 8611 HAS SOUPS 924 WITH SCORE 978.116
AT ITER 1147 NEW BEST:: SOT 91105 SOS 54071 HAS SOPS 1096 HAS SOUS 8602 HAS SOUPS 924 WITH SCORE 978.071
AT ITER 1156 NEW BEST:: SOT 91037 SOS 54003 HAS SOPS 1096 HAS SOUS 8536 HAS SOUPS 924 WITH SCORE 978.003
AT ITER 1159 NEW BEST:: SOT 90925 SOS 53891 HAS SOPS 1096 HAS SOUS 8500 HAS SOUPS 924 WITH SCORE 977.891
AT ITER 1171 NEW BEST:: SOT 90761 SOS 53809 HAS SOPS 1096 HAS SOUS 8582 HAS SOUPS 924 WITH SCORE 977.809
AT ITER 1190 NEW BEST:: SOT 90681 SOS 53769 HAS SOPS 1096 HAS SOUS 8702 HAS SOUPS 924 WITH SCORE 977.769
AT ITER 1196 NEW BEST:: SOT 90513 SOS 53517 HAS SOPS 1096 HAS SOUS 8602 HAS SOUPS 924 WITH SCORE 977.517
AT ITER 1223 NEW BEST:: SOT 90371 SOS 53304 HAS SOPS 1096 HAS SOUS 8389 HAS SOUPS 924 WITH SCORE 977.304
AT ITER 1225 NEW BEST:: SOT 90669 SOS 53588 HAS SOPS 1082 HAS SOUS 8531 HAS SOUPS 910 WITH SCORE 963.588
AT ITER 1235 NEW BEST:: SOT 90841 SOS 53792 HAS SOPS 1054 HAS SOUS 8616 HAS SOUPS 894 WITH SCORE 947.792
AT ITER 1240 NEW BEST:: SOT 91300 SOS 54206 HAS SOPS 1009 HAS SOUS 8655 HAS SOUPS 868 WITH SCORE 922.206
AT ITER 1263 NEW BEST:: SOT 91300 SOS 54195 HAS SOPS 1009 HAS SOUS 8655 HAS SOUPS 868 WITH SCORE 922.195
AT ITER 1278 NEW BEST:: SOT 91294 SOS 54189 HAS SOPS 1009 HAS SOUS 8655 HAS SOUPS 868 WITH SCORE 922.189
AT ITER 1281 NEW BEST:: SOT 91280 SOS 54179 HAS SOPS 1007 HAS SOUS 8659 HAS SOUPS 866 WITH SCORE 920.179
AT ITER 1293 NEW BEST:: SOT 91276 SOS 54175 HAS SOPS 1007 HAS SOUS 8658 HAS SOUPS 866 WITH SCORE 920.175
AT ITER 1294 NEW BEST:: SOT 91288 SOS 53983 HAS SOPS 1001 HAS SOUS 8616 HAS SOUPS 860 WITH SCORE 913.983
AT ITER 1302 NEW BEST:: SOT 91205 SOS 54748 HAS SOPS 918 HAS SOUS 8640 HAS SOUPS 835 WITH SCORE 889.748
AT ITER 1310 NEW BEST:: SOT 90897 SOS 54440 HAS SOPS 918 HAS SOUS 8486 HAS SOUPS 835 WITH SCORE 889.44
AT ITER 1324 NEW BEST:: SOT 90897 SOS 54424 HAS SOPS 918 HAS SOUS 8454 HAS SOUPS 835 WITH SCORE 889.424
AT ITER 1362 NEW BEST:: SOT 90897 SOS 54360 HAS SOPS 918 HAS SOUS 8450 HAS SOUPS 835 WITH SCORE 889.36
AT ITER 1380 NEW BEST:: SOT 90741 SOS 54204 HAS SOPS 918 HAS SOUS 8524 HAS SOUPS 835 WITH SCORE 889.204
AT ITER 1382 NEW BEST:: SOT 90743 SOS 54201 HAS SOPS 918 HAS SOUS 8523 HAS SOUPS 835 WITH SCORE 889.201
AT ITER 1388 NEW BEST:: SOT 91133 SOS 54526 HAS SOPS 788 HAS SOUS 8559 HAS SOUPS 788 WITH SCORE 842.526
AT ITER 1411 NEW BEST:: SOT 91232 SOS 54614 HAS SOPS 777 HAS SOUS 8556 HAS SOUPS 777 WITH SCORE 831.614
AT ITER 1416 NEW BEST:: SOT 91178 SOS 54560 HAS SOPS 777 HAS SOUS 8556 HAS SOUPS 777 WITH SCORE 831.56
AT ITER 1440 NEW BEST:: SOT 91304 SOS 54644 HAS SOPS 763 HAS SOUS 8528 HAS SOUPS 763 WITH SCORE 817.644
AT ITER 1441 NEW BEST:: SOT 91375 SOS 54768 HAS SOPS 762 HAS SOUS 8573 HAS SOUPS 762 WITH SCORE 816.768
AT ITER 1446 NEW BEST:: SOT 91375 SOS 54728 HAS SOPS 762 HAS SOUS 8553 HAS SOUPS 762 WITH SCORE 816.728
AT ITER 1447 NEW BEST:: SOT 91079 SOS 54432 HAS SOPS 762 HAS SOUS 8426 HAS SOUPS 762 WITH SCORE 816.432
AT ITER 1461 NEW BEST:: SOT 90951 SOS 54304 HAS SOPS 762 HAS SOUS 8393 HAS SOUPS 762 WITH SCORE 816.304
AT ITER 1472 NEW BEST:: SOT 90951 SOS 54296 HAS SOPS 762 HAS SOUS 8385 HAS SOUPS 762 WITH SCORE 816.296
AT ITER 1488 NEW BEST:: SOT 90951 SOS 54295 HAS SOPS 762 HAS SOUS 8382 HAS SOUPS 762 WITH SCORE 816.295
AT ITER 1510 NEW BEST:: SOT 90948 SOS 54292 HAS SOPS 762 HAS SOUS 8376 HAS SOUPS 762 WITH SCORE 816.292
AT ITER 1520 NEW BEST:: SOT 90932 SOS 54276 HAS SOPS 762 HAS SOUS 8376 HAS SOUPS 762 WITH SCORE 816.276
AT ITER 1536 NEW BEST:: SOT 90919 SOS 53626 HAS SOPS 762 HAS SOUS 8350 HAS SOUPS 762 WITH SCORE 815.626
AT ITER 1544 NEW BEST:: SOT 90919 SOS 53491 HAS SOPS 762 HAS SOUS 8350 HAS SOUPS 762 WITH SCORE 815.491
AT ITER 1549 NEW BEST:: SOT 90601 SOS 53173 HAS SOPS 762 HAS SOUS 8191 HAS SOUPS 762 WITH SCORE 815.173
AT ITER 1569 NEW BEST:: SOT 90515 SOS 53130 HAS SOPS 762 HAS SOUS 8234 HAS SOUPS 762 WITH SCORE 815.13
AT ITER 1602 NEW BEST:: SOT 90295 SOS 52910 HAS SOPS 762 HAS SOUS 8151 HAS SOUPS 762 WITH SCORE 814.91
AT ITER 1620 NEW BEST:: SOT 90306 SOS 52884 HAS SOPS 757 HAS SOUS 8146 HAS SOUPS 757 WITH SCORE 809.884
AT ITER 1627 NEW BEST:: SOT 90306 SOS 52875 HAS SOPS 757 HAS SOUS 8146 HAS SOUPS 757 WITH SCORE 809.875
AT ITER 1667 NEW BEST:: SOT 90276 SOS 52848 HAS SOPS 757 HAS SOUS 8149 HAS SOUPS 757 WITH SCORE 809.848
AT ITER 1675 NEW BEST:: SOT 90276 SOS 52826 HAS SOPS 757 HAS SOUS 8149 HAS SOUPS 757 WITH SCORE 809.826
AT ITER 1686 NEW BEST:: SOT 90230 SOS 52780 HAS SOPS 757 HAS SOUS 8156 HAS SOUPS 757 WITH SCORE 809.78
AT ITER 1688 NEW BEST:: SOT 90258 SOS 52528 HAS SOPS 757 HAS SOUS 8156 HAS SOUPS 757 WITH SCORE 809.528
AT ITER 1693 NEW BEST:: SOT 90084 SOS 52354 HAS SOPS 757 HAS SOUS 8154 HAS SOUPS 757 WITH SCORE 809.354
AT ITER 1697 NEW BEST:: SOT 90070 SOS 52340 HAS SOPS 757 HAS SOUS 8154 HAS SOUPS 757 WITH SCORE 809.34
AT ITER 1698 NEW BEST:: SOT 90070 SOS 52330 HAS SOPS 757 HAS SOUS 8154 HAS SOUPS 757 WITH SCORE 809.33
AT ITER 1703 NEW BEST:: SOT 90024 SOS 52284 HAS SOPS 757 HAS SOUS 8154 HAS SOUPS 757 WITH SCORE 809.284
AT ITER 1707 NEW BEST:: SOT 89870 SOS 52564 HAS SOPS 771 HAS SOUS 8399 HAS SOUPS 754 WITH SCORE 806.564
AT ITER 1708 NEW BEST:: SOT 89830 SOS 52544 HAS SOPS 771 HAS SOUS 8419 HAS SOUPS 754 WITH SCORE 806.544
AT ITER 1722 NEW BEST:: SOT 89794 SOS 52490 HAS SOPS 771 HAS SOUS 8401 HAS SOUPS 754 WITH SCORE 806.49
AT ITER 1739 NEW BEST:: SOT 89558 SOS 52254 HAS SOPS 771 HAS SOUS 8342 HAS SOUPS 754 WITH SCORE 806.254
AT ITER 1752 NEW BEST:: SOT 89550 SOS 52250 HAS SOPS 771 HAS SOUS 8346 HAS SOUPS 754 WITH SCORE 806.25
AT ITER 1755 NEW BEST:: SOT 89550 SOS 51908 HAS SOPS 771 HAS SOUS 8346 HAS SOUPS 754 WITH SCORE 805.908
AT ITER 1756 NEW BEST:: SOT 89540 SOS 51898 HAS SOPS 771 HAS SOUS 8346 HAS SOUPS 754 WITH SCORE 805.898
AT ITER 1773 NEW BEST:: SOT 90146 SOS 52498 HAS SOPS 765 HAS SOUS 8499 HAS SOUPS 748 WITH SCORE 800.498
AT ITER 1792 NEW BEST:: SOT 90086 SOS 52342 HAS SOPS 765 HAS SOUS 8475 HAS SOUPS 748 WITH SCORE 800.342
AT ITER 1833 NEW BEST:: SOT 89986 SOS 52242 HAS SOPS 765 HAS SOUS 8414 HAS SOUPS 748 WITH SCORE 800.242
AT ITER 1850 NEW BEST:: SOT 90098 SOS 52364 HAS SOPS 741 HAS SOUS 8405 HAS SOUPS 724 WITH SCORE 776.364
AT ITER 1865 NEW BEST:: SOT 89858 SOS 52124 HAS SOPS 741 HAS SOUS 8315 HAS SOUPS 724 WITH SCORE 776.124
AT ITER 1868 NEW BEST:: SOT 89824 SOS 52090 HAS SOPS 741 HAS SOUS 8298 HAS SOUPS 724 WITH SCORE 776.09
AT ITER 1900 NEW BEST:: SOT 89772 SOS 52038 HAS SOPS 741 HAS SOUS 8298 HAS SOUPS 724 WITH SCORE 776.038
AT ITER 1922 NEW BEST:: SOT 89772 SOS 52026 HAS SOPS 741 HAS SOUS 8298 HAS SOUPS 724 WITH SCORE 776.026
AT ITER 1945 NEW BEST:: SOT 89772 SOS 51993 HAS SOPS 741 HAS SOUS 8298 HAS SOUPS 724 WITH SCORE 775.993
AT ITER 1950 NEW BEST:: SOT 89763 SOS 51990 HAS SOPS 741 HAS SOUS 8298 HAS SOUPS 724 WITH SCORE 775.99
AT ITER 1959 NEW BEST:: SOT 89878 SOS 52500 HAS SOPS 716 HAS SOUS 8325 HAS SOUPS 716 WITH SCORE 768.5
AT ITER 1962 NEW BEST:: SOT 89876 SOS 52498 HAS SOPS 716 HAS SOUS 8325 HAS SOUPS 716 WITH SCORE 768.498
AT ITER 1963 NEW BEST:: SOT 89822 SOS 52444 HAS SOPS 716 HAS SOUS 8316 HAS SOUPS 716 WITH SCORE 768.444
AT ITER 1985 NEW BEST:: SOT 89822 SOS 52443 HAS SOPS 716 HAS SOUS 8316 HAS SOUPS 716 WITH SCORE 768.443
AT ITER 1995 NEW BEST:: SOT 89766 SOS 52387 HAS SOPS 716 HAS SOUS 8316 HAS SOUPS 716 WITH SCORE 768.387
AT ITER 2005 NEW BEST:: SOT 89757 SOS 52378 HAS SOPS 716 HAS SOUS 8316 HAS SOUPS 716 WITH SCORE 768.378
AT ITER 2012 NEW BEST:: SOT 89920 SOS 52299 HAS SOPS 699 HAS SOUS 8254 HAS SOUPS 699 WITH SCORE 751.299
AT ITER 2036 NEW BEST:: SOT 89884 SOS 52110 HAS SOPS 699 HAS SOUS 8254 HAS SOUPS 699 WITH SCORE 751.11
AT ITER 2057 NEW BEST:: SOT 89884 SOS 52106 HAS SOPS 699 HAS SOUS 8250 HAS SOUPS 699 WITH SCORE 751.106
AT ITER 2072 NEW BEST:: SOT 89884 SOS 52068 HAS SOPS 699 HAS SOUS 8212 HAS SOUPS 699 WITH SCORE 751.068
AT ITER 2092 NEW BEST:: SOT 89884 SOS 52038 HAS SOPS 699 HAS SOUS 8212 HAS SOUPS 699 WITH SCORE 751.038
AT ITER 2165 NEW BEST:: SOT 89884 SOS 52037 HAS SOPS 699 HAS SOUS 8210 HAS SOUPS 699 WITH SCORE 751.037
AT ITER 2166 NEW BEST:: SOT 89884 SOS 52031 HAS SOPS 699 HAS SOUS 8207 HAS SOUPS 699 WITH SCORE 751.031
AT ITER 2185 NEW BEST:: SOT 89848 SOS 52004 HAS SOPS 699 HAS SOUS 8216 HAS SOUPS 699 WITH SCORE 751.004
AT ITER 2220 NEW BEST:: SOT 89784 SOS 51940 HAS SOPS 699 HAS SOUS 8149 HAS SOUPS 699 WITH SCORE 750.94
AT ITER 2236 NEW BEST:: SOT 89784 SOS 51856 HAS SOPS 699 HAS SOUS 8060 HAS SOUPS 699 WITH SCORE 750.856
AT ITER 2244 NEW BEST:: SOT 89784 SOS 51840 HAS SOPS 699 HAS SOUS 8044 HAS SOUPS 699 WITH SCORE 750.84
AT ITER 2271 NEW BEST:: SOT 89772 SOS 51828 HAS SOPS 699 HAS SOUS 8044 HAS SOUPS 699 WITH SCORE 750.828
AT ITER 2285 NEW BEST:: SOT 89746 SOS 51620 HAS SOPS 699 HAS SOUS 8018 HAS SOUPS 699 WITH SCORE 750.62
AT ITER 2302 NEW BEST:: SOT 89742 SOS 51614 HAS SOPS 699 HAS SOUS 8016 HAS SOUPS 699 WITH SCORE 750.614
AT ITER 2329 NEW BEST:: SOT 89694 SOS 51578 HAS SOPS 699 HAS SOUS 8028 HAS SOUPS 699 WITH SCORE 750.578
AT ITER 2340 NEW BEST:: SOT 89694 SOS 51568 HAS SOPS 699 HAS SOUS 8028 HAS SOUPS 699 WITH SCORE 750.568
AT ITER 2344 NEW BEST:: SOT 89648 SOS 51545 HAS SOPS 699 HAS SOUS 8028 HAS SOUPS 699 WITH SCORE 750.545
AT ITER 2365 NEW BEST:: SOT 89372 SOS 51269 HAS SOPS 699 HAS SOUS 8015 HAS SOUPS 699 WITH SCORE 750.269
AT ITER 2378 NEW BEST:: SOT 89364 SOS 51262 HAS SOPS 699 HAS SOUS 8016 HAS SOUPS 699 WITH SCORE 750.262
AT ITER 2416 NEW BEST:: SOT 89352 SOS 51253 HAS SOPS 699 HAS SOUS 8028 HAS SOUPS 699 WITH SCORE 750.253
AT ITER 2431 NEW BEST:: SOT 89232 SOS 51118 HAS SOPS 699 HAS SOUS 7977 HAS SOUPS 699 WITH SCORE 750.118
AT ITER 2451 NEW BEST:: SOT 89230 SOS 51116 HAS SOPS 699 HAS SOUS 7974 HAS SOUPS 699 WITH SCORE 750.116
AT ITER 2500 NEW BEST:: SOT 89064 SOS 50950 HAS SOPS 699 HAS SOUS 7891 HAS SOUPS 699 WITH SCORE 749.95
AT ITER 2512 NEW BEST:: SOT 89062 SOS 50948 HAS SOPS 699 HAS SOUS 7891 HAS SOUPS 699 WITH SCORE 749.948
AT ITER 2513 NEW BEST:: SOT 89090 SOS 50864 HAS SOPS 699 HAS SOUS 7891 HAS SOUPS 699 WITH SCORE 749.864
AT ITER 2550 NEW BEST:: SOT 89090 SOS 50736 HAS SOPS 699 HAS SOUS 7891 HAS SOUPS 699 WITH SCORE 749.736
AT ITER 2581 NEW BEST:: SOT 89090 SOS 50729 HAS SOPS 699 HAS SOUS 7884 HAS SOUPS 699 WITH SCORE 749.729
AT ITER 2595 NEW BEST:: SOT 89084 SOS 50722 HAS SOPS 699 HAS SOUS 7878 HAS SOUPS 699 WITH SCORE 749.722
AT ITER 2599 NEW BEST:: SOT 89089 SOS 50642 HAS SOPS 699 HAS SOUS 7878 HAS SOUPS 699 WITH SCORE 749.642
AT ITER 2611 NEW BEST:: SOT 89085 SOS 50638 HAS SOPS 699 HAS SOUS 7878 HAS SOUPS 699 WITH SCORE 749.638
AT ITER 2648 NEW BEST:: SOT 89019 SOS 50572 HAS SOPS 699 HAS SOUS 7878 HAS SOUPS 699 WITH SCORE 749.572
AT ITER 2654 NEW BEST:: SOT 88915 SOS 50468 HAS SOPS 699 HAS SOUS 7816 HAS SOUPS 699 WITH SCORE 749.468
AT ITER 2692 NEW BEST:: SOT 88845 SOS 50388 HAS SOPS 699 HAS SOUS 7797 HAS SOUPS 699 WITH SCORE 749.388
AT ITER 2701 NEW BEST:: SOT 88827 SOS 50271 HAS SOPS 699 HAS SOUS 7797 HAS SOUPS 699 WITH SCORE 749.271
AT ITER 2709 NEW BEST:: SOT 88827 SOS 50105 HAS SOPS 699 HAS SOUS 7631 HAS SOUPS 699 WITH SCORE 749.105
AT ITER 2738 NEW BEST:: SOT 88579 SOS 49857 HAS SOPS 699 HAS SOUS 7605 HAS SOUPS 699 WITH SCORE 748.857
AT ITER 2764 NEW BEST:: SOT 88571 SOS 49849 HAS SOPS 699 HAS SOUS 7605 HAS SOUPS 699 WITH SCORE 748.849
AT ITER 2766 NEW BEST:: SOT 88571 SOS 49569 HAS SOPS 699 HAS SOUS 7605 HAS SOUPS 699 WITH SCORE 748.569
AT ITER 2834 NEW BEST:: SOT 88483 SOS 49503 HAS SOPS 699 HAS SOUS 7657 HAS SOUPS 699 WITH SCORE 748.503
AT ITER 2842 NEW BEST:: SOT 88435 SOS 49455 HAS SOPS 699 HAS SOUS 7681 HAS SOUPS 699 WITH SCORE 748.455
AT ITER 2856 NEW BEST:: SOT 88369 SOS 49422 HAS SOPS 699 HAS SOUS 7714 HAS SOUPS 699 WITH SCORE 748.422
AT ITER 2864 NEW BEST:: SOT 88117 SOS 49170 HAS SOPS 699 HAS SOUS 7617 HAS SOUPS 699 WITH SCORE 748.17
AT ITER 2870 NEW BEST:: SOT 88117 SOS 49169 HAS SOPS 699 HAS SOUS 7617 HAS SOUPS 699 WITH SCORE 748.169
AT ITER 2886 NEW BEST:: SOT 87977 SOS 49064 HAS SOPS 699 HAS SOUS 7652 HAS SOUPS 699 WITH SCORE 748.064
AT ITER 2898 NEW BEST:: SOT 87973 SOS 49060 HAS SOPS 699 HAS SOUS 7652 HAS SOUPS 699 WITH SCORE 748.06
AT ITER 2921 NEW BEST:: SOT 87965 SOS 49052 HAS SOPS 699 HAS SOUS 7652 HAS SOUPS 699 WITH SCORE 748.052
AT ITER 2929 NEW BEST:: SOT 87901 SOS 48988 HAS SOPS 699 HAS SOUS 7668 HAS SOUPS 699 WITH SCORE 747.988
AT ITER 2935 NEW BEST:: SOT 87839 SOS 48957 HAS SOPS 699 HAS SOUS 7730 HAS SOUPS 699 WITH SCORE 747.957
AT ITER 2947 NEW BEST:: SOT 87815 SOS 48933 HAS SOPS 699 HAS SOUS 7716 HAS SOUPS 699 WITH SCORE 747.933
AT ITER 2984 NEW BEST:: SOT 87775 SOS 48893 HAS SOPS 699 HAS SOUS 7696 HAS SOUPS 699 WITH SCORE 747.893
AT ITER 3065 NEW BEST:: SOT 87741 SOS 48859 HAS SOPS 699 HAS SOUS 7696 HAS SOUPS 699 WITH SCORE 747.859
AT ITER 3085 NEW BEST:: SOT 87705 SOS 48841 HAS SOPS 699 HAS SOUS 7705 HAS SOUPS 699 WITH SCORE 747.841
AT ITER 3089 NEW BEST:: SOT 87703 SOS 48838 HAS SOPS 699 HAS SOUS 7702 HAS SOUPS 699 WITH SCORE 747.838
AT ITER 3108 NEW BEST:: SOT 87703 SOS 48826 HAS SOPS 699 HAS SOUS 7666 HAS SOUPS 699 WITH SCORE 747.826
AT ITER 3109 NEW BEST:: SOT 87689 SOS 48805 HAS SOPS 699 HAS SOUS 7659 HAS SOUPS 699 WITH SCORE 747.805
AT ITER 3114 NEW BEST:: SOT 87621 SOS 48754 HAS SOPS 699 HAS SOUS 7702 HAS SOUPS 699 WITH SCORE 747.754
AT ITER 3128 NEW BEST:: SOT 87507 SOS 48640 HAS SOPS 699 HAS SOUS 7690 HAS SOUPS 699 WITH SCORE 747.64
AT ITER 3176 NEW BEST:: SOT 87467 SOS 48600 HAS SOPS 699 HAS SOUS 7685 HAS SOUPS 699 WITH SCORE 747.6
AT ITER 3199 NEW BEST:: SOT 87467 SOS 48560 HAS SOPS 699 HAS SOUS 7675 HAS SOUPS 699 WITH SCORE 747.56
AT ITER 3207 NEW BEST:: SOT 87469 SOS 48542 HAS SOPS 699 HAS SOUS 7675 HAS SOUPS 699 WITH SCORE 747.542
AT ITER 3230 NEW BEST:: SOT 87415 SOS 48488 HAS SOPS 699 HAS SOUS 7648 HAS SOUPS 699 WITH SCORE 747.488
AT ITER 3276 NEW BEST:: SOT 87415 SOS 48476 HAS SOPS 699 HAS SOUS 7645 HAS SOUPS 699 WITH SCORE 747.476
AT ITER 3278 NEW BEST:: SOT 87431 SOS 48420 HAS SOPS 699 HAS SOUS 7645 HAS SOUPS 699 WITH SCORE 747.42
AT ITER 3293 NEW BEST:: SOT 87425 SOS 48405 HAS SOPS 699 HAS SOUS 7639 HAS SOUPS 699 WITH SCORE 747.405
AT ITER 3330 NEW BEST:: SOT 87421 SOS 48399 HAS SOPS 699 HAS SOUS 7637 HAS SOUPS 699 WITH SCORE 747.399
AT ITER 3341 NEW BEST:: SOT 87421 SOS 48345 HAS SOPS 699 HAS SOUS 7637 HAS SOUPS 699 WITH SCORE 747.345
AT ITER 3355 NEW BEST:: SOT 87373 SOS 48297 HAS SOPS 699 HAS SOUS 7637 HAS SOUPS 699 WITH SCORE 747.297
AT ITER 3404 NEW BEST:: SOT 87373 SOS 48286 HAS SOPS 699 HAS SOUS 7637 HAS SOUPS 699 WITH SCORE 747.2860000000001
AT ITER 3427 NEW BEST:: SOT 87357 SOS 48238 HAS SOPS 699 HAS SOUS 7621 HAS SOUPS 699 WITH SCORE 747.238
AT ITER 3484 NEW BEST:: SOT 87357 SOS 48128 HAS SOPS 699 HAS SOUS 7621 HAS SOUPS 699 WITH SCORE 747.128
AT ITER 3489 NEW BEST:: SOT 87225 SOS 47996 HAS SOPS 699 HAS SOUS 7621 HAS SOUPS 699 WITH SCORE 746.996
AT ITER 3522 NEW BEST:: SOT 87225 SOS 47988 HAS SOPS 699 HAS SOUS 7608 HAS SOUPS 699 WITH SCORE 746.988
AT ITER 3528 NEW BEST:: SOT 87165 SOS 47943 HAS SOPS 699 HAS SOUS 7633 HAS SOUPS 699 WITH SCORE 746.943
AT ITER 3535 NEW BEST:: SOT 87100 SOS 47878 HAS SOPS 699 HAS SOUS 7597 HAS SOUPS 699 WITH SCORE 746.878
AT ITER 3552 NEW BEST:: SOT 87100 SOS 47872 HAS SOPS 699 HAS SOUS 7595 HAS SOUPS 699 WITH SCORE 746.872
AT ITER 3642 NEW BEST:: SOT 87092 SOS 47868 HAS SOPS 699 HAS SOUS 7597 HAS SOUPS 699 WITH SCORE 746.868
AT ITER 3728 NEW BEST:: SOT 87088 SOS 47852 HAS SOPS 699 HAS SOUS 7595 HAS SOUPS 699 WITH SCORE 746.852
AT ITER 3760 NEW BEST:: SOT 87088 SOS 47846 HAS SOPS 699 HAS SOUS 7595 HAS SOUPS 699 WITH SCORE 746.846
AT ITER 3761 NEW BEST:: SOT 86932 SOS 47690 HAS SOPS 699 HAS SOUS 7573 HAS SOUPS 699 WITH SCORE 746.69
AT ITER 3770 NEW BEST:: SOT 86904 SOS 47676 HAS SOPS 699 HAS SOUS 7601 HAS SOUPS 699 WITH SCORE 746.676
AT ITER 3774 NEW BEST:: SOT 86704 SOS 47476 HAS SOPS 699 HAS SOUS 7504 HAS SOUPS 699 WITH SCORE 746.476
AT ITER 3806 NEW BEST:: SOT 86694 SOS 47466 HAS SOPS 699 HAS SOUS 7504 HAS SOUPS 699 WITH SCORE 746.466
AT ITER 3833 NEW BEST:: SOT 86694 SOS 47446 HAS SOPS 699 HAS SOUS 7504 HAS SOUPS 699 WITH SCORE 746.446
AT ITER 3840 NEW BEST:: SOT 86680 SOS 47439 HAS SOPS 699 HAS SOUS 7525 HAS SOUPS 699 WITH SCORE 746.439
AT ITER 3866 NEW BEST:: SOT 86680 SOS 47362 HAS SOPS 699 HAS SOUS 7514 HAS SOUPS 699 WITH SCORE 746.362
AT ITER 3915 NEW BEST:: SOT 86644 SOS 47254 HAS SOPS 699 HAS SOUS 7508 HAS SOUPS 699 WITH SCORE 746.254
AT ITER 3928 NEW BEST:: SOT 86556 SOS 47166 HAS SOPS 699 HAS SOUS 7486 HAS SOUPS 699 WITH SCORE 746.166
AT ITER 3943 NEW BEST:: SOT 86556 SOS 47160 HAS SOPS 699 HAS SOUS 7486 HAS SOUPS 699 WITH SCORE 746.16
AT ITER 3959 NEW BEST:: SOT 86496 SOS 47100 HAS SOPS 699 HAS SOUS 7516 HAS SOUPS 699 WITH SCORE 746.1
AT ITER 3978 NEW BEST:: SOT 86436 SOS 47040 HAS SOPS 699 HAS SOUS 7529 HAS SOUPS 699 WITH SCORE 746.04
AT ITER 3979 NEW BEST:: SOT 86436 SOS 47000 HAS SOPS 699 HAS SOUS 7529 HAS SOUPS 699 WITH SCORE 746.0
AT ITER 3992 NEW BEST:: SOT 86412 SOS 46976 HAS SOPS 699 HAS SOUS 7514 HAS SOUPS 699 WITH SCORE 745.976
AT ITER 4022 NEW BEST:: SOT 86412 SOS 46958 HAS SOPS 699 HAS SOUS 7514 HAS SOUPS 699 WITH SCORE 745.958
AT ITER 4038 NEW BEST:: SOT 86400 SOS 46946 HAS SOPS 699 HAS SOUS 7516 HAS SOUPS 699 WITH SCORE 745.946
AT ITER 4155 NEW BEST:: SOT 86376 SOS 46898 HAS SOPS 699 HAS SOUS 7492 HAS SOUPS 699 WITH SCORE 745.898
AT ITER 4182 NEW BEST:: SOT 86288 SOS 46810 HAS SOPS 699 HAS SOUS 7478 HAS SOUPS 699 WITH SCORE 745.81
AT ITER 4189 NEW BEST:: SOT 86016 SOS 46538 HAS SOPS 699 HAS SOUS 7455 HAS SOUPS 699 WITH SCORE 745.538
AT ITER 4268 NEW BEST:: SOT 85990 SOS 46512 HAS SOPS 699 HAS SOUS 7442 HAS SOUPS 699 WITH SCORE 745.512
AT ITER 4299 NEW BEST:: SOT 85976 SOS 46505 HAS SOPS 699 HAS SOUS 7470 HAS SOUPS 699 WITH SCORE 745.505
AT ITER 4312 NEW BEST:: SOT 85976 SOS 46473 HAS SOPS 699 HAS SOUS 7454 HAS SOUPS 699 WITH SCORE 745.473
AT ITER 4316 NEW BEST:: SOT 85972 SOS 46339 HAS SOPS 699 HAS SOUS 7450 HAS SOUPS 699 WITH SCORE 745.3389999999999
AT ITER 4334 NEW BEST:: SOT 85960 SOS 46327 HAS SOPS 699 HAS SOUS 7450 HAS SOUPS 699 WITH SCORE 745.327
AT ITER 4490 NEW BEST:: SOT 85960 SOS 46323 HAS SOPS 699 HAS SOUS 7450 HAS SOUPS 699 WITH SCORE 745.323
AT ITER 4535 NEW BEST:: SOT 85948 SOS 46287 HAS SOPS 699 HAS SOUS 7444 HAS SOUPS 699 WITH SCORE 745.287
AT ITER 4545 NEW BEST:: SOT 85930 SOS 46278 HAS SOPS 699 HAS SOUS 7476 HAS SOUPS 699 WITH SCORE 745.278
AT ITER 4560 NEW BEST:: SOT 85930 SOS 46273 HAS SOPS 699 HAS SOUS 7476 HAS SOUPS 699 WITH SCORE 745.273
AT ITER 4582 NEW BEST:: SOT 85894 SOS 46231 HAS SOPS 699 HAS SOUS 7464 HAS SOUPS 699 WITH SCORE 745.231
AT ITER 4644 NEW BEST:: SOT 85876 SOS 46204 HAS SOPS 699 HAS SOUS 7446 HAS SOUPS 699 WITH SCORE 745.204
AT ITER 4697 NEW BEST:: SOT 85872 SOS 46188 HAS SOPS 699 HAS SOUS 7442 HAS SOUPS 699 WITH SCORE 745.188
AT ITER 4699 NEW BEST:: SOT 85870 SOS 46185 HAS SOPS 699 HAS SOUS 7441 HAS SOUPS 699 WITH SCORE 745.185
AT ITER 4762 NEW BEST:: SOT 85870 SOS 46178 HAS SOPS 699 HAS SOUS 7441 HAS SOUPS 699 WITH SCORE 745.178
AT ITER 4828 NEW BEST:: SOT 85402 SOS 45671 HAS SOPS 699 HAS SOUS 7239 HAS SOUPS 699 WITH SCORE 744.671
AT ITER 4881 NEW BEST:: SOT 85310 SOS 45579 HAS SOPS 699 HAS SOUS 7193 HAS SOUPS 699 WITH SCORE 744.579
AT ITER 4888 NEW BEST:: SOT 85310 SOS 45519 HAS SOPS 699 HAS SOUS 7188 HAS SOUPS 699 WITH SCORE 744.519
AT ITER 4952 NEW BEST:: SOT 85170 SOS 45379 HAS SOPS 699 HAS SOUS 7188 HAS SOUPS 699 WITH SCORE 744.379
AT ITER 4984 NEW BEST:: SOT 85098 SOS 45307 HAS SOPS 699 HAS SOUS 7178 HAS SOUPS 699 WITH SCORE 744.307
AT ITER 5009 NEW BEST:: SOT 85098 SOS 45280 HAS SOPS 699 HAS SOUS 7147 HAS SOUPS 699 WITH SCORE 744.28
AT ITER 5010 NEW BEST:: SOT 85068 SOS 45250 HAS SOPS 699 HAS SOUS 7117 HAS SOUPS 699 WITH SCORE 744.25
AT ITER 5024 NEW BEST:: SOT 85044 SOS 45226 HAS SOPS 699 HAS SOUS 7117 HAS SOUPS 699 WITH SCORE 744.226
AT ITER 5077 NEW BEST:: SOT 85014 SOS 45196 HAS SOPS 699 HAS SOUS 7106 HAS SOUPS 699 WITH SCORE 744.196
AT ITER 5082 NEW BEST:: SOT 85012 SOS 45192 HAS SOPS 699 HAS SOUS 7106 HAS SOUPS 699 WITH SCORE 744.192
AT ITER 5121 NEW BEST:: SOT 85012 SOS 45185 HAS SOPS 699 HAS SOUS 7092 HAS SOUPS 699 WITH SCORE 744.185
AT ITER 5126 NEW BEST:: SOT 85003 SOS 44987 HAS SOPS 699 HAS SOUS 7083 HAS SOUPS 699 WITH SCORE 743.987
AT ITER 5133 NEW BEST:: SOT 84973 SOS 44954 HAS SOPS 699 HAS SOUS 7071 HAS SOUPS 699 WITH SCORE 743.954
AT ITER 5147 NEW BEST:: SOT 84889 SOS 44849 HAS SOPS 699 HAS SOUS 6999 HAS SOUPS 699 WITH SCORE 743.849
AT ITER 5176 NEW BEST:: SOT 84883 SOS 44840 HAS SOPS 699 HAS SOUS 6990 HAS SOUPS 699 WITH SCORE 743.84
AT ITER 5194 NEW BEST:: SOT 84835 SOS 44760 HAS SOPS 699 HAS SOUS 6978 HAS SOUPS 699 WITH SCORE 743.76
AT ITER 5196 NEW BEST:: SOT 84831 SOS 44756 HAS SOPS 699 HAS SOUS 6978 HAS SOUPS 699 WITH SCORE 743.756
AT ITER 5270 NEW BEST:: SOT 84829 SOS 44751 HAS SOPS 699 HAS SOUS 6976 HAS SOUPS 699 WITH SCORE 743.751
AT ITER 5302 NEW BEST:: SOT 84827 SOS 44747 HAS SOPS 699 HAS SOUS 6974 HAS SOUPS 699 WITH SCORE 743.747
AT ITER 5347 NEW BEST:: SOT 84809 SOS 44729 HAS SOPS 699 HAS SOUS 6968 HAS SOUPS 699 WITH SCORE 743.729
AT ITER 5356 NEW BEST:: SOT 84809 SOS 44645 HAS SOPS 699 HAS SOUS 6968 HAS SOUPS 699 WITH SCORE 743.645
AT ITER 5360 NEW BEST:: SOT 84791 SOS 44624 HAS SOPS 699 HAS SOUS 6947 HAS SOUPS 699 WITH SCORE 743.624
AT ITER 5441 NEW BEST:: SOT 84683 SOS 44516 HAS SOPS 699 HAS SOUS 6947 HAS SOUPS 699 WITH SCORE 743.516
AT ITER 5530 NEW BEST:: SOT 84593 SOS 44426 HAS SOPS 699 HAS SOUS 6864 HAS SOUPS 699 WITH SCORE 743.426
AT ITER 5566 NEW BEST:: SOT 84569 SOS 44418 HAS SOPS 699 HAS SOUS 6868 HAS SOUPS 699 WITH SCORE 743.418
AT ITER 5587 NEW BEST:: SOT 84579 SOS 44383 HAS SOPS 699 HAS SOUS 6858 HAS SOUPS 699 WITH SCORE 743.383
AT ITER 5616 NEW BEST:: SOT 84573 SOS 44359 HAS SOPS 699 HAS SOUS 6846 HAS SOUPS 699 WITH SCORE 743.359
AT ITER 5685 NEW BEST:: SOT 84571 SOS 44347 HAS SOPS 699 HAS SOUS 6844 HAS SOUPS 699 WITH SCORE 743.347
AT ITER 5703 NEW BEST:: SOT 84527 SOS 44303 HAS SOPS 699 HAS SOUS 6835 HAS SOUPS 699 WITH SCORE 743.303
AT ITER 5739 NEW BEST:: SOT 84527 SOS 44295 HAS SOPS 699 HAS SOUS 6827 HAS SOUPS 699 WITH SCORE 743.295
AT ITER 5774 NEW BEST:: SOT 84459 SOS 44227 HAS SOPS 699 HAS SOUS 6827 HAS SOUPS 699 WITH SCORE 743.227
AT ITER 5793 NEW BEST:: SOT 84463 SOS 44213 HAS SOPS 699 HAS SOUS 6827 HAS SOUPS 699 WITH SCORE 743.213
AT ITER 5820 NEW BEST:: SOT 84463 SOS 44212 HAS SOPS 699 HAS SOUS 6825 HAS SOUPS 699 WITH SCORE 743.212
AT ITER 5859 NEW BEST:: SOT 84423 SOS 44172 HAS SOPS 699 HAS SOUS 6791 HAS SOUPS 699 WITH SCORE 743.172
AT ITER 5921 NEW BEST:: SOT 84381 SOS 44109 HAS SOPS 699 HAS SOUS 6777 HAS SOUPS 699 WITH SCORE 743.109
AT ITER 6071 NEW BEST:: SOT 84345 SOS 44091 HAS SOPS 699 HAS SOUS 6786 HAS SOUPS 699 WITH SCORE 743.091
AT ITER 6190 NEW BEST:: SOT 84321 SOS 44067 HAS SOPS 699 HAS SOUS 6775 HAS SOUPS 699 WITH SCORE 743.067
AT ITER 6242 NEW BEST:: SOT 84321 SOS 44061 HAS SOPS 699 HAS SOUS 6775 HAS SOUPS 699 WITH SCORE 743.061
AT ITER 6266 NEW BEST:: SOT 84313 SOS 44053 HAS SOPS 699 HAS SOUS 6773 HAS SOUPS 699 WITH SCORE 743.053
AT ITER 6321 NEW BEST:: SOT 84313 SOS 44024 HAS SOPS 699 HAS SOUS 6744 HAS SOUPS 699 WITH SCORE 743.024
AT ITER 6333 NEW BEST:: SOT 84288 SOS 43724 HAS SOPS 699 HAS SOUS 6744 HAS SOUPS 699 WITH SCORE 742.724
AT ITER 6443 NEW BEST:: SOT 84036 SOS 43472 HAS SOPS 699 HAS SOUS 6700 HAS SOUPS 699 WITH SCORE 742.472
AT ITER 6478 NEW BEST:: SOT 84034 SOS 43468 HAS SOPS 699 HAS SOUS 6699 HAS SOUPS 699 WITH SCORE 742.468
AT ITER 6496 NEW BEST:: SOT 84030 SOS 43466 HAS SOPS 699 HAS SOUS 6705 HAS SOUPS 699 WITH SCORE 742.466
AT ITER 6562 NEW BEST:: SOT 83994 SOS 43430 HAS SOPS 699 HAS SOUS 6691 HAS SOUPS 699 WITH SCORE 742.43
AT ITER 6593 NEW BEST:: SOT 83952 SOS 43394 HAS SOPS 699 HAS SOUS 6697 HAS SOUPS 699 WITH SCORE 742.394
AT ITER 6608 NEW BEST:: SOT 83922 SOS 43364 HAS SOPS 699 HAS SOUS 6692 HAS SOUPS 699 WITH SCORE 742.364
AT ITER 6684 NEW BEST:: SOT 83906 SOS 43346 HAS SOPS 699 HAS SOUS 6686 HAS SOUPS 699 WITH SCORE 742.346
AT ITER 6724 NEW BEST:: SOT 83906 SOS 43326 HAS SOPS 699 HAS SOUS 6646 HAS SOUPS 699 WITH SCORE 742.326
AT ITER 6783 NEW BEST:: SOT 83878 SOS 43298 HAS SOPS 699 HAS SOUS 6633 HAS SOUPS 699 WITH SCORE 742.298
AT ITER 6821 NEW BEST:: SOT 83867 SOS 43254 HAS SOPS 699 HAS SOUS 6633 HAS SOUPS 699 WITH SCORE 742.254
AT ITER 6834 NEW BEST:: SOT 83861 SOS 43248 HAS SOPS 699 HAS SOUS 6635 HAS SOUPS 699 WITH SCORE 742.248
AT ITER 6840 NEW BEST:: SOT 83843 SOS 43230 HAS SOPS 699 HAS SOUS 6632 HAS SOUPS 699 WITH SCORE 742.23
AT ITER 6883 NEW BEST:: SOT 83819 SOS 43206 HAS SOPS 699 HAS SOUS 6620 HAS SOUPS 699 WITH SCORE 742.206
AT ITER 6942 NEW BEST:: SOT 83819 SOS 43182 HAS SOPS 699 HAS SOUS 6620 HAS SOUPS 699 WITH SCORE 742.182
AT ITER 7112 NEW BEST:: SOT 83783 SOS 43155 HAS SOPS 699 HAS SOUS 6637 HAS SOUPS 699 WITH SCORE 742.155
AT ITER 7277 NEW BEST:: SOT 83793 SOS 43130 HAS SOPS 699 HAS SOUS 6637 HAS SOUPS 699 WITH SCORE 742.13
AT ITER 7291 NEW BEST:: SOT 83677 SOS 43014 HAS SOPS 699 HAS SOUS 6614 HAS SOUPS 699 WITH SCORE 742.014
AT ITER 7298 NEW BEST:: SOT 83577 SOS 42914 HAS SOPS 699 HAS SOUS 6614 HAS SOUPS 699 WITH SCORE 741.914
AT ITER 7419 NEW BEST:: SOT 83577 SOS 42909 HAS SOPS 699 HAS SOUS 6613 HAS SOUPS 699 WITH SCORE 741.909
AT ITER 7425 NEW BEST:: SOT 83577 SOS 42901 HAS SOPS 699 HAS SOUS 6613 HAS SOUPS 699 WITH SCORE 741.901
AT ITER 7454 NEW BEST:: SOT 83577 SOS 42845 HAS SOPS 699 HAS SOUS 6613 HAS SOUPS 699 WITH SCORE 741.845
AT ITER 7466 NEW BEST:: SOT 83571 SOS 42837 HAS SOPS 699 HAS SOUS 6609 HAS SOUPS 699 WITH SCORE 741.837
AT ITER 7526 NEW BEST:: SOT 83529 SOS 42795 HAS SOPS 699 HAS SOUS 6613 HAS SOUPS 699 WITH SCORE 741.795
AT ITER 7703 NEW BEST:: SOT 83527 SOS 42794 HAS SOPS 699 HAS SOUS 6614 HAS SOUPS 699 WITH SCORE 741.794
AT ITER 7726 NEW BEST:: SOT 83515 SOS 42779 HAS SOPS 699 HAS SOUS 6614 HAS SOUPS 699 WITH SCORE 741.779
AT ITER 7738 NEW BEST:: SOT 83515 SOS 42729 HAS SOPS 699 HAS SOUS 6594 HAS SOUPS 699 WITH SCORE 741.729
AT ITER 7759 NEW BEST:: SOT 83483 SOS 42697 HAS SOPS 699 HAS SOUS 6590 HAS SOUPS 699 WITH SCORE 741.697
AT ITER 7773 NEW BEST:: SOT 83475 SOS 42685 HAS SOPS 699 HAS SOUS 6582 HAS SOUPS 699 WITH SCORE 741.685
AT ITER 7790 NEW BEST:: SOT 83457 SOS 42676 HAS SOPS 699 HAS SOUS 6591 HAS SOUPS 699 WITH SCORE 741.676
AT ITER 7817 NEW BEST:: SOT 83439 SOS 42658 HAS SOPS 699 HAS SOUS 6591 HAS SOUPS 699 WITH SCORE 741.658
AT ITER 7836 NEW BEST:: SOT 83421 SOS 42631 HAS SOPS 699 HAS SOUS 6573 HAS SOUPS 699 WITH SCORE 741.631
AT ITER 7880 NEW BEST:: SOT 83425 SOS 42629 HAS SOPS 699 HAS SOUS 6571 HAS SOUPS 699 WITH SCORE 741.629
AT ITER 8058 NEW BEST:: SOT 83395 SOS 42589 HAS SOPS 699 HAS SOUS 6566 HAS SOUPS 699 WITH SCORE 741.5889999999999
AT ITER 8072 NEW BEST:: SOT 83399 SOS 42587 HAS SOPS 699 HAS SOUS 6562 HAS SOUPS 699 WITH SCORE 741.587
AT ITER 8093 NEW BEST:: SOT 83393 SOS 42581 HAS SOPS 699 HAS SOUS 6565 HAS SOUPS 699 WITH SCORE 741.581
AT ITER 8123 NEW BEST:: SOT 83381 SOS 42573 HAS SOPS 699 HAS SOUS 6577 HAS SOUPS 699 WITH SCORE 741.573
AT ITER 8183 NEW BEST:: SOT 83375 SOS 42558 HAS SOPS 699 HAS SOUS 6570 HAS SOUPS 699 WITH SCORE 741.558
AT ITER 8198 NEW BEST:: SOT 83369 SOS 42525 HAS SOPS 699 HAS SOUS 6567 HAS SOUPS 699 WITH SCORE 741.525
AT ITER 8266 NEW BEST:: SOT 83369 SOS 42507 HAS SOPS 699 HAS SOUS 6567 HAS SOUPS 699 WITH SCORE 741.507
AT ITER 8381 NEW BEST:: SOT 83369 SOS 42496 HAS SOPS 699 HAS SOUS 6567 HAS SOUPS 699 WITH SCORE 741.496
AT ITER 8421 NEW BEST:: SOT 83369 SOS 42491 HAS SOPS 699 HAS SOUS 6565 HAS SOUPS 699 WITH SCORE 741.491
AT ITER 8428 NEW BEST:: SOT 83313 SOS 42435 HAS SOPS 699 HAS SOUS 6509 HAS SOUPS 699 WITH SCORE 741.435
AT ITER 8621 NEW BEST:: SOT 83229 SOS 42351 HAS SOPS 699 HAS SOUS 6490 HAS SOUPS 699 WITH SCORE 741.351
AT ITER 8738 NEW BEST:: SOT 83213 SOS 42335 HAS SOPS 699 HAS SOUS 6482 HAS SOUPS 699 WITH SCORE 741.335
AT ITER 8821 NEW BEST:: SOT 83151 SOS 42273 HAS SOPS 699 HAS SOUS 6507 HAS SOUPS 699 WITH SCORE 741.273
AT ITER 8887 NEW BEST:: SOT 83099 SOS 42247 HAS SOPS 699 HAS SOUS 6585 HAS SOUPS 699 WITH SCORE 741.247
AT ITER 8959 NEW BEST:: SOT 83061 SOS 41962 HAS SOPS 699 HAS SOUS 6585 HAS SOUPS 699 WITH SCORE 740.962
AT ITER 8993 NEW BEST:: SOT 83007 SOS 41908 HAS SOPS 699 HAS SOUS 6583 HAS SOUPS 699 WITH SCORE 740.908
AT ITER 9053 NEW BEST:: SOT 83007 SOS 41907 HAS SOPS 699 HAS SOUS 6582 HAS SOUPS 699 WITH SCORE 740.907
AT ITER 9129 NEW BEST:: SOT 83007 SOS 41896 HAS SOPS 699 HAS SOUS 6582 HAS SOUPS 699 WITH SCORE 740.896
AT ITER 9134 NEW BEST:: SOT 83001 SOS 41890 HAS SOPS 699 HAS SOUS 6578 HAS SOUPS 699 WITH SCORE 740.89
AT ITER 9182 NEW BEST:: SOT 83001 SOS 41876 HAS SOPS 699 HAS SOUS 6578 HAS SOUPS 699 WITH SCORE 740.876
AT ITER 9372 NEW BEST:: SOT 83001 SOS 41855 HAS SOPS 699 HAS SOUS 6578 HAS SOUPS 699 WITH SCORE 740.855
AT ITER 9541 NEW BEST:: SOT 83001 SOS 41851 HAS SOPS 699 HAS SOUS 6578 HAS SOUPS 699 WITH SCORE 740.851
AT ITER 9547 NEW BEST:: SOT 82951 SOS 41801 HAS SOPS 699 HAS SOUS 6529 HAS SOUPS 699 WITH SCORE 740.801
AT ITER 9649 NEW BEST:: SOT 82951 SOS 41797 HAS SOPS 699 HAS SOUS 6525 HAS SOUPS 699 WITH SCORE 740.797
AT ITER 9670 NEW BEST:: SOT 82951 SOS 41796 HAS SOPS 699 HAS SOUS 6523 HAS SOUPS 699 WITH SCORE 740.796
AT ITER 9759 NEW BEST:: SOT 82931 SOS 41766 HAS SOPS 699 HAS SOUS 6523 HAS SOUPS 699 WITH SCORE 740.766
AT ITER 9775 NEW BEST:: SOT 82919 SOS 41754 HAS SOPS 699 HAS SOUS 6514 HAS SOUPS 699 WITH SCORE 740.754
AT ITER 9857 NEW BEST:: SOT 82651 SOS 41486 HAS SOPS 699 HAS SOUS 6380 HAS SOUPS 699 WITH SCORE 740.486
AT ITER 9933 NEW BEST:: SOT 82643 SOS 41473 HAS SOPS 699 HAS SOUS 6380 HAS SOUPS 699 WITH SCORE 740.473
AT ITER 9939 NEW BEST:: SOT 82589 SOS 41419 HAS SOPS 699 HAS SOUS 6348 HAS SOUPS 699 WITH SCORE 740.419
AT ITER 9982 NEW BEST:: SOT 82581 SOS 41411 HAS SOPS 699 HAS SOUS 6348 HAS SOUPS 699 WITH SCORE 740.4110000000001
AT ITER 9987 NEW BEST:: SOT 82581 SOS 41410 HAS SOPS 699 HAS SOUS 6348 HAS SOUPS 699 WITH SCORE 740.41
STATE_SPACE STATES 11417981541647679048466287755595961091061972992 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 199 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 2917294283890981996883136521554768058766334099456 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589369592458

--------------------
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="Eratosthenes-PT-200"
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 Eratosthenes-PT-200, 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 r063-tajo-158922808401048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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