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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.4M
-rw-r--r-- 1 mcc users 4.2K Mar 30 08:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 30 08:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 21:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 21:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 27 15:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 27 15:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 12:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 26 12:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 4.2M 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 1589117749054

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

Filename model.pnml
Petri model created: 2069 places, 16077 transitions, 63325 arcs.
AT ITER 0 NEW BEST:: SOT 19249711 SOS 16518533 HAS SOPS 7997309 HAS SOUS 1091207 HAS SOUPS 448145 WITH SCORE 464663.533
AT ITER 4 NEW BEST:: SOT 19249507 SOS 16518125 HAS SOPS 7998533 HAS SOUS 1090799 HAS SOUPS 447941 WITH SCORE 464459.125
AT ITER 6 NEW BEST:: SOT 19249507 SOS 16518125 HAS SOPS 7998533 HAS SOUS 1090631 HAS SOUPS 447773 WITH SCORE 464291.125
AT ITER 10 NEW BEST:: SOT 19249381 SOS 16517873 HAS SOPS 7998785 HAS SOUS 1090379 HAS SOUPS 447584 WITH SCORE 464101.873
AT ITER 36 NEW BEST:: SOT 19247435 SOS 16524055 HAS SOPS 7999447 HAS SOUS 1088940 HAS SOUPS 446145 WITH SCORE 462669.055
AT ITER 37 NEW BEST:: SOT 19245967 SOS 16528223 HAS SOPS 7997279 HAS SOUS 1088122 HAS SOUPS 445063 WITH SCORE 461591.223
AT ITER 43 NEW BEST:: SOT 19245875 SOS 16528039 HAS SOPS 7997463 HAS SOUS 1087938 HAS SOUPS 444925 WITH SCORE 461453.039
AT ITER 53 NEW BEST:: SOT 19245053 SOS 16529995 HAS SOPS 7995819 HAS SOUS 1087602 HAS SOUPS 444439 WITH SCORE 460968.995
AT ITER 66 NEW BEST:: SOT 19245053 SOS 16529995 HAS SOPS 7995819 HAS SOUS 1087434 HAS SOUPS 444271 WITH SCORE 460800.995
AT ITER 94 NEW BEST:: SOT 19245053 SOS 16529995 HAS SOPS 7995819 HAS SOUS 1087432 HAS SOUPS 444269 WITH SCORE 460798.995
AT ITER 113 NEW BEST:: SOT 19245053 SOS 16529995 HAS SOPS 7995819 HAS SOUS 1087264 HAS SOUPS 444101 WITH SCORE 460630.995
AT ITER 135 NEW BEST:: SOT 19244444 SOS 16531213 HAS SOPS 7994949 HAS SOUS 1086916 HAS SOUPS 443666 WITH SCORE 460197.213
AT ITER 136 NEW BEST:: SOT 19244444 SOS 16531213 HAS SOPS 7994949 HAS SOUS 1086748 HAS SOUPS 443498 WITH SCORE 460029.213
AT ITER 164 NEW BEST:: SOT 19244210 SOS 16529921 HAS SOPS 7995305 HAS SOUS 1086346 HAS SOUPS 443302 WITH SCORE 459831.921
AT ITER 174 NEW BEST:: SOT 19242605 SOS 16537543 HAS SOPS 7995559 HAS SOUS 1085565 HAS SOUPS 442214 WITH SCORE 458751.543
AT ITER 219 NEW BEST:: SOT 19241638 SOS 16515353 HAS SOPS 8001107 HAS SOUS 1085093 HAS SOUPS 441742 WITH SCORE 458257.353
AT ITER 222 NEW BEST:: SOT 19240056 SOS 16532253 HAS SOPS 8008839 HAS SOUS 1084739 HAS SOUPS 441388 WITH SCORE 457920.253
AT ITER 235 NEW BEST:: SOT 19240048 SOS 16532237 HAS SOPS 8008855 HAS SOUS 1084723 HAS SOUPS 441376 WITH SCORE 457908.237
AT ITER 259 NEW BEST:: SOT 19239408 SOS 16533645 HAS SOPS 8007959 HAS SOUS 1084355 HAS SOUPS 440912 WITH SCORE 457445.645
AT ITER 271 NEW BEST:: SOT 19239120 SOS 16531737 HAS SOPS 8008715 HAS SOUS 1083734 HAS SOUPS 440624 WITH SCORE 457155.737
AT ITER 272 NEW BEST:: SOT 19238806 SOS 16529797 HAS SOPS 8009399 HAS SOUS 1083092 HAS SOUPS 440310 WITH SCORE 456839.797
AT ITER 287 NEW BEST:: SOT 19238750 SOS 16529685 HAS SOPS 8009287 HAS SOUS 1083008 HAS SOUPS 440226 WITH SCORE 456755.685
AT ITER 292 NEW BEST:: SOT 19238750 SOS 16529685 HAS SOPS 8009287 HAS SOUS 1082840 HAS SOUPS 440058 WITH SCORE 456587.685
AT ITER 315 NEW BEST:: SOT 19238346 SOS 16528877 HAS SOPS 8010095 HAS SOUS 1082032 HAS SOUPS 439452 WITH SCORE 455980.877
AT ITER 324 NEW BEST:: SOT 19238085 SOS 16527267 HAS SOPS 8010661 HAS SOUS 1081570 HAS SOUPS 439262 WITH SCORE 455789.267
AT ITER 338 NEW BEST:: SOT 19238085 SOS 16527267 HAS SOPS 8010661 HAS SOUS 1081446 HAS SOUPS 439138 WITH SCORE 455665.267
AT ITER 347 NEW BEST:: SOT 19236892 SOS 16532569 HAS SOPS 8009363 HAS SOUS 1081069 HAS SOUPS 438486 WITH SCORE 455018.569
AT ITER 359 NEW BEST:: SOT 19236824 SOS 16532433 HAS SOPS 8009227 HAS SOUS 1080967 HAS SOUPS 438384 WITH SCORE 454916.433
AT ITER 363 NEW BEST:: SOT 19236824 SOS 16532433 HAS SOPS 8009227 HAS SOUS 1080945 HAS SOUPS 438362 WITH SCORE 454894.433
AT ITER 369 NEW BEST:: SOT 19236730 SOS 16532057 HAS SOPS 8008851 HAS SOUS 1080851 HAS SOUPS 438268 WITH SCORE 454800.05700000003
AT ITER 416 NEW BEST:: SOT 19236730 SOS 16532057 HAS SOPS 8008851 HAS SOUS 1080739 HAS SOUPS 438156 WITH SCORE 454688.05700000003
AT ITER 430 NEW BEST:: SOT 19236280 SOS 16531157 HAS SOPS 8007951 HAS SOUS 1080289 HAS SOUPS 437706 WITH SCORE 454237.157
AT ITER 441 NEW BEST:: SOT 19236280 SOS 16531157 HAS SOPS 8007951 HAS SOUS 1080145 HAS SOUPS 437562 WITH SCORE 454093.157
AT ITER 452 NEW BEST:: SOT 19235212 SOS 16533053 HAS SOPS 8005815 HAS SOUS 1079429 HAS SOUPS 436678 WITH SCORE 453211.053
AT ITER 475 NEW BEST:: SOT 19234387 SOS 16530071 HAS SOPS 8005497 HAS SOUS 1078738 HAS SOUPS 436320 WITH SCORE 452850.071
AT ITER 480 NEW BEST:: SOT 19234156 SOS 16530533 HAS SOPS 8005167 HAS SOUS 1078606 HAS SOUPS 436155 WITH SCORE 452685.533
AT ITER 481 NEW BEST:: SOT 19234156 SOS 16530509 HAS SOPS 8005143 HAS SOUS 1078605 HAS SOUPS 436154 WITH SCORE 452684.509
AT ITER 495 NEW BEST:: SOT 19234156 SOS 16530509 HAS SOPS 8005143 HAS SOUS 1078437 HAS SOUPS 435986 WITH SCORE 452516.509
AT ITER 502 NEW BEST:: SOT 19233836 SOS 16528825 HAS SOPS 8005547 HAS SOUS 1077856 HAS SOUPS 435666 WITH SCORE 452194.825
AT ITER 514 NEW BEST:: SOT 19233416 SOS 16530337 HAS SOPS 8005043 HAS SOUS 1077520 HAS SOUPS 435246 WITH SCORE 451776.337
AT ITER 522 NEW BEST:: SOT 19233228 SOS 16529137 HAS SOPS 8003843 HAS SOUS 1077375 HAS SOUPS 435101 WITH SCORE 451630.137
AT ITER 540 NEW BEST:: SOT 19233228 SOS 16529137 HAS SOPS 8003843 HAS SOUS 1077213 HAS SOUPS 434939 WITH SCORE 451468.137
AT ITER 545 NEW BEST:: SOT 19233228 SOS 16529137 HAS SOPS 8003843 HAS SOUS 1077045 HAS SOUPS 434771 WITH SCORE 451300.137
AT ITER 558 NEW BEST:: SOT 19232934 SOS 16527713 HAS SOPS 8004091 HAS SOUS 1076542 HAS SOUPS 434477 WITH SCORE 451004.713
AT ITER 560 NEW BEST:: SOT 19232934 SOS 16527713 HAS SOPS 8004091 HAS SOUS 1076374 HAS SOUPS 434309 WITH SCORE 450836.713
AT ITER 561 NEW BEST:: SOT 19232934 SOS 16527713 HAS SOPS 8004091 HAS SOUS 1076206 HAS SOUPS 434141 WITH SCORE 450668.713
AT ITER 574 NEW BEST:: SOT 19232934 SOS 16527713 HAS SOPS 8004091 HAS SOUS 1076038 HAS SOUPS 433973 WITH SCORE 450500.713
AT ITER 575 NEW BEST:: SOT 19232934 SOS 16527713 HAS SOPS 8004091 HAS SOUS 1075870 HAS SOUPS 433805 WITH SCORE 450332.713
AT ITER 585 NEW BEST:: SOT 19231813 SOS 16529623 HAS SOPS 8001849 HAS SOUS 1075108 HAS SOUPS 432870 WITH SCORE 449399.623
AT ITER 650 NEW BEST:: SOT 19231593 SOS 16528167 HAS SOPS 8002425 HAS SOUS 1074634 HAS SOUPS 432650 WITH SCORE 449178.167
AT ITER 673 NEW BEST:: SOT 19231271 SOS 16528811 HAS SOPS 8001965 HAS SOUS 1074450 HAS SOUPS 432420 WITH SCORE 448948.811
AT ITER 682 NEW BEST:: SOT 19231271 SOS 16528811 HAS SOPS 8001965 HAS SOUS 1074362 HAS SOUPS 432332 WITH SCORE 448860.811
AT ITER 692 NEW BEST:: SOT 19231271 SOS 16528811 HAS SOPS 8001965 HAS SOUS 1074194 HAS SOUPS 432164 WITH SCORE 448692.811
AT ITER 699 NEW BEST:: SOT 19230883 SOS 16527723 HAS SOPS 8002429 HAS SOUS 1073417 HAS SOUPS 431581 WITH SCORE 448108.723
AT ITER 722 NEW BEST:: SOT 19230883 SOS 16527723 HAS SOPS 8002429 HAS SOUS 1073249 HAS SOUPS 431413 WITH SCORE 447940.723
AT ITER 746 NEW BEST:: SOT 19230575 SOS 16526255 HAS SOPS 8002665 HAS SOUS 1072728 HAS SOUPS 431105 WITH SCORE 447631.255
AT ITER 748 NEW BEST:: SOT 19229214 SOS 16534805 HAS SOPS 8003271 HAS SOUS 1072481 HAS SOUPS 430527 WITH SCORE 447061.805
AT ITER 761 NEW BEST:: SOT 19228960 SOS 16534297 HAS SOPS 8003779 HAS SOUS 1071973 HAS SOUPS 430146 WITH SCORE 446680.297
AT ITER 779 NEW BEST:: SOT 19228680 SOS 16532205 HAS SOPS 8004751 HAS SOUS 1071310 HAS SOUPS 429866 WITH SCORE 446398.205
AT ITER 846 NEW BEST:: SOT 19227073 SOS 16540599 HAS SOPS 8007353 HAS SOUS 1070355 HAS SOUPS 428911 WITH SCORE 445451.599
AT ITER 847 NEW BEST:: SOT 19226904 SOS 16539121 HAS SOPS 8008155 HAS SOUS 1069982 HAS SOUPS 428823 WITH SCORE 445362.121
AT ITER 874 NEW BEST:: SOT 19226132 SOS 16536789 HAS SOPS 8005823 HAS SOUS 1068816 HAS SOUPS 427657 WITH SCORE 444193.789
AT ITER 908 NEW BEST:: SOT 19225775 SOS 16535659 HAS SOPS 8006709 HAS SOUS 1068059 HAS SOUPS 427152 WITH SCORE 443687.659
AT ITER 912 NEW BEST:: SOT 19225775 SOS 16535659 HAS SOPS 8006709 HAS SOUS 1067891 HAS SOUPS 426984 WITH SCORE 443519.659
AT ITER 919 NEW BEST:: SOT 19225775 SOS 16535659 HAS SOPS 8006709 HAS SOUS 1067785 HAS SOUPS 426878 WITH SCORE 443413.659
AT ITER 938 NEW BEST:: SOT 19225475 SOS 16534039 HAS SOPS 8007129 HAS SOUS 1067230 HAS SOUPS 426578 WITH SCORE 443112.039
AT ITER 949 NEW BEST:: SOT 19225475 SOS 16534039 HAS SOPS 8007129 HAS SOUS 1067098 HAS SOUPS 426446 WITH SCORE 442980.039
AT ITER 952 NEW BEST:: SOT 19224405 SOS 16537515 HAS SOPS 8004989 HAS SOUS 1066446 HAS SOUPS 425560 WITH SCORE 442097.515
AT ITER 961 NEW BEST:: SOT 19224405 SOS 16537515 HAS SOPS 8004989 HAS SOUS 1066278 HAS SOUPS 425392 WITH SCORE 441929.515
AT ITER 991 NEW BEST:: SOT 19224405 SOS 16536667 HAS SOPS 8005837 HAS SOUS 1066066 HAS SOUPS 425392 WITH SCORE 441928.667
AT ITER 1026 NEW BEST:: SOT 19222885 SOS 16532107 HAS SOPS 8004317 HAS SOUS 1064926 HAS SOUPS 424632 WITH SCORE 441164.107
AT ITER 1027 NEW BEST:: SOT 19222885 SOS 16532107 HAS SOPS 8004317 HAS SOUS 1064838 HAS SOUPS 424544 WITH SCORE 441076.107
AT ITER 1032 NEW BEST:: SOT 19222885 SOS 16532107 HAS SOPS 8004317 HAS SOUS 1064710 HAS SOUPS 424416 WITH SCORE 440948.107
AT ITER 1035 NEW BEST:: SOT 19222671 SOS 16531679 HAS SOPS 8003889 HAS SOUS 1064496 HAS SOUPS 424202 WITH SCORE 440733.679
AT ITER 1050 NEW BEST:: SOT 19222543 SOS 16530391 HAS SOPS 8004665 HAS SOUS 1064192 HAS SOUPS 424156 WITH SCORE 440686.391
AT ITER 1066 NEW BEST:: SOT 19219370 SOS 16547780 HAS SOPS 8009406 HAS SOUS 1063749 HAS SOUPS 423186 WITH SCORE 439733.78
AT ITER 1067 NEW BEST:: SOT 19216271 SOS 16564064 HAS SOPS 8012778 HAS SOUS 1063336 HAS SOUPS 422235 WITH SCORE 438799.064
AT ITER 1069 NEW BEST:: SOT 19214098 SOS 16570998 HAS SOPS 8013936 HAS SOUS 1061511 HAS SOUPS 420410 WITH SCORE 436980.998
AT ITER 1075 NEW BEST:: SOT 19212832 SOS 16573650 HAS SOPS 8011404 HAS SOUS 1060645 HAS SOUPS 419328 WITH SCORE 435901.65
AT ITER 1079 NEW BEST:: SOT 19212832 SOS 16573650 HAS SOPS 8011404 HAS SOUS 1060493 HAS SOUPS 419176 WITH SCORE 435749.65
AT ITER 1092 NEW BEST:: SOT 19212434 SOS 16572410 HAS SOPS 8010164 HAS SOUS 1060428 HAS SOUPS 419111 WITH SCORE 435683.41
AT ITER 1121 NEW BEST:: SOT 19211642 SOS 16573290 HAS SOPS 8008932 HAS SOUS 1059900 HAS SOUPS 418495 WITH SCORE 435068.29
AT ITER 1144 NEW BEST:: SOT 19211822 SOS 16570050 HAS SOPS 8007852 HAS SOUS 1059810 HAS SOUPS 418495 WITH SCORE 435065.05
AT ITER 1181 NEW BEST:: SOT 19211234 SOS 16571226 HAS SOPS 8007012 HAS SOUS 1059474 HAS SOUPS 418075 WITH SCORE 434646.226
AT ITER 1211 NEW BEST:: SOT 19209101 SOS 16580248 HAS SOPS 8009538 HAS SOUS 1057827 HAS SOUPS 416428 WITH SCORE 433008.248
AT ITER 1228 NEW BEST:: SOT 19208890 SOS 16579826 HAS SOPS 8011452 HAS SOUS 1057342 HAS SOUPS 416235 WITH SCORE 432814.826
AT ITER 1237 NEW BEST:: SOT 19208890 SOS 16579826 HAS SOPS 8011452 HAS SOUS 1057174 HAS SOUPS 416067 WITH SCORE 432646.826
AT ITER 1246 NEW BEST:: SOT 19208211 SOS 16583740 HAS SOPS 8011406 HAS SOUS 1057081 HAS SOUPS 415809 WITH SCORE 432392.74
AT ITER 1260 NEW BEST:: SOT 19208032 SOS 16583382 HAS SOPS 8012272 HAS SOUS 1056596 HAS SOUPS 415477 WITH SCORE 432060.382
AT ITER 1266 NEW BEST:: SOT 19207905 SOS 16583128 HAS SOPS 8012018 HAS SOUS 1056469 HAS SOUPS 415350 WITH SCORE 431933.128
AT ITER 1267 NEW BEST:: SOT 19207905 SOS 16583128 HAS SOPS 8012018 HAS SOUS 1056301 HAS SOUPS 415182 WITH SCORE 431765.128
AT ITER 1277 NEW BEST:: SOT 19207852 SOS 16583022 HAS SOPS 8011912 HAS SOUS 1056195 HAS SOUPS 415076 WITH SCORE 431659.022
AT ITER 1302 NEW BEST:: SOT 19206749 SOS 16586696 HAS SOPS 8009706 HAS SOUS 1055766 HAS SOUPS 414402 WITH SCORE 430988.696
AT ITER 1348 NEW BEST:: SOT 19206749 SOS 16586696 HAS SOPS 8009706 HAS SOUS 1055744 HAS SOUPS 414380 WITH SCORE 430966.696
AT ITER 1352 NEW BEST:: SOT 19206471 SOS 16584884 HAS SOPS 8010406 HAS SOUS 1055152 HAS SOUPS 414102 WITH SCORE 430686.884
AT ITER 1353 NEW BEST:: SOT 19206471 SOS 16584652 HAS SOPS 8010174 HAS SOUS 1055151 HAS SOUPS 414101 WITH SCORE 430685.652
AT ITER 1354 NEW BEST:: SOT 19205579 SOS 16580786 HAS SOPS 8009084 HAS SOUS 1053714 HAS SOUPS 413011 WITH SCORE 429591.786
AT ITER 1387 NEW BEST:: SOT 19205579 SOS 16580786 HAS SOPS 8009084 HAS SOUS 1053698 HAS SOUPS 412995 WITH SCORE 429575.786
AT ITER 1399 NEW BEST:: SOT 19205193 SOS 16580014 HAS SOPS 8010160 HAS SOUS 1052897 HAS SOUPS 412425 WITH SCORE 429005.014
AT ITER 1409 NEW BEST:: SOT 19203175 SOS 16593498 HAS SOPS 8015468 HAS SOUS 1051674 HAS SOUPS 411202 WITH SCORE 427795.498
AT ITER 1411 NEW BEST:: SOT 19202967 SOS 16591806 HAS SOPS 8016328 HAS SOUS 1051253 HAS SOUPS 411100 WITH SCORE 427691.806
AT ITER 1422 NEW BEST:: SOT 19202967 SOS 16591806 HAS SOPS 8016328 HAS SOUS 1051085 HAS SOUPS 410932 WITH SCORE 427523.806
AT ITER 1439 NEW BEST:: SOT 19202648 SOS 16589468 HAS SOPS 8017390 HAS SOUS 1050341 HAS SOUPS 410613 WITH SCORE 427202.468
AT ITER 1478 NEW BEST:: SOT 19202506 SOS 16589184 HAS SOPS 8018050 HAS SOUS 1049963 HAS SOUPS 410353 WITH SCORE 426942.184
AT ITER 1493 NEW BEST:: SOT 19202506 SOS 16589184 HAS SOPS 8018050 HAS SOUS 1049941 HAS SOUPS 410331 WITH SCORE 426920.184
AT ITER 1503 NEW BEST:: SOT 19202506 SOS 16589184 HAS SOPS 8018050 HAS SOUS 1049903 HAS SOUPS 410293 WITH SCORE 426882.184
AT ITER 1509 NEW BEST:: SOT 19202416 SOS 16589192 HAS SOPS 8018058 HAS SOUS 1049860 HAS SOUPS 410250 WITH SCORE 426839.192
AT ITER 1534 NEW BEST:: SOT 19202416 SOS 16589192 HAS SOPS 8018058 HAS SOUS 1049772 HAS SOUPS 410162 WITH SCORE 426751.192
AT ITER 1540 NEW BEST:: SOT 19202110 SOS 16588580 HAS SOPS 8020206 HAS SOUS 1049121 HAS SOUPS 409856 WITH SCORE 426444.58
AT ITER 1557 NEW BEST:: SOT 19200775 SOS 16598742 HAS SOPS 8024432 HAS SOUS 1048685 HAS SOUPS 409420 WITH SCORE 426018.742
AT ITER 1612 NEW BEST:: SOT 19200528 SOS 16597064 HAS SOPS 8025122 HAS SOUS 1048229 HAS SOUPS 409260 WITH SCORE 425857.064
AT ITER 1619 NEW BEST:: SOT 19200236 SOS 16595172 HAS SOPS 8025846 HAS SOUS 1047610 HAS SOUPS 408968 WITH SCORE 425563.172
AT ITER 1624 NEW BEST:: SOT 19198775 SOS 16608602 HAS SOPS 8031500 HAS SOUS 1047286 HAS SOUPS 408644 WITH SCORE 425252.602
AT ITER 1625 NEW BEST:: SOT 19198691 SOS 16608966 HAS SOPS 8031528 HAS SOUS 1047272 HAS SOUPS 408616 WITH SCORE 425224.966
AT ITER 1641 NEW BEST:: SOT 19198691 SOS 16608966 HAS SOPS 8031528 HAS SOUS 1047228 HAS SOUPS 408572 WITH SCORE 425180.966
AT ITER 1673 NEW BEST:: SOT 19198691 SOS 16608842 HAS SOPS 8031652 HAS SOUS 1047197 HAS SOUPS 408572 WITH SCORE 425180.842
AT ITER 1690 NEW BEST:: SOT 19198348 SOS 16609528 HAS SOPS 8031162 HAS SOUS 1047001 HAS SOUPS 408327 WITH SCORE 424936.528
AT ITER 1692 NEW BEST:: SOT 19198352 SOS 16609164 HAS SOPS 8030798 HAS SOUS 1046910 HAS SOUPS 408236 WITH SCORE 424845.164
AT ITER 1708 NEW BEST:: SOT 19198305 SOS 16610478 HAS SOPS 8031344 HAS SOUS 1046927 HAS SOUPS 408221 WITH SCORE 424831.478
AT ITER 1727 NEW BEST:: SOT 19197963 SOS 16610482 HAS SOPS 8031348 HAS SOUS 1046413 HAS SOUPS 407707 WITH SCORE 424317.482
AT ITER 1729 NEW BEST:: SOT 19197708 SOS 16612352 HAS SOPS 8031178 HAS SOUS 1046243 HAS SOUPS 407452 WITH SCORE 424064.352
AT ITER 1742 NEW BEST:: SOT 19196992 SOS 16614616 HAS SOPS 8030274 HAS SOUS 1045819 HAS SOUPS 406896 WITH SCORE 423510.616
AT ITER 1750 NEW BEST:: SOT 19196453 SOS 16615694 HAS SOPS 8029504 HAS SOUS 1045511 HAS SOUPS 406511 WITH SCORE 423126.694
AT ITER 1759 NEW BEST:: SOT 19196483 SOS 16615634 HAS SOPS 8029444 HAS SOUS 1045511 HAS SOUPS 406511 WITH SCORE 423126.634
AT ITER 1763 NEW BEST:: SOT 19196354 SOS 16616580 HAS SOPS 8029358 HAS SOUS 1045425 HAS SOUPS 406382 WITH SCORE 422998.58
AT ITER 1773 NEW BEST:: SOT 19195360 SOS 16619712 HAS SOPS 8028170 HAS SOUS 1044995 HAS SOUPS 405772 WITH SCORE 422391.712
AT ITER 1814 NEW BEST:: SOT 19195020 SOS 16619032 HAS SOPS 8029874 HAS SOUS 1044237 HAS SOUPS 405312 WITH SCORE 421931.032
AT ITER 1827 NEW BEST:: SOT 19194951 SOS 16618894 HAS SOPS 8030288 HAS SOUS 1044098 HAS SOUPS 405242 WITH SCORE 421860.894
AT ITER 1831 NEW BEST:: SOT 19194951 SOS 16618894 HAS SOPS 8030288 HAS SOUS 1043938 HAS SOUPS 405082 WITH SCORE 421700.894
AT ITER 1838 NEW BEST:: SOT 19194617 SOS 16617934 HAS SOPS 8029912 HAS SOUS 1043625 HAS SOUPS 404842 WITH SCORE 421459.934
AT ITER 1839 NEW BEST:: SOT 19193060 SOS 16618972 HAS SOPS 8026798 HAS SOUS 1042587 HAS SOUPS 403631 WITH SCORE 420249.972
AT ITER 1842 NEW BEST:: SOT 19192936 SOS 16619232 HAS SOPS 8027058 HAS SOUS 1042336 HAS SOUPS 403380 WITH SCORE 419999.232
AT ITER 1854 NEW BEST:: SOT 19192936 SOS 16618432 HAS SOPS 8028402 HAS SOUS 1041794 HAS SOUPS 403106 WITH SCORE 419724.43200000003
AT ITER 1857 NEW BEST:: SOT 19192557 SOS 16617674 HAS SOPS 8027644 HAS SOUS 1041315 HAS SOUPS 402627 WITH SCORE 419244.674
AT ITER 1896 NEW BEST:: SOT 19192497 SOS 16617554 HAS SOPS 8027524 HAS SOUS 1041195 HAS SOUPS 402507 WITH SCORE 419124.554
AT ITER 1905 NEW BEST:: SOT 19192557 SOS 16616474 HAS SOPS 8027164 HAS SOUS 1041165 HAS SOUPS 402507 WITH SCORE 419123.474
AT ITER 1930 NEW BEST:: SOT 19192266 SOS 16613972 HAS SOPS 8026582 HAS SOUS 1040511 HAS SOUPS 402093 WITH SCORE 418706.972
AT ITER 1938 NEW BEST:: SOT 19192266 SOS 16613972 HAS SOPS 8026582 HAS SOUS 1040501 HAS SOUPS 402083 WITH SCORE 418696.972
AT ITER 1961 NEW BEST:: SOT 19192266 SOS 16612576 HAS SOPS 8027978 HAS SOUS 1040152 HAS SOUPS 402083 WITH SCORE 418695.576
AT ITER 2004 NEW BEST:: SOT 19192196 SOS 16612156 HAS SOPS 8027558 HAS SOUS 1040082 HAS SOUPS 402013 WITH SCORE 418625.156
AT ITER 2008 NEW BEST:: SOT 19191762 SOS 16610672 HAS SOPS 8026074 HAS SOUS 1039886 HAS SOUPS 401817 WITH SCORE 418427.672
AT ITER 2011 NEW BEST:: SOT 19191762 SOS 16610672 HAS SOPS 8026074 HAS SOUS 1039814 HAS SOUPS 401745 WITH SCORE 418355.672
AT ITER 2029 NEW BEST:: SOT 19191112 SOS 16609372 HAS SOPS 8024774 HAS SOUS 1038676 HAS SOUPS 400607 WITH SCORE 417216.372
AT ITER 2032 NEW BEST:: SOT 19190809 SOS 16608766 HAS SOPS 8026216 HAS SOUS 1038117 HAS SOUPS 400304 WITH SCORE 416912.766
AT ITER 2061 NEW BEST:: SOT 19190206 SOS 16609168 HAS SOPS 8025546 HAS SOUS 1037648 HAS SOUPS 399835 WITH SCORE 416444.168
AT ITER 2092 NEW BEST:: SOT 19190105 SOS 16608764 HAS SOPS 8025142 HAS SOUS 1037446 HAS SOUPS 399633 WITH SCORE 416241.764
AT ITER 2096 NEW BEST:: SOT 19189968 SOS 16608490 HAS SOPS 8025876 HAS SOUS 1037115 HAS SOUPS 399428 WITH SCORE 416036.49
AT ITER 2155 NEW BEST:: SOT 19189968 SOS 16608490 HAS SOPS 8025876 HAS SOUS 1037051 HAS SOUPS 399364 WITH SCORE 415972.49
AT ITER 2157 NEW BEST:: SOT 19189946 SOS 16608446 HAS SOPS 8025832 HAS SOUS 1037029 HAS SOUPS 399342 WITH SCORE 415950.446
AT ITER 2167 NEW BEST:: SOT 19189831 SOS 16608216 HAS SOPS 8025602 HAS SOUS 1036856 HAS SOUPS 399169 WITH SCORE 415777.216
AT ITER 2206 NEW BEST:: SOT 19189831 SOS 16608216 HAS SOPS 8025602 HAS SOUS 1036688 HAS SOUPS 399001 WITH SCORE 415609.216
AT ITER 2229 NEW BEST:: SOT 19188514 SOS 16612398 HAS SOPS 8024096 HAS SOUS 1035879 HAS SOUPS 397955 WITH SCORE 414567.398
AT ITER 2259 NEW BEST:: SOT 19186588 SOS 16625786 HAS SOPS 8029244 HAS SOUS 1034511 HAS SOUPS 396587 WITH SCORE 413212.786
AT ITER 2260 NEW BEST:: SOT 19186542 SOS 16624238 HAS SOPS 8030640 HAS SOUS 1034097 HAS SOUPS 396541 WITH SCORE 413165.238
AT ITER 2277 NEW BEST:: SOT 19186149 SOS 16628140 HAS SOPS 8031398 HAS SOUS 1034097 HAS SOUPS 396410 WITH SCORE 413038.14
AT ITER 2287 NEW BEST:: SOT 19184152 SOS 16600820 HAS SOPS 8027796 HAS SOUS 1033277 HAS SOUPS 395590 WITH SCORE 412190.82
AT ITER 2296 NEW BEST:: SOT 19184089 SOS 16600694 HAS SOPS 8027670 HAS SOUS 1033214 HAS SOUPS 395527 WITH SCORE 412127.694
AT ITER 2322 NEW BEST:: SOT 19184089 SOS 16600694 HAS SOPS 8027670 HAS SOUS 1033086 HAS SOUPS 395399 WITH SCORE 411999.694
AT ITER 2327 NEW BEST:: SOT 19184089 SOS 16600694 HAS SOPS 8027670 HAS SOUS 1033000 HAS SOUPS 395313 WITH SCORE 411913.694
AT ITER 2328 NEW BEST:: SOT 19183301 SOS 16598442 HAS SOPS 8025418 HAS SOUS 1032550 HAS SOUPS 394863 WITH SCORE 411461.442
AT ITER 2330 NEW BEST:: SOT 19181736 SOS 16610968 HAS SOPS 8029656 HAS SOUS 1032094 HAS SOUPS 394407 WITH SCORE 411017.968
AT ITER 2336 NEW BEST:: SOT 19180047 SOS 16621246 HAS SOPS 8033278 HAS SOUS 1030982 HAS SOUPS 393295 WITH SCORE 409916.246
AT ITER 2349 NEW BEST:: SOT 19179215 SOS 16618750 HAS SOPS 8032446 HAS SOUS 1030566 HAS SOUPS 393087 WITH SCORE 409705.75
AT ITER 2362 NEW BEST:: SOT 19179215 SOS 16618750 HAS SOPS 8032446 HAS SOUS 1030520 HAS SOUPS 393041 WITH SCORE 409659.75
AT ITER 2369 NEW BEST:: SOT 19179215 SOS 16618750 HAS SOPS 8032446 HAS SOUS 1030476 HAS SOUPS 392997 WITH SCORE 409615.75
AT ITER 2374 NEW BEST:: SOT 19179157 SOS 16613356 HAS SOPS 8030510 HAS SOUS 1030428 HAS SOUPS 392987 WITH SCORE 409600.356
AT ITER 2379 NEW BEST:: SOT 19176913 SOS 16624076 HAS SOPS 8033646 HAS SOUS 1029043 HAS SOUPS 391602 WITH SCORE 408226.076
AT ITER 2383 NEW BEST:: SOT 19176512 SOS 16622226 HAS SOPS 8033404 HAS SOUS 1028172 HAS SOUPS 390932 WITH SCORE 407554.226
AT ITER 2408 NEW BEST:: SOT 19176060 SOS 16622226 HAS SOPS 8033404 HAS SOUS 1027494 HAS SOUPS 390254 WITH SCORE 406876.226
AT ITER 2425 NEW BEST:: SOT 19176060 SOS 16622226 HAS SOPS 8033404 HAS SOUS 1027352 HAS SOUPS 390112 WITH SCORE 406734.226
AT ITER 2430 NEW BEST:: SOT 19175858 SOS 16621822 HAS SOPS 8033808 HAS SOUS 1026948 HAS SOUPS 389809 WITH SCORE 406430.822
AT ITER 2442 NEW BEST:: SOT 19175507 SOS 16620926 HAS SOPS 8032912 HAS SOUS 1026836 HAS SOUPS 389697 WITH SCORE 406317.926
AT ITER 2455 NEW BEST:: SOT 19175822 SOS 16596805 HAS SOPS 8035272 HAS SOUS 1026547 HAS SOUPS 389699 WITH SCORE 406295.805
AT ITER 2489 NEW BEST:: SOT 19175815 SOS 16596791 HAS SOPS 8035258 HAS SOUS 1026540 HAS SOUPS 389692 WITH SCORE 406288.791
AT ITER 2499 NEW BEST:: SOT 19175728 SOS 16597761 HAS SOPS 8035532 HAS SOUS 1026540 HAS SOUPS 389663 WITH SCORE 406260.761
AT ITER 2501 NEW BEST:: SOT 19175614 SOS 16597989 HAS SOPS 8035760 HAS SOUS 1026425 HAS SOUPS 389548 WITH SCORE 406145.989
AT ITER 2510 NEW BEST:: SOT 19175610 SOS 16597981 HAS SOPS 8035752 HAS SOUS 1026417 HAS SOUPS 389540 WITH SCORE 406137.981
AT ITER 2520 NEW BEST:: SOT 19175610 SOS 16597981 HAS SOPS 8035752 HAS SOUS 1026287 HAS SOUPS 389410 WITH SCORE 406007.981
AT ITER 2528 NEW BEST:: SOT 19175457 SOS 16597369 HAS SOPS 8035140 HAS SOUS 1026083 HAS SOUPS 389206 WITH SCORE 405803.369
AT ITER 2540 NEW BEST:: SOT 19175457 SOS 16597369 HAS SOPS 8035140 HAS SOUS 1026082 HAS SOUPS 389205 WITH SCORE 405802.369
AT ITER 2551 NEW BEST:: SOT 19174514 SOS 16560419 HAS SOPS 7998190 HAS SOUS 1026038 HAS SOUPS 389161 WITH SCORE 405721.419
AT ITER 2553 NEW BEST:: SOT 19174514 SOS 16560419 HAS SOPS 7998190 HAS SOUS 1025922 HAS SOUPS 389045 WITH SCORE 405605.419
AT ITER 2559 NEW BEST:: SOT 19174512 SOS 16560407 HAS SOPS 7998178 HAS SOUS 1025920 HAS SOUPS 389043 WITH SCORE 405603.407
AT ITER 2567 NEW BEST:: SOT 19174642 SOS 16559497 HAS SOPS 7997268 HAS SOUS 1025920 HAS SOUPS 389043 WITH SCORE 405602.497
AT ITER 2580 NEW BEST:: SOT 19174496 SOS 16559789 HAS SOPS 7997560 HAS SOUS 1025847 HAS SOUPS 388970 WITH SCORE 405529.789
AT ITER 2586 NEW BEST:: SOT 19173650 SOS 16558097 HAS SOPS 7995868 HAS SOUS 1024907 HAS SOUPS 388030 WITH SCORE 404588.097
AT ITER 2593 NEW BEST:: SOT 19173438 SOS 16557673 HAS SOPS 7995444 HAS SOUS 1024658 HAS SOUPS 387781 WITH SCORE 404338.673
AT ITER 2620 NEW BEST:: SOT 19173434 SOS 16557017 HAS SOPS 7994788 HAS SOUS 1024573 HAS SOUPS 387696 WITH SCORE 404253.017
AT ITER 2624 NEW BEST:: SOT 19173434 SOS 16557017 HAS SOPS 7994788 HAS SOUS 1024453 HAS SOUPS 387576 WITH SCORE 404133.017
AT ITER 2627 NEW BEST:: SOT 19173328 SOS 16556169 HAS SOPS 7994788 HAS SOUS 1024135 HAS SOUPS 387364 WITH SCORE 403920.169
AT ITER 2648 NEW BEST:: SOT 19173308 SOS 16556129 HAS SOPS 7994748 HAS SOUS 1024115 HAS SOUPS 387344 WITH SCORE 403900.129
AT ITER 2662 NEW BEST:: SOT 19173308 SOS 16556129 HAS SOPS 7994748 HAS SOUS 1023971 HAS SOUPS 387200 WITH SCORE 403756.129
AT ITER 2688 NEW BEST:: SOT 19173308 SOS 16556129 HAS SOPS 7994748 HAS SOUS 1023803 HAS SOUPS 387032 WITH SCORE 403588.129
AT ITER 2732 NEW BEST:: SOT 19173308 SOS 16556129 HAS SOPS 7994748 HAS SOUS 1023725 HAS SOUPS 386954 WITH SCORE 403510.129
AT ITER 2762 NEW BEST:: SOT 19172128 SOS 16552761 HAS SOPS 7993396 HAS SOUS 1023000 HAS SOUPS 386481 WITH SCORE 403033.761
AT ITER 2765 NEW BEST:: SOT 19172128 SOS 16552761 HAS SOPS 7993396 HAS SOUS 1022960 HAS SOUPS 386441 WITH SCORE 402993.761
AT ITER 2781 NEW BEST:: SOT 19172128 SOS 16552761 HAS SOPS 7993396 HAS SOUS 1022876 HAS SOUPS 386357 WITH SCORE 402909.761
AT ITER 2797 NEW BEST:: SOT 19169583 SOS 16560215 HAS SOPS 7993794 HAS SOUS 1021702 HAS SOUPS 385183 WITH SCORE 401743.215
AT ITER 2816 NEW BEST:: SOT 19169331 SOS 16560727 HAS SOPS 7994306 HAS SOUS 1021340 HAS SOUPS 384821 WITH SCORE 401381.727
AT ITER 2835 NEW BEST:: SOT 19170153 SOS 16561549 HAS SOPS 7995128 HAS SOUS 1020929 HAS SOUPS 384410 WITH SCORE 400971.549
AT ITER 2875 NEW BEST:: SOT 19168994 SOS 16530838 HAS SOPS 7978085 HAS SOUS 1019809 HAS SOUPS 383290 WITH SCORE 399820.838
AT ITER 2905 NEW BEST:: SOT 19168994 SOS 16530838 HAS SOPS 7978085 HAS SOUS 1019747 HAS SOUPS 383228 WITH SCORE 399758.838
AT ITER 2907 NEW BEST:: SOT 19168994 SOS 16530838 HAS SOPS 7978085 HAS SOUS 1019739 HAS SOUPS 383220 WITH SCORE 399750.838
AT ITER 2930 NEW BEST:: SOT 19168465 SOS 16529780 HAS SOPS 7980467 HAS SOUS 1018936 HAS SOUPS 382847 WITH SCORE 399376.78
AT ITER 2938 NEW BEST:: SOT 19164059 SOS 16522243 HAS SOPS 7977253 HAS SOUS 1018771 HAS SOUPS 382752 WITH SCORE 399274.243
AT ITER 2944 NEW BEST:: SOT 19163469 SOS 16521063 HAS SOPS 7976073 HAS SOUS 1018547 HAS SOUPS 382528 WITH SCORE 399049.063
AT ITER 2962 NEW BEST:: SOT 19163469 SOS 16521063 HAS SOPS 7976073 HAS SOUS 1018451 HAS SOUPS 382432 WITH SCORE 398953.063
AT ITER 2984 NEW BEST:: SOT 19161735 SOS 16530979 HAS SOPS 7978853 HAS SOUS 1017353 HAS SOUPS 381334 WITH SCORE 397864.979
AT ITER 3019 NEW BEST:: SOT 19161156 SOS 16526829 HAS SOPS 7977695 HAS SOUS 1016336 HAS SOUPS 380691 WITH SCORE 397217.829
AT ITER 3042 NEW BEST:: SOT 19161156 SOS 16526829 HAS SOPS 7977695 HAS SOUS 1016280 HAS SOUPS 380635 WITH SCORE 397161.829
AT ITER 3049 NEW BEST:: SOT 19161099 SOS 16526715 HAS SOPS 7977581 HAS SOUS 1016223 HAS SOUPS 380578 WITH SCORE 397104.715
AT ITER 3096 NEW BEST:: SOT 19161099 SOS 16526715 HAS SOPS 7977581 HAS SOUS 1016055 HAS SOUPS 380410 WITH SCORE 396936.715
AT ITER 3100 NEW BEST:: SOT 19161099 SOS 16526715 HAS SOPS 7977581 HAS SOUS 1015955 HAS SOUPS 380310 WITH SCORE 396836.715
AT ITER 3140 NEW BEST:: SOT 19161038 SOS 16527081 HAS SOPS 7977459 HAS SOUS 1015955 HAS SOUPS 380249 WITH SCORE 396776.081
AT ITER 3144 NEW BEST:: SOT 19161038 SOS 16527081 HAS SOPS 7977459 HAS SOUS 1015787 HAS SOUPS 380081 WITH SCORE 396608.081
AT ITER 3148 NEW BEST:: SOT 19157539 SOS 16521488 HAS SOPS 7973576 HAS SOUS 1015765 HAS SOUPS 380059 WITH SCORE 396580.488
AT ITER 3198 NEW BEST:: SOT 19157415 SOS 16520460 HAS SOPS 7972548 HAS SOUS 1015687 HAS SOUPS 379981 WITH SCORE 396501.46
AT ITER 3215 NEW BEST:: SOT 19157413 SOS 16519712 HAS SOPS 7973288 HAS SOUS 1015499 HAS SOUPS 379979 WITH SCORE 396498.712
AT ITER 3219 NEW BEST:: SOT 19157413 SOS 16519572 HAS SOPS 7973428 HAS SOUS 1015464 HAS SOUPS 379979 WITH SCORE 396498.572
AT ITER 3233 NEW BEST:: SOT 19157213 SOS 16519172 HAS SOPS 7975052 HAS SOUS 1015054 HAS SOUPS 379822 WITH SCORE 396341.172
AT ITER 3271 NEW BEST:: SOT 19157213 SOS 16516772 HAS SOPS 7975148 HAS SOUS 1014742 HAS SOUPS 379822 WITH SCORE 396338.772
AT ITER 3274 NEW BEST:: SOT 19157213 SOS 16516772 HAS SOPS 7975148 HAS SOUS 1014736 HAS SOUPS 379816 WITH SCORE 396332.772
AT ITER 3284 NEW BEST:: SOT 19151051 SOS 16505982 HAS SOPS 7971090 HAS SOUS 1014344 HAS SOUPS 379820 WITH SCORE 396325.982
AT ITER 3327 NEW BEST:: SOT 19151051 SOS 16505982 HAS SOPS 7971090 HAS SOUS 1014176 HAS SOUPS 379652 WITH SCORE 396157.982
AT ITER 3337 NEW BEST:: SOT 19148763 SOS 16503022 HAS SOPS 7969384 HAS SOUS 1014164 HAS SOUPS 379640 WITH SCORE 396143.022
AT ITER 3375 NEW BEST:: SOT 19147073 SOS 16511658 HAS SOPS 7971860 HAS SOUS 1012978 HAS SOUPS 378454 WITH SCORE 394965.658
AT ITER 3401 NEW BEST:: SOT 19147038 SOS 16511436 HAS SOPS 7974726 HAS SOUS 1012578 HAS SOUPS 378440 WITH SCORE 394951.436
AT ITER 3403 NEW BEST:: SOT 19141778 SOS 16502766 HAS SOPS 7971144 HAS SOUS 1012287 HAS SOUPS 378302 WITH SCORE 394804.766
AT ITER 3441 NEW BEST:: SOT 19141543 SOS 16505124 HAS SOPS 7971078 HAS SOUS 1012206 HAS SOUPS 378120 WITH SCORE 394625.124
AT ITER 3450 NEW BEST:: SOT 19141509 SOS 16505056 HAS SOPS 7971282 HAS SOUS 1012104 HAS SOUPS 378052 WITH SCORE 394557.056
AT ITER 3561 NEW BEST:: SOT 19141453 SOS 16505000 HAS SOPS 7971226 HAS SOUS 1012048 HAS SOUPS 377996 WITH SCORE 394501.0
AT ITER 3584 NEW BEST:: SOT 19141090 SOS 16504274 HAS SOPS 7973412 HAS SOUS 1011140 HAS SOUPS 377452 WITH SCORE 393956.274
AT ITER 3595 NEW BEST:: SOT 19140226 SOS 16500818 HAS SOPS 7972260 HAS SOUS 1009700 HAS SOUPS 376300 WITH SCORE 392800.81799999997
AT ITER 3624 NEW BEST:: SOT 19140226 SOS 16500818 HAS SOPS 7972260 HAS SOUS 1009620 HAS SOUPS 376220 WITH SCORE 392720.81799999997
AT ITER 3646 NEW BEST:: SOT 19139654 SOS 16483834 HAS SOPS 7971656 HAS SOUS 1009408 HAS SOUPS 376188 WITH SCORE 392671.834
AT ITER 3742 NEW BEST:: SOT 19137664 SOS 16478186 HAS SOPS 7969344 HAS SOUS 1008039 HAS SOUPS 375236 WITH SCORE 391714.186
AT ITER 3748 NEW BEST:: SOT 19135703 SOS 16482590 HAS SOPS 7969797 HAS SOUS 1007271 HAS SOUPS 374468 WITH SCORE 390950.59
AT ITER 3758 NEW BEST:: SOT 19135703 SOS 16482590 HAS SOPS 7969797 HAS SOUS 1007231 HAS SOUPS 374428 WITH SCORE 390910.59
AT ITER 3767 NEW BEST:: SOT 19135703 SOS 16482590 HAS SOPS 7969797 HAS SOUS 1007173 HAS SOUPS 374370 WITH SCORE 390852.59
AT ITER 3811 NEW BEST:: SOT 19130609 SOS 16474001 HAS SOPS 7966486 HAS SOUS 1007007 HAS SOUPS 374335 WITH SCORE 390809.001
AT ITER 3870 NEW BEST:: SOT 19130609 SOS 16474001 HAS SOPS 7966486 HAS SOUS 1006985 HAS SOUPS 374313 WITH SCORE 390787.001
AT ITER 3876 NEW BEST:: SOT 19128978 SOS 16480691 HAS SOPS 7967928 HAS SOUS 1005894 HAS SOUPS 373222 WITH SCORE 389702.691
AT ITER 3896 NEW BEST:: SOT 19126449 SOS 16488401 HAS SOPS 7969286 HAS SOUS 1004970 HAS SOUPS 372298 WITH SCORE 388786.401
AT ITER 3942 NEW BEST:: SOT 19126256 SOS 16490575 HAS SOPS 7970436 HAS SOUS 1004841 HAS SOUPS 372169 WITH SCORE 388659.575
AT ITER 3943 NEW BEST:: SOT 19126256 SOS 16490575 HAS SOPS 7970436 HAS SOUS 1004805 HAS SOUPS 372133 WITH SCORE 388623.575
AT ITER 3970 NEW BEST:: SOT 19125523 SOS 16496909 HAS SOPS 7973650 HAS SOUS 1004267 HAS SOUPS 371595 WITH SCORE 388091.909
AT ITER 3974 NEW BEST:: SOT 19125398 SOS 16494951 HAS SOPS 7975108 HAS SOUS 1003733 HAS SOUPS 371488 WITH SCORE 387982.951
AT ITER 3977 NEW BEST:: SOT 19125398 SOS 16494951 HAS SOPS 7975108 HAS SOUS 1003709 HAS SOUPS 371464 WITH SCORE 387958.951
AT ITER 3997 NEW BEST:: SOT 19125399 SOS 16493833 HAS SOPS 7973990 HAS SOUS 1003570 HAS SOUPS 371325 WITH SCORE 387818.833
AT ITER 4007 NEW BEST:: SOT 19125399 SOS 16493833 HAS SOPS 7973990 HAS SOUS 1003528 HAS SOUPS 371283 WITH SCORE 387776.833
AT ITER 4027 NEW BEST:: SOT 19124802 SOS 16490915 HAS SOPS 7973443 HAS SOUS 1002422 HAS SOUPS 370467 WITH SCORE 386957.915
AT ITER 4029 NEW BEST:: SOT 19124802 SOS 16490915 HAS SOPS 7973443 HAS SOUS 1002412 HAS SOUPS 370457 WITH SCORE 386947.915
AT ITER 4031 NEW BEST:: SOT 19125108 SOS 16463137 HAS SOPS 7976059 HAS SOUS 1002050 HAS SOUPS 370429 WITH SCORE 386892.137
AT ITER 4039 NEW BEST:: SOT 19122879 SOS 16436938 HAS SOPS 7936876 HAS SOUS 1001448 HAS SOUPS 369286 WITH SCORE 385722.938
AT ITER 4066 NEW BEST:: SOT 19121370 SOS 16444264 HAS SOPS 7938666 HAS SOUS 1000638 HAS SOUPS 368476 WITH SCORE 384920.264
AT ITER 4098 NEW BEST:: SOT 19121370 SOS 16444264 HAS SOPS 7938666 HAS SOUS 1000622 HAS SOUPS 368460 WITH SCORE 384904.264
AT ITER 4106 NEW BEST:: SOT 19121370 SOS 16444264 HAS SOPS 7938666 HAS SOUS 1000454 HAS SOUPS 368292 WITH SCORE 384736.264
AT ITER 4137 NEW BEST:: SOT 19121370 SOS 16444264 HAS SOPS 7938666 HAS SOUS 1000451 HAS SOUPS 368290 WITH SCORE 384734.264
AT ITER 4140 NEW BEST:: SOT 19121370 SOS 16443816 HAS SOPS 7941442 HAS SOUS 1000048 HAS SOUPS 368290 WITH SCORE 384733.816
AT ITER 4167 NEW BEST:: SOT 19121299 SOS 16443674 HAS SOPS 7941300 HAS SOUS 999977 HAS SOUPS 368219 WITH SCORE 384662.674
AT ITER 4238 NEW BEST:: SOT 19119431 SOS 16450746 HAS SOPS 7942396 HAS SOUS 999259 HAS SOUPS 367252 WITH SCORE 383702.746
AT ITER 4250 NEW BEST:: SOT 19119431 SOS 16450746 HAS SOPS 7942396 HAS SOUS 999113 HAS SOUPS 367106 WITH SCORE 383556.746
AT ITER 4256 NEW BEST:: SOT 19119393 SOS 16450670 HAS SOPS 7942320 HAS SOUS 999075 HAS SOUPS 367068 WITH SCORE 383518.67
AT ITER 4266 NEW BEST:: SOT 19118728 SOS 16447652 HAS SOPS 7942678 HAS SOUS 998611 HAS SOUPS 367026 WITH SCORE 383473.652
AT ITER 4271 NEW BEST:: SOT 19118310 SOS 16450976 HAS SOPS 7942882 HAS SOUS 998429 HAS SOUPS 366714 WITH SCORE 383164.976
AT ITER 4304 NEW BEST:: SOT 19118310 SOS 16450976 HAS SOPS 7942882 HAS SOUS 998373 HAS SOUPS 366658 WITH SCORE 383108.976
AT ITER 4324 NEW BEST:: SOT 19118116 SOS 16452838 HAS SOPS 7942944 HAS SOUS 998351 HAS SOUPS 366561 WITH SCORE 383013.838
AT ITER 4342 NEW BEST:: SOT 19117419 SOS 16440660 HAS SOPS 7937630 HAS SOUS 997940 HAS SOUPS 366436 WITH SCORE 382876.66
AT ITER 4368 NEW BEST:: SOT 19117219 SOS 16440260 HAS SOPS 7940294 HAS SOUS 997514 HAS SOUPS 366393 WITH SCORE 382833.26
AT ITER 4377 NEW BEST:: SOT 19116469 SOS 16445376 HAS SOPS 7940178 HAS SOUS 997406 HAS SOUPS 366067 WITH SCORE 382512.376
AT ITER 4385 NEW BEST:: SOT 19116469 SOS 16445376 HAS SOPS 7940178 HAS SOUS 997380 HAS SOUPS 366041 WITH SCORE 382486.376
AT ITER 4451 NEW BEST:: SOT 19116293 SOS 16445024 HAS SOPS 7939826 HAS SOUS 997204 HAS SOUPS 365865 WITH SCORE 382310.024
AT ITER 4452 NEW BEST:: SOT 19115571 SOS 16441291 HAS SOPS 7938709 HAS SOUS 996482 HAS SOUPS 365470 WITH SCORE 381911.291
AT ITER 4453 NEW BEST:: SOT 19113877 SOS 16436467 HAS SOPS 7936757 HAS SOUS 995502 HAS SOUPS 364849 WITH SCORE 381285.467
AT ITER 4462 NEW BEST:: SOT 19113423 SOS 16435559 HAS SOPS 7935849 HAS SOUS 995290 HAS SOUPS 364637 WITH SCORE 381072.559
AT ITER 4477 NEW BEST:: SOT 19113099 SOS 16433503 HAS SOPS 7936609 HAS SOUS 994778 HAS SOUPS 364477 WITH SCORE 380910.503
AT ITER 4486 NEW BEST:: SOT 19112979 SOS 16433143 HAS SOPS 7936489 HAS SOUS 994718 HAS SOUPS 364447 WITH SCORE 380880.143
AT ITER 4511 NEW BEST:: SOT 19112979 SOS 16433143 HAS SOPS 7936489 HAS SOUS 994598 HAS SOUPS 364327 WITH SCORE 380760.143
AT ITER 4575 NEW BEST:: SOT 19112688 SOS 16465461 HAS SOPS 7953203 HAS SOUS 994392 HAS SOUPS 364121 WITH SCORE 380586.461
AT ITER 4638 NEW BEST:: SOT 19112688 SOS 16465461 HAS SOPS 7953203 HAS SOUS 994246 HAS SOUPS 363975 WITH SCORE 380440.461
AT ITER 4702 NEW BEST:: SOT 19112184 SOS 16462955 HAS SOPS 7952409 HAS SOUS 993452 HAS SOUPS 363395 WITH SCORE 379857.955
AT ITER 4714 NEW BEST:: SOT 19111160 SOS 16466747 HAS SOPS 7952345 HAS SOUS 992646 HAS SOUPS 362589 WITH SCORE 379055.747
AT ITER 4716 NEW BEST:: SOT 19110998 SOS 16466423 HAS SOPS 7952669 HAS SOUS 992322 HAS SOUPS 362346 WITH SCORE 378812.423
AT ITER 4723 NEW BEST:: SOT 19110998 SOS 16466423 HAS SOPS 7952669 HAS SOUS 992306 HAS SOUPS 362330 WITH SCORE 378796.423
AT ITER 4748 NEW BEST:: SOT 19110998 SOS 16466423 HAS SOPS 7952669 HAS SOUS 992176 HAS SOUPS 362200 WITH SCORE 378666.423
AT ITER 4771 NEW BEST:: SOT 19110794 SOS 16468975 HAS SOPS 7954037 HAS SOUS 992046 HAS SOUPS 362070 WITH SCORE 378538.975
AT ITER 4790 NEW BEST:: SOT 19109445 SOS 16471365 HAS SOPS 7952611 HAS SOUS 991202 HAS SOUPS 361067 WITH SCORE 377538.365
AT ITER 4839 NEW BEST:: SOT 19109081 SOS 16469857 HAS SOPS 7952663 HAS SOUS 990956 HAS SOUPS 361016 WITH SCORE 377485.857
AT ITER 4856 NEW BEST:: SOT 19109081 SOS 16469857 HAS SOPS 7952663 HAS SOUS 990896 HAS SOUPS 360956 WITH SCORE 377425.857
AT ITER 4857 NEW BEST:: SOT 19108168 SOS 16471007 HAS SOPS 7950837 HAS SOUS 990441 HAS SOUPS 360377 WITH SCORE 376848.007
AT ITER 4900 NEW BEST:: SOT 19107968 SOS 16470207 HAS SOPS 7950837 HAS SOUS 990141 HAS SOUPS 360177 WITH SCORE 376647.207
AT ITER 4902 NEW BEST:: SOT 19108130 SOS 16454891 HAS SOPS 7950793 HAS SOUS 990119 HAS SOUPS 360155 WITH SCORE 376609.891
AT ITER 4916 NEW BEST:: SOT 19108115 SOS 16454861 HAS SOPS 7951891 HAS SOUS 989896 HAS SOUPS 360073 WITH SCORE 376527.861
AT ITER 4917 NEW BEST:: SOT 19108115 SOS 16454861 HAS SOPS 7951891 HAS SOUS 989728 HAS SOUPS 359905 WITH SCORE 376359.861
AT ITER 4942 NEW BEST:: SOT 19108115 SOS 16454861 HAS SOPS 7951891 HAS SOUS 989666 HAS SOUPS 359843 WITH SCORE 376297.861
AT ITER 4976 NEW BEST:: SOT 19107966 SOS 16454563 HAS SOPS 7951593 HAS SOUS 989517 HAS SOUPS 359694 WITH SCORE 376148.563
AT ITER 5005 NEW BEST:: SOT 19107966 SOS 16454563 HAS SOPS 7951593 HAS SOUS 989443 HAS SOUPS 359620 WITH SCORE 376074.563
AT ITER 5009 NEW BEST:: SOT 19107966 SOS 16454563 HAS SOPS 7951593 HAS SOUS 989275 HAS SOUPS 359452 WITH SCORE 375906.563
AT ITER 5060 NEW BEST:: SOT 19107966 SOS 16454563 HAS SOPS 7951593 HAS SOUS 989221 HAS SOUPS 359398 WITH SCORE 375852.563
AT ITER 5076 NEW BEST:: SOT 19107966 SOS 16454563 HAS SOPS 7951593 HAS SOUS 989197 HAS SOUPS 359374 WITH SCORE 375828.563
AT ITER 5091 NEW BEST:: SOT 19107934 SOS 16453963 HAS SOPS 7951529 HAS SOUS 989098 HAS SOUPS 359342 WITH SCORE 375795.963
AT ITER 5131 NEW BEST:: SOT 19107810 SOS 16453391 HAS SOPS 7951605 HAS SOUS 988986 HAS SOUPS 359311 WITH SCORE 375764.391
AT ITER 5133 NEW BEST:: SOT 19107090 SOS 16477038 HAS SOPS 7961020 HAS SOUS 989382 HAS SOUPS 359114 WITH SCORE 375591.038
AT ITER 5153 NEW BEST:: SOT 19106955 SOS 16477128 HAS SOPS 7960870 HAS SOUS 989277 HAS SOUPS 359009 WITH SCORE 375486.128
AT ITER 5174 NEW BEST:: SOT 19106955 SOS 16477128 HAS SOPS 7960870 HAS SOUS 989223 HAS SOUPS 358955 WITH SCORE 375432.128
AT ITER 5210 NEW BEST:: SOT 19108367 SOS 16461810 HAS SOPS 7957048 HAS SOUS 988145 HAS SOUPS 358356 WITH SCORE 374817.81
AT ITER 5239 NEW BEST:: SOT 19108362 SOS 16461345 HAS SOPS 7957038 HAS SOUS 988135 HAS SOUPS 358351 WITH SCORE 374812.345
AT ITER 5269 NEW BEST:: SOT 19108048 SOS 16459461 HAS SOPS 7956410 HAS SOUS 987468 HAS SOUPS 357841 WITH SCORE 374300.461
AT ITER 5270 NEW BEST:: SOT 19097962 SOS 16442573 HAS SOPS 7950356 HAS SOUS 986727 HAS SOUPS 357805 WITH SCORE 374247.573
AT ITER 5282 NEW BEST:: SOT 19095518 SOS 16447045 HAS SOPS 7948588 HAS SOUS 986129 HAS SOUPS 357207 WITH SCORE 373654.045
AT ITER 5322 NEW BEST:: SOT 19095490 SOS 16447171 HAS SOPS 7948574 HAS SOUS 986122 HAS SOUPS 357200 WITH SCORE 373647.171
AT ITER 5333 NEW BEST:: SOT 19095490 SOS 16447171 HAS SOPS 7948574 HAS SOUS 986070 HAS SOUPS 357148 WITH SCORE 373595.171
AT ITER 5367 NEW BEST:: SOT 19095280 SOS 16447711 HAS SOPS 7948394 HAS SOUS 985982 HAS SOUPS 357030 WITH SCORE 373477.711
AT ITER 5374 NEW BEST:: SOT 19088773 SOS 16436995 HAS SOPS 7943571 HAS SOUS 985806 HAS SOUPS 357032 WITH SCORE 373468.995
AT ITER 5375 NEW BEST:: SOT 19087466 SOS 16445285 HAS SOPS 7946437 HAS SOUS 984837 HAS SOUPS 356063 WITH SCORE 372508.285
AT ITER 5388 NEW BEST:: SOT 19087464 SOS 16445281 HAS SOPS 7946441 HAS SOUS 984834 HAS SOUPS 356061 WITH SCORE 372506.281
AT ITER 5406 NEW BEST:: SOT 19087354 SOS 16445281 HAS SOPS 7946441 HAS SOUS 984745 HAS SOUPS 355972 WITH SCORE 372417.281
AT ITER 5434 NEW BEST:: SOT 19084519 SOS 16450051 HAS SOPS 7945291 HAS SOUS 982850 HAS SOUPS 354077 WITH SCORE 370527.051
AT ITER 5479 NEW BEST:: SOT 19084519 SOS 16449075 HAS SOPS 7944315 HAS SOUS 982850 HAS SOUPS 354077 WITH SCORE 370526.075
AT ITER 5510 NEW BEST:: SOT 19084528 SOS 16448493 HAS SOPS 7944093 HAS SOUS 982829 HAS SOUPS 354071 WITH SCORE 370519.493
AT ITER 5521 NEW BEST:: SOT 19083842 SOS 16446617 HAS SOPS 7942217 HAS SOUS 982395 HAS SOUPS 353637 WITH SCORE 370083.617
AT ITER 5532 NEW BEST:: SOT 19081094 SOS 16442037 HAS SOPS 7940843 HAS SOUS 982166 HAS SOUPS 353637 WITH SCORE 370079.037
AT ITER 5543 NEW BEST:: SOT 19080476 SOS 16443968 HAS SOPS 7940494 HAS SOUS 981866 HAS SOUPS 353242 WITH SCORE 369685.968
AT ITER 5546 NEW BEST:: SOT 19080377 SOS 16444166 HAS SOPS 7939900 HAS SOUS 981866 HAS SOUPS 353143 WITH SCORE 369587.166
AT ITER 5559 NEW BEST:: SOT 19080377 SOS 16444166 HAS SOPS 7939900 HAS SOUS 981858 HAS SOUPS 353135 WITH SCORE 369579.166
AT ITER 5563 NEW BEST:: SOT 19079835 SOS 16456831 HAS SOPS 7944813 HAS SOUS 981722 HAS SOUPS 352676 WITH SCORE 369132.831
AT ITER 5589 NEW BEST:: SOT 19079835 SOS 16455831 HAS SOPS 7945869 HAS SOUS 981465 HAS SOUPS 352676 WITH SCORE 369131.831
AT ITER 5596 NEW BEST:: SOT 19079247 SOS 16453543 HAS SOPS 7945805 HAS SOUS 980977 HAS SOUPS 352466 WITH SCORE 368919.543
AT ITER 5667 NEW BEST:: SOT 19079371 SOS 16452799 HAS SOPS 7945557 HAS SOUS 980977 HAS SOUPS 352466 WITH SCORE 368918.799
AT ITER 5682 NEW BEST:: SOT 19079370 SOS 16452797 HAS SOPS 7945907 HAS SOUS 980910 HAS SOUPS 352443 WITH SCORE 368895.797
AT ITER 5684 NEW BEST:: SOT 19079074 SOS 16452205 HAS SOPS 7945315 HAS SOUS 980413 HAS SOUPS 351946 WITH SCORE 368398.205
AT ITER 5685 NEW BEST:: SOT 19079074 SOS 16451837 HAS SOPS 7944947 HAS SOUS 980413 HAS SOUPS 351946 WITH SCORE 368397.837
AT ITER 5730 NEW BEST:: SOT 19079074 SOS 16451837 HAS SOPS 7944947 HAS SOUS 980373 HAS SOUPS 351906 WITH SCORE 368357.837
AT ITER 5754 NEW BEST:: SOT 19078941 SOS 16451243 HAS SOPS 7947193 HAS SOUS 979844 HAS SOUPS 351732 WITH SCORE 368183.243
AT ITER 5816 NEW BEST:: SOT 19078941 SOS 16451243 HAS SOPS 7947193 HAS SOUS 979746 HAS SOUPS 351634 WITH SCORE 368085.243
AT ITER 5831 NEW BEST:: SOT 19079082 SOS 16449517 HAS SOPS 7947475 HAS SOUS 979442 HAS SOUPS 351581 WITH SCORE 368030.517
AT ITER 5832 NEW BEST:: SOT 19073310 SOS 16439880 HAS SOPS 7943341 HAS SOUS 978900 HAS SOUPS 351208 WITH SCORE 367647.88
AT ITER 5847 NEW BEST:: SOT 19073310 SOS 16439880 HAS SOPS 7943341 HAS SOUS 978748 HAS SOUPS 351056 WITH SCORE 367495.88
AT ITER 5868 NEW BEST:: SOT 19073082 SOS 16437864 HAS SOPS 7942885 HAS SOUS 978291 HAS SOUPS 350794 WITH SCORE 367231.864
AT ITER 5876 NEW BEST:: SOT 19073130 SOS 16440024 HAS SOPS 7943893 HAS SOUS 978291 HAS SOUPS 350746 WITH SCORE 367186.024
AT ITER 5901 NEW BEST:: SOT 19073130 SOS 16439544 HAS SOPS 7943413 HAS SOUS 978169 HAS SOUPS 350624 WITH SCORE 367063.544
AT ITER 5922 NEW BEST:: SOT 19073130 SOS 16439156 HAS SOPS 7943025 HAS SOUS 978169 HAS SOUPS 350624 WITH SCORE 367063.156
AT ITER 5925 NEW BEST:: SOT 19073130 SOS 16439156 HAS SOPS 7943025 HAS SOUS 978105 HAS SOUPS 350560 WITH SCORE 366999.156
AT ITER 5952 NEW BEST:: SOT 19073152 SOS 16439200 HAS SOPS 7945765 HAS SOUS 977670 HAS SOUPS 350462 WITH SCORE 366901.2
AT ITER 5977 NEW BEST:: SOT 19068143 SOS 16431077 HAS SOPS 7941926 HAS SOUS 977542 HAS SOUPS 350449 WITH SCORE 366880.077
AT ITER 6044 NEW BEST:: SOT 19068143 SOS 16431077 HAS SOPS 7941926 HAS SOUS 977538 HAS SOUPS 350445 WITH SCORE 366876.077
AT ITER 6064 NEW BEST:: SOT 19067444 SOS 16438479 HAS SOPS 7944880 HAS SOUS 977221 HAS SOUPS 350128 WITH SCORE 366566.479
AT ITER 6066 NEW BEST:: SOT 19067404 SOS 16438047 HAS SOPS 7944800 HAS SOUS 977097 HAS SOUPS 350048 WITH SCORE 366486.047
AT ITER 6095 NEW BEST:: SOT 19067352 SOS 16440257 HAS SOPS 7944644 HAS SOUS 977097 HAS SOUPS 350022 WITH SCORE 366462.257
AT ITER 6122 NEW BEST:: SOT 19066086 SOS 16447021 HAS SOPS 7946656 HAS SOUS 976017 HAS SOUPS 348942 WITH SCORE 365389.021
AT ITER 6126 NEW BEST:: SOT 19065796 SOS 16449257 HAS SOPS 7947436 HAS SOUS 975806 HAS SOUPS 348731 WITH SCORE 365180.257
AT ITER 6178 NEW BEST:: SOT 19065629 SOS 16452915 HAS SOPS 7949334 HAS SOUS 975749 HAS SOUPS 348674 WITH SCORE 365126.915
AT ITER 6183 NEW BEST:: SOT 19065059 SOS 16451307 HAS SOPS 7948662 HAS SOUS 975480 HAS SOUPS 348522 WITH SCORE 364973.30700000003
AT ITER 6191 NEW BEST:: SOT 19065061 SOS 16450183 HAS SOPS 7948666 HAS SOUS 975202 HAS SOUPS 348385 WITH SCORE 364835.183
AT ITER 6211 NEW BEST:: SOT 19065029 SOS 16449799 HAS SOPS 7948602 HAS SOUS 975098 HAS SOUPS 348321 WITH SCORE 364770.799
AT ITER 6214 NEW BEST:: SOT 19065029 SOS 16449799 HAS SOPS 7948602 HAS SOUS 975086 HAS SOUPS 348309 WITH SCORE 364758.799
AT ITER 6257 NEW BEST:: SOT 19065029 SOS 16451239 HAS SOPS 7948586 HAS SOUS 975070 HAS SOUPS 348277 WITH SCORE 364728.239
AT ITER 6270 NEW BEST:: SOT 19064972 SOS 16448885 HAS SOPS 7948512 HAS SOUS 974633 HAS SOUPS 348125 WITH SCORE 364573.885
AT ITER 6290 NEW BEST:: SOT 19064832 SOS 16448001 HAS SOPS 7947628 HAS SOUS 974520 HAS SOUPS 348012 WITH SCORE 364460.001
AT ITER 6313 NEW BEST:: SOT 19064706 SOS 16447445 HAS SOPS 7947576 HAS SOUS 974293 HAS SOUPS 347848 WITH SCORE 364295.445
AT ITER 6321 NEW BEST:: SOT 19064706 SOS 16447445 HAS SOPS 7947576 HAS SOUS 974287 HAS SOUPS 347842 WITH SCORE 364289.445
AT ITER 6325 NEW BEST:: SOT 19064706 SOS 16447506 HAS SOPS 7947088 HAS SOUS 974287 HAS SOUPS 347781 WITH SCORE 364228.506
AT ITER 6328 NEW BEST:: SOT 19064706 SOS 16447506 HAS SOPS 7947088 HAS SOUS 974119 HAS SOUPS 347613 WITH SCORE 364060.506
AT ITER 6341 NEW BEST:: SOT 19064688 SOS 16447470 HAS SOPS 7947052 HAS SOUS 974101 HAS SOUPS 347595 WITH SCORE 364042.47
AT ITER 6357 NEW BEST:: SOT 19064796 SOS 16451958 HAS SOPS 7948276 HAS SOUS 974035 HAS SOUPS 347393 WITH SCORE 363844.958
AT ITER 6363 NEW BEST:: SOT 19064040 SOS 16449758 HAS SOPS 7946076 HAS SOUS 973777 HAS SOUPS 347135 WITH SCORE 363584.75800000003
AT ITER 6399 NEW BEST:: SOT 19064040 SOS 16449758 HAS SOPS 7946076 HAS SOUS 973615 HAS SOUPS 346973 WITH SCORE 363422.75800000003
AT ITER 6405 NEW BEST:: SOT 19063964 SOS 16449606 HAS SOPS 7945924 HAS SOUS 973497 HAS SOUPS 346855 WITH SCORE 363304.606
AT ITER 6416 NEW BEST:: SOT 19064396 SOS 16450326 HAS SOPS 7946140 HAS SOUS 973461 HAS SOUPS 346783 WITH SCORE 363233.326
AT ITER 6426 NEW BEST:: SOT 19063456 SOS 16449386 HAS SOPS 7945200 HAS SOUS 973461 HAS SOUPS 346783 WITH SCORE 363232.386
AT ITER 6431 NEW BEST:: SOT 19063456 SOS 16449186 HAS SOPS 7945000 HAS SOUS 973461 HAS SOUPS 346783 WITH SCORE 363232.186
AT ITER 6432 NEW BEST:: SOT 19062596 SOS 16452226 HAS SOPS 7944968 HAS SOUS 973216 HAS SOUPS 346410 WITH SCORE 362862.226
AT ITER 6437 NEW BEST:: SOT 19062596 SOS 16452226 HAS SOPS 7944968 HAS SOUS 973162 HAS SOUPS 346356 WITH SCORE 362808.226
AT ITER 6457 NEW BEST:: SOT 19064311 SOS 16452955 HAS SOPS 7947208 HAS SOUS 972482 HAS SOUPS 346089 WITH SCORE 362541.955
AT ITER 6477 NEW BEST:: SOT 19063311 SOS 16472227 HAS SOPS 7953856 HAS SOUS 972435 HAS SOUPS 345516 WITH SCORE 361988.227
AT ITER 6491 NEW BEST:: SOT 19063224 SOS 16472053 HAS SOPS 7953682 HAS SOUS 972267 HAS SOUPS 345348 WITH SCORE 361820.053
AT ITER 6506 NEW BEST:: SOT 19063200 SOS 16472005 HAS SOPS 7953634 HAS SOUS 972219 HAS SOUPS 345300 WITH SCORE 361772.005
AT ITER 6544 NEW BEST:: SOT 19060992 SOS 16469976 HAS SOPS 7952012 HAS SOUS 972491 HAS SOUPS 345249 WITH SCORE 361718.976
AT ITER 6565 NEW BEST:: SOT 19059854 SOS 16466136 HAS SOPS 7951300 HAS SOUS 971814 HAS SOUPS 344963 WITH SCORE 361429.136
AT ITER 6574 NEW BEST:: SOT 19059832 SOS 16464121 HAS SOPS 7949285 HAS SOUS 971801 HAS SOUPS 344950 WITH SCORE 361414.121
AT ITER 6617 NEW BEST:: SOT 19054082 SOS 16454238 HAS SOPS 7945063 HAS SOUS 971551 HAS SOUPS 344773 WITH SCORE 361227.238
AT ITER 6629 NEW BEST:: SOT 19054082 SOS 16454238 HAS SOPS 7945063 HAS SOUS 971463 HAS SOUPS 344685 WITH SCORE 361139.238
AT ITER 6645 NEW BEST:: SOT 19054070 SOS 16454214 HAS SOPS 7945039 HAS SOUS 971451 HAS SOUPS 344673 WITH SCORE 361127.214
AT ITER 6647 NEW BEST:: SOT 19054070 SOS 16454214 HAS SOPS 7945039 HAS SOUS 971381 HAS SOUPS 344603 WITH SCORE 361057.214
AT ITER 6685 NEW BEST:: SOT 19053326 SOS 16452974 HAS SOPS 7944667 HAS SOUS 971319 HAS SOUPS 344603 WITH SCORE 361055.974
AT ITER 6704 NEW BEST:: SOT 19053254 SOS 16452902 HAS SOPS 7944595 HAS SOUS 971283 HAS SOUPS 344567 WITH SCORE 361019.902
AT ITER 6708 NEW BEST:: SOT 19053329 SOS 16438275 HAS SOPS 7941422 HAS SOUS 971220 HAS SOUPS 344504 WITH SCORE 360942.275
AT ITER 6711 NEW BEST:: SOT 19053447 SOS 16438747 HAS SOPS 7941894 HAS SOUS 971161 HAS SOUPS 344445 WITH SCORE 360883.747
AT ITER 6713 NEW BEST:: SOT 19051516 SOS 16455253 HAS SOPS 7945752 HAS SOUS 970597 HAS SOUPS 343354 WITH SCORE 359809.253
AT ITER 6753 NEW BEST:: SOT 19051228 SOS 16451797 HAS SOPS 7945572 HAS SOUS 970561 HAS SOUPS 343318 WITH SCORE 359769.797
AT ITER 6763 NEW BEST:: SOT 19051228 SOS 16451797 HAS SOPS 7945572 HAS SOUS 970393 HAS SOUPS 343150 WITH SCORE 359601.797
AT ITER 6785 NEW BEST:: SOT 19051228 SOS 16451797 HAS SOPS 7945572 HAS SOUS 970390 HAS SOUPS 343148 WITH SCORE 359599.797
AT ITER 6816 NEW BEST:: SOT 19051210 SOS 16451698 HAS SOPS 7945545 HAS SOUS 970363 HAS SOUPS 343130 WITH SCORE 359581.698
AT ITER 6820 NEW BEST:: SOT 19051180 SOS 16451518 HAS SOPS 7945365 HAS SOUS 970333 HAS SOUPS 343100 WITH SCORE 359551.518
AT ITER 6849 NEW BEST:: SOT 19050512 SOS 16450182 HAS SOPS 7944029 HAS SOUS 969483 HAS SOUPS 342250 WITH SCORE 358700.18200000003
AT ITER 6850 NEW BEST:: SOT 19049732 SOS 16447496 HAS SOPS 7943591 HAS SOUS 968871 HAS SOUPS 341919 WITH SCORE 358366.496
AT ITER 6854 NEW BEST:: SOT 19049732 SOS 16447496 HAS SOPS 7943591 HAS SOUS 968703 HAS SOUPS 341751 WITH SCORE 358198.496
AT ITER 6911 NEW BEST:: SOT 19049888 SOS 16447808 HAS SOPS 7943903 HAS SOUS 968584 HAS SOUPS 341632 WITH SCORE 358079.808
AT ITER 6970 NEW BEST:: SOT 19049838 SOS 16447708 HAS SOPS 7943803 HAS SOUS 968533 HAS SOUPS 341581 WITH SCORE 358028.708
AT ITER 7019 NEW BEST:: SOT 19049858 SOS 16447726 HAS SOPS 7943821 HAS SOUS 968518 HAS SOUPS 341566 WITH SCORE 358013.726
AT ITER 7022 NEW BEST:: SOT 19049770 SOS 16447550 HAS SOPS 7943645 HAS SOUS 968342 HAS SOUPS 341390 WITH SCORE 357837.55
AT ITER 7024 NEW BEST:: SOT 19049770 SOS 16447550 HAS SOPS 7943645 HAS SOUS 968174 HAS SOUPS 341222 WITH SCORE 357669.55
AT ITER 7026 NEW BEST:: SOT 19049420 SOS 16447106 HAS SOPS 7943201 HAS SOUS 967841 HAS SOUPS 340889 WITH SCORE 357336.106
AT ITER 7048 NEW BEST:: SOT 19048242 SOS 16451150 HAS SOPS 7944205 HAS SOUS 967876 HAS SOUPS 340764 WITH SCORE 357215.15
AT ITER 7058 NEW BEST:: SOT 19047739 SOS 16453560 HAS SOPS 7943687 HAS SOUS 967899 HAS SOUPS 340665 WITH SCORE 357118.56
AT ITER 7080 NEW BEST:: SOT 19047731 SOS 16453544 HAS SOPS 7943671 HAS SOUS 967890 HAS SOUPS 340656 WITH SCORE 357109.544
AT ITER 7097 NEW BEST:: SOT 19047674 SOS 16456078 HAS SOPS 7943309 HAS SOUS 968051 HAS SOUPS 340455 WITH SCORE 356911.078
AT ITER 7099 NEW BEST:: SOT 19047664 SOS 16455978 HAS SOPS 7943289 HAS SOUS 968021 HAS SOUPS 340435 WITH SCORE 356890.978
AT ITER 7136 NEW BEST:: SOT 19047664 SOS 16455978 HAS SOPS 7943289 HAS SOUS 968013 HAS SOUPS 340427 WITH SCORE 356882.978
AT ITER 7164 NEW BEST:: SOT 19047664 SOS 16455978 HAS SOPS 7943289 HAS SOUS 967991 HAS SOUPS 340405 WITH SCORE 356860.978
AT ITER 7175 NEW BEST:: SOT 19047658 SOS 16455966 HAS SOPS 7943277 HAS SOUS 967985 HAS SOUPS 340399 WITH SCORE 356854.966
AT ITER 7211 NEW BEST:: SOT 19048126 SOS 16425490 HAS SOPS 7944378 HAS SOUS 967593 HAS SOUPS 340354 WITH SCORE 356779.49
AT ITER 7218 NEW BEST:: SOT 19047507 SOS 16423088 HAS SOPS 7941976 HAS SOUS 967508 HAS SOUPS 340269 WITH SCORE 356692.088
AT ITER 7235 NEW BEST:: SOT 19047507 SOS 16423088 HAS SOPS 7941976 HAS SOUS 967454 HAS SOUPS 340215 WITH SCORE 356638.088
AT ITER 7300 NEW BEST:: SOT 19046799 SOS 16420832 HAS SOPS 7939720 HAS SOUS 967376 HAS SOUPS 340137 WITH SCORE 356557.832
AT ITER 7313 NEW BEST:: SOT 19046739 SOS 16420656 HAS SOPS 7939656 HAS SOUS 967344 HAS SOUPS 340119 WITH SCORE 356539.656
AT ITER 7327 NEW BEST:: SOT 19046739 SOS 16420656 HAS SOPS 7939656 HAS SOUS 967248 HAS SOUPS 340023 WITH SCORE 356443.656
AT ITER 7343 NEW BEST:: SOT 19044532 SOS 16416864 HAS SOPS 7938244 HAS SOUS 967015 HAS SOUPS 339960 WITH SCORE 356376.864
AT ITER 7363 NEW BEST:: SOT 19044532 SOS 16416864 HAS SOPS 7938244 HAS SOUS 966796 HAS SOUPS 339958 WITH SCORE 356374.864
AT ITER 7381 NEW BEST:: SOT 19044532 SOS 16416864 HAS SOPS 7938244 HAS SOUS 966756 HAS SOUPS 339918 WITH SCORE 356334.864
AT ITER 7404 NEW BEST:: SOT 19044532 SOS 16416864 HAS SOPS 7938244 HAS SOUS 966728 HAS SOUPS 339890 WITH SCORE 356306.864
AT ITER 7448 NEW BEST:: SOT 19044531 SOS 16416871 HAS SOPS 7938243 HAS SOUS 966728 HAS SOUPS 339889 WITH SCORE 356305.871
AT ITER 7500 NEW BEST:: SOT 19044383 SOS 16415983 HAS SOPS 7937947 HAS SOUS 966506 HAS SOUPS 339741 WITH SCORE 356156.983
AT ITER 7524 NEW BEST:: SOT 19044365 SOS 16415533 HAS SOPS 7937713 HAS SOUS 966479 HAS SOUPS 339723 WITH SCORE 356138.533
AT ITER 7549 NEW BEST:: SOT 19043229 SOS 16413261 HAS SOPS 7935441 HAS SOUS 966031 HAS SOUPS 339275 WITH SCORE 355688.261
AT ITER 7559 NEW BEST:: SOT 19043119 SOS 16413041 HAS SOPS 7934781 HAS SOUS 965921 HAS SOUPS 339110 WITH SCORE 355523.041
AT ITER 7572 NEW BEST:: SOT 19035761 SOS 16400369 HAS SOPS 7930119 HAS SOUS 965213 HAS SOUPS 338949 WITH SCORE 355349.369
AT ITER 7582 NEW BEST:: SOT 19034528 SOS 16398451 HAS SOPS 7929297 HAS SOUS 965213 HAS SOUPS 338949 WITH SCORE 355347.451
AT ITER 7595 NEW BEST:: SOT 19034174 SOS 16397445 HAS SOPS 7929763 HAS SOUS 964817 HAS SOUPS 338719 WITH SCORE 355116.445
AT ITER 7686 NEW BEST:: SOT 19034210 SOS 16393741 HAS SOPS 7927675 HAS SOUS 964752 HAS SOUPS 338654 WITH SCORE 355047.741
AT ITER 7687 NEW BEST:: SOT 19036610 SOS 16397741 HAS SOPS 7928875 HAS SOUS 964908 HAS SOUPS 338610 WITH SCORE 355007.741
AT ITER 7691 NEW BEST:: SOT 19036548 SOS 16397617 HAS SOPS 7928751 HAS SOUS 964846 HAS SOUPS 338548 WITH SCORE 354945.617
AT ITER 7696 NEW BEST:: SOT 19030688 SOS 16389197 HAS SOPS 7922295 HAS SOUS 964831 HAS SOUPS 338303 WITH SCORE 354692.197
AT ITER 7702 NEW BEST:: SOT 19030732 SOS 16389093 HAS SOPS 7922319 HAS SOUS 964831 HAS SOUPS 338303 WITH SCORE 354692.093
AT ITER 7761 NEW BEST:: SOT 19030247 SOS 16402847 HAS SOPS 7926977 HAS SOUS 965164 HAS SOUPS 338257 WITH SCORE 354659.847
AT ITER 7785 NEW BEST:: SOT 19029377 SOS 16400351 HAS SOPS 7925993 HAS SOUS 964409 HAS SOUPS 337691 WITH SCORE 354091.351
AT ITER 7800 NEW BEST:: SOT 19029377 SOS 16400351 HAS SOPS 7925993 HAS SOUS 964403 HAS SOUPS 337685 WITH SCORE 354085.351
AT ITER 7810 NEW BEST:: SOT 19029377 SOS 16400351 HAS SOPS 7925993 HAS SOUS 964379 HAS SOUPS 337661 WITH SCORE 354061.351
AT ITER 7818 NEW BEST:: SOT 19023101 SOS 16395831 HAS SOPS 7923189 HAS SOUS 964879 HAS SOUPS 337573 WITH SCORE 353968.831
AT ITER 7823 NEW BEST:: SOT 19023052 SOS 16392685 HAS SOPS 7923091 HAS SOUS 964459 HAS SOUPS 337534 WITH SCORE 353926.685
AT ITER 7876 NEW BEST:: SOT 19024976 SOS 16393874 HAS SOPS 7924119 HAS SOUS 963910 HAS SOUPS 337220 WITH SCORE 353613.874
AT ITER 7878 NEW BEST:: SOT 19023256 SOS 16398970 HAS SOPS 7923711 HAS SOUS 963640 HAS SOUPS 336950 WITH SCORE 353348.97
AT ITER 7883 NEW BEST:: SOT 19023109 SOS 16402512 HAS SOPS 7923965 HAS SOUS 963375 HAS SOUPS 336548 WITH SCORE 352950.512
AT ITER 7908 NEW BEST:: SOT 19023111 SOS 16402436 HAS SOPS 7923876 HAS SOUS 963372 HAS SOUPS 336544 WITH SCORE 352946.436
AT ITER 7918 NEW BEST:: SOT 19022917 SOS 16406568 HAS SOPS 7925296 HAS SOUS 963446 HAS SOUPS 336505 WITH SCORE 352911.56799999997
AT ITER 7919 NEW BEST:: SOT 19027837 SOS 16414768 HAS SOPS 7927756 HAS SOUS 963500 HAS SOUPS 336149 WITH SCORE 352563.768
AT ITER 7952 NEW BEST:: SOT 19027822 SOS 16414738 HAS SOPS 7927726 HAS SOUS 963485 HAS SOUPS 336134 WITH SCORE 352548.738
AT ITER 7953 NEW BEST:: SOT 19027773 SOS 16414640 HAS SOPS 7927628 HAS SOUS 963340 HAS SOUPS 335989 WITH SCORE 352403.64
AT ITER 8005 NEW BEST:: SOT 19027196 SOS 16417838 HAS SOPS 7927562 HAS SOUS 963296 HAS SOUPS 335809 WITH SCORE 352226.838
AT ITER 8020 NEW BEST:: SOT 19027181 SOS 16417808 HAS SOPS 7927412 HAS SOUS 963281 HAS SOUPS 335779 WITH SCORE 352196.808
AT ITER 8026 NEW BEST:: SOT 19026270 SOS 16416504 HAS SOPS 7926501 HAS SOUS 963025 HAS SOUPS 335523 WITH SCORE 351939.504
AT ITER 8078 NEW BEST:: SOT 19024506 SOS 16413730 HAS SOPS 7924585 HAS SOUS 962977 HAS SOUPS 335475 WITH SCORE 351888.73
AT ITER 8115 NEW BEST:: SOT 19024506 SOS 16413730 HAS SOPS 7924585 HAS SOUS 962857 HAS SOUPS 335355 WITH SCORE 351768.73
AT ITER 8164 NEW BEST:: SOT 19024506 SOS 16413730 HAS SOPS 7924585 HAS SOUS 962819 HAS SOUPS 335317 WITH SCORE 351730.73
AT ITER 8176 NEW BEST:: SOT 19024182 SOS 16413082 HAS SOPS 7925665 HAS SOUS 962279 HAS SOUPS 334993 WITH SCORE 351406.082
AT ITER 8279 NEW BEST:: SOT 19024182 SOS 16413082 HAS SOPS 7925665 HAS SOUS 962259 HAS SOUPS 334973 WITH SCORE 351386.082
AT ITER 8294 NEW BEST:: SOT 19024180 SOS 16413078 HAS SOPS 7925661 HAS SOUS 962173 HAS SOUPS 334887 WITH SCORE 351300.078
AT ITER 8318 NEW BEST:: SOT 19024071 SOS 16399235 HAS SOPS 7921828 HAS SOUS 961971 HAS SOUPS 334795 WITH SCORE 351194.235
AT ITER 8337 NEW BEST:: SOT 19024030 SOS 16399153 HAS SOPS 7921418 HAS SOUS 961971 HAS SOUPS 334754 WITH SCORE 351153.153
AT ITER 8387 NEW BEST:: SOT 19024030 SOS 16399153 HAS SOPS 7921418 HAS SOUS 961945 HAS SOUPS 334728 WITH SCORE 351127.153
AT ITER 8448 NEW BEST:: SOT 19024030 SOS 16399153 HAS SOPS 7921418 HAS SOUS 961913 HAS SOUPS 334696 WITH SCORE 351095.153
AT ITER 8475 NEW BEST:: SOT 19022950 SOS 16406633 HAS SOPS 7924322 HAS SOUS 961545 HAS SOUPS 334328 WITH SCORE 350734.63300000003
AT ITER 8476 NEW BEST:: SOT 19022684 SOS 16407013 HAS SOPS 7924094 HAS SOUS 961431 HAS SOUPS 334214 WITH SCORE 350621.013
AT ITER 8485 NEW BEST:: SOT 19022607 SOS 16406879 HAS SOPS 7922860 HAS SOUS 961363 HAS SOUPS 334011 WITH SCORE 350417.879
AT ITER 8499 NEW BEST:: SOT 19017769 SOS 16398695 HAS SOPS 7919898 HAS SOUS 960751 HAS SOUPS 333772 WITH SCORE 350170.695
AT ITER 8539 NEW BEST:: SOT 19017763 SOS 16399251 HAS SOPS 7920454 HAS SOUS 960658 HAS SOUPS 333679 WITH SCORE 350078.251
AT ITER 8549 NEW BEST:: SOT 19017580 SOS 16398885 HAS SOPS 7920088 HAS SOUS 960288 HAS SOUPS 333309 WITH SCORE 349707.885
AT ITER 8596 NEW BEST:: SOT 19012048 SOS 16390023 HAS SOPS 7916374 HAS SOUS 960095 HAS SOUPS 333187 WITH SCORE 349577.023
AT ITER 8612 NEW BEST:: SOT 19011934 SOS 16388934 HAS SOPS 7915728 HAS SOUS 959523 HAS SOUPS 332938 WITH SCORE 349326.934
AT ITER 8666 NEW BEST:: SOT 19011514 SOS 16391822 HAS SOPS 7916645 HAS SOUS 959491 HAS SOUPS 332906 WITH SCORE 349297.822
AT ITER 8668 NEW BEST:: SOT 19011570 SOS 16391878 HAS SOPS 7916659 HAS SOUS 959477 HAS SOUPS 332892 WITH SCORE 349283.878
AT ITER 8740 NEW BEST:: SOT 19007222 SOS 16384062 HAS SOPS 7913701 HAS SOUS 958711 HAS SOUPS 332473 WITH SCORE 348857.062
AT ITER 8758 NEW BEST:: SOT 19004910 SOS 16381222 HAS SOPS 7912199 HAS SOUS 958567 HAS SOUPS 332329 WITH SCORE 348710.222
AT ITER 8766 NEW BEST:: SOT 19004346 SOS 16379530 HAS SOPS 7911635 HAS SOUS 958209 HAS SOUPS 332112 WITH SCORE 348491.53
AT ITER 8769 NEW BEST:: SOT 19004205 SOS 16379248 HAS SOPS 7911353 HAS SOUS 958011 HAS SOUPS 331914 WITH SCORE 348293.248
AT ITER 8780 NEW BEST:: SOT 19004205 SOS 16379248 HAS SOPS 7911353 HAS SOUS 957965 HAS SOUPS 331868 WITH SCORE 348247.248
AT ITER 8791 NEW BEST:: SOT 19004205 SOS 16379248 HAS SOPS 7911353 HAS SOUS 957949 HAS SOUPS 331852 WITH SCORE 348231.248
AT ITER 8793 NEW BEST:: SOT 19004141 SOS 16379120 HAS SOPS 7911225 HAS SOUS 957931 HAS SOUPS 331834 WITH SCORE 348213.12
AT ITER 8846 NEW BEST:: SOT 19002591 SOS 16385420 HAS SOPS 7909893 HAS SOUS 957741 HAS SOUPS 331332 WITH SCORE 347717.42
AT ITER 8852 NEW BEST:: SOT 19002591 SOS 16385420 HAS SOPS 7909893 HAS SOUS 957659 HAS SOUPS 331250 WITH SCORE 347635.42
AT ITER 8870 NEW BEST:: SOT 19002591 SOS 16385204 HAS SOPS 7909677 HAS SOUS 957659 HAS SOUPS 331250 WITH SCORE 347635.204
AT ITER 8888 NEW BEST:: SOT 19002321 SOS 16384860 HAS SOPS 7909587 HAS SOUS 957373 HAS SOUPS 331054 WITH SCORE 347438.86
AT ITER 8915 NEW BEST:: SOT 19002165 SOS 16384548 HAS SOPS 7909275 HAS SOUS 957139 HAS SOUPS 330820 WITH SCORE 347204.548
AT ITER 8916 NEW BEST:: SOT 19002165 SOS 16384548 HAS SOPS 7909275 HAS SOUS 956971 HAS SOUPS 330652 WITH SCORE 347036.548
AT ITER 8944 NEW BEST:: SOT 19002165 SOS 16384548 HAS SOPS 7909275 HAS SOUS 956965 HAS SOUPS 330646 WITH SCORE 347030.548
AT ITER 8988 NEW BEST:: SOT 19001327 SOS 16383113 HAS SOPS 7908758 HAS SOUS 956910 HAS SOUPS 330636 WITH SCORE 347019.113
AT ITER 9009 NEW BEST:: SOT 19000582 SOS 16379347 HAS SOPS 7907504 HAS SOUS 956206 HAS SOUPS 330246 WITH SCORE 346625.347
AT ITER 9083 NEW BEST:: SOT 19000389 SOS 16378961 HAS SOPS 7907118 HAS SOUS 956013 HAS SOUPS 330053 WITH SCORE 346431.961
AT ITER 9087 NEW BEST:: SOT 18996354 SOS 16373335 HAS SOPS 7903454 HAS SOUS 955953 HAS SOUPS 329993 WITH SCORE 346366.335
AT ITER 9117 NEW BEST:: SOT 18995725 SOS 16381637 HAS SOPS 7907932 HAS SOUS 955563 HAS SOUPS 329603 WITH SCORE 345984.637
AT ITER 9120 NEW BEST:: SOT 18995725 SOS 16381637 HAS SOPS 7907932 HAS SOUS 955463 HAS SOUPS 329503 WITH SCORE 345884.637
AT ITER 9148 NEW BEST:: SOT 18996205 SOS 16382437 HAS SOPS 7908172 HAS SOUS 955423 HAS SOUPS 329423 WITH SCORE 345805.437
AT ITER 9233 NEW BEST:: SOT 18995827 SOS 16381945 HAS SOPS 7907680 HAS SOUS 955177 HAS SOUPS 329177 WITH SCORE 345558.945
AT ITER 9250 NEW BEST:: SOT 18995376 SOS 16380239 HAS SOPS 7907582 HAS SOUS 954942 HAS SOUPS 329143 WITH SCORE 345523.239
AT ITER 9267 NEW BEST:: SOT 18995376 SOS 16380239 HAS SOPS 7907582 HAS SOUS 954864 HAS SOUPS 329065 WITH SCORE 345445.239
AT ITER 9360 NEW BEST:: SOT 18995396 SOS 16379119 HAS SOPS 7906926 HAS SOUS 954855 HAS SOUPS 329056 WITH SCORE 345435.119
AT ITER 9389 NEW BEST:: SOT 18995442 SOS 16377003 HAS SOPS 7905914 HAS SOUS 954809 HAS SOUPS 329056 WITH SCORE 345433.003
AT ITER 9400 NEW BEST:: SOT 18995062 SOS 16378163 HAS SOPS 7905858 HAS SOUS 954441 HAS SOUPS 328688 WITH SCORE 345066.163
AT ITER 9429 NEW BEST:: SOT 18995475 SOS 16353914 HAS SOPS 7905714 HAS SOUS 954442 HAS SOUPS 328543 WITH SCORE 344896.914
AT ITER 9431 NEW BEST:: SOT 18996238 SOS 16355229 HAS SOPS 7906615 HAS SOUS 954308 HAS SOUPS 328409 WITH SCORE 344764.229
AT ITER 9439 NEW BEST:: SOT 18995339 SOS 16360391 HAS SOPS 7907145 HAS SOUS 954175 HAS SOUPS 328083 WITH SCORE 344443.391
AT ITER 9472 NEW BEST:: SOT 18994967 SOS 16358903 HAS SOPS 7906649 HAS SOUS 953765 HAS SOUPS 327797 WITH SCORE 344155.903
AT ITER 9496 NEW BEST:: SOT 18994967 SOS 16358903 HAS SOPS 7906649 HAS SOUS 953763 HAS SOUPS 327795 WITH SCORE 344153.903
AT ITER 9509 NEW BEST:: SOT 18994967 SOS 16358903 HAS SOPS 7906649 HAS SOUS 953615 HAS SOUPS 327647 WITH SCORE 344005.903
AT ITER 9632 NEW BEST:: SOT 18994967 SOS 16358903 HAS SOPS 7906649 HAS SOUS 953489 HAS SOUPS 327521 WITH SCORE 343879.903
AT ITER 9641 NEW BEST:: SOT 18994589 SOS 16357680 HAS SOPS 7905401 HAS SOUS 953310 HAS SOUPS 327342 WITH SCORE 343699.68
AT ITER 9697 NEW BEST:: SOT 18994460 SOS 16357422 HAS SOPS 7905967 HAS SOUS 953078 HAS SOUPS 327213 WITH SCORE 343570.422
AT ITER 9721 NEW BEST:: SOT 18994130 SOS 16356927 HAS SOPS 7905472 HAS SOUS 952690 HAS SOUPS 326825 WITH SCORE 343181.927
AT ITER 9727 NEW BEST:: SOT 18994130 SOS 16356927 HAS SOPS 7905472 HAS SOUS 952636 HAS SOUPS 326771 WITH SCORE 343127.927
AT ITER 9730 NEW BEST:: SOT 18994130 SOS 16356927 HAS SOPS 7904808 HAS SOUS 952636 HAS SOUPS 326688 WITH SCORE 343044.927
AT ITER 9737 NEW BEST:: SOT 18994130 SOS 16356927 HAS SOPS 7904808 HAS SOUS 952578 HAS SOUPS 326630 WITH SCORE 342986.927
AT ITER 9818 NEW BEST:: SOT 18994134 SOS 16356655 HAS SOPS 7905208 HAS SOUS 952463 HAS SOUPS 326599 WITH SCORE 342955.655
AT ITER 9824 NEW BEST:: SOT 18994134 SOS 16356655 HAS SOPS 7905208 HAS SOUS 952387 HAS SOUPS 326523 WITH SCORE 342879.655
AT ITER 9889 NEW BEST:: SOT 18994134 SOS 16356655 HAS SOPS 7905208 HAS SOUS 952367 HAS SOUPS 326503 WITH SCORE 342859.655
AT ITER 9903 NEW BEST:: SOT 18994134 SOS 16356655 HAS SOPS 7905208 HAS SOUS 952293 HAS SOUPS 326429 WITH SCORE 342785.655
AT ITER 9913 NEW BEST:: SOT 18989276 SOS 16348550 HAS SOPS 7902262 HAS SOUS 952163 HAS SOUPS 326423 WITH SCORE 342771.55
AT ITER 9942 NEW BEST:: SOT 18989276 SOS 16348550 HAS SOPS 7902262 HAS SOUS 952133 HAS SOUPS 326393 WITH SCORE 342741.55
AT ITER 9981 NEW BEST:: SOT 18984498 SOS 16340415 HAS SOPS 7899503 HAS SOUS 951673 HAS SOUPS 326317 WITH SCORE 342657.415

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCflexbar-PT-6a"
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 DLCflexbar-PT-6a, 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-158902542100408"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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