Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 572K
-rw-r--r-- 1 mcc users 7.5K Feb 25 14:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 25 14:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 14:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 14:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 14:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 166K Feb 25 14:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Feb 25 14:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Feb 25 14:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 56K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678459087880

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

Filename model.pnml
Petri model created: 152 places, 189 transitions, 741 arcs.
AT ITER 0 NEW BEST:: SOT 18732 SOS 16252 HAS SOPS 16250 HAS SOUS 12119 HAS SOUPS 12118 WITH SCORE 12134.252
AT ITER 1 NEW BEST:: SOT 18781 SOS 16211 HAS SOPS 16209 HAS SOUS 12056 HAS SOUPS 12055 WITH SCORE 12071.211
AT ITER 3 NEW BEST:: SOT 18725 SOS 16071 HAS SOPS 16069 HAS SOUS 11972 HAS SOUPS 11971 WITH SCORE 11987.071
AT ITER 4 NEW BEST:: SOT 18769 SOS 16115 HAS SOPS 16113 HAS SOUS 11940 HAS SOUPS 11939 WITH SCORE 11955.115
AT ITER 5 NEW BEST:: SOT 18768 SOS 16114 HAS SOPS 16112 HAS SOUS 11939 HAS SOUPS 11938 WITH SCORE 11954.114
AT ITER 6 NEW BEST:: SOT 18800 SOS 16068 HAS SOPS 16066 HAS SOUS 11861 HAS SOUPS 11860 WITH SCORE 11876.068
AT ITER 7 NEW BEST:: SOT 18766 SOS 15983 HAS SOPS 15981 HAS SOUS 11810 HAS SOUPS 11809 WITH SCORE 11824.983
AT ITER 8 NEW BEST:: SOT 18737 SOS 15954 HAS SOPS 15952 HAS SOUS 11781 HAS SOUPS 11780 WITH SCORE 11795.954
AT ITER 9 NEW BEST:: SOT 18767 SOS 15810 HAS SOPS 15808 HAS SOUS 11566 HAS SOUPS 11565 WITH SCORE 11580.81
AT ITER 13 NEW BEST:: SOT 18734 SOS 15777 HAS SOPS 15775 HAS SOUS 11533 HAS SOUPS 11532 WITH SCORE 11547.777
AT ITER 15 NEW BEST:: SOT 18818 SOS 15730 HAS SOPS 15728 HAS SOUS 11412 HAS SOUPS 11411 WITH SCORE 11426.73
AT ITER 17 NEW BEST:: SOT 18771 SOS 15683 HAS SOPS 15681 HAS SOUS 11365 HAS SOUPS 11364 WITH SCORE 11379.683
AT ITER 18 NEW BEST:: SOT 18771 SOS 15672 HAS SOPS 15670 HAS SOUS 11354 HAS SOUPS 11353 WITH SCORE 11368.672
AT ITER 20 NEW BEST:: SOT 18777 SOS 15516 HAS SOPS 15514 HAS SOUS 11186 HAS SOUPS 11185 WITH SCORE 11200.516
AT ITER 23 NEW BEST:: SOT 18804 SOS 15534 HAS SOPS 15532 HAS SOUS 11177 HAS SOUPS 11176 WITH SCORE 11191.534
AT ITER 24 NEW BEST:: SOT 18782 SOS 15490 HAS SOPS 15488 HAS SOUS 11155 HAS SOUPS 11154 WITH SCORE 11169.49
AT ITER 25 NEW BEST:: SOT 18802 SOS 15500 HAS SOPS 15498 HAS SOUS 11145 HAS SOUPS 11144 WITH SCORE 11159.5
AT ITER 26 NEW BEST:: SOT 18866 SOS 15454 HAS SOPS 15452 HAS SOUS 11093 HAS SOUPS 11092 WITH SCORE 11107.454
AT ITER 27 NEW BEST:: SOT 18824 SOS 15302 HAS SOPS 15300 HAS SOUS 10900 HAS SOUPS 10899 WITH SCORE 10914.302
AT ITER 28 NEW BEST:: SOT 18952 SOS 15260 HAS SOPS 15258 HAS SOUS 10783 HAS SOUPS 10782 WITH SCORE 10797.26
AT ITER 34 NEW BEST:: SOT 18914 SOS 15165 HAS SOPS 15163 HAS SOUS 10726 HAS SOUPS 10725 WITH SCORE 10740.165
AT ITER 38 NEW BEST:: SOT 18895 SOS 15146 HAS SOPS 14617 HAS SOUS 10726 HAS SOUPS 10706 WITH SCORE 10721.146
AT ITER 47 NEW BEST:: SOT 18808 SOS 14798 HAS SOPS 14269 HAS SOUS 10391 HAS SOUPS 10371 WITH SCORE 10385.798
AT ITER 48 NEW BEST:: SOT 18896 SOS 14734 HAS SOPS 14205 HAS SOUS 10308 HAS SOUPS 10288 WITH SCORE 10302.734
AT ITER 49 NEW BEST:: SOT 18892 SOS 14730 HAS SOPS 14201 HAS SOUS 10308 HAS SOUPS 10288 WITH SCORE 10302.73
AT ITER 50 NEW BEST:: SOT 18820 SOS 14586 HAS SOPS 14057 HAS SOUS 10288 HAS SOUPS 10268 WITH SCORE 10282.586
AT ITER 52 NEW BEST:: SOT 18794 SOS 14560 HAS SOPS 14031 HAS SOUS 10262 HAS SOUPS 10242 WITH SCORE 10256.56
AT ITER 56 NEW BEST:: SOT 18785 SOS 14484 HAS SOPS 13955 HAS SOUS 10199 HAS SOUPS 10179 WITH SCORE 10193.484
AT ITER 63 NEW BEST:: SOT 17579 SOS 13191 HAS SOPS 12821 HAS SOUS 8821 HAS SOUPS 8808 WITH SCORE 8821.191
AT ITER 64 NEW BEST:: SOT 17646 SOS 13209 HAS SOPS 12839 HAS SOUS 8781 HAS SOUPS 8768 WITH SCORE 8781.209
AT ITER 68 NEW BEST:: SOT 17686 SOS 13179 HAS SOPS 12809 HAS SOUS 8711 HAS SOUPS 8698 WITH SCORE 8711.179
AT ITER 69 NEW BEST:: SOT 17639 SOS 13132 HAS SOPS 12762 HAS SOUS 8664 HAS SOUPS 8651 WITH SCORE 8664.132
AT ITER 71 NEW BEST:: SOT 17684 SOS 13177 HAS SOPS 12807 HAS SOUS 8658 HAS SOUPS 8645 WITH SCORE 8658.177
AT ITER 73 NEW BEST:: SOT 17627 SOS 13120 HAS SOPS 12750 HAS SOUS 8601 HAS SOUPS 8588 WITH SCORE 8601.12
AT ITER 78 NEW BEST:: SOT 17664 SOS 13061 HAS SOPS 12683 HAS SOUS 8594 HAS SOUPS 8581 WITH SCORE 8594.061
AT ITER 79 NEW BEST:: SOT 17712 SOS 13037 HAS SOPS 12659 HAS SOUS 8495 HAS SOUPS 8482 WITH SCORE 8495.037
AT ITER 82 NEW BEST:: SOT 17761 SOS 13086 HAS SOPS 12708 HAS SOUS 8488 HAS SOUPS 8475 WITH SCORE 8488.086
AT ITER 83 NEW BEST:: SOT 17800 SOS 12984 HAS SOPS 12606 HAS SOUS 8310 HAS SOUPS 8297 WITH SCORE 8309.984
AT ITER 84 NEW BEST:: SOT 17764 SOS 12948 HAS SOPS 12570 HAS SOUS 8274 HAS SOUPS 8261 WITH SCORE 8273.948
AT ITER 85 NEW BEST:: SOT 17773 SOS 12923 HAS SOPS 12545 HAS SOUS 8223 HAS SOUPS 8210 WITH SCORE 8222.923
AT ITER 86 NEW BEST:: SOT 17725 SOS 12790 HAS SOPS 12420 HAS SOUS 8039 HAS SOUPS 8026 WITH SCORE 8038.79
AT ITER 87 NEW BEST:: SOT 17725 SOS 12725 HAS SOPS 12355 HAS SOUS 7996 HAS SOUPS 7983 WITH SCORE 7995.725
AT ITER 89 NEW BEST:: SOT 17750 SOS 12681 HAS SOPS 12311 HAS SOUS 7892 HAS SOUPS 7879 WITH SCORE 7891.681
AT ITER 90 NEW BEST:: SOT 17726 SOS 12565 HAS SOPS 12195 HAS SOUS 7800 HAS SOUPS 7787 WITH SCORE 7799.565
AT ITER 96 NEW BEST:: SOT 17652 SOS 12497 HAS SOPS 12127 HAS SOUS 7766 HAS SOUPS 7753 WITH SCORE 7765.497
AT ITER 104 NEW BEST:: SOT 17637 SOS 12512 HAS SOPS 12142 HAS SOUS 7736 HAS SOUPS 7723 WITH SCORE 7735.512
AT ITER 106 NEW BEST:: SOT 17668 SOS 12549 HAS SOPS 12179 HAS SOUS 7692 HAS SOUPS 7679 WITH SCORE 7691.549
AT ITER 107 NEW BEST:: SOT 17662 SOS 12543 HAS SOPS 12173 HAS SOUS 7688 HAS SOUPS 7675 WITH SCORE 7687.543
AT ITER 115 NEW BEST:: SOT 17624 SOS 12517 HAS SOPS 12147 HAS SOUS 7680 HAS SOUPS 7667 WITH SCORE 7679.517
AT ITER 116 NEW BEST:: SOT 17628 SOS 12483 HAS SOPS 12113 HAS SOUS 7646 HAS SOUPS 7633 WITH SCORE 7645.483
AT ITER 128 NEW BEST:: SOT 17631 SOS 12478 HAS SOPS 12108 HAS SOUS 7627 HAS SOUPS 7614 WITH SCORE 7626.478
AT ITER 129 NEW BEST:: SOT 17617 SOS 12497 HAS SOPS 12127 HAS SOUS 7577 HAS SOUPS 7564 WITH SCORE 7576.497
AT ITER 130 NEW BEST:: SOT 17625 SOS 12518 HAS SOPS 12148 HAS SOUS 7567 HAS SOUPS 7554 WITH SCORE 7566.518
AT ITER 131 NEW BEST:: SOT 17551 SOS 12300 HAS SOPS 11919 HAS SOUS 7423 HAS SOUPS 7410 WITH SCORE 7422.3
AT ITER 135 NEW BEST:: SOT 17551 SOS 12273 HAS SOPS 11892 HAS SOUS 7396 HAS SOUPS 7383 WITH SCORE 7395.273
AT ITER 136 NEW BEST:: SOT 17505 SOS 12181 HAS SOPS 11800 HAS SOUS 7350 HAS SOUPS 7337 WITH SCORE 7349.181
AT ITER 138 NEW BEST:: SOT 17489 SOS 12165 HAS SOPS 11784 HAS SOUS 7342 HAS SOUPS 7329 WITH SCORE 7341.165
AT ITER 144 NEW BEST:: SOT 17481 SOS 12157 HAS SOPS 11776 HAS SOUS 7338 HAS SOUPS 7325 WITH SCORE 7337.157
AT ITER 146 NEW BEST:: SOT 17470 SOS 12084 HAS SOPS 11703 HAS SOUS 7301 HAS SOUPS 7288 WITH SCORE 7300.084
AT ITER 147 NEW BEST:: SOT 17482 SOS 12104 HAS SOPS 11723 HAS SOUS 7255 HAS SOUPS 7242 WITH SCORE 7254.104
AT ITER 148 NEW BEST:: SOT 17428 SOS 11996 HAS SOPS 11615 HAS SOUS 7205 HAS SOUPS 7192 WITH SCORE 7203.996
AT ITER 150 NEW BEST:: SOT 17449 SOS 12009 HAS SOPS 11628 HAS SOUS 7161 HAS SOUPS 7148 WITH SCORE 7160.009
AT ITER 154 NEW BEST:: SOT 17388 SOS 11931 HAS SOPS 11550 HAS SOUS 7066 HAS SOUPS 7053 WITH SCORE 7064.931
AT ITER 155 NEW BEST:: SOT 17298 SOS 11863 HAS SOPS 11482 HAS SOUS 7054 HAS SOUPS 7041 WITH SCORE 7052.863
AT ITER 158 NEW BEST:: SOT 17170 SOS 11607 HAS SOPS 11226 HAS SOUS 6926 HAS SOUPS 6913 WITH SCORE 6924.607
AT ITER 159 NEW BEST:: SOT 17162 SOS 11547 HAS SOPS 11166 HAS SOUS 6884 HAS SOUPS 6871 WITH SCORE 6882.547
AT ITER 160 NEW BEST:: SOT 17279 SOS 11658 HAS SOPS 11277 HAS SOUS 6878 HAS SOUPS 6865 WITH SCORE 6876.658
AT ITER 165 NEW BEST:: SOT 17277 SOS 11642 HAS SOPS 11261 HAS SOUS 6842 HAS SOUPS 6829 WITH SCORE 6840.642
AT ITER 166 NEW BEST:: SOT 17298 SOS 11658 HAS SOPS 11273 HAS SOUS 6827 HAS SOUPS 6814 WITH SCORE 6825.658
AT ITER 168 NEW BEST:: SOT 17296 SOS 11602 HAS SOPS 11217 HAS SOUS 6796 HAS SOUPS 6783 WITH SCORE 6794.602
AT ITER 170 NEW BEST:: SOT 17294 SOS 11600 HAS SOPS 11215 HAS SOUS 6796 HAS SOUPS 6783 WITH SCORE 6794.6
AT ITER 174 NEW BEST:: SOT 17204 SOS 11467 HAS SOPS 11082 HAS SOUS 6753 HAS SOUPS 6740 WITH SCORE 6751.467
AT ITER 184 NEW BEST:: SOT 17259 SOS 11577 HAS SOPS 11192 HAS SOUS 6731 HAS SOUPS 6718 WITH SCORE 6729.577
AT ITER 186 NEW BEST:: SOT 17259 SOS 11482 HAS SOPS 11097 HAS SOUS 6636 HAS SOUPS 6623 WITH SCORE 6634.482
AT ITER 190 NEW BEST:: SOT 17297 SOS 11554 HAS SOPS 11169 HAS SOUS 6578 HAS SOUPS 6565 WITH SCORE 6576.554
AT ITER 193 NEW BEST:: SOT 17253 SOS 11365 HAS SOPS 10977 HAS SOUS 6435 HAS SOUPS 6422 WITH SCORE 6433.365
AT ITER 205 NEW BEST:: SOT 17236 SOS 11344 HAS SOPS 10956 HAS SOUS 6401 HAS SOUPS 6388 WITH SCORE 6399.344
AT ITER 207 NEW BEST:: SOT 17360 SOS 11404 HAS SOPS 11016 HAS SOUS 6337 HAS SOUPS 6324 WITH SCORE 6335.404
AT ITER 209 NEW BEST:: SOT 17358 SOS 11400 HAS SOPS 11012 HAS SOUS 6312 HAS SOUPS 6299 WITH SCORE 6310.4
AT ITER 214 NEW BEST:: SOT 17338 SOS 11380 HAS SOPS 10992 HAS SOUS 6292 HAS SOUPS 6279 WITH SCORE 6290.38
AT ITER 215 NEW BEST:: SOT 17335 SOS 11377 HAS SOPS 10989 HAS SOUS 6289 HAS SOUPS 6276 WITH SCORE 6287.377
AT ITER 218 NEW BEST:: SOT 17335 SOS 11302 HAS SOPS 10914 HAS SOUS 6239 HAS SOUPS 6226 WITH SCORE 6237.302
AT ITER 226 NEW BEST:: SOT 17242 SOS 11209 HAS SOPS 10821 HAS SOUS 6119 HAS SOUPS 6106 WITH SCORE 6117.209
AT ITER 227 NEW BEST:: SOT 17233 SOS 11120 HAS SOPS 10732 HAS SOUS 6061 HAS SOUPS 6048 WITH SCORE 6059.12
AT ITER 229 NEW BEST:: SOT 17159 SOS 11070 HAS SOPS 10682 HAS SOUS 5976 HAS SOUPS 5963 WITH SCORE 5974.07
AT ITER 230 NEW BEST:: SOT 17113 SOS 11024 HAS SOPS 10636 HAS SOUS 5907 HAS SOUPS 5894 WITH SCORE 5905.024
AT ITER 231 NEW BEST:: SOT 17096 SOS 10963 HAS SOPS 10575 HAS SOUS 5895 HAS SOUPS 5882 WITH SCORE 5892.963
AT ITER 232 NEW BEST:: SOT 17021 SOS 10888 HAS SOPS 10500 HAS SOUS 5820 HAS SOUPS 5807 WITH SCORE 5817.888
AT ITER 237 NEW BEST:: SOT 17000 SOS 10867 HAS SOPS 10479 HAS SOUS 5778 HAS SOUPS 5765 WITH SCORE 5775.867
AT ITER 239 NEW BEST:: SOT 17036 SOS 10935 HAS SOPS 10547 HAS SOUS 5770 HAS SOUPS 5757 WITH SCORE 5767.935
AT ITER 242 NEW BEST:: SOT 17020 SOS 10919 HAS SOPS 10531 HAS SOUS 5749 HAS SOUPS 5736 WITH SCORE 5746.919
AT ITER 243 NEW BEST:: SOT 17020 SOS 10916 HAS SOPS 10528 HAS SOUS 5749 HAS SOUPS 5736 WITH SCORE 5746.916
AT ITER 256 NEW BEST:: SOT 17141 SOS 10949 HAS SOPS 10561 HAS SOUS 5695 HAS SOUPS 5682 WITH SCORE 5692.949
AT ITER 262 NEW BEST:: SOT 17109 SOS 10917 HAS SOPS 10529 HAS SOUS 5663 HAS SOUPS 5650 WITH SCORE 5660.917
AT ITER 265 NEW BEST:: SOT 17084 SOS 10861 HAS SOPS 10473 HAS SOUS 5613 HAS SOUPS 5600 WITH SCORE 5610.861
AT ITER 267 NEW BEST:: SOT 17078 SOS 10855 HAS SOPS 10467 HAS SOUS 5601 HAS SOUPS 5588 WITH SCORE 5598.855
AT ITER 268 NEW BEST:: SOT 17056 SOS 10678 HAS SOPS 10290 HAS SOUS 5447 HAS SOUPS 5434 WITH SCORE 5444.678
AT ITER 270 NEW BEST:: SOT 17097 SOS 10721 HAS SOPS 10333 HAS SOUS 5440 HAS SOUPS 5427 WITH SCORE 5437.721
AT ITER 278 NEW BEST:: SOT 17101 SOS 10697 HAS SOPS 10321 HAS SOUS 5437 HAS SOUPS 5424 WITH SCORE 5434.697
AT ITER 279 NEW BEST:: SOT 17099 SOS 10694 HAS SOPS 10318 HAS SOUS 5435 HAS SOUPS 5422 WITH SCORE 5432.694
AT ITER 280 NEW BEST:: SOT 17048 SOS 10595 HAS SOPS 10219 HAS SOUS 5407 HAS SOUPS 5394 WITH SCORE 5404.595
AT ITER 283 NEW BEST:: SOT 17050 SOS 10595 HAS SOPS 10219 HAS SOUS 5403 HAS SOUPS 5390 WITH SCORE 5400.595
AT ITER 289 NEW BEST:: SOT 17050 SOS 10594 HAS SOPS 10218 HAS SOUS 5396 HAS SOUPS 5383 WITH SCORE 5393.594
AT ITER 294 NEW BEST:: SOT 17016 SOS 10560 HAS SOPS 10184 HAS SOUS 5328 HAS SOUPS 5315 WITH SCORE 5325.56
AT ITER 306 NEW BEST:: SOT 17020 SOS 10564 HAS SOPS 10188 HAS SOUS 5324 HAS SOUPS 5311 WITH SCORE 5321.564
AT ITER 310 NEW BEST:: SOT 17020 SOS 10557 HAS SOPS 10181 HAS SOUS 5317 HAS SOUPS 5304 WITH SCORE 5314.557
AT ITER 316 NEW BEST:: SOT 17031 SOS 10535 HAS SOPS 10159 HAS SOUS 5317 HAS SOUPS 5304 WITH SCORE 5314.535
AT ITER 317 NEW BEST:: SOT 17024 SOS 10528 HAS SOPS 10152 HAS SOUS 5303 HAS SOUPS 5290 WITH SCORE 5300.528
AT ITER 326 NEW BEST:: SOT 17019 SOS 10518 HAS SOPS 10142 HAS SOUS 5293 HAS SOUPS 5280 WITH SCORE 5290.518
AT ITER 332 NEW BEST:: SOT 17016 SOS 10487 HAS SOPS 10111 HAS SOUS 5259 HAS SOUPS 5246 WITH SCORE 5256.487
AT ITER 339 NEW BEST:: SOT 16944 SOS 10406 HAS SOPS 10030 HAS SOUS 5238 HAS SOUPS 5225 WITH SCORE 5235.406
AT ITER 344 NEW BEST:: SOT 16944 SOS 10404 HAS SOPS 10028 HAS SOUS 5237 HAS SOUPS 5224 WITH SCORE 5234.404
AT ITER 345 NEW BEST:: SOT 17103 SOS 10386 HAS SOPS 10010 HAS SOUS 5207 HAS SOUPS 5194 WITH SCORE 5204.386
AT ITER 348 NEW BEST:: SOT 17097 SOS 10368 HAS SOPS 9992 HAS SOUS 5207 HAS SOUPS 5194 WITH SCORE 5204.368
AT ITER 349 NEW BEST:: SOT 17097 SOS 10254 HAS SOPS 9878 HAS SOUS 5131 HAS SOUPS 5118 WITH SCORE 5128.254
AT ITER 351 NEW BEST:: SOT 17097 SOS 10254 HAS SOPS 9877 HAS SOUS 5126 HAS SOUPS 5113 WITH SCORE 5123.254
AT ITER 354 NEW BEST:: SOT 17097 SOS 10240 HAS SOPS 9863 HAS SOUS 5126 HAS SOUPS 5113 WITH SCORE 5123.24
AT ITER 363 NEW BEST:: SOT 17129 SOS 10199 HAS SOPS 9822 HAS SOUS 5108 HAS SOUPS 5095 WITH SCORE 5105.199
AT ITER 364 NEW BEST:: SOT 17194 SOS 10209 HAS SOPS 9832 HAS SOUS 5085 HAS SOUPS 5072 WITH SCORE 5082.209
AT ITER 367 NEW BEST:: SOT 17198 SOS 10209 HAS SOPS 9832 HAS SOUS 5081 HAS SOUPS 5068 WITH SCORE 5078.209
AT ITER 369 NEW BEST:: SOT 17167 SOS 10147 HAS SOPS 9770 HAS SOUS 5051 HAS SOUPS 5038 WITH SCORE 5048.147
AT ITER 372 NEW BEST:: SOT 17200 SOS 10042 HAS SOPS 9665 HAS SOUS 4958 HAS SOUPS 4945 WITH SCORE 4955.042
AT ITER 373 NEW BEST:: SOT 17102 SOS 10029 HAS SOPS 9646 HAS SOUS 4877 HAS SOUPS 4864 WITH SCORE 4874.029
AT ITER 375 NEW BEST:: SOT 17037 SOS 9994 HAS SOPS 9611 HAS SOUS 4813 HAS SOUPS 4800 WITH SCORE 4809.994
AT ITER 376 NEW BEST:: SOT 16993 SOS 9906 HAS SOPS 9523 HAS SOUS 4769 HAS SOUPS 4756 WITH SCORE 4765.906
AT ITER 382 NEW BEST:: SOT 16975 SOS 9888 HAS SOPS 9505 HAS SOUS 4733 HAS SOUPS 4720 WITH SCORE 4729.888
AT ITER 388 NEW BEST:: SOT 16943 SOS 9868 HAS SOPS 9485 HAS SOUS 4695 HAS SOUPS 4682 WITH SCORE 4691.868
AT ITER 389 NEW BEST:: SOT 16942 SOS 9811 HAS SOPS 9428 HAS SOUS 4633 HAS SOUPS 4620 WITH SCORE 4629.811
AT ITER 390 NEW BEST:: SOT 16917 SOS 9749 HAS SOPS 9366 HAS SOUS 4558 HAS SOUPS 4545 WITH SCORE 4554.749
AT ITER 405 NEW BEST:: SOT 16981 SOS 9721 HAS SOPS 9338 HAS SOUS 4518 HAS SOUPS 4505 WITH SCORE 4514.721
AT ITER 409 NEW BEST:: SOT 16966 SOS 9708 HAS SOPS 9325 HAS SOUS 4503 HAS SOUPS 4490 WITH SCORE 4499.708
AT ITER 413 NEW BEST:: SOT 16881 SOS 9613 HAS SOPS 9230 HAS SOUS 4429 HAS SOUPS 4416 WITH SCORE 4425.613
AT ITER 416 NEW BEST:: SOT 16873 SOS 9613 HAS SOPS 9230 HAS SOUS 4421 HAS SOUPS 4408 WITH SCORE 4417.613
AT ITER 418 NEW BEST:: SOT 16838 SOS 9578 HAS SOPS 9195 HAS SOUS 4403 HAS SOUPS 4390 WITH SCORE 4399.578
AT ITER 419 NEW BEST:: SOT 16777 SOS 9497 HAS SOPS 9114 HAS SOUS 4341 HAS SOUPS 4328 WITH SCORE 4337.497
AT ITER 422 NEW BEST:: SOT 16799 SOS 9499 HAS SOPS 9122 HAS SOUS 4321 HAS SOUPS 4308 WITH SCORE 4317.499
AT ITER 423 NEW BEST:: SOT 16803 SOS 9461 HAS SOPS 9084 HAS SOUS 4263 HAS SOUPS 4250 WITH SCORE 4259.461
AT ITER 427 NEW BEST:: SOT 16758 SOS 9461 HAS SOPS 9084 HAS SOUS 4218 HAS SOUPS 4205 WITH SCORE 4214.461
AT ITER 429 NEW BEST:: SOT 16748 SOS 9451 HAS SOPS 9074 HAS SOUS 4213 HAS SOUPS 4200 WITH SCORE 4209.451
AT ITER 433 NEW BEST:: SOT 16747 SOS 9427 HAS SOPS 9050 HAS SOUS 4211 HAS SOUPS 4198 WITH SCORE 4207.427
AT ITER 440 NEW BEST:: SOT 16726 SOS 9385 HAS SOPS 9008 HAS SOUS 4169 HAS SOUPS 4156 WITH SCORE 4165.385
AT ITER 450 NEW BEST:: SOT 16698 SOS 9411 HAS SOPS 9034 HAS SOUS 4166 HAS SOUPS 4153 WITH SCORE 4162.411
AT ITER 458 NEW BEST:: SOT 16665 SOS 9371 HAS SOPS 9144 HAS SOUS 4121 HAS SOUPS 4113 WITH SCORE 4122.371
AT ITER 481 NEW BEST:: SOT 16627 SOS 9303 HAS SOPS 9076 HAS SOUS 4075 HAS SOUPS 4067 WITH SCORE 4076.303
AT ITER 486 NEW BEST:: SOT 16640 SOS 9321 HAS SOPS 9094 HAS SOUS 4059 HAS SOUPS 4051 WITH SCORE 4060.321
AT ITER 493 NEW BEST:: SOT 16666 SOS 9347 HAS SOPS 9120 HAS SOUS 4039 HAS SOUPS 4031 WITH SCORE 4040.347
AT ITER 500 NEW BEST:: SOT 16675 SOS 9228 HAS SOPS 9001 HAS SOUS 3978 HAS SOUPS 3970 WITH SCORE 3979.228
AT ITER 504 NEW BEST:: SOT 16675 SOS 9228 HAS SOPS 9001 HAS SOUS 3972 HAS SOUPS 3964 WITH SCORE 3973.228
AT ITER 507 NEW BEST:: SOT 16667 SOS 9239 HAS SOPS 9012 HAS SOUS 3967 HAS SOUPS 3959 WITH SCORE 3968.239
AT ITER 509 NEW BEST:: SOT 16658 SOS 9230 HAS SOPS 9003 HAS SOUS 3960 HAS SOUPS 3952 WITH SCORE 3961.23
AT ITER 526 NEW BEST:: SOT 16677 SOS 9164 HAS SOPS 8942 HAS SOUS 3959 HAS SOUPS 3951 WITH SCORE 3960.164
AT ITER 529 NEW BEST:: SOT 16657 SOS 9154 HAS SOPS 8932 HAS SOUS 3939 HAS SOUPS 3931 WITH SCORE 3940.154
AT ITER 531 NEW BEST:: SOT 16635 SOS 9132 HAS SOPS 8910 HAS SOUS 3937 HAS SOUPS 3929 WITH SCORE 3938.132
AT ITER 564 NEW BEST:: SOT 16652 SOS 9114 HAS SOPS 8892 HAS SOUS 3931 HAS SOUPS 3923 WITH SCORE 3932.114
AT ITER 568 NEW BEST:: SOT 16682 SOS 9045 HAS SOPS 8824 HAS SOUS 3897 HAS SOUPS 3889 WITH SCORE 3898.045
AT ITER 580 NEW BEST:: SOT 16649 SOS 9021 HAS SOPS 8800 HAS SOUS 3863 HAS SOUPS 3855 WITH SCORE 3864.021
AT ITER 596 NEW BEST:: SOT 16655 SOS 9003 HAS SOPS 8782 HAS SOUS 3861 HAS SOUPS 3853 WITH SCORE 3862.003
AT ITER 597 NEW BEST:: SOT 16649 SOS 8998 HAS SOPS 8806 HAS SOUS 3855 HAS SOUPS 3848 WITH SCORE 3856.998
AT ITER 601 NEW BEST:: SOT 16645 SOS 8994 HAS SOPS 8802 HAS SOUS 3853 HAS SOUPS 3846 WITH SCORE 3854.994
AT ITER 613 NEW BEST:: SOT 16637 SOS 9000 HAS SOPS 8808 HAS SOUS 3847 HAS SOUPS 3840 WITH SCORE 3849.0
AT ITER 618 NEW BEST:: SOT 16618 SOS 8982 HAS SOPS 8790 HAS SOUS 3829 HAS SOUPS 3822 WITH SCORE 3830.982
AT ITER 619 NEW BEST:: SOT 16661 SOS 9025 HAS SOPS 8833 HAS SOUS 3828 HAS SOUPS 3821 WITH SCORE 3830.025
AT ITER 635 NEW BEST:: SOT 16671 SOS 8851 HAS SOPS 8659 HAS SOUS 3756 HAS SOUPS 3749 WITH SCORE 3757.851
AT ITER 653 NEW BEST:: SOT 16674 SOS 8844 HAS SOPS 8652 HAS SOUS 3743 HAS SOUPS 3736 WITH SCORE 3744.844
AT ITER 659 NEW BEST:: SOT 16657 SOS 8812 HAS SOPS 8620 HAS SOUS 3703 HAS SOUPS 3696 WITH SCORE 3704.812
AT ITER 670 NEW BEST:: SOT 16615 SOS 8770 HAS SOPS 8578 HAS SOUS 3619 HAS SOUPS 3612 WITH SCORE 3620.77
AT ITER 672 NEW BEST:: SOT 16610 SOS 8788 HAS SOPS 8596 HAS SOUS 3615 HAS SOUPS 3608 WITH SCORE 3616.788
AT ITER 684 NEW BEST:: SOT 16606 SOS 8784 HAS SOPS 8592 HAS SOUS 3611 HAS SOUPS 3604 WITH SCORE 3612.784
AT ITER 705 NEW BEST:: SOT 16593 SOS 8747 HAS SOPS 8555 HAS SOUS 3589 HAS SOUPS 3582 WITH SCORE 3590.747
AT ITER 707 NEW BEST:: SOT 16544 SOS 8658 HAS SOPS 8466 HAS SOUS 3581 HAS SOUPS 3574 WITH SCORE 3582.658
AT ITER 718 NEW BEST:: SOT 16552 SOS 8674 HAS SOPS 8482 HAS SOUS 3579 HAS SOUPS 3572 WITH SCORE 3580.674
AT ITER 727 NEW BEST:: SOT 16552 SOS 8667 HAS SOPS 8475 HAS SOUS 3572 HAS SOUPS 3565 WITH SCORE 3573.667
AT ITER 729 NEW BEST:: SOT 16548 SOS 8651 HAS SOPS 8459 HAS SOUS 3564 HAS SOUPS 3557 WITH SCORE 3565.651
AT ITER 735 NEW BEST:: SOT 16527 SOS 8630 HAS SOPS 8438 HAS SOUS 3522 HAS SOUPS 3515 WITH SCORE 3523.63
AT ITER 746 NEW BEST:: SOT 16515 SOS 8594 HAS SOPS 8402 HAS SOUS 3522 HAS SOUPS 3515 WITH SCORE 3523.594
AT ITER 773 NEW BEST:: SOT 16513 SOS 8592 HAS SOPS 8400 HAS SOUS 3518 HAS SOUPS 3511 WITH SCORE 3519.592
AT ITER 775 NEW BEST:: SOT 16529 SOS 8574 HAS SOPS 8382 HAS SOUS 3491 HAS SOUPS 3484 WITH SCORE 3492.574
AT ITER 776 NEW BEST:: SOT 16511 SOS 8560 HAS SOPS 8368 HAS SOUS 3486 HAS SOUPS 3479 WITH SCORE 3487.56
AT ITER 777 NEW BEST:: SOT 16504 SOS 8570 HAS SOPS 8378 HAS SOUS 3472 HAS SOUPS 3465 WITH SCORE 3473.57
AT ITER 802 NEW BEST:: SOT 16508 SOS 8567 HAS SOPS 8375 HAS SOUS 3469 HAS SOUPS 3462 WITH SCORE 3470.567
AT ITER 809 NEW BEST:: SOT 16512 SOS 8553 HAS SOPS 8361 HAS SOUS 3459 HAS SOUPS 3452 WITH SCORE 3460.553
AT ITER 824 NEW BEST:: SOT 16511 SOS 8552 HAS SOPS 8360 HAS SOUS 3457 HAS SOUPS 3450 WITH SCORE 3458.552
AT ITER 836 NEW BEST:: SOT 16437 SOS 8478 HAS SOPS 8286 HAS SOUS 3383 HAS SOUPS 3376 WITH SCORE 3384.478
AT ITER 872 NEW BEST:: SOT 16418 SOS 8459 HAS SOPS 8267 HAS SOUS 3352 HAS SOUPS 3345 WITH SCORE 3353.459
AT ITER 877 NEW BEST:: SOT 16405 SOS 8433 HAS SOPS 8241 HAS SOUS 3322 HAS SOUPS 3315 WITH SCORE 3323.433
AT ITER 884 NEW BEST:: SOT 16399 SOS 8421 HAS SOPS 8229 HAS SOUS 3304 HAS SOUPS 3297 WITH SCORE 3305.421
AT ITER 904 NEW BEST:: SOT 16384 SOS 8421 HAS SOPS 8229 HAS SOUS 3284 HAS SOUPS 3277 WITH SCORE 3285.421
AT ITER 940 NEW BEST:: SOT 16363 SOS 8374 HAS SOPS 8182 HAS SOUS 3270 HAS SOUPS 3263 WITH SCORE 3271.374
AT ITER 960 NEW BEST:: SOT 16366 SOS 8347 HAS SOPS 8155 HAS SOUS 3261 HAS SOUPS 3254 WITH SCORE 3262.347
AT ITER 986 NEW BEST:: SOT 16338 SOS 8263 HAS SOPS 8071 HAS SOUS 3177 HAS SOUPS 3170 WITH SCORE 3178.263
AT ITER 993 NEW BEST:: SOT 16280 SOS 8219 HAS SOPS 8027 HAS SOUS 3134 HAS SOUPS 3127 WITH SCORE 3135.219
AT ITER 1030 NEW BEST:: SOT 16280 SOS 8201 HAS SOPS 8009 HAS SOUS 3122 HAS SOUPS 3115 WITH SCORE 3123.201
AT ITER 1034 NEW BEST:: SOT 16280 SOS 8197 HAS SOPS 8005 HAS SOUS 3122 HAS SOUPS 3115 WITH SCORE 3123.197
AT ITER 1038 NEW BEST:: SOT 16281 SOS 8195 HAS SOPS 8003 HAS SOUS 3122 HAS SOUPS 3115 WITH SCORE 3123.195
AT ITER 1043 NEW BEST:: SOT 16272 SOS 8186 HAS SOPS 7994 HAS SOUS 3104 HAS SOUPS 3097 WITH SCORE 3105.186
AT ITER 1045 NEW BEST:: SOT 16276 SOS 8174 HAS SOPS 7982 HAS SOUS 3098 HAS SOUPS 3091 WITH SCORE 3099.174
AT ITER 1046 NEW BEST:: SOT 16281 SOS 7797 HAS SOPS 7795 HAS SOUS 3088 HAS SOUPS 3087 WITH SCORE 3094.797
AT ITER 1048 NEW BEST:: SOT 16252 SOS 7768 HAS SOPS 7766 HAS SOUS 3059 HAS SOUPS 3058 WITH SCORE 3065.768
AT ITER 1057 NEW BEST:: SOT 16240 SOS 7736 HAS SOPS 7734 HAS SOUS 3035 HAS SOUPS 3034 WITH SCORE 3041.736
AT ITER 1069 NEW BEST:: SOT 16231 SOS 7705 HAS SOPS 7703 HAS SOUS 3012 HAS SOUPS 3011 WITH SCORE 3018.705
AT ITER 1077 NEW BEST:: SOT 16203 SOS 7677 HAS SOPS 7675 HAS SOUS 2956 HAS SOUPS 2955 WITH SCORE 2962.677
AT ITER 1079 NEW BEST:: SOT 16253 SOS 7632 HAS SOPS 7630 HAS SOUS 2826 HAS SOUPS 2825 WITH SCORE 2832.632
AT ITER 1094 NEW BEST:: SOT 16251 SOS 7630 HAS SOPS 7628 HAS SOUS 2824 HAS SOUPS 2823 WITH SCORE 2830.63
AT ITER 1122 NEW BEST:: SOT 16239 SOS 7671 HAS SOPS 7669 HAS SOUS 2823 HAS SOUPS 2822 WITH SCORE 2829.671
AT ITER 1135 NEW BEST:: SOT 16234 SOS 7766 HAS SOPS 7702 HAS SOUS 2820 HAS SOUPS 2817 WITH SCORE 2824.766
AT ITER 1145 NEW BEST:: SOT 16218 SOS 7750 HAS SOPS 7686 HAS SOUS 2804 HAS SOUPS 2801 WITH SCORE 2808.75
AT ITER 1152 NEW BEST:: SOT 16206 SOS 7738 HAS SOPS 7674 HAS SOUS 2780 HAS SOUPS 2777 WITH SCORE 2784.738
AT ITER 1156 NEW BEST:: SOT 16197 SOS 7730 HAS SOPS 7666 HAS SOUS 2762 HAS SOUPS 2759 WITH SCORE 2766.73
AT ITER 1164 NEW BEST:: SOT 16207 SOS 7729 HAS SOPS 7665 HAS SOUS 2738 HAS SOUPS 2735 WITH SCORE 2742.729
AT ITER 1171 NEW BEST:: SOT 16199 SOS 7719 HAS SOPS 7655 HAS SOUS 2728 HAS SOUPS 2725 WITH SCORE 2732.719
AT ITER 1178 NEW BEST:: SOT 16181 SOS 7711 HAS SOPS 7647 HAS SOUS 2710 HAS SOUPS 2707 WITH SCORE 2714.711
AT ITER 1181 NEW BEST:: SOT 16177 SOS 7707 HAS SOPS 7643 HAS SOUS 2710 HAS SOUPS 2707 WITH SCORE 2714.707
AT ITER 1200 NEW BEST:: SOT 16076 SOS 7649 HAS SOPS 7583 HAS SOUS 2610 HAS SOUPS 2607 WITH SCORE 2614.649
AT ITER 1212 NEW BEST:: SOT 16076 SOS 7635 HAS SOPS 7569 HAS SOUS 2592 HAS SOUPS 2589 WITH SCORE 2596.635
AT ITER 1238 NEW BEST:: SOT 16073 SOS 7630 HAS SOPS 7564 HAS SOUS 2588 HAS SOUPS 2585 WITH SCORE 2592.63
AT ITER 1244 NEW BEST:: SOT 16045 SOS 7602 HAS SOPS 7536 HAS SOUS 2573 HAS SOUPS 2570 WITH SCORE 2577.602
AT ITER 1257 NEW BEST:: SOT 16028 SOS 7598 HAS SOPS 7532 HAS SOUS 2560 HAS SOUPS 2557 WITH SCORE 2564.598
AT ITER 1268 NEW BEST:: SOT 16015 SOS 7585 HAS SOPS 7519 HAS SOUS 2547 HAS SOUPS 2544 WITH SCORE 2551.585
AT ITER 1282 NEW BEST:: SOT 16010 SOS 7580 HAS SOPS 7514 HAS SOUS 2547 HAS SOUPS 2544 WITH SCORE 2551.58
AT ITER 1295 NEW BEST:: SOT 16004 SOS 7574 HAS SOPS 7508 HAS SOUS 2547 HAS SOUPS 2544 WITH SCORE 2551.574
AT ITER 1298 NEW BEST:: SOT 15996 SOS 7564 HAS SOPS 7498 HAS SOUS 2531 HAS SOUPS 2528 WITH SCORE 2535.564
AT ITER 1307 NEW BEST:: SOT 15984 SOS 7548 HAS SOPS 7480 HAS SOUS 2501 HAS SOUPS 2498 WITH SCORE 2505.548
AT ITER 1346 NEW BEST:: SOT 15981 SOS 7545 HAS SOPS 7477 HAS SOUS 2495 HAS SOUPS 2492 WITH SCORE 2499.545
AT ITER 1349 NEW BEST:: SOT 15972 SOS 7536 HAS SOPS 7468 HAS SOUS 2477 HAS SOUPS 2474 WITH SCORE 2481.536
AT ITER 1364 NEW BEST:: SOT 15915 SOS 7479 HAS SOPS 7411 HAS SOUS 2363 HAS SOUPS 2360 WITH SCORE 2367.479
AT ITER 1365 NEW BEST:: SOT 15896 SOS 7424 HAS SOPS 7356 HAS SOUS 2357 HAS SOUPS 2354 WITH SCORE 2361.424
AT ITER 1371 NEW BEST:: SOT 15852 SOS 7380 HAS SOPS 7312 HAS SOUS 2353 HAS SOUPS 2350 WITH SCORE 2357.38
AT ITER 1376 NEW BEST:: SOT 15828 SOS 7350 HAS SOPS 7282 HAS SOUS 2333 HAS SOUPS 2330 WITH SCORE 2337.35
AT ITER 1425 NEW BEST:: SOT 15826 SOS 7345 HAS SOPS 7277 HAS SOUS 2328 HAS SOUPS 2325 WITH SCORE 2332.345
AT ITER 1428 NEW BEST:: SOT 15806 SOS 7305 HAS SOPS 7237 HAS SOUS 2286 HAS SOUPS 2283 WITH SCORE 2290.305
AT ITER 1440 NEW BEST:: SOT 15794 SOS 7293 HAS SOPS 7225 HAS SOUS 2272 HAS SOUPS 2269 WITH SCORE 2276.293
AT ITER 1450 NEW BEST:: SOT 15795 SOS 7294 HAS SOPS 7226 HAS SOUS 2263 HAS SOUPS 2260 WITH SCORE 2267.294
AT ITER 1459 NEW BEST:: SOT 15803 SOS 7302 HAS SOPS 7232 HAS SOUS 2250 HAS SOUPS 2247 WITH SCORE 2254.302
AT ITER 1470 NEW BEST:: SOT 15725 SOS 7272 HAS SOPS 7202 HAS SOUS 2250 HAS SOUPS 2247 WITH SCORE 2254.272
AT ITER 1472 NEW BEST:: SOT 15758 SOS 7293 HAS SOPS 7223 HAS SOUS 2244 HAS SOUPS 2241 WITH SCORE 2248.293
AT ITER 1475 NEW BEST:: SOT 15751 SOS 7282 HAS SOPS 7212 HAS SOUS 2234 HAS SOUPS 2231 WITH SCORE 2238.282
AT ITER 1515 NEW BEST:: SOT 15692 SOS 7181 HAS SOPS 7111 HAS SOUS 2158 HAS SOUPS 2155 WITH SCORE 2162.181
AT ITER 1583 NEW BEST:: SOT 15691 SOS 7180 HAS SOPS 7110 HAS SOUS 2157 HAS SOUPS 2154 WITH SCORE 2161.18
AT ITER 1584 NEW BEST:: SOT 15672 SOS 7161 HAS SOPS 7091 HAS SOUS 2157 HAS SOUPS 2154 WITH SCORE 2161.161
AT ITER 1601 NEW BEST:: SOT 15668 SOS 7155 HAS SOPS 7085 HAS SOUS 2149 HAS SOUPS 2146 WITH SCORE 2153.155
AT ITER 1607 NEW BEST:: SOT 15664 SOS 7151 HAS SOPS 7081 HAS SOUS 2147 HAS SOUPS 2144 WITH SCORE 2151.151
AT ITER 1677 NEW BEST:: SOT 15666 SOS 7140 HAS SOPS 7070 HAS SOUS 2145 HAS SOUPS 2142 WITH SCORE 2149.14
AT ITER 1693 NEW BEST:: SOT 15623 SOS 7086 HAS SOPS 7016 HAS SOUS 2091 HAS SOUPS 2088 WITH SCORE 2095.086
AT ITER 1703 NEW BEST:: SOT 15624 SOS 7072 HAS SOPS 7002 HAS SOUS 2085 HAS SOUPS 2082 WITH SCORE 2089.072
AT ITER 1705 NEW BEST:: SOT 15623 SOS 7070 HAS SOPS 7000 HAS SOUS 2082 HAS SOUPS 2079 WITH SCORE 2086.07
AT ITER 1706 NEW BEST:: SOT 15612 SOS 7059 HAS SOPS 6989 HAS SOUS 2071 HAS SOUPS 2068 WITH SCORE 2075.059
AT ITER 1725 NEW BEST:: SOT 15604 SOS 7055 HAS SOPS 6985 HAS SOUS 2067 HAS SOUPS 2064 WITH SCORE 2071.055
AT ITER 1840 NEW BEST:: SOT 15593 SOS 7047 HAS SOPS 6977 HAS SOUS 2061 HAS SOUPS 2058 WITH SCORE 2065.047
AT ITER 1862 NEW BEST:: SOT 15586 SOS 7035 HAS SOPS 6965 HAS SOUS 2047 HAS SOUPS 2044 WITH SCORE 2051.035
AT ITER 1864 NEW BEST:: SOT 15584 SOS 7023 HAS SOPS 6953 HAS SOUS 2037 HAS SOUPS 2034 WITH SCORE 2041.023
AT ITER 1866 NEW BEST:: SOT 15574 SOS 7013 HAS SOPS 6943 HAS SOUS 2037 HAS SOUPS 2034 WITH SCORE 2041.013
AT ITER 1881 NEW BEST:: SOT 15570 SOS 7009 HAS SOPS 6939 HAS SOUS 2033 HAS SOUPS 2030 WITH SCORE 2037.009
AT ITER 1893 NEW BEST:: SOT 15576 SOS 7015 HAS SOPS 6945 HAS SOUS 2031 HAS SOUPS 2028 WITH SCORE 2035.015
AT ITER 1908 NEW BEST:: SOT 15587 SOS 7020 HAS SOPS 6950 HAS SOUS 2008 HAS SOUPS 2005 WITH SCORE 2012.02
AT ITER 1943 NEW BEST:: SOT 15583 SOS 7016 HAS SOPS 6946 HAS SOUS 2000 HAS SOUPS 1997 WITH SCORE 2004.016
AT ITER 1950 NEW BEST:: SOT 15568 SOS 7010 HAS SOPS 6940 HAS SOUS 1987 HAS SOUPS 1984 WITH SCORE 1991.01
AT ITER 1954 NEW BEST:: SOT 15566 SOS 7009 HAS SOPS 6939 HAS SOUS 1987 HAS SOUPS 1984 WITH SCORE 1991.009
AT ITER 1961 NEW BEST:: SOT 15560 SOS 7019 HAS SOPS 6949 HAS SOUS 1985 HAS SOUPS 1982 WITH SCORE 1989.019
AT ITER 1970 NEW BEST:: SOT 15562 SOS 7018 HAS SOPS 6948 HAS SOUS 1985 HAS SOUPS 1982 WITH SCORE 1989.018
AT ITER 1974 NEW BEST:: SOT 15575 SOS 6993 HAS SOPS 6923 HAS SOUS 1985 HAS SOUPS 1982 WITH SCORE 1988.993
AT ITER 2046 NEW BEST:: SOT 15567 SOS 6985 HAS SOPS 6915 HAS SOUS 1969 HAS SOUPS 1966 WITH SCORE 1972.985
AT ITER 2052 NEW BEST:: SOT 15564 SOS 6982 HAS SOPS 6912 HAS SOUS 1963 HAS SOUPS 1960 WITH SCORE 1966.982
AT ITER 2055 NEW BEST:: SOT 15562 SOS 6978 HAS SOPS 6908 HAS SOUS 1959 HAS SOUPS 1956 WITH SCORE 1962.978
AT ITER 2063 NEW BEST:: SOT 15562 SOS 6975 HAS SOPS 6905 HAS SOUS 1959 HAS SOUPS 1956 WITH SCORE 1962.975
AT ITER 2072 NEW BEST:: SOT 15543 SOS 6956 HAS SOPS 6886 HAS SOUS 1921 HAS SOUPS 1918 WITH SCORE 1924.956
AT ITER 2113 NEW BEST:: SOT 15541 SOS 6949 HAS SOPS 6879 HAS SOUS 1916 HAS SOUPS 1913 WITH SCORE 1919.949
AT ITER 2135 NEW BEST:: SOT 15539 SOS 6945 HAS SOPS 6875 HAS SOUS 1916 HAS SOUPS 1913 WITH SCORE 1919.945
AT ITER 2157 NEW BEST:: SOT 15527 SOS 6933 HAS SOPS 6863 HAS SOUS 1902 HAS SOUPS 1899 WITH SCORE 1905.933
AT ITER 2166 NEW BEST:: SOT 15527 SOS 6923 HAS SOPS 6853 HAS SOUS 1897 HAS SOUPS 1894 WITH SCORE 1900.923
AT ITER 2211 NEW BEST:: SOT 15524 SOS 6908 HAS SOPS 6838 HAS SOUS 1885 HAS SOUPS 1882 WITH SCORE 1888.908
AT ITER 2214 NEW BEST:: SOT 15525 SOS 6880 HAS SOPS 6810 HAS SOUS 1851 HAS SOUPS 1848 WITH SCORE 1854.88
AT ITER 2226 NEW BEST:: SOT 15516 SOS 6871 HAS SOPS 6801 HAS SOUS 1851 HAS SOUPS 1848 WITH SCORE 1854.871
AT ITER 2238 NEW BEST:: SOT 15515 SOS 6872 HAS SOPS 6802 HAS SOUS 1850 HAS SOUPS 1847 WITH SCORE 1853.872
AT ITER 2281 NEW BEST:: SOT 15511 SOS 6828 HAS SOPS 6758 HAS SOUS 1827 HAS SOUPS 1824 WITH SCORE 1830.828
AT ITER 2309 NEW BEST:: SOT 15507 SOS 6824 HAS SOPS 6754 HAS SOUS 1827 HAS SOUPS 1824 WITH SCORE 1830.824
AT ITER 2312 NEW BEST:: SOT 15480 SOS 6797 HAS SOPS 6727 HAS SOUS 1773 HAS SOUPS 1770 WITH SCORE 1776.797
AT ITER 2350 NEW BEST:: SOT 15472 SOS 6796 HAS SOPS 6726 HAS SOUS 1773 HAS SOUPS 1770 WITH SCORE 1776.796
AT ITER 2353 NEW BEST:: SOT 15475 SOS 6790 HAS SOPS 6720 HAS SOUS 1773 HAS SOUPS 1770 WITH SCORE 1776.79
AT ITER 2418 NEW BEST:: SOT 15474 SOS 6788 HAS SOPS 6718 HAS SOUS 1770 HAS SOUPS 1767 WITH SCORE 1773.788
AT ITER 2421 NEW BEST:: SOT 15472 SOS 6781 HAS SOPS 6711 HAS SOUS 1761 HAS SOUPS 1758 WITH SCORE 1764.781
AT ITER 2462 NEW BEST:: SOT 15454 SOS 6763 HAS SOPS 6693 HAS SOUS 1753 HAS SOUPS 1750 WITH SCORE 1756.763
AT ITER 2506 NEW BEST:: SOT 15452 SOS 6761 HAS SOPS 6691 HAS SOUS 1751 HAS SOUPS 1748 WITH SCORE 1754.761
AT ITER 2542 NEW BEST:: SOT 15442 SOS 6729 HAS SOPS 6659 HAS SOUS 1720 HAS SOUPS 1717 WITH SCORE 1723.729
AT ITER 2543 NEW BEST:: SOT 15442 SOS 6726 HAS SOPS 6656 HAS SOUS 1718 HAS SOUPS 1715 WITH SCORE 1721.726
AT ITER 2568 NEW BEST:: SOT 15441 SOS 6724 HAS SOPS 6654 HAS SOUS 1716 HAS SOUPS 1713 WITH SCORE 1719.724
AT ITER 2595 NEW BEST:: SOT 15447 SOS 6703 HAS SOPS 6633 HAS SOUS 1700 HAS SOUPS 1697 WITH SCORE 1703.703
AT ITER 2601 NEW BEST:: SOT 15436 SOS 6681 HAS SOPS 6611 HAS SOUS 1682 HAS SOUPS 1679 WITH SCORE 1685.681
AT ITER 2644 NEW BEST:: SOT 15426 SOS 6661 HAS SOPS 6591 HAS SOUS 1664 HAS SOUPS 1661 WITH SCORE 1667.661
AT ITER 2655 NEW BEST:: SOT 15426 SOS 6661 HAS SOPS 6591 HAS SOUS 1662 HAS SOUPS 1659 WITH SCORE 1665.661
AT ITER 2693 NEW BEST:: SOT 15428 SOS 6644 HAS SOPS 6574 HAS SOUS 1652 HAS SOUPS 1649 WITH SCORE 1655.644
AT ITER 2740 NEW BEST:: SOT 15428 SOS 6637 HAS SOPS 6567 HAS SOUS 1652 HAS SOUPS 1649 WITH SCORE 1655.637
AT ITER 2796 NEW BEST:: SOT 15419 SOS 6628 HAS SOPS 6558 HAS SOUS 1652 HAS SOUPS 1649 WITH SCORE 1655.628
AT ITER 2844 NEW BEST:: SOT 15409 SOS 6622 HAS SOPS 6552 HAS SOUS 1648 HAS SOUPS 1645 WITH SCORE 1651.622
AT ITER 2909 NEW BEST:: SOT 15406 SOS 6619 HAS SOPS 6549 HAS SOUS 1642 HAS SOUPS 1639 WITH SCORE 1645.619
AT ITER 2934 NEW BEST:: SOT 15402 SOS 6615 HAS SOPS 6545 HAS SOUS 1640 HAS SOUPS 1637 WITH SCORE 1643.615
AT ITER 2951 NEW BEST:: SOT 15398 SOS 6611 HAS SOPS 6541 HAS SOUS 1632 HAS SOUPS 1629 WITH SCORE 1635.611
AT ITER 2972 NEW BEST:: SOT 15398 SOS 6605 HAS SOPS 6535 HAS SOUS 1629 HAS SOUPS 1626 WITH SCORE 1632.605
AT ITER 2973 NEW BEST:: SOT 15398 SOS 6598 HAS SOPS 6528 HAS SOUS 1624 HAS SOUPS 1621 WITH SCORE 1627.598
AT ITER 2989 NEW BEST:: SOT 15387 SOS 6587 HAS SOPS 6517 HAS SOUS 1624 HAS SOUPS 1621 WITH SCORE 1627.587
AT ITER 3033 NEW BEST:: SOT 15386 SOS 6586 HAS SOPS 6516 HAS SOUS 1623 HAS SOUPS 1620 WITH SCORE 1626.586
AT ITER 3040 NEW BEST:: SOT 15383 SOS 6583 HAS SOPS 6513 HAS SOUS 1617 HAS SOUPS 1614 WITH SCORE 1620.583
AT ITER 3062 NEW BEST:: SOT 15394 SOS 6590 HAS SOPS 6520 HAS SOUS 1614 HAS SOUPS 1611 WITH SCORE 1617.59
AT ITER 3081 NEW BEST:: SOT 15390 SOS 6579 HAS SOPS 6509 HAS SOUS 1607 HAS SOUPS 1604 WITH SCORE 1610.579
AT ITER 3097 NEW BEST:: SOT 15384 SOS 6563 HAS SOPS 6493 HAS SOUS 1593 HAS SOUPS 1590 WITH SCORE 1596.563
AT ITER 3103 NEW BEST:: SOT 15390 SOS 6561 HAS SOPS 6491 HAS SOUS 1593 HAS SOUPS 1590 WITH SCORE 1596.561
AT ITER 3108 NEW BEST:: SOT 15387 SOS 6558 HAS SOPS 6488 HAS SOUS 1588 HAS SOUPS 1585 WITH SCORE 1591.558
AT ITER 3129 NEW BEST:: SOT 15353 SOS 6526 HAS SOPS 6456 HAS SOUS 1554 HAS SOUPS 1551 WITH SCORE 1557.526
AT ITER 3191 NEW BEST:: SOT 15364 SOS 6537 HAS SOPS 6467 HAS SOUS 1549 HAS SOUPS 1546 WITH SCORE 1552.537
AT ITER 3230 NEW BEST:: SOT 15360 SOS 6533 HAS SOPS 6463 HAS SOUS 1549 HAS SOUPS 1546 WITH SCORE 1552.533
AT ITER 3254 NEW BEST:: SOT 15358 SOS 6523 HAS SOPS 6453 HAS SOUS 1542 HAS SOUPS 1539 WITH SCORE 1545.523
AT ITER 3263 NEW BEST:: SOT 15342 SOS 6509 HAS SOPS 6439 HAS SOUS 1534 HAS SOUPS 1531 WITH SCORE 1537.509
AT ITER 3310 NEW BEST:: SOT 15340 SOS 6507 HAS SOPS 6437 HAS SOUS 1532 HAS SOUPS 1529 WITH SCORE 1535.507
AT ITER 3318 NEW BEST:: SOT 15340 SOS 6507 HAS SOPS 6437 HAS SOUS 1530 HAS SOUPS 1527 WITH SCORE 1533.507
AT ITER 3421 NEW BEST:: SOT 15347 SOS 6512 HAS SOPS 6442 HAS SOUS 1528 HAS SOUPS 1525 WITH SCORE 1531.512
AT ITER 3426 NEW BEST:: SOT 15343 SOS 6511 HAS SOPS 6441 HAS SOUS 1524 HAS SOUPS 1521 WITH SCORE 1527.511
AT ITER 3453 NEW BEST:: SOT 15341 SOS 6507 HAS SOPS 6437 HAS SOUS 1520 HAS SOUPS 1517 WITH SCORE 1523.507
AT ITER 3511 NEW BEST:: SOT 15340 SOS 6506 HAS SOPS 6436 HAS SOUS 1518 HAS SOUPS 1515 WITH SCORE 1521.506
AT ITER 3561 NEW BEST:: SOT 15332 SOS 6498 HAS SOPS 6428 HAS SOUS 1502 HAS SOUPS 1499 WITH SCORE 1505.498
AT ITER 3564 NEW BEST:: SOT 15314 SOS 6480 HAS SOPS 6410 HAS SOUS 1487 HAS SOUPS 1484 WITH SCORE 1490.48
AT ITER 3566 NEW BEST:: SOT 15310 SOS 6476 HAS SOPS 6406 HAS SOUS 1479 HAS SOUPS 1476 WITH SCORE 1482.476
AT ITER 3616 NEW BEST:: SOT 15311 SOS 6475 HAS SOPS 6405 HAS SOUS 1479 HAS SOUPS 1476 WITH SCORE 1482.475
AT ITER 3618 NEW BEST:: SOT 15305 SOS 6457 HAS SOPS 6387 HAS SOUS 1461 HAS SOUPS 1458 WITH SCORE 1464.457
AT ITER 3654 NEW BEST:: SOT 15294 SOS 6448 HAS SOPS 6378 HAS SOUS 1448 HAS SOUPS 1445 WITH SCORE 1451.448
AT ITER 3729 NEW BEST:: SOT 15289 SOS 6437 HAS SOPS 6367 HAS SOUS 1444 HAS SOUPS 1441 WITH SCORE 1447.437
AT ITER 3858 NEW BEST:: SOT 15287 SOS 6442 HAS SOPS 6372 HAS SOUS 1443 HAS SOUPS 1440 WITH SCORE 1446.442
AT ITER 3878 NEW BEST:: SOT 15276 SOS 6431 HAS SOPS 6361 HAS SOUS 1421 HAS SOUPS 1418 WITH SCORE 1424.431
AT ITER 3889 NEW BEST:: SOT 15274 SOS 6424 HAS SOPS 6422 HAS SOUS 1419 HAS SOUPS 1418 WITH SCORE 1424.424
AT ITER 3972 NEW BEST:: SOT 15271 SOS 6420 HAS SOPS 6418 HAS SOUS 1415 HAS SOUPS 1414 WITH SCORE 1420.42
AT ITER 4069 NEW BEST:: SOT 15273 SOS 6420 HAS SOPS 6418 HAS SOUS 1412 HAS SOUPS 1411 WITH SCORE 1417.42
AT ITER 4128 NEW BEST:: SOT 15269 SOS 6414 HAS SOPS 6412 HAS SOUS 1406 HAS SOUPS 1405 WITH SCORE 1411.414
AT ITER 4179 NEW BEST:: SOT 15256 SOS 6408 HAS SOPS 6406 HAS SOUS 1394 HAS SOUPS 1393 WITH SCORE 1399.408
AT ITER 4235 NEW BEST:: SOT 15258 SOS 6406 HAS SOPS 6404 HAS SOUS 1393 HAS SOUPS 1392 WITH SCORE 1398.406
AT ITER 4287 NEW BEST:: SOT 15256 SOS 6404 HAS SOPS 6402 HAS SOUS 1389 HAS SOUPS 1388 WITH SCORE 1394.404
AT ITER 4325 NEW BEST:: SOT 15256 SOS 6399 HAS SOPS 6397 HAS SOUS 1384 HAS SOUPS 1383 WITH SCORE 1389.399
AT ITER 4327 NEW BEST:: SOT 15261 SOS 6405 HAS SOPS 6403 HAS SOUS 1372 HAS SOUPS 1371 WITH SCORE 1377.405
AT ITER 4446 NEW BEST:: SOT 15261 SOS 6404 HAS SOPS 6402 HAS SOUS 1371 HAS SOUPS 1370 WITH SCORE 1376.404
AT ITER 4572 NEW BEST:: SOT 15258 SOS 6404 HAS SOPS 6402 HAS SOUS 1367 HAS SOUPS 1366 WITH SCORE 1372.404
AT ITER 4605 NEW BEST:: SOT 15256 SOS 6400 HAS SOPS 6398 HAS SOUS 1365 HAS SOUPS 1364 WITH SCORE 1370.4
AT ITER 4654 NEW BEST:: SOT 15251 SOS 6395 HAS SOPS 6393 HAS SOUS 1363 HAS SOUPS 1362 WITH SCORE 1368.395
AT ITER 4731 NEW BEST:: SOT 15276 SOS 6384 HAS SOPS 6382 HAS SOUS 1363 HAS SOUPS 1362 WITH SCORE 1368.384
AT ITER 4785 NEW BEST:: SOT 15260 SOS 6368 HAS SOPS 6366 HAS SOUS 1347 HAS SOUPS 1346 WITH SCORE 1352.368
AT ITER 4788 NEW BEST:: SOT 15260 SOS 6368 HAS SOPS 6366 HAS SOUS 1343 HAS SOUPS 1342 WITH SCORE 1348.368
AT ITER 4840 NEW BEST:: SOT 15258 SOS 6366 HAS SOPS 6364 HAS SOUS 1339 HAS SOUPS 1338 WITH SCORE 1344.366
AT ITER 4864 NEW BEST:: SOT 15251 SOS 6366 HAS SOPS 6364 HAS SOUS 1337 HAS SOUPS 1336 WITH SCORE 1342.366
AT ITER 4867 NEW BEST:: SOT 15247 SOS 6362 HAS SOPS 6360 HAS SOUS 1333 HAS SOUPS 1332 WITH SCORE 1338.362
AT ITER 4967 NEW BEST:: SOT 15243 SOS 6356 HAS SOPS 6354 HAS SOUS 1328 HAS SOUPS 1327 WITH SCORE 1333.356
AT ITER 5028 NEW BEST:: SOT 15242 SOS 6355 HAS SOPS 6353 HAS SOUS 1327 HAS SOUPS 1326 WITH SCORE 1332.355
AT ITER 5039 NEW BEST:: SOT 15237 SOS 6351 HAS SOPS 6349 HAS SOUS 1321 HAS SOUPS 1320 WITH SCORE 1326.351
AT ITER 5105 NEW BEST:: SOT 15234 SOS 6349 HAS SOPS 6347 HAS SOUS 1321 HAS SOUPS 1320 WITH SCORE 1326.349
AT ITER 5162 NEW BEST:: SOT 15231 SOS 6341 HAS SOPS 6339 HAS SOUS 1317 HAS SOUPS 1316 WITH SCORE 1322.341
AT ITER 5165 NEW BEST:: SOT 15230 SOS 6340 HAS SOPS 6338 HAS SOUS 1317 HAS SOUPS 1316 WITH SCORE 1322.34
AT ITER 5213 NEW BEST:: SOT 15230 SOS 6340 HAS SOPS 6338 HAS SOUS 1316 HAS SOUPS 1315 WITH SCORE 1321.34
AT ITER 5215 NEW BEST:: SOT 15228 SOS 6338 HAS SOPS 6336 HAS SOUS 1315 HAS SOUPS 1314 WITH SCORE 1320.338
AT ITER 5289 NEW BEST:: SOT 15219 SOS 6334 HAS SOPS 6332 HAS SOUS 1311 HAS SOUPS 1310 WITH SCORE 1316.334
AT ITER 5304 NEW BEST:: SOT 15218 SOS 6333 HAS SOPS 6331 HAS SOUS 1311 HAS SOUPS 1310 WITH SCORE 1316.333
AT ITER 5356 NEW BEST:: SOT 15218 SOS 6329 HAS SOPS 6327 HAS SOUS 1307 HAS SOUPS 1306 WITH SCORE 1312.329
AT ITER 5381 NEW BEST:: SOT 15216 SOS 6328 HAS SOPS 6326 HAS SOUS 1307 HAS SOUPS 1306 WITH SCORE 1312.328
AT ITER 5407 NEW BEST:: SOT 15214 SOS 6326 HAS SOPS 6324 HAS SOUS 1305 HAS SOUPS 1304 WITH SCORE 1310.326
AT ITER 5424 NEW BEST:: SOT 15213 SOS 6325 HAS SOPS 6323 HAS SOUS 1305 HAS SOUPS 1304 WITH SCORE 1310.325
AT ITER 5438 NEW BEST:: SOT 15208 SOS 6321 HAS SOPS 6319 HAS SOUS 1303 HAS SOUPS 1302 WITH SCORE 1308.321
AT ITER 5505 NEW BEST:: SOT 15204 SOS 6322 HAS SOPS 6286 HAS SOUS 1302 HAS SOUPS 1300 WITH SCORE 1306.322
AT ITER 5520 NEW BEST:: SOT 15196 SOS 6314 HAS SOPS 6278 HAS SOUS 1298 HAS SOUPS 1296 WITH SCORE 1302.314
AT ITER 5548 NEW BEST:: SOT 15197 SOS 6313 HAS SOPS 6277 HAS SOUS 1297 HAS SOUPS 1295 WITH SCORE 1301.313
AT ITER 5592 NEW BEST:: SOT 15196 SOS 6312 HAS SOPS 6276 HAS SOUS 1295 HAS SOUPS 1293 WITH SCORE 1299.312
AT ITER 5740 NEW BEST:: SOT 15192 SOS 6310 HAS SOPS 6274 HAS SOUS 1291 HAS SOUPS 1289 WITH SCORE 1295.31
AT ITER 5753 NEW BEST:: SOT 15191 SOS 6303 HAS SOPS 6267 HAS SOUS 1289 HAS SOUPS 1287 WITH SCORE 1293.303
AT ITER 5868 NEW BEST:: SOT 15191 SOS 6299 HAS SOPS 6263 HAS SOUS 1287 HAS SOUPS 1285 WITH SCORE 1291.299
AT ITER 5979 NEW BEST:: SOT 15182 SOS 6290 HAS SOPS 6254 HAS SOUS 1278 HAS SOUPS 1276 WITH SCORE 1282.29
AT ITER 5983 NEW BEST:: SOT 15182 SOS 6286 HAS SOPS 6250 HAS SOUS 1272 HAS SOUPS 1270 WITH SCORE 1276.286
AT ITER 6292 NEW BEST:: SOT 15181 SOS 6287 HAS SOPS 6251 HAS SOUS 1271 HAS SOUPS 1269 WITH SCORE 1275.287
AT ITER 6607 NEW BEST:: SOT 15178 SOS 6286 HAS SOPS 6250 HAS SOUS 1268 HAS SOUPS 1266 WITH SCORE 1272.286
AT ITER 6702 NEW BEST:: SOT 15180 SOS 6284 HAS SOPS 6248 HAS SOUS 1267 HAS SOUPS 1265 WITH SCORE 1271.284
AT ITER 6703 NEW BEST:: SOT 15182 SOS 6280 HAS SOPS 6244 HAS SOUS 1265 HAS SOUPS 1263 WITH SCORE 1269.28
AT ITER 6805 NEW BEST:: SOT 15180 SOS 6277 HAS SOPS 6241 HAS SOUS 1261 HAS SOUPS 1259 WITH SCORE 1265.277
AT ITER 6816 NEW BEST:: SOT 15177 SOS 6280 HAS SOPS 6244 HAS SOUS 1258 HAS SOUPS 1256 WITH SCORE 1262.28
AT ITER 6934 NEW BEST:: SOT 15177 SOS 6278 HAS SOPS 6242 HAS SOUS 1257 HAS SOUPS 1255 WITH SCORE 1261.278
AT ITER 6946 NEW BEST:: SOT 15174 SOS 6273 HAS SOPS 6237 HAS SOUS 1253 HAS SOUPS 1251 WITH SCORE 1257.273
AT ITER 6975 NEW BEST:: SOT 15174 SOS 6272 HAS SOPS 6236 HAS SOUS 1253 HAS SOUPS 1251 WITH SCORE 1257.272
AT ITER 7068 NEW BEST:: SOT 15174 SOS 6269 HAS SOPS 6233 HAS SOUS 1250 HAS SOUPS 1248 WITH SCORE 1254.269
AT ITER 7135 NEW BEST:: SOT 15172 SOS 6267 HAS SOPS 6231 HAS SOUS 1248 HAS SOUPS 1246 WITH SCORE 1252.267
AT ITER 7333 NEW BEST:: SOT 15166 SOS 6264 HAS SOPS 6228 HAS SOUS 1243 HAS SOUPS 1241 WITH SCORE 1247.264
AT ITER 7561 NEW BEST:: SOT 15161 SOS 6257 HAS SOPS 6221 HAS SOUS 1237 HAS SOUPS 1235 WITH SCORE 1241.257
AT ITER 7626 NEW BEST:: SOT 15157 SOS 6253 HAS SOPS 6217 HAS SOUS 1232 HAS SOUPS 1230 WITH SCORE 1236.253
AT ITER 7705 NEW BEST:: SOT 15154 SOS 6250 HAS SOPS 6214 HAS SOUS 1226 HAS SOUPS 1224 WITH SCORE 1230.25
AT ITER 7712 NEW BEST:: SOT 15148 SOS 6246 HAS SOPS 6210 HAS SOUS 1219 HAS SOUPS 1217 WITH SCORE 1223.246
AT ITER 7847 NEW BEST:: SOT 15146 SOS 6238 HAS SOPS 6202 HAS SOUS 1212 HAS SOUPS 1210 WITH SCORE 1216.238
AT ITER 7958 NEW BEST:: SOT 15143 SOS 6235 HAS SOPS 6199 HAS SOUS 1206 HAS SOUPS 1204 WITH SCORE 1210.235
AT ITER 8222 NEW BEST:: SOT 15139 SOS 6235 HAS SOPS 6199 HAS SOUS 1204 HAS SOUPS 1202 WITH SCORE 1208.235
AT ITER 8250 NEW BEST:: SOT 15137 SOS 6233 HAS SOPS 6197 HAS SOUS 1204 HAS SOUPS 1202 WITH SCORE 1208.233
AT ITER 8292 NEW BEST:: SOT 15134 SOS 6230 HAS SOPS 6194 HAS SOUS 1198 HAS SOUPS 1196 WITH SCORE 1202.23
AT ITER 8330 NEW BEST:: SOT 15138 SOS 6227 HAS SOPS 6191 HAS SOUS 1198 HAS SOUPS 1196 WITH SCORE 1202.227
AT ITER 8332 NEW BEST:: SOT 15138 SOS 6225 HAS SOPS 6189 HAS SOUS 1195 HAS SOUPS 1193 WITH SCORE 1199.225
AT ITER 8345 NEW BEST:: SOT 15135 SOS 6220 HAS SOPS 6184 HAS SOUS 1191 HAS SOUPS 1189 WITH SCORE 1195.22
AT ITER 8381 NEW BEST:: SOT 15129 SOS 6214 HAS SOPS 6178 HAS SOUS 1185 HAS SOUPS 1183 WITH SCORE 1189.214
AT ITER 8629 NEW BEST:: SOT 15130 SOS 6213 HAS SOPS 6177 HAS SOUS 1185 HAS SOUPS 1183 WITH SCORE 1189.213
AT ITER 8862 NEW BEST:: SOT 15128 SOS 6217 HAS SOPS 6181 HAS SOUS 1184 HAS SOUPS 1182 WITH SCORE 1188.217
AT ITER 9019 NEW BEST:: SOT 15129 SOS 6215 HAS SOPS 6179 HAS SOUS 1184 HAS SOUPS 1182 WITH SCORE 1188.215
AT ITER 9094 NEW BEST:: SOT 15126 SOS 6214 HAS SOPS 6178 HAS SOUS 1182 HAS SOUPS 1180 WITH SCORE 1186.214
AT ITER 9117 NEW BEST:: SOT 15127 SOS 6213 HAS SOPS 6177 HAS SOUS 1182 HAS SOUPS 1180 WITH SCORE 1186.213
AT ITER 9257 NEW BEST:: SOT 15129 SOS 6211 HAS SOPS 6175 HAS SOUS 1182 HAS SOUPS 1180 WITH SCORE 1186.211
AT ITER 9382 NEW BEST:: SOT 15128 SOS 6209 HAS SOPS 6173 HAS SOUS 1180 HAS SOUPS 1178 WITH SCORE 1184.209
AT ITER 9961 NEW BEST:: SOT 15126 SOS 6208 HAS SOPS 6172 HAS SOUS 1180 HAS SOUPS 1178 WITH SCORE 1184.208
STATE_SPACE STATES 28333898707947277283933 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 38 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 906683257707959903094670 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678459099323

--------------------
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="GPUForwardProgress-PT-36a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is GPUForwardProgress-PT-36a, 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 r195-smll-167840342000136"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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