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.r048-ebro-158902542300536.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 DLCround-PT-08a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542300536
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 632K
-rw-r--r-- 1 mcc users 2.6K Mar 30 19:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 30 19:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 29 09:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 29 09:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 28 05:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 05:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 23:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 26 23:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 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 479K 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 1589128362377

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

Filename model.pnml
Petri model created: 263 places, 1907 transitions, 7354 arcs.
AT ITER 0 NEW BEST:: SOT 320727 SOS 265771 HAS SOPS 160044 HAS SOUS 35066 HAS SOUPS 23630 WITH SCORE 23895.771
AT ITER 2 NEW BEST:: SOT 320693 SOS 265312 HAS SOPS 159789 HAS SOUS 35015 HAS SOUPS 23596 WITH SCORE 23861.312
AT ITER 7 NEW BEST:: SOT 320913 SOS 260609 HAS SOPS 156106 HAS SOUS 34932 HAS SOUPS 23598 WITH SCORE 23858.609
AT ITER 8 NEW BEST:: SOT 320815 SOS 261515 HAS SOPS 156310 HAS SOUS 34871 HAS SOUPS 23511 WITH SCORE 23772.515
AT ITER 26 NEW BEST:: SOT 320983 SOS 261836 HAS SOPS 156631 HAS SOUS 34026 HAS SOUPS 22666 WITH SCORE 22927.836
AT ITER 45 NEW BEST:: SOT 320216 SOS 259787 HAS SOPS 155941 HAS SOUS 33194 HAS SOUPS 21985 WITH SCORE 22244.787
AT ITER 50 NEW BEST:: SOT 320170 SOS 257500 HAS SOPS 153654 HAS SOUS 33179 HAS SOUPS 21970 WITH SCORE 22227.5
AT ITER 55 NEW BEST:: SOT 320104 SOS 258461 HAS SOPS 153940 HAS SOUS 33110 HAS SOUPS 21876 WITH SCORE 22134.461
AT ITER 58 NEW BEST:: SOT 319682 SOS 258170 HAS SOPS 153649 HAS SOUS 32819 HAS SOUPS 21585 WITH SCORE 21843.17
AT ITER 64 NEW BEST:: SOT 319813 SOS 258406 HAS SOPS 153255 HAS SOUS 32251 HAS SOUPS 20793 WITH SCORE 21051.406
AT ITER 67 NEW BEST:: SOT 320445 SOS 257706 HAS SOPS 152952 HAS SOUS 33609 HAS SOUPS 20787 WITH SCORE 21044.706
AT ITER 74 NEW BEST:: SOT 320555 SOS 256958 HAS SOPS 153044 HAS SOUS 33500 HAS SOUPS 20748 WITH SCORE 21004.958
AT ITER 79 NEW BEST:: SOT 320537 SOS 255888 HAS SOPS 152670 HAS SOUS 33441 HAS SOUPS 20747 WITH SCORE 21002.888
AT ITER 90 NEW BEST:: SOT 320438 SOS 256017 HAS SOPS 152799 HAS SOUS 33374 HAS SOUPS 20680 WITH SCORE 20936.017
AT ITER 99 NEW BEST:: SOT 320399 SOS 253075 HAS SOPS 149857 HAS SOUS 33372 HAS SOUPS 20678 WITH SCORE 20931.075
AT ITER 103 NEW BEST:: SOT 320325 SOS 253001 HAS SOPS 149783 HAS SOUS 32834 HAS SOUPS 20140 WITH SCORE 20393.001
AT ITER 104 NEW BEST:: SOT 320304 SOS 252728 HAS SOPS 149762 HAS SOUS 32792 HAS SOUPS 20119 WITH SCORE 20371.728
AT ITER 109 NEW BEST:: SOT 320207 SOS 252735 HAS SOPS 149509 HAS SOUS 32564 HAS SOUPS 19695 WITH SCORE 19947.735
AT ITER 116 NEW BEST:: SOT 320165 SOS 252693 HAS SOPS 149293 HAS SOUS 32277 HAS SOUPS 19292 WITH SCORE 19544.693
AT ITER 118 NEW BEST:: SOT 320239 SOS 252848 HAS SOPS 148962 HAS SOUS 31555 HAS SOUPS 18522 WITH SCORE 18774.848
AT ITER 123 NEW BEST:: SOT 320219 SOS 252608 HAS SOPS 148902 HAS SOUS 31475 HAS SOUPS 18462 WITH SCORE 18714.608
AT ITER 136 NEW BEST:: SOT 320240 SOS 252818 HAS SOPS 149112 HAS SOUS 31455 HAS SOUPS 18442 WITH SCORE 18694.818
AT ITER 143 NEW BEST:: SOT 321576 SOS 252099 HAS SOPS 149189 HAS SOUS 32075 HAS SOUPS 18353 WITH SCORE 18605.099
AT ITER 148 NEW BEST:: SOT 321542 SOS 251640 HAS SOPS 148934 HAS SOUS 32024 HAS SOUPS 18319 WITH SCORE 18570.64
AT ITER 152 NEW BEST:: SOT 321163 SOS 250542 HAS SOPS 148727 HAS SOUS 31724 HAS SOUPS 18118 WITH SCORE 18368.542
AT ITER 153 NEW BEST:: SOT 321163 SOS 250542 HAS SOPS 148727 HAS SOUS 31715 HAS SOUPS 18113 WITH SCORE 18363.542
AT ITER 156 NEW BEST:: SOT 321028 SOS 248318 HAS SOPS 147847 HAS SOUS 31467 HAS SOUPS 17977 WITH SCORE 18225.318
AT ITER 157 NEW BEST:: SOT 321026 SOS 248302 HAS SOPS 147843 HAS SOUS 31463 HAS SOUPS 17974 WITH SCORE 18222.302
AT ITER 164 NEW BEST:: SOT 321026 SOS 248302 HAS SOPS 147822 HAS SOUS 31444 HAS SOUPS 17955 WITH SCORE 18203.302
AT ITER 172 NEW BEST:: SOT 320937 SOS 246612 HAS SOPS 146888 HAS SOUS 31350 HAS SOUPS 17924 WITH SCORE 18170.612
AT ITER 175 NEW BEST:: SOT 320129 SOS 245885 HAS SOPS 146320 HAS SOUS 31334 HAS SOUPS 17834 WITH SCORE 18079.885
AT ITER 176 NEW BEST:: SOT 320122 SOS 245878 HAS SOPS 146313 HAS SOUS 31327 HAS SOUPS 17827 WITH SCORE 18072.878
AT ITER 199 NEW BEST:: SOT 320072 SOS 245778 HAS SOPS 146263 HAS SOUS 31227 HAS SOUPS 17777 WITH SCORE 18022.778
AT ITER 206 NEW BEST:: SOT 320058 SOS 245606 HAS SOPS 146091 HAS SOUS 31215 HAS SOUPS 17765 WITH SCORE 18010.606
AT ITER 210 NEW BEST:: SOT 320066 SOS 245614 HAS SOPS 146068 HAS SOUS 31205 HAS SOUPS 17759 WITH SCORE 18004.614
AT ITER 211 NEW BEST:: SOT 319964 SOS 244014 HAS SOPS 145934 HAS SOUS 30756 HAS SOUPS 17441 WITH SCORE 17685.014
AT ITER 225 NEW BEST:: SOT 319825 SOS 245940 HAS SOPS 147860 HAS SOUS 30672 HAS SOUPS 17357 WITH SCORE 17602.94
AT ITER 231 NEW BEST:: SOT 319825 SOS 245949 HAS SOPS 147869 HAS SOUS 30643 HAS SOUPS 17328 WITH SCORE 17573.949
AT ITER 239 NEW BEST:: SOT 319797 SOS 245893 HAS SOPS 147869 HAS SOUS 30615 HAS SOUPS 17328 WITH SCORE 17573.893
AT ITER 251 NEW BEST:: SOT 319733 SOS 241035 HAS SOPS 143707 HAS SOUS 30555 HAS SOUPS 17326 WITH SCORE 17567.035
AT ITER 272 NEW BEST:: SOT 319755 SOS 240839 HAS SOPS 143703 HAS SOUS 30519 HAS SOUPS 17306 WITH SCORE 17546.839
AT ITER 274 NEW BEST:: SOT 319833 SOS 239933 HAS SOPS 143769 HAS SOUS 30406 HAS SOUPS 17274 WITH SCORE 17513.933
AT ITER 276 NEW BEST:: SOT 319008 SOS 239108 HAS SOPS 143399 HAS SOUS 30404 HAS SOUPS 17272 WITH SCORE 17511.108
AT ITER 281 NEW BEST:: SOT 318999 SOS 239099 HAS SOPS 143390 HAS SOUS 30395 HAS SOUPS 17263 WITH SCORE 17502.099
AT ITER 283 NEW BEST:: SOT 317190 SOS 235894 HAS SOPS 142393 HAS SOUS 30093 HAS SOUPS 17255 WITH SCORE 17490.894
AT ITER 300 NEW BEST:: SOT 317160 SOS 236212 HAS SOPS 142777 HAS SOUS 30049 HAS SOUPS 17219 WITH SCORE 17455.212
AT ITER 306 NEW BEST:: SOT 317126 SOS 236144 HAS SOPS 142777 HAS SOUS 30015 HAS SOUPS 17219 WITH SCORE 17455.144
AT ITER 310 NEW BEST:: SOT 317484 SOS 236620 HAS SOPS 142958 HAS SOUS 30127 HAS SOUPS 17175 WITH SCORE 17411.62
AT ITER 315 NEW BEST:: SOT 317482 SOS 235888 HAS SOPS 142358 HAS SOUS 30114 HAS SOUPS 17173 WITH SCORE 17408.888
AT ITER 317 NEW BEST:: SOT 317662 SOS 236310 HAS SOPS 142474 HAS SOUS 30112 HAS SOUPS 17153 WITH SCORE 17389.31
AT ITER 332 NEW BEST:: SOT 317655 SOS 236303 HAS SOPS 142467 HAS SOUS 30105 HAS SOUPS 17146 WITH SCORE 17382.303
AT ITER 345 NEW BEST:: SOT 317655 SOS 236349 HAS SOPS 142489 HAS SOUS 30103 HAS SOUPS 17142 WITH SCORE 17378.349
AT ITER 362 NEW BEST:: SOT 317972 SOS 237255 HAS SOPS 143305 HAS SOUS 29113 HAS SOUPS 17097 WITH SCORE 17334.255
AT ITER 367 NEW BEST:: SOT 318080 SOS 237056 HAS SOPS 143147 HAS SOUS 29059 HAS SOUPS 16939 WITH SCORE 17176.056
AT ITER 411 NEW BEST:: SOT 317975 SOS 236542 HAS SOPS 142975 HAS SOUS 29001 HAS SOUPS 16919 WITH SCORE 17155.542
AT ITER 414 NEW BEST:: SOT 317968 SOS 236429 HAS SOPS 142862 HAS SOUS 28994 HAS SOUPS 16912 WITH SCORE 17148.429
AT ITER 426 NEW BEST:: SOT 317881 SOS 236386 HAS SOPS 143127 HAS SOUS 28481 HAS SOUPS 16882 WITH SCORE 17118.386
AT ITER 437 NEW BEST:: SOT 317524 SOS 235197 HAS SOPS 142482 HAS SOUS 28412 HAS SOUPS 16845 WITH SCORE 17080.197
AT ITER 458 NEW BEST:: SOT 317983 SOS 235567 HAS SOPS 142592 HAS SOUS 28309 HAS SOUPS 16812 WITH SCORE 17047.567
AT ITER 459 NEW BEST:: SOT 318235 SOS 235819 HAS SOPS 142844 HAS SOUS 28306 HAS SOUPS 16810 WITH SCORE 17045.819
AT ITER 469 NEW BEST:: SOT 319098 SOS 237735 HAS SOPS 143496 HAS SOUS 28154 HAS SOUPS 16751 WITH SCORE 16988.735
AT ITER 513 NEW BEST:: SOT 319018 SOS 237030 HAS SOPS 143391 HAS SOUS 28085 HAS SOUPS 16732 WITH SCORE 16969.03
AT ITER 526 NEW BEST:: SOT 319614 SOS 238469 HAS SOPS 143765 HAS SOUS 28004 HAS SOUPS 16645 WITH SCORE 16883.469
AT ITER 527 NEW BEST:: SOT 319610 SOS 238369 HAS SOPS 143713 HAS SOUS 27996 HAS SOUPS 16641 WITH SCORE 16879.369
AT ITER 539 NEW BEST:: SOT 319593 SOS 238352 HAS SOPS 143696 HAS SOUS 27979 HAS SOUPS 16624 WITH SCORE 16862.352
AT ITER 561 NEW BEST:: SOT 319581 SOS 238340 HAS SOPS 143684 HAS SOUS 27969 HAS SOUPS 16614 WITH SCORE 16852.34
AT ITER 567 NEW BEST:: SOT 319536 SOS 236270 HAS SOPS 141614 HAS SOUS 27945 HAS SOUPS 16590 WITH SCORE 16826.27
AT ITER 568 NEW BEST:: SOT 319666 SOS 236544 HAS SOPS 141672 HAS SOUS 27900 HAS SOUPS 16541 WITH SCORE 16777.544
AT ITER 570 NEW BEST:: SOT 319660 SOS 236538 HAS SOPS 141666 HAS SOUS 27895 HAS SOUPS 16536 WITH SCORE 16772.538
AT ITER 580 NEW BEST:: SOT 319607 SOS 236396 HAS SOPS 141524 HAS SOUS 27831 HAS SOUPS 16472 WITH SCORE 16708.396
AT ITER 588 NEW BEST:: SOT 319549 SOS 236234 HAS SOPS 141362 HAS SOUS 27710 HAS SOUPS 16351 WITH SCORE 16587.234
AT ITER 604 NEW BEST:: SOT 319590 SOS 236275 HAS SOPS 141378 HAS SOUS 27696 HAS SOUPS 16337 WITH SCORE 16573.275
AT ITER 606 NEW BEST:: SOT 319577 SOS 235747 HAS SOPS 141102 HAS SOUS 27658 HAS SOUPS 16321 WITH SCORE 16556.747
AT ITER 611 NEW BEST:: SOT 319564 SOS 235755 HAS SOPS 141005 HAS SOUS 27592 HAS SOUPS 16251 WITH SCORE 16486.755
AT ITER 614 NEW BEST:: SOT 319604 SOS 235800 HAS SOPS 141025 HAS SOUS 27577 HAS SOUPS 16236 WITH SCORE 16471.8
AT ITER 624 NEW BEST:: SOT 319620 SOS 236296 HAS SOPS 141281 HAS SOUS 27565 HAS SOUPS 16204 WITH SCORE 16440.296
AT ITER 635 NEW BEST:: SOT 319610 SOS 236286 HAS SOPS 141271 HAS SOUS 27560 HAS SOUPS 16199 WITH SCORE 16435.286
AT ITER 652 NEW BEST:: SOT 319011 SOS 235643 HAS SOPS 140892 HAS SOUS 27529 HAS SOUPS 16168 WITH SCORE 16403.643
AT ITER 656 NEW BEST:: SOT 318970 SOS 235186 HAS SOPS 140879 HAS SOUS 27454 HAS SOUPS 16130 WITH SCORE 16365.186
AT ITER 658 NEW BEST:: SOT 318982 SOS 236315 HAS SOPS 142008 HAS SOUS 27449 HAS SOUPS 16125 WITH SCORE 16361.315
AT ITER 666 NEW BEST:: SOT 319017 SOS 236350 HAS SOPS 142008 HAS SOUS 27440 HAS SOUPS 16120 WITH SCORE 16356.35
AT ITER 704 NEW BEST:: SOT 318884 SOS 236204 HAS SOPS 141888 HAS SOUS 27413 HAS SOUPS 16106 WITH SCORE 16342.204
AT ITER 705 NEW BEST:: SOT 318868 SOS 236052 HAS SOPS 141911 HAS SOUS 27358 HAS SOUPS 16070 WITH SCORE 16306.052
AT ITER 716 NEW BEST:: SOT 318862 SOS 236046 HAS SOPS 141905 HAS SOUS 27352 HAS SOUPS 16064 WITH SCORE 16300.046
AT ITER 731 NEW BEST:: SOT 318860 SOS 236198 HAS SOPS 142057 HAS SOUS 27335 HAS SOUPS 16047 WITH SCORE 16283.198
AT ITER 756 NEW BEST:: SOT 318826 SOS 235454 HAS SOPS 141937 HAS SOUS 27225 HAS SOUPS 15989 WITH SCORE 16224.454
AT ITER 760 NEW BEST:: SOT 318824 SOS 235450 HAS SOPS 141933 HAS SOUS 27225 HAS SOUPS 15989 WITH SCORE 16224.45
AT ITER 761 NEW BEST:: SOT 319122 SOS 235728 HAS SOPS 142200 HAS SOUS 27166 HAS SOUPS 15950 WITH SCORE 16185.728
AT ITER 769 NEW BEST:: SOT 319110 SOS 235710 HAS SOPS 142188 HAS SOUS 27148 HAS SOUPS 15938 WITH SCORE 16173.71
AT ITER 785 NEW BEST:: SOT 319836 SOS 237030 HAS SOPS 142584 HAS SOUS 27082 HAS SOUPS 15806 WITH SCORE 16043.03
AT ITER 792 NEW BEST:: SOT 319830 SOS 237130 HAS SOPS 142649 HAS SOUS 27070 HAS SOUPS 15794 WITH SCORE 16031.13
AT ITER 804 NEW BEST:: SOT 319790 SOS 238770 HAS SOPS 143289 HAS SOUS 27082 HAS SOUPS 15766 WITH SCORE 16004.77
AT ITER 809 NEW BEST:: SOT 319779 SOS 236168 HAS SOPS 140687 HAS SOUS 27080 HAS SOUPS 15764 WITH SCORE 16000.168
AT ITER 833 NEW BEST:: SOT 319705 SOS 235132 HAS SOPS 140539 HAS SOUS 27006 HAS SOUPS 15764 WITH SCORE 15999.132
AT ITER 846 NEW BEST:: SOT 319691 SOS 234952 HAS SOPS 140520 HAS SOUS 26970 HAS SOUPS 15751 WITH SCORE 15985.952
AT ITER 867 NEW BEST:: SOT 319696 SOS 234757 HAS SOPS 140325 HAS SOUS 26970 HAS SOUPS 15751 WITH SCORE 15985.757
AT ITER 871 NEW BEST:: SOT 319695 SOS 234756 HAS SOPS 140325 HAS SOUS 26970 HAS SOUPS 15751 WITH SCORE 15985.756
AT ITER 872 NEW BEST:: SOT 319685 SOS 234732 HAS SOPS 140313 HAS SOUS 26964 HAS SOUPS 15747 WITH SCORE 15981.732
AT ITER 880 NEW BEST:: SOT 319737 SOS 234784 HAS SOPS 140150 HAS SOUS 26772 HAS SOUPS 15555 WITH SCORE 15789.784
AT ITER 904 NEW BEST:: SOT 319763 SOS 234580 HAS SOPS 140051 HAS SOUS 26768 HAS SOUPS 15551 WITH SCORE 15785.58
AT ITER 913 NEW BEST:: SOT 320094 SOS 234912 HAS SOPS 140119 HAS SOUS 26726 HAS SOUPS 15509 WITH SCORE 15743.912
AT ITER 919 NEW BEST:: SOT 320068 SOS 234601 HAS SOPS 140156 HAS SOUS 26685 HAS SOUPS 15497 WITH SCORE 15731.601
AT ITER 931 NEW BEST:: SOT 321288 SOS 236797 HAS SOPS 140888 HAS SOUS 26493 HAS SOUPS 15291 WITH SCORE 15527.797
AT ITER 933 NEW BEST:: SOT 321288 SOS 236797 HAS SOPS 140888 HAS SOUS 26484 HAS SOUPS 15286 WITH SCORE 15522.797
AT ITER 944 NEW BEST:: SOT 321307 SOS 236797 HAS SOPS 140888 HAS SOUS 26427 HAS SOUPS 15229 WITH SCORE 15465.797
AT ITER 954 NEW BEST:: SOT 321307 SOS 236797 HAS SOPS 140882 HAS SOUS 26421 HAS SOUPS 15223 WITH SCORE 15459.797
AT ITER 956 NEW BEST:: SOT 319978 SOS 235553 HAS SOPS 140478 HAS SOUS 26456 HAS SOUPS 15223 WITH SCORE 15458.553
AT ITER 976 NEW BEST:: SOT 320032 SOS 234793 HAS SOPS 140246 HAS SOUS 26411 HAS SOUPS 15222 WITH SCORE 15456.793
AT ITER 983 NEW BEST:: SOT 320032 SOS 234854 HAS SOPS 140175 HAS SOUS 26409 HAS SOUPS 15209 WITH SCORE 15443.854
AT ITER 994 NEW BEST:: SOT 319960 SOS 234704 HAS SOPS 140133 HAS SOUS 26397 HAS SOUPS 15203 WITH SCORE 15437.704
AT ITER 995 NEW BEST:: SOT 319955 SOS 234634 HAS SOPS 140063 HAS SOUS 26392 HAS SOUPS 15198 WITH SCORE 15432.634
AT ITER 1026 NEW BEST:: SOT 320025 SOS 234713 HAS SOPS 140097 HAS SOUS 26354 HAS SOUPS 15160 WITH SCORE 15394.713
AT ITER 1058 NEW BEST:: SOT 320097 SOS 234785 HAS SOPS 140115 HAS SOUS 26336 HAS SOUPS 15142 WITH SCORE 15376.785
AT ITER 1095 NEW BEST:: SOT 320057 SOS 235003 HAS SOPS 140057 HAS SOUS 26349 HAS SOUPS 15132 WITH SCORE 15367.003
AT ITER 1108 NEW BEST:: SOT 320053 SOS 235027 HAS SOPS 140075 HAS SOUS 26345 HAS SOUPS 15128 WITH SCORE 15363.027
AT ITER 1117 NEW BEST:: SOT 320186 SOS 235160 HAS SOPS 140113 HAS SOUS 26307 HAS SOUPS 15090 WITH SCORE 15325.16
AT ITER 1168 NEW BEST:: SOT 320137 SOS 234373 HAS SOPS 139962 HAS SOUS 26220 HAS SOUPS 15056 WITH SCORE 15290.373
AT ITER 1176 NEW BEST:: SOT 320136 SOS 234372 HAS SOPS 139961 HAS SOUS 26219 HAS SOUPS 15055 WITH SCORE 15289.372
AT ITER 1184 NEW BEST:: SOT 320124 SOS 234354 HAS SOPS 139949 HAS SOUS 26203 HAS SOUPS 15045 WITH SCORE 15279.354
AT ITER 1187 NEW BEST:: SOT 320121 SOS 234349 HAS SOPS 139944 HAS SOUS 26201 HAS SOUPS 15043 WITH SCORE 15277.349
AT ITER 1188 NEW BEST:: SOT 319785 SOS 234013 HAS SOPS 139608 HAS SOUS 26201 HAS SOUPS 15043 WITH SCORE 15277.013
AT ITER 1231 NEW BEST:: SOT 319746 SOS 233955 HAS SOPS 139550 HAS SOUS 26184 HAS SOUPS 15026 WITH SCORE 15259.955
AT ITER 1236 NEW BEST:: SOT 319746 SOS 233945 HAS SOPS 139420 HAS SOUS 26184 HAS SOUPS 15016 WITH SCORE 15249.945
AT ITER 1240 NEW BEST:: SOT 319653 SOS 233559 HAS SOPS 139314 HAS SOUS 26132 HAS SOUPS 14986 WITH SCORE 15219.559
AT ITER 1259 NEW BEST:: SOT 319705 SOS 229604 HAS SOPS 136043 HAS SOUS 26052 HAS SOUPS 14963 WITH SCORE 15192.604
AT ITER 1261 NEW BEST:: SOT 319658 SOS 229557 HAS SOPS 136043 HAS SOUS 26007 HAS SOUPS 14922 WITH SCORE 15151.557
AT ITER 1320 NEW BEST:: SOT 319613 SOS 229247 HAS SOPS 135550 HAS SOUS 26009 HAS SOUPS 14885 WITH SCORE 15114.247
AT ITER 1322 NEW BEST:: SOT 320057 SOS 229691 HAS SOPS 135994 HAS SOUS 26006 HAS SOUPS 14883 WITH SCORE 15112.691
AT ITER 1325 NEW BEST:: SOT 320057 SOS 229636 HAS SOPS 135999 HAS SOUS 25996 HAS SOUPS 14878 WITH SCORE 15107.636
AT ITER 1344 NEW BEST:: SOT 320073 SOS 229652 HAS SOPS 136003 HAS SOUS 25992 HAS SOUPS 14874 WITH SCORE 15103.652
AT ITER 1349 NEW BEST:: SOT 319363 SOS 227932 HAS SOPS 135331 HAS SOUS 25934 HAS SOUPS 14763 WITH SCORE 14990.932
AT ITER 1365 NEW BEST:: SOT 319368 SOS 227737 HAS SOPS 135136 HAS SOUS 25934 HAS SOUPS 14763 WITH SCORE 14990.737
AT ITER 1428 NEW BEST:: SOT 318805 SOS 220796 HAS SOPS 129186 HAS SOUS 25895 HAS SOUPS 14730 WITH SCORE 14950.796
AT ITER 1440 NEW BEST:: SOT 318805 SOS 220932 HAS SOPS 129234 HAS SOUS 25894 HAS SOUPS 14721 WITH SCORE 14941.932
AT ITER 1442 NEW BEST:: SOT 318917 SOS 221058 HAS SOPS 129290 HAS SOUS 25919 HAS SOUPS 14710 WITH SCORE 14931.058
AT ITER 1471 NEW BEST:: SOT 318635 SOS 220726 HAS SOPS 129132 HAS SOUS 25910 HAS SOUPS 14701 WITH SCORE 14921.726
AT ITER 1474 NEW BEST:: SOT 318625 SOS 220690 HAS SOPS 129192 HAS SOUS 25893 HAS SOUPS 14692 WITH SCORE 14912.69
AT ITER 1479 NEW BEST:: SOT 318593 SOS 221026 HAS SOPS 129376 HAS SOUS 25885 HAS SOUPS 14684 WITH SCORE 14905.026
AT ITER 1509 NEW BEST:: SOT 319419 SOS 221999 HAS SOPS 129893 HAS SOUS 25865 HAS SOUPS 14664 WITH SCORE 14885.999
AT ITER 1520 NEW BEST:: SOT 319441 SOS 222021 HAS SOPS 129889 HAS SOUS 25861 HAS SOUPS 14660 WITH SCORE 14882.021
AT ITER 1569 NEW BEST:: SOT 318255 SOS 219968 HAS SOPS 127899 HAS SOUS 25928 HAS SOUPS 14630 WITH SCORE 14849.968
AT ITER 1694 NEW BEST:: SOT 318290 SOS 220038 HAS SOPS 127899 HAS SOUS 25955 HAS SOUPS 14625 WITH SCORE 14845.038
AT ITER 1698 NEW BEST:: SOT 318289 SOS 220101 HAS SOPS 127950 HAS SOUS 25955 HAS SOUPS 14624 WITH SCORE 14844.101
AT ITER 1703 NEW BEST:: SOT 318321 SOS 220139 HAS SOPS 127970 HAS SOUS 25951 HAS SOUPS 14620 WITH SCORE 14840.139
AT ITER 1705 NEW BEST:: SOT 318306 SOS 220124 HAS SOPS 127955 HAS SOUS 25950 HAS SOUPS 14619 WITH SCORE 14839.124
AT ITER 1706 NEW BEST:: SOT 318296 SOS 219792 HAS SOPS 128055 HAS SOUS 25882 HAS SOUPS 14587 WITH SCORE 14806.792
AT ITER 1717 NEW BEST:: SOT 318134 SOS 219272 HAS SOPS 127773 HAS SOUS 25852 HAS SOUPS 14571 WITH SCORE 14790.272
AT ITER 1730 NEW BEST:: SOT 318129 SOS 219106 HAS SOPS 127703 HAS SOUS 25839 HAS SOUPS 14566 WITH SCORE 14785.106
AT ITER 1744 NEW BEST:: SOT 317923 SOS 217420 HAS SOPS 124695 HAS SOUS 25797 HAS SOUPS 14385 WITH SCORE 14602.42
AT ITER 1745 NEW BEST:: SOT 317923 SOS 216898 HAS SOPS 124223 HAS SOUS 25783 HAS SOUPS 14371 WITH SCORE 14587.898
AT ITER 1771 NEW BEST:: SOT 317378 SOS 216265 HAS SOPS 123870 HAS SOUS 25780 HAS SOUPS 14364 WITH SCORE 14580.265
AT ITER 1781 NEW BEST:: SOT 317378 SOS 216256 HAS SOPS 123870 HAS SOUS 25771 HAS SOUPS 14364 WITH SCORE 14580.256
AT ITER 1837 NEW BEST:: SOT 317378 SOS 216390 HAS SOPS 123828 HAS SOUS 25785 HAS SOUPS 14361 WITH SCORE 14577.39
AT ITER 1855 NEW BEST:: SOT 317372 SOS 216351 HAS SOPS 123825 HAS SOUS 25773 HAS SOUPS 14352 WITH SCORE 14568.351
AT ITER 1892 NEW BEST:: SOT 317311 SOS 216244 HAS SOPS 123745 HAS SOUS 25759 HAS SOUPS 14338 WITH SCORE 14554.244
AT ITER 1919 NEW BEST:: SOT 317296 SOS 216070 HAS SOPS 123571 HAS SOUS 25759 HAS SOUPS 14338 WITH SCORE 14554.07
AT ITER 1920 NEW BEST:: SOT 317286 SOS 216060 HAS SOPS 123561 HAS SOUS 25749 HAS SOUPS 14328 WITH SCORE 14544.06
AT ITER 1947 NEW BEST:: SOT 317290 SOS 216020 HAS SOPS 123497 HAS SOUS 25726 HAS SOUPS 14316 WITH SCORE 14532.02
AT ITER 1955 NEW BEST:: SOT 317290 SOS 216104 HAS SOPS 123497 HAS SOUS 25724 HAS SOUPS 14307 WITH SCORE 14523.104
AT ITER 1970 NEW BEST:: SOT 317287 SOS 216101 HAS SOPS 123491 HAS SOUS 25721 HAS SOUPS 14304 WITH SCORE 14520.101
AT ITER 2014 NEW BEST:: SOT 317292 SOS 215906 HAS SOPS 123296 HAS SOUS 25713 HAS SOUPS 14296 WITH SCORE 14511.906
AT ITER 2023 NEW BEST:: SOT 317291 SOS 215904 HAS SOPS 123294 HAS SOUS 25712 HAS SOUPS 14295 WITH SCORE 14510.904
AT ITER 2045 NEW BEST:: SOT 317287 SOS 215892 HAS SOPS 123334 HAS SOUS 25708 HAS SOUPS 14295 WITH SCORE 14510.892
AT ITER 2055 NEW BEST:: SOT 317207 SOS 215726 HAS SOPS 123302 HAS SOUS 25679 HAS SOUPS 14290 WITH SCORE 14505.726
AT ITER 2056 NEW BEST:: SOT 317185 SOS 215704 HAS SOPS 123302 HAS SOUS 25679 HAS SOUPS 14290 WITH SCORE 14505.704
AT ITER 2065 NEW BEST:: SOT 317178 SOS 215697 HAS SOPS 123302 HAS SOUS 25679 HAS SOUPS 14290 WITH SCORE 14505.697
AT ITER 2102 NEW BEST:: SOT 317097 SOS 215616 HAS SOPS 123275 HAS SOUS 25679 HAS SOUPS 14290 WITH SCORE 14505.616
AT ITER 2135 NEW BEST:: SOT 317085 SOS 215526 HAS SOPS 123257 HAS SOUS 25673 HAS SOUPS 14290 WITH SCORE 14505.526
AT ITER 2148 NEW BEST:: SOT 317492 SOS 216266 HAS SOPS 123479 HAS SOUS 25718 HAS SOUPS 14266 WITH SCORE 14482.266
AT ITER 2149 NEW BEST:: SOT 317482 SOS 216006 HAS SOPS 123219 HAS SOUS 25718 HAS SOUPS 14266 WITH SCORE 14482.006
AT ITER 2183 NEW BEST:: SOT 317470 SOS 215982 HAS SOPS 123195 HAS SOUS 25706 HAS SOUPS 14254 WITH SCORE 14469.982
AT ITER 2228 NEW BEST:: SOT 317499 SOS 216096 HAS SOPS 123221 HAS SOUS 25686 HAS SOUPS 14234 WITH SCORE 14450.096
AT ITER 2282 NEW BEST:: SOT 317445 SOS 216030 HAS SOPS 123185 HAS SOUS 25638 HAS SOUPS 14210 WITH SCORE 14426.03
AT ITER 2301 NEW BEST:: SOT 317531 SOS 216224 HAS SOPS 123175 HAS SOUS 25637 HAS SOUPS 14190 WITH SCORE 14406.224
AT ITER 2305 NEW BEST:: SOT 317526 SOS 216007 HAS SOPS 123219 HAS SOUS 25608 HAS SOUPS 14190 WITH SCORE 14406.007
AT ITER 2322 NEW BEST:: SOT 317514 SOS 215903 HAS SOPS 123185 HAS SOUS 25587 HAS SOUPS 14179 WITH SCORE 14394.903
AT ITER 2356 NEW BEST:: SOT 317451 SOS 215840 HAS SOPS 123167 HAS SOUS 25571 HAS SOUPS 14179 WITH SCORE 14394.84
AT ITER 2357 NEW BEST:: SOT 317526 SOS 215915 HAS SOPS 123192 HAS SOUS 25515 HAS SOUPS 14159 WITH SCORE 14374.915
AT ITER 2371 NEW BEST:: SOT 317522 SOS 215911 HAS SOPS 123192 HAS SOUS 25515 HAS SOUPS 14159 WITH SCORE 14374.911
AT ITER 2430 NEW BEST:: SOT 317514 SOS 215863 HAS SOPS 123192 HAS SOUS 25502 HAS SOUPS 14150 WITH SCORE 14365.863
AT ITER 2432 NEW BEST:: SOT 317502 SOS 215743 HAS SOPS 123176 HAS SOUS 25490 HAS SOUPS 14146 WITH SCORE 14361.743
AT ITER 2435 NEW BEST:: SOT 317502 SOS 215735 HAS SOPS 123176 HAS SOUS 25482 HAS SOUPS 14146 WITH SCORE 14361.735
AT ITER 2439 NEW BEST:: SOT 317532 SOS 215765 HAS SOPS 123172 HAS SOUS 25478 HAS SOUPS 14142 WITH SCORE 14357.765
AT ITER 2447 NEW BEST:: SOT 317526 SOS 215753 HAS SOPS 123166 HAS SOUS 25475 HAS SOUPS 14139 WITH SCORE 14354.753
AT ITER 2450 NEW BEST:: SOT 317519 SOS 215759 HAS SOPS 123208 HAS SOUS 25468 HAS SOUPS 14136 WITH SCORE 14351.759
AT ITER 2478 NEW BEST:: SOT 317542 SOS 215868 HAS SOPS 123334 HAS SOUS 25260 HAS SOUPS 14099 WITH SCORE 14314.868
AT ITER 2483 NEW BEST:: SOT 317542 SOS 215868 HAS SOPS 123334 HAS SOUS 25257 HAS SOUPS 14097 WITH SCORE 14312.868
AT ITER 2484 NEW BEST:: SOT 317325 SOS 215601 HAS SOPS 123192 HAS SOUS 25182 HAS SOUPS 14070 WITH SCORE 14285.601
AT ITER 2489 NEW BEST:: SOT 317300 SOS 215576 HAS SOPS 123167 HAS SOUS 25157 HAS SOUPS 14045 WITH SCORE 14260.576
AT ITER 2500 NEW BEST:: SOT 317286 SOS 215562 HAS SOPS 123167 HAS SOUS 25157 HAS SOUPS 14045 WITH SCORE 14260.562
AT ITER 2504 NEW BEST:: SOT 317286 SOS 215492 HAS SOPS 123087 HAS SOUS 25131 HAS SOUPS 14019 WITH SCORE 14234.492
AT ITER 2506 NEW BEST:: SOT 317153 SOS 215359 HAS SOPS 122973 HAS SOUS 25150 HAS SOUPS 14019 WITH SCORE 14234.359
AT ITER 2547 NEW BEST:: SOT 317157 SOS 215371 HAS SOPS 122969 HAS SOUS 25154 HAS SOUPS 14015 WITH SCORE 14230.371
AT ITER 2642 NEW BEST:: SOT 317110 SOS 215333 HAS SOPS 122969 HAS SOUS 25163 HAS SOUPS 14015 WITH SCORE 14230.333
AT ITER 2644 NEW BEST:: SOT 317189 SOS 215470 HAS SOPS 122961 HAS SOUS 25126 HAS SOUPS 13978 WITH SCORE 14193.47
AT ITER 2653 NEW BEST:: SOT 316723 SOS 214642 HAS SOPS 122666 HAS SOUS 25093 HAS SOUPS 13978 WITH SCORE 14192.642
AT ITER 2713 NEW BEST:: SOT 316723 SOS 214642 HAS SOPS 122666 HAS SOUS 25057 HAS SOUPS 13958 WITH SCORE 14172.642
AT ITER 2721 NEW BEST:: SOT 316699 SOS 214134 HAS SOPS 122328 HAS SOUS 25015 HAS SOUPS 13942 WITH SCORE 14156.134
AT ITER 2736 NEW BEST:: SOT 316680 SOS 214115 HAS SOPS 122309 HAS SOUS 24996 HAS SOUPS 13923 WITH SCORE 14137.115
AT ITER 2774 NEW BEST:: SOT 316680 SOS 214087 HAS SOPS 122367 HAS SOUS 24982 HAS SOUPS 13917 WITH SCORE 14131.087
AT ITER 2791 NEW BEST:: SOT 316644 SOS 214051 HAS SOPS 122331 HAS SOUS 24982 HAS SOUPS 13917 WITH SCORE 14131.051
AT ITER 2892 NEW BEST:: SOT 316643 SOS 214040 HAS SOPS 122329 HAS SOUS 24978 HAS SOUPS 13914 WITH SCORE 14128.04
AT ITER 2907 NEW BEST:: SOT 316662 SOS 213923 HAS SOPS 122272 HAS SOUS 24971 HAS SOUPS 13912 WITH SCORE 14125.923
AT ITER 2915 NEW BEST:: SOT 316650 SOS 213910 HAS SOPS 122265 HAS SOUS 24970 HAS SOUPS 13911 WITH SCORE 14124.91
AT ITER 2946 NEW BEST:: SOT 316601 SOS 213647 HAS SOPS 122182 HAS SOUS 24891 HAS SOUPS 13847 WITH SCORE 14060.647
AT ITER 2957 NEW BEST:: SOT 316608 SOS 213853 HAS SOPS 122280 HAS SOUS 24898 HAS SOUPS 13845 WITH SCORE 14058.853
AT ITER 3062 NEW BEST:: SOT 316613 SOS 213870 HAS SOPS 122381 HAS SOUS 24889 HAS SOUPS 13843 WITH SCORE 14056.87
AT ITER 3074 NEW BEST:: SOT 316397 SOS 213654 HAS SOPS 122165 HAS SOUS 24889 HAS SOUPS 13843 WITH SCORE 14056.654
AT ITER 3151 NEW BEST:: SOT 316414 SOS 213685 HAS SOPS 122196 HAS SOUS 24888 HAS SOUPS 13842 WITH SCORE 14055.685
AT ITER 3164 NEW BEST:: SOT 316058 SOS 210945 HAS SOPS 119817 HAS SOUS 24748 HAS SOUPS 13729 WITH SCORE 13939.945
AT ITER 3182 NEW BEST:: SOT 316012 SOS 210807 HAS SOPS 119759 HAS SOUS 24747 HAS SOUPS 13728 WITH SCORE 13938.807
AT ITER 3204 NEW BEST:: SOT 316005 SOS 210793 HAS SOPS 119759 HAS SOUS 24740 HAS SOUPS 13728 WITH SCORE 13938.793
AT ITER 3268 NEW BEST:: SOT 315946 SOS 210545 HAS SOPS 119693 HAS SOUS 24708 HAS SOUPS 13720 WITH SCORE 13930.545
AT ITER 3292 NEW BEST:: SOT 315817 SOS 210408 HAS SOPS 119622 HAS SOUS 24703 HAS SOUPS 13715 WITH SCORE 13925.408
AT ITER 3312 NEW BEST:: SOT 315827 SOS 210018 HAS SOPS 119232 HAS SOUS 24703 HAS SOUPS 13715 WITH SCORE 13925.018
AT ITER 3332 NEW BEST:: SOT 315800 SOS 210144 HAS SOPS 119232 HAS SOUS 24652 HAS SOUPS 13691 WITH SCORE 13901.144
AT ITER 3339 NEW BEST:: SOT 315794 SOS 209782 HAS SOPS 119128 HAS SOUS 24632 HAS SOUPS 13671 WITH SCORE 13880.782
AT ITER 3345 NEW BEST:: SOT 315788 SOS 209760 HAS SOPS 119169 HAS SOUS 24624 HAS SOUPS 13668 WITH SCORE 13877.76
AT ITER 3356 NEW BEST:: SOT 315762 SOS 209389 HAS SOPS 118798 HAS SOUS 24598 HAS SOUPS 13642 WITH SCORE 13851.389
AT ITER 3367 NEW BEST:: SOT 315692 SOS 208808 HAS SOPS 118287 HAS SOUS 24570 HAS SOUPS 13614 WITH SCORE 13822.808
AT ITER 3370 NEW BEST:: SOT 315686 SOS 208796 HAS SOPS 118220 HAS SOUS 24574 HAS SOUPS 13613 WITH SCORE 13821.796
AT ITER 3379 NEW BEST:: SOT 315687 SOS 208798 HAS SOPS 118222 HAS SOUS 24571 HAS SOUPS 13610 WITH SCORE 13818.798
AT ITER 3406 NEW BEST:: SOT 315693 SOS 208204 HAS SOPS 118078 HAS SOUS 24543 HAS SOUPS 13602 WITH SCORE 13810.204
AT ITER 3485 NEW BEST:: SOT 315693 SOS 208248 HAS SOPS 118122 HAS SOUS 24540 HAS SOUPS 13599 WITH SCORE 13807.248
AT ITER 3531 NEW BEST:: SOT 315665 SOS 208168 HAS SOPS 117754 HAS SOUS 24560 HAS SOUPS 13595 WITH SCORE 13803.168
AT ITER 3573 NEW BEST:: SOT 315635 SOS 208148 HAS SOPS 117734 HAS SOUS 24550 HAS SOUPS 13585 WITH SCORE 13793.148
AT ITER 3605 NEW BEST:: SOT 315533 SOS 208028 HAS SOPS 117700 HAS SOUS 24550 HAS SOUPS 13585 WITH SCORE 13793.028
AT ITER 3634 NEW BEST:: SOT 315337 SOS 207636 HAS SOPS 117700 HAS SOUS 24496 HAS SOUPS 13585 WITH SCORE 13792.636
AT ITER 3652 NEW BEST:: SOT 315163 SOS 207462 HAS SOPS 117526 HAS SOUS 24290 HAS SOUPS 13471 WITH SCORE 13678.462
AT ITER 3667 NEW BEST:: SOT 315045 SOS 207685 HAS SOPS 117312 HAS SOUS 24287 HAS SOUPS 13457 WITH SCORE 13664.685
AT ITER 3682 NEW BEST:: SOT 315009 SOS 207557 HAS SOPS 117236 HAS SOUS 24271 HAS SOUPS 13441 WITH SCORE 13648.557
AT ITER 3697 NEW BEST:: SOT 314966 SOS 207514 HAS SOPS 117236 HAS SOUS 24271 HAS SOUPS 13441 WITH SCORE 13648.514
AT ITER 3703 NEW BEST:: SOT 314936 SOS 207436 HAS SOPS 117228 HAS SOUS 24258 HAS SOUPS 13438 WITH SCORE 13645.436
AT ITER 3707 NEW BEST:: SOT 314981 SOS 207475 HAS SOPS 117243 HAS SOUS 24241 HAS SOUPS 13427 WITH SCORE 13634.475
AT ITER 3788 NEW BEST:: SOT 314735 SOS 207319 HAS SOPS 117087 HAS SOUS 24276 HAS SOUPS 13420 WITH SCORE 13627.319
AT ITER 3829 NEW BEST:: SOT 314614 SOS 207055 HAS SOPS 117010 HAS SOUS 24254 HAS SOUPS 13409 WITH SCORE 13616.055
AT ITER 3898 NEW BEST:: SOT 314609 SOS 207077 HAS SOPS 117033 HAS SOUS 24253 HAS SOUPS 13408 WITH SCORE 13615.077
AT ITER 3914 NEW BEST:: SOT 314602 SOS 207063 HAS SOPS 117033 HAS SOUS 24246 HAS SOUPS 13408 WITH SCORE 13615.063
AT ITER 3921 NEW BEST:: SOT 314591 SOS 207052 HAS SOPS 117033 HAS SOUS 24246 HAS SOUPS 13408 WITH SCORE 13615.052
AT ITER 3936 NEW BEST:: SOT 314590 SOS 207039 HAS SOPS 117030 HAS SOUS 24244 HAS SOUPS 13407 WITH SCORE 13614.039
AT ITER 3968 NEW BEST:: SOT 314647 SOS 207158 HAS SOPS 117009 HAS SOUS 24260 HAS SOUPS 13398 WITH SCORE 13605.158
AT ITER 4007 NEW BEST:: SOT 314646 SOS 207194 HAS SOPS 117057 HAS SOUS 24255 HAS SOUPS 13397 WITH SCORE 13604.194
AT ITER 4052 NEW BEST:: SOT 314790 SOS 207446 HAS SOPS 117129 HAS SOUS 24259 HAS SOUPS 13389 WITH SCORE 13596.446
AT ITER 4063 NEW BEST:: SOT 314790 SOS 207446 HAS SOPS 117129 HAS SOUS 24241 HAS SOUPS 13379 WITH SCORE 13586.446
AT ITER 4075 NEW BEST:: SOT 314799 SOS 207457 HAS SOPS 117135 HAS SOUS 24240 HAS SOUPS 13378 WITH SCORE 13585.457
AT ITER 4088 NEW BEST:: SOT 314828 SOS 206782 HAS SOPS 116603 HAS SOUS 24224 HAS SOUPS 13374 WITH SCORE 13580.782
AT ITER 4089 NEW BEST:: SOT 314836 SOS 206528 HAS SOPS 116421 HAS SOUS 24218 HAS SOUPS 13374 WITH SCORE 13580.528
AT ITER 4115 NEW BEST:: SOT 314682 SOS 206234 HAS SOPS 116337 HAS SOUS 24204 HAS SOUPS 13374 WITH SCORE 13580.234
AT ITER 4118 NEW BEST:: SOT 314739 SOS 206288 HAS SOPS 116331 HAS SOUS 24171 HAS SOUPS 13341 WITH SCORE 13547.288
AT ITER 4204 NEW BEST:: SOT 314739 SOS 206282 HAS SOPS 116331 HAS SOUS 24165 HAS SOUPS 13341 WITH SCORE 13547.282
AT ITER 4224 NEW BEST:: SOT 314739 SOS 206282 HAS SOPS 116331 HAS SOUS 24147 HAS SOUPS 13331 WITH SCORE 13537.282
AT ITER 4254 NEW BEST:: SOT 314725 SOS 206338 HAS SOPS 116353 HAS SOUS 24144 HAS SOUPS 13330 WITH SCORE 13536.338
AT ITER 4260 NEW BEST:: SOT 314730 SOS 206124 HAS SOPS 116139 HAS SOUS 24143 HAS SOUPS 13329 WITH SCORE 13535.124
AT ITER 4278 NEW BEST:: SOT 314713 SOS 205984 HAS SOPS 116064 HAS SOUS 24138 HAS SOUPS 13321 WITH SCORE 13526.984
AT ITER 4316 NEW BEST:: SOT 314710 SOS 205807 HAS SOPS 115902 HAS SOUS 24131 HAS SOUPS 13315 WITH SCORE 13520.807
AT ITER 4319 NEW BEST:: SOT 314717 SOS 205257 HAS SOPS 115796 HAS SOUS 24064 HAS SOUPS 13285 WITH SCORE 13490.257
AT ITER 4329 NEW BEST:: SOT 314697 SOS 205061 HAS SOPS 115698 HAS SOUS 24043 HAS SOUPS 13272 WITH SCORE 13477.061
AT ITER 4338 NEW BEST:: SOT 314581 SOS 203773 HAS SOPS 114628 HAS SOUS 24012 HAS SOUPS 13240 WITH SCORE 13443.773
AT ITER 4354 NEW BEST:: SOT 314569 SOS 203782 HAS SOPS 114625 HAS SOUS 24002 HAS SOUPS 13238 WITH SCORE 13441.782
AT ITER 4405 NEW BEST:: SOT 314557 SOS 203761 HAS SOPS 114619 HAS SOUS 24001 HAS SOUPS 13238 WITH SCORE 13441.761
AT ITER 4434 NEW BEST:: SOT 314540 SOS 203046 HAS SOPS 114012 HAS SOUS 23987 HAS SOUPS 13233 WITH SCORE 13436.046
AT ITER 4457 NEW BEST:: SOT 314588 SOS 202456 HAS SOPS 113714 HAS SOUS 23975 HAS SOUPS 13221 WITH SCORE 13423.456
AT ITER 4469 NEW BEST:: SOT 314588 SOS 202444 HAS SOPS 113702 HAS SOUS 23974 HAS SOUPS 13220 WITH SCORE 13422.444
AT ITER 4567 NEW BEST:: SOT 314327 SOS 201686 HAS SOPS 113330 HAS SOUS 23958 HAS SOUPS 13213 WITH SCORE 13414.686
AT ITER 4574 NEW BEST:: SOT 314322 SOS 201611 HAS SOPS 113260 HAS SOUS 23958 HAS SOUPS 13213 WITH SCORE 13414.611
AT ITER 4595 NEW BEST:: SOT 314316 SOS 201585 HAS SOPS 113253 HAS SOUS 23933 HAS SOUPS 13208 WITH SCORE 13409.585
AT ITER 4667 NEW BEST:: SOT 314329 SOS 201386 HAS SOPS 113054 HAS SOUS 23905 HAS SOUPS 13180 WITH SCORE 13381.386
AT ITER 4709 NEW BEST:: SOT 314128 SOS 201144 HAS SOPS 112912 HAS SOUS 23904 HAS SOUPS 13179 WITH SCORE 13380.144
AT ITER 4721 NEW BEST:: SOT 314113 SOS 201214 HAS SOPS 112892 HAS SOUS 23909 HAS SOUPS 13174 WITH SCORE 13375.214
AT ITER 4748 NEW BEST:: SOT 313915 SOS 201016 HAS SOPS 112694 HAS SOUS 23909 HAS SOUPS 13174 WITH SCORE 13375.016
AT ITER 4751 NEW BEST:: SOT 314045 SOS 201361 HAS SOPS 112802 HAS SOUS 23877 HAS SOUPS 13161 WITH SCORE 13362.361
AT ITER 4823 NEW BEST:: SOT 313974 SOS 201268 HAS SOPS 112744 HAS SOUS 23868 HAS SOUPS 13152 WITH SCORE 13353.268
AT ITER 4824 NEW BEST:: SOT 313965 SOS 201373 HAS SOPS 112725 HAS SOUS 23864 HAS SOUPS 13138 WITH SCORE 13339.373
AT ITER 4840 NEW BEST:: SOT 314529 SOS 203530 HAS SOPS 112912 HAS SOUS 23930 HAS SOUPS 13123 WITH SCORE 13326.53
AT ITER 4896 NEW BEST:: SOT 314439 SOS 203717 HAS SOPS 113099 HAS SOUS 23913 HAS SOUPS 13106 WITH SCORE 13309.717
AT ITER 4943 NEW BEST:: SOT 314430 SOS 203645 HAS SOPS 112955 HAS SOUS 23916 HAS SOUPS 13103 WITH SCORE 13306.645
AT ITER 4950 NEW BEST:: SOT 314430 SOS 203453 HAS SOPS 112955 HAS SOUS 23900 HAS SOUPS 13103 WITH SCORE 13306.453
AT ITER 4957 NEW BEST:: SOT 314391 SOS 203396 HAS SOPS 112913 HAS SOUS 23894 HAS SOUPS 13097 WITH SCORE 13300.396
AT ITER 5000 NEW BEST:: SOT 315042 SOS 203863 HAS SOPS 113462 HAS SOUS 23834 HAS SOUPS 13072 WITH SCORE 13275.863
AT ITER 5019 NEW BEST:: SOT 315035 SOS 203849 HAS SOPS 113462 HAS SOUS 23827 HAS SOUPS 13072 WITH SCORE 13275.849
AT ITER 5034 NEW BEST:: SOT 315023 SOS 203837 HAS SOPS 113450 HAS SOUS 23827 HAS SOUPS 13072 WITH SCORE 13275.837
AT ITER 5038 NEW BEST:: SOT 315011 SOS 203825 HAS SOPS 113438 HAS SOUS 23818 HAS SOUPS 13067 WITH SCORE 13270.825
AT ITER 5049 NEW BEST:: SOT 314994 SOS 203659 HAS SOPS 113140 HAS SOUS 23812 HAS SOUPS 13050 WITH SCORE 13253.659
AT ITER 5103 NEW BEST:: SOT 315006 SOS 203671 HAS SOPS 113135 HAS SOUS 23807 HAS SOUPS 13045 WITH SCORE 13248.671
AT ITER 5131 NEW BEST:: SOT 315009 SOS 203688 HAS SOPS 113138 HAS SOUS 23807 HAS SOUPS 13044 WITH SCORE 13247.688
AT ITER 5132 NEW BEST:: SOT 315034 SOS 203654 HAS SOPS 113104 HAS SOUS 23769 HAS SOUPS 13006 WITH SCORE 13209.654
AT ITER 5153 NEW BEST:: SOT 315034 SOS 203290 HAS SOPS 112754 HAS SOUS 23756 HAS SOUPS 12993 WITH SCORE 13196.29
AT ITER 5264 NEW BEST:: SOT 314944 SOS 202999 HAS SOPS 112444 HAS SOUS 23729 HAS SOUPS 12964 WITH SCORE 13166.999
AT ITER 5273 NEW BEST:: SOT 314932 SOS 202950 HAS SOPS 112392 HAS SOUS 23722 HAS SOUPS 12957 WITH SCORE 13159.95
AT ITER 5295 NEW BEST:: SOT 315044 SOS 202605 HAS SOPS 112331 HAS SOUS 23700 HAS SOUPS 12942 WITH SCORE 13144.605
AT ITER 5301 NEW BEST:: SOT 315059 SOS 202635 HAS SOPS 112338 HAS SOUS 23693 HAS SOUPS 12935 WITH SCORE 13137.635
AT ITER 5302 NEW BEST:: SOT 315069 SOS 202370 HAS SOPS 112088 HAS SOUS 23693 HAS SOUPS 12935 WITH SCORE 13137.37
AT ITER 5500 NEW BEST:: SOT 314984 SOS 202285 HAS SOPS 112088 HAS SOUS 23691 HAS SOUPS 12905 WITH SCORE 13107.285
AT ITER 5505 NEW BEST:: SOT 314984 SOS 202285 HAS SOPS 112088 HAS SOUS 23673 HAS SOUPS 12895 WITH SCORE 13097.285
AT ITER 5536 NEW BEST:: SOT 314984 SOS 202284 HAS SOPS 112075 HAS SOUS 23673 HAS SOUPS 12894 WITH SCORE 13096.284
AT ITER 5548 NEW BEST:: SOT 315000 SOS 202324 HAS SOPS 112083 HAS SOUS 23667 HAS SOUPS 12888 WITH SCORE 13090.324
AT ITER 5549 NEW BEST:: SOT 314987 SOS 202194 HAS SOPS 111953 HAS SOUS 23664 HAS SOUPS 12885 WITH SCORE 13087.194
AT ITER 5568 NEW BEST:: SOT 314979 SOS 202186 HAS SOPS 111953 HAS SOUS 23664 HAS SOUPS 12885 WITH SCORE 13087.186
AT ITER 5578 NEW BEST:: SOT 314975 SOS 202301 HAS SOPS 112032 HAS SOUS 23666 HAS SOUPS 12884 WITH SCORE 13086.301
AT ITER 5623 NEW BEST:: SOT 314951 SOS 202277 HAS SOPS 112032 HAS SOUS 23666 HAS SOUPS 12884 WITH SCORE 13086.277
AT ITER 5677 NEW BEST:: SOT 314971 SOS 202297 HAS SOPS 112027 HAS SOUS 23661 HAS SOUPS 12879 WITH SCORE 13081.297
AT ITER 5749 NEW BEST:: SOT 314975 SOS 202220 HAS SOPS 112126 HAS SOUS 23654 HAS SOUPS 12874 WITH SCORE 13076.22
AT ITER 5767 NEW BEST:: SOT 314737 SOS 201512 HAS SOPS 111802 HAS SOUS 23629 HAS SOUPS 12849 WITH SCORE 13050.512
AT ITER 5779 NEW BEST:: SOT 314480 SOS 201061 HAS SOPS 111624 HAS SOUS 23586 HAS SOUPS 12823 WITH SCORE 13024.061
AT ITER 5795 NEW BEST:: SOT 314466 SOS 200973 HAS SOPS 111476 HAS SOUS 23578 HAS SOUPS 12810 WITH SCORE 13010.973
AT ITER 5799 NEW BEST:: SOT 314466 SOS 200973 HAS SOPS 111476 HAS SOUS 23575 HAS SOUPS 12808 WITH SCORE 13008.973
AT ITER 5805 NEW BEST:: SOT 314428 SOS 200897 HAS SOPS 111438 HAS SOUS 23543 HAS SOUPS 12795 WITH SCORE 12995.897
AT ITER 5833 NEW BEST:: SOT 314285 SOS 200633 HAS SOPS 111207 HAS SOUS 23499 HAS SOUPS 12751 WITH SCORE 12951.633
AT ITER 5940 NEW BEST:: SOT 314284 SOS 200631 HAS SOPS 111205 HAS SOUS 23498 HAS SOUPS 12750 WITH SCORE 12950.631
AT ITER 5971 NEW BEST:: SOT 314284 SOS 200631 HAS SOPS 111205 HAS SOUS 23495 HAS SOUPS 12748 WITH SCORE 12948.631
AT ITER 5989 NEW BEST:: SOT 314284 SOS 200631 HAS SOPS 111205 HAS SOUS 23486 HAS SOUPS 12743 WITH SCORE 12943.631
AT ITER 6016 NEW BEST:: SOT 314279 SOS 200626 HAS SOPS 111205 HAS SOUS 23476 HAS SOUPS 12733 WITH SCORE 12933.626
AT ITER 6105 NEW BEST:: SOT 314213 SOS 200162 HAS SOPS 110959 HAS SOUS 23470 HAS SOUPS 12724 WITH SCORE 12924.162
AT ITER 6115 NEW BEST:: SOT 314232 SOS 200172 HAS SOPS 110939 HAS SOUS 23446 HAS SOUPS 12700 WITH SCORE 12900.172
AT ITER 6124 NEW BEST:: SOT 314244 SOS 200186 HAS SOPS 110947 HAS SOUS 23445 HAS SOUPS 12699 WITH SCORE 12899.186
AT ITER 6145 NEW BEST:: SOT 314244 SOS 200186 HAS SOPS 110947 HAS SOUS 23438 HAS SOUPS 12697 WITH SCORE 12897.186
AT ITER 6156 NEW BEST:: SOT 314217 SOS 200067 HAS SOPS 110919 HAS SOUS 23423 HAS SOUPS 12687 WITH SCORE 12887.067
AT ITER 6159 NEW BEST:: SOT 314242 SOS 200092 HAS SOPS 110919 HAS SOUS 23418 HAS SOUPS 12686 WITH SCORE 12886.092
AT ITER 6221 NEW BEST:: SOT 314242 SOS 200092 HAS SOPS 110919 HAS SOUS 23400 HAS SOUPS 12676 WITH SCORE 12876.092
AT ITER 6223 NEW BEST:: SOT 314232 SOS 200060 HAS SOPS 110898 HAS SOUS 23395 HAS SOUPS 12672 WITH SCORE 12872.06
AT ITER 6262 NEW BEST:: SOT 314218 SOS 200046 HAS SOPS 110898 HAS SOUS 23395 HAS SOUPS 12672 WITH SCORE 12872.046
AT ITER 6443 NEW BEST:: SOT 314190 SOS 200014 HAS SOPS 110894 HAS SOUS 23387 HAS SOUPS 12668 WITH SCORE 12868.014
AT ITER 6502 NEW BEST:: SOT 314185 SOS 200009 HAS SOPS 110894 HAS SOUS 23377 HAS SOUPS 12658 WITH SCORE 12858.009
AT ITER 6541 NEW BEST:: SOT 314056 SOS 199627 HAS SOPS 110691 HAS SOUS 23344 HAS SOUPS 12640 WITH SCORE 12839.627
AT ITER 6565 NEW BEST:: SOT 314029 SOS 199700 HAS SOPS 110714 HAS SOUS 23340 HAS SOUPS 12638 WITH SCORE 12837.7
AT ITER 6582 NEW BEST:: SOT 314025 SOS 199696 HAS SOPS 110714 HAS SOUS 23340 HAS SOUPS 12638 WITH SCORE 12837.696
AT ITER 6598 NEW BEST:: SOT 314109 SOS 199628 HAS SOPS 110775 HAS SOUS 23317 HAS SOUPS 12635 WITH SCORE 12834.628
AT ITER 6612 NEW BEST:: SOT 314102 SOS 199554 HAS SOPS 110701 HAS SOUS 23298 HAS SOUPS 12616 WITH SCORE 12815.554
AT ITER 6635 NEW BEST:: SOT 314102 SOS 199554 HAS SOPS 110701 HAS SOUS 23286 HAS SOUPS 12608 WITH SCORE 12807.554
AT ITER 6649 NEW BEST:: SOT 314102 SOS 199554 HAS SOPS 110701 HAS SOUS 23277 HAS SOUPS 12603 WITH SCORE 12802.554
AT ITER 6718 NEW BEST:: SOT 314063 SOS 199515 HAS SOPS 110701 HAS SOUS 23277 HAS SOUPS 12603 WITH SCORE 12802.515
AT ITER 6726 NEW BEST:: SOT 314044 SOS 199496 HAS SOPS 110701 HAS SOUS 23273 HAS SOUPS 12599 WITH SCORE 12798.496
AT ITER 6780 NEW BEST:: SOT 314038 SOS 199490 HAS SOPS 110701 HAS SOUS 23273 HAS SOUPS 12599 WITH SCORE 12798.49
AT ITER 6951 NEW BEST:: SOT 314037 SOS 199500 HAS SOPS 110711 HAS SOUS 23272 HAS SOUPS 12598 WITH SCORE 12797.5
AT ITER 6953 NEW BEST:: SOT 314092 SOS 199565 HAS SOPS 110751 HAS SOUS 23267 HAS SOUPS 12593 WITH SCORE 12792.565
AT ITER 6957 NEW BEST:: SOT 314219 SOS 199708 HAS SOPS 110822 HAS SOUS 23252 HAS SOUPS 12578 WITH SCORE 12777.708
AT ITER 6984 NEW BEST:: SOT 314197 SOS 199686 HAS SOPS 110822 HAS SOUS 23252 HAS SOUPS 12578 WITH SCORE 12777.686
AT ITER 7031 NEW BEST:: SOT 314203 SOS 199692 HAS SOPS 110816 HAS SOUS 23248 HAS SOUPS 12574 WITH SCORE 12773.692
AT ITER 7110 NEW BEST:: SOT 314174 SOS 199624 HAS SOPS 110799 HAS SOUS 23245 HAS SOUPS 12574 WITH SCORE 12773.624
AT ITER 7148 NEW BEST:: SOT 314167 SOS 199610 HAS SOPS 110799 HAS SOUS 23238 HAS SOUPS 12574 WITH SCORE 12773.61
AT ITER 7212 NEW BEST:: SOT 314202 SOS 199700 HAS SOPS 110824 HAS SOUS 23233 HAS SOUPS 12564 WITH SCORE 12763.7
AT ITER 7228 NEW BEST:: SOT 314244 SOS 199742 HAS SOPS 110822 HAS SOUS 23231 HAS SOUPS 12562 WITH SCORE 12761.742
AT ITER 7249 NEW BEST:: SOT 314244 SOS 199742 HAS SOPS 110822 HAS SOUS 23216 HAS SOUPS 12552 WITH SCORE 12751.742
AT ITER 7257 NEW BEST:: SOT 314201 SOS 200311 HAS SOPS 110947 HAS SOUS 23246 HAS SOUPS 12545 WITH SCORE 12745.311
AT ITER 7385 NEW BEST:: SOT 314202 SOS 199936 HAS SOPS 110572 HAS SOUS 23216 HAS SOUPS 12515 WITH SCORE 12714.936
AT ITER 7474 NEW BEST:: SOT 314202 SOS 199924 HAS SOPS 110560 HAS SOUS 23215 HAS SOUPS 12514 WITH SCORE 12713.924
AT ITER 7562 NEW BEST:: SOT 314206 SOS 199930 HAS SOPS 110562 HAS SOUS 23208 HAS SOUPS 12510 WITH SCORE 12709.93
AT ITER 7591 NEW BEST:: SOT 314213 SOS 199860 HAS SOPS 110576 HAS SOUS 23201 HAS SOUPS 12510 WITH SCORE 12709.86
AT ITER 7755 NEW BEST:: SOT 314213 SOS 199845 HAS SOPS 110561 HAS SOUS 23198 HAS SOUPS 12507 WITH SCORE 12706.845
AT ITER 7778 NEW BEST:: SOT 314200 SOS 199856 HAS SOPS 110553 HAS SOUS 23193 HAS SOUPS 12502 WITH SCORE 12701.856
AT ITER 7944 NEW BEST:: SOT 314200 SOS 199867 HAS SOPS 110696 HAS SOUS 23177 HAS SOUPS 12497 WITH SCORE 12696.867
AT ITER 7972 NEW BEST:: SOT 314207 SOS 199444 HAS SOPS 110444 HAS SOUS 23172 HAS SOUPS 12492 WITH SCORE 12691.444
AT ITER 7987 NEW BEST:: SOT 314211 SOS 199215 HAS SOPS 110230 HAS SOUS 23163 HAS SOUPS 12483 WITH SCORE 12682.215
AT ITER 7988 NEW BEST:: SOT 314185 SOS 199189 HAS SOPS 110230 HAS SOUS 23163 HAS SOUPS 12483 WITH SCORE 12682.189
AT ITER 8015 NEW BEST:: SOT 314259 SOS 199370 HAS SOPS 110296 HAS SOUS 23143 HAS SOUPS 12476 WITH SCORE 12675.37
AT ITER 8095 NEW BEST:: SOT 314403 SOS 199690 HAS SOPS 110392 HAS SOUS 23095 HAS SOUPS 12444 WITH SCORE 12643.69
AT ITER 8116 NEW BEST:: SOT 314355 SOS 199616 HAS SOPS 110339 HAS SOUS 23093 HAS SOUPS 12442 WITH SCORE 12641.616
AT ITER 8139 NEW BEST:: SOT 314337 SOS 199598 HAS SOPS 110321 HAS SOUS 23093 HAS SOUPS 12442 WITH SCORE 12641.598
AT ITER 8283 NEW BEST:: SOT 314339 SOS 199589 HAS SOPS 110310 HAS SOUS 23092 HAS SOUPS 12441 WITH SCORE 12640.589
AT ITER 8311 NEW BEST:: SOT 314339 SOS 199589 HAS SOPS 110310 HAS SOUS 23083 HAS SOUPS 12436 WITH SCORE 12635.589
AT ITER 8400 NEW BEST:: SOT 314080 SOS 198959 HAS SOPS 109792 HAS SOUS 23047 HAS SOUPS 12420 WITH SCORE 12618.959
AT ITER 8452 NEW BEST:: SOT 314079 SOS 198907 HAS SOPS 109790 HAS SOUS 23045 HAS SOUPS 12418 WITH SCORE 12616.907
AT ITER 8457 NEW BEST:: SOT 314141 SOS 198969 HAS SOPS 109790 HAS SOUS 23027 HAS SOUPS 12408 WITH SCORE 12606.969
AT ITER 8505 NEW BEST:: SOT 314145 SOS 198973 HAS SOPS 109790 HAS SOUS 23018 HAS SOUPS 12403 WITH SCORE 12601.973
AT ITER 8516 NEW BEST:: SOT 314150 SOS 198974 HAS SOPS 109791 HAS SOUS 23014 HAS SOUPS 12400 WITH SCORE 12598.974
AT ITER 8529 NEW BEST:: SOT 314125 SOS 198977 HAS SOPS 109908 HAS SOUS 22955 HAS SOUPS 12373 WITH SCORE 12571.977
AT ITER 8530 NEW BEST:: SOT 314125 SOS 198977 HAS SOPS 109908 HAS SOUS 22952 HAS SOUPS 12371 WITH SCORE 12569.977
AT ITER 8589 NEW BEST:: SOT 314125 SOS 198977 HAS SOPS 109908 HAS SOUS 22934 HAS SOUPS 12361 WITH SCORE 12559.977
AT ITER 8598 NEW BEST:: SOT 314130 SOS 198959 HAS SOPS 109911 HAS SOUS 22934 HAS SOUPS 12361 WITH SCORE 12559.959
AT ITER 8756 NEW BEST:: SOT 314304 SOS 199163 HAS SOPS 110007 HAS SOUS 22928 HAS SOUPS 12355 WITH SCORE 12554.163
AT ITER 8771 NEW BEST:: SOT 314270 SOS 199020 HAS SOPS 109862 HAS SOUS 22933 HAS SOUPS 12355 WITH SCORE 12554.02
AT ITER 8795 NEW BEST:: SOT 314270 SOS 199022 HAS SOPS 109888 HAS SOUS 22929 HAS SOUPS 12353 WITH SCORE 12552.022
AT ITER 8796 NEW BEST:: SOT 314257 SOS 198983 HAS SOPS 109855 HAS SOUS 22928 HAS SOUPS 12352 WITH SCORE 12550.983
AT ITER 8808 NEW BEST:: SOT 314258 SOS 198785 HAS SOPS 109722 HAS SOUS 22924 HAS SOUPS 12348 WITH SCORE 12546.785
AT ITER 8865 NEW BEST:: SOT 314358 SOS 198960 HAS SOPS 109772 HAS SOUS 22940 HAS SOUPS 12343 WITH SCORE 12541.96
AT ITER 8882 NEW BEST:: SOT 314315 SOS 198911 HAS SOPS 109751 HAS SOUS 22941 HAS SOUPS 12340 WITH SCORE 12538.911
AT ITER 8892 NEW BEST:: SOT 315586 SOS 200418 HAS SOPS 110771 HAS SOUS 23004 HAS SOUPS 12332 WITH SCORE 12532.418
AT ITER 8918 NEW BEST:: SOT 315586 SOS 200407 HAS SOPS 110768 HAS SOUS 23002 HAS SOUPS 12331 WITH SCORE 12531.407
AT ITER 8964 NEW BEST:: SOT 315574 SOS 200383 HAS SOPS 110672 HAS SOUS 23002 HAS SOUPS 12325 WITH SCORE 12525.383
AT ITER 9144 NEW BEST:: SOT 315559 SOS 200368 HAS SOPS 110672 HAS SOUS 23002 HAS SOUPS 12325 WITH SCORE 12525.368
AT ITER 9191 NEW BEST:: SOT 315589 SOS 200398 HAS SOPS 110702 HAS SOUS 22999 HAS SOUPS 12323 WITH SCORE 12523.398
AT ITER 9194 NEW BEST:: SOT 315589 SOS 200398 HAS SOPS 110714 HAS SOUS 22997 HAS SOUPS 12322 WITH SCORE 12522.398
AT ITER 9236 NEW BEST:: SOT 315593 SOS 200358 HAS SOPS 110687 HAS SOUS 22992 HAS SOUPS 12317 WITH SCORE 12517.358
AT ITER 9254 NEW BEST:: SOT 315585 SOS 200402 HAS SOPS 110659 HAS SOUS 22996 HAS SOUPS 12315 WITH SCORE 12515.402
AT ITER 9259 NEW BEST:: SOT 315584 SOS 200401 HAS SOPS 110658 HAS SOUS 22995 HAS SOUPS 12314 WITH SCORE 12514.401
AT ITER 9329 NEW BEST:: SOT 315758 SOS 200575 HAS SOPS 110832 HAS SOUS 22992 HAS SOUPS 12312 WITH SCORE 12512.575
AT ITER 9375 NEW BEST:: SOT 315848 SOS 200737 HAS SOPS 110886 HAS SOUS 22998 HAS SOUPS 12310 WITH SCORE 12510.737
AT ITER 9508 NEW BEST:: SOT 315848 SOS 200737 HAS SOPS 110886 HAS SOUS 22989 HAS SOUPS 12305 WITH SCORE 12505.737
AT ITER 9563 NEW BEST:: SOT 315875 SOS 200784 HAS SOPS 110903 HAS SOUS 22993 HAS SOUPS 12304 WITH SCORE 12504.784
AT ITER 9569 NEW BEST:: SOT 315869 SOS 200778 HAS SOPS 110903 HAS SOUS 22993 HAS SOUPS 12304 WITH SCORE 12504.778
AT ITER 9603 NEW BEST:: SOT 315869 SOS 200778 HAS SOPS 110903 HAS SOUS 22903 HAS SOUPS 12254 WITH SCORE 12454.778
AT ITER 9648 NEW BEST:: SOT 315865 SOS 200722 HAS SOPS 110847 HAS SOUS 22902 HAS SOUPS 12253 WITH SCORE 12453.722
AT ITER 9678 NEW BEST:: SOT 315865 SOS 200722 HAS SOPS 110847 HAS SOUS 22896 HAS SOUPS 12249 WITH SCORE 12449.722
AT ITER 9720 NEW BEST:: SOT 315895 SOS 200752 HAS SOPS 110877 HAS SOUS 22893 HAS SOUPS 12247 WITH SCORE 12447.752
AT ITER 9729 NEW BEST:: SOT 315837 SOS 200816 HAS SOPS 110911 HAS SOUS 22883 HAS SOUPS 12243 WITH SCORE 12443.816
AT ITER 9788 NEW BEST:: SOT 315815 SOS 200750 HAS SOPS 110869 HAS SOUS 22873 HAS SOUPS 12235 WITH SCORE 12435.75
AT ITER 9802 NEW BEST:: SOT 315695 SOS 200366 HAS SOPS 110617 HAS SOUS 22813 HAS SOUPS 12187 WITH SCORE 12387.366
AT ITER 9808 NEW BEST:: SOT 315658 SOS 200329 HAS SOPS 110617 HAS SOUS 22813 HAS SOUPS 12187 WITH SCORE 12387.329
AT ITER 9816 NEW BEST:: SOT 315653 SOS 200269 HAS SOPS 110557 HAS SOUS 22812 HAS SOUPS 12186 WITH SCORE 12386.269

BK_STOP 1589130218756

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 480 Aborted ${SMART} ${INPUT_SM}

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="DLCround-PT-08a"
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 DLCround-PT-08a, 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 r048-ebro-158902542300536"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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