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.r491-tall-167912711701328.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 smartxred
Input is ViralEpidemic-PT-S08D1C2A02, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711701328
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 856K
-rw-r--r-- 1 mcc users 7.9K Feb 25 20:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 25 20:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 20:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 25 20:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 17:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 17:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 17:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 20:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 25 20:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 20:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 82K Feb 25 20:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 400K Mar 5 18:23 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 1679335389727

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ViralEpidemic-PT-S08D1C2A02
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 18:03:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 18:03:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 18:03:11] [INFO ] Load time of PNML (sax parser for PT used): 90 ms
[2023-03-20 18:03:11] [INFO ] Transformed 731 places.
[2023-03-20 18:03:11] [INFO ] Transformed 1241 transitions.
[2023-03-20 18:03:11] [INFO ] Parsed PT model containing 731 places and 1241 transitions and 2993 arcs in 193 ms.
[2023-03-20 18:03:11] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 731 places, 1241 transitions and 2993 arcs took 12 ms.
Total runtime 242 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S08D1C2A02
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 731 places, 1241 transitions, 2993 arcs.
AT ITER 0 NEW BEST:: SOT 560855 SOS 437057 HAS SOPS 437057 HAS SOUS 74018 HAS SOUPS 74018 WITH SCORE 74455.057
AT ITER 11 NEW BEST:: SOT 560453 SOS 435247 HAS SOPS 435247 HAS SOUS 74017 HAS SOUPS 74017 WITH SCORE 74452.247
AT ITER 32 NEW BEST:: SOT 560253 SOS 434340 HAS SOPS 434340 HAS SOUS 74010 HAS SOUPS 74010 WITH SCORE 74444.34
AT ITER 45 NEW BEST:: SOT 560021 SOS 433254 HAS SOPS 433254 HAS SOUS 73968 HAS SOUPS 73968 WITH SCORE 74401.254
AT ITER 56 NEW BEST:: SOT 559893 SOS 432673 HAS SOPS 432673 HAS SOUS 73963 HAS SOUPS 73963 WITH SCORE 74395.673
AT ITER 61 NEW BEST:: SOT 559659 SOS 431528 HAS SOPS 431528 HAS SOUS 73913 HAS SOUPS 73913 WITH SCORE 74344.528
AT ITER 99 NEW BEST:: SOT 559097 SOS 428995 HAS SOPS 428995 HAS SOUS 73909 HAS SOUPS 73909 WITH SCORE 74337.995
AT ITER 104 NEW BEST:: SOT 558089 SOS 424458 HAS SOPS 424458 HAS SOUS 73908 HAS SOUPS 73908 WITH SCORE 74332.458
AT ITER 113 NEW BEST:: SOT 557699 SOS 422700 HAS SOPS 422700 HAS SOUS 73905 HAS SOUPS 73905 WITH SCORE 74327.7
AT ITER 119 NEW BEST:: SOT 557429 SOS 421483 HAS SOPS 421483 HAS SOUS 73903 HAS SOUPS 73903 WITH SCORE 74324.483
AT ITER 162 NEW BEST:: SOT 557059 SOS 419812 HAS SOPS 419812 HAS SOUS 73897 HAS SOUPS 73897 WITH SCORE 74316.812
AT ITER 167 NEW BEST:: SOT 556963 SOS 419377 HAS SOPS 419377 HAS SOUS 73894 HAS SOUPS 73894 WITH SCORE 74313.377
AT ITER 172 NEW BEST:: SOT 556379 SOS 416458 HAS SOPS 416458 HAS SOUS 73811 HAS SOUPS 73811 WITH SCORE 74227.458
AT ITER 177 NEW BEST:: SOT 555921 SOS 414396 HAS SOPS 414396 HAS SOUS 73810 HAS SOUPS 73810 WITH SCORE 74224.396
AT ITER 180 NEW BEST:: SOT 555727 SOS 413517 HAS SOPS 413517 HAS SOUS 73804 HAS SOUPS 73804 WITH SCORE 74217.517
AT ITER 188 NEW BEST:: SOT 555202 SOS 410828 HAS SOPS 410828 HAS SOUS 73663 HAS SOUPS 73663 WITH SCORE 74073.828
AT ITER 196 NEW BEST:: SOT 554356 SOS 407021 HAS SOPS 407021 HAS SOUS 73663 HAS SOUPS 73663 WITH SCORE 74070.021
AT ITER 199 NEW BEST:: SOT 554316 SOS 406836 HAS SOPS 406836 HAS SOUS 73658 HAS SOUPS 73658 WITH SCORE 74064.836
AT ITER 201 NEW BEST:: SOT 554316 SOS 406780 HAS SOPS 406780 HAS SOUS 73584 HAS SOUPS 73584 WITH SCORE 73990.78
AT ITER 202 NEW BEST:: SOT 553936 SOS 405064 HAS SOPS 405064 HAS SOUS 73578 HAS SOUPS 73578 WITH SCORE 73983.064
AT ITER 211 NEW BEST:: SOT 553648 SOS 403546 HAS SOPS 403546 HAS SOUS 73538 HAS SOUPS 73538 WITH SCORE 73941.546
AT ITER 212 NEW BEST:: SOT 553482 SOS 402716 HAS SOPS 402716 HAS SOUS 73455 HAS SOUPS 73455 WITH SCORE 73857.716
AT ITER 263 NEW BEST:: SOT 553296 SOS 401877 HAS SOPS 401877 HAS SOUS 73453 HAS SOUPS 73453 WITH SCORE 73854.877
AT ITER 268 NEW BEST:: SOT 553088 SOS 400939 HAS SOPS 400939 HAS SOUS 73451 HAS SOUPS 73451 WITH SCORE 73851.939
AT ITER 290 NEW BEST:: SOT 552346 SOS 397595 HAS SOPS 397595 HAS SOUS 73446 HAS SOUPS 73446 WITH SCORE 73843.595
AT ITER 314 NEW BEST:: SOT 551661 SOS 394268 HAS SOPS 394268 HAS SOUS 73415 HAS SOUPS 73415 WITH SCORE 73809.268
AT ITER 322 NEW BEST:: SOT 550755 SOS 390187 HAS SOPS 390187 HAS SOUS 73411 HAS SOUPS 73411 WITH SCORE 73801.187
AT ITER 325 NEW BEST:: SOT 550715 SOS 389987 HAS SOPS 389987 HAS SOUS 73389 HAS SOUPS 73389 WITH SCORE 73778.987
AT ITER 377 NEW BEST:: SOT 550487 SOS 388865 HAS SOPS 388865 HAS SOUS 73293 HAS SOUPS 73293 WITH SCORE 73681.865
AT ITER 382 NEW BEST:: SOT 550247 SOS 387784 HAS SOPS 387784 HAS SOUS 73292 HAS SOUPS 73292 WITH SCORE 73679.784
AT ITER 384 NEW BEST:: SOT 550003 SOS 386558 HAS SOPS 386558 HAS SOUS 73171 HAS SOUPS 73171 WITH SCORE 73557.558
AT ITER 386 NEW BEST:: SOT 549799 SOS 385548 HAS SOPS 385548 HAS SOUS 73079 HAS SOUPS 73079 WITH SCORE 73464.548
AT ITER 402 NEW BEST:: SOT 549669 SOS 384958 HAS SOPS 384958 HAS SOUS 73074 HAS SOUPS 73074 WITH SCORE 73458.958
AT ITER 408 NEW BEST:: SOT 549419 SOS 383698 HAS SOPS 383698 HAS SOUS 72981 HAS SOUPS 72981 WITH SCORE 73364.698
AT ITER 413 NEW BEST:: SOT 549357 SOS 383574 HAS SOPS 383574 HAS SOUS 72919 HAS SOUPS 72919 WITH SCORE 73302.574
AT ITER 424 NEW BEST:: SOT 549247 SOS 383079 HAS SOPS 383079 HAS SOUS 72919 HAS SOUPS 72919 WITH SCORE 73302.079
AT ITER 430 NEW BEST:: SOT 548783 SOS 380759 HAS SOPS 380759 HAS SOUS 72687 HAS SOUPS 72687 WITH SCORE 73067.759
AT ITER 460 NEW BEST:: SOT 548765 SOS 380602 HAS SOPS 380602 HAS SOUS 72548 HAS SOUPS 72548 WITH SCORE 72928.602
AT ITER 467 NEW BEST:: SOT 548577 SOS 379212 HAS SOPS 379212 HAS SOUS 72529 HAS SOUPS 72529 WITH SCORE 72908.212
AT ITER 468 NEW BEST:: SOT 548445 SOS 378769 HAS SOPS 378769 HAS SOUS 72482 HAS SOUPS 72482 WITH SCORE 72860.769
AT ITER 473 NEW BEST:: SOT 548365 SOS 378409 HAS SOPS 378409 HAS SOUS 72482 HAS SOUPS 72482 WITH SCORE 72860.409
AT ITER 479 NEW BEST:: SOT 547725 SOS 375138 HAS SOPS 375138 HAS SOUS 72434 HAS SOUPS 72434 WITH SCORE 72809.138
AT ITER 516 NEW BEST:: SOT 546941 SOS 371594 HAS SOPS 371594 HAS SOUS 72418 HAS SOUPS 72418 WITH SCORE 72789.594
AT ITER 517 NEW BEST:: SOT 546853 SOS 371154 HAS SOPS 371154 HAS SOUS 72374 HAS SOUPS 72374 WITH SCORE 72745.154
AT ITER 565 NEW BEST:: SOT 546588 SOS 370224 HAS SOPS 370224 HAS SOUS 72295 HAS SOUPS 72295 WITH SCORE 72665.224
AT ITER 581 NEW BEST:: SOT 546573 SOS 370194 HAS SOPS 370194 HAS SOUS 72280 HAS SOUPS 72280 WITH SCORE 72650.194
AT ITER 603 NEW BEST:: SOT 546353 SOS 368470 HAS SOPS 368470 HAS SOUS 72274 HAS SOUPS 72274 WITH SCORE 72642.47
AT ITER 634 NEW BEST:: SOT 546131 SOS 367470 HAS SOPS 367470 HAS SOUS 72273 HAS SOUPS 72273 WITH SCORE 72640.47
AT ITER 650 NEW BEST:: SOT 545929 SOS 366460 HAS SOPS 366460 HAS SOUS 72172 HAS SOUPS 72172 WITH SCORE 72538.46
AT ITER 662 NEW BEST:: SOT 545475 SOS 364414 HAS SOPS 364414 HAS SOUS 72169 HAS SOUPS 72169 WITH SCORE 72533.414
AT ITER 663 NEW BEST:: SOT 544683 SOS 360844 HAS SOPS 360844 HAS SOUS 72170 HAS SOUPS 72170 WITH SCORE 72530.844
AT ITER 682 NEW BEST:: SOT 544545 SOS 359993 HAS SOPS 359993 HAS SOUS 72129 HAS SOUPS 72129 WITH SCORE 72488.993
AT ITER 683 NEW BEST:: SOT 544557 SOS 359727 HAS SOPS 359727 HAS SOUS 71849 HAS SOUPS 71849 WITH SCORE 72208.727
AT ITER 695 NEW BEST:: SOT 544469 SOS 359323 HAS SOPS 359323 HAS SOUS 71839 HAS SOUPS 71839 WITH SCORE 72198.323
AT ITER 696 NEW BEST:: SOT 544469 SOS 359099 HAS SOPS 359099 HAS SOUS 71625 HAS SOUPS 71625 WITH SCORE 71984.099
AT ITER 697 NEW BEST:: SOT 544606 SOS 359257 HAS SOPS 359257 HAS SOUS 71586 HAS SOUPS 71586 WITH SCORE 71945.257
AT ITER 698 NEW BEST:: SOT 544396 SOS 358255 HAS SOPS 358255 HAS SOUS 71543 HAS SOUPS 71543 WITH SCORE 71901.255
AT ITER 709 NEW BEST:: SOT 544197 SOS 357266 HAS SOPS 357266 HAS SOUS 71495 HAS SOUPS 71495 WITH SCORE 71852.266
AT ITER 714 NEW BEST:: SOT 544237 SOS 357516 HAS SOPS 357516 HAS SOUS 71467 HAS SOUPS 71467 WITH SCORE 71824.516
AT ITER 733 NEW BEST:: SOT 544237 SOS 357399 HAS SOPS 357399 HAS SOUS 71344 HAS SOUPS 71344 WITH SCORE 71701.399
AT ITER 749 NEW BEST:: SOT 543713 SOS 354605 HAS SOPS 354605 HAS SOUS 71111 HAS SOUPS 71111 WITH SCORE 71465.605
AT ITER 753 NEW BEST:: SOT 543219 SOS 352376 HAS SOPS 352376 HAS SOUS 71105 HAS SOUPS 71105 WITH SCORE 71457.376
AT ITER 769 NEW BEST:: SOT 542630 SOS 348677 HAS SOPS 348677 HAS SOUS 71012 HAS SOUPS 71012 WITH SCORE 71360.677
AT ITER 775 NEW BEST:: SOT 542553 SOS 348523 HAS SOPS 348523 HAS SOUS 70995 HAS SOUPS 70995 WITH SCORE 71343.523
AT ITER 780 NEW BEST:: SOT 542504 SOS 348364 HAS SOPS 348364 HAS SOUS 70885 HAS SOUPS 70885 WITH SCORE 71233.364
AT ITER 785 NEW BEST:: SOT 542504 SOS 348225 HAS SOPS 348225 HAS SOUS 70746 HAS SOUPS 70746 WITH SCORE 71094.225
AT ITER 786 NEW BEST:: SOT 542360 SOS 347505 HAS SOPS 347505 HAS SOUS 70674 HAS SOUPS 70674 WITH SCORE 71021.505
AT ITER 787 NEW BEST:: SOT 542288 SOS 347145 HAS SOPS 347145 HAS SOUS 70636 HAS SOUPS 70636 WITH SCORE 70983.145
AT ITER 788 NEW BEST:: SOT 541682 SOS 343294 HAS SOPS 343294 HAS SOUS 70469 HAS SOUPS 70469 WITH SCORE 70812.294
AT ITER 795 NEW BEST:: SOT 541682 SOS 343128 HAS SOPS 343128 HAS SOUS 70303 HAS SOUPS 70303 WITH SCORE 70646.128
AT ITER 827 NEW BEST:: SOT 541534 SOS 342388 HAS SOPS 342388 HAS SOUS 70229 HAS SOUPS 70229 WITH SCORE 70571.388
AT ITER 830 NEW BEST:: SOT 541182 SOS 340735 HAS SOPS 340735 HAS SOUS 70160 HAS SOUPS 70160 WITH SCORE 70500.735
AT ITER 837 NEW BEST:: SOT 540924 SOS 339358 HAS SOPS 339358 HAS SOUS 70089 HAS SOUPS 70089 WITH SCORE 70428.358
AT ITER 843 NEW BEST:: SOT 540816 SOS 338494 HAS SOPS 338494 HAS SOUS 70089 HAS SOUPS 70089 WITH SCORE 70427.494
AT ITER 848 NEW BEST:: SOT 540610 SOS 337564 HAS SOPS 337564 HAS SOUS 70086 HAS SOUPS 70086 WITH SCORE 70423.564
AT ITER 856 NEW BEST:: SOT 540589 SOS 337541 HAS SOPS 337541 HAS SOUS 70084 HAS SOUPS 70084 WITH SCORE 70421.541
AT ITER 867 NEW BEST:: SOT 540488 SOS 336977 HAS SOPS 336977 HAS SOUS 70069 HAS SOUPS 70069 WITH SCORE 70405.977
AT ITER 882 NEW BEST:: SOT 540486 SOS 336973 HAS SOPS 336973 HAS SOUS 70069 HAS SOUPS 70069 WITH SCORE 70405.973
AT ITER 884 NEW BEST:: SOT 540166 SOS 335373 HAS SOPS 335373 HAS SOUS 69909 HAS SOUPS 69909 WITH SCORE 70244.373
AT ITER 889 NEW BEST:: SOT 539880 SOS 333801 HAS SOPS 333801 HAS SOUS 69814 HAS SOUPS 69814 WITH SCORE 70147.801
AT ITER 905 NEW BEST:: SOT 539682 SOS 332811 HAS SOPS 332811 HAS SOUS 69711 HAS SOUPS 69711 WITH SCORE 70043.811
AT ITER 910 NEW BEST:: SOT 539334 SOS 331240 HAS SOPS 331240 HAS SOUS 69706 HAS SOUPS 69706 WITH SCORE 70037.24
AT ITER 915 NEW BEST:: SOT 539204 SOS 330590 HAS SOPS 330590 HAS SOUS 69641 HAS SOUPS 69641 WITH SCORE 69971.59
AT ITER 978 NEW BEST:: SOT 538239 SOS 325278 HAS SOPS 325278 HAS SOUS 69341 HAS SOUPS 69341 WITH SCORE 69666.278
AT ITER 992 NEW BEST:: SOT 538172 SOS 324934 HAS SOPS 324934 HAS SOUS 69305 HAS SOUPS 69305 WITH SCORE 69629.934
AT ITER 999 NEW BEST:: SOT 537918 SOS 323550 HAS SOPS 323550 HAS SOUS 69197 HAS SOUPS 69197 WITH SCORE 69520.55
AT ITER 1002 NEW BEST:: SOT 537908 SOS 323522 HAS SOPS 323522 HAS SOUS 69177 HAS SOUPS 69177 WITH SCORE 69500.522
AT ITER 1036 NEW BEST:: SOT 538093 SOS 322590 HAS SOPS 322590 HAS SOUS 69043 HAS SOUPS 69043 WITH SCORE 69365.59
AT ITER 1040 NEW BEST:: SOT 537838 SOS 322080 HAS SOPS 322080 HAS SOUS 68887 HAS SOUPS 68887 WITH SCORE 69209.08
AT ITER 1048 NEW BEST:: SOT 537697 SOS 321313 HAS SOPS 321313 HAS SOUS 68856 HAS SOUPS 68856 WITH SCORE 69177.313
AT ITER 1057 NEW BEST:: SOT 537265 SOS 319129 HAS SOPS 319129 HAS SOUS 68644 HAS SOUPS 68644 WITH SCORE 68963.129
AT ITER 1121 NEW BEST:: SOT 537247 SOS 318985 HAS SOPS 318985 HAS SOUS 68644 HAS SOUPS 68644 WITH SCORE 68962.985
AT ITER 1132 NEW BEST:: SOT 536832 SOS 316841 HAS SOPS 316841 HAS SOUS 68448 HAS SOUPS 68448 WITH SCORE 68764.841
AT ITER 1155 NEW BEST:: SOT 536694 SOS 316151 HAS SOPS 316151 HAS SOUS 68379 HAS SOUPS 68379 WITH SCORE 68695.151
AT ITER 1194 NEW BEST:: SOT 536382 SOS 314591 HAS SOPS 314591 HAS SOUS 68223 HAS SOUPS 68223 WITH SCORE 68537.591
AT ITER 1198 NEW BEST:: SOT 536259 SOS 314374 HAS SOPS 314374 HAS SOUS 68127 HAS SOUPS 68127 WITH SCORE 68441.374
AT ITER 1223 NEW BEST:: SOT 536252 SOS 314339 HAS SOPS 314339 HAS SOUS 68099 HAS SOUPS 68099 WITH SCORE 68413.339
AT ITER 1225 NEW BEST:: SOT 536252 SOS 314293 HAS SOPS 314293 HAS SOUS 68053 HAS SOUPS 68053 WITH SCORE 68367.293
AT ITER 1226 NEW BEST:: SOT 536225 SOS 314150 HAS SOPS 314150 HAS SOUS 67937 HAS SOUPS 67937 WITH SCORE 68251.15
AT ITER 1228 NEW BEST:: SOT 535760 SOS 311720 HAS SOPS 311720 HAS SOUS 67721 HAS SOUPS 67721 WITH SCORE 68032.72
AT ITER 1229 NEW BEST:: SOT 535536 SOS 310712 HAS SOPS 310712 HAS SOUS 67721 HAS SOUPS 67721 WITH SCORE 68031.712
AT ITER 1238 NEW BEST:: SOT 535520 SOS 310620 HAS SOPS 310620 HAS SOUS 67711 HAS SOUPS 67711 WITH SCORE 68021.62
AT ITER 1255 NEW BEST:: SOT 535172 SOS 308880 HAS SOPS 308880 HAS SOUS 67537 HAS SOUPS 67537 WITH SCORE 67845.88
AT ITER 1262 NEW BEST:: SOT 535094 SOS 308490 HAS SOPS 308490 HAS SOUS 67498 HAS SOUPS 67498 WITH SCORE 67806.49
AT ITER 1274 NEW BEST:: SOT 535094 SOS 308458 HAS SOPS 308458 HAS SOUS 67466 HAS SOUPS 67466 WITH SCORE 67774.458
AT ITER 1282 NEW BEST:: SOT 534960 SOS 307667 HAS SOPS 307667 HAS SOUS 67432 HAS SOUPS 67432 WITH SCORE 67739.667
AT ITER 1289 NEW BEST:: SOT 534704 SOS 306510 HAS SOPS 306510 HAS SOUS 67427 HAS SOUPS 67427 WITH SCORE 67733.51
AT ITER 1304 NEW BEST:: SOT 534699 SOS 306500 HAS SOPS 306500 HAS SOUS 67426 HAS SOUPS 67426 WITH SCORE 67732.5
AT ITER 1311 NEW BEST:: SOT 534699 SOS 306492 HAS SOPS 306492 HAS SOUS 67418 HAS SOUPS 67418 WITH SCORE 67724.492
AT ITER 1322 NEW BEST:: SOT 534718 SOS 306900 HAS SOPS 306900 HAS SOUS 67344 HAS SOUPS 67344 WITH SCORE 67650.9
AT ITER 1325 NEW BEST:: SOT 534274 SOS 304690 HAS SOPS 304690 HAS SOUS 67286 HAS SOUPS 67286 WITH SCORE 67590.69
AT ITER 1348 NEW BEST:: SOT 534131 SOS 303975 HAS SOPS 303975 HAS SOUS 67281 HAS SOUPS 67281 WITH SCORE 67584.975
AT ITER 1352 NEW BEST:: SOT 534170 SOS 304053 HAS SOPS 304053 HAS SOUS 67278 HAS SOUPS 67278 WITH SCORE 67582.053
AT ITER 1381 NEW BEST:: SOT 533708 SOS 301716 HAS SOPS 301716 HAS SOUS 67139 HAS SOUPS 67139 WITH SCORE 67440.716
AT ITER 1393 NEW BEST:: SOT 533600 SOS 301176 HAS SOPS 301176 HAS SOUS 67081 HAS SOUPS 67081 WITH SCORE 67382.176
AT ITER 1411 NEW BEST:: SOT 533564 SOS 301006 HAS SOPS 301006 HAS SOUS 67071 HAS SOUPS 67071 WITH SCORE 67372.006
AT ITER 1412 NEW BEST:: SOT 532734 SOS 296856 HAS SOPS 296856 HAS SOUS 66656 HAS SOUPS 66656 WITH SCORE 66952.856
AT ITER 1422 NEW BEST:: SOT 532720 SOS 296828 HAS SOPS 296828 HAS SOUS 66642 HAS SOUPS 66642 WITH SCORE 66938.828
AT ITER 1429 NEW BEST:: SOT 532684 SOS 296720 HAS SOPS 296720 HAS SOUS 66570 HAS SOUPS 66570 WITH SCORE 66866.72
AT ITER 1453 NEW BEST:: SOT 532622 SOS 296362 HAS SOPS 296362 HAS SOUS 66547 HAS SOUPS 66547 WITH SCORE 66843.362
AT ITER 1460 NEW BEST:: SOT 532613 SOS 296322 HAS SOPS 296322 HAS SOUS 66516 HAS SOUPS 66516 WITH SCORE 66812.322
AT ITER 1497 NEW BEST:: SOT 532613 SOS 296286 HAS SOPS 296286 HAS SOUS 66480 HAS SOUPS 66480 WITH SCORE 66776.286
AT ITER 1504 NEW BEST:: SOT 532475 SOS 295431 HAS SOPS 295431 HAS SOUS 66470 HAS SOUPS 66470 WITH SCORE 66765.431
AT ITER 1511 NEW BEST:: SOT 532295 SOS 294258 HAS SOPS 294258 HAS SOUS 66439 HAS SOUPS 66439 WITH SCORE 66733.258
AT ITER 1518 NEW BEST:: SOT 531857 SOS 292068 HAS SOPS 292068 HAS SOUS 66220 HAS SOUPS 66220 WITH SCORE 66512.068
AT ITER 1521 NEW BEST:: SOT 531833 SOS 291810 HAS SOPS 291810 HAS SOUS 66220 HAS SOUPS 66220 WITH SCORE 66511.81
AT ITER 1541 NEW BEST:: SOT 531831 SOS 291806 HAS SOPS 291806 HAS SOUS 66218 HAS SOUPS 66218 WITH SCORE 66509.806
AT ITER 1581 NEW BEST:: SOT 531831 SOS 291730 HAS SOPS 291730 HAS SOUS 66142 HAS SOUPS 66142 WITH SCORE 66433.73
AT ITER 1582 NEW BEST:: SOT 531451 SOS 290020 HAS SOPS 290020 HAS SOUS 66142 HAS SOUPS 66142 WITH SCORE 66432.02
AT ITER 1584 NEW BEST:: SOT 531255 SOS 289040 HAS SOPS 289040 HAS SOUS 66044 HAS SOUPS 66044 WITH SCORE 66333.04
AT ITER 1607 NEW BEST:: SOT 531255 SOS 289029 HAS SOPS 289029 HAS SOUS 66033 HAS SOUPS 66033 WITH SCORE 66322.029
AT ITER 1642 NEW BEST:: SOT 531257 SOS 289111 HAS SOPS 289111 HAS SOUS 66022 HAS SOUPS 66022 WITH SCORE 66311.111
AT ITER 1644 NEW BEST:: SOT 531205 SOS 288873 HAS SOPS 288873 HAS SOUS 66018 HAS SOUPS 66018 WITH SCORE 66306.873
AT ITER 1652 NEW BEST:: SOT 531052 SOS 287793 HAS SOPS 287793 HAS SOUS 65994 HAS SOUPS 65994 WITH SCORE 66281.793
AT ITER 1667 NEW BEST:: SOT 531091 SOS 288276 HAS SOPS 288276 HAS SOUS 65913 HAS SOUPS 65913 WITH SCORE 66201.276
AT ITER 1685 NEW BEST:: SOT 530818 SOS 286731 HAS SOPS 286731 HAS SOUS 65847 HAS SOUPS 65847 WITH SCORE 66133.731
AT ITER 1690 NEW BEST:: SOT 530858 SOS 286768 HAS SOPS 286768 HAS SOUS 65834 HAS SOUPS 65834 WITH SCORE 66120.768
AT ITER 1695 NEW BEST:: SOT 530202 SOS 283804 HAS SOPS 283804 HAS SOUS 65829 HAS SOUPS 65829 WITH SCORE 66112.804
AT ITER 1712 NEW BEST:: SOT 530231 SOS 283813 HAS SOPS 283813 HAS SOUS 65781 HAS SOUPS 65781 WITH SCORE 66064.813
AT ITER 1715 NEW BEST:: SOT 529174 SOS 279574 HAS SOPS 279574 HAS SOUS 65560 HAS SOUPS 65560 WITH SCORE 65839.574
AT ITER 1716 NEW BEST:: SOT 529174 SOS 279765 HAS SOPS 279765 HAS SOUS 65559 HAS SOUPS 65559 WITH SCORE 65838.765
AT ITER 1717 NEW BEST:: SOT 529174 SOS 279695 HAS SOPS 279695 HAS SOUS 65489 HAS SOUPS 65489 WITH SCORE 65768.695
AT ITER 1726 NEW BEST:: SOT 528826 SOS 277811 HAS SOPS 277811 HAS SOUS 65291 HAS SOUPS 65291 WITH SCORE 65568.811
AT ITER 1732 NEW BEST:: SOT 528830 SOS 277799 HAS SOPS 277799 HAS SOUS 65275 HAS SOUPS 65275 WITH SCORE 65552.799
AT ITER 1757 NEW BEST:: SOT 528819 SOS 277773 HAS SOPS 277773 HAS SOUS 65260 HAS SOUPS 65260 WITH SCORE 65537.773
AT ITER 1779 NEW BEST:: SOT 528461 SOS 276035 HAS SOPS 276035 HAS SOUS 65133 HAS SOUPS 65133 WITH SCORE 65409.035
AT ITER 1791 NEW BEST:: SOT 527716 SOS 271750 HAS SOPS 271750 HAS SOUS 64896 HAS SOUPS 64896 WITH SCORE 65167.75
AT ITER 1809 NEW BEST:: SOT 527582 SOS 271080 HAS SOPS 271080 HAS SOUS 64825 HAS SOUPS 64825 WITH SCORE 65096.08
AT ITER 1822 NEW BEST:: SOT 527404 SOS 270190 HAS SOPS 270190 HAS SOUS 64736 HAS SOUPS 64736 WITH SCORE 65006.19
AT ITER 1837 NEW BEST:: SOT 527404 SOS 270190 HAS SOPS 270190 HAS SOUS 64724 HAS SOUPS 64724 WITH SCORE 64994.19
AT ITER 1856 NEW BEST:: SOT 527437 SOS 270235 HAS SOPS 270235 HAS SOUS 64719 HAS SOUPS 64719 WITH SCORE 64989.235
AT ITER 1863 NEW BEST:: SOT 526893 SOS 267103 HAS SOPS 267103 HAS SOUS 64691 HAS SOUPS 64691 WITH SCORE 64958.103
AT ITER 1876 NEW BEST:: SOT 526910 SOS 267120 HAS SOPS 267120 HAS SOUS 64689 HAS SOUPS 64689 WITH SCORE 64956.12
AT ITER 1888 NEW BEST:: SOT 526910 SOS 267120 HAS SOPS 267120 HAS SOUS 64645 HAS SOUPS 64645 WITH SCORE 64912.12
AT ITER 1891 NEW BEST:: SOT 526812 SOS 266767 HAS SOPS 266767 HAS SOUS 64420 HAS SOUPS 64420 WITH SCORE 64686.767
AT ITER 1896 NEW BEST:: SOT 526790 SOS 266657 HAS SOPS 266657 HAS SOUS 64409 HAS SOUPS 64409 WITH SCORE 64675.657
AT ITER 1914 NEW BEST:: SOT 526595 SOS 265515 HAS SOPS 265515 HAS SOUS 64344 HAS SOUPS 64344 WITH SCORE 64609.515
AT ITER 1920 NEW BEST:: SOT 526595 SOS 265515 HAS SOPS 265515 HAS SOUS 64326 HAS SOUPS 64326 WITH SCORE 64591.515
AT ITER 1924 NEW BEST:: SOT 526586 SOS 265489 HAS SOPS 265489 HAS SOUS 64307 HAS SOUPS 64307 WITH SCORE 64572.489
AT ITER 1942 NEW BEST:: SOT 526363 SOS 264404 HAS SOPS 264404 HAS SOUS 64297 HAS SOUPS 64297 WITH SCORE 64561.404
AT ITER 1955 NEW BEST:: SOT 526254 SOS 264295 HAS SOPS 264295 HAS SOUS 64220 HAS SOUPS 64220 WITH SCORE 64484.295
AT ITER 1956 NEW BEST:: SOT 526130 SOS 263675 HAS SOPS 263675 HAS SOUS 64158 HAS SOUPS 64158 WITH SCORE 64421.675
AT ITER 1971 NEW BEST:: SOT 526020 SOS 263180 HAS SOPS 263180 HAS SOUS 64158 HAS SOUPS 64158 WITH SCORE 64421.18
AT ITER 1999 NEW BEST:: SOT 525556 SOS 260727 HAS SOPS 260727 HAS SOUS 64010 HAS SOUPS 64010 WITH SCORE 64270.727
AT ITER 2017 NEW BEST:: SOT 525519 SOS 260533 HAS SOPS 260533 HAS SOUS 63990 HAS SOUPS 63990 WITH SCORE 64250.533
AT ITER 2037 NEW BEST:: SOT 524651 SOS 256256 HAS SOPS 256256 HAS SOUS 63466 HAS SOUPS 63466 WITH SCORE 63722.256
AT ITER 2038 NEW BEST:: SOT 524379 SOS 254896 HAS SOPS 254896 HAS SOUS 63330 HAS SOUPS 63330 WITH SCORE 63584.896
AT ITER 2045 NEW BEST:: SOT 524339 SOS 254696 HAS SOPS 254696 HAS SOUS 63310 HAS SOUPS 63310 WITH SCORE 63564.696
AT ITER 2047 NEW BEST:: SOT 524337 SOS 254694 HAS SOPS 254694 HAS SOUS 63304 HAS SOUPS 63304 WITH SCORE 63558.694
AT ITER 2055 NEW BEST:: SOT 524255 SOS 254399 HAS SOPS 254399 HAS SOUS 63259 HAS SOUPS 63259 WITH SCORE 63513.399
AT ITER 2056 NEW BEST:: SOT 524124 SOS 254137 HAS SOPS 254137 HAS SOUS 63128 HAS SOUPS 63128 WITH SCORE 63382.137
AT ITER 2057 NEW BEST:: SOT 523992 SOS 253542 HAS SOPS 253542 HAS SOUS 63127 HAS SOUPS 63127 WITH SCORE 63380.542
AT ITER 2067 NEW BEST:: SOT 523924 SOS 253229 HAS SOPS 253229 HAS SOUS 63120 HAS SOUPS 63120 WITH SCORE 63373.229
AT ITER 2071 NEW BEST:: SOT 523886 SOS 252955 HAS SOPS 252955 HAS SOUS 63115 HAS SOUPS 63115 WITH SCORE 63367.955
AT ITER 2077 NEW BEST:: SOT 523910 SOS 253129 HAS SOPS 253129 HAS SOUS 63097 HAS SOUPS 63097 WITH SCORE 63350.129
AT ITER 2147 NEW BEST:: SOT 523864 SOS 252918 HAS SOPS 252918 HAS SOUS 63093 HAS SOUPS 63093 WITH SCORE 63345.918
AT ITER 2152 NEW BEST:: SOT 523832 SOS 252854 HAS SOPS 252854 HAS SOUS 63093 HAS SOUPS 63093 WITH SCORE 63345.854
AT ITER 2165 NEW BEST:: SOT 523692 SOS 251716 HAS SOPS 251716 HAS SOUS 63093 HAS SOUPS 63093 WITH SCORE 63344.716
AT ITER 2166 NEW BEST:: SOT 522964 SOS 248420 HAS SOPS 248420 HAS SOUS 63073 HAS SOUPS 63073 WITH SCORE 63321.42
AT ITER 2187 NEW BEST:: SOT 522904 SOS 248216 HAS SOPS 248216 HAS SOUS 62929 HAS SOUPS 62929 WITH SCORE 63177.216
AT ITER 2195 NEW BEST:: SOT 522551 SOS 246360 HAS SOPS 246360 HAS SOUS 62889 HAS SOUPS 62889 WITH SCORE 63135.36
AT ITER 2205 NEW BEST:: SOT 522933 SOS 248084 HAS SOPS 248084 HAS SOUS 62887 HAS SOUPS 62887 WITH SCORE 63135.084
AT ITER 2220 NEW BEST:: SOT 522933 SOS 248082 HAS SOPS 248082 HAS SOUS 62885 HAS SOUPS 62885 WITH SCORE 63133.082
AT ITER 2236 NEW BEST:: SOT 522971 SOS 248158 HAS SOPS 248158 HAS SOUS 62867 HAS SOUPS 62867 WITH SCORE 63115.158
AT ITER 2239 NEW BEST:: SOT 522941 SOS 248098 HAS SOPS 248098 HAS SOUS 62855 HAS SOUPS 62855 WITH SCORE 63103.098
AT ITER 2250 NEW BEST:: SOT 522916 SOS 246860 HAS SOPS 246860 HAS SOUS 62855 HAS SOUPS 62855 WITH SCORE 63101.86
AT ITER 2281 NEW BEST:: SOT 522778 SOS 246170 HAS SOPS 246170 HAS SOUS 62786 HAS SOUPS 62786 WITH SCORE 63032.17
AT ITER 2288 NEW BEST:: SOT 522739 SOS 246092 HAS SOPS 246092 HAS SOUS 62747 HAS SOUPS 62747 WITH SCORE 62993.092
AT ITER 2328 NEW BEST:: SOT 521859 SOS 241422 HAS SOPS 241422 HAS SOUS 62520 HAS SOUPS 62520 WITH SCORE 62761.422
AT ITER 2331 NEW BEST:: SOT 521787 SOS 241062 HAS SOPS 241062 HAS SOUS 62484 HAS SOUPS 62484 WITH SCORE 62725.062
AT ITER 2333 NEW BEST:: SOT 521788 SOS 240971 HAS SOPS 240971 HAS SOUS 62406 HAS SOUPS 62406 WITH SCORE 62646.971
AT ITER 2335 NEW BEST:: SOT 521556 SOS 239811 HAS SOPS 239811 HAS SOUS 62290 HAS SOUPS 62290 WITH SCORE 62529.811
AT ITER 2344 NEW BEST:: SOT 521571 SOS 239925 HAS SOPS 239925 HAS SOUS 62284 HAS SOUPS 62284 WITH SCORE 62523.925
AT ITER 2356 NEW BEST:: SOT 521555 SOS 239845 HAS SOPS 239845 HAS SOUS 62276 HAS SOUPS 62276 WITH SCORE 62515.845
AT ITER 2415 NEW BEST:: SOT 521543 SOS 239809 HAS SOPS 239809 HAS SOUS 62250 HAS SOUPS 62250 WITH SCORE 62489.809
AT ITER 2452 NEW BEST:: SOT 521407 SOS 239129 HAS SOPS 239129 HAS SOUS 62182 HAS SOUPS 62182 WITH SCORE 62421.129
AT ITER 2470 NEW BEST:: SOT 521215 SOS 238169 HAS SOPS 238169 HAS SOUS 62086 HAS SOUPS 62086 WITH SCORE 62324.169
AT ITER 2478 NEW BEST:: SOT 521234 SOS 237799 HAS SOPS 237799 HAS SOUS 62042 HAS SOUPS 62042 WITH SCORE 62279.799
AT ITER 2481 NEW BEST:: SOT 521128 SOS 237269 HAS SOPS 237269 HAS SOUS 61989 HAS SOUPS 61989 WITH SCORE 62226.269
AT ITER 2509 NEW BEST:: SOT 521118 SOS 237219 HAS SOPS 237219 HAS SOUS 61984 HAS SOUPS 61984 WITH SCORE 62221.219
AT ITER 2516 NEW BEST:: SOT 520992 SOS 236583 HAS SOPS 236583 HAS SOUS 61922 HAS SOUPS 61922 WITH SCORE 62158.583
AT ITER 2523 NEW BEST:: SOT 520956 SOS 236500 HAS SOPS 236500 HAS SOUS 61903 HAS SOUPS 61903 WITH SCORE 62139.5
AT ITER 2533 NEW BEST:: SOT 520954 SOS 236490 HAS SOPS 236490 HAS SOUS 61902 HAS SOUPS 61902 WITH SCORE 62138.49
AT ITER 2553 NEW BEST:: SOT 520916 SOS 236359 HAS SOPS 236359 HAS SOUS 61809 HAS SOUPS 61809 WITH SCORE 62045.359
AT ITER 2620 NEW BEST:: SOT 520844 SOS 236028 HAS SOPS 236028 HAS SOUS 61800 HAS SOUPS 61800 WITH SCORE 62036.028
AT ITER 2644 NEW BEST:: SOT 520603 SOS 234604 HAS SOPS 234604 HAS SOUS 61691 HAS SOUPS 61691 WITH SCORE 61925.604
AT ITER 2685 NEW BEST:: SOT 520581 SOS 234499 HAS SOPS 234499 HAS SOUS 61685 HAS SOUPS 61685 WITH SCORE 61919.499
AT ITER 2695 NEW BEST:: SOT 520376 SOS 233093 HAS SOPS 233093 HAS SOUS 61577 HAS SOUPS 61577 WITH SCORE 61810.093
AT ITER 2700 NEW BEST:: SOT 520376 SOS 233163 HAS SOPS 233163 HAS SOUS 61563 HAS SOUPS 61563 WITH SCORE 61796.163
AT ITER 2703 NEW BEST:: SOT 520346 SOS 233013 HAS SOPS 233013 HAS SOUS 61548 HAS SOUPS 61548 WITH SCORE 61781.013
AT ITER 2722 NEW BEST:: SOT 520046 SOS 231513 HAS SOPS 231513 HAS SOUS 61394 HAS SOUPS 61394 WITH SCORE 61625.513
AT ITER 2727 NEW BEST:: SOT 520060 SOS 231901 HAS SOPS 231901 HAS SOUS 61381 HAS SOUPS 61381 WITH SCORE 61612.901
AT ITER 2749 NEW BEST:: SOT 519984 SOS 232234 HAS SOPS 232234 HAS SOUS 61091 HAS SOUPS 61091 WITH SCORE 61323.234
AT ITER 2770 NEW BEST:: SOT 519853 SOS 231228 HAS SOPS 231228 HAS SOUS 61027 HAS SOUPS 61027 WITH SCORE 61258.228
AT ITER 2780 NEW BEST:: SOT 519727 SOS 230598 HAS SOPS 230598 HAS SOUS 60964 HAS SOUPS 60964 WITH SCORE 61194.598
AT ITER 2791 NEW BEST:: SOT 519399 SOS 229120 HAS SOPS 229120 HAS SOUS 60962 HAS SOUPS 60962 WITH SCORE 61191.12
AT ITER 2793 NEW BEST:: SOT 519496 SOS 229263 HAS SOPS 229263 HAS SOUS 60957 HAS SOUPS 60957 WITH SCORE 61186.263
AT ITER 2818 NEW BEST:: SOT 519350 SOS 228971 HAS SOPS 228971 HAS SOUS 60951 HAS SOUPS 60951 WITH SCORE 61179.971
AT ITER 2841 NEW BEST:: SOT 519242 SOS 228431 HAS SOPS 228431 HAS SOUS 60897 HAS SOUPS 60897 WITH SCORE 61125.431
AT ITER 2847 NEW BEST:: SOT 519039 SOS 227380 HAS SOPS 227380 HAS SOUS 60889 HAS SOUPS 60889 WITH SCORE 61116.38
AT ITER 2893 NEW BEST:: SOT 519039 SOS 227380 HAS SOPS 227380 HAS SOUS 60887 HAS SOUPS 60887 WITH SCORE 61114.38
AT ITER 2902 NEW BEST:: SOT 518812 SOS 225882 HAS SOPS 225882 HAS SOUS 60862 HAS SOUPS 60862 WITH SCORE 61087.882
AT ITER 2903 NEW BEST:: SOT 518037 SOS 224332 HAS SOPS 224332 HAS SOUS 60697 HAS SOUPS 60697 WITH SCORE 60921.332
AT ITER 2904 NEW BEST:: SOT 518004 SOS 224231 HAS SOPS 224231 HAS SOUS 60629 HAS SOUPS 60629 WITH SCORE 60853.231
AT ITER 2924 NEW BEST:: SOT 517792 SOS 222949 HAS SOPS 222949 HAS SOUS 60555 HAS SOUPS 60555 WITH SCORE 60777.949
AT ITER 2934 NEW BEST:: SOT 517302 SOS 220133 HAS SOPS 220133 HAS SOUS 60355 HAS SOUPS 60355 WITH SCORE 60575.133
AT ITER 3009 NEW BEST:: SOT 516832 SOS 217989 HAS SOPS 217989 HAS SOUS 60326 HAS SOUPS 60326 WITH SCORE 60543.989
AT ITER 3022 NEW BEST:: SOT 516832 SOS 217953 HAS SOPS 217953 HAS SOUS 60290 HAS SOUPS 60290 WITH SCORE 60507.953
AT ITER 3028 NEW BEST:: SOT 516824 SOS 217914 HAS SOPS 217914 HAS SOUS 60287 HAS SOUPS 60287 WITH SCORE 60504.914
AT ITER 3037 NEW BEST:: SOT 516561 SOS 217388 HAS SOPS 217388 HAS SOUS 60045 HAS SOUPS 60045 WITH SCORE 60262.388
AT ITER 3071 NEW BEST:: SOT 516583 SOS 217887 HAS SOPS 217887 HAS SOUS 59954 HAS SOUPS 59954 WITH SCORE 60171.887
AT ITER 3096 NEW BEST:: SOT 516528 SOS 217616 HAS SOPS 217616 HAS SOUS 59934 HAS SOUPS 59934 WITH SCORE 60151.616
AT ITER 3116 NEW BEST:: SOT 516518 SOS 217596 HAS SOPS 217596 HAS SOUS 59924 HAS SOUPS 59924 WITH SCORE 60141.596
AT ITER 3126 NEW BEST:: SOT 516592 SOS 218364 HAS SOPS 218364 HAS SOUS 59807 HAS SOUPS 59807 WITH SCORE 60025.364
AT ITER 3129 NEW BEST:: SOT 516526 SOS 218021 HAS SOPS 218021 HAS SOUS 59782 HAS SOUPS 59782 WITH SCORE 60000.021
AT ITER 3130 NEW BEST:: SOT 516505 SOS 217979 HAS SOPS 217979 HAS SOUS 59761 HAS SOUPS 59761 WITH SCORE 59978.979
AT ITER 3141 NEW BEST:: SOT 516410 SOS 217345 HAS SOPS 217345 HAS SOUS 59740 HAS SOUPS 59740 WITH SCORE 59957.345
AT ITER 3158 NEW BEST:: SOT 516408 SOS 217336 HAS SOPS 217336 HAS SOUS 59739 HAS SOUPS 59739 WITH SCORE 59956.336
AT ITER 3161 NEW BEST:: SOT 516344 SOS 216944 HAS SOPS 216944 HAS SOUS 59719 HAS SOUPS 59719 WITH SCORE 59935.944
AT ITER 3166 NEW BEST:: SOT 516415 SOS 217341 HAS SOPS 217341 HAS SOUS 59690 HAS SOUPS 59690 WITH SCORE 59907.341
AT ITER 3237 NEW BEST:: SOT 516411 SOS 217333 HAS SOPS 217333 HAS SOUS 59686 HAS SOUPS 59686 WITH SCORE 59903.333
AT ITER 3251 NEW BEST:: SOT 516356 SOS 216809 HAS SOPS 216809 HAS SOUS 59638 HAS SOUPS 59638 WITH SCORE 59854.809
AT ITER 3301 NEW BEST:: SOT 516356 SOS 216793 HAS SOPS 216793 HAS SOUS 59622 HAS SOUPS 59622 WITH SCORE 59838.793
AT ITER 3304 NEW BEST:: SOT 516344 SOS 216739 HAS SOPS 216739 HAS SOUS 59622 HAS SOUPS 59622 WITH SCORE 59838.739
AT ITER 3311 NEW BEST:: SOT 515823 SOS 214101 HAS SOPS 214101 HAS SOUS 59354 HAS SOUPS 59354 WITH SCORE 59568.101
AT ITER 3390 NEW BEST:: SOT 515987 SOS 215144 HAS SOPS 215144 HAS SOUS 59232 HAS SOUPS 59232 WITH SCORE 59447.144
AT ITER 3398 NEW BEST:: SOT 515191 SOS 210763 HAS SOPS 210763 HAS SOUS 59198 HAS SOUPS 59198 WITH SCORE 59408.763
AT ITER 3412 NEW BEST:: SOT 515083 SOS 210547 HAS SOPS 210547 HAS SOUS 59065 HAS SOUPS 59065 WITH SCORE 59275.547
AT ITER 3417 NEW BEST:: SOT 514959 SOS 210220 HAS SOPS 210220 HAS SOUS 59065 HAS SOUPS 59065 WITH SCORE 59275.22
AT ITER 3422 NEW BEST:: SOT 514741 SOS 209130 HAS SOPS 209130 HAS SOUS 58956 HAS SOUPS 58956 WITH SCORE 59165.13
AT ITER 3427 NEW BEST:: SOT 514732 SOS 209112 HAS SOPS 209112 HAS SOUS 58939 HAS SOUPS 58939 WITH SCORE 59148.112
AT ITER 3518 NEW BEST:: SOT 514515 SOS 208006 HAS SOPS 208006 HAS SOUS 58834 HAS SOUPS 58834 WITH SCORE 59042.006
AT ITER 3536 NEW BEST:: SOT 514395 SOS 207406 HAS SOPS 207406 HAS SOUS 58774 HAS SOUPS 58774 WITH SCORE 58981.406
AT ITER 3563 NEW BEST:: SOT 514301 SOS 206947 HAS SOPS 206947 HAS SOUS 58738 HAS SOUPS 58738 WITH SCORE 58944.947
AT ITER 3569 NEW BEST:: SOT 514252 SOS 206849 HAS SOPS 206849 HAS SOUS 58689 HAS SOUPS 58689 WITH SCORE 58895.849
AT ITER 3573 NEW BEST:: SOT 514322 SOS 206569 HAS SOPS 206569 HAS SOUS 58617 HAS SOUPS 58617 WITH SCORE 58823.569
AT ITER 3597 NEW BEST:: SOT 514157 SOS 205638 HAS SOPS 205638 HAS SOUS 58600 HAS SOUPS 58600 WITH SCORE 58805.638
AT ITER 3623 NEW BEST:: SOT 513972 SOS 204496 HAS SOPS 204496 HAS SOUS 58524 HAS SOUPS 58524 WITH SCORE 58728.496
AT ITER 3627 NEW BEST:: SOT 513923 SOS 204453 HAS SOPS 204453 HAS SOUS 58478 HAS SOUPS 58478 WITH SCORE 58682.453
AT ITER 3661 NEW BEST:: SOT 513639 SOS 203171 HAS SOPS 203171 HAS SOUS 58474 HAS SOUPS 58474 WITH SCORE 58677.171
AT ITER 3666 NEW BEST:: SOT 513569 SOS 202821 HAS SOPS 202821 HAS SOUS 58407 HAS SOUPS 58407 WITH SCORE 58609.821
AT ITER 3677 NEW BEST:: SOT 513377 SOS 202437 HAS SOPS 202437 HAS SOUS 58302 HAS SOUPS 58302 WITH SCORE 58504.437
AT ITER 3697 NEW BEST:: SOT 513357 SOS 202337 HAS SOPS 202337 HAS SOUS 58292 HAS SOUPS 58292 WITH SCORE 58494.337
AT ITER 3702 NEW BEST:: SOT 513295 SOS 202027 HAS SOPS 202027 HAS SOUS 58261 HAS SOUPS 58261 WITH SCORE 58463.027
AT ITER 3704 NEW BEST:: SOT 513270 SOS 201974 HAS SOPS 201974 HAS SOUS 58244 HAS SOUPS 58244 WITH SCORE 58445.974
AT ITER 3712 NEW BEST:: SOT 513270 SOS 201968 HAS SOPS 201968 HAS SOUS 58238 HAS SOUPS 58238 WITH SCORE 58439.968
AT ITER 3716 NEW BEST:: SOT 513238 SOS 201772 HAS SOPS 201772 HAS SOUS 58228 HAS SOUPS 58228 WITH SCORE 58429.772
AT ITER 3734 NEW BEST:: SOT 513230 SOS 201756 HAS SOPS 201756 HAS SOUS 58228 HAS SOUPS 58228 WITH SCORE 58429.756
AT ITER 3765 NEW BEST:: SOT 513230 SOS 201756 HAS SOPS 201756 HAS SOUS 58138 HAS SOUPS 58138 WITH SCORE 58339.756
AT ITER 3766 NEW BEST:: SOT 513188 SOS 201522 HAS SOPS 201522 HAS SOUS 58121 HAS SOUPS 58121 WITH SCORE 58322.522
AT ITER 3768 NEW BEST:: SOT 513197 SOS 201610 HAS SOPS 201610 HAS SOUS 58107 HAS SOUPS 58107 WITH SCORE 58308.61
AT ITER 3793 NEW BEST:: SOT 512769 SOS 199440 HAS SOPS 199440 HAS SOUS 57898 HAS SOUPS 57898 WITH SCORE 58097.44
AT ITER 3796 NEW BEST:: SOT 512756 SOS 199401 HAS SOPS 199401 HAS SOUS 57872 HAS SOUPS 57872 WITH SCORE 58071.401
AT ITER 3834 NEW BEST:: SOT 512738 SOS 199311 HAS SOPS 199311 HAS SOUS 57863 HAS SOUPS 57863 WITH SCORE 58062.311
AT ITER 3850 NEW BEST:: SOT 512652 SOS 199139 HAS SOPS 199139 HAS SOUS 57815 HAS SOUPS 57815 WITH SCORE 58014.139
AT ITER 3862 NEW BEST:: SOT 512382 SOS 197807 HAS SOPS 197807 HAS SOUS 57698 HAS SOUPS 57698 WITH SCORE 57895.807
AT ITER 3868 NEW BEST:: SOT 512387 SOS 198052 HAS SOPS 198052 HAS SOUS 57673 HAS SOUPS 57673 WITH SCORE 57871.052
AT ITER 3893 NEW BEST:: SOT 512305 SOS 197562 HAS SOPS 197562 HAS SOUS 57661 HAS SOUPS 57661 WITH SCORE 57858.562
AT ITER 3917 NEW BEST:: SOT 512286 SOS 197410 HAS SOPS 197410 HAS SOUS 57661 HAS SOUPS 57661 WITH SCORE 57858.41
AT ITER 3925 NEW BEST:: SOT 512286 SOS 197410 HAS SOPS 197410 HAS SOUS 57651 HAS SOUPS 57651 WITH SCORE 57848.41
AT ITER 3946 NEW BEST:: SOT 512286 SOS 197414 HAS SOPS 197414 HAS SOUS 57617 HAS SOUPS 57617 WITH SCORE 57814.414
AT ITER 3965 NEW BEST:: SOT 512177 SOS 196632 HAS SOPS 196632 HAS SOUS 57560 HAS SOUPS 57560 WITH SCORE 57756.632
AT ITER 3994 NEW BEST:: SOT 512168 SOS 196612 HAS SOPS 196612 HAS SOUS 57543 HAS SOUPS 57543 WITH SCORE 57739.612
AT ITER 4011 NEW BEST:: SOT 512140 SOS 196556 HAS SOPS 196556 HAS SOUS 57543 HAS SOUPS 57543 WITH SCORE 57739.556
AT ITER 4045 NEW BEST:: SOT 512060 SOS 196156 HAS SOPS 196156 HAS SOUS 57503 HAS SOUPS 57503 WITH SCORE 57699.156
AT ITER 4053 NEW BEST:: SOT 511952 SOS 195670 HAS SOPS 195670 HAS SOUS 57503 HAS SOUPS 57503 WITH SCORE 57698.67
AT ITER 4058 NEW BEST:: SOT 511877 SOS 195226 HAS SOPS 195226 HAS SOUS 57477 HAS SOUPS 57477 WITH SCORE 57672.226
AT ITER 4084 NEW BEST:: SOT 511797 SOS 194826 HAS SOPS 194826 HAS SOUS 57437 HAS SOUPS 57437 WITH SCORE 57631.826
AT ITER 4089 NEW BEST:: SOT 511797 SOS 194672 HAS SOPS 194672 HAS SOUS 57283 HAS SOUPS 57283 WITH SCORE 57477.672
AT ITER 4108 NEW BEST:: SOT 511763 SOS 194502 HAS SOPS 194502 HAS SOUS 57266 HAS SOUPS 57266 WITH SCORE 57460.502
AT ITER 4112 NEW BEST:: SOT 511763 SOS 194502 HAS SOPS 194502 HAS SOUS 57218 HAS SOUPS 57218 WITH SCORE 57412.502
AT ITER 4117 NEW BEST:: SOT 511610 SOS 193680 HAS SOPS 193680 HAS SOUS 57145 HAS SOUPS 57145 WITH SCORE 57338.68
AT ITER 4129 NEW BEST:: SOT 511524 SOS 193508 HAS SOPS 193508 HAS SOUS 57085 HAS SOUPS 57085 WITH SCORE 57278.508
AT ITER 4154 NEW BEST:: SOT 510936 SOS 190778 HAS SOPS 190778 HAS SOUS 57050 HAS SOUPS 57050 WITH SCORE 57240.778
AT ITER 4159 NEW BEST:: SOT 510826 SOS 190228 HAS SOPS 190228 HAS SOUS 56995 HAS SOUPS 56995 WITH SCORE 57185.228
AT ITER 4211 NEW BEST:: SOT 510834 SOS 190196 HAS SOPS 190196 HAS SOUS 56990 HAS SOUPS 56990 WITH SCORE 57180.196
AT ITER 4215 NEW BEST:: SOT 510815 SOS 190112 HAS SOPS 190112 HAS SOUS 56903 HAS SOUPS 56903 WITH SCORE 57093.112
AT ITER 4239 NEW BEST:: SOT 510689 SOS 189482 HAS SOPS 189482 HAS SOUS 56830 HAS SOUPS 56830 WITH SCORE 57019.482
AT ITER 4269 NEW BEST:: SOT 510679 SOS 190038 HAS SOPS 190038 HAS SOUS 56790 HAS SOUPS 56790 WITH SCORE 56980.038
AT ITER 4270 NEW BEST:: SOT 510705 SOS 190032 HAS SOPS 190032 HAS SOUS 56758 HAS SOUPS 56758 WITH SCORE 56948.032
AT ITER 4280 NEW BEST:: SOT 510705 SOS 189996 HAS SOPS 189996 HAS SOUS 56724 HAS SOUPS 56724 WITH SCORE 56913.996
AT ITER 4285 NEW BEST:: SOT 510705 SOS 189993 HAS SOPS 189993 HAS SOUS 56715 HAS SOUPS 56715 WITH SCORE 56904.993
AT ITER 4296 NEW BEST:: SOT 510639 SOS 189603 HAS SOPS 189603 HAS SOUS 56692 HAS SOUPS 56692 WITH SCORE 56881.603
AT ITER 4344 NEW BEST:: SOT 510534 SOS 189324 HAS SOPS 189324 HAS SOUS 56544 HAS SOUPS 56544 WITH SCORE 56733.324
AT ITER 4364 NEW BEST:: SOT 510532 SOS 189314 HAS SOPS 189314 HAS SOUS 56541 HAS SOUPS 56541 WITH SCORE 56730.314
AT ITER 4383 NEW BEST:: SOT 510498 SOS 189187 HAS SOPS 189187 HAS SOUS 56448 HAS SOUPS 56448 WITH SCORE 56637.187
AT ITER 4396 NEW BEST:: SOT 510473 SOS 189137 HAS SOPS 189137 HAS SOUS 56432 HAS SOUPS 56432 WITH SCORE 56621.137
AT ITER 4431 NEW BEST:: SOT 510469 SOS 189117 HAS SOPS 189117 HAS SOUS 56430 HAS SOUPS 56430 WITH SCORE 56619.117
AT ITER 4441 NEW BEST:: SOT 510464 SOS 189107 HAS SOPS 189107 HAS SOUS 56425 HAS SOUPS 56425 WITH SCORE 56614.107
AT ITER 4479 NEW BEST:: SOT 510461 SOS 189190 HAS SOPS 189190 HAS SOUS 56405 HAS SOUPS 56405 WITH SCORE 56594.19
AT ITER 4487 NEW BEST:: SOT 510461 SOS 189190 HAS SOPS 189190 HAS SOUS 56401 HAS SOUPS 56401 WITH SCORE 56590.19
AT ITER 4519 NEW BEST:: SOT 510233 SOS 188694 HAS SOPS 188694 HAS SOUS 56240 HAS SOUPS 56240 WITH SCORE 56428.694
AT ITER 4541 NEW BEST:: SOT 510147 SOS 188483 HAS SOPS 188483 HAS SOUS 56159 HAS SOUPS 56159 WITH SCORE 56347.483
AT ITER 4624 NEW BEST:: SOT 510119 SOS 188331 HAS SOPS 188331 HAS SOUS 56147 HAS SOUPS 56147 WITH SCORE 56335.331
AT ITER 4646 NEW BEST:: SOT 510112 SOS 188317 HAS SOPS 188317 HAS SOUS 56140 HAS SOUPS 56140 WITH SCORE 56328.317
AT ITER 4658 NEW BEST:: SOT 510096 SOS 188237 HAS SOPS 188237 HAS SOUS 56132 HAS SOUPS 56132 WITH SCORE 56320.237
AT ITER 4675 NEW BEST:: SOT 510062 SOS 188067 HAS SOPS 188067 HAS SOUS 56115 HAS SOUPS 56115 WITH SCORE 56303.067
AT ITER 4680 NEW BEST:: SOT 510059 SOS 188029 HAS SOPS 188029 HAS SOUS 55766 HAS SOUPS 55766 WITH SCORE 55954.029
AT ITER 4717 NEW BEST:: SOT 509979 SOS 187869 HAS SOPS 187869 HAS SOUS 55686 HAS SOUPS 55686 WITH SCORE 55873.869
AT ITER 4741 NEW BEST:: SOT 509979 SOS 187869 HAS SOPS 187869 HAS SOUS 55672 HAS SOUPS 55672 WITH SCORE 55859.869
AT ITER 4743 NEW BEST:: SOT 509956 SOS 187838 HAS SOPS 187838 HAS SOUS 55664 HAS SOUPS 55664 WITH SCORE 55851.838
AT ITER 4758 NEW BEST:: SOT 509942 SOS 187777 HAS SOPS 187777 HAS SOUS 55617 HAS SOUPS 55617 WITH SCORE 55804.777
AT ITER 4765 NEW BEST:: SOT 509942 SOS 187771 HAS SOPS 187771 HAS SOUS 55607 HAS SOUPS 55607 WITH SCORE 55794.771
AT ITER 4769 NEW BEST:: SOT 509942 SOS 187771 HAS SOPS 187771 HAS SOUS 55581 HAS SOUPS 55581 WITH SCORE 55768.771
AT ITER 4792 NEW BEST:: SOT 509942 SOS 187771 HAS SOPS 187771 HAS SOUS 55573 HAS SOUPS 55573 WITH SCORE 55760.771
AT ITER 4842 NEW BEST:: SOT 509860 SOS 187607 HAS SOPS 187607 HAS SOUS 55491 HAS SOUPS 55491 WITH SCORE 55678.607
AT ITER 4850 NEW BEST:: SOT 509859 SOS 187605 HAS SOPS 187605 HAS SOUS 55490 HAS SOUPS 55490 WITH SCORE 55677.605
AT ITER 4859 NEW BEST:: SOT 509859 SOS 187605 HAS SOPS 187605 HAS SOUS 55462 HAS SOUPS 55462 WITH SCORE 55649.605
AT ITER 4860 NEW BEST:: SOT 509823 SOS 187803 HAS SOPS 187803 HAS SOUS 55381 HAS SOUPS 55381 WITH SCORE 55568.803
AT ITER 4901 NEW BEST:: SOT 509743 SOS 187557 HAS SOPS 187557 HAS SOUS 55307 HAS SOUPS 55307 WITH SCORE 55494.557
AT ITER 4924 NEW BEST:: SOT 509607 SOS 186899 HAS SOPS 186899 HAS SOUS 55294 HAS SOUPS 55294 WITH SCORE 55480.899
AT ITER 4968 NEW BEST:: SOT 509581 SOS 186796 HAS SOPS 186796 HAS SOUS 55217 HAS SOUPS 55217 WITH SCORE 55403.796
AT ITER 5017 NEW BEST:: SOT 509413 SOS 185926 HAS SOPS 185926 HAS SOUS 55118 HAS SOUPS 55118 WITH SCORE 55303.926
AT ITER 5027 NEW BEST:: SOT 509243 SOS 185076 HAS SOPS 185076 HAS SOUS 55027 HAS SOUPS 55027 WITH SCORE 55212.076
AT ITER 5061 NEW BEST:: SOT 509161 SOS 184504 HAS SOPS 184504 HAS SOUS 55013 HAS SOUPS 55013 WITH SCORE 55197.504
AT ITER 5078 NEW BEST:: SOT 509159 SOS 184494 HAS SOPS 184494 HAS SOUS 55010 HAS SOUPS 55010 WITH SCORE 55194.494
AT ITER 5085 NEW BEST:: SOT 509148 SOS 184460 HAS SOPS 184460 HAS SOUS 54986 HAS SOUPS 54986 WITH SCORE 55170.46
AT ITER 5129 NEW BEST:: SOT 509152 SOS 184456 HAS SOPS 184456 HAS SOUS 54978 HAS SOUPS 54978 WITH SCORE 55162.456
AT ITER 5202 NEW BEST:: SOT 509152 SOS 184446 HAS SOPS 184446 HAS SOUS 54968 HAS SOUPS 54968 WITH SCORE 55152.446
AT ITER 5207 NEW BEST:: SOT 508712 SOS 181910 HAS SOPS 181910 HAS SOUS 54814 HAS SOUPS 54814 WITH SCORE 54995.91
AT ITER 5212 NEW BEST:: SOT 508683 SOS 181851 HAS SOPS 181851 HAS SOUS 54797 HAS SOUPS 54797 WITH SCORE 54978.851
AT ITER 5218 NEW BEST:: SOT 508411 SOS 180491 HAS SOPS 180491 HAS SOUS 54661 HAS SOUPS 54661 WITH SCORE 54841.491
AT ITER 5235 NEW BEST:: SOT 508439 SOS 180527 HAS SOPS 180527 HAS SOUS 54658 HAS SOUPS 54658 WITH SCORE 54838.527
AT ITER 5240 NEW BEST:: SOT 507997 SOS 178317 HAS SOPS 178317 HAS SOUS 54421 HAS SOUPS 54421 WITH SCORE 54599.317
AT ITER 5242 NEW BEST:: SOT 507880 SOS 177527 HAS SOPS 177527 HAS SOUS 54381 HAS SOUPS 54381 WITH SCORE 54558.527
AT ITER 5245 NEW BEST:: SOT 507880 SOS 177522 HAS SOPS 177522 HAS SOUS 54376 HAS SOUPS 54376 WITH SCORE 54553.522
AT ITER 5250 NEW BEST:: SOT 507685 SOS 176286 HAS SOPS 176286 HAS SOUS 54329 HAS SOUPS 54329 WITH SCORE 54505.286
AT ITER 5253 NEW BEST:: SOT 507565 SOS 175488 HAS SOPS 175488 HAS SOUS 54296 HAS SOUPS 54296 WITH SCORE 54471.488
AT ITER 5261 NEW BEST:: SOT 507559 SOS 175458 HAS SOPS 175458 HAS SOUS 54293 HAS SOUPS 54293 WITH SCORE 54468.458
AT ITER 5291 NEW BEST:: SOT 507406 SOS 174612 HAS SOPS 174612 HAS SOUS 54208 HAS SOUPS 54208 WITH SCORE 54382.612
AT ITER 5331 NEW BEST:: SOT 507336 SOS 174437 HAS SOPS 174437 HAS SOUS 54138 HAS SOUPS 54138 WITH SCORE 54312.437
AT ITER 5373 NEW BEST:: SOT 507335 SOS 174435 HAS SOPS 174435 HAS SOUS 54137 HAS SOUPS 54137 WITH SCORE 54311.435
AT ITER 5387 NEW BEST:: SOT 507334 SOS 174433 HAS SOPS 174433 HAS SOUS 54136 HAS SOUPS 54136 WITH SCORE 54310.433
AT ITER 5428 NEW BEST:: SOT 507451 SOS 174562 HAS SOPS 174562 HAS SOUS 54106 HAS SOUPS 54106 WITH SCORE 54280.562
AT ITER 5434 NEW BEST:: SOT 507441 SOS 174542 HAS SOPS 174542 HAS SOUS 54096 HAS SOUPS 54096 WITH SCORE 54270.542
AT ITER 5442 NEW BEST:: SOT 507403 SOS 174466 HAS SOPS 174466 HAS SOUS 54058 HAS SOUPS 54058 WITH SCORE 54232.466
AT ITER 5519 NEW BEST:: SOT 507400 SOS 174455 HAS SOPS 174455 HAS SOUS 54056 HAS SOUPS 54056 WITH SCORE 54230.455
AT ITER 5609 NEW BEST:: SOT 507373 SOS 174711 HAS SOPS 174711 HAS SOUS 54055 HAS SOUPS 54055 WITH SCORE 54229.711
AT ITER 5613 NEW BEST:: SOT 507315 SOS 174450 HAS SOPS 174450 HAS SOUS 54055 HAS SOUPS 54055 WITH SCORE 54229.45
AT ITER 5639 NEW BEST:: SOT 507316 SOS 174452 HAS SOPS 174452 HAS SOUS 54049 HAS SOUPS 54049 WITH SCORE 54223.452
AT ITER 5652 NEW BEST:: SOT 507260 SOS 174276 HAS SOPS 174276 HAS SOUS 53952 HAS SOUPS 53952 WITH SCORE 54126.276
AT ITER 5654 NEW BEST:: SOT 507206 SOS 173881 HAS SOPS 173881 HAS SOUS 53936 HAS SOUPS 53936 WITH SCORE 54109.881
AT ITER 5661 NEW BEST:: SOT 506956 SOS 172480 HAS SOPS 172480 HAS SOUS 53914 HAS SOUPS 53914 WITH SCORE 54086.48
AT ITER 5664 NEW BEST:: SOT 506915 SOS 172152 HAS SOPS 172152 HAS SOUS 53873 HAS SOUPS 53873 WITH SCORE 54045.152
AT ITER 5672 NEW BEST:: SOT 506915 SOS 172151 HAS SOPS 172151 HAS SOUS 53872 HAS SOUPS 53872 WITH SCORE 54044.151
AT ITER 5687 NEW BEST:: SOT 506877 SOS 172097 HAS SOPS 172097 HAS SOUS 53856 HAS SOUPS 53856 WITH SCORE 54028.097
AT ITER 5695 NEW BEST:: SOT 506838 SOS 171978 HAS SOPS 171978 HAS SOUS 53748 HAS SOUPS 53748 WITH SCORE 53919.978
AT ITER 5707 NEW BEST:: SOT 506820 SOS 171961 HAS SOPS 171961 HAS SOUS 53692 HAS SOUPS 53692 WITH SCORE 53863.961
AT ITER 5721 NEW BEST:: SOT 506706 SOS 171402 HAS SOPS 171402 HAS SOUS 53646 HAS SOUPS 53646 WITH SCORE 53817.402
AT ITER 5734 NEW BEST:: SOT 506706 SOS 171155 HAS SOPS 171155 HAS SOUS 53622 HAS SOUPS 53622 WITH SCORE 53793.155
AT ITER 5785 NEW BEST:: SOT 506702 SOS 171147 HAS SOPS 171147 HAS SOUS 53618 HAS SOUPS 53618 WITH SCORE 53789.147
AT ITER 5834 NEW BEST:: SOT 506692 SOS 171403 HAS SOPS 171403 HAS SOUS 53558 HAS SOUPS 53558 WITH SCORE 53729.403
AT ITER 5844 NEW BEST:: SOT 506692 SOS 171392 HAS SOPS 171392 HAS SOUS 53547 HAS SOUPS 53547 WITH SCORE 53718.392
AT ITER 5880 NEW BEST:: SOT 506682 SOS 171342 HAS SOPS 171342 HAS SOUS 53542 HAS SOUPS 53542 WITH SCORE 53713.342
AT ITER 5896 NEW BEST:: SOT 506426 SOS 170062 HAS SOPS 170062 HAS SOUS 53414 HAS SOUPS 53414 WITH SCORE 53584.062
AT ITER 5929 NEW BEST:: SOT 506423 SOS 170050 HAS SOPS 170050 HAS SOUS 53405 HAS SOUPS 53405 WITH SCORE 53575.05
AT ITER 5931 NEW BEST:: SOT 506387 SOS 169924 HAS SOPS 169924 HAS SOUS 53387 HAS SOUPS 53387 WITH SCORE 53556.924
AT ITER 5944 NEW BEST:: SOT 506387 SOS 169924 HAS SOPS 169924 HAS SOUS 53383 HAS SOUPS 53383 WITH SCORE 53552.924
AT ITER 5961 NEW BEST:: SOT 506387 SOS 169870 HAS SOPS 169870 HAS SOUS 53329 HAS SOUPS 53329 WITH SCORE 53498.87
AT ITER 5982 NEW BEST:: SOT 506359 SOS 169646 HAS SOPS 169646 HAS SOUS 53329 HAS SOUPS 53329 WITH SCORE 53498.646
AT ITER 5983 NEW BEST:: SOT 506085 SOS 168252 HAS SOPS 168252 HAS SOUS 53196 HAS SOUPS 53196 WITH SCORE 53364.252
AT ITER 5998 NEW BEST:: SOT 506078 SOS 168238 HAS SOPS 168238 HAS SOUS 53196 HAS SOUPS 53196 WITH SCORE 53364.238
AT ITER 5999 NEW BEST:: SOT 505578 SOS 166135 HAS SOPS 166135 HAS SOUS 52896 HAS SOUPS 52896 WITH SCORE 53062.135
AT ITER 6074 NEW BEST:: SOT 505374 SOS 165115 HAS SOPS 165115 HAS SOUS 52746 HAS SOUPS 52746 WITH SCORE 52911.115
AT ITER 6079 NEW BEST:: SOT 505188 SOS 164185 HAS SOPS 164185 HAS SOUS 52653 HAS SOUPS 52653 WITH SCORE 52817.185
AT ITER 6083 NEW BEST:: SOT 505188 SOS 164178 HAS SOPS 164178 HAS SOUS 52646 HAS SOUPS 52646 WITH SCORE 52810.178
AT ITER 6092 NEW BEST:: SOT 505057 SOS 163358 HAS SOPS 163358 HAS SOUS 52599 HAS SOUPS 52599 WITH SCORE 52762.358
AT ITER 6099 NEW BEST:: SOT 505057 SOS 163357 HAS SOPS 163357 HAS SOUS 52598 HAS SOUPS 52598 WITH SCORE 52761.357
AT ITER 6141 NEW BEST:: SOT 505057 SOS 163353 HAS SOPS 163353 HAS SOUS 52594 HAS SOUPS 52594 WITH SCORE 52757.353
AT ITER 6149 NEW BEST:: SOT 505057 SOS 163351 HAS SOPS 163351 HAS SOUS 52592 HAS SOUPS 52592 WITH SCORE 52755.351
AT ITER 6209 NEW BEST:: SOT 504954 SOS 162999 HAS SOPS 162999 HAS SOUS 52553 HAS SOUPS 52553 WITH SCORE 52715.999
AT ITER 6221 NEW BEST:: SOT 504962 SOS 163015 HAS SOPS 163015 HAS SOUS 52545 HAS SOUPS 52545 WITH SCORE 52708.015
AT ITER 6226 NEW BEST:: SOT 504769 SOS 161981 HAS SOPS 161981 HAS SOUS 52460 HAS SOUPS 52460 WITH SCORE 52621.981
AT ITER 6246 NEW BEST:: SOT 504753 SOS 161949 HAS SOPS 161949 HAS SOUS 52460 HAS SOUPS 52460 WITH SCORE 52621.949
AT ITER 6252 NEW BEST:: SOT 504731 SOS 161839 HAS SOPS 161839 HAS SOUS 52449 HAS SOUPS 52449 WITH SCORE 52610.839
AT ITER 6296 NEW BEST:: SOT 504651 SOS 161439 HAS SOPS 161439 HAS SOUS 52409 HAS SOUPS 52409 WITH SCORE 52570.439
AT ITER 6305 NEW BEST:: SOT 504524 SOS 160752 HAS SOPS 160752 HAS SOUS 52407 HAS SOUPS 52407 WITH SCORE 52567.752
AT ITER 6351 NEW BEST:: SOT 504524 SOS 160752 HAS SOPS 160752 HAS SOUS 52311 HAS SOUPS 52311 WITH SCORE 52471.752
AT ITER 6363 NEW BEST:: SOT 504489 SOS 160682 HAS SOPS 160682 HAS SOUS 52287 HAS SOUPS 52287 WITH SCORE 52447.682
AT ITER 6366 NEW BEST:: SOT 504481 SOS 160646 HAS SOPS 160646 HAS SOUS 52287 HAS SOUPS 52287 WITH SCORE 52447.646
AT ITER 6385 NEW BEST:: SOT 504472 SOS 160742 HAS SOPS 160742 HAS SOUS 52252 HAS SOUPS 52252 WITH SCORE 52412.742
AT ITER 6423 NEW BEST:: SOT 504472 SOS 160737 HAS SOPS 160737 HAS SOUS 52247 HAS SOUPS 52247 WITH SCORE 52407.737
AT ITER 6473 NEW BEST:: SOT 504440 SOS 160565 HAS SOPS 160565 HAS SOUS 52233 HAS SOUPS 52233 WITH SCORE 52393.565
AT ITER 6665 NEW BEST:: SOT 504431 SOS 160547 HAS SOPS 160547 HAS SOUS 52224 HAS SOUPS 52224 WITH SCORE 52384.547
AT ITER 6667 NEW BEST:: SOT 504287 SOS 159827 HAS SOPS 159827 HAS SOUS 52152 HAS SOUPS 52152 WITH SCORE 52311.827
AT ITER 6687 NEW BEST:: SOT 504253 SOS 159657 HAS SOPS 159657 HAS SOUS 52135 HAS SOUPS 52135 WITH SCORE 52294.657
AT ITER 6698 NEW BEST:: SOT 504214 SOS 159807 HAS SOPS 159807 HAS SOUS 52061 HAS SOUPS 52061 WITH SCORE 52220.807
AT ITER 6706 NEW BEST:: SOT 504016 SOS 158817 HAS SOPS 158817 HAS SOUS 51962 HAS SOUPS 51962 WITH SCORE 52120.817
AT ITER 6753 NEW BEST:: SOT 503842 SOS 158441 HAS SOPS 158441 HAS SOUS 51874 HAS SOUPS 51874 WITH SCORE 52032.441
AT ITER 6769 NEW BEST:: SOT 503842 SOS 158441 HAS SOPS 158441 HAS SOUS 51868 HAS SOUPS 51868 WITH SCORE 52026.441
AT ITER 6796 NEW BEST:: SOT 503830 SOS 158419 HAS SOPS 158419 HAS SOUS 51858 HAS SOUPS 51858 WITH SCORE 52016.419
AT ITER 6803 NEW BEST:: SOT 503730 SOS 157919 HAS SOPS 157919 HAS SOUS 51808 HAS SOUPS 51808 WITH SCORE 51965.919
AT ITER 6836 NEW BEST:: SOT 503710 SOS 158489 HAS SOPS 158489 HAS SOUS 51721 HAS SOUPS 51721 WITH SCORE 51879.489
AT ITER 6844 NEW BEST:: SOT 503662 SOS 158265 HAS SOPS 158265 HAS SOUS 51720 HAS SOUPS 51720 WITH SCORE 51878.265
AT ITER 6856 NEW BEST:: SOT 503657 SOS 158258 HAS SOPS 158258 HAS SOUS 51718 HAS SOUPS 51718 WITH SCORE 51876.258
AT ITER 6877 NEW BEST:: SOT 503585 SOS 158511 HAS SOPS 158511 HAS SOUS 51669 HAS SOUPS 51669 WITH SCORE 51827.511
AT ITER 6879 NEW BEST:: SOT 503537 SOS 158330 HAS SOPS 158330 HAS SOUS 51638 HAS SOUPS 51638 WITH SCORE 51796.33
AT ITER 6954 NEW BEST:: SOT 503487 SOS 158199 HAS SOPS 158199 HAS SOUS 51596 HAS SOUPS 51596 WITH SCORE 51754.199
AT ITER 6961 NEW BEST:: SOT 503494 SOS 158333 HAS SOPS 158333 HAS SOUS 51583 HAS SOUPS 51583 WITH SCORE 51741.333
AT ITER 7043 NEW BEST:: SOT 503392 SOS 157823 HAS SOPS 157823 HAS SOUS 51532 HAS SOUPS 51532 WITH SCORE 51689.823
AT ITER 7047 NEW BEST:: SOT 503338 SOS 157574 HAS SOPS 157574 HAS SOUS 51526 HAS SOUPS 51526 WITH SCORE 51683.574
AT ITER 7095 NEW BEST:: SOT 503338 SOS 157574 HAS SOPS 157574 HAS SOUS 51276 HAS SOUPS 51276 WITH SCORE 51433.574
AT ITER 7155 NEW BEST:: SOT 503266 SOS 157214 HAS SOPS 157214 HAS SOUS 51240 HAS SOUPS 51240 WITH SCORE 51397.214
AT ITER 7158 NEW BEST:: SOT 503291 SOS 157264 HAS SOPS 157264 HAS SOUS 51235 HAS SOUPS 51235 WITH SCORE 51392.264
AT ITER 7160 NEW BEST:: SOT 503291 SOS 157264 HAS SOPS 157264 HAS SOUS 51149 HAS SOUPS 51149 WITH SCORE 51306.264
AT ITER 7161 NEW BEST:: SOT 503280 SOS 157220 HAS SOPS 157220 HAS SOUS 51136 HAS SOUPS 51136 WITH SCORE 51293.22
AT ITER 7195 NEW BEST:: SOT 503280 SOS 157216 HAS SOPS 157216 HAS SOUS 51132 HAS SOUPS 51132 WITH SCORE 51289.216
AT ITER 7216 NEW BEST:: SOT 503208 SOS 156766 HAS SOPS 156766 HAS SOUS 51111 HAS SOUPS 51111 WITH SCORE 51267.766
AT ITER 7240 NEW BEST:: SOT 502993 SOS 155683 HAS SOPS 155683 HAS SOUS 51107 HAS SOUPS 51107 WITH SCORE 51262.683
AT ITER 7243 NEW BEST:: SOT 502957 SOS 155497 HAS SOPS 155497 HAS SOUS 51090 HAS SOUPS 51090 WITH SCORE 51245.497
AT ITER 7246 NEW BEST:: SOT 502462 SOS 152296 HAS SOPS 152296 HAS SOUS 50990 HAS SOUPS 50990 WITH SCORE 51142.296
AT ITER 7256 NEW BEST:: SOT 502462 SOS 152233 HAS SOPS 152233 HAS SOUS 50927 HAS SOUPS 50927 WITH SCORE 51079.233
AT ITER 7259 NEW BEST:: SOT 502464 SOS 152247 HAS SOPS 152247 HAS SOUS 50925 HAS SOUPS 50925 WITH SCORE 51077.247
AT ITER 7297 NEW BEST:: SOT 502458 SOS 152217 HAS SOPS 152217 HAS SOUS 50922 HAS SOUPS 50922 WITH SCORE 51074.217
AT ITER 7301 NEW BEST:: SOT 502398 SOS 152067 HAS SOPS 152067 HAS SOUS 50862 HAS SOUPS 50862 WITH SCORE 51014.067
AT ITER 7321 NEW BEST:: SOT 502395 SOS 151905 HAS SOPS 151905 HAS SOUS 50836 HAS SOUPS 50836 WITH SCORE 50987.905
AT ITER 7329 NEW BEST:: SOT 502409 SOS 151933 HAS SOPS 151933 HAS SOUS 50826 HAS SOUPS 50826 WITH SCORE 50977.933
AT ITER 7409 NEW BEST:: SOT 502234 SOS 150761 HAS SOPS 150761 HAS SOUS 50786 HAS SOUPS 50786 WITH SCORE 50936.761
AT ITER 7412 NEW BEST:: SOT 502234 SOS 150759 HAS SOPS 150759 HAS SOUS 50784 HAS SOUPS 50784 WITH SCORE 50934.759
AT ITER 7498 NEW BEST:: SOT 502216 SOS 150672 HAS SOPS 150672 HAS SOUS 50778 HAS SOUPS 50778 WITH SCORE 50928.672
AT ITER 7516 NEW BEST:: SOT 502122 SOS 150202 HAS SOPS 150202 HAS SOUS 50729 HAS SOUPS 50729 WITH SCORE 50879.202
AT ITER 7561 NEW BEST:: SOT 502119 SOS 150196 HAS SOPS 150196 HAS SOUS 50726 HAS SOUPS 50726 WITH SCORE 50876.196
AT ITER 7567 NEW BEST:: SOT 502119 SOS 150196 HAS SOPS 150196 HAS SOUS 50644 HAS SOUPS 50644 WITH SCORE 50794.196
AT ITER 7604 NEW BEST:: SOT 502111 SOS 150176 HAS SOPS 150176 HAS SOUS 50636 HAS SOUPS 50636 WITH SCORE 50786.176
AT ITER 7624 NEW BEST:: SOT 502097 SOS 150108 HAS SOPS 150108 HAS SOUS 50631 HAS SOUPS 50631 WITH SCORE 50781.108
AT ITER 7669 NEW BEST:: SOT 501974 SOS 149346 HAS SOPS 149346 HAS SOUS 50595 HAS SOUPS 50595 WITH SCORE 50744.346
AT ITER 7691 NEW BEST:: SOT 501976 SOS 149341 HAS SOPS 149341 HAS SOUS 50588 HAS SOUPS 50588 WITH SCORE 50737.341
AT ITER 7757 NEW BEST:: SOT 501976 SOS 149335 HAS SOPS 149335 HAS SOUS 50582 HAS SOUPS 50582 WITH SCORE 50731.335
AT ITER 7811 NEW BEST:: SOT 501970 SOS 149323 HAS SOPS 149323 HAS SOUS 50578 HAS SOUPS 50578 WITH SCORE 50727.323
AT ITER 7842 NEW BEST:: SOT 501971 SOS 149289 HAS SOPS 149289 HAS SOUS 50576 HAS SOUPS 50576 WITH SCORE 50725.289
AT ITER 7857 NEW BEST:: SOT 501971 SOS 149281 HAS SOPS 149281 HAS SOUS 50566 HAS SOUPS 50566 WITH SCORE 50715.281
AT ITER 7975 NEW BEST:: SOT 501971 SOS 149257 HAS SOPS 149257 HAS SOUS 50542 HAS SOUPS 50542 WITH SCORE 50691.257
AT ITER 7988 NEW BEST:: SOT 501968 SOS 149251 HAS SOPS 149251 HAS SOUS 50539 HAS SOUPS 50539 WITH SCORE 50688.251
AT ITER 8009 NEW BEST:: SOT 501954 SOS 149223 HAS SOPS 149223 HAS SOUS 50529 HAS SOUPS 50529 WITH SCORE 50678.223
AT ITER 8047 NEW BEST:: SOT 501914 SOS 149023 HAS SOPS 149023 HAS SOUS 50509 HAS SOUPS 50509 WITH SCORE 50658.023
AT ITER 8064 NEW BEST:: SOT 501871 SOS 148905 HAS SOPS 148905 HAS SOUS 50434 HAS SOUPS 50434 WITH SCORE 50582.905
AT ITER 8077 NEW BEST:: SOT 501871 SOS 148877 HAS SOPS 148877 HAS SOUS 50406 HAS SOUPS 50406 WITH SCORE 50554.877
AT ITER 8079 NEW BEST:: SOT 501761 SOS 148355 HAS SOPS 148355 HAS SOUS 50379 HAS SOUPS 50379 WITH SCORE 50527.355
AT ITER 8089 NEW BEST:: SOT 501764 SOS 148557 HAS SOPS 148557 HAS SOUS 50343 HAS SOUPS 50343 WITH SCORE 50491.557
AT ITER 8105 NEW BEST:: SOT 501764 SOS 148553 HAS SOPS 148553 HAS SOUS 50339 HAS SOUPS 50339 WITH SCORE 50487.553
AT ITER 8131 NEW BEST:: SOT 501700 SOS 148233 HAS SOPS 148233 HAS SOUS 50307 HAS SOUPS 50307 WITH SCORE 50455.233
AT ITER 8140 NEW BEST:: SOT 501715 SOS 148344 HAS SOPS 148344 HAS SOUS 50298 HAS SOUPS 50298 WITH SCORE 50446.344
AT ITER 8151 NEW BEST:: SOT 501629 SOS 147965 HAS SOPS 147965 HAS SOUS 50255 HAS SOUPS 50255 WITH SCORE 50402.965
AT ITER 8196 NEW BEST:: SOT 501590 SOS 148043 HAS SOPS 148043 HAS SOUS 50190 HAS SOUPS 50190 WITH SCORE 50338.043
AT ITER 8201 NEW BEST:: SOT 501446 SOS 147249 HAS SOPS 147249 HAS SOUS 50156 HAS SOUPS 50156 WITH SCORE 50303.249
AT ITER 8220 NEW BEST:: SOT 501436 SOS 147229 HAS SOPS 147229 HAS SOUS 50146 HAS SOUPS 50146 WITH SCORE 50293.229
AT ITER 8224 NEW BEST:: SOT 501443 SOS 147268 HAS SOPS 147268 HAS SOUS 50143 HAS SOUPS 50143 WITH SCORE 50290.268
AT ITER 8236 NEW BEST:: SOT 501443 SOS 147260 HAS SOPS 147260 HAS SOUS 50135 HAS SOUPS 50135 WITH SCORE 50282.26
AT ITER 8247 NEW BEST:: SOT 501427 SOS 147226 HAS SOPS 147226 HAS SOUS 50125 HAS SOUPS 50125 WITH SCORE 50272.226
AT ITER 8259 NEW BEST:: SOT 501367 SOS 147078 HAS SOPS 147078 HAS SOUS 50060 HAS SOUPS 50060 WITH SCORE 50207.078
AT ITER 8276 NEW BEST:: SOT 501357 SOS 147054 HAS SOPS 147054 HAS SOUS 50054 HAS SOUPS 50054 WITH SCORE 50201.054
AT ITER 8286 NEW BEST:: SOT 501364 SOS 147103 HAS SOPS 147103 HAS SOUS 50047 HAS SOUPS 50047 WITH SCORE 50194.103
AT ITER 8296 NEW BEST:: SOT 501375 SOS 147132 HAS SOPS 147132 HAS SOUS 49851 HAS SOUPS 49851 WITH SCORE 49998.132
AT ITER 8300 NEW BEST:: SOT 501372 SOS 147108 HAS SOPS 147108 HAS SOUS 49851 HAS SOUPS 49851 WITH SCORE 49998.108
AT ITER 8319 NEW BEST:: SOT 501370 SOS 147098 HAS SOPS 147098 HAS SOUS 49850 HAS SOUPS 49850 WITH SCORE 49997.098
AT ITER 8323 NEW BEST:: SOT 501368 SOS 147090 HAS SOPS 147090 HAS SOUS 49850 HAS SOUPS 49850 WITH SCORE 49997.09
AT ITER 8393 NEW BEST:: SOT 501368 SOS 147090 HAS SOPS 147090 HAS SOUS 49848 HAS SOUPS 49848 WITH SCORE 49995.09
AT ITER 8394 NEW BEST:: SOT 501368 SOS 147102 HAS SOPS 147102 HAS SOUS 49846 HAS SOUPS 49846 WITH SCORE 49993.102
AT ITER 8483 NEW BEST:: SOT 501143 SOS 144468 HAS SOPS 144468 HAS SOUS 49815 HAS SOUPS 49815 WITH SCORE 49959.468
AT ITER 8496 NEW BEST:: SOT 500397 SOS 140666 HAS SOPS 140666 HAS SOUS 49454 HAS SOUPS 49454 WITH SCORE 49594.666
AT ITER 8567 NEW BEST:: SOT 500388 SOS 140644 HAS SOPS 140644 HAS SOUS 49441 HAS SOUPS 49441 WITH SCORE 49581.644
AT ITER 8578 NEW BEST:: SOT 500368 SOS 140604 HAS SOPS 140604 HAS SOUS 49421 HAS SOUPS 49421 WITH SCORE 49561.604
AT ITER 8610 NEW BEST:: SOT 500331 SOS 140526 HAS SOPS 140526 HAS SOUS 49396 HAS SOUPS 49396 WITH SCORE 49536.526
AT ITER 8615 NEW BEST:: SOT 500299 SOS 140494 HAS SOPS 140494 HAS SOUS 49300 HAS SOUPS 49300 WITH SCORE 49440.494
AT ITER 8623 NEW BEST:: SOT 500351 SOS 140916 HAS SOPS 140916 HAS SOUS 49299 HAS SOUPS 49299 WITH SCORE 49439.916
AT ITER 8652 NEW BEST:: SOT 499893 SOS 138596 HAS SOPS 138596 HAS SOUS 49071 HAS SOUPS 49071 WITH SCORE 49209.596
AT ITER 8687 NEW BEST:: SOT 499863 SOS 138514 HAS SOPS 138514 HAS SOUS 49005 HAS SOUPS 49005 WITH SCORE 49143.514
AT ITER 8727 NEW BEST:: SOT 499863 SOS 138549 HAS SOPS 138549 HAS SOUS 48998 HAS SOUPS 48998 WITH SCORE 49136.549
AT ITER 8754 NEW BEST:: SOT 499801 SOS 138239 HAS SOPS 138239 HAS SOUS 48967 HAS SOUPS 48967 WITH SCORE 49105.239
AT ITER 8803 NEW BEST:: SOT 499787 SOS 138211 HAS SOPS 138211 HAS SOUS 48953 HAS SOUPS 48953 WITH SCORE 49091.211
AT ITER 8836 NEW BEST:: SOT 499787 SOS 138211 HAS SOPS 138211 HAS SOUS 48951 HAS SOUPS 48951 WITH SCORE 49089.211
AT ITER 8846 NEW BEST:: SOT 499754 SOS 138145 HAS SOPS 138145 HAS SOUS 48918 HAS SOUPS 48918 WITH SCORE 49056.145
AT ITER 8855 NEW BEST:: SOT 499754 SOS 138027 HAS SOPS 138027 HAS SOUS 48846 HAS SOUPS 48846 WITH SCORE 48984.027
AT ITER 8867 NEW BEST:: SOT 499793 SOS 138435 HAS SOPS 138435 HAS SOUS 48830 HAS SOUPS 48830 WITH SCORE 48968.435
AT ITER 8898 NEW BEST:: SOT 499679 SOS 137873 HAS SOPS 137873 HAS SOUS 48781 HAS SOUPS 48781 WITH SCORE 48918.873
AT ITER 8915 NEW BEST:: SOT 499592 SOS 137454 HAS SOPS 137454 HAS SOUS 48740 HAS SOUPS 48740 WITH SCORE 48877.454
AT ITER 8932 NEW BEST:: SOT 499592 SOS 137454 HAS SOPS 137454 HAS SOUS 48728 HAS SOUPS 48728 WITH SCORE 48865.454
AT ITER 8936 NEW BEST:: SOT 499592 SOS 137454 HAS SOPS 137454 HAS SOUS 48726 HAS SOUPS 48726 WITH SCORE 48863.454
AT ITER 8959 NEW BEST:: SOT 499572 SOS 137354 HAS SOPS 137354 HAS SOUS 48716 HAS SOUPS 48716 WITH SCORE 48853.354
AT ITER 8969 NEW BEST:: SOT 499522 SOS 137104 HAS SOPS 137104 HAS SOUS 48691 HAS SOUPS 48691 WITH SCORE 48828.104
AT ITER 8974 NEW BEST:: SOT 499517 SOS 137094 HAS SOPS 137094 HAS SOUS 48689 HAS SOUPS 48689 WITH SCORE 48826.094
AT ITER 8976 NEW BEST:: SOT 499469 SOS 136728 HAS SOPS 136728 HAS SOUS 48554 HAS SOUPS 48554 WITH SCORE 48690.728
AT ITER 9014 NEW BEST:: SOT 499457 SOS 136680 HAS SOPS 136680 HAS SOUS 48542 HAS SOUPS 48542 WITH SCORE 48678.68
AT ITER 9019 NEW BEST:: SOT 499449 SOS 136664 HAS SOPS 136664 HAS SOUS 48494 HAS SOUPS 48494 WITH SCORE 48630.664
AT ITER 9054 NEW BEST:: SOT 499449 SOS 136676 HAS SOPS 136676 HAS SOUS 48491 HAS SOUPS 48491 WITH SCORE 48627.676
AT ITER 9119 NEW BEST:: SOT 499430 SOS 136638 HAS SOPS 136638 HAS SOUS 48472 HAS SOUPS 48472 WITH SCORE 48608.638
AT ITER 9122 NEW BEST:: SOT 499430 SOS 136638 HAS SOPS 136638 HAS SOUS 48452 HAS SOUPS 48452 WITH SCORE 48588.638
AT ITER 9154 NEW BEST:: SOT 499366 SOS 136319 HAS SOPS 136319 HAS SOUS 48419 HAS SOUPS 48419 WITH SCORE 48555.319
AT ITER 9156 NEW BEST:: SOT 499352 SOS 136259 HAS SOPS 136259 HAS SOUS 48415 HAS SOUPS 48415 WITH SCORE 48551.259
AT ITER 9162 NEW BEST:: SOT 499208 SOS 135317 HAS SOPS 135317 HAS SOUS 48310 HAS SOUPS 48310 WITH SCORE 48445.317
AT ITER 9168 NEW BEST:: SOT 499263 SOS 136429 HAS SOPS 136429 HAS SOUS 48030 HAS SOUPS 48030 WITH SCORE 48166.429
AT ITER 9189 NEW BEST:: SOT 499209 SOS 136133 HAS SOPS 136133 HAS SOUS 48019 HAS SOUPS 48019 WITH SCORE 48155.133
AT ITER 9278 NEW BEST:: SOT 499201 SOS 136125 HAS SOPS 136125 HAS SOUS 47995 HAS SOUPS 47995 WITH SCORE 48131.125
AT ITER 9345 NEW BEST:: SOT 499173 SOS 135987 HAS SOPS 135987 HAS SOUS 47979 HAS SOUPS 47979 WITH SCORE 48114.987
AT ITER 9380 NEW BEST:: SOT 499173 SOS 135987 HAS SOPS 135987 HAS SOUS 47961 HAS SOUPS 47961 WITH SCORE 48096.987
AT ITER 9417 NEW BEST:: SOT 499173 SOS 136017 HAS SOPS 136017 HAS SOUS 47958 HAS SOUPS 47958 WITH SCORE 48094.017
AT ITER 9506 NEW BEST:: SOT 499169 SOS 136007 HAS SOPS 136007 HAS SOUS 47950 HAS SOUPS 47950 WITH SCORE 48086.007
AT ITER 9508 NEW BEST:: SOT 499169 SOS 136007 HAS SOPS 136007 HAS SOUS 47924 HAS SOUPS 47924 WITH SCORE 48060.007
AT ITER 9510 NEW BEST:: SOT 499167 SOS 136001 HAS SOPS 136001 HAS SOUS 47920 HAS SOUPS 47920 WITH SCORE 48056.001
AT ITER 9511 NEW BEST:: SOT 499069 SOS 135511 HAS SOPS 135511 HAS SOUS 47867 HAS SOUPS 47867 WITH SCORE 48002.511
AT ITER 9551 NEW BEST:: SOT 499051 SOS 135458 HAS SOPS 135458 HAS SOUS 47832 HAS SOUPS 47832 WITH SCORE 47967.458
AT ITER 9577 NEW BEST:: SOT 499051 SOS 135448 HAS SOPS 135448 HAS SOUS 47822 HAS SOUPS 47822 WITH SCORE 47957.448
AT ITER 9582 NEW BEST:: SOT 499046 SOS 135428 HAS SOPS 135428 HAS SOUS 47817 HAS SOUPS 47817 WITH SCORE 47952.428
AT ITER 9590 NEW BEST:: SOT 499046 SOS 135434 HAS SOPS 135434 HAS SOUS 47816 HAS SOUPS 47816 WITH SCORE 47951.434
AT ITER 9664 NEW BEST:: SOT 499046 SOS 135434 HAS SOPS 135434 HAS SOUS 47808 HAS SOUPS 47808 WITH SCORE 47943.434
AT ITER 9698 NEW BEST:: SOT 499040 SOS 135401 HAS SOPS 135401 HAS SOUS 47781 HAS SOUPS 47781 WITH SCORE 47916.401
AT ITER 9752 NEW BEST:: SOT 498897 SOS 134617 HAS SOPS 134617 HAS SOUS 47763 HAS SOUPS 47763 WITH SCORE 47897.617
AT ITER 9793 NEW BEST:: SOT 498932 SOS 134885 HAS SOPS 134885 HAS SOUS 47751 HAS SOUPS 47751 WITH SCORE 47885.885
AT ITER 9843 NEW BEST:: SOT 498930 SOS 134875 HAS SOPS 134875 HAS SOUS 47750 HAS SOUPS 47750 WITH SCORE 47884.875
AT ITER 9848 NEW BEST:: SOT 498904 SOS 134839 HAS SOPS 134839 HAS SOUS 47737 HAS SOUPS 47737 WITH SCORE 47871.839
AT ITER 9904 NEW BEST:: SOT 498901 SOS 134836 HAS SOPS 134836 HAS SOUS 47736 HAS SOUPS 47736 WITH SCORE 47870.836
AT ITER 9951 NEW BEST:: SOT 498903 SOS 134602 HAS SOPS 134602 HAS SOUS 47683 HAS SOUPS 47683 WITH SCORE 47817.602
AT ITER 9955 NEW BEST:: SOT 498903 SOS 134591 HAS SOPS 134591 HAS SOUS 47672 HAS SOUPS 47672 WITH SCORE 47806.591
AT ITER 9962 NEW BEST:: SOT 498847 SOS 134311 HAS SOPS 134311 HAS SOUS 47588 HAS SOUPS 47588 WITH SCORE 47722.311
AT ITER 9984 NEW BEST:: SOT 498847 SOS 134302 HAS SOPS 134302 HAS SOUS 47579 HAS SOUPS 47579 WITH SCORE 47713.302

BK_STOP 1679336616086

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 476 Killed ${SMART}/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="ViralEpidemic-PT-S08D1C2A02"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is ViralEpidemic-PT-S08D1C2A02, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r491-tall-167912711701328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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